title: Dynamic Humanoid Locomotion over Uneven Terrain With Streamlined Perception-Control Pipeline

abstract: Although bipedal locomotion provides the ability to traverse unstructured environments, it requires careful planning and control to safely walk across without falling. This poses an integrated challenge for the robot to perceive, plan, and control its movements, especially with dynamic motions where the robot may have to adapt its swing-leg trajectory onthe-fly in order to safely place its foot on the uneven terrain. In this paper we present an efficient geometric footstep planner and the corresponding walking controller that enables a humanoid robot to dynamically walk across uneven terrain at speeds up to 0.3 m/s. As dynamic locomotion, we refer first to the continuous walking motion without stopping, and second to the on-the-fly replanning of the landing footstep position in middle of the swing phase during the robot gait cycle. This is mainly achieved through the streamlined integration between an efficient sampling-based planner and robust walking controller. The footstep planner is able to generate feasible footsteps within 5 milliseconds, and the controller is able to generate a new corresponding swing leg trajectory as well as the wholebody motion to dynamically balance the robot to the newly updated footsteps. The proposed perception-control pipeline is evaluated and demonstrated with real experiments using a fullscale humanoid to traverse across uneven terrains featured by static stepping stones, dynamically movable stepping stone, or narrow path.


title: Multimodal Dependent Type Theory

abstract: We introduce MTT, a dependent type theory which supports multiple modalities. MTT is parametrized by a mode theory which specifies a collection of modes, modalities, and transformations between them. We show that different choices of mode theory allow us to use the same type theory to compute and reason in many modal situations, including guarded recursion, axiomatic cohesion, and parametric quantification. We reproduce examples from prior work in guarded recursion and axiomatic cohesion, thereby demonstrating that MTT constitutes a simple and usable syntax whose instantiations intuitively correspond to previous handcrafted modal type theories. In some cases, instantiating MTT to a particular situation unearths a previously unknown type theory that improves upon prior systems. Finally, we investigate the metatheory of MTT. We prove the consistency of MTT and establish canonicity through an extension of recent type-theoretic gluing techniques. These results hold irrespective of the choice of mode theory, and thus apply to a wide variety of modal situations.


title: Boundary behaviour of the Span metric and its higher-order curvatures

abstract: In this note, we use scaling principle to study the boundary behaviour of the span metric and its higher-order curvatures on finitely connected Jordan planar domains. A localization of this metric near boundary points of finitely connected Jordan domains is also obtained. Further, we obtain boundary sharp estimates for this metric on $ C^2 $-smooth bounded domains and consequently, this metric is comparable to the Carath\'eodory and the Kobayashi metrics on these domains.


title: Transformer-Transducers for Code-Switched Speech Recognition

abstract: We live in a world where 60% of the population can speak two or more languages fluently. Members of these communities constantly switch between languages when having a conversation. As automatic speech recognition (ASR) systems are being deployed to the real-world, there is a need for practical systems that can handle multiple languages both within an utterance or across utterances. In this paper, we present an end-to-end ASR system using a transformer-transducer model architecture for code-switched speech recognition. We propose three modifications over the vanilla model in order to handle various aspects of code-switching. First, we introduce two auxiliary loss functions to handle the low-resource scenario of code-switching. Second, we propose a novel mask-based training strategy with language ID information to improve the label encoder training towards intra-sentential code-switching. Finally, we propose a multi-label/multi-audio encoder structure to leverage the vast monolingual speech corpora towards code-switching. We demonstrate the efficacy of our proposed approaches on the SEAME dataset, a public Mandarin-English code-switching corpus, achieving a mixed error rate of 18.5% and 26.3% on test_man and test_sge sets respectively.


title: Active Galactic Nucleus Feedback in an Elliptical Galaxy with the Most Updated AGN Physics: Parameter Explorations

abstract: In a previous work, we have proposed a sub-grid model of active galactic nucleus (AGN) feedback by taking into account the state-of-the-art AGN physics, and used that model to study the effect of AGN feedback on the evolution of an isolated elliptical galaxy by performing two dimensional high-resolution (i.e., the Bondi radius is well resolved) simulations. In that work, typical values of model parameters were adopted. In the present work, we extend that study by exploring the effects of uncertainties of parameter values. Such a study is also useful for us to understand the respective roles of various components of the model. These parameters include the mass flux and velocity of AGN wind and radiative efficiency in both the hot and cold feedback modes, and the initial black hole (BH) mass. We find that the velocity of AGN wind in the hot mode is the most important quantity to control the typical accretion rate and luminosity of AGN, and the mass growth of the BH. The effect of the wind on star formation is less sensitive. Within the limited parameter range explored in the current work, a stronger AGN wind suppresses star formation within ~100 pc but enhances star formation beyond this radius, while the star formation integrated over the evolution time and the whole galaxy roughly remain unchanged. AGN radiation suppresses the BH accretion in a mild way, but dust is not considered here. Finally, a smaller initial BH mass results in a more violent evolution of the BH accretion rate. The corresponding AGN spends more time in the high-luminosity state and the percentage of BH mass growth is higher. Our results indicate the robustness of AGN feedback in keeping the galaxy quenched.


title: Charged fluids encircling compact objects: force representations and conformal geometries

abstract: Charged fluids rotating around compact objects can form unique equilibrium structures when ambient large-scale electromagnetic fields combine with strong gravity. Equatorial as well as off-equatorial toroidal structures are among such figures of equilibrium with a direct relevance for astrophysics. To investigate their geometrical shapes and physical properties in the near-horizon regime, where effects of general relativity play a significant role, we commonly employ a scheme based on the energy-momentum conservation written in a standard representation. Here, we develop its interesting alternatives in terms of two covariant force representations, both based on a hypersurface projection of the energy-momentum conservation. In a proper hypersurface, space-like forces can be defined, following from a decomposition of the fluid four-acceleration. Each of the representations provides us with an insight into properties of the fluid flow, being well reflected in related conformal hypersurface geometries; we find behaviour of centrifugal forces directly related to geodesics of these conformal hypersurfaces and their embedding diagrams. We also reveal correspondence between the charged fluid flow world-lines from an ordinary spacetime, and world-lines determined by a charged test particles equation of motion in a conformal spacetime.


title: Employing nucleon decay as a fingerprint of SUSY GUT models using \texttt{SusyTCProton}

abstract: While the observation of nucleon decay would be a smoking gun of Grand Unified Theories (GUTs) in general, the ratios between the decay rates of the various channels carry rich information about the specific GUT model realization. To investigate this fingerprint of GUT models in the context of supersymmetric (SUSY) GUTs, we present the software tool \texttt{SusyTCProton}, which is an extension of the module \texttt{SusyTC} to be used with the \texttt{REAP} package. It allows to calculate nucleon decay rates from the relevant dimension five GUT operators specified at the GUT scale, including the full loop-dressing at the SUSY scale. As an application, we investigate the fingerprints of two example GUT toy models with different flavor structures, performing an MCMC analysis to include the experimental uncertainties for the charged fermion masses and CKM mixing parameters. While both toy models provide equally good fits to the low energy data, we show how they could be distinguished via their predictions of ratios for nucleon decay rates. Together with \texttt{SusyTCProton} we also make the additional module \texttt{ProtonDecay} public. It can be used independently from \texttt{REAP} and allows to calculate nucleon decay rates from given $D=5$ and $D=6$ operator coefficients (accepting the required SUSY input for the $D=5$ case in SLHA format). The $D=6$ functionality can also be used to calculate nucleon decay in non-SUSY GUTs.


title: Formation of Regression Model for Analysis of Complex Systems Using Methodology of Genetic Algorithms

abstract: This study presents the approach to analyzing the evolution of an arbitrary complex system whose behavior is characterized by a set of different time-dependent factors. The key requirement for these factors is only that they must contain an information about the system; it does not matter at all what the nature (physical, biological, social, economic, etc.) of a complex system is. Within the framework of the presented theoretical approach, the problem of searching for non-linear regression models that express the relationship between these factors for a complex system under study is solved. It will be shown that this problem can be solved using the methodology of \emph{genetic (evolutionary)} algorithms. The resulting regression models make it possible to predict the most probable evolution of the considered system, as well as to determine the significance of some factors and, thereby, to formulate some recommendations to drive by this system. It will be shown that the presented theoretical approach can be used to analyze the data (information) characterizing the educational process in the discipline "Physics" in the secondary school, and to develop the strategies for improving academic performance in this discipline.


title: The LDBC Graphalytics Benchmark

abstract: In this document, we describe LDBC Graphalytics, an industrial-grade benchmark for graph analysis platforms. The main goal of Graphalytics is to enable the fair and objective comparison of graph analysis platforms. Due to the diversity of bottlenecks and performance issues such platforms need to address, Graphalytics consists of a set of selected deterministic algorithms for full-graph analysis, standard graph datasets, synthetic dataset generators, and reference output for validation purposes. Its test harness produces deep metrics that quantify multiple kinds of systems scalability, weak and strong, and robustness, such as failures and performance variability. The benchmark also balances comprehensiveness with runtime necessary to obtain the deep metrics. The benchmark comes with open-source software for generating performance data, for validating algorithm results, for monitoring and sharing performance data, and for obtaining the final benchmark result as a standard performance report.


title: Mean convex properly embedded $[\varphi,\vec{e}_{3}]$-minimal surfaces in $\mathbb{R}^3$

abstract: We establish curvature estimates and a convexity result for mean convex properly embedded $[\varphi,\vec{e}_{3}]$-minimal surfaces in $\mathbb{R}^3$, i.e., $\varphi$-minimal surfaces when $\varphi$ depends only on the third coordinate of $\mathbb{R}^3$. Led by the works on curvature estimates for surfaces in 3-manifolds, due to White for minimal surfaces, to Rosenberg, Souam and Toubiana, for stable CMC surfaces, and to Spruck and Xiao for stable translating solitons in $\mathbb{R}^3$, we use a compactness argument to provide curvature estimates for a family of mean convex $[\varphi,\vec{e}_{3}]$-minimal surfaces in $\mathbb{R}^{3}$. We apply this result to generalize the convexity property of Spruck and Xiao for translating solitons. More precisely, we characterize the convexity of a properly embedded $[\varphi,\vec{e}_{3}]$-minimal surface in $\mathbb{R}^{3}$ with non positive mean curvature when the growth at infinity of $\varphi$ is at most quadratic.


