title: The $\chi$-Ramsey problem for triangle-free graphs

abstract: In 1967, Erd\H{o}s asked for the greatest chromatic number, $f(n)$, amongst all $n$-vertex, triangle-free graphs. An observation of Erd\H{o}s and Hajnal together with Shearer's classical upper bound for the off-diagonal Ramsey number $R(3, t)$ shows that $f(n)$ is at most $(2 \sqrt{2} + o(1)) \sqrt{n/\log n}$. We improve this bound by a factor $\sqrt{2}$, as well as obtaining an analogous bound on the list chromatic number which is tight up to a constant factor. A bound in terms of the number of edges that is similarly tight follows, and these results confirm a conjecture of Cames van Batenburg, de Joannis de Verclos, Kang, and Pirot.


title: Hybrid origins of the cosmic-ray nuclei spectral hardening at a few hundred GV

abstract: Many experiments have confirmed the spectral hardening at a few hundred GV of cosmic-ray (CR) nuclei spectra, and three general different origins have been proposed: the primary source acceleration, the propagation, and the superposition of different kinds of sources. The AMS-02 CR nuclei spectra of He, C, N, O, Ne, Mg, Si, and B (which including B and its dominating parents species) are collected to study the necessity of employing a break in diffusion coefficient and independent breaks in primary source injection spectra to reproduce the spectral hardening at a few hundred GV. For comparison, three different schemes are introduced to do the global fitting. The fitting results show that both the break in diffusion coefficient and the independent breaks in primary source injection spectra are needed, which are corresponding to the spatial dependent propagation and the superposition of different kinds of sources, respectively. Consequently, the nuclei spectral hardening in a few hundred GV should have hybrid origins. Moreover, the CR spectral indices of He and Ne show large deviations to other species in low-rigidity region, which indicates their different CR origins.


title: Operators arising as Second Variation of optimal control problems and their spectral asymptotics

abstract: We compute the asymptotic for the eigenvalues of a particular class of compact operators deeply linked with the second variation of optimal control problems. We characterize this family in terms of a set of finite dimensional data and we apply this results to a particular class of singular extremal to get a nice description of the spectrum of the second variation.


title: B-line Detection in Lung Ultrasound Videos: Cartesian vs Polar Representation

abstract: Lung ultrasound (LUS) imaging is becoming popular in the intensive care units (ICU) for assessing lung abnormalities such as the appearance of B-line artefacts as a result of severe dengue. These artefacts appear in the LUS images and disappear quickly, making their manual detection very challenging. They also extend radially following the propagation of the sound waves. As a result, we hypothesize that a polar representation may be more adequate for automatic image analysis of these images. This paper presents an attention-based Convolutional+LSTM model to automatically detect B-lines in LUS videos, comparing performance when image data is taken in Cartesian and polar representations. Results indicate that the proposed framework with polar representation achieves competitive performance compared to the Cartesian representation for B-line classification and that attention mechanism can provide better localization.


title: Contextual Transformer Networks for Visual Recognition

