title: Distinguishing Dark Energy Models with Neutrino Oscillations

abstract: Dark Energy models are numerous and distinguishing between them is becoming difficult. However, using distinct observational probes can ease this quest and gives better assessment to the nature of Dark energy. To this end, the plausibility of neutrino oscillations to be a probe of Dark Energy models is investigated. First, a generalized formalism of neutrino (spinor field) interaction with a classical scalar field in curved space-time is presented. This formalism is then applied to two classes of Dark Energy models in a flat Friedman-Lema\^itre-Robertson-Walker metric: a Cosmological Constant and scalar field Dark Energy coupled to neutrinos. By looking at the neutrino oscillation probability's evolution with redshift, these models can be distinguished, for certain neutrino and scalar field coupling properties. This evolution could be traced by neutrino flux in future underground, terrestrial or extraterrestrial neutrino telescopes, which would assess probing Dark Energy models with this technique.


title: Positive cluster complexes and $\tau$-tilting simplicial complexes of cluster-tilted algebras of finite type

abstract: In this study, we consider the positive cluster complex, a full subcomplex of a cluster complex the vertices of which are all non-initial cluster variables. In particular, we provide a formula for the difference in face vectors of positive cluster complexes caused by a mutation for finite type. Moreover, we explicitly describe specific positive cluster complexes of finite type and calculate their face vectors. We also provide a method to compute the face vector of an arbitrary positive cluster complex of finite type using these results. Furthermore, we apply our results to the $\tau$-tilting theory of cluster-tilted algebras of finite representation type using the correspondence between clusters and support $\tau$-tilting modules.


title: How Deep is your Learning: the DL-HARD Annotated Deep Learning Dataset

abstract: Deep Learning Hard (DL-HARD) is a new annotated dataset designed to more effectively evaluate neural ranking models on complex topics. It builds on TREC Deep Learning (DL) topics by extensively annotating them with question intent categories, answer types, wikified entities, topic categories, and result type metadata from a commercial web search engine. Based on this data, we introduce a framework for identifying challenging queries. DL-HARD contains fifty topics from the official DL 2019/2020 evaluation benchmark, half of which are newly and independently assessed. We perform experiments using the official submitted runs to DL on DL-HARD and find substantial differences in metrics and the ranking of participating systems. Overall, DL-HARD is a new resource that promotes research on neural ranking methods by focusing on challenging and complex topics.


title: Mach Number Dependence of Flow Instability around a Spiked Body

abstract: A forward-facing aerospike have been identified as a passive flow control device for enhancing the aerodynamic efficiency and reducing the heat transfer in high-speed flows. In addition, it has been reported that the presence of a spike brings in unsteadiness in the form of oscillation and pulsation to the structure. Previous researchers have investigated the aerothermodynamic coefficients, together with offering a detailed explanation of the flow physics and associated unsteadiness, and their dependence on the spike's geometric characteristics (spike nose, and length-to-fore-body diameter ratio, L/D). This work focuses on ascertaining the role of flow speeds (free-stream Mach number), and their energy content, in governing the physics around a spiked body, which is yet to be established. Numerical investigation has been carried out using axisymmetric Navier-Stokes laminar flow solver for Mach number range of 2.0 to 7.0. A round-tip spike with flat-face cylindrical after-body have been simulated for spike length ratio of L/D = 2.0, with spike diameter to fore-body diameter of 0.1. The flow unsteadiness has been analyzed with drag and pressure coefficients variation at different Mach numbers. It was found that the flow field around the spiked blunt nose behaves in pulsation mode at lower Mach numbers 2, 3 and transition to oscillatory mode at higher Mach numbers 5, 6 and 7, while remain almost stable at Mach 4. The limit of Strouhal Number for characterizing the pulsation and oscillation modes at various Mach numbers for spike length of L/D = 2 with flat after-body is observed as 0.2, however it may very well depend on other geometric parameters of spike and after-body.


title: Dynamics and thermodynamics of a topological transition in spin ice materials under strain

abstract: We study single crystals of Dy$_2$Ti$_2$O$_7$ and Ho$_2$Ti$_2$O$_7$ under magnetic field and stress applied along their [001] direction. We find that many of the features that the emergent gauge field of spin ice confers to the macroscopic magnetic properties are preserved in spite of the finite temperature. The magnetisation vs. field shows an upward convexity within a broad range of fields, while the static and dynamic susceptibilities present a peculiar peak. Following this feature for both compounds, we determine a single experimental transition curve: that for the Kasteleyn transition in three dimensions, proposed more than a decade ago. Additionally, we observe that compression up to $-0.8\%$ along [001] does not significantly change the thermodynamics. However, the dynamical response of Ho$_2$Ti$_2$O$_7$ is quite sensitive to changes introduced in the ${\rm Ho}^{3+}$ environment. Uniaxial compression can thus open up experimental access to equilibrium properties of spin ice at low temperatures.


title: Asymptotic results for certain first-passage times and areas of renewal processes

abstract: We consider the process $\{x-N(t):t\geq 0\}$, where $x\in\mathbb{R}_+$ and $\{N(t):t\geq 0\}$ is a renewal process with light-tailed distributed holding times. We are interested in the joint distribution of $(\tau(x),A(x))$ where $\tau(x)$ is the first-passage time of $\{x-N(t):t\geq 0\}$ to reach zero or a negative value, and $A(x):=\int_0^{\tau(x)}(x-N(t))dt$ is the corresponding first-passage (positive) area swept out by the process $\{x-N(t):t\geq 0\}$. We remark that we can define the sequence $\{(\tau(n),A(n)):n\geq 1\}$ by referring to the concept of integrated random walk. Our aim is to prove asymptotic results as $x\to\infty$ in the fashion of large (and moderate) deviations.


title: Designs, permutations, and transitive groups

abstract: A notion of $t$-designs in the symmetric group on $n$ letters was introduced by Godsil in 1988. In particular $t$-transitive sets of permutations form a $t$-design. We derive special lower bounds for $t=1$ and $t=2$ by a power moment method. For general $n,t$ we give a %linear programming lower bound . For $n\ge 4$ and $t=2,$ this bound is strong enough to show a lower bound on the size of such $t$-designs of $n(n-1)\dots (n-t+1),$ which is best possible when sharply $t$-transitive sets of permutations exist. This shows, in particular, that tight $2$-designs do not exist.


title: Introducci\'on a la teor\'ia de complejidad topol\'ogica

abstract: In this work we will review the notion of topological complexity, introduced by Michael Farber in 2003. We will use this theory of topological complexity to solve the motion planning problem of a mobile robot that navigates in the Euclidean plane avoiding colliding with an obstacle. Specifically, we calculate topological complexity and design explicit algorithms.


title: Developing a learning goal framework for computational thinking in computationally integrated physics classrooms

abstract: Computational thinking has been a recent focus of education research within the sciences. However, there is a dearth of scholarly literature on how best to teach and to assess this topic, especially in disciplinary science courses. Physics classes with computation integrated into the curriculum are a fitting setting for investigating computational thinking. In this paper, we lay the foundation for exploring computational thinking in introductory physics courses. First, we review relevant literature to synthesize a set of potential learning goals that students could engage in when working with computation. The computational thinking framework that we have developed features 14 practices contained within 6 different categories. We use in-class video data as existence proofs of the computational thinking practices proposed in our framework. In doing this work, we hope to provide ways for teachers to assess their students' development of computational thinking, while also giving physics education researchers some guidance on how to study this topic in greater depth.


title: Framing causal questions in life course epidemiology

abstract: We describe the principles of counterfactual thinking in providing more precise definitions of causal effects and some of the implications of this work for the way in which causal questions in life course research are framed and evidence evaluated. Terminology is explained and examples of common life course analyses are discussed that focus on the timing of exposures, the mediation of their effects, observed and unobserved confounders, and measurement error. The examples are illustrated by analyses using singleton and twin cohort data.


title: Unknown-box Approximation to Improve Optical Character Recognition Performance

abstract: Optical character recognition (OCR) is a widely used pattern recognition application in numerous domains. There are several feature-rich, general-purpose OCR solutions available for consumers, which can provide moderate to excellent accuracy levels. However, accuracy can diminish with difficult and uncommon document domains. Preprocessing of document images can be used to minimize the effect of domain shift. In this paper, a novel approach is presented for creating a customized preprocessor for a given OCR engine. Unlike the previous OCR agnostic preprocessing techniques, the proposed approach approximates the gradient of a particular OCR engine to train a preprocessor module. Experiments with two datasets and two OCR engines show that the presented preprocessor is able to improve the accuracy of the OCR up to 46% from the baseline by applying pixel-level manipulations to the document image. The implementation of the proposed method and the enhanced public datasets are available for download.


title: Bifurcation Study on a Degenerate Double van der Waals Cirque Potential Energy Surface using Lagrangian Descriptors

abstract: In this paper, we explore the dynamics of a Hamiltonian system after a double van der Waals potential energy surface degenerates into a single well. The energy of the system is increased from the bottom of the potential well up to the dissociation energy, which occurs when the system becomes open. In particular, we study the bifurcations of the basic families of periodic orbits of this system as the energy increases using Lagrangian descriptors and Poincar\'e maps. We investigate the capability of Lagrangian descriptors to find periodic orbits of bifurcating families for the case of resonant, saddle-node and pitchfork bifurcations.


title: Gradient Masking and the Underestimated Robustness Threats of Differential Privacy in Deep Learning

abstract: An important problem in deep learning is the privacy and security of neural networks (NNs). Both aspects have long been considered separately. To date, it is still poorly understood how privacy enhancing training affects the robustness of NNs. This paper experimentally evaluates the impact of training with Differential Privacy (DP), a standard method for privacy preservation, on model vulnerability against a broad range of adversarial attacks. The results suggest that private models are less robust than their non-private counterparts, and that adversarial examples transfer better among DP models than between non-private and private ones. Furthermore, detailed analyses of DP and non-DP models suggest significant differences between their gradients. Additionally, this work is the first to observe that an unfavorable choice of parameters in DP training can lead to gradient masking, and, thereby, results in a wrong sense of security.


title: Learning to Automatically Catch Potholes in Worldwide Road Scene Images