title: A Spitzer survey of Deep Drilling Fields to be targeted by the Vera C. Rubin Observatory Legacy Survey of Space and Time

abstract: The Vera C. Rubin Observatory Legacy Survey of Space and Time (LSST) will observe several Deep Drilling Fields (DDFs) to a greater depth and with a more rapid cadence than the main survey. In this paper, we describe the ``DeepDrill'' survey, which used the Spitzer Space Telescope Infrared Array Camera (IRAC) to observe three of the four currently defined DDFs in two bands, centered on 3.6 $\mu$m and 4.5 $\mu$m. These observations expand the area which was covered by an earlier set of observations in these three fields by the Spitzer Extragalactic Representative Volume Survey (SERVS). The combined DeepDrill and SERVS data cover the footprints of the LSST DDFs in the Extended Chandra Deep Field-South field (ECDFS), the ELAIS-S1 field (ES1), and the XMM Large-Scale Structure Survey field (XMM-LSS). The observations reach an approximate $5\sigma$ point-source depth of 2 $\mu$Jy (corresponding to an AB magnitude of 23.1; sufficient to detect a 10$^{11} M_{\odot}$ galaxy out to $z\approx 5$) in each of the two bands over a total area of $\approx 29\,$deg$^2$. The dual-band catalogues contain a total of 2.35 million sources. In this paper we describe the observations and data products from the survey, and an overview of the properties of galaxies in the survey. We compare the source counts to predictions from the SHARK semi-analytic model of galaxy formation. We also identify a population of sources with extremely red ([3.6]$-$[4.5] $>1.2$) colours which we show mostly consists of highly-obscured active galactic nuclei.


title: A biologically plausible neural network for local supervision in cortical microcircuits

abstract: The backpropagation algorithm is an invaluable tool for training artificial neural networks; however, because of a weight sharing requirement, it does not provide a plausible model of brain function. Here, in the context of a two-layer network, we derive an algorithm for training a neural network which avoids this problem by not requiring explicit error computation and backpropagation. Furthermore, our algorithm maps onto a neural network that bears a remarkable resemblance to the connectivity structure and learning rules of the cortex. We find that our algorithm empirically performs comparably to backprop on a number of datasets.


title: The theory of j-operators with application to (weak) liftings of DG modules

abstract: A major part of this paper is devoted to an in-depth study of j-operators and their properties. This study enables us to obtain several results on liftings and weak liftings of DG modules along simple extensions of DG algebras and unify the proofs of the existing results obtained by the authors on these subjects. Finally, we provide a new characterization of the (weak) lifting property of DG modules along simple extensions of DG algebras.


title: Dimensional analysis of fractal interpolation functions

abstract: We provide a rigorous study on dimensions of fractal interpolation function defined on a closed and bounded interval of $\mathbb{R}$ which is associated to a continuous function with respect to a base function, scaling functions and a partition of the interval. In particular, we provide an exact estimation of the box dimension of $\alpha$-fractal functions.


title: A Markov Chain Monte-Carlo Approach to Dose-Response Optimization Using Probabilistic Programming (RStan)

abstract: A hierarchical logistic regression Bayesian model is proposed and implemented in R to model the probability of patient improvement corresponding to any given dosage of a certain drug. RStan is used to obtain samples from the posterior distributions via Markov Chain Monte-Carlo (MCMC) sampling. The effects of selecting different families of prior distributions are examined and finally, the posterior distributions are compared across RStan, and two other environments, namely PyMC, and AgenaRisk.


title: Deep reinforcement learning for the control of conjugate heat transfer with application to workpiece cooling

abstract: This research gauges the ability of deep reinforcement learning (DRL) techniques to assist the control of conjugate heat transfer systems governed by the coupled Navier--Stokes and heat equations. It uses a novel, "degenerate" version of the proximal policy optimization (PPO) algorithm, intended for situations where the optimal policy to be learnt by a neural network does not depend on state, as is notably the case in optimization and open-loop control problems. The numerical reward fed to the neural network is computed with an in-house stabilized finite elements environment combining variational multi-scale (VMS) modeling of the governing equations, immerse volume method, and multi-component anisotropic mesh adaptation. Several test cases of natural and forced convection in two and three dimensions are used as testbed for developing the methodology. The approach successfully alleviates the natural convection induced enhancement of heat transfer in a two-dimensional, differentially heated square cavity controlled by piece-wise constant fluctuations of the sidewall temperature. It also proves capable of improving the homogeneity of temperature across the surface of two and three-dimensional hot workpieces under impingement cooling. Various cases are tackled, in which the position of multiple cold air injectors is optimized relative to a fixed workpiece position. The flexibility of the numerical framework makes it tractable to solve also the inverse problem, i.e., to optimize the workpiece position relative to a fixed injector distribution. The obtained results showcase the potential of the method for black-box optimization of practically meaningful computational fluid dynamics (CFD) conjugate heat transfer systems.


title: Balancing Capacity and Epidemic Spread in the Global Airline Network

abstract: The structure of complex networks has long been understood to play a role in transmission and spreading phenomena on a graph. This behavior is difficult to model analytically and is most often modeled numerically. Such networks form an important part of the structure of society, including transportation networks. As society fights to control the COVID-19 pandemic, an important question is to choose the optimum balance between the full opening of transport networks and the control of epidemic spread. In this paper we investigate how recent advances in analyzing network structure using information theory could inform decisions regarding the opening of such networks. By virtue of the richness of data available we focus upon the worldwide airline network, but these methods are in principle applicable to any transport network. We are able to demonstrate that it is possible to substantially open the airline network and have some degree of control on the spread of the virus.


title: A proposal for informative default priors scaled by the standard error of estimates

abstract: If we have an unbiased estimate of some parameter of interest, then its absolute value is positively biased for the absolute value of the parameter. This bias is large when the signal-to-noise ratio (SNR) is small, and it becomes even larger when we condition on statistical significance; the winner's curse. This is a frequentist motivation for regularization. To determine a suitable amount of shrinkage, we propose to estimate the distribution of the SNR from a large collection or corpus of similar studies and use this as a prior distribution. The wider the scope of the corpus, the less informative the prior, but a wider scope does not necessarily result in a more diffuse prior. We show that the estimation of the prior simplifies if we require that posterior inference is equivariant under linear transformations of the data. We demonstrate our approach with corpora of 86 replication studies from psychology and 178 phase 3 clinical trials. Our suggestion is not intended to be a replacement for a prior based on full information about a particular problem; rather, it represents a familywise choice that should yield better long-term properties than the current default uniform prior, which has led to systematic overestimates of effect sizes and a replication crisis when these inflated estimates have not shown up in later studies.


title: A Framework for Authorial Clustering of Shorter Texts in Latent Semantic Spaces

abstract: Authorial clustering involves the grouping of documents written by the same author or team of authors without any prior positive examples of an author's writing style or thematic preferences. For authorial clustering on shorter texts (paragraph-length texts that are typically shorter than conventional documents), the document representation is particularly important: very high-dimensional feature spaces lead to data sparsity and suffer from serious consequences like the curse of dimensionality, while feature selection may lead to information loss. We propose a high-level framework which utilizes a compact data representation in a latent feature space derived with non-parametric topic modeling. Authorial clusters are identified thereafter in two scenarios: (a) fully unsupervised and (b) semi-supervised where a small number of shorter texts are known to belong to the same author (must-link constraints) or not (cannot-link constraints). We report on experiments with 120 collections in three languages and two genres and show that the topic-based latent feature space provides a promising level of performance while reducing the dimensionality by a factor of 1500 compared to state-of-the-arts. We also demonstrate that, while prior knowledge on the precise number of authors (i.e. authorial clusters) does not contribute much to additional quality, little knowledge on constraints in authorial clusters memberships leads to clear performance improvements in front of this difficult task. Thorough experimentation with standard metrics indicates that there still remains an ample room for improvement for authorial clustering, especially with shorter texts


title: Combinatorial Learning of Graph Edit Distance via Dynamic Embedding

abstract: Graph Edit Distance (GED) is a popular similarity measurement for pairwise graphs and it also refers to the recovery of the edit path from the source graph to the target graph. Traditional A* algorithm suffers scalability issues due to its exhaustive nature, whose search heuristics heavily rely on human prior knowledge. This paper presents a hybrid approach by combing the interpretability of traditional search-based techniques for producing the edit path, as well as the efficiency and adaptivity of deep embedding models to achieve a cost-effective GED solver. Inspired by dynamic programming, node-level embedding is designated in a dynamic reuse fashion and suboptimal branches are encouraged to be pruned. To this end, our method can be readily integrated into A* procedure in a dynamic fashion, as well as significantly reduce the computational burden with a learned heuristic. Experimental results on different graph datasets show that our approach can remarkably ease the search process of A* without sacrificing much accuracy. To our best knowledge, this work is also the first deep learning-based GED method for recovering the edit path.


title: A cardiac electromechanics model coupled with a lumped parameters model for closed-loop blood circulation. Part I: model derivation