abstract: Transformer with self-attention has led to the revolutionizing of natural language processing field, and recently inspires the emergence of Transformer-style architecture design with competitive results in numerous computer vision tasks. Nevertheless, most of existing designs directly employ self-attention over a 2D feature map to obtain the attention matrix based on pairs of isolated queries and keys at each spatial location, but leave the rich contexts among neighbor keys under-exploited. In this work, we design a novel Transformer-style module, i.e., Contextual Transformer (CoT) block, for visual recognition. Such design fully capitalizes on the contextual information among input keys to guide the learning of dynamic attention matrix and thus strengthens the capacity of visual representation. Technically, CoT block first contextually encodes input keys via a $3\times3$ convolution, leading to a static contextual representation of inputs. We further concatenate the encoded keys with input queries to learn the dynamic multi-head attention matrix through two consecutive $1\times1$ convolutions. The learnt attention matrix is multiplied by input values to achieve the dynamic contextual representation of inputs. The fusion of the static and dynamic contextual representations are finally taken as outputs. Our CoT block is appealing in the view that it can readily replace each $3\times3$ convolution in ResNet architectures, yielding a Transformer-style backbone named as Contextual Transformer Networks (CoTNet). Through extensive experiments over a wide range of applications (e.g., image recognition, object detection and instance segmentation), we validate the superiority of CoTNet as a stronger backbone. Source code is available at \url{https://github.com/JDAI-CV/CoTNet}.


title: An answer to the Whitehead asphericity question

abstract: The Whitehead asphericity problem, regarded as a problem of combinatorial group theory, asks whether any subpresentation of an aspherical group presentation is also aspherical. We give a positive answer to this question by proving that if $\cP=(\mathbf{x}, \mathbf{r})$ is an aspherical presentation of the trivial group, and $r_{0} \in \mathbf{r}$ a fixed relation, then $\cP_{1}=(\mathbf{x}, \mathbf{r}_{1})$ is aspherical where $\mathbf{r}_{1}=\mathbf{r} \setminus \{r_{0}\}$.


title: Thermodynamic Properties of $q-$deformed massless Dirac fermions in graphene with Rashba coupling

abstract: We study the thermodynamic properties of massless Dirac fermions in graphene under a uniform magnetic field and Rashba spin-orbit coupling with a $q-$deformed Heisenberg algebra calculus. The thermodynamic functions such as the Helmholtz free energy, total energy, entropy and heat capacity are obtained by using an approach based on the zeta function and Euler-Maclaurain formula. These functions will be numerically examined for different values of $\eta={1\over i}\ln(q)$. In particular, the heat capacity in the presence of deformation, all curves coincide and reach the fixed value $C=6K_B$ three times greater compared to the case of undeformed massless Dirac fermions in graphene.


title: A Unified Deep Model of Learning from both Data and Queries for Cardinality Estimation

abstract: Cardinality estimation is a fundamental problem in database systems. To capture the rich joint data distributions of a relational table, most of the existing work either uses data as unsupervised information or uses query workload as supervised information. Very little work has been done to use both types of information, and cannot fully make use of both types of information to learn the joint data distribution. In this work, we aim to close the gap between data-driven and query-driven methods by proposing a new unified deep autoregressive model, UAE, that learns the joint data distribution from both the data and query workload. First, to enable using the supervised query information in the deep autoregressive model, we develop differentiable progressive sampling using the Gumbel-Softmax trick. Second, UAE is able to utilize both types of information to learn the joint data distribution in a single model. Comprehensive experimental results demonstrate that UAE achieves single-digit multiplicative error at tail, better accuracies over state-of-the-art methods, and is both space and time efficient.


title: Euler Analysis of a Machine for Raising Waters Proposed by Mr. de Mour

abstract: We revisited an analysis made by Euler in a memoir of 1753 'Sur une nouvelle maniere d'elever de l'eau propose par M. de Mour' (On a new method to raise water proposed by Mr. de Mour), addressing a type of water sprinkler, consisting of an inclined tube with its lower end immersed into water, and discharging water at its top by turning a vertical axis to which the inclined tube is attached.


title: $H^s$ Bounds for the Derivative Nonlinear Schr\"odinger Equation

abstract: We study the derivative nonlinear Schr\"odinger equation on the real line and obtain global-in-time bounds on high order Sobolev norms.


title: A Comparison of Various Aggregation Functions in Multi-Criteria Decision Analysis for Drug Benefit-Risk Assessment

abstract: Multi-criteria decision analysis (MCDA) is a quantitative approach to the drug benefit-risk assessment (BRA) which allows for consistent comparisons by summarising all benefits and risks in a single score. The MCDA consists of several components, one of which is the utility (or loss) score function that defines how benefits and risks are aggregated into a single quantity. While a linear utility score is one of the most widely used approach in BRA, it is recognised that it can result in counter-intuitive decisions, for example, recommending a treatment with extremely low benefits or high risks. To overcome this problem, alternative approaches to the scores construction, namely, product, multi-linear and Scale Loss Score models, were suggested. However, to date, the majority of arguments concerning the differences implied by these models are heuristic. In this work, we consider four models to calculate the aggregated utility/loss scores and compared their performance in an extensive simulation study over many different scenarios, and in a case study. It is found that the product and Scale Loss Score models provide more intuitive treatment recommendation decisions in the majority of scenarios compared to the linear and multi-linear models, and are more robust to the correlation in the criteria.


title: Anomaly-based Intrusion Detection System Using Fuzzy Logic

abstract: Recently, the Distributed Denial of Service (DDOS) attacks has been used for different aspects to denial the number of services for the end-users. Therefore, there is an urgent need to design an effective detection method against this type of attack. A fuzzy inference system offers the results in a more readable and understandable form. This paper introduces an anomaly-based Intrusion Detection (IDS) system using fuzzy logic. The fuzzy logic inference system implemented as a detection method for Distributed Denial of Service (DDOS) attacks. The suggested method was applied to an open-source DDOS dataset. Experimental results show that the anomaly-based Intrusion Detection system using fuzzy logic obtained the best result by utilizing the InfoGain features selection method besides the fuzzy inference system, the results were 91.1% for the true-positive rate and 0.006% for the false-positive rate.


title: Fractality in a delayed-prey-predator ecological system with Allee effects

abstract: A delayed, discrete-time, prey-predator model with Allee effects imposed on prey and predator populations is defined, and dynamics of the system is characterized computationally. The parametric conditions for local asymptotic stability of equilibria are investigated with several illustrating examples. In addition, several periodic solutions were achieved. Furthermore, high degree of fractality of the prey-predator population trajectories is observed when the system is sufficiently delayed. This system has turned out to be a cooperative system, which is depicted using fractal dimension.


title: Enhanced Bilevel Optimization via Bregman Distance

abstract: Bilevel optimization has been recently used in many machine learning problems such as hyperparameter optimization, policy optimization, and meta learning. Although many bilevel optimization methods have been proposed, they still suffer from the high computational complexities and do not consider the more general bilevel problems with nonsmooth regularization. In the paper, thus, we propose a class of enhanced bilevel optimization methods with using Bregman distance to solve bilevel optimization problems, where the outer subproblem is nonconvex and possibly nonsmooth, and the inner subproblem is strongly convex. Specifically, we propose a bilevel optimization method based on Bregman distance (BiO-BreD) to solve deterministic bilevel problems, which achieves a lower computational complexity than the best known results. Meanwhile, we also propose a stochastic bilevel optimization method (SBiO-BreD) to solve stochastic bilevel problems based on stochastic approximated gradients and Bregman distance. Moreover, we further propose an accelerated version of SBiO-BreD method (ASBiO-BreD) using the variance-reduced technique, which can achieve a lower computational complexity than the best known computational complexities with respect to condition number $\kappa$ and target accuracy $\epsilon$ for finding an $\epsilon$-stationary point. We conduct data hyper-cleaning task and hyper-representation learning task to demonstrate that our new algorithms outperform related bilevel optimization approaches.


title: Quantum heat engines with complex working media, complete Otto cycles and heuristics

abstract: Quantum thermal machines make use of non-classical thermodynamic resources, one of which is interactions between elements of the quantum working medium. In this paper, we examine the performance of a quasi-static quantum Otto engine based on two spins of arbitrary magnitudes subject to an external magnetic field and coupled via an isotropic Heisenberg exchange interaction. It has been earlier shown that the said interaction provides an enhancement of cycle efficiency for two spin-1/2 particles, with an upper bound which is tighter than the Carnot efficiency. However, the necessary conditions governing engine performance and the relevant upper bound for efficiency are unknown for the general case of arbitrary spin magnitudes. Analyzing extreme-case scenarios, we formulate heuristics to infer the necessary conditions for an engine with uncoupled as well as coupled spins model. These conditions lead us to a connection between performance of quantum heat engines and the notion of majorization. Further, the study of complete Otto cycles inherent in the average cycle also yields interesting insights into the average performance.


title: The False COVID-19 Narratives That Keep Being Debunked: A Spatiotemporal Analysis

abstract: The onset of the COVID-19 pandemic led to a global infodemic that has brought unprecedented challenges for citizens, media, and fact-checkers worldwide. To address this challenge, over a hundred fact-checking initiatives worldwide have been monitoring the information space in their countries and publishing regular debunks of viral false COVID-19 narratives. This study examines the database of the CoronaVirusFacts Alliance, which contains 10,381 debunks related to COVID-19 published in multiple languages by different fact-checking organisations. Our spatiotemporal analysis reveals that similar or nearly duplicate false COVID-19 narratives have been spreading in multiple modalities and on various social media platforms in different countries, sometimes as much as several months after the first debunk of that narrative has been published by an International Fact-checking Network (IFCN) fact-checker. We also find that misinformation involving general medical advice has spread across multiple countries and hence has the highest proportion of false COVID-19 narratives that keep being debunked. Furthermore, as manual fact-checking is an onerous task in itself, therefore the need to repeatedly debunk the same narrative in different countries is leading, over time, to a significant waste of fact-checker resources. To this end, we propose the idea of including a multilingual debunk search tool in the fact-checking pipeline, in addition to recommending strongly that social media platforms need to adopt the same technology at scale, so as to make the best use of scarce fact-checker resources.


title: In Defense of the Learning Without Forgetting for Task Incremental Learning

abstract: Catastrophic forgetting is one of the major challenges on the road for continual learning systems, which are presented with an on-line stream of tasks. The field has attracted considerable interest and a diverse set of methods have been presented for overcoming this challenge. Learning without Forgetting (LwF) is one of the earliest and most frequently cited methods. It has the advantages of not requiring the storage of samples from the previous tasks, of implementation simplicity, and of being well-grounded by relying on knowledge distillation. However, the prevailing view is that while it shows a relatively small amount of forgetting when only two tasks are introduced, it fails to scale to long sequences of tasks. This paper challenges this view, by showing that using the right architecture along with a standard set of augmentations, the results obtained by LwF surpass the latest algorithms for task incremental scenario. This improved performance is demonstrated by an extensive set of experiments over CIFAR-100 and Tiny-ImageNet, where it is also shown that other methods cannot benefit as much from similar improvements.


title: Structural magnetic glassiness in spin ice Dy$_2$Ti$_2$O$_7$

abstract: The spin ice compound Dy$_2$Ti$_2$O$_7$ is well-known to realise a three-dimensional Coulomb spin liquid with magnetically charged monopole excitations. Its fate at low temperatures, however, remains an intriguing open question. Based on a low-temperature analysis of the magnetic noise and diffuse neutron scattering under different cooling protocols, combined with extensive numerical modelling, we argue that upon cooling, the spins freeze into what may be termed a `structural magnetic glass', without an a priori need for chemical or structural disorder. Specifically, our model indicates the presence of frustration on two levels, first producing a near-degenerate constrained manifold inside which phase ordering kinetics is in turn frustrated. Our results suggest that spin ice Dy$_2$Ti$_2$O$_7$ provides one prototype of magnetic glass formation specifically, and a setting for the study of kinetically constrained systems more generally.


title: Swift/UVOT follow-up of Gravitational Wave Alerts in the O3 era

abstract: In this paper, we report on the observational performance of the Swift Ultra-violet/Optical Telescope (UVOT) in response to the Gravitational Wave alerts announced by the Advanced Laser Interferometer Gravitational Wave Observatory and the Advanced Virgo detector during the O3 period. We provide the observational strategy for follow-up of GW alerts and provide an overview of the processing and analysis of candidate optical/UV sources. For the O3 period, we also provide a statistical overview and report on serendipitous sources discovered by Swift/UVOT. Swift followed 18 gravitational-wave candidate alerts, with UVOT observing a total of 424 deg^2. We found 27 sources that changed in magnitude at the 3 sigma level compared with archival u or g-band catalogued values. Swift/UVOT also followed up a further 13 sources reported by other facilities during the O3 period. Using catalogue information, we divided these 40 sources into five initial classifications: 11 candidate active galactic nuclei (AGN)/quasars, 3 Cataclysmic Variables (CVs), 9 supernovae, 11 unidentified sources that had archival photometry and 6 uncatalogued sources for which no archival photometry was available. We have no strong evidence to identify any of these transients as counterparts to the GW events. The 17 unclassified sources are likely a mix of AGN and a class of fast-evolving transient, and one source may be a CV.


title: Radiation study of Lead Fluoride crystals

abstract: Lead fluoride (PbF$_2$) crystals represent an excellent and relatively innovative choice for high resolution electromagnetic calorimeters with high granularity and fast timing for high intensity environments. For this reason two PbF$_2$ crystals, sized $5\times 5 \times 40 $ mm$^3$, were irradiated with $^{60}$Co photons up to $\sim 4$ Mrad and with 14 MeV neutrons up to a $10^{13}$ n/cm$^2$ total fluence. Their loss in transmittance was evaluated at different steps of the photon and neutron irradiation campaign, resulting in a total of 30% loss above 350 nm. With crystals always kept in dark conditions, natural and thermal annealing, as well as optical bleaching with 400 nm light, were performed on the irradiated specimens, resulting in a partial recovery of their original optical characteristics.


title: Revisiting Catastrophic Forgetting in Class Incremental Learning

abstract: Although the concept of catastrophic forgetting is straightforward, there is a lack of study on its causes. In this paper, we systematically explore and reveal three causes for catastrophic forgetting in Class Incremental Learning(CIL). From the perspective of representation learning,(i) intra-phase forgetting happens when the learner fails to correctly align the same-phase data as training proceeds and (ii) inter-phase confusion happens when the learner confuses the current-phase data with the previous-phase. From the task-specific point of view, the CIL model suffers from the problem of (iii) classifier deviation. After investigating existing strategies, we observe that there is a lack of study on how to prevent the inter-phase confusion. To initiate the research on this specific issue, we propose a simple yet effective framework, Contrastive Class Concentration for CIL (C4IL). Our framework leverages the class concentration effect of contrastive learning, yielding a representation distribution with better intra-class compactibility and inter-class separability. Empirically, we observe that C4IL significantly lowers the probability of inter-phase confusion and as a result improves the performance on multiple CIL settings of multiple datasets.


title: Spatial-Temporal Transformer for Dynamic Scene Graph Generation

abstract: Dynamic scene graph generation aims at generating a scene graph of the given video. Compared to the task of scene graph generation from images, it is more challenging because of the dynamic relationships between objects and the temporal dependencies between frames allowing for a richer semantic interpretation. In this paper, we propose Spatial-temporal Transformer (STTran), a neural network that consists of two core modules: (1) a spatial encoder that takes an input frame to extract spatial context and reason about the visual relationships within a frame, and (2) a temporal decoder which takes the output of the spatial encoder as input in order to capture the temporal dependencies between frames and infer the dynamic relationships. Furthermore, STTran is flexible to take varying lengths of videos as input without clipping, which is especially important for long videos. Our method is validated on the benchmark dataset Action Genome (AG). The experimental results demonstrate the superior performance of our method in terms of dynamic scene graphs. Moreover, a set of ablative studies is conducted and the effect of each proposed module is justified. Code available at: https://github.com/yrcong/STTran.


title: $CP$ asymmetry in the angular distributions of $\tau\to K_S\pi\nu_\tau$ decays -- II: general effective field theory analysis

abstract: We proceed to study the $CP$ asymmetry in the angular distributions of $\tau\to K_S\pi\nu_\tau$ decays within a general effective field theory framework including four-fermion operators up to dimension-six. It is found that, besides the commonly considered scalar-vector interference, the tensor-scalar interference can also produce a non-zero $CP$ asymmetry in the angular distributions. Bounds on the effective couplings of the non-standard scalar and tensor interactions are obtained under the combined constraints from the measured $CP$ asymmetries and the branching ratio of $\tau^-\to K_S\pi^-\nu_\tau$ decay, with $\mathrm{Im}[\hat{\epsilon}_S]=-0.008\pm0.027$ and $\mathrm{Im}[\hat{\epsilon}_T]=0.03\pm0.12$, at the scale $\mu_\tau=2~\mathrm{GeV}$ in the $\mathrm{\overline{MS}}$ scheme. Using the best-fit values, we also find that the distributions of the $CP$ asymmetries can deviate significantly from the SM expectation in almost the whole $K\pi$ invariant-mass region. Nevertheless, the current bounds are still plagued by large experimental uncertainties, but will be improved with more precise measurements from Belle II as well as the proposed Tera-Z and STCF facilities. Assuming further that the non-standard scalar and tensor interactions originate from a weakly-coupled heavy new physics well above the electroweak scale, the $SU(2)_L$ invariance of the resulting SMEFT Lagrangian would indicate that very strong limits on $\mathrm{Im}[\hat{\epsilon}_S]$ and $\mathrm{Im}[\hat{\epsilon}_T]$ could also be obtained from the neutron electric dipole moment and the $D^0-\bar{D}^0$ mixing. With the bounds from these processes taken into account, it is then found that, unless there exist extraordinary cancellations between the new physics contributions, neither the scalar nor the tensor interaction can produce any significant effects on the $CP$ asymmetries in the processes considered.


title: M{\o}ller scattering at NNLO

abstract: We present a calculation of the full set of next-to-next-to-leading-order QED corrections to unpolarised M{\o}ller scattering. This encompasses photonic, leptonic, and non-perturbative hadronic corrections and includes electron mass effects as well as hard photon radiation. The corresponding matrix elements are implemented in the Monte Carlo framework McMule allowing for the computation of fully-differential observables. As a first application we show results tailored to the kinematics and detector design of the PRad II experiment where a high-precision theory prediction for M{\o}ller scattering is required to achieve the targeted precision. We observe that the corrections become essential to reliably calculate the corresponding differential distributions especially in regions where the leading-order contribution is absent.


title: 'No, auntie, that's false': Female baby boomers develop critical skills to confront fake news with guidance from relatives

abstract: The spread of fake news has been increasing, which gives rise to a special interest in the development of identification and coping skills among news consumers so that they can filter out misleading information. Studies suggest that older people share more fake news from social media. There is scarce literature that analyse how baby boomers behave in the face of fake news. The purpose of this study is to examine how female baby boomers deal with fake news on Facebook and their available resources to learn how to identify and handle dubious information. A qualitative study and thematic analysis were conducted using information obtained from interviewing female baby boomers. Four themes emerge from the analysis, revealing that participants recognise that they can identify fake news but may not always be able to do so due to limitations in their understanding of an issue or uncertainty about its source. Participants show participants empirically develop critical identification and filtering skills with the assistance from close family members.


title: The UV-brightest Lyman continuum emitting star-forming galaxy

abstract: We report the discovery of J0121+0025, an extremely luminous and young star-forming galaxy (M_UV = -24.11, log[L_Lya / erg s^-1] = 43.8) at z = 3.244 showing copious Lyman continuum (LyC) leakage (f_esc,abs ~ 40%). High signal-to-noise ratio rest-frame UV spectroscopy with the Gran Telescopio Canarias reveals a high significance (7.9 sigma) emission below the Lyman limit (< 912A), with a flux density level f_900A = 0.78 +/- 0.10 uJy, and strong P-Cygni in wind lines of OVI 1033A, NV 1240A and CIV 1550A that are indicative of a young age of the starburst (<10 Myr). The spectrum is rich in stellar photospheric features, for which a significant contribution of an AGN at these wavelengths is ruled out. Low-ionization ISM absorption lines are also detected, but are weak (EW0 ~ 1A) and show large residual intensities, suggesting a clumpy geometry of the gas with a non-unity covering fraction or a highly ionized ISM. The contribution of a foreground and AGN contamination to the LyC signal is unlikely. Deep optical to Spitzer/IRAC 4.5um imaging show that the spectral energy distribution of J0121+0025 is dominated by the emission of the young starburst, with log(M*/Msun) = 9.9 +/- 0.1 and SFR = 981 +/- 232 Msun yr^-1. J0121+0025 is the most powerful LyC emitter known among the star-forming galaxy population. The discovery of such luminous and young starburst leaking LyC radiation suggests that a significant fraction of LyC photons can escape in sources with a wide range of UV luminosities and are not restricted to the faintest ones as previously thought. These findings might shed further light on the role of luminous starbursts to the cosmic reionization.


title: Measurement of Spin Density Matrix Elements in $\Lambda(1520)$ Photoproduction at 8.2-8.8 GeV

abstract: We report on the measurement of spin density matrix elements of the $\Lambda(1520)$ in the photoproduction reaction $\gamma p\rightarrow \Lambda(1520)K^+$, via its subsequent decay to $K^{-}p$. The measurement was performed as part of the GlueX experimental program in Hall D at Jefferson Lab using a linearly polarized photon beam with $E_\gamma =$ 8.2-8.8 GeV. These are the first such measurements in this photon energy range. Results are presented in bins of momentum transfer squared, $-(t-t_\text{0})$. We compare the results with a Reggeon exchange model and determine that natural exchange amplitudes are dominant in $\Lambda(1520)$ photoproduction.


title: Facets and facet subgraphs of symmetric edge polytopes

abstract: Symmetric edge polytopes, a.k.a. PV-type adjacency polytopes, associated with undirected graphs have been defined and studied in several seemingly independent areas including number theory, discrete geometry, and dynamical systems. In particular, the authors are motivated by the study of the algebraic Kuramoto equations of unmixed form whose Newton polytopes are the symmetric edge polytopes. The interplay between the geometric structure of symmetric edge polytopes and the topological structure of the underlying graphs has been a recurring theme in recent studies. In particular, ``facet/face subgraphs'' have emerged as one of the central concepts in describing this symmetry. Continuing along this line of inquiry we provide a complete description of the correspondence between facets/faces of a symmetric edge polytope and maximal bipartite subgraphs of the underlying connected graph.


title: Computational Materials Discovery for Lanthanide Hydrides at high pressure: predicting High Temperature superconductivity

abstract: Hydrogen-rich superhydrides are believed to be very promising high-T$_c$ superconductors, with experimentally observed critical temperatures near room temperature, as shown in recently discovered lanthanide superhydrides at very high pressures, e.g. LaH$_{10}$ at 170 GPa and CeH$_9$ at 150 GPa. With the motivation of discovering new hydrogen-rich high-T$_c$ superconductors at lowest possible pressure, quantitative theoretical predictions are needed. In these promising compounds, superconductivity is mediated by the highly energetic lattice vibrations associated with hydrogen and their interplay with the electronic structure, requiring fine descriptions of the electronic properties, notoriously challenging for correlated $f$ systems. In this work, we propose a first-principles calculation platform with the inclusion of many-body corrections to evaluate the detailed physical properties of the Ce-H system and to understand the structure, stability and superconductivity of CeH$_9$ at high pressure. We report how the prediction of T$_c$ is affected by the hierarchy of many-body corrections, and obtain a compelling increase of T$_c$ at the highest level of theory, which goes in the direction of experimental observations. Our findings shed a significant light on the search for superhydrides in close similarity with atomic hydrogen within a feasible pressure range. We provide a practical platform to further investigate and understand conventional superconductivity in hydrogen rich superhydrides.


title: Dialogue Management for Interactive API Search

abstract: API search involves finding components in an API that are relevant to a programming task. For example, a programmer may need a function in a C library that opens a new network connection, then another function that sends data across that connection. Unfortunately, programmers often have trouble finding the API components that they need. A strong scientific consensus is emerging towards developing interactive tool support that responds to conversational feedback, emulating the experience of asking a fellow human programmer for help. A major barrier to creating these interactive tools is implementing dialogue management for API search. Dialogue management involves determining how a system should respond to user input, such as whether to ask a clarification question or to display potential results. In this paper, we present a dialogue manager for interactive API search that considers search results and dialogue history to select efficient actions. We implement two dialogue policies: a hand-crafted policy and a policy optimized via reinforcement learning. We perform a synthetics evaluation and a human evaluation comparing the policies to a generic single-turn, top-N policy used by source code search engines.


title: Bayesian Analysis of Quasar Lightcurves with a Running Optimal Average: New Time Delay Measurements of COSMOGRAIL Gravitationally Lensed Quasars

abstract: We present a new method of modelling time-series data based on the running optimal average (ROA). By identifying the effective number of parameters for the ROA model, in terms of the shape and width of its window function and the times and accuracies of the data, we enable a Bayesian analysis, optimising the ROA width, along with other model parameters, by minimising the Bayesian Information Criterion (BIC) and sampling joint posterior parameter distributions using MCMC methods. For analysis of quasar lightcurves, our implementation of ROA modelling can measure time delays among lightcurves at different wavelengths or from different images of a lensed quasar and, in future work, be used to inter-calibrate lightcurve data from different telescopes and estimate the shape and thus the power-density spectrum of the lightcurve. Our noise model implements a robust treatment of outliers and error-bar adjustments to account for additional variance or poorly-quantified uncertainties. Tests with simulated data validate the parameter uncertainty estimates. We compare ROA delay measurements with results from cross-correlation and from JAVELIN, which models lightcurves with a prior on the power-density spectrum. We analyse published COSMOGRAIL lightcurves of multi-lensed quasar lightcurves and present the resulting measurements of the inter-image time delays and detection of microlensing effects.


title: Cocyclic braces and indecomposable cocyclic solutions of the Yang-Baxter equation

abstract: We study indecomposable involutive set-theoretic solutions of the Yang-Baxter equation with cyclic permutation groups (cocyclic solutions). In particular, we show that there is no one-to-one correspondence between indecomposable cocyclic solutions and cocyclic braces which contradicts recent results in \cite{Rump21}.


title: End-to-End Deep Learning of Long-Haul Coherent Optical Fiber Communications via Regular Perturbation Model

abstract: We present a novel end-to-end autoencoder-based learning for coherent optical communications using a "parallelizable" perturbative channel model. We jointly optimized constellation shaping and nonlinear pre-emphasis achieving mutual information gain of 0.18 bits/sym./pol. simulating 64 GBd dual-polarization single-channel transmission over 30x80 km G.652 SMF link with EDFAs.


title: MAG-Net: Multi-task attention guided network for brain tumor segmentation and classification

abstract: Brain tumor is the most common and deadliest disease that can be found in all age groups. Generally, MRI modality is adopted for identifying and diagnosing tumors by the radiologists. The correct identification of tumor regions and its type can aid to diagnose tumors with the followup treatment plans. However, for any radiologist analysing such scans is a complex and time-consuming task. Motivated by the deep learning based computer-aided-diagnosis systems, this paper proposes multi-task attention guided encoder-decoder network (MAG-Net) to classify and segment the brain tumor regions using MRI images. The MAG-Net is trained and evaluated on the Figshare dataset that includes coronal, axial, and sagittal views with 3 types of tumors meningioma, glioma, and pituitary tumor. With exhaustive experimental trials the model achieved promising results as compared to existing state-of-the-art models, while having least number of training parameters among other state-of-the-art models.


title: MLDev: Data Science Experiment Automation and Reproducibility Software

abstract: In this paper we explore the challenges of automating experiments in data science. We propose an extensible experiment model as a foundation for integration of different open source tools for running research experiments. We implement our approach in a prototype open source MLDev software package and evaluate it in a series of experiments yielding promising results. Comparison with other state-of-the-art tools signifies novelty of our approach.


title: Legendrian Torus and Cable Links

abstract: We give a classification of Legendrian torus links. Along the way, we give the first classification of infinite families of Legendrian links where some smooth symmetries of the link cannot be realized by Legendrian isotopies. We also give the first family of links that are non-destabilizable but do not have maximal Thurston-Bennequin invariant and observe a curious distribution of Legendrian torus knots that can be realized as the components of a Legendrian torus link. This classification of Legendrian torus links leads to a classification of transversal torus links. We also give a classification of Legendrian and transversal cable links of knot types that are uniformly thick and Legendrian simple. Here we see some similarities with the classification of Legendrian torus links but also some differences. In particular, we show that there are Legendrian representatives of cable links of any uniformly thick knot type for which no symmetries of the components can be realized by a Legendrian isotopy, others where only cyclic permutations of the components can be realized, and yet others where all smooth symmetries are realizable.


title: Instability and disintegration of vortex rings during head-on collisions and wall interactions

abstract: The head-on collision of two vortex rings can produce diverse phenomena: a tiara of secondary rings, vortex sheets which flatten and interact iteratively, or the violent disintegration of the rings into a turbulent cloud. The outcome of the interaction is determined by the nature of the instability affecting two impinging vortex rings. Here, we carry out a systematic study to determine the dominant instability as a function of the parameters of the problem. To this end, we numerically simulate the head on collision of vortex rings with circulation Reynolds numbers between $1000$ and $3500$ and varying slenderness ratios $\Lambda=a/R$ ranging from $\Lambda=0.1$ to $0.35$, with $a$ the core radius and $R$ the ring radius. By studying the temporal evolution of the energy and viscous dissipation, we elucidate the role azimuthal instabilities play in determining what the outcomes of the collision are. We then compare these collisions to the head-on impact of a vortex ring on a free-slip and a no-slip wall. The free-slip wall imposes a mirror symmetry, which impedes certain instabilities and at sufficiently large Reynolds numbers leads to the formation of a half-tiara of vortices. Impact against a no-slip wall results in the process where a secondary vortex ring is formed after the ejection of the resulting boundary layer. When the Reynolds number is above a certain threshold, which increases with $\Lambda$, the vortices disintegrate through azimuthal instabilities, resulting in a turbulent cloud.


title: From Implicit to Explicit feedback: A deep neural network for modeling sequential behaviours and long-short term preferences of online users

abstract: In this work, we examine the advantages of using multiple types of behaviour in recommendation systems. Intuitively, each user has to do some implicit actions (e.g., click) before making an explicit decision (e.g., purchase). Previous studies showed that implicit and explicit feedback have different roles for a useful recommendation. However, these studies either exploit implicit and explicit behaviour separately or ignore the semantic of sequential interactions between users and items. In addition, we go from the hypothesis that a user's preference at a time is a combination of long-term and short-term interests. In this paper, we propose some Deep Learning architectures. The first one is Implicit to Explicit (ITE), to exploit users' interests through the sequence of their actions. And two versions of ITE with Bidirectional Encoder Representations from Transformers based (BERT-based) architecture called BERT-ITE and BERT-ITE-Si, which combine users' long- and short-term preferences without and with side information to enhance user representation. The experimental results show that our models outperform previous state-of-the-art ones and also demonstrate our views on the effectiveness of exploiting the implicit to explicit order as well as combining long- and short-term preferences in two large-scale datasets.


title: Tunable narrow linewidth chip-scale mid-IR laser

abstract: Portable mid-infrared (mid-IR) spectroscopy and sensing applications require widely tunable, narrow linewidth, chip-scale, single-mode sources without sacrificing significant output power. However, no such lasers have been demonstrated beyond 3 $\mu$m due to the challenge of building tunable, high quality-factor (Q) on-chip cavities. We demonstrate a tunable, single-mode mid-IR laser at 3.4 $\mu$m using a high-Q silicon microring cavity with integrated heaters and a multi-mode Interband Cascade Laser (ICL). We show that the multiple longitudinal modes of an ICL collapse into a single frequency via self-injection locking with an output power of 0.4 mW and achieve an oxide-clad high confinement waveguide microresonator with a loaded Q of $2.8\times 10^5$. Using integrated microheaters, our laser exhibits a wide tuning range of 54 nm at 3.4 $\mu$m with 3 dB output power variation. We further measure an upper-bound effective linewidth of 9.1 MHz from the locked laser using a scanning Fabry-Perot interferometer. Our design of a single-mode laser based on a tunable high-Q microresonator can be expanded to quantum-cascade lasers at higher wavelengths and lead to the development of compact, portable, high-performance mid-IR sensors for spectroscopic and sensing applications.


title: Ionospheric and geomagnetic response to the total solar eclipse on 21 August 2017

abstract: Solar eclipses provide an excellent opportunity to study the effects of a sudden localized change in photoionization flux in the Earth's ionosphere and its consequent repercussion in the Geomagnetic field. We have focused on a subset of the data available from the North American 2017 eclipse in order to study VTEC measurements from GNSS data and geomagnetic field estimations from INTERMAGNET observatories near the eclipse path. Our simultaneous analysis of both datasets allowed us to quantify the ionosphere and magnetic field reaction to the eclipse event with which allowed us to compare how differently these take place in time. We found that studying the behaviour of VTEC differences with respect to reference values provides better insight of the actual eclipse effect and were able to characterize the dependence of parameters such as time delay of maximum depletion and recovery phase. We were also able to test models that link the ionospheric variations in a quantitative manner. Total electron content depletion measured from GNSS were fed into an approximation of Ashour-Chapman model at the locations of geomagnetic observatories and its predictions match the behaviour of magnetic field components in time and magnitude strikingly accurately.


title: HW2VEC: A Graph Learning Tool for Automating Hardware Security

abstract: The time-to-market pressure and continuous growing complexity of hardware designs have promoted the globalization of the Integrated Circuit (IC) supply chain. However, such globalization also poses various security threats in each phase of the IC supply chain. Although the advancements of Machine Learning (ML) have pushed the frontier of hardware security, most conventional ML-based methods can only achieve the desired performance by manually finding a robust feature representation for circuits that are non-Euclidean data. As a result, modeling these circuits using graph learning to improve design flows has attracted research attention in the Electronic Design Automation (EDA) field. However, due to the lack of supporting tools, only a few existing works apply graph learning to resolve hardware security issues. To attract more attention, we propose HW2VEC, an open-source graph learning tool that lowers the threshold for newcomers to research hardware security applications with graphs. HW2VEC provides an automated pipeline for extracting a graph representation from a hardware design in various abstraction levels (register transfer level or gate-level netlist). Besides, HW2VEC users can automatically transform the non-Euclidean hardware designs into Euclidean graph embeddings for solving their problems. In this paper, we demonstrate that HW2VEC can achieve state-of-the-art performance on two hardware security-related tasks: Hardware Trojan Detection and Intellectual Property Piracy Detection. We provide the time profiling results for the graph extraction and the learning pipelines in HW2VEC.


title: AASAE: Augmentation-Augmented Stochastic Autoencoders

abstract: Recent methods for self-supervised learning can be grouped into two paradigms: contrastive and non-contrastive approaches. Their success can largely be attributed to data augmentation pipelines which generate multiple views of a single input that preserve the underlying semantics. In this work, we introduce augmentation-augmented stochastic autoencoders (AASAE), yet another alternative to self-supervised learning, based on autoencoding. We derive AASAE starting from the conventional variational autoencoder (VAE), by replacing the KL divergence regularization, which is agnostic to the input domain, with data augmentations that explicitly encourage the internal representations to encode domain-specific invariances and equivariances. We empirically evaluate the proposed AASAE on image classification, similar to how recent contrastive and non-contrastive learning algorithms have been evaluated. Our experiments confirm the effectiveness of data augmentation as a replacement for KL divergence regularization. The AASAE outperforms the VAE by 30% on CIFAR-10, 40% on STL-10 and 45% on Imagenet. On CIFAR-10 and STL-10, the results for AASAE are largely comparable to the state-of-the-art algorithms for self-supervised learning.


title: TriPoll: Computing Surveys of Triangles in Massive-Scale Temporal Graphs with Metadata

abstract: Understanding the higher-order interactions within network data is a key objective of network science. Surveys of metadata triangles (or patterned 3-cycles in metadata-enriched graphs) are often of interest in this pursuit. In this work, we develop TriPoll, a prototype distributed HPC system capable of surveying triangles in massive graphs containing metadata on their edges and vertices. We contrast our approach with much of the prior effort on triangle analysis, which often focuses on simple triangle counting, usually in simple graphs with no metadata. We assess the scalability of TriPoll when surveying triangles involving metadata on real and synthetic graphs with up to hundreds of billions of edges.We utilize communication-reducing optimizations to demonstrate a triangle counting task on a 224 billion edge web graph in approximately half of the time of competing approaches, while additionally supporting metadata-aware capabilities.


title: Uplink Data Detection Analysis of 1-Bit Quantized Massive MIMO

abstract: This paper presents an analytical framework for the data detection in massive multiple-input multiple-output uplink systems with 1-bit analog-to-digital converters (ADCs). Considering the single-user case, we provide closed-form expressions of the expected value and the variance of the estimated symbols when maximum ratio combining is adopted at the base station (BS) along with their asymptotic behavior at high signal-to-noise ratio (SNR). These results are exploited to enhance the performance of maximum likelihood detection by taking into account the dispersion of the estimated symbols about their expected values. The symbol error rate with 1-bit ADCs is evaluated with respect to the number of BS antennas, the SNR, and the pilot length used for the channel estimation. The proposed analysis highlights a fundamental SNR trade-off, according to which operating at the right SNR considerably improves the data detection accuracy.


title: Overview of Bachelors Theses 2021

abstract: In this work, we review Bachelors Theses done under the supervision of Vitaly Aksenov at ITMO University. This overview contains the short description of six theses: "Development of a Streaming Algorithm for the Decomposition of Graph Metrics to Tree Metrics" by Oleg Fafurin, "Development of Memory-friendly Concurrent Data Structures" by Roman Smirnov, "Theoretical Analysis of the Performance of Concurrent Data Structures" by Daniil Bolotov, "Parallel Batched Interpolation Search Tree" by Alena Martsenyuk, "Parallel Batched Self-adjusting Data Structures" by Vitalii Krasnov, and "Parallel Batched Persistent Binary Search Trees" by Ildar Zinatulin.


title: Simulations of helical inflationary magnetogenesis and gravitational waves

abstract: Using numerical simulations of helical inflationary magnetogenesis in a low reheating temperature scenario, we show that the magnetic energy spectrum is strongly peaked at a particular wavenumber that depends on the reheating temperature. Gravitational waves (GWs) are produced at frequencies between 3 nHz and 50 mHz for reheating temperatures between 150 MeV and 3x10^5 GeV, respectively. At and below the peak frequency, the stress spectrum is always found to be that of white noise. This implies a linear increase of GW energy per logarithmic wavenumber interval, instead of a cubic one, as previously thought. Both in the helical and nonhelical cases, the GW spectrum is followed by a sharp drop for frequencies above the respective peak frequency. In this magnetogenesis scenario, the presence of a helical term extends the peak of the GW spectrum and therefore also the position of the aforementioned drop toward larger frequencies compared to the case without helicity. This might make a difference in it being detectable with space interferometers. The efficiency of GW production is found to be almost the same as in the nonhelical case, and independent of the reheating temperature, provided the electromagnetic energy at the end of reheating is fixed to be a certain fraction of the radiation energy density. Also, contrary to the case without helicity, the electric energy is now less than the magnetic energy during reheating. The fractional circular polarization is found to be nearly hundred per cent in a certain range below the peak frequency range.


title: Embedding Signals on Knowledge Graphs with Unbalanced Diffusion Earth Mover's Distance

abstract: In modern relational machine learning it is common to encounter large graphs that arise via interactions or similarities between observations in many domains. Further, in many cases the target entities for analysis are actually signals on such graphs. We propose to compare and organize such datasets of graph signals by using an earth mover's distance (EMD) with a geodesic cost over the underlying graph. Typically, EMD is computed by optimizing over the cost of transporting one probability distribution to another over an underlying metric space. However, this is inefficient when computing the EMD between many signals. Here, we propose an unbalanced graph EMD that efficiently embeds the unbalanced EMD on an underlying graph into an $L^1$ space, whose metric we call unbalanced diffusion earth mover's distance (UDEMD). Next, we show how this gives distances between graph signals that are robust to noise. Finally, we apply this to organizing patients based on clinical notes, embedding cells modeled as signals on a gene graph, and organizing genes modeled as signals over a large cell graph. In each case, we show that UDEMD-based embeddings find accurate distances that are highly efficient compared to other methods.


title: The Global Meteor Network -- Methodology and First Results

abstract: The Global Meteor Network (GMN) utilizes highly sensitive low-cost CMOS video cameras which run open-source meteor detection software on Raspberry Pi computers. Currently, over 450 GMN cameras in 30 countries are deployed. The main goal of the network is to provide long-term characterization of the radiants, flux, and size distribution of annual meteor showers and outbursts in the optical meteor mass range. The rapid 24-hour publication cycle the orbital data will enhance the public situational awareness of the near-Earth meteoroid environment. The GMN also aims to increase the number of instrumentally observed meteorite falls and the transparency of data reduction methods. A novel astrometry calibration method is presented which allows decoupling of the camera pointing from the distortion, and is used for frequent pointing calibrations through the night. Using wide-field cameras ($88^{\circ}\times48^{\circ}$) with a limiting stellar magnitude of $+6.0 \pm 0.5$ at 25 frames per second, over 220,000 precise meteoroid orbits were collected since December 2018 until June 2021. The median radiant precision of all computed trajectories is $0.47^{\circ}$, $0.32^{\circ}$ for $\sim20\%$ of meteors which were observed from 4+ stations, a precision sufficient to measure physical dispersions of meteor showers. All non-daytime annual established meteor showers were observed during that time, including five outbursts. An analysis of a meteorite-dropping fireball is presented which showed visible wake, fragmentation details, and several discernible fragments. It had spatial trajectory fit errors of only ~40 m, which translated into the estimated radiant and velocity errors of 3 arc minutes and tens of meters per second.


title: Vaccine efficacy: demystifying an epidemiological concept

abstract: The paper is an introduction to the concept of vaccine efficacy and its practical applications. We provide illustrative examples aimed at a wider audience.


title: Giga-voxel multidimensional fluorescence imaging combining single-pixel detection and data fusion

abstract: Time-resolved fluorescence imaging is a key tool in biomedical applications, as it allows to non-invasively obtain functional and structural information. However, the big amount of collected data introduces challenges in both acquisition speed and processing needs. Here, we introduce a novel technique that allows to reconstruct a Giga-voxel 4D hypercube in a fast manner while only measuring 0.03 % of the information. The system combines two single-pixel cameras and a conventional 2D array detector working in parallel. Data fusion techniques are introduced to combine the individual 2D and 3D projections acquired by each sensor in the final high-resolution 4D hypercube, which can be used to identify different fluorophore species by their spectral and temporal signatures.


title: Gluon saturation in proton and its contribution to single inclusive soft gluon production in high energy proton-nucleus collisions

abstract: The leading order single inclusive soft gluon production in high energy proton-nucleus (pA) collisions has been studied by various approaches for more than two decades. The first correction due to the gluon saturation in proton was analytically attempted recently through a diagrammatic approach in which only partial results were obtained. An important feature of the first saturation correction is that it includes both initial state and final state interactions. In this paper, we present the complete result derived from the Color Glass Condensate framework. Our approach is to analytically solve the classical Yang-Mills equations in the dilute-dense regime and then use the Lehmann-Symanzik-Zimmermann (LSZ) reduction formula to obtain gluon production from classical gluon fields.


title: DBSP_DRP: A Python package for automated spectroscopic data reduction of DBSP data

abstract: DBSP_DRP is a python package that provides fully automated data reduction of data taken by the Double Spectrograph (DBSP) at the 200-inch Hale Telescope at Palomar Observatory (Oke & Gunn, 1982). The underlying data reduction functionality to extract 1D spectra, perform flux calibration and correction for atmospheric absorption, and coadd spectra together is provided by PypeIt (Prochaska et al., 2020). The new functionality that DBSP_DRP brings is in orchestrating the complex data reduction process by making smart decisions so that no user input is required after verifying the correctness of the metadata in the raw FITS files in a table-like GUI. Though the primary function of DBSP_DRP is to automatically reduce an entire night of data without user input, it has the flexibility for astronomers to fine-tune the data reduction with GUIs for manually identifying the faintest objects, as well as exposing the full set of PypeIt parameters to be tweaked for users with particular science needs. DBSP_DRP also handles some of the occasional quirks specific to DBSP, such as swapping FITS header cards, adding (an) extra null byte/s to FITS files making them not conform to the FITS specification, and not writing the coordinates of the observation to file. Additionally, DBSP_DRP contains a quicklook script for making real-time decisions during an observing run, and can open a GUI displaying a minimally reduced exposure in under 15 seconds. Docker containers are available for ease of deploying DBSP_DRP in its quicklook configuration (without some large atmospheric model files) or in its full configuration.


title: Generic density of geodesic nets

abstract: We prove that for a Baire-generic Riemannian metric on a closed smooth manifold, the union of the images of all stationary geodesic nets forms a dense set.


title: A tenuous, collisional atmosphere on Callisto

abstract: A simulation tool which utilizes parallel processing is developed to describe molecular kinetics in 2D, single-and multi-component atmospheres on Callisto. This expands on our previous study on the role of collisions in 1D atmospheres on Callisto composed of radiolytic products (Carberry Mogan et al., 2020) by implementing a temperature gradient from noon to midnight across Callisto's surface and introducing sublimated water vapor. We compare single-species, ballistic and collisional O2, H2 and H2O atmospheres, as well as an O2+H2O atmosphere to 3-species atmospheres which contain H2 in varying amounts. Because the H2O vapor pressure is extremely sensitive to the surface temperatures, the density drops several order of magnitude with increasing distance from the subsolar point, and the flow transitions from collisional to ballistic accordingly. In an O2+H2O atmosphere the local temperatures are determined by H2O near the subsolar point and transition with increasing distance from the subsolar point to being determined by O2 When radiolytically produced H2 is not negligible in O2+H2O+H2 atmospheres, this much lighter molecule, with a scale height roughly an order of magnitude larger than that for the heavier species, can cool the local temperatures via collisions. In addition, if the H2 component is dense enough, particles originating on the day-side and precipitating into the night-side atmosphere deposit energy via collisions, which in turn heats the local atmosphere relative to the surface temperature. Finally, we discuss the potential implications of this study on the presence of H2 in Callisto's atmosphere and how the simulated densities correlate with expected detection thresholds at flyby altitudes of the proposed JUpiter ICy moons Explorer (JUICE) spacecraft.


title: Sisyphus: A Cautionary Tale of Using Low-Degree Polynomial Activations in Privacy-Preserving Deep Learning

abstract: Privacy concerns in client-server machine learning have given rise to private inference (PI), where neural inference occurs directly on encrypted inputs. PI protects clients' personal data and the server's intellectual property. A common practice in PI is to use garbled circuits to compute nonlinear functions privately, namely ReLUs. However, garbled circuits suffer from high storage, bandwidth, and latency costs. To mitigate these issues, PI-friendly polynomial activation functions have been employed to replace ReLU. In this work, we ask: Is it feasible to substitute all ReLUs with low-degree polynomial activation functions for building deep, privacy-friendly neural networks? We explore this question by analyzing the challenges of substituting ReLUs with polynomials, starting with simple drop-and-replace solutions to novel, more involved replace-and-retrain strategies. We examine the limitations of each method and provide commentary on the use of polynomial activation functions for PI. We find all evaluated solutions suffer from the escaping activation problem: forward activation values inevitably begin to expand at an exponential rate away from stable regions of the polynomials, which leads to exploding values (NaNs) or poor approximations.


title: The influence of upper boundary conditions on molecular kinetic atmospheric escape simulations

abstract: Molecular kinetic simulations are typically used to accurately describe the tenuous regions of the upper atmospheres on planetary bodies. These simulations track the motion of particles representing real atmospheric atoms and/or molecules subject to collisions, the object's gravity, and external influences. Because particles can end up in very large ballistic orbits, upper boundary conditions (UBC) are typically used to limit the domain size thereby reducing the time for the atmosphere to reach steady-state. In the absence of a clear altitude at which all molecules are removed, such as a Hill sphere, an often used condition is to choose an altitude at which collisions become infrequent so that particles on escape trajectories are removed. The remainder are then either specularly reflected back into the simulation domain or their ballistic trajectories are calculated analytically or explicitly tracked so they eventually re-enter the domain. Here we examine the effect of the choice of the UBC on the escape rate and the structure of the atmosphere near the nominal exobase in the convenient and frequently used 1D spherically symmetric approximation. Using Callisto as the example body, we show that the commonly used specular reflection UBC can lead to significant uncertainties when simulating a species with a lifetime comparable to or longer than a dynamical time scale, such as an overestimation of escape rates and an inflated exosphere. Therefore, although specular reflection is convenient, the molecular lifetimes and body's dynamical time scales need to be considered even when implementing the convenient 1D spherically symmetric simulations in order to accurately estimate the escape rate and the density and temperature structure in the transition regime.


title: Weak Laplacian bounds and minimal boundaries in non-smooth spaces with Ricci curvature lower bounds

abstract: The goal of the paper is four-fold. In the setting of non-smooth spaces with Ricci curvature lower bounds (more precisely RCD(K,N) metric measure spaces): - we develop an intrinsic theory of Laplacian bounds in viscosity sense and in a pointwise, heat flow related, sense, showing their equivalence also with Laplacian bounds in distributional sense; - relying on these tools, we establish a PDE principle relating lower Ricci curvature bounds to the preservation of Laplacian lower bounds under the evolution via the $p$-Hopf-Lax semigroup, for general exponents $p\in[1,\infty)$. This principle admits a broad range of applications, going much beyond the topic of the present paper; - we prove sharp Laplacian bounds on the distance function from a set (locally) minimizing the perimeter with a flexible technique, not involving any regularity theory; this corresponds to vanishing mean curvature in the smooth setting and encodes also information about the second variation of the area; - we initiate a regularity theory for boundaries of sets (locally) minimizing the perimeter, obtaining sharp dimension estimates for their singular sets, quantitative estimates of independent interest even in the smooth setting and topological regularity away from the singular set. The class of RCD(K,N) metric measure spaces includes as remarkable sub-classes: measured Gromov-Hausdorff limits of smooth manifolds with lower Ricci curvature bounds and finite dimensional Alexandrov spaces with lower sectional curvature bounds. Most of the results are new also in these frameworks. Moreover, the tools that we develop here have applications to classical questions in Geometric Analysis on smooth, non compact Riemannian manifolds with lower Ricci curvature bounds.


title: Uniqueness of Meromorphic functions concerning k-th derivatives and difference operators

abstract: In this paper, we continue to study the sharing value problems for higher order derivatives of meromorphic functions with its linear difference and $q$-difference operators. Some of our results generalize and improve the results of Meng--Liu (J. Appl. Math. and Informatics, 37(2019), 133--148) to a large extent.


title: Beyond Voice Identity Conversion: Manipulating Voice Attributes by Adversarial Learning of Structured Disentangled Representations

abstract: Voice conversion (VC) consists of digitally altering the voice of an individual to manipulate part of its content, primarily its identity, while maintaining the rest unchanged. Research in neural VC has accomplished considerable breakthroughs with the capacity to falsify a voice identity using a small amount of data with a highly realistic rendering. This paper goes beyond voice identity and presents a neural architecture that allows the manipulation of voice attributes (e.g., gender and age). Leveraging the latest advances on adversarial learning of structured speech representation, a novel structured neural network is proposed in which multiple auto-encoders are used to encode speech as a set of idealistically independent linguistic and extra-linguistic representations, which are learned adversariarly and can be manipulated during VC. Moreover, the proposed architecture is time-synchronized so that the original voice timing is preserved during conversion which allows lip-sync applications. Applied to voice gender conversion on the real-world VCTK dataset, our proposed architecture can learn successfully gender-independent representation and convert the voice gender with a very high efficiency and naturalness.


title: Lorentzian 2d CFT from the pAQFT perspective

abstract: We provide a detailed construction of the quantum theory of the massless scalar field on 2-dimensional, globally-hyperbolic (in particular, Lorentzian) manifolds using the framework of perturbative algebraic quantum field theory. From this we subalgebras of observables isomorphic to the Heisenberg and Virasoro algebras on the Einstein cylinder. We also show how the conformal version of general covariance, as first introduced by Pinamonti as an extension of the construction due to Brunetti, Fredenhagen and Verch, may be applied to the concept of natural Lagrangians in order to obtain a simple condition for the conformal covariance of classical dynamics, which is then shown to quantise in the case of a quadratic Lagrangian. We then compare the covariance condition for the stress-energy tensor in the classical and quantum theory in Minkowksi space, obtaining a transformation law dependent on the Schwarzian derivative of the transformed coordinate, in accordance with a well-known result in the Euclidean literature.


title: Finite symmetries of quantum character stacks

abstract: For a finite group $D$, we study categorical factorisation homology on oriented surfaces equipped with principal $D$-bundles, which `integrates' a (linear) balanced braided category $\mathcal{A}$ with $D$-action over those surfaces. For surfaces with at least one boundary component, we identify the value of factorisation homology with the category of modules over an explicit algebra in $\mathcal{A}$, extending the work of Ben-Zvi, Brochier and Jordan to surfaces with $D$-bundles. Furthermore, we show that the value of factorisation homology on annuli, boundary conditions, and point defects can be described in terms of equivariant representation theory. Our main example comes from an action of Dynkin diagram automorphisms on representation categories of quantum groups. We show that in this case factorisation homology gives rise to a quantisation of the moduli space of flat twisted bundles.


title: Imaging Sources in the Third Realization of the International Celestial Reference Frame

abstract: The third iteration of the International Celestial Reference Frame (ICRF3) is made up of 4536 quasars observed at S/X bands using Very Long baseline Interferometry (VLBI). These sources are high redshift quasars, typically between $1<z<2$, that are believed to host active galactic nuclei (AGN) at their centers. The position of compact radio sources can be determined better than sources with large amounts of extended radio structure. Here we report information on a series of 20 observations from January 2017 through December 2017 which were designed for precise astrometry and to monitor the structure of sources included in the ICRF3. We targeted 3627 sources over the one year campaign and found the median flux density of 2697 detected sources at S-band is 0.13 Jy, and the flux density of 3209 sources detected at X-band is 0.09 Jy. We find that $70\%$ of detected sources in our campaign are considered compact at X-band and ideal for use in the ICRF and $89\%$ of the 2615 sources detected at both frequencies have a flat spectral index, $\alpha>0.5$


title: Trigonal-to-monoclinic structural transition in TiSe$_2$ due to a combined condensation of $\mathbf{ \textit{q} = (\frac{1}{2},0,0)}$ and $\mathbf{(\frac{1}{2},0,\frac{1}{2})}$ phonon instabilities

abstract: I present first principles calculations of the phonon dispersions of TiSe$_2$ in the $P\overline{3}c1$ phase, which is the currently accepted low-temperature structure of this material. They show weak instabilities in the acoustic branches in the out-of-plane direction, suggesting that this phase may not be the true ground state. To find the lowest energy structure, I study the energetics of all possible distorted structures corresponding to the isotropy subgroups of $P\overline{3}m1$ for the $M_1^-$ and $L_1^-$ phonon instabilities present in this high-temperature phase at $q = (\frac{1}{2},0,0)$ and $(\frac{1}{2},0,\frac{1}{2})$, respectively. I was able to stabilize 10 different structures that are lower in energy relative to the parent $P\overline{3}m1$ phase, including two monoclinic structures more energetically stable than the $P\overline{3}c1$ phase. The lowest energy structure has the space group $C2$ with the order parameter $M_1^- (a,0,0) + L_1^- (0,b,b)$. This structure lacks inversion symmetry, and its primitive unit cell has 12 atoms.


title: NeLF: Neural Light-transport Field for Portrait View Synthesis and Relighting

abstract: Human portraits exhibit various appearances when observed from different views under different lighting conditions. We can easily imagine how the face will look like in another setup, but computer algorithms still fail on this problem given limited observations. To this end, we present a system for portrait view synthesis and relighting: given multiple portraits, we use a neural network to predict the light-transport field in 3D space, and from the predicted Neural Light-transport Field (NeLF) produce a portrait from a new camera view under a new environmental lighting. Our system is trained on a large number of synthetic models, and can generalize to different synthetic and real portraits under various lighting conditions. Our method achieves simultaneous view synthesis and relighting given multi-view portraits as the input, and achieves state-of-the-art results.


title: Genetic Networks Encode Secrets of Their Past

abstract: Research shows that gene duplication followed by either repurposing or removal of duplicated genes is an important contributor to evolution of gene and protein interaction networks. We aim to identify which characteristics of a network can arise through this process, and which must have been produced in a different way. To model the network evolution, we postulate vertex duplication and edge deletion as evolutionary operations on graphs. Using the novel concept of an ancestrally distinguished subgraph, we show how features of present-day networks require certain features of their ancestors. In particular, ancestrally distinguished subgraphs cannot be introduced by vertex duplication. Additionally, if vertex duplication and edge deletion are the only evolutionary mechanisms, then a graph's ancestrally distinguished subgraphs must be contained in all of the graph's ancestors. We analyze two experimentally derived genetic networks and show that our results accurately predict lack of large ancestrally distinguished subgraphs, despite this feature being statistically improbable in associated random networks. This observation is consistent with the hypothesis that these networks evolved primarily via vertex duplication. The tools we provide open the door for analysing ancestral networks using current networks. Our results apply to edge-labeled (e.g. signed) graphs which are either undirected or directed.


title: Vincular Pattern Avoidance on Cyclic Permutations

abstract: Pattern avoidance for permutations has been extensively studied, and has been generalized to vincular patterns, where certain elements can be required to be adjacent. In addition, cyclic permutations, i.e., permutations written in a circle rather than a line, have been frequently studied, including in the context of pattern avoidance. We investigate vincular pattern avoidance on cyclic permutations. In particular, we enumerate many avoidance classes of sets of vincular patterns of length 3, including a complete enumeration for all single patterns of length 3. Further, several of the avoidance classes corresponding to a single vincular pattern of length 4 are enumerated by the Catalan numbers. We then study more generally whether sets of vincular patterns of an arbitrary length $k$ can be avoided for arbitrarily long cyclic permutations, in particular investigating the boundary cases of minimal unavoidable sets and maximal avoidable sets.


title: The Maxwell-Boltzmann Velocity Distribution Function in Detail

abstract: Despite its importance, in the introductory disciplines of exact science courses, the demonstration of the Maxwell-Boltzmann velocity distribution law is not explained, only its final equation is shown. In order to fill this deficiency, in this work we try to show in detail, in a very didactic way, the demonstration of such a law. For this, the kinetic theory of gases is initially introduced. The good agreement of the Maxwell-Boltzmann velocity distribution law with experimental results and its applicability limit is also presented.


title: A Product Space Reformulation with Reduced Dimension for Splitting Algorithms

abstract: In this paper we propose a product space reformulation to transform monotone inclusions described by finitely many operators on a Hilbert space into equivalent two-operator problems. Our approach relies on Pierra's classical reformulation with a different decomposition, which results on a reduction of the dimension of the outcoming product Hilbert space. We discuss the case of not necessarily convex feasibility and best approximation problems. By applying existing splitting methods to the proposed reformulation we obtain new parallel variants of them with a reduction in the number of variables. The convergence of the new algorithms is straightforwardly derived with no further assumptions. The computational advantage is illustrated through some numerical experiments.


title: Cartesian Fibrations of $(\infty,2)$-categories

abstract: In this article we introduce four variance flavours of cartesian 2-fibrations of $\infty$-bicategories with $\infty$-bicategorical fibres, in the framework of scaled simplicial sets. Given a map $p\colon \mathcal{E} \rightarrow\mathcal{B}$ of $\infty$-bicategories, we define $p$-(co)cartesian arrows and inner/outer triangles by means of lifting properties against $p$. Inner/outer (co)cartesian 2-fibrations are then defined to be maps with enough (co)cartesian lifts for arrows and enough inner/outer lifts for triangles, together with a compatibility property with respect to whiskerings in the outer case. By doing so, we also recover in particular the case of $\infty$-bicategories fibred in $\infty$-categories studied in previous work. We also prove that equivalences of such 2-fibrations can be tested fiberwise. As a motivating example, we show that the domain projection $\mathrm{d}\colon\mathrm{RMap}(\Delta^1,\mathcal{C})\rightarrow \mathcal{C}$ is a prototypical example of an outer cartesian 2-fibration, where $\mathrm{RMap}(X,Y)$ denotes the $\infty$-bicategory of functors, lax natural transformations and modifications. We then define inner/outer (co)cartesian 2-fibrations of categories enriched in $\infty$-categories, and we show that a fibration $p\colon \mathcal{E} \rightarrow \mathcal{B}$ of such categories is a (co)cartesian inner/outer 2-fibration if and only if the corresponding scaled nerve $\mathrm{N}^{\mathrm{sc}}(p)\colon \mathrm{N}^{\mathrm{sc}}\mathcal{E} \rightarrow \mathrm{N}^{\mathrm{sc}}\mathcal{B}$ is a fibration of this type between $\infty$-bicategories.


title: Structure-Preserving Multi-Domain Stain Color Augmentation using Style-Transfer with Disentangled Representations

abstract: In digital pathology, different staining procedures and scanners cause substantial color variations in whole-slide images (WSIs), especially across different laboratories. These color shifts result in a poor generalization of deep learning-based methods from the training domain to external pathology data. To increase test performance, stain normalization techniques are used to reduce the variance between training and test domain. Alternatively, color augmentation can be applied during training leading to a more robust model without the extra step of color normalization at test time. We propose a novel color augmentation technique, HistAuGAN, that can simulate a wide variety of realistic histology stain colors, thus making neural networks stain-invariant when applied during training. Based on a generative adversarial network (GAN) for image-to-image translation, our model disentangles the content of the image, i.e., the morphological tissue structure, from the stain color attributes. It can be trained on multiple domains and, therefore, learns to cover different stain colors as well as other domain-specific variations introduced in the slide preparation and imaging process. We demonstrate that HistAuGAN outperforms conventional color augmentation techniques on a classification task on the publicly available dataset Camelyon17 and show that it is able to mitigate present batch effects.


title: Constraining spinning primordial black holes with global 21-cm signal

abstract: We study the upper projected bounds on the dark matter fraction in the form of the primordial black holes (PBHs) with a non-zero spin by using the absorption feature in the global 21-cm signal at redshift z ~ 17. The mass and spin are fundamental properties of a black hole, and they can substantially affect the evaporation rate of the black hole. The evaporating black hole can inject energy into the intergalactic medium and heat the gas. Subsequently, it can modify the absorption amplitude in the global 21-cm signal. Therefore, the absorption feature in the 21-cm signal can provide a robust bound on PBHs. We analyse the projected constraints on the dark matter fraction in the form of both spinning and non-spinning PBHs. The constraints are more stringent for spinning PBHs than non-spinning ones. We also compare these bounds with other observations and find the most stringent lower constraint on PBHs mass, which is allowed to constitute the entire dark matter to 6.7 x 10^17 g for extremal spinning PBHs.


title: Scattering for the non-radial inhomogenous biharmonic NLS equation

abstract: We consider the focusing inhomogeneous biharmonic nonlinear Schr\"odinger equation in $H^2(\mathbb{R}^N)$, \begin{equation} iu_t + \Delta^2 u - |x|^{-b}|u|^{\alpha}u=0 \end{equation} when $b > 0$ and $N \geq 5$. We first obtain a small data global result in $H^2$, which, in the five-dimensional case, improves a previous result from Pastor and the second author. In the sequel, we show the main result, scattering below the mass-energy threshold in the intercritical case, that is, $\frac{8-2b}{N} < \alpha <\frac{8-2b}{N-4}$, without assuming radiality of the initial data. The proof combines the decay of the nonlinearity with Virial-Morawetz-type estimates to avoid the radial assumption, allowing for a much simpler proof than the Kenig-Merle roadmap.


title: IRLCov19: A Large COVID-19 Multilingual Twitter Dataset of Indian Regional Languages

abstract: Emerged in Wuhan city of China in December 2019, COVID-19 continues to spread rapidly across the world despite authorities having made available a number of vaccines. While the coronavirus has been around for a significant period of time, people and authorities still feel the need for awareness due to the mutating nature of the virus and therefore varying symptoms and prevention strategies. People and authorities resort to social media platforms the most to share awareness information and voice out their opinions due to their massive outreach in spreading the word in practically no time. People use a number of languages to communicate over social media platforms based on their familiarity, language outreach, and availability on social media platforms. The entire world has been hit by the coronavirus and India is the second worst-hit country in terms of the number of active coronavirus cases. India, being a multilingual country, offers a great opportunity to study the outreach of various languages that have been actively used across social media platforms. In this study, we aim to study the dataset related to COVID-19 collected in the period between February 2020 to July 2020 specifically for regional languages in India. This could be helpful for the Government of India, various state governments, NGOs, researchers, and policymakers in studying different issues related to the pandemic. We found that English has been the mode of communication in over 64% of tweets while as many as twelve regional languages in India account for approximately 4.77% of tweets.


title: Convergent least-squares optimisation methods for variational data assimilation

abstract: Data assimilation combines prior (or background) information with observations to estimate the initial state of a dynamical system over a given time-window. A common application is in numerical weather prediction where a previous forecast and atmospheric observations are used to obtain the initial conditions for a numerical weather forecast. In four-dimensional variational data assimilation (4D-Var), the problem is formulated as a nonlinear least-squares problem, usually solved using a variant of the classical Gauss-Newton (GN) method. However, we show that GN may not converge if poorly initialised. In particular, we show that this may occur when there is greater uncertainty in the background information compared to the observations, or when a long time-window is used in 4D-Var allowing more observations. The difficulties GN encounters may lead to inaccurate initial state conditions for subsequent forecasts. To overcome this, we apply two convergent GN variants (line search and regularisation) to the long time-window 4D-Var problem and investigate the cases where they locate a more accurate estimate compared to GN within a given budget of computational time and cost. We show that these methods are able to improve the estimate of the initial state, which may lead to a more accurate forecast.


title: Pressure Test: Quantifying the impact of positive stress on companies from online employee reviews

abstract: Workplace stress is often considered to be negative, yet lab studies on individuals suggest that not all stress is bad. There are two types of stress: distress refers to harmful stimuli, while eustress refers to healthy, euphoric stimuli that create a sense of fulfillment and achievement. Telling the two types of stress apart is challenging, let alone quantifying their impact across corporations. By leveraging a dataset of 440K reviews about S&P 500 companies published during twelve successive years, we developed a deep learning framework to extract stress mentions from these reviews. We proposed a new methodology that places each company on a stress-by-rating quadrant (based on its overall stress score and overall rating on the site), and accordingly scores the company to be, on average, either a low stress}, passive, negative stress, or positive stress company. We found that (former) employees of positive stress companies tended to describe high-growth and collaborative workplaces in their reviews, and that such companies' stock evaluations grew, on average, 5.1 times in 10 years (2009-2019) as opposed to the companies of the other three stress types that grew, on average, 3.7 times in the same time period. We also found that the four stress scores aggregated every year -- from 2008 to 2020 -- closely followed the unemployment rate in the U.S.: a year of positive stress (2008) was rapidly followed by several years of negative stress (2009-2015), which peaked during the Great Recession (2009-2011). These results suggest that automated analyses of the language used by employees on corporate social-networking tools offer yet another way of tracking workplace stress, allowing quantification of its impact on corporations.