abstract: Among several road hazards that are present in any paved way in the world, potholes are one of the most annoying and also involving higher maintenance costs. There exists an increasing interest on the automated detection of these hazards enabled by technological and research progress. Our research work tackled the challenge of pothole detection from images of real world road scenes. The main novelty resides on the application of the latest progress in AI to learn the visual appearance of potholes. We built a large dataset of images with pothole annotations. They contained road scenes from different cities in the world, taken with different cameras, vehicles and viewpoints under varied environmental conditions. Then, we fine-tuned four different object detection models based on Faster R-CNN and SSD deep neural networks. We achieved high average precision and the pothole detector was tested on the Nvidia DrivePX2 platform with GPGPU capability, which can be embedded on vehicles. Moreover, it was deployed on a real vehicle to notify the detected potholes to a given IoT platform as part of AUTOPILOT H2020 project.


title: A CHEOPS White Dwarf Transit Search

abstract: White dwarf spectroscopy shows that nearly half of white dwarf atmospheres contain metals that must have been accreted from planetary material that survived the red giant phases of stellar evolution. We can use metal pollution in white dwarf atmospheres as flags, signalling recent accretion, in order to prioritize an efficient sample of white dwarfs to search for transiting material. We present a search for planetesimals orbiting six nearby white dwarfs with the CHEOPS spacecraft. The targets are relatively faint for CHEOPS, $11$ mag $< G < 12.8$ mag. We use aperture photometry data products from the CHEOPS mission as well as custom PSF photometry to search for periodic variations in flux due to transiting planetesimals. We detect no significant variations in flux that cannot be attributed to spacecraft systematics, despite reaching a photometric precision of $<2$ ppt in 60 s exposures on each target. We simulate observations to show that the small survey is sensitive primarily to Moon-sized transiting objects with periods $3$ hr $< P < 10$ hr, with radii $R \gtrsim 1000$ km.


title: Anomaly detection with Convolutional Graph Neural Networks

abstract: We devise an autoencoder based strategy to facilitate anomaly detection for boosted jets, employing Graph Neural Networks (GNNs) to do so. To overcome known limitations of GNN autoencoders, we design a symmetric decoder capable of simultaneously reconstructing edge features and node features. Focusing on latent space based discriminators, we find that such setups provide a promising avenue to isolate new physics and competing SM signatures from sensitivity-limiting QCD jet contributions. We demonstrate the flexibility and broad applicability of this approach using examples of $W$ bosons, top quarks, and exotic hadronically-decaying exotic scalar bosons.


title: Nonlocal Gagliardo-Nirenberg-Sobolev type inequality

abstract: We establish Gagliardo-Nirenberg-Sobolev type inequalities on nonlocal Sobolev spaces driven by $p$-L\'evy integrable functions, by imposing some appropriate growth conditions on the associated critical function. This gives rise to the embedding of the local and the nonlocal Sobolev spaces into Orlicz type spaces. The Gagliardo-Nirenberg-Sobolev type inequalities, as in the classical context, turn out to have some reciprocity with Poincar\'e and Poincar\'e-Sobolev type inequalities. The classical fractional Sobolev inequality is also derived as a direct consequence.


title: 56 GBaud PAM-4 100 km Transmission System with Photonic Processing Schemes

abstract: Analog photonic computing has been proposed and tested in recent years as an alternative approach for data recovery in fiber transmission systems. Photonic reservoir computing, performing nonlinear transformations of the transmitted signals and exhibiting internal fading memory, has been found advantageous for this kind of processing. In this work, we show that the effectiveness of the internal fading memory depends significantly on the properties of the signal to be processed. Specifically, we demonstrate two experimental photonic post-processing schemes for a 56 GBaud PAM-4 experimental transmission system, with 100 km uncompensated standard single-mode fiber and direct detection. We show that, for transmission systems with significant chromatic dispersion, the contribution of a photonic reservoir's fading memory to the computational performance is limited. In a comparison between the data recovery performances between a reservoir computing and an extreme learning machine fiber-based configuration, we find that both offer equivalent data recovery. The extreme learning machine approach eliminates the necessity of external recurrent connectivity, which simplifies the system and increases the computation speed. Above 31 dB OSNR, the photonics-based equalization exhibits a lower BER than the respective offline DSP-based KK receiver.


title: One-dimensional topological theories with defects and linear generating functions

abstract: We study the Gram determinant and construct bases of hom spaces for the one-dimensional topological theory of decorated unoriented one-dimensional cobordisms, as recently defined by Khovanov, when the pair of generating functions is linear.


title: Correlation functions for open XXX spin 1/2 quantum chains with unparallel boundary magnetic fields

abstract: In this first paper, we start the analysis of correlation functions of quantum spin chains with general integrable boundary conditions. We initiate these computations for the open XXX spin 1/2 quantum chains with some unparallel magnetic fields allowing for a spectrum characterization in terms of homogeneous Baxter like TQ-equations, in the framework of the quantum separation of variables (SoV). Previous SoV analysis leads to the formula for the scalar products of the so-called separate states. Here, we solve the remaining fundamental steps allowing for the computation of correlation functions. In particular, we rederive the ground state density in the thermodynamic limit thanks to SoV approach, we compute the so-called boundary-bulk decomposition of boundary separate states and the action of local operators on these separate states in the case of unparallel boundary magnetic fields. These findings allow us to derive multiple integral formulae for these correlation functions similar to those previously known for the open XXX quantum spin chain with parallel magnetic fields.


title: QuaSiMo: A Composable Library to Program Hybrid Workflows for Quantum Simulation

abstract: We present a composable design scheme for the development of hybrid quantum/classical algorithms and workflows for applications of quantum simulation. Our object-oriented approach is based on constructing an expressive set of common data structures and methods that enable programming of a broad variety of complex hybrid quantum simulation applications. The abstract core of our scheme is distilled from the analysis of the current quantum simulation algorithms. Subsequently, it allows a synthesis of new hybrid algorithms and workflows via the extension, specialization, and dynamic customization of the abstract core classes defined by our design. We implement our design scheme using the hardware-agnostic programming language QCOR into the QuaSiMo library. To validate our implementation, we test and show its utility on commercial quantum processors from IBM and Rigetti, running some prototypical quantum simulations.


title: Exact solutions in two-dimensional metric $f(R)$-gravity

abstract: In this paper we consider the two-dimensional metric $f(R)$-gravity model for the metric tensor depending on two variable: time and one spacelike coordinate. We obtain exact analytical vacuum solutions for different forms of function $ f(R) $ which are solutions of cosmological type. These solutions are expressed in terms of arbitrary functions, which, under certain conditions, can be chosen as new variables.


title: A Cantor dynamical system is slow if and only if all its finite orbits are attracting

abstract: In this paper, we completely solve the problem when a Cantor dynamical system $(X,f)$ can be embedded in $\mathbb{R}$ with vanishing derivative everywhere. For this purpose, we construct a refining sequence of marked clopen partitions of $X$ which is adapted to a dynamical system of this kind. It turns out that there is a huge class of such systems.


title: Learning User Embeddings from Temporal Social Media Data: A Survey

abstract: User-generated data on social media contain rich information about who we are, what we like and how we make decisions. In this paper, we survey representative work on learning a concise latent user representation (a.k.a. user embedding) that can capture the main characteristics of a social media user. The learned user embeddings can later be used to support different downstream user analysis tasks such as personality modeling, suicidal risk assessment and purchase decision prediction. The temporal nature of user-generated data on social media has largely been overlooked in much of the existing user embedding literature. In this survey, we focus on research that bridges the gap by incorporating temporal/sequential information in user representation learning. We categorize relevant papers along several key dimensions, identify limitations in the current work and suggest future research directions.


title: Compacting Squares: Input-Sensitive In-Place Reconfiguration of Sliding Squares

abstract: A well-established theoretical model for modular robots in two dimensions are edge-connected configurations of square modules, which can reconfigure through so-called sliding moves. Dumitrescu and Pach [Graphs and Combinatorics, 2006] proved that it is always possible to reconfigure one edge-connected configuration of $n$ squares into any other using at most $O(n^2)$ sliding moves, while keeping the configuration connected at all times. For certain pairs of configurations, reconfiguration may require $\Omega(n^2)$ sliding moves. However, significantly fewer moves may be sufficient. We prove that it is NP-hard to minimize the number of sliding moves for a given pair of edge-connected configurations. On the positive side we present Gather&Compact, an input-sensitive in-place algorithm that requires only $O(\bar{P} n)$ sliding moves to transform one configuration into the other, where $\bar{P}$ is the maximum perimeter of the two bounding boxes. The squares move within the bounding boxes only, with the exception of at most one square at a time which may move through the positions adjacent to the bounding boxes. The $O(\bar{P} n)$ bound never exceeds $O(n^2)$, and is optimal (up to constant factors) among all bounds parameterized by just $n$ and $\bar{P}$. Our algorithm is built on the basic principle that well-connected components of modular robots can be transformed efficiently. Hence we iteratively increase the connectivity within a configuration, to finally arrive at a single solid $xy$-monotone component. We implemented Gather&Compact and compared it experimentally to the in-place modification by Moreno and Sacrist\'an [EuroCG 2020] of the Dumitrescu and Pach algorithm (MSDP). Our experiments show that Gather&Compact consistently outperforms MSDP by a significant margin, on all types of square configurations.


title: Controlling an Inverted Pendulum with Policy Gradient Methods-A Tutorial

abstract: This paper provides the details of implementing two important policy gradient methods to solve the inverted pendulum problem. These are namely the Deep Deterministic Policy Gradient (DDPG) and the Proximal Policy Optimization (PPO) algorithm. The problem is solved by using an actor-critic model where an actor-network is used to learn the policy function and a critic network is to evaluate the actor-network by learning to estimate the Q function. Apart from briefly explaining the mathematics behind these two algorithms, the details of python implementation are provided which helps in demystifying the underlying complexity of the algorithm. In the process, the readers will be introduced to OpenAI/Gym, Tensorflow 2.x and Keras utilities used for implementing the above concepts.


title: On Retro Frame Associated With Measurable Space