abstract: We propose an integrated electromechanical model of the human heart, with focus on the left ventricle, wherein biophysically detailed models describe the different physical phenomena concurring to the cardiac function. We model the subcellular generation of active force by means of an Artificial Neural Network, which is trained by a suitable Machine Learning algorithm from a collection of pre-computed numerical simulations of a biophysically detailed, yet computational demanding, high-fidelity model. To provide physiologically meaningful results, we couple the 3D electromechanical model with a closed-loop 0D (lumped parameters) model describing the blood circulation in the whole cardiovascular network. We prove that the 3D-0D coupling of the two models is compliant with the principle of energy conservation, which is achieved in virtue of energy-consistent boundary conditions that account for the interaction among cardiac chambers within the computational domain, pericardium and surrounding tissue. We thus derive an overall balance of mechanical energy for the 3D-0D model. This provides a quantitative insight into the energy utilization, dissipation and transfer among the different compartments of the cardiovascular network and during different stages of the heartbeat. In virtue of this new model and the energy balance, we propose a new validation tool of heart energy usage against relationships used in the daily clinical practice. Finally, we provide a mathematical formulation of an inverse problem aimed at recovering the reference configuration of one or multiple cardiac chambers, starting from the stressed configuration acquired from medical imaging. This is fundamental to correctly initialize electromechanical simulations. Numerical methods and simulations of the 3D-0D model will be detailed in Part II.


title: Deep magma transport control on the size and evolution of explosive volcanic eruptions

abstract: Explosive eruptions are the surface manifestation of dynamics that involve transfer of magma from the underground regions of magma accumulation. Evidence of the involvement of compositionally different magmas from different reservoirs is continuously increasing to countless cases. Yet, models of eruption dynamics consider only the uppermost portion of the plumbing system, neglecting connections to deeper regions of magma storage. Here we show that the extent and efficiency of the interconnections between different magma storage regions largely control the size of the eruptions, their evolution, the causes of their termination, and ultimately their impact on the surrounding environment. Our numerical simulations first reproduce the magnitude-intensity relationship observed for explosive eruptions on Earth and explain the observed variable evolutions of eruption mass flow rates. Because deep magmatic interconnections are largely inaccessible to present-day imaging capabilities, our results imply a limit to eruption size forecasts based on observations and measurements during volcanic unrest.


title: Atiyah classes and the essential obstructions in deforming a singular $G_{2}-$instanton

abstract: When the rank of the bundle is $\geq 2$, in a certain sense, we found an essential obstruction for the gluing construction of $G_{2}-$instantons with $1-$dimensional singularities. It involves the Atiyah classes generated by contracting a vector in $\mathbb{C}^{3}$ with the curvature. Intuitively speaking, the gluing does not work if the tangent connection at a component of the $1-$dimensional singular locus is not the twisted Fubini-Study connection on a twisted tangent bundle of $\mathbb{P}^{2}$. Particularly, it fails if the rank of the bundle is $\geq 3$.


title: Dynamical systems around the Rauzy gasket and their ergodic properties

abstract: At the beggining of the 80's, H.Masur and W.Veech started the study of generic properties of interval exchange transformations proving that almost every such transformation is uniquely ergodic. About the same time, S.Novikov's school and French mathematicians independently discovered very intriguing phenomena for classes of measured foliations on surfaces and respective IETs. For instance, minimality is exceptional in these families. A precise version of this statement is a conjecture by Novikov. The French and Russian constructions are very different ones. Nevertheless, in the most simple situation (surfaces of genus three with two singularities) it was recently observed that both foliations share the same type of properties. For instance, the space of minimal parameters is the same, called the Rauzy gasket. However, the precise connection between these two series of works was rather unclear. The aim of this paper is to prove that both theories describe in different languages the same objects. This text provides an explicit dictionary between both constructions.


title: Direct assessment of the sensitivity drift of SQM sensors installed outdoors

abstract: Long-term monitoring of the evolution of the artificial night sky brightness is a key tool for developing science-informed public policies and assessing the efficacy of light pollution mitigation measures. Detecting the underlying artificial brightness trend is a challenging task, since the typical night sky brightness signal shows a large variability with characteristic time scales ranging from seconds to years. In order to effectively isolate the weak signature of the effect of interest, determining the potential long term drifts of the radiance sensing systems is crucial. If these drifts can be adequately characterized, the raw measurements could be easily corrected for them and transformed to a consistent scale. In this short note we report on the progressive darkening of the signal recorded by SQM detectors belonging to several monitoring networks, permanently installed outdoors for periods ranging from several months to several years. The sensitivity drifts were estimated by means of parallel measurements made at the beginning and at the end of the evaluation periods using reference detectors of the same kind that were little or no exposed to weathering in the intervening time. Our preliminary results suggest that SQM detectors installed outdoors steadily increase their readings at an average rate of +0.034 magSQM/arcsec^2 per MWh/m^2 of exposure to solar horizontal global irradiation, that for our locations translates into approximately +0.05 to +0.06 magSQM/arcsec^2 per year.


title: Unsupervised Deep Video Denoising

abstract: Deep convolutional neural networks (CNNs) for video denoising are typically trained with supervision, assuming the availability of clean videos. However, in many applications, such as microscopy, noiseless videos are not available. To address this, we propose an Unsupervised Deep Video Denoiser (UDVD), a CNN architecture designed to be trained exclusively with noisy data. The performance of UDVD is comparable to the supervised state-of-the-art, even when trained only on a single short noisy video. We demonstrate the promise of our approach in real-world imaging applications by denoising raw video, fluorescence-microscopy and electron-microscopy data. In contrast to many current approaches to video denoising, UDVD does not require explicit motion compensation. This is advantageous because motion compensation is computationally expensive, and can be unreliable when the input data are noisy. A gradient-based analysis reveals that UDVD automatically adapts to local motion in the input noisy videos. Thus, the network learns to perform implicit motion compensation, even though it is only trained for denoising.


title: Spectroscopy, Dynamics and Hydration of S-Nitrosylated Myoglobin

abstract: S-nitrosylation, the covalent addition of NO to the thiol side chain of cysteine, is an important post-transitional modification that can alter the function of various proteins. The structural dynamics and vibrational spectroscopy of S-nitrosylation in the condensed phase is investigated for the methyl-capped cysteine model system and for myoglobin. Using conventional point charge and physically more realistic multipolar force fields for the -SNO group it is found that the SN- and NO-stretch and the SNO-bend vibrations can be located and distinguished from the other protein modes for simulations of MbSNO at 50 K. The finding of stable cis- and trans-MbSNO is consistent with experiments on other proteins as is the observation of buried -SNO. For MbSNO the observed relocation of the EF loop in the simulations by $\sim 3$ \AA\/ is consistent with the available X-ray structure and the conformations adopted by the -SNO label are in good overall agreement with the X-ray structure. Despite the larger size of the -SNO group, MbSNO is found to recruit more water molecules within 10 \AA\/ of the modification site than WT Mb due to the stronger electrostatics. Similarly, when comparing the hydration between the A- and H-helices they differ by up to 30 \% between WT and MbSNO. This suggests that local hydration can also be significantly modulated through nitrosylation.


title: Infinite torsion in Griffiths groups

abstract: We show that there are smooth complex projective varieties with infinite 2-torsion in their third Griffiths groups. It follows that the torsion subgroup of Griffiths groups is in general not finitely generated, thereby solving a problem of Schoen from 1992.


title: Optimal approximation to unitary quantum operators with linear optics

abstract: Linear optical systems acting on photon number states produce many interesting evolutions, but cannot give all the allowed quantum operations on the input state. Using Toponogov's theorem from differential geometry, we propose an iterative method that, for any arbitrary quantum operator $U$ acting on $n$ photons in $m$ modes, returns an operator $\widetilde{U}$ which can be implemented with linear optics. The approximation method is locally optimal and converges. The resulting operator $\widetilde{U}$ can be translated into an experimental optical setup using previous results.


title: Long-range medical image registration through generalized mutual information (GMI): toward a fully automatic volumetric alignment

abstract: Image registration is a key operation in medical image processing, allowing a plethora of applications. Mutual information (MI) is consolidated as a robust similarity metric often used for medical image registration. Although MI provides a robust medical image registration, it usually fails when the needed image transform is too big due to MI local maxima traps. In this paper, we propose and evaluate a generalized parametric MI as an affine registration cost function. We assessed the generalized MI (GMI) functions for separable affine transforms and exhaustively evaluated the GMI mathematical image seeking the maximum registration range through a gradient descent simulation. We also employed Monte Carlo simulation essays for testing translation registering of randomized T1 versus T2 images. GMI functions showed to have smooth isosurfaces driving the algorithm to the global maxima. Results show significantly prolonged registration ranges, avoiding the traps of local maxima. We evaluated a range of [-150mm,150mm] for translations, [-180{\deg},180{\deg}] for rotations, [0.5,2] for scales, and [-1,1] for skew with a success rate of 99.99%, 97.58%, 99.99%, and 99.99% respectively for the transforms in the simulated gradient descent. We also obtained 99.75% success in Monte Carlo simulation from 2,000 randomized translations trials with 1,113 subjects T1 and T2 MRI images. The findings point towards the reliability of GMI for long-range registration with enhanced speed performance


title: A Novice-Reviewer Experiment to Address Scarcity of Qualified Reviewers in Large Conferences

abstract: Conference peer review constitutes a human-computation process whose importance cannot be overstated: not only it identifies the best submissions for acceptance, but, ultimately, it impacts the future of the whole research area by promoting some ideas and restraining others. A surge in the number of submissions received by leading AI conferences has challenged the sustainability of the review process by increasing the burden on the pool of qualified reviewers which is growing at a much slower rate. In this work, we consider the problem of reviewer recruiting with a focus on the scarcity of qualified reviewers in large conferences. Specifically, we design a procedure for (i) recruiting reviewers from the population not typically covered by major conferences and (ii) guiding them through the reviewing pipeline. In conjunction with ICML 2020 -- a large, top-tier machine learning conference -- we recruit a small set of reviewers through our procedure and compare their performance with the general population of ICML reviewers. Our experiment reveals that a combination of the recruiting and guiding mechanisms allows for a principled enhancement of the reviewer pool and results in reviews of superior quality compared to the conventional pool of reviews as evaluated by senior members of the program committee (meta-reviewers).


title: A cardiac electromechanics model coupled with a lumped parameters model for closed-loop blood circulation. Part II: numerical approximation