title: Environment seen from infinite geodesics in Liouville Quantum Gravity

abstract: First passage percolation (FPP) on $\mathbb{Z}^d$ or $\mathbb{R}^d$ is a canonical model of a random metric space where the standard Euclidean geometry is distorted by random noise. Of central interest is the length and the geometry of the geodesic, the shortest path between points. Since the latter, owing to its length minimization, traverses through atypically low values of the underlying noise variables, it is an important problem to quantify the disparity between the environment rooted at a point on the geodesic and the typical one. We investigate this in the context of $\gamma$-Liouville Quantum Gravity (LQG) (where $\gamma \in (0,2)$ is a parameter) -- a random Riemannian surface induced on the complex plane by the random metric tensor $e^{2\gamma h/d_{\gamma}} ({dx^2+dy^2}),$ where $h$ is the whole plane, properly centered, Gaussian Free Field (GFF), and $d_\gamma$ is the associated dimension. We consider the unique infinite geodesic $\Gamma$ from the origin, parametrized by the logarithm of its chemical length, and show that, for an almost sure realization of $h$, the distributions of the appropriately scaled field and the induced metric on a ball, rooted at a point "uniformly" sampled on $\Gamma$, converge to deterministic measures on the space of generalized functions and continuous metrics on the unit disk respectively. Moreover, we show that the limiting objects living on the unit disk are singular with respect to their typical counterparts, but become absolutely continuous away from the origin. Our arguments rely on unearthing a regeneration structure with fast decay of correlation in the geodesic owing to coalescence and the domain Markov property of the GFF. While there have been significant recent advances around this question for stochastic planar growth models in the KPZ class, the present work initiates this research program in the context of LQG.


