title: Quarkonium TMD fragmentation functions in NRQCD

abstract: We study the transverse-momentum spectrum of quarkonium production from single light-parton fragmentation mechanism. In the case of semi-inclusive deep inelastic scattering, we observe that there are two possible initiating processes, namely photon-gluon fusion and light-quark fragmentation. For the second case we derive the factorization theorem, which involves a new hadronic quantity: the quarkonium transverse-momentum-dependent fragmentation functions in NRQCD. We calculate their matching onto the non-perturbative long distance matrix elements at the lowest order in the strong-coupling constant (${\mathcal O}(\alpha_s^2)$). Focusing on the case of the electron-ion collider, we make a comparative phenomenological study of the two production mechanisms and find the regions of the phase space where one is dominant over the other.


title: Exploring rapid transient detection with the Athena Wide Field Imager

abstract: X-ray transients are among the most enigmatic objects in the cosmic sky. The unpredictability and underlying nature of their transient behavior has prompted much study in recent years. While significant progress has been made in this field, a more complete understanding of such events is often hampered by the delay in the rapid follow-up of any transient event. An efficient way to mitigate this constraint would be to devise a way for near real time detection of such transient phenomena. The Athena/Wide Field Imager (WFI), with its $40' \times 40'$ field of view and large effective area, will detect a large number of X-ray variable or transient objects daily. In this work, we discuss an algorithm for the rapid on-board or ground-based detection of X-ray transients with WFI. We present a feasibility test of the algorithm using simulated Athena/WFI data and show that a fairly simple algorithm can effectively detect transient and variable sources in typical Athena/WFI observations.


title: Meta-Learning Requires Meta-Augmentation

abstract: Meta-learning algorithms aim to learn two components: a model that predicts targets for a task, and a base learner that quickly updates that model when given examples from a new task. This additional level of learning can be powerful, but it also creates another potential source for overfitting, since we can now overfit in either the model or the base learner. We describe both of these forms of metalearning overfitting, and demonstrate that they appear experimentally in common meta-learning benchmarks. We then use an information-theoretic framework to discuss meta-augmentation, a way to add randomness that discourages the base learner and model from learning trivial solutions that do not generalize to new tasks. We demonstrate that meta-augmentation produces large complementary benefits to recently proposed meta-regularization techniques.


title: The pion light-cone distribution amplitude from the pion electromagnetic form factor

abstract: We suggest to probe the pion light-cone distribution amplitude, applying a dispersion relation for the pion electromagnetic form factor. Instead of the standard dispersion relation, we use the equation between the spacelike form factor $F_\pi(Q^2)$ and the integrated modulus of the timelike form factor. For $F_\pi(Q^2)$, the QCD light-cone sum rule with a dominant twist-2 term is used. Adopting for the pion twist-2 distribution amplitude a certain combination of the first few Gegenbauer polynomials, it is possible to fit their coefficients $a_{2,4,6,...}$ (Gegenbauer moments) from this equation, employing the measured pion timelike form factor. For the exploratory fit we use the data of the BaBar collaboration. The results definitely exclude the asymptotic twist-2 distribution amplitude. Also the model with a single $a_2\neq 0$ is disfavoured by the fit. Considering the models with $a_{n>2}\neq 0$, we find that the fitted values of the second and fourth Gegenbauer moments cover the intervals $a_2 (1 \mbox{GeV}) = (0.22 - 0.33) $, $a_4 (1 \mbox{GeV}) = (0.12 - 0.25) $. The higher moments starting from $a_{8}$ are consistent with zero, albeit with large uncertainties. The spacelike pion form factor obtained in two different ways, from the dispersion relation and from the light-cone sum rule, agrees, within uncertainties, with the measurement by the Jefferson Lab $F_\pi$ collaboration.


title: Boba: Authoring and Visualizing Multiverse Analyses

abstract: Multiverse analysis is an approach to data analysis in which all "reasonable" analytic decisions are evaluated in parallel and interpreted collectively, in order to foster robustness and transparency. However, specifying a multiverse is demanding because analysts must manage myriad variants from a cross-product of analytic decisions, and the results require nuanced interpretation. We contribute Boba: an integrated domain-specific language (DSL) and visual analysis system for authoring and reviewing multiverse analyses. With the Boba DSL, analysts write the shared portion of analysis code only once, alongside local variations defining alternative decisions, from which the compiler generates a multiplex of scripts representing all possible analysis paths. The Boba Visualizer provides linked views of model results and the multiverse decision space to enable rapid, systematic assessment of consequential decisions and robustness, including sampling uncertainty and model fit. We demonstrate Boba's utility through two data analysis case studies, and reflect on challenges and design opportunities for multiverse analysis software.


title: Tracing Complexity in Food Blogging Entries

abstract: Within this paper, we focus on the concept of complexity and how it is represented in food blogging entries on Twitter. We turn specific attention to complexity capture when looking at healthy foods, focusing on food blogging entries that entail the notions of health/healthiness/healthy. We do so because we consider that complexity manifests hedonism - that is the irrational determinant of food choice above rational considerations of nutrition and healthiness. Using text as a platform for our analysis, we derive bigrams and topic models that illustrate the frequencies of words and bi-grams, thus, pointing our attention to current discourse in food blogging entries on Twitter. The results show that, contrary to complexity, that the dominating characteristics in healthy food domain are easiness and speed of preparation, however, rational and health related considerations may not always take precedence when the choice is determined. Food blogging entries show surprisingly little account of healthy food as being tasty and enjoyable. With this we aim to contribute to the knowledge of how to shape more healthy consumer behaviors. Having discovered the scarcity of hedonic connotations, this work invites for further research in text-based information about food.


title: Differentially private cross-silo federated learning

abstract: Strict privacy is of paramount importance in distributed machine learning. Federated learning, with the main idea of communicating only what is needed for learning, has been recently introduced as a general approach for distributed learning to enhance learning and improve security. However, federated learning by itself does not guarantee any privacy for data subjects. To quantify and control how much privacy is compromised in the worst-case, we can use differential privacy. In this paper we combine additively homomorphic secure summation protocols with differential privacy in the so-called cross-silo federated learning setting. The goal is to learn complex models like neural networks while guaranteeing strict privacy for the individual data subjects. We demonstrate that our proposed solutions give prediction accuracy that is comparable to the non-distributed setting, and are fast enough to enable learning models with millions of parameters in a reasonable time. To enable learning under strict privacy guarantees that need privacy amplification by subsampling, we present a general algorithm for oblivious distributed subsampling. However, we also argue that when malicious parties are present, a simple approach using distributed Poisson subsampling gives better privacy. Finally, we show that by leveraging random projections we can further scale-up our approach to larger models while suffering only a modest performance loss.


title: Bayesian Optimization of Risk Measures

abstract: We consider Bayesian optimization of objective functions of the form $\rho[ F(x, W) ]$, where $F$ is a black-box expensive-to-evaluate function and $\rho$ denotes either the VaR or CVaR risk measure, computed with respect to the randomness induced by the environmental random variable $W$. Such problems arise in decision making under uncertainty, such as in portfolio optimization and robust systems design. We propose a family of novel Bayesian optimization algorithms that exploit the structure of the objective function to substantially improve sampling efficiency. Instead of modeling the objective function directly as is typical in Bayesian optimization, these algorithms model $F$ as a Gaussian process, and use the implied posterior on the objective function to decide which points to evaluate. We demonstrate the effectiveness of our approach in a variety of numerical experiments.


title: A note on the Kuznetsov component of the Veronese double cone

abstract: This note describes moduli spaces of complexes in the derived category of a Veronese double cone $Y$. Focusing on objects with the same class $\kappa_1$ as ideal sheaves of lines, we describe the moduli space of Gieseker stable sheaves and show that it has two components. Then, we study the moduli space of stable complexes in the Kuznetsov component of $Y$ of the same class, which also has two components. One parametrizes ideal sheaves of lines and it appears in both moduli spaces. The other components are not directly related by a wall-crossing: we show this by describing an intermediate moduli space of complexes as a space of stable pairs in the sense of Pandharipande and Thomas.


title: THEMIS: Decentralized and Trustless Ad Platform with Reporting Integrity

abstract: Online advertising fuels the (seemingly) free internet. However, although users can access most websites free of charge, they need to pay a heavy cost on their privacy and blindly trust third parties and intermediaries that absorb great amounts of adrevenues and user data. This is one of the reasons users opt out from advertising by resorting ad blockers thatin turn cost publishers millions of dollars in lost adrevenues. Existing privacy-preserving advertising approaches(e.g., Adnostic, Privad, Brave Ads) from both industry and academia cannot guarantee the integrity of the performance analytics they provide to advertisers, while they also rely on centralized management that users have to trust without being able to audit. In this paper, we propose THEMIS, a novel privacy-by-design ad platform that is decentralized and requires zero trust from users. THEMIS (i) provides auditability to all participants, (ii) rewards users for viewing ads, and (iii) allows advertisers to verify the performance and billing reports of their ad campaigns. To demonstrate the feasibility and practicability of our approach, we implemented a prototype of THEMIS using a combination of smart contracts and zero-knowledge schemes. Performance evaluation results show that during adreward payouts, THEMIS can support more than 51M users on a single-sidechain setup or 153M users ona multi-sidechain setup, thus proving that THEMIS scales linearly.


title: Learning Entangled Single-Sample Gaussians in the Subset-of-Signals Model