abstract: In the framework of accurate and efficient segregated schemes for 3D cardiac electromechanics and 0D cardiovascular models, we propose here a novel numerical approach to address the coupled 3D-0D problem introduced in Part I of this two-part series of papers. We combine implicit-explicit schemes to solve the different cardiac models in a multiphysics setting. We properly separate and manage the different time and space scales related to cardiac electromechanics and blood circulation. We employ a flexible and scalable intergrid transfer operator that enables to interpolate Finite Element functions among different meshes and, possibly, among different Finite Element spaces. We propose a numerical method to couple the 3D electromechanical model and the 0D circulation model in a numerically stable manner within a fully segregated fashion. No adaptations are required through the different phases of the heartbeat. We also propose a robust algorithm to reconstruct the stress-free reference configuration. Due to the computational cost associated with the numerical solution of this inverse problem, the reference configuration recovery algorithm comes along with a novel projection technique to precisely recover the unloaded geometry from a coarser representation of the computational domain. We show the convergence property of our numerical schemes by performing an accuracy study through grid refinement. To prove the biophysical accuracy of our computational model, we also address different scenarios of clinical interest in our numerical simulations by varying preload, afterload and contractility. Indeed, we simulate physiologically relevant behaviors and we reproduce meaningful results in the context of cardiac function.


title: Quantitative Diffractometric Biosensing

abstract: Diffractometric biosensing is a promising technology to overcome critical limitations of refractometric biosensors, the dominant class of label-free optical transducers. These limitations manifest themselves by higher noise and drifts due to insufficient rejection of refractive index fluctuations caused by variation in temperature, solvent concentration, and most prominently, non-specific binding. Diffractometric biosensors overcome these limitations with inherent self-referencing on the submicron scale with no compromise on resolution. Despite this highly promising attribute, the field of diffractometric biosensors has only received limited recognition. A major reason is the lack of a general quantitative analysis. This hinders comparison to other techniques and amongst different diffractometric biosensors. For refractometric biosensors, on the other hand, such a comparison is possible by means of the refractive index unit (RIU). In this publication, we suggest the coherent surface mass density, $\Gamma_{\rm{coh}}$, as a quantity for label-free diffractometric biosensors with the same purpose as RIU in refractometric sensors. It is easy to translate $\Gamma_{\rm{coh}}$ to the total surface mass density $\Gamma_{\rm{tot}}$, which is an important parameter for many assays. We provide a generalized framework to determine $\Gamma_{\rm{coh}}$ for various diffractometric biosensing arrangements which enables quantitative comparison. Additionally, the formalism can be used to estimate background scattering in order to further optimize sensor configurations. Finally, a practical guide with important experimental considerations is given to enable readers of any background to apply the theory. Therefore, this paper provides a powerful tool for the development of diffractometric biosensors and will help the field to mature and unveil its full potential.


title: Non-relativistic and Carrollian limits of Jackiw-Teitelboim gravity

abstract: We construct the non-relativistic and Carrollian versions of Jackiw-Teitelboim gravity. In the second order formulation, there are no divergences in the non-relativistic and Carrollian limits. Instead, in the first order formalism there are divergences that can be avoided by starting from a relativistic BF theory with (A)dS2$\times\mathbb{R}$ gauge algebra. We show how to define the boundary duals of the gravity actions using the method of non-linear realisations and suitable Inverse Higgs constraints. In particular, the non-relativistic version of the Schwarzian action is constructed in this way. We derive the asymptotic symmetries of the theory, as well as the corresponding conserved charges and Newton-Cartan geometric structure. Finally, we show how the same construction applies to the Carrollian case.


title: Relaxation limit from the Quantum-Navier-Stokes equations to the Quantum Drift Diffusion equation

abstract: The relaxation-time limit from the Quantum-Navier-Stokes-Poisson system to the quantum drift-diffusion equation is performed in the framework of finite energy weak solutions. No assumptions on the limiting solution are made. The proof exploits the suitably scaled a priori bounds inferred by the energy and BD entropy estimates. Moreover, it is shown how from those estimates the Fisher entropy and free energy estimates associated to the diffusive evolution are recovered in the limit. As a byproduct, our main result also provides an alternative proof for the existence of finite energy weak solutions to the quantum drift-diffusion equation.


title: Bounds on point configurations determined by distances and dot products

abstract: We study a family of variants of Erd\H os' unit distance problem, concerning distances and dot products between pairs of points chosen from a large finite point set. Specifically, given a large finite set of $n$ points $E$, we look for bounds on how many subsets of $k$ points satisfy a set of relationships between point pairs based on distances or dot products. We survey some of the recent work in the area and present several new, more general families of bounds.


title: General Invertible Transformations for Flow-based Generative Modeling

abstract: In this paper, we present a new class of invertible transformations with an application to flow-based generative models. We indicate that many well-known invertible transformations in reversible logic and reversible neural networks could be derived from our proposition. Next, we propose two new coupling layers that are important building blocks of flow-based generative models. In the experiments on digit data, we present how these new coupling layers could be used in Integer Discrete Flows (IDF), and that they achieve better results than standard coupling layers used in IDF and RealNVP.


title: Interior Electroneutrality in Nernst-Planck-Navier-Stokes Systems

abstract: We consider the limit of vanishing Debye length for ionic diffusion in fluids, described by the Nernst-Planck-Navier-Stokes system. In the asymptotically stable cases of blocking (vanishing normal flux) and uniform selective (special Dirichlet) boundary conditions for the ionic concentrations, we prove that the ionic charge density $\rho$ converges in time to zero in the interior of the domain, in the limit of vanishing Debye length ($\epsilon\to 0$). For the unstable regime of Dirichlet boundary conditions for the ionic concentrations, we prove bounds that are uniform in time and $\epsilon$. We also consider electroneutral boundary conditions, for which we prove that electroneutrality $\rho\to 0$ is achieved at any fixed $\epsilon> 0$, exponentially fast in time in $L^p$, for all $1\le p<\infty$. The results hold for two oppositely charged ionic species with arbitrary ionic diffusivities, in bounded domains with smooth boundaries.


title: Comparison principles for a class of nonlinear non-local integro-differential operators on unbounded domains

abstract: We present extensions of the comparison and maximum principles available for nonlinear non-local integro-differential operators $P:\mathcal{C}^{2,1}(\Omega \times (0,T])\times L^\infty (\Omega \times (0,T])\to\mathbb{R}$, of the form $P[u] = L[u] -f(\cdot ,\cdot ,u,Ju)$ on $\Omega \times (0,T]$. Here, we consider: unbounded spatial domains $\Omega \subset \mathbb{R}^n$, with $T>0$; sufficiently regular second order linear parabolic partial differential operators $L$; sufficiently regular semi-linear terms $f:(\Omega \times (0,T]) \times \mathbb{R}^2\to\mathbb{R}$; and the non-local term $Ju= \int_{{\Omega}}\phi(x-y)u(y,t)dy$, with $\phi$ in a class of non-negative sufficiently summable kernels. We also provide examples illustrating the limitations and applicability of our results.


title: Unstabilized Hybrid High-Order method for a class of degenerate convex minimization problems

abstract: The relaxation in the calculus of variation motivates the numerical analysis of a class of degenerate convex minimization problems with non-strictly convex energy densities with some convexity control and two-sided $p$-growth. The minimizers may be non-unique in the primal variable but lead to a unique stress $\sigma \in H(\operatorname{div},\Omega;\mathbb{M})$. Examples include the p-Laplacian, an optimal design problem in topology optimization, and the convexified double-well problem. The approximation by hybrid high-order methods (HHO) utilizes a reconstruction of the gradients with piecewise Raviart-Thomas or BDM finite elements without stabilization on a regular triangulation into simplices. The application of this HHO method to the class of degenerate convex minimization problems allows for a unique $H(\operatorname{div})$ conforming stress approximation $\sigma_h$. The main results are a~priori and a posteriori error estimates for the stress error $\sigma-\sigma_h$ in Lebesgue norms and a computable lower energy bound. Numerical benchmarks display higher convergence rates for higher polynomial degrees and include adaptive mesh-refining with the first superlinear convergence rates of guaranteed lower energy bounds.


title: Probing four-fermion operators in the triple top production at future hadron colliders

abstract: In this paper, we study the triple top quark production at the future high-energy proton-proton colliders to probe the four-fermion interactions involving three top quarks. We employ the Standard Model Effective Field Theory (SMEFT) to find the upper limits at $95\%$ CL on the Wilson coefficients of these kinds of four-fermion operators. We consider a detailed analysis with a unique signal signature of two same-sign leptons. A full simulation chain includes all the relevant backgrounds, realistic detector simulations and a cut-based technique are taken into account. This study is presented for the HE-LHC working at the center of mass energy of 27 TeV with 15~ab$^{-1}$ and FCC-hh working at the center of mass energy of 100 TeV with 30~ab$^{-1}$. We show that the future high-energy proton-proton colliders could reach an impressive sensitivity to four-fermion contact interactions involving three top quarks.


title: Laser Processing For 3D Junctionless Transistor Fabrication

abstract: To take fully advantage of Junctionless transistor (JLT) low-cost and low-temperature features we investigate a 475 degC process to create onto a wafer a thin poly-Si layer on insulator. We fabricated a 13nm doped (Phosphorous, 1E19 at/cm3) poly-silicon film featuring excellent roughness values (Rmax= 1.6nm and RMS=0.2nm). Guidelines for grain size optimization using nanosecond (ns) laser annealing are given.


title: On the homogenization of second order level set PDE in periodic media