title: Plugin Estimation of Smooth Optimal Transport Maps

abstract: We analyze a number of natural estimators for the optimal transport map between two distributions and show that they are minimax optimal. We adopt the plugin approach: our estimators are simply optimal couplings between measures derived from our observations, appropriately extended so that they define functions on $\mathbb{R}^d$. When the underlying map is assumed to be Lipschitz, we show that computing the optimal coupling between the empirical measures, and extending it using linear smoothers, already gives a minimax optimal estimator. When the underlying map enjoys higher regularity, we show that the optimal coupling between appropriate nonparametric density estimates yields faster rates. Our work also provides new bounds on the risk of corresponding plugin estimators for the quadratic Wasserstein distance, and we show how this problem relates to that of estimating optimal transport maps using stability arguments for smooth and strongly convex Brenier potentials. As an application of our results, we derive central limit theorems for plugin estimators of the squared Wasserstein distance, which are centered at their population counterpart when the underlying distributions have sufficiently smooth densities. In contrast to known central limit theorems for empirical estimators, this result easily lends itself to statistical inference for the quadratic Wasserstein distance.


title: Inference for Heteroskedastic PCA with Missing Data

abstract: This paper studies how to construct confidence regions for principal component analysis (PCA) in high dimension, a problem that has been vastly under-explored. While computing measures of uncertainty for nonlinear/nonconvex estimators is in general difficult in high dimension, the challenge is further compounded by the prevalent presence of missing data and heteroskedastic noise. We propose a novel approach to performing valid inference on the principal subspace under a spiked covariance model with missing data, on the basis of an estimator called HeteroPCA (Zhang et al., 2022). We develop non-asymptotic distributional guarantees for HeteroPCA, and demonstrate how these can be invoked to compute both confidence regions for the principal subspace and entrywise confidence intervals for the spiked covariance matrix. Our inference procedures are fully data-driven and adaptive to heteroskedastic random noise, without requiring prior knowledge about the noise levels.

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