abstract: Frames are redundant system which are useful in the reconstruction of certain classes of spaces. Duffin and Schaeffer introduced frames for Hilbert spaces, while addressing some deep problems in non harmonic Fourier series. The dual of a frame (Hilbert) always exists and can be obtained in a natural way. In this paper we introduce the notion of $\Omega_0$-type duality of retro $(\Omega,\mu)$-frames are given. Necessary and sufficient conditions for the existence of the dual of retro $(\Omega,\mu)$-frames are obtained. A special class of retro $(\Omega,\mu)$-frames which always admit a dual frame is discussed.


title: Polynomial maps and polynomial sequences in groups

abstract: This paper develops a theory of polynomial maps from commutative semigroups to arbitrary groups and proves that it has desirable formal properties when the target group is locally nilpotent. We apply this theory to solve Waring's Problem for Heisenberg groups in a sequel to this paper.


title: Inclusive determination of $|V_{cb}|$ at Belle

abstract: We present the measurement of the first to fourth order moments of the four-momentum transfer squared, $q^{2}$, of inclusive $B \rightarrow X_{c} \ell \nu$ decays using the full Belle data set consisting of $711~\rm fb^{-1}$ of integrated luminosity at the $\Upsilon(4S)$ resonance for $\ell = e, \mu$. The measured moments are crucial experimental inputs for a novel, data-driven approach to determine inclusive $|V_{cb}|$, which we implement in order to extract a preliminary value of $|V_{cb}| \times 10^{3} = 41.7 \pm 1.2$.


title: Classification of 6-dimensional splittable flat solvmanifolds

abstract: A flat solvmanifold is a compact quotient $\Gamma\backslash G$ where $G$ is a simply-connected solvable Lie group endowed with a flat left invariant metric and $\Gamma$ is a lattice of $G$. Any such Lie group can be written as $G=\mathbb{R}^k\ltimes_{\phi} \mathbb{R}^m$ with $\mathbb{R}^m$ the nilradical. In this article we focus on 6-dimensional splittable flat solvmanifolds, which are obtained quotienting $G$ by a lattice $\Gamma$ that can be decomposed as $\Gamma=\Gamma_1\ltimes_{\phi}\Gamma_2$, where $\Gamma_1$ and $\Gamma_2$ are lattices of $\mathbb{R}^k$ and $\mathbb{R}^m$, respectively. We obtain their classification by analyzing the conjugacy classes of integer matrices of finite order in dimensions 4 and 5.


title: Binary Sequences Derived from Differences of Consecutive Primitive Roots

abstract: Let $1<g_1<\ldots<g_{\varphi(p-1)}<p-1$ be the ordered primitive roots modulo~$p$. We study the pseudorandomness of the binary sequence $(s_n)$ defined by $s_n\equiv g_{n+1}+g_{n+2}\bmod 2$, $n=0,1,\ldots$. In particular, we study the balance, linear complexity and $2$-adic complexity of $(s_n)$. We show that for a typical $p$ the sequence $(s_n)$ is quite unbalanced. However, there are still infinitely many $p$ such that $(s_n)$ is very balanced. We also prove similar results for the distribution of longer patterns. Moreover, we give general lower bounds on the linear complexity and $2$-adic complexity of~$(s_n)$ and state sufficient conditions for attaining their maximums. Hence, for carefully chosen $p$, these sequences are attractive candidates for cryptographic applications.


title: Spatiotemporal wildfire modeling through point processes with moderate and extreme marks

abstract: Accurate spatiotemporal modeling of conditions leading to moderate and large wildfires provides better understanding of mechanisms driving fire-prone ecosystems and improves risk management. We here develop a joint model for the occurrence intensity and the wildfire size distribution by combining extreme-value theory and point processes within a novel Bayesian hierarchical model, and use it to study daily summer wildfire data for the French Mediterranean basin during 1995--2018. The occurrence component models wildfire ignitions as a spatiotemporal log-Gaussian Cox process. Burnt areas are numerical marks attached to points and are considered as extreme if they exceed a high threshold. The size component is a two-component mixture varying in space and time that jointly models moderate and extreme fires. We capture non-linear influence of covariates (Fire Weather Index, forest cover) through component-specific smooth functions, which may vary with season. We propose estimating shared random effects between model components to reveal and interpret common drivers of different aspects of wildfire activity. This leads to increased parsimony and reduced estimation uncertainty with better predictions. Specific stratified subsampling of zero counts is implemented to cope with large observation vectors. We compare and validate models through predictive scores and visual diagnostics. Our methodology provides a holistic approach to explaining and predicting the drivers of wildfire activity and associated uncertainties.


title: Learning a Latent Simplex in Input-Sparsity Time

abstract: We consider the problem of learning a latent $k$-vertex simplex $K\subset\mathbb{R}^d$, given access to $A\in\mathbb{R}^{d\times n}$, which can be viewed as a data matrix with $n$ points that are obtained by randomly perturbing latent points in the simplex $K$ (potentially beyond $K$). A large class of latent variable models, such as adversarial clustering, mixed membership stochastic block models, and topic models can be cast as learning a latent simplex. Bhattacharyya and Kannan (SODA, 2020) give an algorithm for learning such a latent simplex in time roughly $O(k\cdot\textrm{nnz}(A))$, where $\textrm{nnz}(A)$ is the number of non-zeros in $A$. We show that the dependence on $k$ in the running time is unnecessary given a natural assumption about the mass of the top $k$ singular values of $A$, which holds in many of these applications. Further, we show this assumption is necessary, as otherwise an algorithm for learning a latent simplex would imply an algorithmic breakthrough for spectral low rank approximation. At a high level, Bhattacharyya and Kannan provide an adaptive algorithm that makes $k$ matrix-vector product queries to $A$ and each query is a function of all queries preceding it. Since each matrix-vector product requires $\textrm{nnz}(A)$ time, their overall running time appears unavoidable. Instead, we obtain a low-rank approximation to $A$ in input-sparsity time and show that the column space thus obtained has small $\sin\Theta$ (angular) distance to the right top-$k$ singular space of $A$. Our algorithm then selects $k$ points in the low-rank subspace with the largest inner product with $k$ carefully chosen random vectors. By working in the low-rank subspace, we avoid reading the entire matrix in each iteration and thus circumvent the $\Theta(k\cdot\textrm{nnz}(A))$ running time.


title: Self-Focussing of an Intense X-Ray Beam in Vacuum

abstract: The quantum vacuum shows an intensity-dependent nonlinear index of refraction. Consequently, we may consider vacuum as a non-linear medium enabling, at sufficiently high field strengths, a direct interaction of light with light. In this context, we advocate an experiment to measure light-by-light scattering by the means of self-focussing of an x-ray beam in vacuum. Although hard to measure, we argue that for laser beams consisting of highly energetic photons the beams' power distribution carries a distinctive enough signature of self-focussing such that an observation at modern free-electron laser facilities appears possible. Self-focussing also imposes a limit on the most powerful x-ray beams that may propagate in vacuum being on the order of $10$ PW for $10$ keV x-rays.


title: Understanding and Improvement of Adversarial Training for Network Embedding from an Optimization Perspective

abstract: Network Embedding aims to learn a function mapping the nodes to Euclidean space contribute to multiple learning analysis tasks on networks. However, the noisy information behind the real-world networks and the overfitting problem both negatively impact the quality of embedding vectors. To tackle these problems, researchers utilize Adversarial Training for Network Embedding (AdvTNE) and achieve state-of-the-art performance. Unlike the mainstream methods introducing perturbations on the network structure or the data feature, AdvTNE directly perturbs the model parameters, which provides a new chance to understand the mechanism behind. In this paper, we explain AdvTNE theoretically from an optimization perspective. Considering the Power-law property of networks and the optimization objective, we analyze the reason for its excellent results. According to the above analysis, we propose a new activation to enhance the performance of AdvTNE. We conduct extensive experiments on four real networks to validate the effectiveness of our method in node classification and link prediction. The results demonstrate that our method is superior to the state-of-the-art baseline methods.


title: Supporting Context Monotonicity Abstractions in Neural NLI Models

abstract: Natural language contexts display logical regularities with respect to substitutions of related concepts: these are captured in a functional order-theoretic property called monotonicity. For a certain class of NLI problems where the resulting entailment label depends only on the context monotonicity and the relation between the substituted concepts, we build on previous techniques that aim to improve the performance of NLI models for these problems, as consistent performance across both upward and downward monotone contexts still seems difficult to attain even for state-of-the-art models. To this end, we reframe the problem of context monotonicity classification to make it compatible with transformer-based pre-trained NLI models and add this task to the training pipeline. Furthermore, we introduce a sound and complete simplified monotonicity logic formalism which describes our treatment of contexts as abstract units. Using the notions in our formalism, we adapt targeted challenge sets to investigate whether an intermediate context monotonicity classification task can aid NLI models' performance on examples exhibiting monotonicity reasoning.


title: Variable Irradiation on 1D Cloudless Eccentric Exoplanet Atmospheres

abstract: Exoplanets on eccentric orbits experience an incident stellar flux that can be markedly larger at periastron versus apoastron. This variation in instellation can lead to dramatic changes in atmospheric structure in regions of the atmosphere where the radiative and advective heating/cooling timescales are shorter than the orbital timescale. To explore this phenomenon, we develop a sophisticated one-dimensional (vertical) time-stepping atmospheric structure code, EGP+, capable of simulating the dynamic response of atmospheric thermal and chemical structure to time-dependent perturbations. Critically, EGP+ can efficiently simulate multiple orbits of a planet, thereby providing new opportunities for exoplanet modeling without the need for more computationally-expensive models. We make the simplifying assumption of cloud-free atmospheres, and apply our model to HAT-P-2b, HD~17156b, and HD~80606b, which are known to be on higher-eccentricity orbits. We find that for those planets which have Spitzer observations, our planet-to-star ratio predictions are roughly consistent with observations. However, we are unable to reproduce the observed peak offsets from periastron passage. Finally, we discuss promising pathways forward for adding new model complexity that would enable more detailed studies of clear and cloudy eccentric planets as well as worlds orbiting active host stars.


title: Comprehensive quasi-Einstein spacetime with application to general relativity