abstract: This paper analyzes two classes of second order level set PDE in periodic media in the parabolic scaling. First, we study fully nonlinear geometric operators under general assumptions in dimension $d = 2$ and prove that the associated equations homogenize in this case. Next, we treat a class of quasi-linear geometric operators in arbitrary dimensions $d \geq 2$. In this setting, by adapting arguments form the study of oscillating boundary value problems, we prove that the effective coefficients are generically discontinuous in all dimensions $d \geq 3$. This necessitates a study of level set PDE driven by operators that are discontinuous at every rational direction on the sphere. We prove that, in fact, the effective operators so obtained do have a comparison principle and, thus, homogenization occurs. Finally, we investigate the connection between the effective mobility obtained in the quasi-linear case and linear response, drawing a connection between our results and those obtained in the hyperbolic scaling.


title: The hyperluminous, dust-obscured quasar W2246-0526 at z=4.6: detection of parsec-scale radio activity

abstract: WISE J224607.56$-$052634.9 (W2246-0526) is a hyperluminous ($L_{\rm bol}\approx 1.7\times 10^{14}~L_\odot$), dust-obscured and radio-quiet quasar at redshift $z=4.6$. It plays a key role in probing the transition stage between dusty starbursts and unobscured quasars in the co-evolution of galaxies and supermassive black holes (SMBHs). To search for the evidence of the jet activity launched by the SMBH in W2246-0526, we performed very long baseline interferometry (VLBI) observations of its radio counterpart with the European VLBI Network (EVN) plus the enhanced Multi Element Remotely Linked Interferometer Network (e-MERLIN) at 1.66 GHz and the Very Long Baseline Array (VLBA) at 1.44 and 1.66 GHz. The deep EVN plus e-MERLIN observations detect a compact (size $\leq32$ pc) sub-mJy component contributing about ten percent of its total flux density, which spatially coincides with the peak of dust continuum and [C II] emissions. Together with its relatively high brightness temperature ($\geq8\times10^{6}$ K), we interpret the component as a consequence of non-thermal radio activity powered by the central SMBH, which likely originates from a stationary jet base. The resolved-out radio emission possibly come from a diffuse jet, quasar-driven winds, or both, while the contribution by star formation activity is negligible. Moreover, we propose an updated geometry structure of its multi-wavelength active nucleus and shed light on the radio quasar selection bias towards the blazars at $z>4$.


title: P-adic L-functions and diagonal cycles for GSp(4) x GL(2) x GL(2)

abstract: We develop a (largely conjectural) theory of p-adic L-functions interpolating square roots of central L-values for automorphic forms on GSp(4) x GL(2) x GL(2), and a relation between these p-adic L-functions and families of Galois cohomology classes interpolating algebraic cycles. Our theory is a generalisation of the theory of "diagonal cycles" developed by Darmon and Rotger for the GL(2) triple product.


title: No Crash, No Exploit: Automated Verification of Embedded Kernels

abstract: The kernel is the most safety- and security-critical component of many computer systems, as the most severe bugs lead to complete system crash or exploit. It is thus desirable to guarantee that a kernel is free from these bugs using formal methods, but the high cost and expertise required to do so are deterrent to wide applicability. We propose a method that can verify both absence of runtime errors (i.e. crashes) and absence of privilege escalation (i.e. exploits) in embedded kernels from their binary executables. The method can verify the kernel runtime independently from the application, at the expense of only a few lines of simple annotations. When given a specific application, the method can verify simple kernels without any human intervention. We demonstrate our method on two different use cases: we use our tool to help the development of a new embedded real-time kernel, and we verify an existing industrial real-time kernel executable with no modification. Results show that the method is fast, simple to use, and can prevent real errors and security vulnerabilities.


title: Mercury's crustal thickness correlates with lateral variations in mantle melt production

abstract: Mercury's crust has a complex structure resulting from a billion years of volcanism. The surface variations in chemical composition have been identified from orbit by the spacecraft MESSENGER. Combining these measurements with laboratory experiments on partial melting, we estimate which variations in surface density and degree of mantle melting are required to produce surface rocks. If the surface density is representative of the deep crustal density, more than one half of crustal thickness variations in the northern hemisphere are explained by lateral variations in mantle melting. The crust is thin below the magnesium-poor Northern Volcanic Plains whereas the thickest crust is found in the magnesium-rich region located at mid-northern latitudes in the Western Hemisphere. The magnesium-rich region is thus not due to an early impact but rather to extensive mantle melting. The thickness-melting relation has also been observed for the oceanic crust on Earth and might be a common feature of terrestrial planets.


title: Learning a metacognition for object perception