title: L-series of harmonic Maass forms and a summation formula for harmonic lifts

abstract: We introduce an L-series associated with harmonic Maass forms and prove their functional equations. We establish converse theorems for these L-series and, as an application, we formulate and prove a summation formula for the holomorphic part of a harmonic lift of a given cusp form.


title: Approximating Sumset Size

abstract: Given a subset $A$ of the $n$-dimensional Boolean hypercube $\mathbb{F}_2^n$, the sumset $A+A$ is the set $\{a+a': a, a' \in A\}$ where addition is in $\mathbb{F}_2^n$. Sumsets play an important role in additive combinatorics, where they feature in many central results of the field. The main result of this paper is a sublinear-time algorithm for the problem of sumset size estimation. In more detail, our algorithm is given oracle access to (the indicator function of) an arbitrary $A \subseteq \mathbb{F}_2^n$ and an accuracy parameter $\epsilon > 0$, and with high probability it outputs a value $0 \leq v \leq 1$ that is $\pm \epsilon$-close to $\mathrm{Vol}(A' + A')$ for some perturbation $A' \subseteq A$ of $A$ satisfying $\mathrm{Vol}(A \setminus A') \leq \epsilon.$ It is easy to see that without the relaxation of dealing with $A'$ rather than $A$, any algorithm for estimating $\mathrm{Vol}(A+A)$ to any nontrivial accuracy must make $2^{\Omega(n)}$ queries. In contrast, we give an algorithm whose query complexity depends only on $\epsilon$ and is completely independent of the ambient dimension $n$.