abstract: The aim of this paper is to extend the notion of all known quasi-Einstein manifolds like generalized quasi-Einstein, mixed generalized quasi-Einstein manifold, pseudo generalized quasi-Einstein manifold and many more and name it comprehensive quasi Einstein manifold C(QE)$_{n}$. We investigate some geometric and physical properties of the comprehensive quasi Einstein manifolds C(QE)$_{n}$ under certain conditions. We study the conformal and conharmonic mappings between C(QE)$_{n}$ manifolds. Then we examine the C(QE)$_{n}$ with harmonic Weyl tensor. We investigate geometric and physical properties of the comprehensive quasi Einstein manifolds C(QE)$_{n}$ under certain conditions. We define the manifold of comprehensive quasi-constant curvature and proved that conformally flat C(QE)$_{n}$ is manifold of comprehensive quasi-constant curvature and vice versa. We study the general two viscous fluid spacetime C(QE)$_{4}$ and find out some important consequences about C(QE)$_{4}$. We study C(QE)$_{n}$ with vanishing space matter tensor. Finally, we prove the existence of such manifolds by constructing non-trivial example.


title: General exact law of compressible isentropic magnetohydrodynamic flows: theory and spacecraft observations in the solar wind

abstract: Various forms of exact laws governing magnetohydrodynamic (MHD) turbulence have been derived either in the incompressibility limit, or for isothermal compressible flows. Here we propose a more general method that allows us to obtain such laws for any turbulent isentropic flow (i.e., constant entropy). We demonstrate that the known MHD exact laws (incompressible and isothermal) and the new (polytropic) one can be obtained as specific cases of the general law when the corresponding closure equation is stated. We also recover all known exact laws of hydrodynamic (HD) turbulence (incompressible, isothermal and polytropic) from this law in the limit ${\bf B}=0$. We furthermore show that the difference between the two forms (isothermal and polytropic) of the MHD exact laws of interest in this work resides in some of the source terms and in the explicit form of the flux term that depends on internal energy. Finally, we apply these two forms to Parker Solar Probe (PSP) data taken in the inner heliosphere to highlight how the different closure equations affect the energy cascade rate estimates.


title: A spherical rearrangement proof of the stability of a Riesz-type inequality and an application to an isoperimetric type problem

abstract: We prove the stability of the ball as global minimizer of an attractive shape functional under volume constraint, by means of mass transportation arguments. The stability exponent is $1/2$ and it is sharp. Moreover, we use such stability result together with the quantitative (possibly fractional) isoperimetric inequality to prove that the ball is a global minimizer of a shape functional involving both an attractive and a repulsive term with a sufficiently large fixed volume and with a suitable (possibly fractional) perimeter penalization.


title: What makes you unique?

abstract: This paper proposes a uniqueness Shapley measure to compare the extent to which different variables are able to identify a subject. Revealing the value of a variable on subject $t$ shrinks the set of possible subjects that $t$ could be. The extent of the shrinkage depends on which other variables have also been revealed. We use Shapley value to combine all of the reductions in log cardinality due to revealing a variable after some subset of the other variables has been revealed. This uniqueness Shapley measure can be aggregated over subjects where it becomes a weighted sum of conditional entropies. Aggregation over subsets of subjects can address questions like how identifying is age for people of a given zip code. Such aggregates have a corresponding expression in terms of cross entropies. We use uniqueness Shapley to investigate the differential effects of revealing variables from the North Carolina voter registration rolls and in identifying anomalous solar flares. An enormous speedup (approaching 2000 fold in one example) is obtained by using the all dimension trees of Moore and Lee (1998) to store the cardinalities we need.


title: Emergence of Kinship Structures and Descent Systems: Multi-level Evolutionary Simulation and Empirical Data Analysis

abstract: In many indigenous societies, people are categorised into several cultural groups, or clans, within which they believe to share ancestors. Clan attributions provide certain rules for marriage and descent. Such rules between clans constitute kinship structures. Anthropologists have revealed several kinship structures. Here, we propose an agent-based model of indigenous societies to reveal the evolution of kinship structures. In the model, several societies compete. Societies themselves comprise multiple families with parameters for cultural traits and mate preferences. These values determine with whom each family cooperates and competes and are transmitted to a new generation with mutation. The growth rate of each family is determined by the number of cooperators and competitors. Through this multi-level evolution, family traits and preferences diverge to form clusters that can be regarded as clans. Subsequently, kinship structures emerge, including dual organisation and generalised or restricted exchange, as well as patrilineal, matrilineal, and double descent systems. These structures emerge depending on the necessity of cooperation and the strength of mating competition. Their dependence is also estimated analytically. Finally, statistical analysis using the Standard Cross-Cultural Sample, a global ethnographic database, empirically verified theoretical results. Such collaboration between theoretical and empirical approaches will unveil universal features in anthropology.


title: A study of submillimeter methanol absorption toward PKS1830-211: Excitation, invariance of the proton-electron mass ratio, and systematics

abstract: Methanol is an important tracer to probe physical and chemical conditions in the interstellar medium of galaxies. Methanol is also the most sensitive target molecule for probing potential space-time variations of the proton-electron mass ratio, mu, a dimensionless constant of nature. We present an extensive ALMA study of the strongest submillimeter absorption lines of methanol [...] in the z=0.89 molecular absorber toward PKS1830-211, the only high-redshift object in which methanol has been detected. Our goals are to constrain the excitation of the methanol lines and to investigate the cosmological invariance of mu based on their relative kinematics. [...] We explore methanol excitation by running the non local thermal equilibrium radiative transfer code RADEX [...] The excitation analysis points to a cool (~10-20 K) and dense (~10^{4-5} cm-3) methanol gas. [...] In addition, we measure an abundance ratio A/E = 1.0 +/- 0.1, an abundance ratio CH3OH/H2 ~ 2 x 10^{-8}, and a 12CH3OH/13CH3OH ratio 62 +/- 3. Our analysis shows that the bulk velocities of the different transitions are primarily correlated with the observing epoch due to morphological changes in the background quasar's emission. There is a weaker correlation between bulk velocities and the lower level energies of the transitions, which could be a signature of temperature-velocity gradients in the absorbing gas. As a result, we do not find evidence for variations of mu, and we estimate Dmu/mu = (-1.8 +/- 1.2) x 10^{-7} at 1sigma from our multivariate linear regression. We set a robust upper limit | \Dmu/mu | < 3.6 x 10^{-7} (3sigma) for the invariance of mu at a look-back time of half the present age of the Universe. Our analysis highlights that systematics need to be carefully taken into account in future radio molecular absorption studies aimed at testing Dmu/mu below the 10^{-7} horizon. (Abridged)


title: StrobeNet: Category-Level Multiview Reconstruction of Articulated Objects

abstract: We present StrobeNet, a method for category-level 3D reconstruction of articulating objects from one or more unposed RGB images. Reconstructing general articulating object categories % has important applications, but is challenging since objects can have wide variation in shape, articulation, appearance and topology. We address this by building on the idea of category-level articulation canonicalization -- mapping observations to a canonical articulation which enables correspondence-free multiview aggregation. Our end-to-end trainable neural network estimates feature-enriched canonical 3D point clouds, articulation joints, and part segmentation from one or more unposed images of an object. These intermediate estimates are used to generate a final implicit 3D reconstruction.Our approach reconstructs objects even when they are observed in different articulations in images with large baselines, and animation of reconstructed shapes. Quantitative and qualitative evaluations on different object categories show that our method is able to achieve high reconstruction accuracy, especially as more views are added.


title: Thermophysical Modeling of 20 Themis Family Asteroids with WISE/NEOWISE Observations

abstract: Themis family is one of the largest and oldest asteroid populations in the main-belt. Water-ice may widely exist on the parent body (24) Themis. In this work, we employ the Advanced Thermophysical Model as well as mid-infrared measurements from NASA's Wide-Field Infrared Survey Explorer to explore thermal parameters of 20 Themis family members. Here we show that the average thermal inertia and geometric albedo are ~$39.5\pm26.0 ~\rm J m^{-2} s^{-1/2} K^{-1}$ and $0.067\pm0.018$, respectively. The family members have a relatively moderate roughness fraction on their surfaces. We find that the relatively low albedos of Themis members are consistent with the typical values of B-type and C-type asteroids. As aforementioned, Themis family bears a very low thermal inertia, which indicates a fine and mature regolith on their surfaces. The resemblance of thermal inertia and geometric albedo of Themis members may reveal their close connection in origin and evolution. In addition, we present the compared results of thermal parameters for several prominent families.


title: Buying time in software development: how estimates become commitments?

abstract: Despite years of research for improving accuracy, software practitioners still face software estimation difficulties. Expert judgment has been the prevalent method used in industry, and researchers' focus on raising realism in estimates when using it seems not to be enough for the much-expected improvements. Instead of focusing on the estimation process's technicalities, we investigated the interaction of the establishment of commitments with customers and software estimation. By observing estimation sessions and interviewing software professionals from companies in varying contexts, we found that defensible estimates and padding of software estimates are crucial in converting estimates into commitments. Our findings show that software professionals use padding for three different reasons: contingency buffer, completing other tasks, or improving the overall quality of the product. The reasons to pad have a common theme: buying time to balance short- and long-term software development commitments, including the repayment of technical debt. Such a theme emerged from the human aspects of the interaction of estimation and the establishment of commitments: pressures and customers' conflicting short and long-term needs play silent and unrevealed roles in-between the technical activities. Therefore, our study contributes to untangling the underlying phenomena, showing how the practices used by software practitioners help to deal with the human and social context in which estimation is embedded.


title: X-ray focusing by bent crystals: focal positions as predicted by the crystal lens equation and the dynamical diffraction theory

abstract: The location of the beam focus when monochromatic x-ray radiation is diffracted by a thin bent crystal is predicted by "crystal lens equation". We derive this equation in a general form valid for Bragg and Laue geometries. This equation has little utility for diffraction in Laue geometry. The focusing effect in the Laue symmetrical case is discussed using concepts of dynamical theory and an extension of the lens equation is proposed. The existence of polychromatic focusing is considered and the feasibility of matching the polychromatic and monochromatic focal positions is discussed.


title: Optimizing the walk coin in the quantum random walk search algorithm through machine learning