abstract: In the setting of entangled single-sample distributions, the goal is to estimate some common parameter shared by a family of $n$ distributions, given one single sample from each distribution. This paper studies mean estimation for entangled single-sample Gaussians that have a common mean but different unknown variances. We propose the subset-of-signals model where an unknown subset of $m$ variances are bounded by 1 while there are no assumptions on the other variances. In this model, we analyze a simple and natural method based on iteratively averaging the truncated samples, and show that the method achieves error $O \left(\frac{\sqrt{n\ln n}}{m}\right)$ with high probability when $m=\Omega(\sqrt{n\ln n})$, matching existing bounds for this range of $m$. We further prove lower bounds, showing that the error is $\Omega\left(\left(\frac{n}{m^4}\right)^{1/2}\right)$ when $m$ is between $\Omega(\ln n)$ and $O(n^{1/4})$, and the error is $\Omega\left(\left(\frac{n}{m^4}\right)^{1/6}\right)$ when $m$ is between $\Omega(n^{1/4})$ and $O(n^{1 - \epsilon})$ for an arbitrarily small $\epsilon>0$, improving existing lower bounds and extending to a wider range of $m$.


title: The Computational Limits of Deep Learning

abstract: Deep learning's recent history has been one of achievement: from triumphing over humans in the game of Go to world-leading performance in image classification, voice recognition, translation, and other tasks. But this progress has come with a voracious appetite for computing power. This article catalogs the extent of this dependency, showing that progress across a wide variety of applications is strongly reliant on increases in computing power. Extrapolating forward this reliance reveals that progress along current lines is rapidly becoming economically, technically, and environmentally unsustainable. Thus, continued progress in these applications will require dramatically more computationally-efficient methods, which will either have to come from changes to deep learning or from moving to other machine learning methods.


title: More on the rings $B_1(X)$ and $B_1^*(X)$

abstract: This paper focuses mainly on the ring of all bounded Baire one functions on a topological space. The uniform norm topology arises from the $\sup$-norm defined on the collection $B_1^*(X)$ of all bounded Baire one functions. With respect to this topology, $B_1^*(X)$ is a topological ring. It is proved that under uniform norm topology, the set of all units forms an open set and as a consequence of it, every maximal ideal of $B_1^*(X)$ is closed in $B_1^*(X)$ with uniform norm topology. Since the natural extension of uniform norm topology on $B_1(X)$, when $B_1^*(X) \neq B_1(X)$, does not show up these features, a topology called $m_B$-topology is defined on $B_1(X)$ suitably to achieve these results on $B_1(X)$. It is proved that the relative $m_B$ topology coincides with the uniform norm topology on $B_1^*(X)$ if and only if $B_1(X) = B_1^*(X)$. Moreover, $B_1(X)$ with $m_B$-topology is 1st countable if and only if $B_1(X) = B_1^*(X)$. \\ The last part of the paper establishes a correspondence between the ideals of $B_1^*(X)$ and a special class of $Z_B$-filters, called $e_B$-filters on a normal topological space $X$. It is also observed that for normal spaces, the cardinality of the collection of all maximal ideals of $B_1(X)$ and those of $B_1^*(X)$ are the same.


title: Exotic Vortex States with Discrete Rotational Symmetry in Atomic Fermi Gases with Spin-Orbital-Angular-Momentum Coupling

abstract: We investigate the superfluidity of a two-component Fermi gas with spin-orbital-angular-momentum coupling (SOAMC). Due to the intricate interplay of SOAMC, two-photon detuning and atom-atom interaction, a family of vortex ground states emerge in a broad parameter regime of the phase diagram, in contrast to the usual case where an external rotation or magnetic field is generally required. More strikingly, an unprecedented vortex state, which breaks the continuous rotational symmetry to a discrete one spontaneously, is predicted to occur. The underlying physics are elucidated and verified by numerical simulations. The unique density distributions of the predicted vortex states enable a direct observation in experiment.


title: The New Generation Planetary Population Synthesis (NGPPS). I. Bern global model of planet formation and evolution, model tests, and emerging planetary systems

abstract: Aims. Comparing theoretical models with observations allows one to make key step forward towards an understanding of planetary systems. It however requires a model able to (i) predict all the necessary observable quantities (not only masses and orbits, but also radii, luminosities, magnitudes, or evaporation rates) and (ii) address the large range in relevant planetary masses (from Mars mass to super-Jupiters) and distances (from stellar-grazing to wide orbits). Methods. We have developed a combined global end-to-end planetary formation and evolution model, the Generation III Bern model, based on the core accretion paradigm. This model solves as directly as possible the underlying differential equations for the structure and evolution of the gas disc, the dynamical state of the planetesimals, the internal structure of the planets yielding their planetesimal and gas accretion rates, disc-driven orbital migration, and the gravitational interaction of concurrently forming planets via a full N-body calculation. Importantly, the model also follows the long-term evolution of the planets on Gigayear timescales after formation including the effects of cooling and contraction, atmospheric escape, bloating, and stellar tides. Results. To test the model, we compared it with classical scenarios of Solar System formation. For the terrestrial planets, we find that we obtain a giant impact phase provided enough embryos (~100) are initially emplaced in the disc. For the giant planets, we find that Jupiter-mass planets must accrete their core shortly before the dispersal of the gas disc to prevent strong inward migration that would bring them to the inner edge of the disc. Conclusions. The model can form planetary systems with a wide range of properties. We find that systems with only terrestrial planets are often well-ordered while giant-planet bearing systems show no such similarity.


title: The New Generation Planetary Population Synthesis (NGPPS). II. Planetary population of solar-like stars and overview of statistical results

abstract: We want to understand global observable consequences of different physical processes and initial properties on the demographics of the planetary population. We use the Generation III Bern model to perform planetary population synthesis. We synthesise five populations with each a different initial number of Moon-mass embryos per disc: 1, 10, 20, 50, and 100. The last is our nominal population around 1 Sun-mass stars. The properties of giant planets do not change much as long as there are at least 10 embryos in each system. The study of giants can thus be done with simulations requiring less computational resources. For inner terrestrial planets, only the 100-embryos population is able to attain the giant-impact stage. In that population, each planetary system contains on average 8 planets more massive than 1 $M_\oplus$. The fraction of systems with giants planets at all orbital distances is 18%, but only 1.6% are at > 10 au. Systems with giants contain on average 1.6 such planets. The frequency of terrestrial and super-Earth planets peaks at a stellar [Fe/H] of -0.2 and 0.0, respectively, being limited at lower [Fe/H] by a lack of building blocks, and by (for them) detrimental growth of more massive dynamically active planets at higher [Fe/H]. The frequency of more massive planets (Neptunian, giants) increases monotonically with [Fe/H]. The fast migration of planets in the 5-50 $M_\oplus$ range is reduced by the presence of multiple lower-mass inner planets in the multi-embryos populations. We present one of the most comprehensive simulations of (exo)planetary system formation and evolution to date. For theory, they provide the framework to observationally test the global statistical consequences of theoretical models for specific physical processes. This is a important ingredient towards the development of a standard model of planetary formation and evolution.


title: The New Generation Planetary Population Synthesis (NGPPS). III. Warm super-Earths and cold Jupiters: A weak occurrence correlation, but with a strong architecture-composition link

abstract: Recent observational findings have suggested a positive correlation between the occurrence rates of inner super-Earths and outer giant planets. These results raise the question of whether this trend can be reproduced and explained by planet formation theory. Here, we investigate the properties of inner super-Earths and outer giant planets that form according to a core accretion scenario. We study the mutual relations between these planet species in synthetic planetary systems and compare them to the observed exoplanet population. We invoked the Generation 3 Bern model of planet formation and evolution to simulate 1000 multi-planet systems. We then confronted these synthetic systems with the observed sample, taking into account the detection bias that distorts the observed demographics. The formation of warm super-Earths and cold Jupiters in the same system is enhanced compared to the individual appearances, although it is weaker than what has been proposed through observations. We attribute the discrepancy to warm and dynamically active giant planets that frequently disrupt the inner systems, particularly in high-metallicity environments. In general, a joint occurrence of the two planet types requires intermediate solid reservoirs in the originating protoplanetary disk. Furthermore, we find differences in the volatile content of planets in different system architectures and predict that high-density super-Earths are more likely to host an outer giant. This correlation can be tested observationally.


title: Analytical thresholds for black hole formation in general cosmological backgrounds

abstract: We consider black holes which form from an initially spherically symmetric super-Hubble perturbation of a cosmological background filled by a perfect fluid $p=w \rho$ with $w\in (0,1]$. Previous work has shown that when $w = 1/3$ (radiation), there is a critical threshold for black hole formation ($\delta_c$), which, to a very good approximation, only depends upon the curvature of the compaction function around its peak value. We find that this generalizes to all $w\gtrsim 1/3$; for smaller $w$s the knowledge of the full shape of the compaction function is necessary. We provide analytic approximations for $\delta_c$ which are accurate for $w\in [1/3,1]$.


title: Reverse Annealing for Nonnegative/Binary Matrix Factorization

abstract: It was recently shown that quantum annealing can be used as an effective, fast subroutine in certain types of matrix factorization algorithms. The quantum annealing algorithm performed best for quick, approximate answers, but performance rapidly plateaued. In this paper, we utilize reverse annealing instead of forward annealing in the quantum annealing subroutine for nonnegative/binary matrix factorization problems. After an initial global search with forward annealing, reverse annealing performs a series of local searches that refine existing solutions. The combination of forward and reverse annealing significantly improves performance compared to forward annealing alone for all but the shortest run times.


title: Contrastive Training for Improved Out-of-Distribution Detection