title: Revealing the Vertical Cloud Structure of a young low-mass Brown Dwarf, an analog to the beta-Pictoris b directly-imaged exoplanet, through Keck I/MOSFIRE spectro-photometric variability

abstract: Young brown dwarfs are analogs to giant exoplanets, as they share effective temperatures, near-infrared colors, and surface gravities. Thus, the detailed characterization of young brown dwarfs might shed light on the study of giant exoplanets, that we are currently unable to observe with sufficient signal-to-noise to allow precise characterization of their atmospheres. 2MASS J22081363+2921215 is a young L3 brown dwarf, member of the beta-Pictoris young moving group (23 +/-3 Myr), that shares its effective temperature and mass with the beta Pictoris b giant exoplanet. We performed a ~2.5 hr spectro-photometric J-band monitoring of 2MASS J22081363+2921215 with the MOSFIRE multi-object spectrograph, installed at the Keck I telescope. We measured a minimum variability amplitude of 3.22 +/- 0.42 % for its J-band light curve. The ratio between the maximum and the minimum flux spectra of 2MASS J22081363+2921215 shows a weak wavelength dependence and a potential enhanced variability amplitude in the alkali lines. Further analysis suggests that the variability amplitude on the alkali lines is higher than the overall variability amplitude (4.5-11 %, depending on the lines). The variability amplitudes in these lines are lower if we degrade the resolution of the original MOSFIRE spectra to R~100, which explains why this potential enhanced variability in the alkali lines has not been found previously in HST/WFC3 light curves. Using radiative-transfer models, we obtained the different cloud layers that might be introducing the spectro-photometric variability we observe for 2MASS J22081363+2921215, that further support the measured enhanced variability amplitude in the alkali lines. We provide an artistic recreation of the vertical cloud structure of this beta-Pictoris b analog.