abstract: This paper examines the stability of the quantum random walk search algorithm, when the walk coin is constructed by generalized Householder reflection and additional phase shift, against inaccuracies in the phases used to construct the coin. The optimization of the algorithm is done by numerical methods - Monte Carlo, neural networks, and supervised machine learning. The results of numerical simulations show that, with such a construction of the Householder reflection, the algorithm is more stable to inaccuracies in the specific values of these phases, as long as it is possible to control the phase difference between the phase shift and the phase involved in the Householder reflection. This paper explicitly shows as an example, how achieving a properly designed phase difference would make quantum random walk search on a hypercube more stable for coin register consisting of one, two, and three qubits.


title: Stage-wise Fine-tuning for Graph-to-Text Generation

abstract: Graph-to-text generation has benefited from pre-trained language models (PLMs) in achieving better performance than structured graph encoders. However, they fail to fully utilize the structure information of the input graph. In this paper, we aim to further improve the performance of the pre-trained language model by proposing a structured graph-to-text model with a two-step fine-tuning mechanism which first fine-tunes the model on Wikipedia before adapting to the graph-to-text generation. In addition to using the traditional token and position embeddings to encode the knowledge graph (KG), we propose a novel tree-level embedding method to capture the inter-dependency structures of the input graph. This new approach has significantly improved the performance of all text generation metrics for the English WebNLG 2017 dataset.


title: Many Body Quantum Chaos and Dual Unitarity Round-a-Face

abstract: We propose a new type of locally interacting quantum circuits which are generated by unitary interactions round-a-face (IRF). Specifically, we discuss a set (or manifold) of dual-unitary IRFs with local Hilbert space dimension $d$ (DUIRF$(d)$) which generate unitary evolutions both in space and time directions of an extended 1+1 dimensional lattice. We show how arbitrary dynamical correlation functions of local observables can be evaluated in terms of finite dimensional completely positive trace preserving unital maps, in complete analogy to recently studied circuits made of dual unitary brick gates (DUBG). In fact, we show that the simplest non-trivial (non-vanishing) local correlation functions in dual-unitary IRF circuits involve observables non-trivially supported on at least two sites. We completely characterise the 10-dimensional manifold of DUIRF$(2)$ for qubits ($d=2$) and provide, for $d=3,4,5,6,7$, empirical estimates of its dimensionality based on numerically determined dimensions of tangent spaces at an ensemble of random instances of dual-unitary IRF gates. In parallel, we apply the same algorithm to determine ${\rm dim}\,{\rm DUBG}(d)$ and show that they are of similar order though systematically larger than ${\rm dim}\,{\rm DUIRF}(d)$ for $d=2,3,4,5,6,7$. It is remarkable that both sets have rather complex topology for $d\ge 3$ in the sense that the dimension of the tangent space varies among different randomly generated points of the set. Finally, we provide additional data on dimensionality of the chiral extension of DUBG circuits with distinct local Hilbert spaces of dimensions $d\neq d'$ residing at even/odd lattice sites.

categories: cond-mat.stat-mech math-ph math.MP nlin.CD quant-ph


title: Removing Data Heterogeneity Influence Enhances Network Topology Dependence of Decentralized SGD

abstract: We consider the decentralized stochastic optimization problems, where a network of $n$ nodes, each owning a local cost function, cooperate to find a minimizer of the globally-averaged cost. A widely studied decentralized algorithm for this problem is decentralized SGD (D-SGD), in which each node averages only with its neighbors. D-SGD is efficient in single-iteration communication, but it is very sensitive to the network topology. For smooth objective functions, the transient stage (which measures the number of iterations the algorithm has to experience before achieving the linear speedup stage) of D-SGD is on the order of ${\Omega}(n/(1-\beta)^2)$ and $\Omega(n^3/(1-\beta)^4)$ for strongly and generally convex cost functions, respectively, where $1-\beta \in (0,1)$ is a topology-dependent quantity that approaches $0$ for a large and sparse network. Hence, D-SGD suffers from slow convergence for large and sparse networks. In this work, we study the non-asymptotic convergence property of the D$^2$/Exact-diffusion algorithm. By eliminating the influence of data heterogeneity between nodes, D$^2$/Exact-diffusion is shown to have an enhanced transient stage that is on the order of $\tilde{\Omega}(n/(1-\beta))$ and $\Omega(n^3/(1-\beta)^2)$ for strongly and generally convex cost functions, respectively. Moreover, when D$^2$/Exact-diffusion is implemented with gradient accumulation and multi-round gossip communications, its transient stage can be further improved to $\tilde{\Omega}(1/(1-\beta)^{\frac{1}{2}})$ and $\tilde{\Omega}(n/(1-\beta))$ for strongly and generally convex cost functions, respectively. These established results for D$^2$/Exact-Diffusion have the best (i.e., weakest) dependence on network topology to our knowledge compared to existing decentralized algorithms. We also conduct numerical simulations to validate our theories.


title: Sample-Efficient Reinforcement Learning Is Feasible for Linearly Realizable MDPs with Limited Revisiting

abstract: Low-complexity models such as linear function representation play a pivotal role in enabling sample-efficient reinforcement learning (RL). The current paper pertains to a scenario with value-based linear representation, which postulates the linear realizability of the optimal Q-function (also called the "linear $Q^{\star}$ problem"). While linear realizability alone does not allow for sample-efficient solutions in general, the presence of a large sub-optimality gap is a potential game changer, depending on the sampling mechanism in use. Informally, sample efficiency is achievable with a large sub-optimality gap when a generative model is available but is unfortunately infeasible when we turn to standard online RL settings. In this paper, we make progress towards understanding this linear $Q^{\star}$ problem by investigating a new sampling protocol, which draws samples in an online/exploratory fashion but allows one to backtrack and revisit previous states in a controlled and infrequent manner. This protocol is more flexible than the standard online RL setting, while being practically relevant and far more restrictive than the generative model. We develop an algorithm tailored to this setting, achieving a sample complexity that scales polynomially with the feature dimension, the horizon, and the inverse sub-optimality gap, but not the size of the state/action space. Our findings underscore the fundamental interplay between sampling protocols and low-complexity structural representation in RL.

categories: cs.LG cs.IT math.IT math.OC math.ST stat.ML stat.TH


title: New formulas for cup-$i$ products and fast computation of Steenrod squares

abstract: Operations on the cohomology of spaces are important tools enhancing the descriptive power of this computable invariant. For cohomology with mod 2 coefficients, Steenrod squares are the most significant of these operations. Their effective computation relies on formulas defining a cup-$i$ construction, a structure on (co)chains which is important in its own right, having connections to lattice field theory, convex geometry and higher category theory among others. In this article we present new formulas defining a cup-$i$ construction, and use them to introduce a fast algorithm for the computation of Steenrod squares on the cohomology of finite simplicial complexes. In forthcoming work we use these formulas to axiomatically characterize the cup-$i$ construction they define, showing additionally that all other formulas in the literature define the same cup-$i$ construction up to isomorphism.


title: GPU-Accelerated Hierarchical Bayesian Inference with Application to Modeling Cosmic Populations: CUDAHM

abstract: We describe a computational framework for hierarchical Bayesian inference with simple (typically single-plate) parametric graphical models that uses graphics processing units (GPUs) to accelerate computations, enabling deployment on very large datasets. Its C++ implementation, CUDAHM (CUDA for Hierarchical Models) exploits conditional independence between instances of a plate, facilitating massively parallel exploration of the replication parameter space using the single instruction, multiple data architecture of GPUs. It provides support for constructing Metropolis-within-Gibbs samplers that iterate between GPU-accelerated robust adaptive Metropolis sampling of plate-level parameters conditional on upper-level parameters, and Metropolis-Hastings sampling of upper-level parameters on the host processor conditional on the GPU results. CUDAHM is motivated by demographic problems in astronomy, where density estimation and linear and nonlinear regression problems must be addressed for populations of thousands to millions of objects whose features are measured with possibly complex uncertainties. We describe a thinned latent point process framework for modeling such demographic data. We demonstrate accurate GPU-accelerated parametric conditional density deconvolution for simulated populations of up to 300,000 objects in ~1 hour using a single NVIDIA Tesla K40c GPU. Supplementary material provides details about the CUDAHM API and the demonstration problem.


title: Weak lensing mass modeling bias and the impact of miscentring

abstract: Parametric modeling of galaxy cluster density profiles from weak lensing observations leads to a mass bias, whose detailed understanding is critical in deriving accurate mass-observable relations for constraining cosmological models. Drawing from existing methods, we develop a robust framework for calculating this mass bias in one-parameter fits to simulations of dark matter halos. We show that our approach has the advantage of being independent of the absolute noise level, so that only the number of halos in a given simulation and the representativeness of the simulated halos for real clusters limit the accuracy of the bias estimation. While we model the bias as a log-normal distribution and the halos with a Navarro-Frenk-White profile, our method can be generalized to any bias distribution and parametric model of the radial mass distribution. We find that the log-normal assumption is not strictly valid in the presence of miscentring of halos. We investigate the use of cluster centers derived from weak lensing in the context of mass bias, and tentatively find that such centroids can yield sensible mass estimates if the convergence peak has a signal-to-noise ratio approximately greater than four. In this context we also find that the standard approach to estimating the positional uncertainty of weak lensing mass peaks using bootstrapping severely underestimates the true positional uncertainty for peaks with low signal-to-noise ratios. Though we determine the mass and redshift dependence of the bias distribution for a few experimental setups, our focus remains providing a general approach to computing such distributions.


title: The Sun's Dynamic Extended Corona Observed in Extreme Ultraviolet

abstract: The "middle corona" is a critical transition between the highly disparate physical regimes of the lower and outer solar corona. Nonetheless, it remains poorly understood due to the difficulty of observing this faint region (1.5-3 solar radii). New observations from the GOES Solar Ultraviolet Imager in August and September 2018 provide the first comprehensive look at this region's characteristics and long-term evolution in extreme ultraviolet (EUV). Our analysis shows that the dominant emission mechanism here is resonant scattering rather than collisional excitation, consistent with recent model predictions. Our observations highlight that solar wind structures in the heliosphere originate from complex dynamics manifesting in the middle corona that do not occur at lower heights. These data emphasize that low-coronal phenomena can be strongly influenced by inflows from above, not only by photospheric motion, a factor largely overlooked in current models of coronal evolution. This study reveals the full kinematic profile of the initiation of several coronal mass ejections, filling a crucial observational gap that has hindered understanding of the origins of solar eruptions. These new data uniquely demonstrate how EUV observations of the middle corona provide strong new constraints on models seeking to unify the corona and heliosphere.