abstract: Reliable detection of out-of-distribution (OOD) inputs is increasingly understood to be a precondition for deployment of machine learning systems. This paper proposes and investigates the use of contrastive training to boost OOD detection performance. Unlike leading methods for OOD detection, our approach does not require access to examples labeled explicitly as OOD, which can be difficult to collect in practice. We show in extensive experiments that contrastive training significantly helps OOD detection performance on a number of common benchmarks. By introducing and employing the Confusion Log Probability (CLP) score, which quantifies the difficulty of the OOD detection task by capturing the similarity of inlier and outlier datasets, we show that our method especially improves performance in the `near OOD' classes -- a particularly challenging setting for previous methods.


title: Factorizations of the same length in abelian monoids

abstract: Let $\mathcal S \subseteq \mathbb Z^m \oplus T$ be a finitely generated and reduced monoid. In this paper we develop a general strategy to study the set of elements in $\mathcal S$ having at least two factorizations of the same length, namely the ideal $\mathcal L_{\mathcal S}$. To this end, we work with a certain (lattice) ideal associated to the monoid $\mathcal S$. Our study can be seen as a new approach generalizing \cite{chapman:2011}, which only studies the case of numerical semigroups. When $\mathcal S$ is a numerical semigroup we give three main results: (1) we compute explicitly a set of generators of the ideal $\mathcal L_{\mathcal S}$ when $\mathcal S$ is minimally generated by an almost arithmetic sequence; (2) we provide an infinite family of numerical semigroups such that $\mathcal L_{\mathcal S}$ is a principal ideal; (3) we classify the computational problem of determining the largest integer not in $\mathcal L_{\mathcal S}$ as an $\mathcal{NP}$-hard problem.


title: Dynamic Tuberculosis Screening for Healthcare Employees

abstract: Regular tuberculosis (TB) screening is required for healthcare employees since they can come into contact with infected patients. TB is a serious, contagious, and potentially deadly disease. Early detection of the disease, even when it is in latent form, prevents the spread of the disease and helps with treatment. Currently, there are two types of TB diagnostic tests on the market: skin test and blood test. The cost of the blood test is much higher than the skin test. However, the possibility of getting a false positive or false negative result in skin test is higher especially for persons with specific characteristics, which can increase costs. In this study, we categorize healthcare employees into multiple risk groups based on the department they work in, the specific job they do, and their birth country. We create a Markov decision process (MDP) model to decide which TB test should be taken by each employee group to minimize the total costs related to testing, undetected infections, employees' time lost. Due to the curse of dimensionality, we use approximate dynamic programming (ADP) to obtain a near-optimal solution. By analyzing this solution to the ADP we specify not only the type but the frequency with which each test should be taken. Based on this analysis, we propose a simple policy that can be used by healthcare facilities since such facilities may not have the expertise or the resources to develop and solve sophisticated optimization models.


title: Conditional Lower Bound for Inclusion-Based Points-to Analysis

abstract: Inclusion-based (i.e., Andersen-style) points-to analysis is a fundamental static analysis problem. The seminal work of Andersen gave a worst-case cubic $O(n^3)$ time points-to analysis algorithm for C, where $n$ is proportional to the number of program variables. An algorithm is truly subcubic if it runs in $O(n^{3-\delta})$ time for some $\delta > 0$. Despite decades of extensive effort on improving points-to analysis, the cubic bound remains unbeaten. The best combinatorial analysis algorithms have a "slightly subcubic" $O(n^3 / \text{log } n)$ complexity. It is an interesting open problem whether points-to analysis can be solved in truly subcubic time. In this paper, we prove that a truly subcubic $O(n^{3-\delta})$ time combinatorial algorithm for inclusion-based points-to analysis is unlikely: a truly subcubic combinatorial points-to analysis algorithm implies a truly subcubic combinatorial algorithm for Boolean Matrix Multiplication (BMM). BMM is a well-studied problem, and no truly subcubic combinatorial BMM algorithm has been known. The fastest combinatorial BMM algorithms run in time $O(n^3/ \text{log}^4 n)$. Our result includes a simplified proof of the BMM-hardness of Dyck-reachability. The reduction is interesting in its own right. First, it is slightly stronger than the existing BMM-hardness results because our reduction only requires one type of parenthesis in Dyck-reachability ($D_1$-reachability). Second, we formally attribute the "cubic bottleneck" to the need to solve $D_1$-reachability, which captures the semantics of pointer references/dereferences. This new perspective enables a more general reduction that applies to programs with arbitrary pointer statements types. Last, our reduction based on $D_1$-reachability shows that demand-driven points-to analysis is as hard as the exhaustive counterpart.


title: Controllability of Impulsive Semilinear Evolution Equations with Memory and Delay in Hilbert Spaces

abstract: Inspired in our work on the controllability for the semilinear with memory \cite{Carrasco-Guevara-Leiva:2017aa, Guevara-Leiva:2016aa, Guevara-Leiva:2017aa}, we present the general cases for the approximate controllability of impulsive semilinear evolution equations in a Hilbert space with memory and delay terms which arise from reaction-diffusion models. We prove that, for each initial and an arbitrary neighborhood of a final state, one can steer the system from the initial condition to this neighborhood of the final condition with an appropriated collection of admissible controls thanks to the delays. Our proof is based on semigroup theory and A.E. Bashirov et al. technique \cite{Bashirov-Ghahramanlou:2015aa, Bashirov-Jneid:2013aa, Bashirov-Mahmudov:2007aa} which avoids fixed point theorems.


title: A New Frame Synchronization Algorithm for Linear Periodic Channels with Memory -- Full Version

abstract: Identifying the start time of a sequence of symbols received at the receiver, commonly referred to as \emph{frame synchronization}, is a critical task for achieving good performance in digital communications systems employing time-multiplexed transmission. In this work we focus on \emph{frame synchronization} for linear channels with memory in which the channel impulse response is periodic and the additive Gaussian noise is correlated and cyclostationary. Such channels appear in many communications scenarios, including narrowband power line communications and interference-limited wireless communications. We derive frame synchronization algorithms based on simplifications of the optimal likelihood-ratio test, assuming the channel impulse response is unknown at the receiver, which is applicable to many practical scenarios. The computational complexity of each of the derived algorithms is characterized, and a procedure for selecting nearly optimal synchronization sequences is proposed. The algorithms derived in this work achieve better performance than the noncoherent correlation detector, and, in fact, facilitate a controlled tradeoff between complexity and performance.


title: Variable Skipping for Autoregressive Range Density Estimation

abstract: Deep autoregressive models compute point likelihood estimates of individual data points. However, many applications (i.e., database cardinality estimation) require estimating range densities, a capability that is under-explored by current neural density estimation literature. In these applications, fast and accurate range density estimates over high-dimensional data directly impact user-perceived performance. In this paper, we explore a technique, variable skipping, for accelerating range density estimation over deep autoregressive models. This technique exploits the sparse structure of range density queries to avoid sampling unnecessary variables during approximate inference. We show that variable skipping provides 10-100$\times$ efficiency improvements when targeting challenging high-quantile error metrics, enables complex applications such as text pattern matching, and can be realized via a simple data augmentation procedure without changing the usual maximum likelihood objective.


title: Improved Detection of Adversarial Images Using Deep Neural Networks

abstract: Machine learning techniques are immensely deployed in both industry and academy. Recent studies indicate that machine learning models used for classification tasks are vulnerable to adversarial examples, which limits the usage of applications in the fields with high precision requirements. We propose a new approach called Feature Map Denoising to detect the adversarial inputs and show the performance of detection on the mixed dataset consisting of adversarial examples generated by different attack algorithms, which can be used to associate with any pre-trained DNNs at a low cost. Wiener filter is also introduced as the denoise algorithm to the defense model, which can further improve performance. Experimental results indicate that good accuracy of detecting the adversarial examples can be achieved through our Feature Map Denoising algorithm.


title: On the arithmetic of stable domains

abstract: A commutative ring $R$ is stable if every non-zero ideal $I$ of $R$ is projective over its ring of endomorphisms. Motivated by a paper of Bass in the 1960s, stable rings have received wide attention in the literature ever since then. Much is known on the algebraic structure of stable rings and on the relationship of stability with other algebraic properties such as divisoriality and the $2$-generator property. In the present paper we study the arithmetic of stable integral domains, with a focus on arithmetic properties of semigroups of ideals of stable orders in Dedekind domains.


title: Classical and statistical limits of the quantum singular oscillator

abstract: The classical boundaries of the quantum singular oscillator (SO) is addressed under Weyl-Wigner phase-space and Bohmian mechanics frameworks as to comparatively evaluate phase-space and configuration space quantum trajectories as well as to compute distorting quantum fluctuations. For an engendered pure state \textit{quasi}-gaussian Wigner function that recovers the classical time evolution (at phase and configuration spaces), Bohmian trajectories are analytically obtained as to show how the SO energy and anharmonicity parameters drive the quantum regime through the so-called quantum force, which quantitatively distorts the recovered classical behavior. Extending the discussion of classical-quantum limits to a quantum statistical ensemble, the thermalized Wigner function and the corresponding Wigner currents are computed as to show how the temperature dependence affects the local quantum fluctuations. Considering that the level of quantum mixing is quantified by the quantum purity, the loss of information is quantified in terms of the temperature effects. Despite having contrasting phase-space flow profiles, two inequivalent quantum systems, namely the singular and the harmonic oscillators, besides reproducing stable classical limits, are shown to be statistically equivalent at thermal equilibrium, a fact that raises the SO non-linear system to a very particular category of quantum systems.


title: Random acceleration process under stochastic resetting

abstract: We consider the motion of a randomly accelerated particle in one dimension under stochastic resetting mechanism. Denoting the position and velocity by $x$ and $v$ respectively, we consider two different resetting protocols - (i) complete resetting: here both $x$ and $v$ reset to their initial values $x_0$ and $v_0$ at a constant rate $r$, (ii) partial resetting: here only $x$ resets to $x_0$ while $v$ evolves without interruption. For complete resetting, we find that the particle attains stationary state in both $x$ and $v$. We compute the non-equilibrium joint stationary state of $x$ and $v$ and also study the late time relaxation of the distribution function. On the other hand, for partial resetting, the joint distribution is always in the transient state. At large $t$, the position distribution possesses a scaling behaviour $(x/ \sqrt{t})$ which we rigorously derive. Next, we study the first passage time properties with an absorbing wall at the origin. For complete resetting, we find that the mean first passage time is rendered finite by the resetting mechanism. We explicitly derive the expressions for the mean first passage time and the survival probability at large $t$. However, in stark contrast, for partial resetting, we find that resetting does not render finite mean first passage time. This is because even though $x$ is brought to $x_0$, the large fluctuation in $v$ ($\sim \sqrt{t}$) can take the particle substantially far from the origin. All our analytic results are corroborated by the numerical simulations.


title: Vizarel: A System to Help Better Understand RL Agents

abstract: Visualization tools for supervised learning have allowed users to interpret, introspect, and gain intuition for the successes and failures of their models. While reinforcement learning practitioners ask many of the same questions, existing tools are not applicable to the RL setting. In this work, we describe our initial attempt at constructing a prototype of these ideas, through identifying possible features that such a system should encapsulate. Our design is motivated by envisioning the system to be a platform on which to experiment with interpretable reinforcement learning.


title: Revealing the State of the Art of Large-Scale Agile Development Research: A Systematic Mapping Study

abstract: Context: Success with agile methods in the small scale has led to an increasing adoption also in large development undertakings and organizations. Recent years have also seen an increasing amount of primary research on the topic, as well as a number of systematic literature reviews. However, there is no systematic overview of the whole research field. Objective: This work identifies, classifies, and evaluates the state of the art of research in large-scale agile development. Method: We conducted a systematic mapping study and rigorously selected 136 studies. We designed a classification framework and extracted key information from the studies. We synthesized the obtained data and created an overview of the state of the art. Results: This work contributes with (i) a description of large-scale agile endeavors reported in the industry, (ii) a systematic map of existing research in the field, (iii) an overview of influential studies, (iv) an overview of the central research themes, and (v) a research agenda for future research. Conclusion: This study portrays the state of the art in large-scale agile development and offers researchers and practitioners a reflection of the past thirteen years of research and practice on the large-scale application of agile methods.


title: Inferring the properties of a population of compact binaries in presence of selection effects

abstract: Shortly after a new class of objects is discovered, the attention shifts from the properties of the individual sources to the question of their origin: do all sources come from the same underlying population, or several populations are required? What are the properties of these populations? As the detection of gravitational waves is becoming routine and the size of the event catalog increases, finer and finer details of the astrophysical distribution of compact binaries are now within our grasp. This Chapter presents a pedagogical introduction to the main statistical tool required for these analyses: hierarchical Bayesian inference in the presence of selection effects. All key equations are obtained from first principles, followed by two examples of increasing complexity. Although many remarks made in this Chapter refer to gravitational-wave astronomy, the write-up is generic enough to be useful to researchers and graduate students from other fields.


title: A Strong XOR Lemma for Randomized Query Complexity

abstract: We give a strong direct sum theorem for computing $xor \circ g$. Specifically, we show that for every function g and every $k\geq 2$, the randomized query complexity of computing the xor of k instances of g satisfies $\overline{R}_\eps(xor\circ g) = \Theta(k \overline{R}_{\eps/k}(g))$. This matches the naive success amplification upper bound and answers a conjecture of Blais and Brody (CCC19). As a consequence of our strong direct sum theorem, we give a total function g for which $R(xor \circ g) = \Theta(k \log(k)\cdot R(g))$, answering an open question from Ben-David et al.(arxiv:2006.10957v1).


title: Dual supermassive black holes at close separation revealed by the Hyper Suprime-Cam Subaru Strategic Program

abstract: The unique combination of superb spatial resolution, wide-area coverage, and deep depth of the optical imaging from the Hyper Suprime-Cam (HSC) Subaru Strategic Program is utilized to search for dual quasar candidates. Using an automated image analysis routine on 34,476 known SDSS quasars, we identify those with two (or more) distinct optical point sources in HSC images covering 796 deg^2. We find 421 candidates out to a redshift of 4.5 of which one hundred or so are more likely after filtering out contaminating stars. Angular separations of 0.6 - 4.0" correspond to projected separations of 3 - 30 kpc, a range relatively unexplored for population studies of luminous dual quasars. Using Keck-I/LRIS and Gemini-N/NIFS, we spectroscopically confirm three dual quasar systems at z < 1, two of which are previously unknown out of eight observed, based on the presence of characteristic broad emission lines in each component, while highlighting that the continuum of one object in one of the pairs is reddened. In all cases, the [OIII]5007 emission lines have mild velocity offsets, thus the joint [OIII] line profile is not double-peaked. We find a dual quasar fraction of 0.26+/-0.18% and no evidence for evolution. A comparison with the Horizon-AGN simulation seems to support the case of no evolution in the dual quasar fraction when broadly matching the quasar selection. These results may indicate a scenario in which the frequency of the simultaneous triggering of luminous quasars is not as sensitive as expected to the cosmic evolution of the merger rate or gas content of galaxies.


title: Mean Ergodicity of Multiplication Operators on the Bloch and Besov Spaces

abstract: In this paper, the power boundedness and mean ergodicity of multiplication operators are investigated on the Bloch space B, the little Bloch space B0 and the Besov Space Bp. We completely characterize power bounded, mean ergodic and uniformly mean ergodic multiplication operators on B and B0.


title: Quantum Advantage with Seeded Squeezed Light for Absorption Measurement

abstract: Absorption measurement is an exceptionally versatile tool for many applications in science and engineering. For absorption measurements using laser beams of light, the sensitivity is theoretically limited by the shot noise due to the fundamental Poisson distribution of photon number in laser radiation. In practice, the shot-noise limit can only be achieved when all other sources of noise are eliminated. \textcolor{black}{Here, we use seeded squeezed light to demonstrate that direct absorption measurement can be performed with sensitivity beyond the shot-noise limit. We present a practically realizable scheme, where intensity squeezed beams are generated by a seeded four-wave mixing process in an atomic rubidium vapor cell. More than 1.2~dB quantum advantage for the measurement sensitivity is obtained at faint absorption levels ($\leq 10\%$). We also present a detailed theoretical analysis to show that the observed quantum advantage when corrected for optical loss would be equivalent to 3~dB. Our experiment demonstrates a direct sub-shot-noise measurement of absorption that requires neither homodyne/lock-in nor logic coincidence detection schemes. It is therefore very applicable in many circumstances where sub-shot-noise-level absorption measurements are highly desirable.


title: Infrared-suppressed QCD coupling and the hadronic contribution to muon g-2

abstract: A variant of QCD with the coupling suppressed in the infrared (IR) regime, as suggested by large-volume lattice calculations of the Landau-gauge gluon and ghost dressing functions, is considered. The coupling is further restricted by the condition of approximate coincidence with perturbative QCD in the high momentum regime, and by the $\tau$-lepton semihadronic decay rate in the intermediate momentum regime, the rate which is evaluated by a renormalon-motivated resummation method. The obtained coupling turns out to be free of Landau singularities. The $D=4,6$ condensate values of the Adler function are then extracted by application of the Borel sum rules to the OPAL and ALEPH (V+A)-channel data of $\tau$-decay, and the corresponding V-channel condensate values are deduced as well. We then show that the correct value of the hadronic vacuum polarization contribution to the muon anomalous magnetic moment, $a_{\mu}^{\rm had(1)}$, is reproduced by regularizing the $D=4,6$ OPE terms in the V-channel Adler function with IR-regularization masses ${\cal M}_{D/2} \lesssim 1 \ {\rm GeV}$, suggesting the internal consistency of the presented QCD framework.


title: Combinatorial Bounds for Conflict-free Coloring on Open Neighborhoods

abstract: In an undirected graph $G$, a conflict-free coloring with respect to open neighborhoods (denoted by CFON coloring) is an assignment of colors to the vertices such that every vertex has a uniquely colored vertex in its open neighborhood. The minimum number of colors required for a CFON coloring of $G$ is the CFON chromatic number of $G$, denoted by $\chi_{ON}(G)$. The decision problem that asks whether $\chi_{ON}(G) \leq k$ is NP-complete. We obtain the following results: * Bodlaender, Kolay and Pieterse [WADS 2019] showed the upper bound $\chi_{ON}(G)\leq {\sf fvs}(G)+3$, where ${\sf fvs}(G)$ denotes the size of a minimum feedback vertex set of $G$. We show the improved bound of $\chi_{ON}(G)\leq {\sf fvs}(G)+2$, which is tight, thereby answering an open question in the above paper. * We study the relation between $\chi_{ON}(G)$ and the pathwidth of the graph $G$, denoted ${\sf pw}(G)$. The above paper from WADS 2019 showed the upper bound $\chi_{ON}(G) \leq 2{\sf tw}(G)+1$ where ${\sf tw}(G)$ stands for the treewidth of $G$. This implies an upper bound of $\chi_{ON}(G) \leq 2{\sf pw}(G)+1$. We show an improved bound of $\chi_{ON}(G) \leq \lfloor \frac{5}{3}({\sf pw}(G)+1) \rfloor$. * We prove new bounds for $\chi_{ON}(G)$ with respect to the structural parameters neighborhood diversity and distance to cluster, improving existing results. * We also study the partial coloring variant of the CFON coloring problem, which allows vertices to be left uncolored. Let $\chi^*_{ON}(G)$ denote the minimum number of colors required to color $G$ as per this variant. Abel et. al. [SIDMA 2018] showed that $\chi^*_{ON}(G) \leq 8$ when $G$ is planar. They asked if fewer colors would suffice for planar graphs. We answer this question by showing that $\chi^*_{ON}(G) \leq 5$ for all planar $G$. All our bounds are a result of constructive algorithmic procedures.


title: A Catalog of Solar Flare Events Observed by the SOHO/EIT

abstract: We have compiled a catalog of solar flares as observed by the Extreme ultraviolet Imaging Telescope (EIT) aboard the Solar and Heliospheric Observatory (SOHO) spacecraft and the GOES spacecraft over a span from 1997 to 2010. During mid-1998, the cadence of EIT images was revised from two images per day to 12 minutes. However, the low temporal resolution causes significant data gaps in capturing much of the flaring phenomenon. Therefore, we monitor possible errors in flare detection by flare parameters such as temporal overlap, observational wavelength, and considering full field of view (FOV) images. We consider the GOES flare catalog as the primary source. We describe the technique used to enhance the GOES detected flares using the Extreme Ultraviolet (EUV) image captured by the EIT instrument. In order to detect brightenings, we subtract the images with a maximum cadence of 25 minutes. We have downloaded and analyzed the EIT data via the Virtual Solar Observatory (VSO). This flare dataset from the SOHO/EIT period proves indispensable to the process of the solar flare predictions as the instrument has covered most of Solar Cycle 23.


title: Systematic Comparison and Cross-validation of Fixed-Node Diffusion Monte Carlo and Phaseless Auxiliary-Field Quantum Monte Carlo in Solids

abstract: Quantum Monte Carlo (QMC) methods are some of the most accurate methods for simulating correlated electronic systems. We investigate the compatibility, strengths and weaknesses of two such methods, namely, diffusion Monte Carlo (DMC) and auxiliary-field quantum Monte Carlo (AFQMC). The multi-determinant trial wave functions employed in both approaches are generated using the configuration interaction using a perturbative selection made iteratively (CIPSI) technique. Complete basis set full configuration interaction (CBS-FCI) energies estimated with CIPSI are used as a reference in this comparative study between DMC and AFQMC. By focusing on a set of canonical finite size solid state systems, we show that both QMC methods can be made to systematically converge towards the same energy once basis set effects and systematic biases have been removed. AFQMC shows a much smaller dependence on the trial wavefunction than DMC while simultaneously exhibiting a much larger basis set dependence. We outline some of the remaining challenges and opportunities for improving these approaches.


title: The inf-translation for solving set minimization problems

abstract: Set- and vector-valued optimization problems can be re-formulated as complete lattice-valued problems. This has several advantages, one of which is the existence of a clear-cut solution concept which includes the attainment as the infimum (not present in traditional vector optimization theory) and minimality as two potentially different features. The task is to find a set which is large enough to generate the infimum but at the same time small enough to include only minimizers. In this paper, optimality conditions for such sets based on the inf-translation are given within an abstract framework. The inf-translation reduces the solution set to a single point which in turn admits the application of more standard procedures. For functions with values in complete lattices of sets, scalarization results are provided where the focus is on convex problems. Vector optimization problems, in particular a vectorial calculus of variations problem, are discussed as examples.


title: Unimodular quantum gravity: Steps beyond perturbation theory

abstract: The renormalization group flow of unimodular quantum gravity is computed by taking into account the graviton and Faddeev-Popov ghosts anomalous dimensions. In this setting, a ultraviolet attractive fixed point is found. Symmetry-breaking terms induced by the coarse-graining procedure are introduced and their impact on the flow is analyzed. A discussion on the equivalence of unimodular quantum gravity and standard full diffeomorphism invariant theories is provided beyond perturbation theory.


title: The Host Galaxy of the Dwarf Seyfert UGC 06728

abstract: We present multi-color high-resolution imaging of the host galaxy of the dwarf Seyfert UGC 06728. As the lowest-mass black hole to be described with both a direct mass constraint and a spin constraint, UGC 06728 is an important source for comparison with black hole evolutionary models, yet little is known about the host galaxy. Using Hubble Space Telescope imaging in the optical and near-infrared, we find that UGC 06728 is a barred lenticular (SB0) galaxy with prominent ansae at the ends of the bar. We cleanly separated the AGN from the resolved galaxy with two-dimensional image decompositions, thus allowing accurate surface brightness profiles to be derived in all filters from the outer edge of the galaxy all the way into the nucleus. Based on a sample of 51 globular cluster candidates identified in the images, the globular cluster luminosity function predicts a distance to UCG 06728 of $32.5\pm3.5$ Mpc. Combining the galaxy photometry with the distance estimate, we derive a starlight-corrected AGN luminosity, the absolute magnitude of the galaxy, and a constraint on the galaxy stellar mass of $\log M_{\star}/M_{\odot}=9.9\pm0.2$.


title: Partial Altruism is Worse than Complete Selfishness in Nonatomic Congestion Games

abstract: We seek to understand the fundamental mathematics governing infrastructure-scale interactions between humans and machines, particularly when the machines' intended purpose is to influence and optimize the behavior of the humans. To that end, this paper investigates the worst-case congestion that can arise in nonatomic network congestion games when a fraction of the traffic is completely altruistic (e.g., benevolent self-driving cars) and the remainder is completely selfish (e.g., human commuters). We study the worst-case harm of altruism in such scenarios in terms of the perversity index, or the worst-case equilibrium congestion cost resulting from the presence of altruistic traffic, relative to the congestion cost which would result if all traffic were selfish. We derive a tight bound on the perversity index for the class of series-parallel network congestion games with convex latency functions, and show three facts: First, the harm of altruism is maximized when exactly half of the traffic is altruistic, but it gracefully vanishes when the fraction of altruistic traffic approaches either 0 or 1. Second, we show that the harm of altruism is linearly increasing in a natural measure of the "steepness" of network latency functions. Finally, we show that for any nontrivial fraction of altruistic traffic, the harm of altruism exceeds the price of anarchy associated with all-selfish traffic: in a sense, partial altruism is worse than complete selfishness.


title: Experiments of Federated Learning for COVID-19 Chest X-ray Images

abstract: AI plays an important role in COVID-19 identification. Computer vision and deep learning techniques can assist in determining COVID-19 infection with Chest X-ray Images. However, for the protection and respect of the privacy of patients, the hospital's specific medical-related data did not allow leakage and sharing without permission. Collecting such training data was a major challenge. To a certain extent, this has caused a lack of sufficient data samples when performing deep learning approaches to detect COVID-19. Federated Learning is an available way to address this issue. It can effectively address the issue of data silos and get a shared model without obtaining local data. In the work, we propose the use of federated learning for COVID-19 data training and deploy experiments to verify the effectiveness. And we also compare performances of four popular models (MobileNet, ResNet18, MoblieNet, and COVID-Net) with the federated learning framework and without the framework. This work aims to inspire more researches on federated learning about COVID-19.


title: Attention-guided Quality Assessment for Automated Cryo-EM Grid Screening

abstract: Cryogenic electron microscopy (cryo-EM) has become an enabling technology in drug discovery and in understanding molecular bases of disease by producing near-atomic resolution (less than 0.4 nm) 3D reconstructions of biological macromolecules. The imaging process required for 3D reconstructions involves a highly iterative and empirical screening process, starting with the acquisition of low magnification images of the cryo-EM grids. These images are inspected for squares that are likely to contain useful molecular signals. Potentially useful squares within the grid are then imaged at progressively higher magnifications, with the goal of identifying sub-micron areas within circular holes (bounded by the squares) for imaging at high magnification. This arduous, multi-step data acquisition process represents a bottleneck for obtaining a high throughput data collection. Here, we focus on automating the early decision making for the microscope operator, scoring low magnification images of squares, and proposing the first deep learning framework, XCryoNet, for automated cryo-EM grid screening. XCryoNet is a semi-supervised, attention-guided deep learning approach that provides explainable scoring of automatically extracted square images using limited amounts of labeled data. Results show up to 8% and 37% improvements over a fully supervised and a no-attention solution, respectively, when labeled data is scarce.


title: Programming stiff inflatable shells from planar patterned fabrics

abstract: Lack of stiffness often limits thin shape-shifting structures to small scales. The large in-plane transformations required to distort the metrics are indeed commonly achieved by using soft hydrogels or elastomers. We introduce here a versatile single-step method to shapeprogram stiff inflated structures, opening the door for numerous large scale applications, ranging from space deployable structures to emergency shelters. This technique relies on channel patterns obtained by heat-sealing superimposed flat quasi-inextensible fabric sheets. Inflating channels induces an anisotropic in-plane contraction and thus a possible change of Gaussian curvature. Seam lines, which act as a director field for the in-plane deformation, encode the shape of the deployed structure. We present three patterning methods to quantitatively and analytically program shells with non-Euclidean metrics. In addition to shapes, we describe with scaling laws the mechanical properties of the inflated structures. Large deployed structures can resist their weight, substantially broadening the palette of applications.


title: Poincare return maps in neural dynamics: three examples

abstract: Understanding of the onset and generic mechanisms of transitions between distinct patterns of activity in realistic models of individual neurons and neural networks presents a fundamental challenge for the theory of applied dynamical systems. We use three examples of slow-fast neural systems to demonstrate a suite of new computational tools to study diverse neuronal systems.


title: Hardware Implementation of Keyless Encryption Scheme for Internet of Things Based on Image of Memristors

abstract: The Internet of Things (IoT) is rapidly increasing the number of connected devices. This causes new concerns towards solutions for authenticating numerous IoT devices. Most of these devices are resource-constrained. Therefore, the use of long-secret keys, in traditional cryptography schemes can be hard to implement. Also, the key generation, distribution, and storage are very complex. Moreover, the goal of many reported cyber-attacks is accessing the key. Therefore, researchers have shown an increased interest in designing keyless encryption schemes recently. In this report, we are going to explain the details of the implementation of the keyless protocol by taking advantage of known technology modules such as microcontrollers (MCU), and hash functions. Physical Unclonable Functions (PUFs) have been used in many cryptographic applications such as Password Management Systems, key exchange, Key Generation. In this report, we are going to explain the details of the hardware implementation of keyless encryption in the MCU. Different kinds of memristors have been used in the past. In this work, a look-up-table containing memristor cells value at the various current levels is used since the physical component is unavailable yet. The hardware that is used to implement the system is an evaluation-board of SAMV71 MCU, which is used to implement the control system and hardware hashing.


title: EMIXER: End-to-end Multimodal X-ray Generation via Self-supervision

abstract: Deep generative models have enabled the automated synthesis of high-quality data for diverse applications. However, the most effective generative models are specialized to data from a single domain (e.g., images or text). Real-world applications such as healthcare require multi-modal data from multiple domains (e.g., both images and corresponding text), which are difficult to acquire due to limited availability and privacy concerns and are much harder to synthesize. To tackle this joint synthesis challenge, we propose an End-to-end MultImodal X-ray genERative model (EMIXER) for jointly synthesizing x-ray images and corresponding free-text reports, all conditional on diagnosis labels. EMIXER is an conditional generative adversarial model by 1) generating an image based on a label, 2) encoding the image to a hidden embedding, 3) producing the corresponding text via a hierarchical decoder from the image embedding, and 4) a joint discriminator for assessing both the image and the corresponding text. EMIXER also enables self-supervision to leverage vast amount of unlabeled data. Extensive experiments with real X-ray reports data illustrate how data augmentation using synthesized multimodal samples can improve the performance of a variety of supervised tasks including COVID-19 X-ray classification with very limited samples. The quality of generated images and reports are also confirmed by radiologists. We quantitatively show that EMIXER generated synthetic datasets can augment X-ray image classification, report generation models to achieve 5.94% and 6.9% improvement on models trained only on real data samples. Taken together, our results highlight the promise of state of generative models to advance clinical machine learning.


title: Early-type galaxies in the Antlia Cluster: global properties

abstract: We present an extension of our previous research on the early-type galaxy population of the Antlia cluster (d ~ 35 Mpc), achieving a total coverage of ~ 2.6 deg x deg and performing surface photometry for ~300 galaxies, 130 of which are new uncatalogued ones. Such new galaxies mainly fall in the low surface brightness (LSB) regime, but there are also some lenticulars (S0) which support the existence of unique functions that connect bright and dwarf galaxies in the scaling relations. We analyse the projected spatial distribution of galaxies up to a distance of ~800 kpc from NGC 3268, the adopted centre, as well as the radial velocity distribution and the correlation between galaxy colour and effective radius with the projected spatial distribution. We also obtain the luminosity function of the early-type galaxies and the distribution of stellar masses using the T1-band magnitudes and adopted mass-luminosity ratios. Additionally, we correlate the central galaxy distribution with an X-ray emission map from the literature. Based on the analysis of the radial velocities and galaxy colour distributions, we find that galaxies redder than the colour-magnitude relation (CMR) have a velocity distribution strongly concentrated towards the values of the dominant galaxies and are homogeneously distributed throughout the cluster. Those bluer than the CMR, in turn, have a much more extended radial velocity distribution and are concentrated towards the centre of the cluster. We also identify 12 candidates to ultra diffuse galaxies (UDG), that seem to be split into two families, and speculate about their origins in the context of the cluster structure.


title: Linear programming bounds for covering radius of spherical designs

abstract: We apply polynomial techniques (linear programming) to obtain lower and upper bounds on the covering radius of spherical designs as function of their dimension, strength, and cardinality. In terms of inner products we improve the lower bounds due to Fazekas and Levenshtein and propose new upper bounds. Our approach to the lower bounds involves certain signed measures whose corresponding series of orthogonal polynomials are positive definite up to a certain (appropriate) degree. Upper bounds are based on a geometric observation and more or less standard linear programming techniques.


title: Predicting the Accuracy of Asteroid Size Estimation with Data from the Rubin Observatory Legacy Survey of Space and Time

abstract: Recent work has shown that the correlation between SDSS colors and optical albedo can be used to estimate asteroid sizes from optical data alone. We revisit a correlation between SDSS colors and optical albedo for asteroids, with the albedo derived using WISE-based size estimates. Moeyens, Myhrvold \& Ivezi\'{c} (2020) showed that this correlation can be used to estimate asteroid sizes with optical data alone, with a precision of about 17\% relative to WISE-based size estimates. We present here several more sophisticated data-driven models for the variation of optical albedo with colors and estimate the contribution of SDSS photometric errors to the albedo and size estimate uncertainties. We use the results of our analysis to predict that LSST data will enable asteroid size precision of about 15\% relative to WISE-based size estimates. Compared to the accuracy of WISE-based size estimates of 15-20\%, the implied accuracy of optical size estimates, in the range 21-25\%, is thus only a factor of 1.3 to 1.4 worse. This size estimation accuracy is significantly better than commonly assumed for optical data and is due to accurate and homogeneous multi-band photometry delivered by modern digital sky surveys.


title: The global Gan-Gross-Prasad conjecture for unitary groups: the endoscopic case

abstract: In this paper, we prove the Gan-Gross-Prasad conjecture and the Ichino-Ikeda conjecture for unitary groups $U_n\times U_{n+1}$ in all the endoscopic cases. Our main technical innovation is the computation of the contributions of certain cuspidal data, called $*$-generic, to the Jacquet-Rallis trace formula for linear groups. We offer two different computations of these contributions: one, based on truncation, is expressed in terms of regularized Rankin-Selberg periods of Eisenstein series and Flicker-Rallis intertwining periods. The other, built upon Zeta integrals, is expressed in terms of functionals on the Whittaker model. A direct proof of the equality between the two expressions is also given. Finally several useful auxiliary results about the spectral expansion of the Jacquet-Rallis trace formula are provided.


title: Quantitative statistical properties of two-dimensional partially hyperbolic systems

abstract: We study a class of two dimensional partially hyperbolic systems, not necessarily skew products, trying to establish the germ of a general theory. To illustrate the scope of the theory, we apply our results to the case of fast-slow partially hyperbolic systems.


title: Geometric Support for Dark Matter by an Unaligned Einstein Ring in Abell 3827

abstract: The non-detection of dark matter (DM) particles in increasingly stringent laboratory searches has encouraged alternative gravity theories where gravity is sourced only from visible matter. Here, we consider whether such theories can pass a two-dimensional test posed by gravitational lensing -- to reproduce a particularly detailed Einstein ring in the core of the galaxy cluster Abell 3827. We find that when we require the lensing mass distribution to strictly follow the shape (ellipticity and position angle) of the light distribution of cluster member galaxies, intracluster stars, and the X-ray emitting intracluster medium, we cannot reproduce the Einstein ring, despite allowing the mass-to-light ratios of these visible components to freely vary with radius to mimic alternative gravity theories. Alternatively, we show that the detailed features of the Einstein ring are accurately reproduced by allowing a smooth, freely oriented DM halo in the lens model, with relatively small contributions from the visible components at a level consistent with their observed brightnesses. This dominant DM component is constrained to have the same orientation as the light from the intracluster stars, indicating that the intracluster stars trace the gravitational potential of this component. The Einstein ring of Abell 3827 therefore presents a new challenge for alternative gravity theories: not only must such theories find agreement between the total lensing mass and visible mass, but they must also find agreement between the projected sky distribution of the lensing mass and that of the visible matter, a more stringent test than has hitherto been posed by lensing data.


title: Near-field Radiative Heat Transfer in Many-Body Systems

abstract: Many-body physics aims to understand emergent properties of systems made of many interacting objects. This article reviews recent progress on the topic of radiative heat transfer in many-body systems consisting of thermal emitters interacting in the near-field regime. Near-field radiative heat transfer is a rapidly emerging field of research in which the cooperative behavior of emitters gives rise to peculiar effects which can be exploited to control heat flow at the nanoscale. Using an extension of the standard Polder and van Hove stochastic formalism to deal with thermally generated fields in $N$-body systems, along with their mutual interactions through multiple scattering, a generalized Landauer-like theory is derived to describe heat exchange mediated by thermal photons in arbitrary reciprocal and non-reciprocal multi-terminal systems. In this review, we use this formalism to address both transport and dynamics in these systems from a unified perspective. Our discussion covers: (i) the description of non-additivity of heat flux and its related effects, including fundamental limits as well as the role of nanostructuring and material choice, (ii) the study of equilibrium states and multistable states, (iii) the relaxation dynamics (thermalization) toward local and global equilibria, (iv) the analysis of heat transport regimes in ordered and disordered systems comprised of a large number of objects, density and range of interactions, and (v) the description of thermomagnetic effects in magneto-optical systems and heat transport mechanisms in non-Hermitian many-body systems. We conclude this review by listing outstanding challenges and promising future research directions.


title: Quantum interference effects of out-of-plane confinement on two-dimensional electron systems in oxides

abstract: It was recently discovered that a conductive, metallic state is formed on the surface of some insulating oxides. Firstly observed on SrTiO$_3$(001), it was then found in other compounds as diverse as anatase TiO$_2$, KTaO$_3$, BaTiO$_3$, ZnO, and also on different surfaces of SrTiO$_3$ (or other oxides) with different symmetries. The spatial extension of the wave function of this electronic state is of only a few atomic layers. Experiments indicate its existence is related to the presence of oxygen vacancies induced at or near the surface of the oxide. In this article we present a simplified model aimed at describing the effect of its small spatial extension on measurements of its 3D electronic structure by angular resolved photoemission spectroscopy (ARPES). For the sake of clarity, we base our discussion on a simple tight binding scheme plus a confining potential that is assumed to be induced by the oxygen vacancies. Our model parameters are, nevertheless, obtained from density functional calculations. With this methodology we can explain from a very simple concept of selective interference the "wobbling", i.e., the photoemission intensity modulation and/or apparent dispersion of the Fermi surface and spectra along the out-of-plane ($k_z$) direction, and the "mixed 2D/3D" characteristics observed in some experiments. We conclude that the critical model parameters for such an effect are the relative strength of the electronic hopping of each band and the height/width aspect ratio of the surface confining potential. By considering recent photoemission measurements under the light of our findings, we can get relevant information on the electronic wave functions and of the nature of the confining potential.


title: Neuromorphic Processing and Sensing: Evolutionary Progression of AI to Spiking

abstract: The increasing rise in machine learning and deep learning applications is requiring ever more computational resources to successfully meet the growing demands of an always-connected, automated world. Neuromorphic technologies based on Spiking Neural Network algorithms hold the promise to implement advanced artificial intelligence using a fraction of the computations and power requirements by modeling the functioning, and spiking, of the human brain. With the proliferation of tools and platforms aiding data scientists and machine learning engineers to develop the latest innovations in artificial and deep neural networks, a transition to a new paradigm will require building from the current well-established foundations. This paper explains the theoretical workings of neuromorphic technologies based on spikes, and overviews the state-of-art in hardware processors, software platforms and neuromorphic sensing devices. A progression path is paved for current machine learning specialists to update their skillset, as well as classification or predictive models from the current generation of deep neural networks to SNNs. This can be achieved by leveraging existing, specialized hardware in the form of SpiNNaker and the Nengo migration toolkit. First-hand, experimental results of converting a VGG-16 neural network to an SNN are shared. A forward gaze into industrial, medical and commercial applications that can readily benefit from SNNs wraps up this investigation into the neuromorphic computing future.


title: Layer-Dependent Topological Phase in a Two-Dimensional Quasicrystal and Approximant

abstract: Electronic and topological properties of materials are derived from the interplay between crystalline symmetry and dimensionality. Simultaneously introducing 'forbidden' symmetries via quasiperiodic ordering with low-dimensionality into a material system promises the emergence of new physical phenomena. Here, we isolate a two-dimensional chalcogenide quasicrystal and approximant, and investigate associated electronic and topological properties. Ultra-thin two-dimensional layers of the materials with a composition close to Ta1.6Te, derived from a layered transition metal dichalcogenide, are isolated with standard exfoliation techniques and investigated with electron diffraction and atomic-resolution scanning transmission electron microscopy. Density functional theory calculations and symmetry analysis of the large unit-cell crystalline approximant of the quasicrystal Ta21Te13 reveal the presence of symmetry protected nodal crossings in the quasicrystalline and approximate phases whose presence is tunable by layer number. Our study provides a platform for the exploration of physics in quasicrystalline low-dimensional materials and the interconnected nature of topology, dimensionality and symmetry in electronic systems.


title: Image Captioning with Compositional Neural Module Networks

abstract: In image captioning where fluency is an important factor in evaluation, e.g., $n$-gram metrics, sequential models are commonly used; however, sequential models generally result in overgeneralized expressions that lack the details that may be present in an input image. Inspired by the idea of the compositional neural module networks in the visual question answering task, we introduce a hierarchical framework for image captioning that explores both compositionality and sequentiality of natural language. Our algorithm learns to compose a detail-rich sentence by selectively attending to different modules corresponding to unique aspects of each object detected in an input image to include specific descriptions such as counts and color. In a set of experiments on the MSCOCO dataset, the proposed model outperforms a state-of-the art model across multiple evaluation metrics, more importantly, presenting visually interpretable results. Furthermore, the breakdown of subcategories $f$-scores of the SPICE metric and human evaluation on Amazon Mechanical Turk show that our compositional module networks effectively generate accurate and detailed captions.


title: Class LM and word mapping for contextual biasing in End-to-End ASR

abstract: In recent years, all-neural, end-to-end (E2E) ASR systems gained rapid interest in the speech recognition community. They convert speech input to text units in a single trainable Neural Network model. In ASR, many utterances contain rich named entities. Such named entities may be user or location specific and they are not seen during training. A single model makes it inflexible to utilize dynamic contextual information during inference. In this paper, we propose to train a context aware E2E model and allow the beam search to traverse into the context FST during inference. We also propose a simple method to adjust the cost discrepancy between the context FST and the base model. This algorithm is able to reduce the named entity utterance WER by 57% with little accuracy degradation on regular utterances. Although an E2E model does not need pronunciation dictionary, it's interesting to make use of existing pronunciation knowledge to improve accuracy. In this paper, we propose an algorithm to map the rare entity words to common words via pronunciation and treat the mapped words as an alternative form to the original word during recognition. This algorithm further reduces the WER on the named entity utterances by another 31%.


title: Batch-Incremental Triplet Sampling for Training Triplet Networks Using Bayesian Updating Theorem

abstract: Variants of Triplet networks are robust entities for learning a discriminative embedding subspace. There exist different triplet mining approaches for selecting the most suitable training triplets. Some of these mining methods rely on the extreme distances between instances, and some others make use of sampling. However, sampling from stochastic distributions of data rather than sampling merely from the existing embedding instances can provide more discriminative information. In this work, we sample triplets from distributions of data rather than from existing instances. We consider a multivariate normal distribution for the embedding of each class. Using Bayesian updating and conjugate priors, we update the distributions of classes dynamically by receiving the new mini-batches of training data. The proposed triplet mining with Bayesian updating can be used with any triplet-based loss function, e.g., triplet-loss or Neighborhood Component Analysis (NCA) loss. Accordingly, Our triplet mining approaches are called Bayesian Updating Triplet (BUT) and Bayesian Updating NCA (BUNCA), depending on which loss function is being used. Experimental results on two public datasets, namely MNIST and histopathology colorectal cancer (CRC), substantiate the effectiveness of the proposed triplet mining method.


title: Deep Contextual Clinical Prediction with Reverse Distillation

abstract: Healthcare providers are increasingly using machine learning to predict patient outcomes to make meaningful interventions. However, despite innovations in this area, deep learning models often struggle to match performance of shallow linear models in predicting these outcomes, making it difficult to leverage such techniques in practice. In this work, motivated by the task of clinical prediction from insurance claims, we present a new technique called Reverse Distillation which pretrains deep models by using high-performing linear models for initialization. We make use of the longitudinal structure of insurance claims datasets to develop Self Attention with Reverse Distillation, or SARD, an architecture that utilizes a combination of contextual embedding, temporal embedding and self-attention mechanisms and most critically is trained via reverse distillation. SARD outperforms state-of-the-art methods on multiple clinical prediction outcomes, with ablation studies revealing that reverse distillation is a primary driver of these improvements. Code is available at https://github.com/clinicalml/omop-learn.


title: Multi-Dialect Arabic BERT for Country-Level Dialect Identification

abstract: Arabic dialect identification is a complex problem for a number of inherent properties of the language itself. In this paper, we present the experiments conducted, and the models developed by our competing team, Mawdoo3 AI, along the way to achieving our winning solution to subtask 1 of the Nuanced Arabic Dialect Identification (NADI) shared task. The dialect identification subtask provides 21,000 country-level labeled tweets covering all 21 Arab countries. An unlabeled corpus of 10M tweets from the same domain is also presented by the competition organizers for optional use. Our winning solution itself came in the form of an ensemble of different training iterations of our pre-trained BERT model, which achieved a micro-averaged F1-score of 26.78% on the subtask at hand. We publicly release the pre-trained language model component of our winning solution under the name of Multi-dialect-Arabic-BERT model, for any interested researcher out there.


title: Fast and slow nonlinearities in ENZ materials

abstract: Novel materials, with enhanced light-matter interaction capabilities, play an essential role in achieving the lofty goals of nonlinear optics. Recently, Epsilon-Near-Zero (ENZ) media have emerged as a promising candidate to enable the enhancement of several nonlinear processes including refractive index modulation and harmonic generation. Here, we analyze the optical nonlinearity of ENZ media to clarify the commonalities with other nonlinear media and its unique properties. We focus on transparent conducting oxides (TCOs) as the family of ENZ media with near zero permittivity in the near-infrared (telecom) band. We investigate the instantaneous and delayed nonlinearities. By identifying their common origin from the band nonparabolicity, we show that their relative strength is entirely determined by a ratio of the energy and momentum relaxation (or dephasing) times. Using this framework, we compare ENZ materials against the many promising nonlinear media that have been investigated in literature and show that while ENZ materials do not radically outpace the strength of traditional materials in either the fast or slow nonlinearity, they pack key advantages such as an ideal response time, intrinsic slow light enhancement, and broadband nature in a compact platform making them a valuable tool for ultrafast photonics applications for decades to come.


title: Efficient MDP Analysis for Selfish-Mining in Blockchains

abstract: A proof of work (PoW) blockchain protocol distributes rewards to its participants, called miners, according to their share of the total computational power. Sufficiently large miners can perform selfish mining - deviate from the protocol to gain more than their fair share. Such systems are thus secure if all miners are smaller than a threshold size so their best response is following the protocol. To find the threshold, one has to identify the optimal strategy for miners of different sizes, i.e., solve a Markov Decision Process (MDP). However, because of the PoW difficulty adjustment mechanism, the miners' utility is a non-linear ratio function. We therefore call this an Average Reward Ratio (ARR) MDP. Sapirshtein et al.\ were the first to solve ARR MDPs by solving a series of standard MDPs that converge to the ARR MDP solution. In this work, we present a novel technique for solving an ARR MDP by solving a single standard MDP. The crux of our approach is to augment the MDP such that it terminates randomly, within an expected number of rounds. We call this Probabilistic Termination Optimization (PTO), and the technique applies to any MDP whose utility is a ratio function. We bound the approximation error of PTO - it is inversely proportional to the expected number of rounds before termination, a parameter that we control. Empirically, PTO's complexity is an order of magnitude lower than the state of the art. PTO can be easily applied to different blockchains. We use it to tighten the bound on the threshold for selfish mining in Ethereum.


title: PCAMs: Weakly Supervised Semantic Segmentation Using Point Supervision

abstract: Current state of the art methods for generating semantic segmentation rely heavily on a large set of images that have each pixel labeled with a class of interest label or background. Coming up with such labels, especially in domains that require an expert to do annotations, comes at a heavy cost in time and money. Several methods have shown that we can learn semantic segmentation from less expensive image-level labels, but the effectiveness of point level labels, a healthy compromise between all pixels labelled and none, still remains largely unexplored. This paper presents a novel procedure for producing semantic segmentation from images given some point level annotations. This method includes point annotations in the training of a convolutional neural network (CNN) for producing improved localization and class activation maps. Then, we use another CNN for predicting semantic affinities in order to propagate rough class labels and create pseudo semantic segmentation labels. Finally, we propose training a CNN that is normally fully supervised using our pseudo labels in place of ground truth labels, which further improves performance and simplifies the inference process by requiring just one CNN during inference rather than two. Our method achieves state of the art results for point supervised semantic segmentation on the PASCAL VOC 2012 dataset \cite{everingham2010pascal}, even outperforming state of the art methods for stronger bounding box and squiggle supervision.


title: NaviGAN: A Generative Approach for Socially Compliant Navigation

abstract: Robots navigating in human crowds need to optimize their paths not only for their task performance but also for their compliance to social norms. One of the key challenges in this context is the lack of standard metrics for evaluating and optimizing a socially compliant behavior. Existing works in social navigation can be grouped according to the differences in their optimization objectives. For instance, the reinforcement learning approaches tend to optimize on the \textit{comfort} aspect of the socially compliant navigation, whereas the inverse reinforcement learning approaches are designed to achieve \textit{natural} behavior. In this paper, we propose NaviGAN, a generative navigation algorithm that jointly optimizes both of the \textit{comfort} and \textit{naturalness} aspects. Our approach is designed as an adversarial training framework that can learn to generate a navigation path that is both optimized for achieving a goal and for complying with latent social rules. A set of experiments has been carried out on multiple datasets to demonstrate the strengths of the proposed approach quantitatively. We also perform extensive experiments using a physical robot in a real-world environment to qualitatively evaluate the trained social navigation behavior. The video recordings of the robot experiments can be found in the link: https://youtu.be/61blDymjCpw.


title: Quantization in Relative Gradient Angle Domain For Building Polygon Estimation

abstract: Building footprint extraction in remote sensing data benefits many important applications, such as urban planning and population estimation. Recently, rapid development of Convolutional Neural Networks (CNNs) and open-sourced high resolution satellite building image datasets have pushed the performance boundary further for automated building extractions. However, CNN approaches often generate imprecise building morphologies including noisy edges and round corners. In this paper, we leverage the performance of CNNs, and propose a module that uses prior knowledge of building corners to create angular and concise building polygons from CNN segmentation outputs. We describe a new transform, Relative Gradient Angle Transform (RGA Transform) that converts object contours from time vs. space to time vs. angle. We propose a new shape descriptor, Boundary Orientation Relation Set (BORS), to describe angle relationship between edges in RGA domain, such as orthogonality and parallelism. Finally, we develop an energy minimization framework that makes use of the angle relationship in BORS to straighten edges and reconstruct sharp corners, and the resulting corners create a polygon. Experimental results demonstrate that our method refines CNN output from a rounded approximation to a more clear-cut angular shape of the building footprint.


title: GloVeInit at SemEval-2020 Task 1: Using GloVe Vector Initialization for Unsupervised Lexical Semantic Change Detection

abstract: This paper presents a vector initialization approach for the SemEval2020 Task 1: Unsupervised Lexical Semantic Change Detection. Given two corpora belonging to different time periods and a set of target words, this task requires us to classify whether a word gained or lost a sense over time (subtask 1) and to rank them on the basis of the changes in their word senses (subtask 2). The proposed approach is based on using Vector Initialization method to align GloVe embeddings. The idea is to consecutively train GloVe embeddings for both corpora, while using the first model to initialize the second one. This paper is based on the hypothesis that GloVe embeddings are more suited for the Vector Initialization method than SGNS embeddings. It presents an intuitive reasoning behind this hypothesis, and also talks about the impact of various factors and hyperparameters on the performance of the proposed approach. Our model ranks 13th and 10th among 33 teams in the two subtasks. The implementation has been shared publicly.


title: Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers

abstract: It is known due to the work of Van den Broeck et al [KR, 2014] that weighted first-order model counting (WFOMC) in the two-variable fragment of first-order logic can be solved in time polynomial in the number of domain elements. In this paper we extend this result to the two-variable fragment with counting quantifiers.


title: Depth-Dependent EBIC Microscopy of Radial-Junction Si Micropillar Arrays

abstract: Recent advances in fabrication have enabled radial-junction architectures for cost-effective and high-performance optoelectronic devices. Unlike a planar PN junction, a radial-junction geometry maximizes the optical interaction in the three-dimensional (3D) structures, while effectively extracting the generated carriers via the conformal PN junction. In this paper, we report characterizations of radial PN junctions that consist of p-type Si micropillars created by deep reactive-ion etching (DRIE) and an n-type layer formed by phosphorus gas diffusion. We use electron-beam induced current (EBIC) microscopy to access the 3D junction profile from the sidewall of the pillars. Our EBIC images reveal uniform PN junctions conformally constructed on the 3D pillar array. Based on Monte-Carlo simulations and EBIC modeling, we estimate local carrier separation/collection efficiency that reflects the quality of the PN junction. We find the EBIC efficiency of the pillar array increases with the incident electron beam energy, consistent with the EBIC behaviors observed in a high-quality planar PN junction. The magnitude of the EBIC efficiency of our pillar array is about 70 % at 10 kV, slightly lower than that of the planar device (about 81 %). We suggest that this reduction could be attributed to the unpassivated pillar surface and the unintended recombination centers in the pillar cores introduced during the DRIE processes. Our results support that the depth-dependent EBIC approach is ideally suitable for evaluating PN junctions formed on micro/nanostructured semiconductors with various geometry.


title: A Distributed Model Predictive Wind Farm Controller for Active Power Control

abstract: Due to the fluctuating nature of the wind and the increasing use of wind energy as a power source, wind power will have an increasing negative influence on the stability of the power grid. In this paper, a model predictive control strategy is introduced that not only stabilizes the power produced by wind farms, but also creates the possibility to perform power reference tracking with wind farms. With power reference tracking, it is possible for grid operators to adapt the power production to a change in the power demand and to counteract fluctuations that are introduced by other power generators. In this way, wind farms can actually contribute to the stabilization of the power grid when this is necessary instead of negatively influencing it. A low-fidelity control-oriented wind farm model is developed and employed in the developed distributed model predictive controller. In this control model, the wake dynamics are taken into account and consequently, the model's order is relatively large. This makes it, from a computational point of view, challenging for a centralized model predictive control to provide real-time control for large wind farms. Therefore, the controller proposed in this paper is a distributed model predictive control. Here, the central control problem is divided into smaller local control problems that are solved in parallel on local controllers, which significantly reduces the computational complexity and brings the application of model predictive control in a wind farm a step closer to practical implementation. The proposed control solution is tested in simulations on a 10 and 64 turbine wind farm.


title: The Grothendieck Ring of a Family of Spherical Categories

abstract: The first author constructed a $q$-parameterized spherical category $\sC$ over $\mathbb{C}(q)$ in [Liu15], whose simple objects are labelled by all Young diagrams. In this paper, we compute closed-form expressions for the fusion rule of $\sC$, using Littlewood-Richardson coefficients, as well as the characters (including a generating function), using symmetric functions with infinite variables.

categories: math.QA math-ph math.CT math.MP math.OA math.RT


title: Exploring the Outer Solar System with Solar Sailing Smallsats on Fast-Transit Trajectories and In-Flight Autonomous Assembly of Advanced Science Payloads

abstract: We discuss the in-flight autonomous assembly as the means to build advanced planetary science payloads to explore the outer regions of the solar system. These payloads are robotically constructed from modular parts delivered by a group of smallsats (< 20 kg) which are placed on fast solar system transfer trajectories while being accelerated by solar sail propulsion to velocities of ~10 AU/yr. This concept provides the planetary science community with inexpensive, frequent access to distant regions of the solar system with flexible, reconfigurable instruments and systems that are assembled in flight. It permits faster revisit times, rapid replenishment and technology insertions, longer mission capability with lower costs. It also increases the science capabilities of smallsats via the use of modular, redundant architectures and allows for proliferation of sensing instrumentation throughout the solar system.


title: Decentralized Frequency Control using Packet-based Energy Coordination

abstract: This paper presents a novel frequency-responsive control scheme for demand-side resources, such as electric water heaters. A frequency-dependent control law is designed to provide damping from distributed energy resources (DERs) in a fully decentralized fashion. This local control policy represents a frequency-dependent threshold for each DER that ensures that the aggregate response provides damping during frequency deviations. The proposed decentralized policy is based on an adaptation of a packet-based DER coordination scheme where each device send requests for energy access (also called an "energy packet") to an aggregator. The number of previously accepted active packets can then be used a-priori to form an online estimate of the aggregate damping capability of the DER fleet in a dynamic power system. A simple two-area power system is used to illustrate and validate performance of the decentralized control policy and the accuracy of the online damping estimating for a fleet of 400,000 DERs.


title: Conservation laws for free-boundary fluid layers

abstract: Time-dependent models of fluid motion in thin layers, subject to signed source terms, represent important sub-problems within climate dynamics. Examples include ice sheets, sea ice, and even shallow oceans and lakes. We address these problems as discrete-time sequences of continuous-space weak formulations, namely (monotone) variational inequalities or complementarity problems, in which the conserved quantity is the layer thickness. Free boundaries wherein the thickness and mass flux both go to zero at the margin of the fluid layer generically arise in such models. After showing these problems are well-posed in several cases, we consider the limitations to discrete conservation in numerical schemes. A free boundary in a region of negative source -- an ablation-caused margin -- turns out to be a barrier to exact conservation in either a continuous- or discrete-space sense. We then propose computable a posteriori quantities which allow conservation-error bounds in finite volume and finite element schemes.


title: Canted Spin Texture and Quantum Spin Hall Effect in WTe2

abstract: We report an unconventional quantum spin Hall phase in the monolayer T$_\text{d}$-WTe$_2$, which exhibits hitherto unknown features in other topological materials. The low-symmetry of the structure induces a canted spin texture in the $yz$ plane, which dictates the spin polarization of topologically protected boundary states. Additionally, the spin Hall conductivity gets quantized ($2e^2/h$) with a spin quantization axis parallel to the canting direction. These findings are based on large-scale quantum simulations of the spin Hall conductivity tensor and nonlocal resistances in multi-probe geometries using a realistic tight-binding model elaborated from first-principle methods. The observation of this canted quantum spin Hall effect, related to the formation of topological edge states with nontrivial spin polarization, demands for specific experimental design and suggests interesting alternatives for manipulating spin information in topological materials.