title: Improve Unsupervised Pretraining for Few-label Transfer

abstract: Unsupervised pretraining has achieved great success and many recent works have shown unsupervised pretraining can achieve comparable or even slightly better transfer performance than supervised pretraining on downstream target datasets. But in this paper, we find this conclusion may not hold when the target dataset has very few labeled samples for finetuning, \ie, few-label transfer. We analyze the possible reason from the clustering perspective: 1) The clustering quality of target samples is of great importance to few-label transfer; 2) Though contrastive learning is essential to learn how to cluster, its clustering quality is still inferior to supervised pretraining due to lack of label supervision. Based on the analysis, we interestingly discover that only involving some unlabeled target domain into the unsupervised pretraining can improve the clustering quality, subsequently reducing the transfer performance gap with supervised pretraining. This finding also motivates us to propose a new progressive few-label transfer algorithm for real applications, which aims to maximize the transfer performance under a limited annotation budget. To support our analysis and proposed method, we conduct extensive experiments on nine different target datasets. Experimental results show our proposed method can significantly boost the few-label transfer performance of unsupervised pretraining.


title: Preview of Comet C/2021 A1 (Leonard) and Its Encounter with Venus

abstract: Long period comet C/2021 A1 (Leonard) will approach Venus to within 0.029 au on 2021 December 18 and may subsequently graze the planet with its dust trail less than two days later. We observed C/2021 A1 with the Lowell Discovery Telescope on 2021 January 13 and March 3, as well as with the Palomar Hale Telescope on 2021 March 20, while the comet was inbound at heliocentric distances of r=4.97 au, 4.46 au, and 4.28 au, respectively. Tail morphology suggests that the dust is optically dominated by ~0.1-1 mm radius grains produced in the prior year. Neither narrowband imaging photometry nor spectrophotometry reveal any definitive gas emission, placing 3-sigma upper bounds on CN production of <1e23 molec/s at both of the latter two epochs. Trajectory analysis indicates that large (>1 mm) grains ejected at extremely large heliocentric distances (r>30 au) are most strongly favored to reach Venus. The flux of such meteors on Venus, and thus their potential direct or indirect observability, is highly uncertain as the comet's dust production history is poorly constrained at these distances, but will likely fall well below the meteor flux from comet C/2013 A1 (Siding Spring)'s closer encounter to Mars in 2014, and thus poses negligible risk to any spacecraft in orbit around Venus. Dust produced in previous apparitions will not likely contribute substantially to the meteor flux, nor will dust from any future activity apart from an unlikely high speed (>0.5 km/s) dust outburst prior to the comet reaching r~2 au in 2021 September.