title: One weight inequality for Bergman projection and Calder\'on operator induced by radial weight

abstract: Let $\omega$ and $\nu$ be radial weights on the unit disc of the complex plane such that $\omega$ admits the doubling property $\sup_{0\le r<1}\frac{\int_r^1 \omega(s)\,ds}{\int_{\frac{1+r}{2}}^1 \omega(s)\,ds}<\infty$. Consider the one weight inequality \begin{equation}\label{ab1} \|P_\omega(f)\|_{L^p_\nu}\le C\|f\|_{L^p_\nu},\quad 1<p<\infty,\tag{\dag} \end{equation} for the Bergman projection $P_\omega$ induced by $\omega$. It is shown that the Muckenhoupt-type condition $$ A_p(\omega,\nu)=\sup_{0\le r<1}\frac{\left(\int_r^1 s\nu(s)\,ds \right)^{\frac{1}{p}}\left(\int_r^1 s\left(\frac{\omega(s)}{\nu(s)^{\frac1p}}\right)^{p'}\,ds \right)^{\frac{1}{p'}}}{\int_r^1 s\omega(s)\,ds}<\infty, $$ is necessary for \eqref{ab1} to hold, and sufficient if $\nu$ is of the form $\nu(s)=\omega(s)\left(\int_r^1 s\omega(s)\,ds \right)^\alpha$ for some $-1<\alpha<\infty$. This result extends the classical theorem due to Forelli and Rudin for a much larger class of weights. In addition, it is shown that for any pair $(\omega,\nu)$ of radial weights the Calder\'on operator $$ H^\star_\omega(f)(z)+H_\omega(f)(z) =\int_{0}^{|z|} f\left(s\frac{z}{|z|}\right)\frac{s\omega(s)\,ds}{\int_s^1 t\omega(t)\,dt} +\frac{\int_{|z|}^1f\left(s\frac{z}{|z|}\right) s\omega(s)\,ds}{\int_{|z|}^1 s\omega(s)\,ds}\,ds $$ is bounded on $L^p_\nu$ if and only if $A_p(\omega,\nu)<\infty$.


title: AC susceptometry of 2D van der Waals magnets enabled by the coherent control of quantum sensors

abstract: Precision magnetometry is fundamental to the development of novel magnetic materials and devices. Recently, the nitrogen-vacancy (NV) center in diamond has emerged as a promising probe for static magnetism in 2D van der Waals materials, capable of quantitative imaging with nanoscale spatial resolution. However, the dynamic character of magnetism, crucial for understanding the magnetic phase transition and achieving technological applications, has rarely been experimentally accessible in single 2D crystals. Here, we coherently control the NV center's spin precession to achieve ultra-sensitive, quantitative ac susceptometry of a 2D ferromagnet. Combining dc hysteresis with ac susceptibility measurements varying temperature, field, and frequency, we illuminate the formation, mobility, and consolidation of magnetic domain walls in few-layer CrBr3. We show that domain wall mobility is enhanced in ultrathin CrBr3, with minimal decrease for excitation frequencies exceeding hundreds of kilohertz, and is influenced by the domain morphology and local pinning of the flake. Our technique extends NV magnetometry to the multi-functional ac and dc magnetic characterization of wide-ranging spintronic materials at the nanoscale.


title: Room to Grow: Understanding Personal Characteristics Behind Self Improvement Using Social Media

abstract: Many people aim for change, but not everyone succeeds. While there are a number of social psychology theories that propose motivation-related characteristics of those who persist with change, few computational studies have explored the motivational stage of personal change. In this paper, we investigate a new dataset consisting of the writings of people who manifest intention to change, some of whom persist while others do not. Using a variety of linguistic analysis techniques, we first examine the writing patterns that distinguish the two groups of people. Persistent people tend to reference more topics related to long-term self-improvement and use a more complicated writing style. Drawing on these consistent differences, we build a classifier that can reliably identify the people more likely to persist, based on their language. Our experiments provide new insights into the motivation-related behavior of people who persist with their intention to change.


title: Pairwise Interactions of Ring Dark Solitons with Vortices and other Rings: Stationary States, Stability Features and Nonlinear Dynamics

abstract: In the present work, we explore analytically and numerically the co-existence and interactions of ring dark solitons (RDSs) with other RDSs, as well as with vortices. The azimuthal instabilities of the rings are explored via the so-called filament method. As a result of their nonlinear interaction, the vortices are found to play a stabilizing role on the rings, yet their effect is not sufficient to offer complete stabilization of RDSs. Nevertheless, complete stabilization of the relevant configuration can be achieved by the presence of external ring-shaped barrier potentials. Interactions of multiple rings are also explored, and their equilibrium positions (as a result of their own curvature and their tail-tail interactions) are identified. In this case too, stabilization is achieved via multi-ring external barrier potentials.


title: Generic Gelfand-Tsetlin Representations of $U_q^{\text{tw}}(\mathfrak{so}_3)$ and $U_q^{\text{tw}}(\mathfrak{so}_4)$

abstract: We construct generic Gelfand-Tsetlin representations of the $\imath$quantum groups $U_q^{\text{tw}}(\mathfrak{so}_3)$ and $U_q^{\text{tw}}(\mathfrak{so}_4)$. These representations are infinite-dimensional analogs to the finite-dimensional irreducible representations provided by Gavrilik and Klimyk. They are quantum analogs of generic Gelfand-Tsetlin representations constructed by Mazorchuk. We give sufficient conditions for irreducibility and provide an upper bound for the length with the help of Casimir elements found by Molev, Ragoucy, and Sorba.


title: The Theory of Functional Connections: A journey from theory to application

abstract: The Theory of Functional Connections (TFC) is a general methodology for functional interpolation that can embed a set of user-specified linear constraints. The functionals derived from this method, called \emph{constrained expressions}, analytically satisfy the imposed constraints and can be leveraged to transform constrained optimization problems to unconstrained ones. By simplifying the optimization problem, this technique has been shown to produce a numerical scheme that is faster, more accurate, and robust to poor initialization. The content of this dissertation details the complete development of the Theory of Functional Connections. First, the seminal paper on the Theory of Functional Connections is discussed and motivates the discovery of a more general formulation of the constrained expressions. Leveraging this formulation, a rigorous structure of the constrained expression is produced with associated mathematical definitions, claims, and proofs. Furthermore, the second part of this dissertation explains how this technique can be used to solve ordinary differential equations providing a wide variety of examples compared to the state-of-the-art. The final part of this work focuses on unitizing the techniques and algorithms produced in the prior sections to explore the feasibility of using the Theory of Functional Connections to solve real-time optimal control problems, namely optimal landing problems.


title: Topological recursion for generalised Kontsevich graphs and r-spin intersection numbers

abstract: Kontsevich introduced certain ribbon graphs as cell decompositions for combinatorial models of moduli spaces of complex curves with boundaries in his proof of Witten's conjecture. In this work, we define four types of generalised Kontsevich graphs and find combinatorial relations among them. We call the main type ciliated maps and use the auxiliary ones to show they satisfy a Tutte recursion that we turn into a combinatorial interpretation of the loop equations of topological recursion for a large class of spectral curves. It follows that ciliated maps, which are Feynman graphs for the Generalised Kontsevich matrix Model (GKM), are computed by topological recursion. Our particular instance of the GKM relates to the r-KdV integrable hierarchy and since the string solution of the latter encodes intersection numbers with Witten's $r$-spin class, we find an identity between ciliated maps and $r$-spin intersection numbers, implying that they are also governed by topological recursion. In turn, this paves the way towards a combinatorial understanding of Witten's class. This new topological recursion perspective on the GKM provides concrete tools to explore the conjectural symplectic invariance property of topological recursion for large classes of spectral curves.


title: Koopman NMPC: Koopman-based Learning and Nonlinear Model Predictive Control of Control-affine Systems

abstract: Koopman-based learning methods can potentially be practical and powerful tools for dynamical robotic systems. However, common methods to construct Koopman representations seek to learn lifted linear models that cannot capture nonlinear actuation effects inherent in many robotic systems. This paper presents a learning and control methodology that is a first step towards overcoming this limitation. Using the Koopman canonical transform, control-affine dynamics can be expressed by a lifted bilinear model. The learned model is used for nonlinear model predictive control (NMPC) design where the bilinear structure can be exploited to improve computational efficiency. The benefits for control-affine dynamics compared to existing Koopman-based methods are highlighted through an example of a simulated planar quadrotor. Prediction error is greatly reduced and closed loop performance similar to NMPC with full model knowledge is achieved.


title: Adversarial Training for Gradient Descent: Analysis Through its Continuous-time Approximation

abstract: Adversarial training has gained great popularity as one of the most effective defenses for deep neural network and more generally for gradient-based machine learning models against adversarial perturbations on data points. This paper establishes a continuous-time approximation for the mini-max game of adversarial training. This approximation approach allows for precise and analytical comparisons between stochastic gradient descent and its adversarial training counterpart; and confirms theoretically the robustness of adversarial training from a new gradient-flow viewpoint. The analysis is then corroborated through various analytical and numerical examples.


title: Deflation algorithm for the Green function of quasi-1D lattices

abstract: We derive a method to efficiently compute the Green function of on arbitrary Hamiltonians defined on semi-infinite and periodic quasi-one-dimensional lattices. Computing the Green function is the backbone of quantum transport, electronic structure or linear response computations. Our method constitutes a "deflation optimization" of a well established algorithm often used in quantum transport that is based on generalized Schur factorizations of the linearized quadratic eigenvalue equation for the transfer matrix. Our deflation optimization may greatly reduce the number of degrees of freedom that must be processed in the Schur factorization. Deflation must be supplemented by a Jordan-block reconstruction of generalized eigenvectors, also developed here in detail. The overhead of deflation plus reconstruction is minimal as compared to the typical reduction in factorization runtime. Furthermore, by avoiding inverses of ill-conditioned matrices, the algorithm remains numerically stable.