abstract: Beyond representing the external world, humans also represent their own cognitive processes. In the context of perception, this metacognition helps us identify unreliable percepts, such as when we recognize that we are seeing an illusion. Here we propose MetaGen, a model for the unsupervised learning of metacognition. In MetaGen, metacognition is expressed as a generative model of how a perceptual system produces noisy percepts. Using basic principles of how the world works (such as object permanence, part of infants' core knowledge), MetaGen jointly infers the objects in the world causing the percepts and a representation of its own perceptual system. MetaGen can then use this metacognition to infer which objects are actually present in the world. On simulated data, we find that MetaGen quickly learns a metacognition and improves overall accuracy, outperforming models that lack a metacognition.


title: The Unintended Consequences of Stay-at-Home Policies on Work Outcomes: The Impacts of Lockdown Orders on Content Creation

abstract: The COVID-19 pandemic has posed an unprecedented challenge to individuals around the globe. To mitigate the spread of the virus, many states in the U.S. issued lockdown orders to urge their residents to stay at their homes, avoid get-togethers, and minimize physical interactions. While many offline workers are experiencing significant challenges performing their duties, digital technologies have provided ample tools for individuals to continue working and to maintain their productivity. Although using digital platforms to build resilience in remote work is effective, other aspects of remote work (beyond the continuation of work) should also be considered in gauging true resilience. In this study, we focus on content creators, and investigate how restrictions in individual's physical environment impact their online content creation behavior. Exploiting a natural experimental setting wherein four states issued state-wide lockdown orders on the same day whereas five states never issued a lockdown order, and using a unique dataset collected from a short video-sharing social media platform, we study the impact of lockdown orders on content creators' behaviors in terms of content volume, content novelty, and content optimism. We combined econometric methods (difference-in-differences estimations of a matched sample) with machine learning-based natural language processing to show that on average, compared to the users residing in non-lockdown states, the users residing in lockdown states create more content after the lockdown order enforcement. However, we find a decrease in the novelty level and optimism of the content generated by the latter group. Our findings have important contributions to the digital resilience literature and shed light on managers' decision-making process related to the adjustment of employees' work mode in the long run.


title: Graph convolutions that can finally model local structure

abstract: Despite quick progress in the last few years, recent studies have shown that modern graph neural networks can still fail at very simple tasks, like detecting small cycles. This hints at the fact that current networks fail to catch information about the local structure, which is problematic if the downstream task heavily relies on graph substructure analysis, as in the context of chemistry. We propose a very simple correction to the now standard GIN convolution that enables the network to detect small cycles with nearly no cost in terms of computation time and number of parameters. Tested on real life molecule property datasets, our model consistently improves performance on large multi-tasked datasets over all baselines, both globally and on a per-task setting.


title: $f(T)$ cosmology: From Pseudo-Bang to Pseudo-Rip

abstract: We investigate the complete universe evolution in the framework of $f(T)$ cosmology. We first study the requirements at the kinematic level and we introduce a simple scale factor with the necessary features. Performing a detailed analysis of the phase portrait we show that the universe begins in the infinite past from a phase where the scale factor goes to zero but the Hubble parameter goes to a constant, and its derivative to zero. Since these features resemble those of the Pseudo-Rip fate but in a reverted way, we call this initial phase as Pseudo-Bang. Then the universe evolves in a first inflationary phase, a cosmological turnaround and a bounce, after which we have a second inflationary regime with a successful exit. Subsequently we obtain the standard thermal history and the sequence of radiation, matter and late-time acceleration epochs, showing that the universe will result in an everlasting Pseudo-Rip phase. Finally, taking advantage of the fact that the field equations of $f(T)$ gravity are of second order, and therefore the corresponding autonomous dynamical system is one dimensional, we incorporate the aforementioned kinematic features and we reconstruct the specific $f(T)$ form that can dynamically generate the Pseudo-Bang cosmological scenario. Lastly, we examine the evolution of the primordial fluctuations showing that they are initially sub-horizon, and we show that the total fluid does not exhibit any singular behaviour at the phantom crossing points, while the torsional fluid experiences them as Type II singular phases.


title: PDE Comparison Principles for Robin Problems

abstract: We compare the solutions of two Poisson problems in a spherical shell with Robin boundary conditions, one with given data, and one where the data has been cap symmetrized. When the Robin parameters are nonnegative, we show that the solution to the symmetrized problem has larger (increasing) convex means. We prove similar results on balls. We also prove a comparison principle on generalized cylinders with mixed boundary conditions (Neumann and Robin).


title: A normal variety of invariant connections on hermitian symmetric spaces

abstract: We introduce a class of $G$-invariant connections on a homogeneous principal bundle $Q$ over a hermitian symmetric space $M=G/K$. The parameter space carries the structure of normal variety and has a canonical anti-holomorphic involution. The fixed points of the anti-holomorphic involution are precisely the integrable invariant complex structures on $Q.$ This normal variety is closely related to quiver varieties and, more generally, to varieties of commuting matrix tuples modulo simultaneous conjugation.


title: GPU Accelerated Lattice Boltzmann Simulation of Non-Newtonian Power-Law Fluid in a Porous Enclosure

abstract: This paper demonstrates a numerical study of heat transfer in a square porous cavity filled with non-Newtonian power-law fluid. A Graphics Processing Unit (GPU) has been used to accelerate the numerical simulation, which uses the Multiple-Relaxation-Time (MRT) Lattice Boltzmann Method. A modified power-law model has been employed to characterize the flow of non-Newtonian fluids. The simulations have been conducted for the power-law index $n$ ranging from $(0.6 \leq n \leq 1.0)$, the Darcy number $Da$ ranging from $(10^{-3} \leq Da \leq 10^{-1})$ and the Rayleigh number $Ra$ ranging from $(10^3 \leq Ra \leq 10^5)$. Results show that the average Nusselt number ($\overline{Nu}$) decreases with an increase in the value of $n$ while $\overline{Nu}$ increases with an increase in the value of $Da$. Moreover, an increment in the value of $Ra$ leads to an increase in the average Nusselt number.


title: Fort Formation by an Automaton

abstract: Building structures by low capability robots is a very recent research development. A robot (or a mobile agent) is designed as a deterministic finite automaton. The objective is to make a structure from a given distribution of materials (\textit{bricks}) in an infinite grid $Z\times Z$. The grid cells may contain a brick (\textit{full cells}) or it may be empty (\textit{empty cells}). The \textit{field}, a sub-graph induced by the full cells, is initially connected. At a given point in time, a robot can carry at most one brick. The robot can move in four directions (north, east, south, and west) and starts from a \textit{full cell}. The \textit{Manhattan distance} between the farthest full cells is the \textit{span} of the field. We consider the construction of a \textit{fort}, a structure with the minimum span and maximum covered area. On a square grid, a fort is a hollow rectangle with bricks on the perimeter. We show that the construction of such a fort can be done in $O(z^2)$ time -- with a matching lower bound $\Omega(z^2)$ -- where $z$ is the number of bricks present in the environment.


title: Automorphisms of profinite mapping class groups

abstract: For $S=S_{g,n}$ a closed orientable differentiable surface of genus $g$ from which $n$ points have been removed, such that $\chi(S)=2-2g-n<0$, let $\mathrm{P}\Gamma(S)$ be the pure mapping class group of $S$ and $\mathrm{P}\widehat\Gamma(S)$ and $\mathrm{P}\check\Gamma(S)$ be, respectively, its profinite and its congruence completions. The latter can be identified with the image of the natural representation $\mathrm{P}\widehat\Gamma(S)\to\operatorname{Out}({\widehat\pi}_1(S))$, where ${\widehat\pi}_1(S)$ is the profinite completion of the fundamental group of the surface $S$. Let $\operatorname{Out}^{\mathbb{I}_0}(\mathrm{P}\widehat\Gamma(S))$ and $\operatorname{Out}^{\mathbb{I}_0}(\mathrm{P}\check\Gamma(S))$ be the groups of outer automorphisms which preserve the conjugacy class of a procyclic subgroup generated by a nonseparating Dehn twist and let $\widehat{\operatorname{GT}}$ be the profinite Grothendieck-Teichm\"uller group. We then prove that, for $\chi(S)<g-2$, there is a natural faithful representation: \[\widehat{\operatorname{GT}}\hookrightarrow\operatorname{Out}^{\mathbb{I}_0}(\mathrm{P}\widehat\Gamma(S))\] and, letting $\Sigma_n$ be the symmetric group on the $n$ punctures of $S$, a natural isomorphism: \[\operatorname{Out}^{\mathbb{I}_0}(\mathrm{P}\check\Gamma(S))\cong\Sigma_n\times\widehat{\operatorname{GT}}.\]


title: Quantum repeaters based on concatenated bosonic and discrete-variable quantum codes

abstract: We propose an architecture of quantum-error-correction-based quantum repeaters that combines techniques used in discrete- and continuous-variable quantum information. Specifically, we propose to encode the transmitted qubits in a concatenated code consisting of two levels. On the first level we use a continuous-variable GKP code encoding the qubit in a single bosonic mode. On the second level we use a small discrete-variable code. Such an architecture has two important features. Firstly, errors on each of the two levels are corrected in repeaters of two different types. This enables for achieving performance needed in practical scenarios with a reduced cost with respect to an architecture for which all repeaters are the same. Secondly, the use of continuous-variable GKP code on the lower level generates additional analog information which enhances the error-correcting capabilities of the second-level code such that long-distance communication becomes possible with encodings consisting of only four or seven optical modes.


title: Synthesizing electromagnetically induced transparency without a control field in waveguide QED using small and giant atoms

abstract: The absorption of photons in a three-level atom can be controlled and manipulated by applying a coherent drive at one of the atomic transitions. The situation where the absorption is fully canceled, and the atom thus has been turned completely transparent, has been coined electromagnetically induced transparency (EIT). The characteristics of EIT is a narrow transparency window associated with a fluorescence quench at its center frequency, indicating that inelastic scattering at this particular point is suppressed. The emergence of EIT-like transparency windows is common in waveguide quantum electrodynamics (QED) when multiple closely spaced quantum emitters are coupled to a waveguide. The transparency depends on the separation and energy detuning of the atoms. In this work, we study a number of different setups with two-level atoms in waveguide QED that all exhibit EIT-like transparency windows. Unlike the case of a genuine three-level atom, no drive fields are required in the systems we consider, and the coherent coupling of energy levels is mediated by the waveguide. We specifically distinguish between systems with genuine EIT-like dynamics and those that exhibit a transparency window but lack the fluorescence quench. The systems that we consider consist of both small and giant atoms, which can be experimentally realized with artificial atoms coupled to either photons or phonons. These systems can offer a simpler route to many EIT applications since the need for external driving is eliminated.


title: Detecting Entanglement can be More Effective with Inequivalent Mutually Unbiased Bases

abstract: Mutually unbiased bases (MUBs) provide a standard tool in the verification of quantum states, especially when harnessing a complete set for optimal quantum state tomography. In this work, we investigate the detection of entanglement via inequivalent sets of MUBs, with a particular focus on unextendible MUBs. These are bases for which an additional unbiased basis cannot be constructed and, consequently, are unsuitable for quantum state verification. Here, we show that unextendible MUBs, as well as other inequivalent sets in higher dimensions, can be more effective in the verification of entanglement. Furthermore, we provide an efficient and systematic method to search for inequivalent MUBs and show that such sets occur regularly within the Heisenberg-Weyl MUBs, as the dimension increases. Our findings are particularly useful for experimentalists since adding optimal MUBs to an experimental setup enables a step-by-step approach to detect a larger class of entangled states.


title: Forecasting Characteristic 3D Poses of Human Actions

abstract: We propose the task of forecasting characteristic 3d poses: from a short sequence observation of a person, predict a future 3d pose of that person in a likely action-defining, characteristic pose -- for instance, from observing a person picking up an apple, predict the pose of the person eating the apple. Prior work on human motion prediction estimates future poses at fixed time intervals. Although easy to define, this frame-by-frame formulation confounds temporal and intentional aspects of human action. Instead, we define a semantically meaningful pose prediction task that decouples the predicted pose from time, taking inspiration from goal-directed behavior. To predict characteristic poses, we propose a probabilistic approach that models the possible multi-modality in the distribution of likely characteristic poses. We then sample future pose hypotheses from the predicted distribution in an autoregressive fashion to model dependencies between joints. To evaluate our method, we construct a dataset of manually annotated characteristic 3d poses. Our experiments with this dataset suggest that our proposed probabilistic approach outperforms state-of-the-art methods by 26% on average.


title: LLT cumulants of unicellular Young diagrams, parking functions and Schur positivity

abstract: We give a combinatorial formula for LLT cumulants of unicellular unilevelled shapes in terms of parking functions and Cayley trees. Our formula implies previously conjectured Schur positivity.


title: DEF: Deep Estimation of Sharp Geometric Features in 3D Shapes

abstract: We propose Deep Estimators of Features (DEFs), a learning-based framework for predicting sharp geometric features in sampled 3D shapes. Differently from existing data-driven methods, which reduce this problem to feature classification, we propose to regress a scalar field representing the distance from point samples to the closest feature line on local patches. Our approach is the first that scales to massive point clouds by fusing distance-to-feature estimates obtained on individual patches. We extensively evaluate our approach against related state-of-the-art methods on newly proposed synthetic and real-world 3D CAD model benchmarks. Our approach not only outperforms these (with improvements in Recall and False Positives Rates), but generalizes to real-world scans after training our model on synthetic data and fine-tuning it on a small dataset of scanned data. We demonstrate a downstream application, where we reconstruct an explicit representation of straight and curved sharp feature lines from range scan data.


title: Parity-Checked Strassen Algorithm

abstract: To multiply astronomic matrices using parallel workers subject to straggling, we recommend interleaving checksums with some fast matrix multiplication algorithms. Nesting the parity-checked algorithms, we weave a product code flavor protection. Two demonstrative configurations are as follows: (A) $9$ workers multiply two $2\times 2$ matrices; each worker multiplies two linear combinations of entries therein. Then the entry products sent from any $8$ workers suffice to assemble the matrix product. (B) $754$ workers multiply two $9\times 9$ matrices. With empirical frequency $99.8\%$, $729$ workers suffice, wherein $729$ is the complexity of the schoolbook algorithm. In general, we propose probability-wisely favorable configurations whose numbers of workers are close to, if not less than, the thresholds of other codes (e.g., entangled polynomial code and PolyDot code). Our proposed scheme applies recursively, respects worker locality, incurs moderate pre- and post-processes, and extends over small finite fields.


title: A Large Scale Randomized Controlled Trial on Herding in Peer-Review Discussions

abstract: Peer review is the backbone of academia and humans constitute a cornerstone of this process, being responsible for reviewing papers and making the final acceptance/rejection decisions. Given that human decision making is known to be susceptible to various cognitive biases, it is important to understand which (if any) biases are present in the peer-review process and design the pipeline such that the impact of these biases is minimized. In this work, we focus on the dynamics of between-reviewers discussions and investigate the presence of herding behaviour therein. In that, we aim to understand whether reviewers and more senior decision makers get disproportionately influenced by the first argument presented in the discussion when (in case of reviewers) they form an independent opinion about the paper before discussing it with others. Specifically, in conjunction with the review process of ICML 2020 -- a large, top tier machine learning conference -- we design and execute a randomized controlled trial with the goal of testing for the conditional causal effect of the discussion initiator's opinion on the outcome of a paper.


title: Likelihood-Based Diverse Sampling for Trajectory Forecasting

abstract: Forecasting complex vehicle and pedestrian multi-modal distributions requires powerful probabilistic approaches. Normalizing flows (NF) have recently emerged as an attractive tool to model such distributions. However, a key drawback is that independent samples drawn from a flow model often do not adequately capture all the modes in the underlying distribution. We propose Likelihood-Based Diverse Sampling (LDS), a method for improving the quality and the diversity of trajectory samples from a pre-trained flow model. Rather than producing individual samples, LDS produces a set of trajectories in one shot. Given a pre-trained forecasting flow model, we train LDS using gradients from the model, to optimize an objective function that rewards high likelihood for individual trajectories in the predicted set, together with high spatial separation among trajectories. LDS outperforms state-of-art post-hoc neural diverse forecasting methods for various pre-trained flow models as well as conditional variational autoencoder (CVAE) models. Crucially, it can also be used for transductive trajectory forecasting, where the diverse forecasts are trained on-the-fly on unlabeled test examples. LDS is easy to implement, and we show that it offers a simple plug-in improvement over baselines on two challenging benchmarks. Code is at: https://github.com/JasonMa2016/LDS


title: The multi-port berth allocation problem with speed optimization: Exact methods and a cooperative game analysis

abstract: We consider a variant of the berth allocation problem-i.e., the multi-port berth allocation problem-aimed at assigning berthing times and positions to vessels in container terminals. This variant involves optimizing vessel travel speeds between multiple ports, thereby exploiting the potentials of a collaboration between carriers (shipping lines) and terminal operators. Using a graph representation of the problem, we reformulate an existing mixed-integer problem into a generalized set partitioning problem, in which each variable refers to a sequence of feasible berths in the ports that the vessel visits. By integrating column generation and cut separation in a branch-and-cut-and-price procedure, our proposed method is able to outperform commercial solvers in a set of benchmark instances and adapt better to larger instances. In addition, we apply cooperative game theory methods to efficiently distribute the savings resulting from a potential collaboration and show that both carriers and terminal operators would benefit from collaborating.


title: A randomised trapezoidal quadrature

abstract: A randomised trapezoidal quadrature rule is proposed for continuous functions which enjoys less regularity than commonly required. Indeed, we consider functions in some fractional Sobolev space. Various error bounds for this randomised rule are established while an error bound for classical trapezoidal quadrature is obtained for comparison. The randomised trapezoidal quadrature rule is shown to improve the order of convergence by half.


title: Improvements on dipole shower colour

abstract: The dipole formalism provides a powerful framework from which parton showers can be constructed. In a recent paper, we proposed a dipole shower with improved colour accuracy and in this paper we show how it can be further improved. After an explicit check at $\mathcal{O}(\alpha_{\mathrm{s}}^{2})$ we confirm that our original shower performs as it was designed to, i.e. inheriting its handling of angular-ordered radiation from a coherent branching algorithm. We also show how other dipole shower algorithms fail to achieve this. Nevertheless, there is an $\mathcal{O}(\alpha_{\mathrm{s}}^{2})$ topology where it differs at sub-leading $N_{\mathrm{c}}$ from a coherent branching algorithm. This erroneous topology can contribute a leading logarithm to some observables and corresponds to emissions that are ordered in $k_t$ but not angle. We propose a simple, computationally efficient way to correct this and assign colour factors in accordance with the coherence properties of QCD to all orders in $\alpha_{\mathrm{s}}$.


title: Characterization of groups with non-simple socle

abstract: The spectrum of a finite group is a set of its element orders. We prove that if $m>5$ then the group $L_{2^m}(2)\times L_{2^m}(2)\times L_{2^m}(2)$ is uniquely determined by its spectrum in the class of finite groups


title: MG-MAMPOSSt: A code to test modifications of gravity with the dynamics of galaxy clusters

abstract: We present an upgraded version of \textsc{MG-MAMPOSSt}, an extension of the \textsc{MAMPOSSt} algorithm that performs Bayesian fits of models of mass and velocity anisotropy profiles to the distribution of tracers in projected phase space, to handle modified gravity models and constrain their parameters. The new version implements two distinct types of gravity modifications, namely general chameleon and Vainshtein screening, and is further equipped with a Monte-Carlo-Markov-Chain module for an efficient parameter space exploration. The program is complemented by the \textsc{ClusterGEN} code, capable of producing mock galaxy clusters under the assumption of spherical symmetry, dynamical equilibrium, and Gaussian local velocity distribution functions as in \textsc{MAMPOSSt}. We demonstrate the potential of the method by analysing a set of synthetic, isolated spherically-symmetric dark matter haloes, focusing on the statistical degeneracies between model parameters. Assuming the availability of additional lensing-like information, we forecast the constraints on the modified gravity parameters for the two models presented, as expected from joint lensing+internal kinematics analyses, in view of upcoming galaxy cluster surveys. In Vainshtein screening, we forecast the weak lensing effect through the estimation of the full convergence-shear profile. For chameleon screening, we constrain the allowed region in the space of the two free parameters of the model, further focusing on the $f(\mathcal{R})$ subclass to obtain realistic bounds on the background field $|f_{\mathcal{R}0}|$. Our analysis demonstrates the complementarity of internal kinematics and lensing probes for constraining modified gravity theories, and how the bounds on Vainshtein-screened theories improve through the combination of the two probes.


title: Planar random-cluster model: scaling relations

abstract: This paper studies the critical and near-critical regimes of the planar random-cluster model on $\mathbb Z^2$ with cluster-weight $q\in[1,4]$ using novel coupling techniques. More precisely, we derive the scaling relations between the critical exponents $\beta$, $\gamma$, $\delta$, $\eta$, $\nu$, $\zeta$ as well as $\alpha$ (when $\alpha\ge0$). As a key input, we show the stability of crossing probabilities in the near-critical regime using new interpretations of the notion of influence of an edge in terms of the rate of mixing. As a byproduct, we derive a generalization of Kesten's classical scaling relation for Bernoulli percolation involving the ``mixing rate'' critical exponent $\iota$ replacing the four-arm event exponent $\xi_4$.


title: Inductive Biases for Deep Learning of Higher-Level Cognition

abstract: A fascinating hypothesis is that human and animal intelligence could be explained by a few principles (rather than an encyclopedic list of heuristics). If that hypothesis was correct, we could more easily both understand our own intelligence and build intelligent machines. Just like in physics, the principles themselves would not be sufficient to predict the behavior of complex systems like brains, and substantial computation might be needed to simulate human-like intelligence. This hypothesis would suggest that studying the kind of inductive biases that humans and animals exploit could help both clarify these principles and provide inspiration for AI research and neuroscience theories. Deep learning already exploits several key inductive biases, and this work considers a larger list, focusing on those which concern mostly higher-level and sequential conscious processing. The objective of clarifying these particular principles is that they could potentially help us build AI systems benefiting from humans' abilities in terms of flexible out-of-distribution and systematic generalization, which is currently an area where a large gap exists between state-of-the-art machine learning and human intelligence.


title: Abstract and concrete tangent modules on Lipschitz differentiability spaces

abstract: We construct an isometric embedding from Gigli's abstract tangent module into the concrete tangent module of a space admitting a (weak) Lipschitz differentiable structure, and give two equivalent conditions which characterize when the embedding is an isomorphism. Together with arguments from a recent article by Bate--Kangasniemi--Orponen, this equivalence is used to show that the ${\rm Lip}-{\rm lip}$ -type condition ${\rm lip} f\le C|Df|$ implies the existence of a Lipschitz differentiable structure, and moreover self-improves to ${\rm lip} f =|Df|$. We also provide a direct proof of a result by Gigli and the second author that, for a space with a strongly rectifiable decomposition, Gigli's tangent module admits an isometric embedding into the so-called Gromov--Hausdorff tangent module, without any a priori reflexivity assumptions.


title: Reducing Textural Bias Improves Robustness of Deep Segmentation Models

abstract: Despite advances in deep learning, robustness under domain shift remains a major bottleneck in medical imaging settings. Findings on natural images suggest that deep neural models can show a strong textural bias when carrying out image classification tasks. In this thorough empirical study, we draw inspiration from findings on natural images and investigate ways in which addressing the textural bias phenomenon could bring up the robustness of deep segmentation models when applied to three-dimensional (3D) medical data. To achieve this, publicly available MRI scans from the Developing Human Connectome Project are used to study ways in which simulating textural noise can help train robust models in a complex semantic segmentation task. We contribute an extensive empirical investigation consisting of 176 experiments and illustrate how applying specific types of simulated textural noise prior to training can lead to texture invariant models, resulting in improved robustness when segmenting scans corrupted by previously unseen noise types and levels.


title: Simulated Quantum Annealing is Efficient on the Spike Hamiltonian

abstract: In this work we study the convergence of a classical algorithm called Simulated Quantum Annealing (SQA) on the Spike Hamiltonian, a specific toy model Hamiltonian for quantum-mechanical tunneling introduced by [FGG02]. This toy model Hamiltonian encodes a simple bit-symmetric cost function f in the computational basis, and is used to emulate local minima in more complex optimization problems. In previous work [CH16] showed that SQA runs in polynomial time in much of the regime of spikes that QA does, pointing to evidence against an exponential speedup through tunneling. In this paper we extend their analysis to the remaining polynomial regime of energy gaps of the spike Hamiltonian, to show that indeed QA presents no exponential speedup with respect to SQA on this family of toy models.


title: AGNet: Weighing Black Holes with Machine Learning

abstract: Supermassive black holes (SMBHs) are ubiquitously found at the centers of most galaxies. Measuring SMBH mass is important for understanding the origin and evolution of SMBHs. However, traditional methods require spectral data which is expensive to gather. To solve this problem, we present an algorithm that weighs SMBHs using quasar light time series, circumventing the need for expensive spectra. We train, validate, and test neural networks that directly learn from the Sloan Digital Sky Survey (SDSS) Stripe 82 data for a sample of $9,038$ spectroscopically confirmed quasars to map out the nonlinear encoding between black hole mass and multi-color optical light curves. We find a 1$\sigma$ scatter of 0.35 dex between the predicted mass and the fiducial virial mass based on SDSS single-epoch spectra. Our results have direct implications for efficient applications with future observations from the Vera Rubin Observatory.


title: A proposal and evaluation of new timbre visualisation methods for audio sample browsers

abstract: Searching through vast libraries of sound samples can be a daunting and time-consuming task. Modern audio sample browsers use mappings between acoustic properties and visual attributes to visually differentiate displayed items. There are few studies focused on how well these mappings help users search for a specific sample. We propose new methods for generating textural labels and positioning samples based on perceptual representations of timbre. We perform a series of studies to evaluate the benefits of using shape, color or texture as labels in a known-item search task. We describe the motivation and implementation of the study, and present an in-depth analysis of results. We find that shape significantly improves task performance, while color and texture have little effect. We also compare results between in-person and online participants and propose research directions for further studies.


title: Isostasy with Love: I Elastic equilibrium

abstract: Isostasy explains why observed gravity anomalies are generally much weaker than what is expected from topography alone, and why planetary crusts can support high topography without breaking up. Classical isostasy, however, neglects internal stresses and geoid contributions to topographical support, and yields ambiguous predictions of geoid anomalies. Isostasy should instead be defined either by minimizing deviatoric elastic stresses within the elastic shell, or by studying the dynamic response of the body in the long-time limit. I implement here the first option by formulating Airy isostatic equilibrium as the response of an elastic shell to surface and internal loads. Isostatic ratios are defined in terms of deviatoric Love numbers which quantify deviations with respect to a fluid state. The Love number approach separates the physics of isostasy from the technicalities of elastic-gravitational spherical deformations, and provides flexibility in the choice of the interior structure. Since elastic isostasy is invariant under a global rescaling of the shell shear modulus, it can be defined in the fluid shell limit, which reveals a deep connection with viscous isostasy. If the shell is homogeneous, minimum stress isostasy is dual to a variant of elastic isostasy called zero deflection isostasy, which is less physical but simpler to compute. Each isostatic model is combined with general boundary conditions applied at the surface and bottom of the shell, resulting in one-parameter isostatic families. At long wavelength, the influence of boundary conditions disappears as all isostatic families members yield the same isostatic ratios. At short wavelength, topography is supported by shallow stresses so that Airy isostasy becomes similar to either pure top or bottom loading. The isostatic ratios of incompressible bodies with three homogeneous layers are implemented in freely available software.


title: On p-adic regulators for GSp(4) x GL(2) and GSp(4) x GL(2) x GL(2)

abstract: We compute the images of motivic cohomology classes for GSp(4) x GL(2) and GSp(4) x GL(2) x GL(2) under the syntomic regulator, and relate them to non-critical values of p-adic L-functions.


title: The Impact of Time Series Length and Discretization on Longitudinal Causal Estimation Methods

abstract: The use of observational time series data to assess the impact of multi-time point interventions is becoming increasingly common as more health and activity data are collected and digitized via wearables, social media, and electronic health records. Such time series may involve hundreds or thousands of irregularly sampled observations. One common analysis approach is to simplify such time series by first discretizing them into sequences before applying a discrete-time estimation method that adjusts for time-dependent confounding. In certain settings, this discretization results in sequences with many time points; however, the empirical properties of longitudinal causal estimators have not been systematically compared on long sequences. We compare three representative longitudinal causal estimation methods on simulated and real clinical data. Our simulations and analyses assume a Markov structure and that longitudinal treatments/exposures are binary-valued and have at most a single jump point. We identify sources of bias that arise from temporally discretizing the data and provide practical guidance for discretizing data and choosing between methods when working with long sequences. Additionally, we compare these estimators on real electronic health record data, evaluating the impact of early treatment for patients with a life-threatening complication of infection called sepsis.


title: From the DESK (Dexterous Surgical Skill) to the Battlefield -- A Robotics Exploratory Study

abstract: Short response time is critical for future military medical operations in austere settings or remote areas. Such effective patient care at the point of injury can greatly benefit from the integration of semi-autonomous robotic systems. To achieve autonomy, robots would require massive libraries of maneuvers. While this is possible in controlled settings, obtaining surgical data in austere settings can be difficult. Hence, in this paper, we present the Dexterous Surgical Skill (DESK) database for knowledge transfer between robots. The peg transfer task was selected as it is one of 6 main tasks of laparoscopic training. Also, we provide a ML framework to evaluate novel transfer learning methodologies on this database. The collected DESK dataset comprises a set of surgical robotic skills using the four robotic platforms: Taurus II, simulated Taurus II, YuMi, and the da Vinci Research Kit. Then, we explored two different learning scenarios: no-transfer and domain-transfer. In the no-transfer scenario, the training and testing data were obtained from the same domain; whereas in the domain-transfer scenario, the training data is a blend of simulated and real robot data that is tested on a real robot. Using simulation data enhances the performance of the real robot where limited or no real data is available. The transfer model showed an accuracy of 81% for the YuMi robot when the ratio of real-to-simulated data was 22%-78%. For Taurus II and da Vinci robots, the model showed an accuracy of 97.5% and 93% respectively, training only with simulation data. Results indicate that simulation can be used to augment training data to enhance the performance of models in real scenarios. This shows the potential for future use of surgical data from the operating room in deployable surgical robots in remote areas.


title: Vertex Sparsification for Edge Connectivity in Polynomial Time

abstract: An important open question in the area of vertex sparsification is whether $(1+\epsilon)$-approximate cut-preserving vertex sparsifiers with size close to the number of terminals exist. The work Chalermsook et al. (SODA 2021) introduced a relaxation called connectivity-$c$ mimicking networks, which asks to construct a vertex sparsifier which preserves connectivity among $k$ terminals exactly up to the value of $c$, and showed applications to dynamic connectivity data structures and survivable network design. We show that connectivity-$c$ mimicking networks with $\widetilde{O}(kc^3)$ edges exist and can be constructed in polynomial time in $n$ and $c$, improving over the results of Chalermsook et al. (SODA 2021) for any $c \ge \log n$, whose runtimes depended exponentially on $c$.


title: Learning by Passing Tests, with Application to Neural Architecture Search

abstract: Learning through tests is a broadly used methodology in human learning and shows great effectiveness in improving learning outcome: a sequence of tests are made with increasing levels of difficulty; the learner takes these tests to identify his/her weak points in learning and continuously addresses these weak points to successfully pass these tests. We are interested in investigating whether this powerful learning technique can be borrowed from humans to improve the learning abilities of machines. We propose a novel learning approach called learning by passing tests (LPT). In our approach, a tester model creates increasingly more-difficult tests to evaluate a learner model. The learner tries to continuously improve its learning ability so that it can successfully pass however difficult tests created by the tester. We propose a multi-level optimization framework to formulate LPT, where the tester learns to create difficult and meaningful tests and the learner learns to pass these tests. We develop an efficient algorithm to solve the LPT problem. Our method is applied for neural architecture search and achieves significant improvement over state-of-the-art baselines on CIFAR-100, CIFAR-10, and ImageNet.


title: Automating Artifact Detection in Video Games

abstract: In spite of advances in gaming hardware and software, gameplay is often tainted with graphics errors, glitches, and screen artifacts. This proof of concept study presents a machine learning approach for automated detection of graphics corruptions in video games. Based on a sample of representative screen corruption examples, the model was able to identify 10 of the most commonly occurring screen artifacts with reasonable accuracy. Feature representation of the data included discrete Fourier transforms, histograms of oriented gradients, and graph Laplacians. Various combinations of these features were used to train machine learning models that identify individual classes of graphics corruptions and that later were assembled into a single mixed experts "ensemble" classifier. The ensemble classifier was tested on heldout test sets, and produced an accuracy of 84% on the games it had seen before, and 69% on games it had never seen before.


title: Vulcan Centaur: towards end-to-end real-time perception in lunar rovers

abstract: We introduce a new real-time pipeline for Simultaneous Localization and Mapping (SLAM) and Visual Inertial Odometry (VIO) in the context of planetary rovers. We leverage prior information of the location of the lander to propose an object-level SLAM approach that optimizes pose and shape of the lander together with camera trajectories of the rover. As a further refinement step, we propose to use techniques of interpolation between adjacent temporal samples; videlicet synthesizing non-existing images to improve the overall accuracy of the system. The experiments are conducted in the context of the Iris Lunar Rover, a nano-rover that will be deployed in lunar terrain in 2021 as the flagship of Carnegie Mellon, being the first unmanned rover of America to be on the Moon.


title: Moderate immigration may promote a peak of cooperation among natives

abstract: In a world of hardening borders, nations may deprive themselves of enjoying the benefits of cooperative immigrants. Here, we analyze the effect of efficient cooperative immigrants on a population playing public goods games. We considered a population structured on a square lattice with individuals playing public goods games with their neighbors. The demographics are determined by stochastic birth, death, and migration. The strategies spread through imitation dynamics. Our model shows that cooperation among natives can emerge due to social contagion of good role-model agents that can provide better quality public goods. Only a small fraction of efficient cooperators, among immigrants, is enough to trigger cooperation across the native population. We see that native cooperation achieves its peak at moderate values of immigration rate. Such efficient immigrant cooperators act as nucleation centers for the growth of cooperative clusters, that eventually dominate defection.

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


title: On local zeta-integrals for GSp(4) and GSp(4) x GL(2)

abstract: We prove that Novodvorsky's definition of local L-factors for generic representations of GSp(4) x GL(2) is compatible with the local Langlands correspondence when the GL(2) representation is non-supercuspidal. We also give an interpretation in terms of Langlands parameters of the "exceptional" poles of the GSp(4) x GL(2) L-factor, and of the "subregular" poles of the GSp(4) L-factor studied in recent work of Roesner and Weissauer.