abstract: This paper is a write-up for the tutorial on "Fine-grained Interpretation and Causation Analysis in Deep NLP Models" that we are presenting at NAACL 2021. We present and discuss the research work on interpreting fine-grained components of a model from two perspectives, i) fine-grained interpretation, ii) causation analysis. The former introduces methods to analyze individual neurons and a group of neurons with respect to a language property or a task. The latter studies the role of neurons and input features in explaining decisions made by the model. We also discuss application of neuron analysis such as network manipulation and domain adaptation. Moreover, we present two toolkits namely NeuroX and Captum, that support functionalities discussed in this tutorial.


title: Unsupervised Deep Learning Methods for Biological Image Reconstruction and Enhancement

abstract: Recently, deep learning approaches have become the main research frontier for biological image reconstruction and enhancement problems thanks to their high performance, along with their ultra-fast inference times. However, due to the difficulty of obtaining matched reference data for supervised learning, there has been increasing interest in unsupervised learning approaches that do not need paired reference data. In particular, self-supervised learning and generative models have been successfully used for various biological imaging applications. In this paper, we overview these approaches from a coherent perspective in the context of classical inverse problems, and discuss their applications to biological imaging, including electron, fluorescence and deconvolution microscopy, optical diffraction tomography and functional neuroimaging.

categories: eess.IV cs.CV cs.LG eess.SP physics.med-ph


title: Understanding the physics of world's fastest non-motorized sport

abstract: The main objective of this article is to describe the physics of Speed Skydiving, world's fastest non-motorized sport practiced under FAI -- F\'ed\'eration A\'eronautique Internationale (World Air Sports Federation), a recognized body by the International Olympic Committee -- with the help of standard physics and mathematics taught during the first or second year for undergraduate students in physics worldwide. Although this discipline of air sports has been around since the middle of the 1990s and has been a part of major international sport events, it is not yet well-known to the wider public and has not been addressed thoroughly in physics textbooks as the physics of various other sports. It is hoped that this paper will introduce and engage physics teachers/instructors new to this air sport discipline -- pedagogically. University or high school students may find this article helpful while studying a subject of terminal speeds, which is thoroughly discussed herein. This article can also serve as a background for further studies in physics of skydiving and aerodynamics.


title: Dynamics of spectral correlations in the entanglement Hamiltonian of the Aubry-Andr\'e-Harper model

abstract: We numerically study the evolution of spectral correlations in the entanglement Hamiltonian (EH) of non-interacting fermions in the Aubry-Andr\'e-Harper (AAH) model. We analyze the time evolution of the EH spectrum in a nonequilibrium setting by studying several quantities: spectral distribution, level statistics, entanglement entropy, and spectral form factor (SFF) in the context of the delocalization-localization transition in the AAH model. It is observed that the SFF of the entanglement spectrum in the delocalized phase and at the phase-transition point evolves in three-time intervals. We make a systematic study of the emergence of these three timescales for various initial states and find that the number of time intervals remains three unless the Hamiltonian is tuned in the localized phase or when the initial state is maximally entangled, then there is a featureless time evolution. We find a broad direct correlation between the entanglement entropy and the length of the ramp of the SFF. We also find that in the delocalized phase the spectral correlations are stronger in the center of the spectrum and grow progressively weaker as more and more of the spectrum is considered.

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


title: Dynamic Proportional Rankings

abstract: Proportional ranking rules aggregate approval-style preferences of agents into a collective ranking such that groups of agents with similar preferences are adequately represented. Motivated by the application of live Q&A platforms, where submitted questions need to be ranked based on the interests of the audience, we study a dynamic extension of the proportional rankings setting. In our setting, the goal is to maintain the proportionality of a ranking when alternatives (i.e., questions) -- not necessarily from the top of the ranking -- get selected sequentially. We propose generalizations of well-known aggregation rules to this setting and study their monotonicity and proportionality properties. We also evaluate the performance of these rules experimentally, using realistic probabilistic assumptions on the selection procedure.


title: A smooth complex rational affine surface with uncountably many real forms

abstract: We exhibit a smooth complex rational affine surface with uncountably many nonisomorphic real forms.


title: Gravity Waves and Primordial Black Holes in Scalar Warm Little Inflation

abstract: In warm inflation, dissipation due to the interactions of the inflaton field to other light degrees of freedom leads naturally to the enhancement of the primordial spectrum during the last 10-20 efolds of inflation. We study this effect in a variant of the Warm Little Inflaton model, where the inflaton couples to light scalars, with a quartic chaotic potential. These large fluctuations on re-entry will form light, evaporating Primordial Black Holes, with masses lighter than $10^6$ g. But at the same time they will act as a source for the tensors at second order. The enhancement is maximal near the end of inflation, which result in a spectral density of Gravitational Waves (GW) peaked at frequencies $f \sim O(10^3-10^5)$ Hz today, and with an amplitude $\Omega_{GW} \sim 10^{-10}-10^{-8}$. Although the frequency range is outside the reach of present and planned GW detectors, it might be reached in future high-frequency gravitational waves detectors, designed to search for cosmological stochastic GW backgrounds above MHz frequencies.


title: Planar two-loop integrals for $\mathbf{\mu e}$ scattering in QED with finite lepton masses

abstract: We present analytic results for one of two types of planar QED two-loop integrals for $\mu e$ scattering including finite lepton masses. No approximations are made, such that the results are valid not only in the limit of a small electron mass. The results are expressed in terms of multiple polylogarithms with algebraic function arguments in a representation which allows for fast numerical evaluation in the physical phase-space.


title: Matrix decompositions over the double numbers

abstract: We take matrix decompositions that are usually applied to matrices over the real numbers or complex numbers, and extend them to matrices over an algebra called the double numbers. In doing so, we unify some matrix decompositions: For instance, we reduce the LU decomposition of real matrices to LDL decomposition of double matrices; we similarly reduce eigendecomposition of real matrices to singular value decomposition of double matrices. Notably, these are opposite to the usual reductions. This provides insight into linear algebra over the familiar real numbers and complex numbers. We also show that algorithms that are valid for complex matrices are often equally valid for double matrices. We finish by proposing a new matrix decomposition called the Jordan SVD, which we use to challenge a claim made in Yaglom's book Complex Numbers In Geometry concerning Linear Fractional Transformations over the double numbers.


title: Wealth rheology

abstract: We study wealth rank correlations in a simple model of macro-economy. To quantify rank correlations between wealth rankings at different times, we use Kendall's $\tau$ and Spearman's $\rho$, Goodman--Kruskal's $\gamma$, and the lists' overlap ratio. We show that the dynamics of wealth flow and the speed of reshuffling in the ranking list depend on parameters of the model controlling the wealth exchange rate and the wealth growth volatility. As an example of the rheology of wealth in real data, we analyze the lists of the richest people in Poland, Germany, the USA and the world.


title: SGD-QA: Fast Schema-Guided Dialogue State Tracking for Unseen Services

abstract: Dialogue state tracking is an essential part of goal-oriented dialogue systems, while most of these state tracking models often fail to handle unseen services. In this paper, we propose SGD-QA, a simple and extensible model for schema-guided dialogue state tracking based on a question answering approach. The proposed multi-pass model shares a single encoder between the domain information and dialogue utterance. The domain's description represents the query and the dialogue utterance serves as the context. The model improves performance on unseen services by at least 1.6x compared to single-pass baseline models on the SGD dataset. SGD-QA shows competitive performance compared to state-of-the-art multi-pass models while being significantly more efficient in terms of memory consumption and training performance. We provide a thorough discussion on the model with ablation study and error analysis.


title: Pay Attention to MLPs

abstract: Transformers have become one of the most important architectural innovations in deep learning and have enabled many breakthroughs over the past few years. Here we propose a simple network architecture, gMLP, based on MLPs with gating, and show that it can perform as well as Transformers in key language and vision applications. Our comparisons show that self-attention is not critical for Vision Transformers, as gMLP can achieve the same accuracy. For BERT, our model achieves parity with Transformers on pretraining perplexity and is better on some downstream NLP tasks. On finetuning tasks where gMLP performs worse, making the gMLP model substantially larger can close the gap with Transformers. In general, our experiments show that gMLP can scale as well as Transformers over increased data and compute.


title: A Light Stage on Every Desk

abstract: Every time you sit in front of a TV or monitor, your face is actively illuminated by time-varying patterns of light. This paper proposes to use this time-varying illumination for synthetic relighting of your face with any new illumination condition. In doing so, we take inspiration from the light stage work of Debevec et al., who first demonstrated the ability to relight people captured in a controlled lighting environment. Whereas existing light stages require expensive, room-scale spherical capture gantries and exist in only a few labs in the world, we demonstrate how to acquire useful data from a normal TV or desktop monitor. Instead of subjecting the user to uncomfortable rapidly flashing light patterns, we operate on images of the user watching a YouTube video or other standard content. We train a deep network on images plus monitor patterns of a given user and learn to predict images of that user under any target illumination (monitor pattern). Experimental evaluation shows that our method produces realistic relighting results. Video results are available at http://grail.cs.washington.edu/projects/Light_Stage_on_Every_Desk/.


title: The Boombox: Visual Reconstruction from Acoustic Vibrations

abstract: Interacting with bins and containers is a fundamental task in robotics, making state estimation of the objects inside the bin critical. While robots often use cameras for state estimation, the visual modality is not always ideal due to occlusions and poor illumination. We introduce The Boombox, a container that uses sound to estimate the state of the contents inside a box. Based on the observation that the collision between objects and its containers will cause an acoustic vibration, we present a convolutional network for learning to reconstruct visual scenes. Although we use low-cost and low-power contact microphones to detect the vibrations, our results show that learning from multimodal data enables state estimation from affordable audio sensors. Due to the many ways that robots use containers, we believe the box will have a number of applications in robotics. Our project website is at: boombox.cs.columbia.edu


title: Algorithm-Agnostic Explainability for Unsupervised Clustering

abstract: Supervised machine learning explainability has developed rapidly in recent years. However, clustering explainability has lagged behind. Here, we demonstrate the first adaptation of model-agnostic explainability methods to explain unsupervised clustering. We present two novel "algorithm-agnostic" explainability methods - global permutation percent change (G2PC) and local perturbation percent change (L2PC) - that identify feature importance globally to a clustering algorithm and locally to the clustering of individual samples. The methods are (1) easy to implement and (2) broadly applicable across clustering algorithms, which could make them highly impactful. We demonstrate the utility of the methods for explaining five popular clustering methods on low-dimensional synthetic datasets and on high-dimensional functional network connectivity data extracted from a resting-state functional magnetic resonance imaging dataset of 151 individuals with schizophrenia and 160 controls. Our results are consistent with existing literature while also shedding new light on how changes in brain connectivity may lead to schizophrenia symptoms. We further compare the explanations from our methods to an interpretable classifier and find them to be highly similar. Our proposed methods robustly explain multiple clustering algorithms and could facilitate new insights into many applications. We hope this study will greatly accelerate the development of the field of clustering explainability.


title: Divide and Contrast: Self-supervised Learning from Uncurated Data

abstract: Self-supervised learning holds promise in leveraging large amounts of unlabeled data, however much of its progress has thus far been limited to highly curated pre-training data such as ImageNet. We explore the effects of contrastive learning from larger, less-curated image datasets such as YFCC, and find there is indeed a large difference in the resulting representation quality. We hypothesize that this curation gap is due to a shift in the distribution of image classes -- which is more diverse and heavy-tailed -- resulting in less relevant negative samples to learn from. We test this hypothesis with a new approach, Divide and Contrast (DnC), which alternates between contrastive learning and clustering-based hard negative mining. When pretrained on less curated datasets, DnC greatly improves the performance of self-supervised learning on downstream tasks, while remaining competitive with the current state-of-the-art on curated datasets.


title: Impact of gas based seeding on supermassive black hole populations at $z\geq7$

abstract: Deciphering the formation of supermassive black holes~(SMBHs) is a key science goal for upcoming observational facilities. In most theoretical channels proposed so far, the seed formation depends crucially on local gas conditions. We systematically characterize the impact of a range of gas based black hole seeding prescriptions on SMBH populations using cosmological simulations. Seeds of mass $M_{\mathrm{seed}}\sim 10^3-10^{6}~M_{\odot}/h$ are placed in halos that exceed critical thresholds for star-forming, metal-poor gas mass and halo mass (defined as $\tilde{M}_{\mathrm{sf,mp}}$ and $\tilde{M}_{\mathrm{h}}$, respectively, in units of $M_{\mathrm{seed}}$). We quantify the impact of these parameters on the properties of $z\geq7$ SMBHs. Lower seed masses produce much higher BH merger rates (by factors of $\sim10$ and $\sim1000$ at $z\sim7$ and $z\sim15$, respectively). For fixed seed mass, we find that $\tilde{M}_{\mathrm{h}}$ has the strongest impact on the BH population at high redshift ($z\gtrsim15$, where a factor of 10 increase in $\tilde{M}_{\mathrm{h}}$ suppresses merger rates by $\gtrsim 100$). At lower redshift ($z\lesssim15$), we find that $\tilde{M}_{\mathrm{sf,mp}}$ has a larger impact on the BH population. Increasing $\tilde{M}_{\mathrm{sf,mp}}$ from $5-150$ suppresses the merger rates by factors of $\sim8$ at $z\sim7-15$. This suggests that the seeding criteria explored here could leave distinct imprints on the redshift distribution of LISA merger rates. In contrast, AGN luminosity functions are much less sensitive to seeding criteria, varying by factors $\lesssim2-3$ within the seed parameters we have explored. Such variations will be challenging to probe even with future sensitive instruments such as Lynx or JWST. Overall, our systematic parameter study provides a useful benchmark for development of seed models for large-volume cosmological simulations.


title: A graphene edge-mediated quantum gate

abstract: We propose a quantum gate architecture that allows for the systematic control of the effective exchange interactions between magnetic impurities embedded in nano-scale graphene flakes connected by a gated bridge. The entanglement between the magnetic moment and the edge states of the fragments is used to electrostatically tune the exchange interaction from ferro to antiferromagnetic by merely changing the bridge's carrier density. By characterizing the effects of size and coupling parameters, we explore different operation regimes of this device by means of exact calculations with the density matrix renormalization group (DMRG). We analyze the results utilizing a simplified model that accounts for the main many-body mechanisms. Finally, we discuss how to use arrays of these devices to build quantum simulators for quantum many-body Hamiltonians.


title: Analysis for the Overwhelming Success of the Web Compared to Microcosm and Hyper-G Systems

abstract: Microcosm, Hyper-G, and the Web were developed and released after 1989. There were strengths and weaknesses associate with each of these hypertext systems. The architectures of these systems were relatively different from one another. Standing above its competitors, the Web became the largest and most popular information system. This paper analyses the reasons for which the Web became the first successful hypermedia system by looking and evaluating the architecture of the Web, Hyper-G, and Microcosm systems. Three reasons will be given beyond this success with some lessons to learn. Currently, Semantic Web is a recent development of the Web to provide conceptual hypermedia. More importantly, study of the Web with its impact on technical, socio-cultural, and economical agendas is introduced as web science.


title: A parameter refinement method for Ptychography based on Deep Learning concepts

abstract: X-ray Ptychography is an advanced computational microscopy technique which is delivering exceptionally detailed quantitative imaging of biological and nanotechnology specimens. However coarse parametrisation in propagation distance, position errors and partial coherence frequently menaces the experiment viability. In this work we formally introduced these actors, solving the whole reconstruction as an optimisation problem. A modern Deep Learning framework is used to correct autonomously the setup incoherences, thus improving the quality of a ptychography reconstruction. Automatic procedures are indeed crucial to reduce the time for a reliable analysis, which has a significant impact on all the fields that use this kind of microscopy. We implemented our algorithm in our software framework, SciComPty, releasing it as open-source. We tested our system on both synthetic datasets and also on real data acquired at the TwinMic beamline of the Elettra synchrotron facility.


title: Unsupervised MRI Reconstruction via Zero-Shot Learned Adversarial Transformers

abstract: Supervised reconstruction models are characteristically trained on matched pairs of undersampled and fully-sampled data to capture an MRI prior, along with supervision regarding the imaging operator to enforce data consistency. To reduce supervision requirements, the recent deep image prior framework instead conjoins untrained MRI priors with the imaging operator during inference. Yet, canonical convolutional architectures are suboptimal in capturing long-range relationships, and priors based on randomly initialized networks may yield suboptimal performance. To address these limitations, here we introduce a novel unsupervised MRI reconstruction method based on zero-Shot Learned Adversarial TransformERs (SLATER). SLATER embodies a deep adversarial network with cross-attention transformers to map noise and latent variables onto coil-combined MR images. During pre-training, this unconditional network learns a high-quality MRI prior in an unsupervised generative modeling task. During inference, a zero-shot reconstruction is then performed by incorporating the imaging operator and optimizing the prior to maximize consistency to undersampled data. Comprehensive experiments on brain MRI datasets clearly demonstrate the superior performance of SLATER against state-of-the-art unsupervised methods.


title: Beampattern and Robust Doppler Filter Design for Spatial Modulation Based Joint RadCom Systems

abstract: Joint radar and communication (RadCom) systems have been proposed to achieve the spectrum sharing between radar and communication in recent years. However, the joint RadCom systems cause the clutter modulation and the performance degradation of both radar and communication. As a consequence, it's very critical to improve the performance of both radar and communication when designing joint RadCom systems. Firstly, this paper designs the constant modulus dual function waveforms for spatial modulation based joint RadCom systems. In order to solve the nonsmooth and nonconvex optimization problem, we propose a method based on alternating direction method of multipliers (ADMM) to obtain a suboptimal solution. Secondly, this paper analyses the effect of beampattern variation on clutter modulation for spatial modulation based joint RadCom systems. Besides, this paper considers the design of robust doppler filter for joint RadCom systems when the receive temporal steering vector is mismatched to the desired temporal steering vector. This paper aims to maximize the worst signal-to-interference-plus-noise-ratio (SINR) of the doppler filter in the specific doppler interval under the similarity constraint and constant white noise gain constraint. In order to solve the nonconvex optimization problem, we relax the original optimization problem to a semidefinite programming (SDP), which is convex and can be solved using off-the-shelf optimization solvers. What's more, the rank-one decomposition method is utilized to synthesize the weight vector of the proposed robust doppler filter. Finally, lots of simulation results are presented to show the robustness of the designed doppler filter.


title: A recently quenched isolated dwarf galaxy outside of the Local Group environment

abstract: We report the serendipitous identification of a low mass ($M_* \sim 2\times 10^6 \, \mathrm{M}_\odot$), isolated, likely quenched dwarf galaxy in the "foreground" of the COSMOS-CANDELS field. From deep Hubble Space Telescope (HST) imaging we infer a surface brightness fluctuation distance for COSMOS-dw1 of $D_{\mathrm{SBF}} = 22 \pm 3$ Mpc, which is consistent with its radial velocity of $cz = 1222 \pm 64$ km s$^{-1}$ via Keck/LRIS. At this distance, the galaxy is 1.4 Mpc in projection from its nearest massive neighbor. We do not detect significant H$\alpha$ emission (EW(H$\alpha$)$ = -0.4 \pm 0.5$ angstroms), suggesting that COSMOS dw1 is likely quenched. Very little is currently known about isolated quenched galaxies in this mass regime. Such galaxies are thought to be rare, as there is no obvious mechanism to permanently stop star formation in them; to date there are only four examples of well-studied quenched field dwarfs, only two of which appear to have quenched in isolation. COSMOS-dw1 is the first example outside of the immediate vicinity of the Local Group. COSMOS-dw1 has a relatively weak D$_\mathrm{n}$4000 break and the HST data show a clump of blue stars indicating that star formation ceased only recently. We speculate that COSMOS-dw1 was quenched due to internal feedback, which was able to temporarily suspend star formation. In this scenario the expectation is that quenched isolated galaxies with masses $M_*=10^6 - 10^7$ M$_{\odot}$ generally have luminosity-weighted ages $\lesssim 1$ Gyr.