title: Model-Centric Volumetric Point Cloud Attributes

abstract: Point clouds have recently gained interest, especially for real-time applications and for 3D-scanned material, such as is used in autonomous driving, architecture, and engineering, to model real estate for renovation or display. Point clouds are associated with geometry information and attributes such as color. Be the color unique or direction-dependent (in the case of plenoptic point clouds), it reflects the colors observed by cameras displaced around the object. Hence, not only are the viewing references assumed, but the illumination spectrum and illumination geometry is also implicit. We propose a model-centric description of the 3D object, that is independent of the illumination and of the position of the cameras. We want to be able to describe the objects themselves such that, at a later stage, the rendering of the model may decide where to place illumination, from which it may calculate the image viewed by a given camera. We want to be able to describe transparent or translucid objects, mirrors, fishbowls, fog and smoke. Volumetric clouds may allow us to describe the air, however ``empty'', and introduce air particles, in a manner independent of the viewer position. For that, we rely on some eletromagnetic properties to arrive at seven attributes per voxel that would describe the material and its color or transparency. Three attributes are for the transmissivity of each color, three are for the attenuation of each color, and another attribute is for diffuseness. These attributes give information about the object to the renderer, with whom lies the decision on how to render and depict each object.


title: Stratification in tensor triangular geometry with applications to spectral Mackey functors

abstract: We systematically develop a theory of stratification in the context of tensor triangular geometry and apply it to classify the localizing tensor-ideals of certain categories of spectral $G$-Mackey functors for all finite groups $G$. Our theory of stratification is based on the approach of Stevenson which uses the Balmer-Favi notion of big support for tensor-triangulated categories whose Balmer spectrum is weakly noetherian. We clarify the role of the local-to-global principle and establish that the Balmer-Favi notion of support provides the universal approach to weakly noetherian stratification. This provides a uniform new perspective on existing classifications in the literature and clarifies the relation with the theory of Benson-Iyengar-Krause. Our systematic development of this approach to stratification, involving a reduction to local categories and the ability to pass through finite \'{e}tale extensions, may be of independent interest. Moreover, we strengthen the relationship between stratification and the telescope conjecture. The starting point for our equivariant applications is the recent computation by Patchkoria-Sanders-Wimmer of the Balmer spectrum of the category of derived Mackey functors, which was found to capture precisely the height $0$ and height $\infty$ chromatic layers of the spectrum of the equivariant stable homotopy category. We similarly study the Balmer spectrum of the category of $E(n)$-local spectral Mackey functors noting that it bijects onto the height $\le n$ chromatic layers of the spectrum of the equivariant stable homotopy category; conjecturally the topologies coincide. Despite our incomplete knowledge of the topology of the Balmer spectrum, we are able to completely classify the localizing tensor-ideals of these categories of spectral Mackey functors.


title: When standard network measures fail to rank journals: A theoretical and empirical analysis

abstract: Journal rankings are widely used and are often based on citation data in combination with a network perspective. We argue that some of these network-based rankings can produce misleading results. From a theoretical point of view, we show that the standard network modelling approach of citation data at the journal level (i.e., the projection of paper citations onto journals) introduces fictitious relations among journals. To overcome this problem, we propose a citation path perspective, and empirically show that rankings based on the network and the citation path perspective are very different. Based on our theoretical and empirical analysis, we highlight the limitations of standard network metrics, and propose a method to overcome these limitations and compute journal rankings.


title: Uncertainty-Guided Progressive GANs for Medical Image Translation

abstract: Image-to-image translation plays a vital role in tackling various medical imaging tasks such as attenuation correction, motion correction, undersampled reconstruction, and denoising. Generative adversarial networks have been shown to achieve the state-of-the-art in generating high fidelity images for these tasks. However, the state-of-the-art GAN-based frameworks do not estimate the uncertainty in the predictions made by the network that is essential for making informed medical decisions and subsequent revision by medical experts and has recently been shown to improve the performance and interpretability of the model. In this work, we propose an uncertainty-guided progressive learning scheme for image-to-image translation. By incorporating aleatoric uncertainty as attention maps for GANs trained in a progressive manner, we generate images of increasing fidelity progressively. We demonstrate the efficacy of our model on three challenging medical image translation tasks, including PET to CT translation, undersampled MRI reconstruction, and MRI motion artefact correction. Our model generalizes well in three different tasks and improves performance over state of the art under full-supervision and weak-supervision with limited data. Code is released here: https://github.com/ExplainableML/UncerGuidedI2I


title: BOTTER: A framework to analyze social bots in Twitter

abstract: Social networks have triumphed in communicating people online, but they have also been exploited to launch influence operations for manipulating society. The deployment of software-controlled accounts (e.g., social bots) has proven to be one of the most effective enablers for that purpose, and tools for their detection have been developed and widely adopted. However, the way to analyze these accounts and measure their impact is heterogeneous in the literature, where each case study performs unique measurements. To unify these efforts, we propose a common framework to analyze the interference of social bots in Twitter. The methodology compares the non-authentic actors with the rest of users from different perspectives, thus building objective metrics to measure their actual impact. We validate the framework by applying it to a dataset of Twitter iterations dated in the weeks preceding the 2019 Spanish general election. In this sense, we check that our framework facilitates the quantitative evaluation of unauthentic groups, particularly discovering that social bots changed the natural dynamics of the network in these days, but did not have a significant impact. We also consider this methodology as a practical tool for the qualitative interpretation of experimental results, particularly suggesting within the aforementioned electoral context that semi-automated accounts are potentially more threatening than fully automated ones.


title: A Position and Pulse Shape Discriminant p-Terphenyl Detector Module

abstract: We present the development of a neutron detector array module made with $\textit{para}$-terphenyl, a bright, fast, n/$\gamma$ discriminating crystalline organic scintillator. The module is comprised of 2 cm $\times$ 2 cm $\times$ 2 cm $\textit{p}$-terphenyl crystals that have been optically coupled together to create a $\textit{pseudo-bar}$ module. While only relying on two photo detectors, the module is capable of distinguishing interactions between up to eight crystals. Furthermore, the module retains the $\textit{p}$-terphenyl's pulse shape discrimination (PSD) capability. Together this makes the pseudo-bar module a promising position-sensitive neutron detector. Here we present characteristics of the pseudo-bar module - its timing resolution as well as its pulse shape and position discrimination capabilities, and briefly discuss future plans for utilizing an array of pseudo-bar modules in a useful neutron detector system.


title: Quantum interference between independent solid-state single-photon sources separated by 300 km fiber

abstract: In the quest to realize a scalable quantum network, semiconductor quantum dots (QDs) offer distinct advantages including high single-photon efficiency and indistinguishability, high repetition rate (tens of GHz with Purcell enhancement), interconnectivity with spin qubits, and a scalable on-chip platform. However, in the past two decades, the visibility of quantum interference between independent QDs rarely went beyond the classical limit of 50$\%$ and the distances were limited from a few meters to kilometers. Here, we report quantum interference between two single photons from independent QDs separated by 302 km optical fiber. The single photons are generated from resonantly driven single QDs deterministically coupled to microcavities. Quantum frequency conversions are used to eliminate the QD inhomogeneity and shift the emission wavelength to the telecommunication band. The observed interference visibility is 0.67$\pm$0.02 (0.93$\pm$0.04) without (with) temporal filtering. Feasible improvements can further extend the distance to 600 km. Our work represents a key step to long-distance solid-state quantum networks.


title: Semi-supervised learning with Bayesian Confidence Propagation Neural Network

abstract: Learning internal representations from data using no or few labels is useful for machine learning research, as it allows using massive amounts of unlabeled data. In this work, we use the Bayesian Confidence Propagation Neural Network (BCPNN) model developed as a biologically plausible model of the cortex. Recent work has demonstrated that these networks can learn useful internal representations from data using local Bayesian-Hebbian learning rules. In this work, we show how such representations can be leveraged in a semi-supervised setting by introducing and comparing different classifiers. We also evaluate and compare such networks with other popular semi-supervised classifiers.


title: Comments on Barker and Astoul (2021)

abstract: The tidal evolution of interacting binaries when the orbital period is short compared to the primary star's convective time scale is a problem of long-standing. Terquem (2021) has argued that, when this temporal ordering scheme is obeyed, the rate of energy transfer from tides to convection (denoted $D_R$) is given by the product of the averaged Reynolds stress associated with the tidal velocity and the mean shear associated with the convective flow. In a recent response, Barker and Astoul (2021, hereafter BA21) claim to show that $D_R$ (in this form) cannot contribute to tidal dissipation. Their analysis is based on a study of Boussinesq and anelastic models. Here, we demonstrate that BA21 misidentify the correct term responsible for energy transfer between tides and convection. As a consequence, their anelastic calculations do not prove that the $D_R$ formulation is invalidated as an energy-loss coupling between tides and convection. BA21 also carry out a calculation in the Boussinesq approximation. Here, their claim that $D_R$ once again does not contribute is based on boundary conditions that do not apply to any star or planet that radiates energy from its surface, which is a key dissipational process in the problem we consider.


title: Information-theoretic measures of superconductivity in a two-dimensional doped Mott insulator

abstract: A key open issue in condensed matter physics is how quantum and classical correlations emerge in an unconventional superconductor from the underlying normal state. We study this problem in a doped Mott insulator with information theory tools on the two-dimensional Hubbard model at finite temperature with cluster dynamical mean-field theory. We find that the local entropy detects the superconducting state and that the difference in the local entropy between the superconducting and normal states follows the same difference in the potential energy. We find that the thermodynamic entropy is suppressed in the superconducting state and monotonically decreases with decreasing doping. The maximum in entropy found in the normal state above the overdoped region of the superconducting dome is obliterated by superconductivity. The total mutual information, which quantifies quantum and classical correlations, is amplified in the superconducting state of the doped Mott insulator for all doping levels, and shows a broad peak versus doping, as a result of competing quantum and classical effects.

categories: cond-mat.str-el cond-mat.quant-gas cond-mat.supr-con quant-ph


title: Distributed Matrix Tiling Using A Hypergraph Labeling Formulation

abstract: Partitioning large matrices is an important problem in distributed linear algebra computing (used in ML among others). Briefly, our goal is to perform a sequence of matrix algebra operations in a distributed manner (whenever possible) on these large matrices. However, not all partitioning schemes work well with different matrix algebra operations and their implementations (algorithms). This is a type of data tiling problem. In this work we consider a theoretical model for a version of the matrix tiling problem in the setting of hypergraph labeling. We prove some hardness results and give a theoretical characterization of its complexity on random instances. Additionally we develop a greedy algorithm and experimentally show its efficacy.


title: Unified Questioner Transformer for Descriptive Question Generation in Goal-Oriented Visual Dialogue

abstract: Building an interactive artificial intelligence that can ask questions about the real world is one of the biggest challenges for vision and language problems. In particular, goal-oriented visual dialogue, where the aim of the agent is to seek information by asking questions during a turn-taking dialogue, has been gaining scholarly attention recently. While several existing models based on the GuessWhat?! dataset have been proposed, the Questioner typically asks simple category-based questions or absolute spatial questions. This might be problematic for complex scenes where the objects share attributes or in cases where descriptive questions are required to distinguish objects. In this paper, we propose a novel Questioner architecture, called Unified Questioner Transformer (UniQer), for descriptive question generation with referring expressions. In addition, we build a goal-oriented visual dialogue task called CLEVR Ask. It synthesizes complex scenes that require the Questioner to generate descriptive questions. We train our model with two variants of CLEVR Ask datasets. The results of the quantitative and qualitative evaluations show that UniQer outperforms the baseline.


title: Observational constraints on Tsallis modified gravity

abstract: The thermodynamics-gravity conjecture reveals that one can derive the gravitational field equations by using the first law of thermodynamics and vice versa. Considering the entropy associated with the horizon in the form of non-extensive Tsallis entropy, $S\sim A^{\beta}$ here we first derive the corresponding gravitational field equations by applying the Clausius relation $\delta Q=T \delta S$ to the horizon. We then construct the Friedmann equations of Friedmann-Lema\^itre-Robertson-Walker (FLRW) universe based on Tsallis modified gravity (TMG). Moreover, in order to constrain the cosmological parameters of TMG model, we use observational data, including Planck cosmic microwave background (CMB), weak lensing, supernovae, baryon acoustic oscillations (BAO), and redshift-space distortions (RSD) data. Numerical results indicate that TMG model with a quintessential dark energy is more compatible with the low redshift measurements of large scale structures by predicting a lower value for the structure growth parameter $\sigma_8$ with respect to $\Lambda$CDM model. This implies that TMG model would slightly alleviate the $\sigma_8$ tension.


title: Variational Quantum Eigensolver for SU($N$) Fermions

abstract: Variational quantum algorithms aim at harnessing the power of noisy intermediate-scale quantum computers, by using a classical optimizer to train a parameterized quantum circuit to solve tractable quantum problems. The variational quantum eigensolver is one of the aforementioned algorithms designed to determine the ground-state of many-body Hamiltonians. Here, we apply the variational quantum eigensolver to study the ground-state properties of $N$-component fermions. With such knowledge, we study the persistent current of interacting SU($N$) fermions, which is employed to reliably map out the different quantum phases of the system. Our approach lays out the basis for a current-based quantum simulator of many-body systems that can be implemented on noisy intermediate-scale quantum computers.


title: Evaluation of Automated Image Descriptions for Visually Impaired Students

abstract: Illustrations are widely used in education, and sometimes, alternatives are not available for visually impaired students. Therefore, those students would benefit greatly from an automatic illustration description system, but only if those descriptions were complete, correct, and easily understandable using a screenreader. In this paper, we report on a study for the assessment of automated image descriptions. We interviewed experts to establish evaluation criteria, which we then used to create an evaluation questionnaire for sighted non-expert raters, and description templates. We used this questionnaire to evaluate the quality of descriptions which could be generated with a template-based automatic image describer. We present evidence that these templates have the potential to generate useful descriptions, and that the questionnaire identifies problems with description templates.


title: Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations

abstract: Atomic shared objects, whose operations take place instantaneously, are a powerful abstraction for designing complex concurrent programs. Since they are not always available, they are typically substituted with software implementations. A prominent condition relating these implementations to their atomic specifications is linearizability, which preserves safety properties of the programs using them. However linearizability does not preserve hyper-properties, which include probabilistic guarantees of randomized programs: an adversary can greatly amplify the probability of a bad outcome. This unwelcome behavior prevents modular reasoning, which is the key benefit provided by the use of linearizable object implementations. A more restrictive property, strong linearizability, does preserve hyper-properties but it is impossible to achieve in many situations. This paper suggests a novel approach to blunting the adversary's additional power that works even in cases where strong linearizability is not achievable. We show that a wide class of linearizable implementations, including well-known ones for registers and snapshots, can be modified to approximate the probabilistic guarantees of randomized programs when using atomic objects. The technical approach is to transform the algorithm of each method of an existing linearizable implementation by repeating a carefully chosen prefix of the method several times and then randomly choosing which repetition to use subsequently. We prove that the probability of a bad outcome decreases with the number of repetitions, approaching the probability attained when using atomic objects. The class of implementations to which our transformation applies includes the ABD implementation of a shared register using message-passing and the Afek et al. implementation of an atomic snapshot using single-writer registers.


title: Validation of a simulation model for FaaS performance benchmarking using predictive validation

abstract: In the paper Controlling Garbage Collection and Request Admission to Improve Performance of FaaS Applications, we verified and evaluated the impact of memory management mechanics of programming languages in the context of Functions as a Service (FaaS) via simulation experiments. The results of this study pointed to an impact of up to 11.68% on the response time of requests when a garbage collector procedure was executed during the execution of a CPU-bound function. As future work, we listed a few threats to the validity of the results attained, and among them, we cited the validation of the simulation model used. The validation of the model is important because it validates the results generated in the simulation experiments, which ensures realistic results. In this work, we proposed and executed a validation to the simulation model used in the previous work. To do so, we run measurement experiments in a public FaaS platform and simulation experiments of the same scenarios using the same simulator of the previous paper. Then, we validate the simulator by comparing the results obtained in both experiments to ensure that the simulation result and the measurement one are equivalent.


title: A modification of the Beavers-Joseph condition for arbitrary flows to the fluid-porous interface

abstract: Physically consistent coupling conditions at the fluid-porous interface with correctly determined effective parameters are necessary for accurate modeling and simulation of various applications. To describe single-fluid-phase flows in coupled free-flow and porous-medium systems, the Stokes/Darcy equations are typically used together with the conservation of mass across the interface, the balance of normal forces and the Beavers-Joseph condition on the tangential velocity. The latter condition is suitable for flows parallel to the interface but not applicable for arbitrary flow directions. Moreover, the value of the Beavers-Joseph slip coefficient is uncertain. In the literature, it is routinely set equal to one that is not correct for many applications, even if the flow is parallel to the porous layer. In this paper, we reformulate the generalized interface condition on the tangential velocity component, recently developed for arbitrary flows in Stokes/Darcy systems, such that it has the same analytical form as the Beavers-Joseph condition. We compute the effective coefficients appearing in this modified condition using theory of homogenization with boundary layers. We demonstrate that the modified Beavers-Joseph condition is applicable for arbitrary flow directions to the fluid-porous interface. In addition, we propose an efficient two-level numerical algorithm based on simulated annealing to compute the optimal Beavers-Joseph parameter.


title: A dynamical system in the space of convex quadrangles

abstract: Let us consider a family $F(\alpha,\beta,\gamma,\delta)$ of convex quadrangles in the plane with given angles $\{\alpha,\beta,\gamma,\delta\}$ and with the perimeter $2\pi$. Such quadrangle $Q\in F(\alpha,\beta,\gamma,\delta)$ can be considered as a point $(x_1,x_2,x_3,x_4)\in\mathbb{R}^4$, where $\{x_1,x_2,x_3,x_4\}$ are lengths of edges. Then to $F$ a finite open segment $I\subset\mathbb{R}^4$ is corresponded. A quadrangle in $F$, that corresponds to the midpoint of $I$ is called a \emph{balanced quadrangle}. Let $M$ be the set of balanced quadrangles. The function $f:M\to M$ is defined in the following way: angles of the balanced quadrangle $Q'$, $Q'=f(Q)$, are numerically equal to edges of $Q$. The map $f$ defines a dynamical system in the space of balanced quadrangles. In this work we study properties of this system.


title: A horizontal Chern-Gauss-Bonnet formula on totally geodesic foliations

abstract: Under suitable conditions, we show that the Euler characteristic of a foliated Riemannian manifold can be computed only from curvature invariants which are transverse to the leaves. Our proof uses the hypoelliptic sub-Laplacian on forms recently introduced by two of the authors.


title: Estimation of the odds ratio in a proportional odds model with censored time-lagged outcome in a randomized clinical trial

abstract: In many randomized clinical trials of therapeutics for COVID-19, the primary outcome is an ordinal categorical variable, and interest focuses on the odds ratio (active agent vs. control) under the assumption of a proportional odds model. Although at the final analysis the outcome will be determined for all subjects, at an interim analysis, the status of some participants may not yet be determined, e.g., because ascertainment of the outcome may not be possible until some pre-specified follow-up time. Accordingly, the outcome from these subjects can be viewed as censored. A valid interim analysis can be based on data only from those subjects with full follow up; however, this approach is inefficient, as it does not exploit additional information that may be available on those for whom the outcome is not yet available at the time of the interim analysis. Appealing to the theory of semiparametrics, we propose an estimator for the odds ratio in a proportional odds model with censored, time-lagged categorical outcome that incorporates additional baseline and time-dependent covariate information and demonstrate that it can result in considerable gains in efficiency relative to simpler approaches. A byproduct of the approach is a covariate-adjusted estimator for the odds ratio based on the full data that would be available at a final analysis.


title: HJB Based Optimal Safe Control Using Control Barrier Functions

abstract: This work proposes an optimal safe controller minimizing an infinite horizon cost functional subject to control barrier functions (CBFs) safety conditions. The constrained optimal control problem is reformulated as a minimization problem of the Hamilton-Jacobi-Bellman (HJB) equation subjected to the safety constraints. By solving the optimization problem, we are able to construct a closed form solution that satisfies optimality and safety conditions. The proposed solution is shown to be continuous and thus it renders the safe set forward invariant while minimizing the given cost. Hence, optimal stabilizability and safety objectives are achieved simultaneously. To synthesize the optimal safe controller, we present a modified Galerkin successive approximation approach which guarantees an optimal safe solution given a stabilizing safe initialization. The proposed algorithm is implemented on a constrained nonlinear system to show its efficacy.


title: A Survey on Neural Speech Synthesis

abstract: Text to speech (TTS), or speech synthesis, which aims to synthesize intelligible and natural speech given text, is a hot research topic in speech, language, and machine learning communities and has broad applications in the industry. As the development of deep learning and artificial intelligence, neural network-based TTS has significantly improved the quality of synthesized speech in recent years. In this paper, we conduct a comprehensive survey on neural TTS, aiming to provide a good understanding of current research and future trends. We focus on the key components in neural TTS, including text analysis, acoustic models and vocoders, and several advanced topics, including fast TTS, low-resource TTS, robust TTS, expressive TTS, and adaptive TTS, etc. We further summarize resources related to TTS (e.g., datasets, opensource implementations) and discuss future research directions. This survey can serve both academic researchers and industry practitioners working on TTS.


title: Gorenstein algebras and toric bundles

abstract: We study commutative algebras with Gorenstein duality, i.e. algebras $A$ equipped with a non-degenerate bilinear pairing such that $\langle ac,b\rangle=\langle a,bc\rangle$ for any $a,b,c\in A$. If an algebra $A$ is Artinian, such pairing exists if and only if $A$ is Gorenstein. We give a description of algebras with Gorenstein duality as a quotients of the ring of differential operators by the annihilator of an explicit polynomial (or more generally formal polynomial series). This provides a calculation of Macaulay's inverse systems for (not necessarily Artinian) algebras with Gorenstein duality. Our description generalizes previously know description of graded algebras with Gorenstein duality generated in degree 1. Our main motivation comes from the study of even degree cohomology rings. In particular, we apply our main result to compute the ring of cohomology classes of even degree of toric bundles and the ring of conditions of horospherical homogeneous spaces.


title: Learning latent causal graphs via mixture oracles

abstract: We study the problem of reconstructing a causal graphical model from data in the presence of latent variables. The main problem of interest is recovering the causal structure over the latent variables while allowing for general, potentially nonlinear dependence between the variables. In many practical problems, the dependence between raw observations (e.g. pixels in an image) is much less relevant than the dependence between certain high-level, latent features (e.g. concepts or objects), and this is the setting of interest. We provide conditions under which both the latent representations and the underlying latent causal model are identifiable by a reduction to a mixture oracle. These results highlight an intriguing connection between the well-studied problem of learning the order of a mixture model and the problem of learning the bipartite structure between observables and unobservables. The proof is constructive, and leads to several algorithms for explicitly reconstructing the full graphical model. We discuss efficient algorithms and provide experiments illustrating the algorithms in practice.


title: Central Limit Theorem for Cocycles over Hyperbolic Systems

abstract: We prove a Central Limit Theorem (CLT) in the non-commutative setting of random matrix products where the underlying process is driven by a subshift of finite type (SFT) with Markov measure. We use the martingale method introduced by Y. Benoist and J.F. Quint in the iid setting.


title: Flare: Flexible In-Network Allreduce

abstract: The allreduce operation is one of the most commonly used communication routines in distributed applications. To improve its bandwidth and to reduce network traffic, this operation can be accelerated by offloading it to network switches, that aggregate the data received from the hosts, and send them back the aggregated result. However, existing solutions provide limited customization opportunities and might provide suboptimal performance when dealing with custom operators and data types, with sparse data, or when reproducibility of the aggregation is a concern. To deal with these problems, in this work we design a flexible programmable switch by using as a building block PsPIN, a RISC-V architecture implementing the sPIN programming model. We then design, model, and analyze different algorithms for executing the aggregation on this architecture, showing performance improvements compared to state-of-the-art approaches.


title: Near-Optimal Explainable $k$-Means for All Dimensions

abstract: Many clustering algorithms are guided by certain cost functions such as the widely-used $k$-means cost. These algorithms divide data points into clusters with often complicated boundaries, creating difficulties in explaining the clustering decision. In a recent work, Dasgupta, Frost, Moshkovitz, and Rashtchian (ICML 2020) introduced explainable clustering, where the cluster boundaries are axis-parallel hyperplanes and the clustering is obtained by applying a decision tree to the data. The central question here is: how much does the explainability constraint increase the value of the cost function? Given $d$-dimensional data points, we show an efficient algorithm that finds an explainable clustering whose $k$-means cost is at most $k^{1 - 2/d}\,\mathrm{poly}(d\log k)$ times the minimum cost achievable by a clustering without the explainability constraint, assuming $k,d\ge 2$. Taking the minimum of this bound and the $k\,\mathrm{polylog} (k)$ bound in independent work by Makarychev-Shan (ICML 2021), Gamlath-Jia-Polak-Svensson (2021), or Esfandiari-Mirrokni-Narayanan (2021), we get an improved bound of $k^{1 - 2/d}\,\mathrm{polylog}(k)$, which we show is optimal for every choice of $k,d\ge 2$ up to a poly-logarithmic factor in $k$. For $d = 2$ in particular, we show an $O(\log k\log\log k)$ bound, improving near-exponentially over the previous best bound of $O(k\log k)$ by Laber and Murtinho (ICML 2021).


title: Towards a Finer Classification of Strongly Minimal Sets

abstract: Let $M$ be strongly minimal and constructed by a `Hrushovski construction'. If the Hrushovski algebraization function $\mu$ is in a certain class ${\mathcal T}$ ($\mu$ triples) we show that for independent $I$ with $|I| >1$, ${\rm dcl}^*(I)= \emptyset$ (* means not in ${\rm dcl}$ of a proper subset). This implies the only definable truly $n$-ary function $f$ ($f$ `depends' on each argument), occur when $n=1$. We prove, indicating the dependence on $\mu$, for Hrushovski's original construction and including analogous results for the strongly minimal $k$-Steiner systems of Baldwin and Paolini 2021 that the symmetric definable closure, ${\rm sdcl}^*(I) =\emptyset$, and thus the theory does not admit elimination of imaginaries. In particular, such strongly minimal Steiner systems with line-length at least 4 do not interpret a quasigroup, even though they admit a coordinatization if $k = p^n$. The proofs depend on our introduction for appropriate $G \subseteq {\rm aut}(M)$ the notion of a $G$-normal substructure ${\mathcal A}$ of $M$ and of a $G$-decomposition of ${\mathcal A}$. These results lead to a finer classification of strongly minimal structures with flat geometry; according to what sorts of definable functions they admit.


title: Avalanche gain and its effect on energy resolution in GEM-based detectors

abstract: We present avalanche gain and associated resolution measurements recorded with a $^4$He:CO$_2$ (70:30) gas mixture and pure SF$_6$, a Negative Ion (NI) gas. SF$_6$ is of particular interest to the directional dark matter detection community, as its low thermal diffusion helps to retain recoil ionization track features over long drift lengths. With the aid of a general form of the reduced first Townsend coefficient (RFTC), multiple GEM-based detector data sets are used to study the high-gain behavior of the $^4$He:CO$_2$ gas mixture. The high-gain data is well described purely in terms of the reduced electric field strength and the number of GEMs, and the robust relationship between the RFTC and the average, reduced, electric field strength across the GEMs is emphasized. The associated (pulse-height) resolution measurements are used to discuss the variance of the avalanche distribution and to describe and estimate the lower limits of energy resolution one should expect to measure using a simple relationship with the RFTC. In the end, a description of avalanche gain, its effect on energy resolution, and the contributing experimental parameters in GEM-based detectors is developed over a broad parameter space for further use.


title: Existence of periodic orbits for piecewise-smooth vector fields with sliding region via Conley theory

abstract: The Conley theory has a tool to guarantee the existence of periodic trajectories in isolating neighborhoods of semi-dynamical systems. We prove that the positive trajectories generated by a piecewise-smooth vector field $Z=(X, Y)$ defined in a closed manifold of three dimensions without the scape region produces a semi-dynamical system. Thus, we have built a semiflow that allows us to apply the classical Conley theory. Furthermore, we use it to guarantee the existence of periodic orbits in this class of piecewise-smooth vector fields.


title: Mechanics of drag reduction of an axisymmetric body of revolution with shallow dimples

abstract: In this article, the mechanics of drag reduction on an axisymmetric body of revolution by shallow dimples is presented by using the high-fidelity Reynolds Stress Modeling based simulations. Experimental results of drag evolution from published literature at different Reynolds numbers are used to validate the model predictions. The numerical predictions show good agreement with the experimental results. It is observed that the drag of the body is reduced by a maximum of $31\%$ with such shape modification (for the depth to diameter ratio of $7.5\%$ and coverage ratio of $52.8\%$). This arises due to the reduced level of turbulence, flow stabilization and suppression of flow separation in the boundary layer of the body. From the analysis of turbulence states in the anisotopic invariant map (AIM) for the case of the dimpled body, we show that the turbulence reaches an axisymmetric limit in the layers close to the surface of the body. There is also a reduced misalignment between the mean flow direction and principal axis of the Reynolds stress tensor, which results in such drag reduction. The dimple depth to diameter and coverage ratio are also varied to evaluate its effect on drag evolution.


title: Divergence properties of the generalised Thompson groups and the braided-Thompson groups

abstract: Golan and Sapir \cite{MR3978542} proved that the Thompson's groups $F$, $T$ and $V$ have linear divergence. In the current paper, we focus on the divergence properties of several generalisation of the Thompson's groups, we first consider the Brown-Thompson's groups $F_n$, $T_n$ and $V_n$ and found out that these groups also have linear divergence function. We then consider the braided Thompson's groups $BF$ and $\widehat{BF}$ and $\widehat{BV}$ together with the result in \cite{Kodama:2020to} we conclude that theses groups have linear divergence.


title: A New Quantum Approach to Binary Classification

abstract: Machine Learning classification models learn the relation between input as features and output as a class in order to predict the class for the new given input. Quantum Mechanics (QM) has already shown its effectiveness in many fields and researchers have proposed several interesting results which cannot be obtained through classical theory. In recent years, researchers have been trying to investigate whether the QM can help to improve the classical machine learning algorithms. It is believed that the theory of QM may also inspire an effective algorithm if it is implemented properly. From this inspiration, we propose the quantum-inspired binary classifier.


title: Band Structure and Superconductivity in Twisted Trilayer Graphene

abstract: We study the symmetries of twisted trilayer graphene's band structure under various extrinsic perturbations, and analyze the role of long-range electron-electron interactions near the first magic angle. The electronic structure is modified by these interactions in a similar way to twisted bilayer graphene. We analyze electron pairing due to long-wavelength charge fluctuations, which are coupled among themselves via the Coulomb interaction and additionally mediated by longitudinal acoustic phonons. We find superconducting phases with either spin singlet/valley triplet or spin triplet/valley singlet symmetry, with critical temperatures of up to a few Kelvin for realistic choices of parameters.


title: Scalarized Black Holes

abstract: Black holes represent outstanding astrophysical laboratories to test the strong gravity regime, since alternative theories of gravity may predict black hole solutions whose may differ distinctly from those of General Relativity. When higher curvature terms are included in the gravitational action as, for instance, in the form of the Gauss-Bonnet term coupled to a scalar field, scalarized black holes result. Here we discuss several types of scalarized black holes and some of their properties.


title: A Mixed-Supervision Multilevel GAN Framework for Image Quality Enhancement

abstract: Deep neural networks for image quality enhancement typically need large quantities of highly-curated training data comprising pairs of low-quality images and their corresponding high-quality images. While high-quality image acquisition is typically expensive and time-consuming, medium-quality images are faster to acquire, at lower equipment costs, and available in larger quantities. Thus, we propose a novel generative adversarial network (GAN) that can leverage training data at multiple levels of quality (e.g., high and medium quality) to improve performance while limiting costs of data curation. We apply our mixed-supervision GAN to (i) super-resolve histopathology images and (ii) enhance laparoscopy images by combining super-resolution and surgical smoke removal. Results on large clinical and pre-clinical datasets show the benefits of our mixed-supervision GAN over the state of the art.


title: Interaction of Multiple Tensor Product Operators of the Same Type: an Introduction

abstract: Tensor product operators on finite dimensional Hilbert spaces are studied. The focus is on bilinear tensor product operators. A tensor product operator on a pair of Hilbert spaces is a maximally general bilinear operator into a target Hilbert space. By 'maximally general' is meant every bilinear operator from the same pair of spaces to any Hilbert space factors into the composition of the tensor product operator with a uniquely determined linear mapping on the target space. There are multiple distinct tensor product operators of the same type; there is no "the" tensor product. Distinctly different tensor product operators can be associated with different parts of a multipartite system without difficulty. Separability of states, and locality of operators and observables is tensor product operator dependent. The same state in the target state space can be inseparable with respect to one tensor product operator but separable with respect to another, and no tensor product operator is distinguished relative to the others; the unitary operator used to construct a Bell state from a pair of |0>'s being highly tensor product operator-dependent is a prime example. The relationship between two tensor product operators of the same type is given by composition with a unitary operator. There is an equivalence between change of tensor product operator and change of basis in the target space. Among the gains from change of tensor product operator is the localization of some nonlocal operators as well as separability of inseparable states. Examples are given.


title: As easy as APC: overcoming missing data and class imbalance in time series with self-supervised learning

abstract: High levels of missing data and strong class imbalance are ubiquitous challenges that are often presented simultaneously in real-world time series data. Existing methods approach these problems separately, frequently making significant assumptions about the underlying data generation process in order to lessen the impact of missing information. In this work, we instead demonstrate how a general self-supervised training method, namely Autoregressive Predictive Coding (APC), can be leveraged to overcome both missing data and class imbalance simultaneously without strong assumptions. Specifically, on a synthetic dataset, we show that standard baselines are substantially improved upon through the use of APC, yielding the greatest gains in the combined setting of high missingness and severe class imbalance. We further apply APC on two real-world medical time-series datasets, and show that APC improves the classification performance in all settings, ultimately achieving state-of-the-art AUPRC results on the Physionet benchmark.


title: Disorder in cellular packing can alter proliferation dynamics to regulate growth

abstract: Controlling growth via cell division is crucial in the development of higher organisms, and yet the mechanisms through which this is achieved, e.g., in epithelial tissue, is not yet fully understood. We show that by coupling the cell cycle oscillator governing cell division to signals that encode inter-cellular contacts, this phenomenon can be seen as a collective dynamical transition in a system of coupled oscillators in lattices with changing degree of disorder. As the distribution of cellular morphological characteristics become more homogeneous over the course of development, the contact-induced signals to the cells increase beyond a critical value to trigger coordinated cessation of oscillations, eventually leading to growth arrest. Our results suggest that the global phenomenon of growth rate reduction as a tissue approaches its appropriate size is causally related to the increasingly regular geometry of local cell-cell contact interfaces.


title: Model independent reconstruction of cosmological accelerated-decelerated phase

abstract: We propose two model independent methods to obtain constraints on the transition and equivalence redshifts $z_{tr}$, $z_{eq}$. In particular, we consider $z_{tr}$ as the onset of cosmic acceleration, whereas $z_{eq}$ the redshift at which the densities of dark energy and pressureless matter are equated. With this prescription, we expand the Hubble and deceleration parameters up to two hierarchical orders and show a linear correlation between transition and equivalence, from which we propose exclusion plots where $z_{eq}$ is not allowed to span. To this end, we discuss how to build up cosmographic expansions in terms of $z_{tr}$ and compute the corresponding observable quantities directly fitting the luminosity and angular distances and the Hubble rate with cosmic data. We make our computations through Monte Carlo fits involving type Ia supernova, baryonic acoustic oscillation and Hubble most recent data catalogs. We show at $1\sigma$ confidence level the $\Lambda$CDM predictions on $z_{tr}$ and $z_{eq}$ are slightly confirmed, although at $2\sigma$ confidence level dark energy expectations cannot be excluded. Finally, we theoretically interpret our outcomes and discuss possible limitations of our overall approach.


title: Continuous Latent Process Flows

abstract: Partial observations of continuous time-series dynamics at arbitrary time stamps exist in many disciplines. Fitting this type of data using statistical models with continuous dynamics is not only promising at an intuitive level but also has practical benefits, including the ability to generate continuous trajectories and to perform inference on previously unseen time stamps. Despite exciting progress in this area, the existing models still face challenges in terms of their representational power and the quality of their variational approximations. We tackle these challenges with continuous latent process flows (CLPF), a principled architecture decoding continuous latent processes into continuous observable processes using a time-dependent normalizing flow driven by a stochastic differential equation. To optimize our model using maximum likelihood, we propose a novel piecewise construction of a variational posterior process and derive the corresponding variational lower bound using trajectory re-weighting. Our ablation studies demonstrate the effectiveness of our contributions in various inference tasks on irregular time grids. Comparisons to state-of-the-art baselines show our model's favourable performance on both synthetic and real-world time-series data.


title: The Origin of Galactic Cosmic Rays as Revealed by their Composition

abstract: Galactic cosmic-rays (GCRs) are thought to be accelerated in strong shocks induced by massive star winds and supernova explosions sweeping across the interstellar medium. But the phase of the interstellar medium from which the CRs are extracted has remained elusive until now. Here, we study in detail the GCR source composition deduced from recent measurements by the AMS-02, Voyager 1 and SuperTIGER experiments to obtain information on the composition, ionisation state and dust content of the GCR source reservoirs. We show that the volatile elements of the CR material are mainly accelerated from a plasma of temperature higher than $\sim 2$ MK, which is typical of the hot medium found in galactic superbubbles energised by the activity of massive star winds and supernova explosions. Another GCR component, which is responsible for the overabundance of $^{22}$Ne, most likely arises from acceleration of massive star winds in their termination shocks. From the CR-related $\gamma$-ray luminosity of the Milky Way, we estimate that the ion acceleration efficiency in both supernova shocks and wind termination shocks is of the order of $10^{-5}$. The GCR source composition also shows evidence for a preferential acceleration of refractory elements contained in interstellar dust. We suggest that the GCR refractories are also produced in superbubbles, from shock acceleration and subsequent sputtering of dust grains continuously incorporated into the hot plasma through thermal evaporation of embedded molecular clouds. Our model explains well the measured abundances of all primary and mostly primary CRs from H to Zr, including the overabundance of $^{22}$Ne.


title: Non-left-orderability of cyclic branched covers of pretzel knots $P(3,-3,-2k-1)$

abstract: We prove the non-left-orderability of the fundamental group of the $n$-th fold cyclic branched cover of the pretzel knot $P(3,-3,-2k-1)$ for all integers $k$ and $n\ge 1$. These $3$-manifolds are $L$-spaces discovered by Issa and Turner.


title: Dissecting the strong lensing galaxy cluster MS 0440$+$0204 II. New optical spectroscopic observations in a wider area and cluster dynamical state

abstract: We present an optical study of the strong lensing galaxy cluster MS 0440.5$+$0204 at $z=0.19593$, based on CFHT/MegaCam g', r'-photometry and GMOS/Gemini and CFHT/MOS/SIS spectroscopy in a broader area compared to previous works. We have determined new spectroscopic redshifts for the most prominent gravitational arcs surrounding the central galaxy in the cluster. The new redshifts and the information provided by the photometric catalog yield us to perform a detailed weak and strong lensing mass reconstruction of the cluster. The large number of member galaxies and the area covered by our observations allow to estimate more accurately the velocity dispersion and mass of cluster and examine in detail the nature of the cluster and surroundings structures. The dynamical mass is in good agreement with the mass inferred from the lensing analysis and X-ray estimates. About $\sim$68\% of the galaxies are located in the inner $\lesssim$0.86 h$^{-1}_{70}$ Mpc region of the cluster. The galaxy redshift distribution in the inner region of the cluster shows a complex structure with at least three sub-structures along the line-of-sight. Other sub-structures are also identified in the galaxy density map and in the weak lensing mass map. The member galaxies in the North-East overdensity are distributed in a filament between MS 0440.5$+$0204 and ZwCL 0441.1$+$0211 clusters, suggesting that these two structures might be connected. MS 0440$+$0204 appears to be dynamically active, with a cluster core that is likely experiencing a merging process and with other nearby groups at projected distances of $\lesssim$1 h$^{-1}_{70}$ Mpc that could be being accreted by the cluster.


title: Probing the physics of the solar atmosphere with the Multi-slit Solar Explorer (MUSE): I. Coronal Heating

abstract: The Multi-slit Solar Explorer (MUSE) is a proposed NASA MIDEX mission, currently in Phase A, composed of a multi-slit EUV spectrograph (in three narrow spectral bands centered around 171A, 284A, and 108A) and an EUV context imager (in two narrow passbands around 195A and 304A). MUSE will provide unprecedented spectral and imaging diagnostics of the solar corona at high spatial (<0.5 arcsec), and temporal resolution (down to ~0.5s) thanks to its innovative multi-slit design. By obtaining spectra in 4 bright EUV lines (Fe IX 171A , Fe XV 284A, Fe XIX-Fe XXI 108A) covering a wide range of transition region and coronal temperatures along 37 slits simultaneously, MUSE will for the first time be able to "freeze" (at a cadence as short as 10 seconds) with a spectroscopic raster the evolution of the dynamic coronal plasma over a wide range of scales: from the spatial scales on which energy is released (~0.5 arcsec) to the large-scale often active-region size (170 arcsec x 170 arcsec) atmospheric response. We use advanced numerical modeling to showcase how MUSE will constrain the properties of the solar atmosphere on the spatio-temporal scales (~0.5 arcsec, ~20 seconds) and large field-of-view on which various state-of-the-art models of the physical processes that drive coronal heating, solar flares and coronal mass ejections (CMEs) make distinguishing and testable predictions. We describe how the synergy between MUSE, the single-slit, high-resolution Solar-C EUVST spectrograph, and ground-based observatories (DKIST and others) can address how the solar atmosphere is energized, and the critical role MUSE plays because of the multi-scale nature of the physical processes involved. In this first paper, we focus on how comparisons between MUSE observations and theoretical models will significantly further our understanding of coronal heating mechanisms.


title: Yin-Yang Puzzles are NP-complete

abstract: We prove NP-completeness of Yin-Yang / Shiromaru-Kuromaru pencil-and-paper puzzles. Viewed as a graph partitioning problem, we prove NP-completeness of partitioning a rectangular grid graph into two induced trees (normal Yin-Yang), or into two induced connected subgraphs (Yin-Yang without $2 \times 2$ rule), subject to some vertices being pre-assigned to a specific tree/subgraph.


title: Experimental realization of fragmented models in tilted Fermi-Hubbard chains

abstract: Quantum many-body systems may defy thermalization even without disorder. Intriguingly, non-ergodicity may be caused by a fragmentation of the many-body Hilbert-space into dynamically disconnected subspaces. The tilted one-dimensional Fermi-Hubbard model was proposed as a platform to realize fragmented models perturbatively in the limit of large tilt. Here, we demonstrate the validity of this effective description for the transient dynamics using ultracold fermions. The effective analytic model allows for a detailed understanding of the emergent microscopic processes, which in our case exhibit a pronounced doublon-number dependence. We study this experimentally by tuning the doublon fraction in the initial state.

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


title: Generalization of Reinforcement Learning with Policy-Aware Adversarial Data Augmentation

abstract: The generalization gap in reinforcement learning (RL) has been a significant obstacle that prevents the RL agent from learning general skills and adapting to varying environments. Increasing the generalization capacity of the RL systems can significantly improve their performance on real-world working environments. In this work, we propose a novel policy-aware adversarial data augmentation method to augment the standard policy learning method with automatically generated trajectory data. Different from the commonly used observation transformation based data augmentations, our proposed method adversarially generates new trajectory data based on the policy gradient objective and aims to more effectively increase the RL agent's generalization ability with the policy-aware data augmentation. Moreover, we further deploy a mixup step to integrate the original and generated data to enhance the generalization capacity while mitigating the over-deviation of the adversarial data. We conduct experiments on a number of RL tasks to investigate the generalization performance of the proposed method by comparing it with the standard baselines and the state-of-the-art mixreg approach. The results show our method can generalize well with limited training diversity, and achieve the state-of-the-art generalization test performance.


title: Monodromy Groups of Dessins d'Enfant on Rational Triangular Billiards Surfaces

abstract: A dessin d'enfant, or dessin, is a bicolored graph embedded into a Riemann surface, and the monodromy group is an algebraic invariant of the dessin generated by rotations of edges about black and white vertices. A rational billiards surface is a two dimensional surface that allows one to view the path of a billiards ball as a continuous path. In this paper, we classify the monodromy groups of dessins associated to rational triangular billiards surfaces.


title: Evidence for a Non-Dichotomous Solution to the Kepler Dichotomy: Mutual Inclinations of Kepler Planetary Systems from Transit Duration Variations

abstract: Early analyses of exoplanet statistics from the Kepler Mission revealed that a model population of multiple-planet systems with low mutual inclinations (${\sim1^{\circ}-2^{\circ}}$) adequately describes the multiple-transiting systems but underpredicts the number of single-transiting systems. This so-called "Kepler dichotomy" signals the existence of a sub-population of multi-planet systems possessing larger mutual inclinations. However, the details of these inclinations remain uncertain. In this work, we derive constraints on the intrinsic mutual inclination distribution by statistically exploiting Transit Duration Variations (TDVs) of the Kepler planet population. When planetary orbits are mutually inclined, planet-planet interactions cause orbital precession, which can lead to detectable long-term changes in transit durations. These TDV signals are inclination-sensitive and have been detected for roughly two dozen Kepler planets. We compare the properties of the Kepler observed TDV detections to TDV detections of simulated planetary systems constructed from two population models with differing assumptions about the mutual inclination distribution. We find strong evidence for a continuous distribution of relatively low mutual inclinations that is well-characterized by a power law relationship between the median mutual inclination ($\tilde{\mu}_{i,n}$) and the intrinsic multiplicity ($n$): $\tilde{\mu}_{i,n} = \tilde{\mu}_{i,5}(n/5)^{\alpha}$, where $\tilde{\mu}_{i,5} = 1.10^{+0.15}_{-0.11}$ and $\alpha = -1.73^{+0.09}_{-0.08}$. These results suggest that late-stage planet assembly and possibly stellar oblateness are the dominant physical origins for the excitation of Kepler planet mutual inclinations.


title: The Values Encoded in Machine Learning Research

abstract: Machine learning currently exerts an outsized influence on the world, increasingly affecting institutional practices and impacted communities. It is therefore critical that we question vague conceptions of the field as value-neutral or universally beneficial, and investigate what specific values the field is advancing. In this paper, we first introduce a method and annotation scheme for studying the values encoded in documents such as research papers. Applying the scheme, we analyze 100 highly cited machine learning papers published at premier machine learning conferences, ICML and NeurIPS. We annotate key features of papers which reveal their values: their justification for their choice of project, which attributes of their project they uplift, their consideration of potential negative consequences, and their institutional affiliations and funding sources. We find that few of the papers justify how their project connects to a societal need (15\%) and far fewer discuss negative potential (1\%). Through line-by-line content analysis, we identify 59 values that are uplifted in ML research, and, of these, we find that the papers most frequently justify and assess themselves based on Performance, Generalization, Quantitative evidence, Efficiency, Building on past work, and Novelty. We present extensive textual evidence and identify key themes in the definitions and operationalization of these values. Notably, we find systematic textual evidence that these top values are being defined and applied with assumptions and implications generally supporting the centralization of power.Finally, we find increasingly close ties between these highly cited papers and tech companies and elite universities.


title: Probing the Physics of the Solar Atmosphere with the Multi-slit Solar Explorer (MUSE): II. Flares and Eruptions

abstract: Current state-of-the-art spectrographs cannot resolve the fundamental spatial (sub-arcseconds) and temporal scales (less than a few tens of seconds) of the coronal dynamics of solar flares and eruptive phenomena. The highest resolution coronal data to date are based on imaging, which is blind to many of the processes that drive coronal energetics and dynamics. As shown by IRIS for the low solar atmosphere, we need high-resolution spectroscopic measurements with simultaneous imaging to understand the dominant processes. In this paper: (1) we introduce the Multi-slit Solar Explorer (MUSE), a spaceborne observatory to fill this observational gap by providing high-cadence (<20 s), sub-arcsecond resolution spectroscopic rasters over an active region size of the solar transition region and corona; (2) using advanced numerical models, we demonstrate the unique diagnostic capabilities of MUSE for exploring solar coronal dynamics, and for constraining and discriminating models of solar flares and eruptions; (3) we discuss the key contributions MUSE would make in addressing the science objectives of the Next Generation Solar Physics Mission (NGSPM), and how MUSE, the high-throughput EUV Solar Telescope (EUVST) and the Daniel K Inouye Solar Telescope (and other ground-based observatories) can operate as a distributed implementation of the NGSPM. This is a companion paper to De Pontieu et al. (2021; arXiv:2106.15584), which focuses on investigating coronal heating with MUSE.


title: Flat-precover completing domains

abstract: Recently, many authors have embraced the study of certain properties of modules such as projectivity, injectivity and flatness from an alternative point of view. Rather than saying a module has a certain property or not, each module is assigned a relative domain which, somehow, measures to which extent it has this particular property. In this work, we introduce a new and fresh perspective on flatness of modules. However, we will first investigate a more general context by introducing domains relative to a precovering class $\x$. We call these domains $\x$-precover completing domains. In particular, when $\x$ is the class of flat modules, we call them flat-precover completing domains. This approach allows us to provide a common frame for a number of classical notions. Moreover, some known results are generalized and some classical rings are characterized in terms of these domains.


title: Classifying regions of high model error within a data-driven RANS closure: Application to wind turbine wakes

abstract: Data-driven Reynolds-Averaged Navier-Stokes (RANS) turbulence closures are increasing seen as a viable alternative to general-purpose RANS closures, when LES reference data is available -- also in wind-energy. Parsimonious closures with few, simple terms have advantages in terms of stability, interpret-ability, and execution speed. However experience suggests that closure model corrections need be made only in limited regions -- e.g.\ in the near-wake of wind turbines and not in the majority of the flow. A parsimonious model therefore must find a middle ground between precise corrections in the wake, and zero corrections elsewhere. We attempt to resolve this impasse by introducing a classifier to identify regions needing correction, and only fit and apply our model correction there. We observe that such a classifier (which must be computed only from RANS-available quantities) is straightforward to construct, and accurate in operation. We further observe that the correction models are significantly simpler (with fewer terms) when limited to the identified regions than otherwise, but have similar or better accuracy. We apply our framework to three flows consisting of multiple wind-turbines in neutral conditions with interacting wakes.


title: Limited depth bandit-based strategy for Monte Carlo planning in continuous action spaces

abstract: This paper addresses the problem of optimal control using search trees. We start by considering multi-armed bandit problems with continuous action spaces and propose LD-HOO, a limited depth variant of the hierarchical optimistic optimization (HOO) algorithm. We provide a regret analysis for LD-HOO and show that, asymptotically, our algorithm exhibits the same cumulative regret as the original HOO while being faster and more memory efficient. We then propose a Monte Carlo tree search algorithm based on LD-HOO for optimal control problems and illustrate the resulting approach's application in several optimal control problems.


title: Two- and three-particle nonflow contributions to the chiral magnetic effect measurement by spectator and participant planes in relativistic heavy ion collisions

abstract: Correlation measurements with respect to the spectator and participant planes in relativistic heavy ion collisions were proposed to extract the chiral magnetic effect (CME) from background dominated azimuthal correlators. This paper investigates the effects of two- and three-particle nonflow correlations on the extracted CME signal fraction, $f_{\text{CME}}$. It is found, guided by a multiphase transport (AMPT) model and the heavy ion jet interaction generator (HIJING) together with experimental data, that the nonflow effects amount to approximately $(4\pm5)$% and $(-5\pm3)$% without and with pseudorapidity gaps, respectively, in 20-50% centrality Au+Au collisions at $\sqrt{s_{\text{NN}}}= 200 \text{ GeV}$.


title: Towards a Unified Theory of Light Spanners I: Fast (Yet Optimal) Constructions

abstract: Seminal works on light spanners over the years provide spanners with optimal lightness in various graph classes, such as in general graphs, Euclidean spanners, and minor-free graphs. Three shortcomings of previous works on light spanners are: (1) The techniques are ad hoc per graph class, and thus can't be applied broadly. (2) The runtimes of these constructions are almost always sub-optimal, and usually far from optimal. (3) These constructions are optimal in the standard and crude sense, but not in a refined sense that takes into account a wider range of involved parameters. This work aims at addressing these shortcomings by presenting a unified framework of light spanners in a variety of graph classes. Informally, the framework boils down to a transformation from sparse spanners to light spanners; since the state-of-the-art for sparse spanners is much more advanced than that for light spanners, such a transformation is powerful. Our framework is developed in two papers. The current paper is the first of the two -- it lays the basis of the unified framework and then applies it to design fast constructions with optimal lightness for several graph classes. Among various applications and implications of our framework, we highlight here the following: _ In low-dimensional Euclidean spaces, we present an $O(n\log n)$-time construction of $(1+\epsilon)$-spanners with lightness and degree both bounded by constants in the algebraic computation tree (ACT). Our construction resolves a major problem in the area of geometric spanners, which was open for three decades. _ In general graphs, for any $k \geq 2$, we construct a $(2k-1)(1+\epsilon)$-spanner with lightness $O(n^{1/k})$ in $O(m \alpha(m,n))$ time. This result for light spanners in general weighted graphs is surprising, as it outperforms the analog one for sparse spanners.


title: Segmentation with Multiple Acceptable Annotations: A Case Study of Myocardial Segmentation in Contrast Echocardiography

abstract: Most existing deep learning-based frameworks for image segmentation assume that a unique ground truth is known and can be used for performance evaluation. This is true for many applications, but not all. Myocardial segmentation of Myocardial Contrast Echocardiography (MCE), a critical task in automatic myocardial perfusion analysis, is an example. Due to the low resolution and serious artifacts in MCE data, annotations from different cardiologists can vary significantly, and it is hard to tell which one is the best. In this case, how can we find a good way to evaluate segmentation performance and how do we train the neural network? In this paper, we address the first problem by proposing a new extended Dice to effectively evaluate the segmentation performance when multiple accepted ground truth is available. Then based on our proposed metric, we solve the second problem by further incorporating the new metric into a loss function that enables neural networks to flexibly learn general features of myocardium. Experiment results on our clinical MCE data set demonstrate that the neural network trained with the proposed loss function outperforms those existing ones that try to obtain a unique ground truth from multiple annotations, both quantitatively and qualitatively. Finally, our grading study shows that using extended Dice as an evaluation metric can better identify segmentation results that need manual correction compared with using Dice.


title: Sigma models as Gross-Neveu models

abstract: We review the correspondence between integrable sigma models with complex homogeneous target spaces and chiral bosonic (and possibly mixed bosonic/fermionic) Gross-Neveu models. Mathematically, the latter are models with quiver variety phase spaces, which reduce to the more conventional sigma models in special cases. We discuss the geometry of the models, as well as their trigonometric and elliptic deformations, Ricci flow and the inclusion of fermions.


title: Framework for an Intelligent Affect Aware Smart Home Environment for Elderly People

abstract: The population of elderly people has been increasing at a rapid rate over the last few decades and their population is expected to further increase in the upcoming future. Their increasing population is associated with their increasing needs due to problems like physical disabilities, cognitive issues, weakened memory and disorganized behavior, that elderly people face with increasing age. To reduce their financial burden on the world economy and to enhance their quality of life, it is essential to develop technology-based solutions that are adaptive, assistive and intelligent in nature. Intelligent Affect Aware Systems that can not only analyze but also predict the behavior of elderly people in the context of their day to day interactions with technology in an IoT-based environment, holds immense potential for serving as a long-term solution for improving the user experience of elderly in smart homes. This work therefore proposes the framework for an Intelligent Affect Aware environment for elderly people that can not only analyze the affective components of their interactions but also predict their likely user experience even before they start engaging in any activity in the given smart home environment. This forecasting of user experience would provide scope for enhancing the same, thereby increasing the assistive and adaptive nature of such intelligent systems. To uphold the efficacy of this proposed framework for improving the quality of life of elderly people in smart homes, it has been tested on three datasets and the results are presented and discussed.


title: On the global properties of Fourier multipliers in the nonharmonic analysis setting

abstract: In this paper, we investigate the global properties of Fourier multipliers in the setting of nonharmonic analysis of boundary value problems. We give necessary and sufficient conditions for a Fourier multiplier to be globally hypoelliptic and also to be globally solvable. As an application, we consider operators on $[0,1]^2$ with non-periodic boundary conditions and we obtain results that extend what is already known in the periodic case.


title: An Analysis of Speculative Type Confusion Vulnerabilities in the Wild

abstract: Spectre v1 attacks, which exploit conditional branch misprediction, are often identified with attacks that bypass array bounds checking to leak data from a victim's memory. Generally, however, Spectre v1 attacks can exploit any conditional branch misprediction that makes the victim execute code incorrectly. In this paper, we investigate speculative type confusion, a Spectre v1 attack vector in which branch mispredictions make the victim execute with variables holding values of the wrong type and thereby leak memory content. We observe that speculative type confusion can be inadvertently introduced by a compiler, making it extremely hard for programmers to reason about security and manually apply Spectre mitigations. We thus set out to determine the extent to which speculative type confusion affects the Linux kernel. Our analysis finds exploitable and potentially-exploitable arbitrary memory disclosure vulnerabilities. We also find many latent vulnerabilities, which could become exploitable due to innocuous system changes, such as coding style changes. Our results suggest that Spectre mitigations which rely on statically/manually identifying "bad" code patterns need to be rethought, and more comprehensive mitigations are needed.


title: Baryogenesis via relativistic bubble expansion

abstract: We present a novel baryogenesis mechanism in which the asymmetry is sourced from heavy particles which either gain their mass or are created during bubble expansion in a strong first order phase transition. These particles then decay in a CP and baryon number violating way inside the bubble. The particles are inherently out-of-equilibrium and sufficiently dilute after wall crossing so the third Sakharov condition is easily met. Washout is avoided provided the reheat temperature is sufficiently below the scale of the heavy particles. The mechanism relies on moderate supercooling and relativistic walls which -- in contrast to electroweak baryogenesis -- generically leads to a sizable gravitational wave signal, although in the simplest realisations at frequencies beyond upcoming detectors. We present a simple example model and discuss the restrictions on the parameter space for the mechanism to be successful. We find that high reheat temperatures $T_{\rm RH} \gtrsim 10^{10}$ GeV are generally preferred, whereas stronger supercooling allows for temperatures as low as $T_{\rm RH} \sim 10^{6}$ GeV, provided the vacuum energy density is sufficiently suppressed. We briefly comment on using resonantly enhanced CP violation to achieve even lower scales.


title: On the Optimal Configuration of a Square Array Group Testing Algorithm

abstract: Up to date, only lower and upper bounds for the optimal configuration of a Square Array (A2) Group Testing (GT) algorithm are known. We establish exact analytical formulae and provide a couple of applications of our result. First, we compare the A2 GT scheme to several other classical GT schemes in terms of the gain per specimen attained at optimal configuration. Second, operating under objective Bayesian framework with the loss designed to attain minimum at optimal GT configuration, we suggest the preferred choice of the group size under natural minimal assumptions: the prior information regarding the prevalence suggests that grouping and application of A2 is better than individual testing. The same suggestion is provided for the Minimax strategy.


title: Ultra-large-scale approximations and galaxy clustering: debiasing constraints on cosmological parameters

abstract: Upcoming galaxy surveys will allow us to probe the growth of the cosmic large-scale structure with improved sensitivity compared to current missions, and will also map larger areas of the sky. This means that in addition to the increased precision in observations, future surveys will also access the ultra-large-scale regime, where commonly neglected effects such as lensing, redshift-space distortions and relativistic corrections become important for calculating correlation functions of galaxy positions. At the same time, several approximations usually made in these calculations, such as the Limber approximation, break down at those scales. The need to abandon these approximations and simplifying assumptions at large scales creates severe issues for parameter estimation methods. On the one hand, exact calculations of theoretical angular power spectra become computationally expensive, and the need to perform them thousands of times to reconstruct posterior probability distributions for cosmological parameters makes the approach unfeasible. On the other hand, neglecting relativistic effects and relying on approximations may significantly bias the estimates of cosmological parameters. In this work, we quantify this bias and investigate how an incomplete modelling of various effects on ultra-large scales could lead to false detections of new physics beyond the standard $\Lambda$CDM model. Furthermore, we propose a simple debiasing method that allows us to recover true cosmologies without running the full parameter estimation pipeline with exact theoretical calculations. This method can therefore provide a fast way of obtaining accurate values of cosmological parameters and estimates of exact posterior probability distributions from ultra-large-scale observations.


title: Flow of Polar and Nonpolar Liquids through Nanotubes: A Computational Study

abstract: We perform ab initio density functional calculations to study the flow of water, methanol and dimethyl ether through nanotubes of carbon and boron nitride with different diameters and chiralities. The liquids we choose are important solvents, with water and methanol being polar and dimethyl ether being non-polar. In terms of activation barriers for liquid transport, we find the molecular-level drag to decrease with decreasing nanotube diameter, but to be rather independent of the chiral index. We also find molecules with higher polarity to experience higher drag during the flow. Counter-intuitively, we find the drag for water in boron nitride nanotubes not to exceed that in carbon nanotubes due to frustration in competing long-range Coulomb interactions.


title: Multimodal Approaches for Indoor Localization for Ambient Assisted Living in Smart Homes

abstract: This work makes multiple scientific contributions to the field of Indoor Localization for Ambient Assisted Living in Smart Homes. First, it presents a Big-Data driven methodology that studies the multimodal components of user interactions and analyzes the data from Bluetooth Low Energy (BLE) beacons and BLE scanners to detect a user's indoor location in a specific activity-based zone during Activities of Daily Living. Second, it introduces a context independent approach that can interpret the accelerometer and gyroscope data from diverse behavioral patterns to detect the zone-based indoor location of a user in any Internet of Things (IoT)-based environment. These two approaches achieved performance accuracies of 81.36% and 81.13%, respectively, when tested on a dataset. Third, it presents a methodology to detect the spatial coordinates of a user's indoor position that outperforms all similar works in this field, as per the associated root mean squared error - one of the performance evaluation metrics in ISO/IEC18305:2016- an international standard for testing Localization and Tracking Systems. Finally, it presents a comprehensive comparative study that includes Random Forest, Artificial Neural Network, Decision Tree, Support Vector Machine, k-NN, Gradient Boosted Trees, Deep Learning, and Linear Regression, to address the challenge of identifying the optimal machine learning approach for Indoor Localization.


title: John-Nirenberg inequality for Riemann type series

abstract: We obtain an improvement of the John-Nirenberg inequality for the series of the form $\sum_{n=1}^{\infty}n^{-1}e^{2\pi i n^k x},\;k>2,$ on intervals consisting of points of a same convergent of their continued fractions. We also establish a convergence criterion for these series.


title: Fast & accurate emulation of two-body scattering observables without wave functions

abstract: We combine Newton's variational method with ideas from eigenvector continuation to construct a fast & accurate emulator for two-body scattering observables. The emulator will facilitate the application of rigorous statistical methods for interactions that depend smoothly on a set of free parameters. Our approach begins with a trial $K$ or $T$ matrix constructed from a small number of exact solutions to the Lippmann--Schwinger equation. Subsequent emulation only requires operations on small matrices. We provide several applications to short-range potentials with and without the Coulomb interaction and partial-wave coupling. It is shown that the emulator can accurately extrapolate far from the support of the training data. When used to emulate the neutron-proton cross section with a modern chiral interaction as a function of 26 free parameters, it reproduces the exact calculation with negligible error and provides an over 300x improvement in CPU time.

categories: nucl-th cond-mat.mtrl-sci hep-lat hep-ph nucl-ex


title: An Ambient Intelligence-Based Human Behavior Monitoring Framework for Ubiquitous Environments

abstract: This framework for human behavior monitoring aims to take a holistic approach to study, track, monitor, and analyze human behavior during activities of daily living (ADLs). The framework consists of two novel functionalities. First, it can perform the semantic analysis of user interactions on the diverse contextual parameters during ADLs to identify a list of distinct behavioral patterns associated with different complex activities. Second, it consists of an intelligent decision-making algorithm that can analyze these behavioral patterns and their relationships with the dynamic contextual and spatial features of the environment to detect any anomalies in user behavior that could constitute an emergency. These functionalities of this interdisciplinary framework were developed by integrating the latest advancements and technologies in human-computer interaction, machine learning, Internet of Things, pattern recognition, and ubiquitous computing. The framework was evaluated on a dataset of ADLs, and the performance accuracies of these two functionalities were found to be 76.71% and 83.87%, respectively. The presented and discussed results uphold the relevance and immense potential of this framework to contribute towards improving the quality of life and assisted living of the aging population in the future of Internet of Things (IoT)-based ubiquitous living environments, e.g., smart homes.


title: An Image is Worth More Than a Thousand Words: Towards Disentanglement in the Wild

abstract: Unsupervised disentanglement has been shown to be theoretically impossible without inductive biases on the models and the data. As an alternative approach, recent methods rely on limited supervision to disentangle the factors of variation and allow their identifiability. While annotating the true generative factors is only required for a limited number of observations, we argue that it is infeasible to enumerate all the factors of variation that describe a real-world image distribution. To this end, we propose a method for disentangling a set of factors which are only partially labeled, as well as separating the complementary set of residual factors that are never explicitly specified. Our success in this challenging setting, demonstrated on synthetic benchmarks, gives rise to leveraging off-the-shelf image descriptors to partially annotate a subset of attributes in real image domains (e.g. of human faces) with minimal manual effort. Specifically, we use a recent language-image embedding model (CLIP) to annotate a set of attributes of interest in a zero-shot manner and demonstrate state-of-the-art disentangled image manipulation results.


title: The penumbra of open source: projects outside of centralized platforms are longer maintained, more academic and more collaborative

abstract: GitHub has become the central online platform for much of open source, hosting most open source code repositories. With this popularity, the public digital traces of GitHub are now a valuable means to study teamwork and collaboration. In many ways, however, GitHub is a convenience sample, and may not be representative of open source development off the platform. Here we develop a novel, extensive sample of public open source project repositories outside of centralized platforms. We characterized these projects along a number of dimensions, and compare to a time-matched sample of corresponding GitHub projects. Our sample projects tend to have more collaborators, are maintained for longer periods, and tend to be more focused on academic and scientific problems.


title: Learning Task Informed Abstractions

abstract: Current model-based reinforcement learning methods struggle when operating from complex visual scenes due to their inability to prioritize task-relevant features. To mitigate this problem, we propose learning Task Informed Abstractions (TIA) that explicitly separates reward-correlated visual features from distractors. For learning TIA, we introduce the formalism of Task Informed MDP (TiMDP) that is realized by training two models that learn visual features via cooperative reconstruction, but one model is adversarially dissociated from the reward signal. Empirical evaluation shows that TIA leads to significant performance gains over state-of-the-art methods on many visual control tasks where natural and unconstrained visual distractions pose a formidable challenge.


title: Refining the E+A Galaxy: A Spatially Resolved Spectrophotometric Sample of Nearby Post-starburst Systems in SDSS-IV MaNGA (MPL-5)

abstract: Post-starburst galaxies are crucial to disentangling the effect of star formation and quenching on galaxy demographics. They comprise, however, a heterogeneous population of objects, described in numerous ways. To obtain a well-defined and uncontaminated sample, we take advantage of spatially resolved spectroscopy to construct an unambiguous sample of E + A galaxies - post-starburst systems with no observed ongoing star formation. Using data from the Mapping Nearby Galaxies at Apache Point Observatory (MaNGA) Survey, in the fourth generation of the Sloan Digital Sky Survey (SDSS-IV), we have identified 30 E + A galaxies that lie within the green valley of color-stellar mass space. We first identified E + A candidates by their central, single-fiber spectra and (u-r) color from SDSS DR15, and then further required each galaxy to exhibit E + A properties throughout the entirety of the system to three effective radii. We describe our selection criteria in detail, note common pitfalls in E + A identification, and introduce the basic characteristics of the sample. We will use this E + A sample, which has been assembled with stringent criteria and thus re-establishes a well-defined subpopulation within the broader category of post-starburst galaxies, to study the evolution of galaxies and their stellar populations in the time just after star formation within them is fully quenched.


title: The MACH HI absorption survey I: Physical conditions of cold atomic gas outside of the Galactic plane

abstract: Tracing the transition between the diffuse atomic interstellar medium (ISM) and cold, dense gas is crucial for deciphering the star formation cycle in galaxies. Here we present MACH, a new survey of cold neutral hydrogen (HI) absorption at $21\rm\,cm$ by the Karl G. Jansky Very Large Array. We target 42 bright background sources with $60<l<110^{\circ}$, $30<b<62^{\circ}$, significantly expanding the sample of publicly-available, sensitive $21\rm\,cm$ absorption outside the Galactic plane. With matching $21\rm\,cm$ emission data from the EBHIS survey, we measure the total column density and cold HI fraction, and quantify the properties of individual HI structures along each sightline via autonomous Gaussian decomposition. Combining the MACH sample with results from recent HI absorption surveys, we produce a robust characterization of the cool atomic medium at high and intermediate Galactic latitudes. We find that MACH HI has significantly smaller column density relative to samples at similar latitudes, and the detected cold HI structures have smaller line widths, temperatures and turbulent Mach numbers, suggesting that MACH probes a particularly quiescent region. Using all available observations, we compute the cumulative covering fraction ($c$) of cold HI at local velocities outside the disk: structures with $\tau>0.001$ are ubiquitous ($c\sim100\%$), whereas high optical depths ($\tau>1$) are extremely rare ($c\sim0\%$).


title: A Representation Learning Perspective on the Importance of Train-Validation Splitting in Meta-Learning

abstract: An effective approach in meta-learning is to utilize multiple "train tasks" to learn a good initialization for model parameters that can help solve unseen "test tasks" with very few samples by fine-tuning from this initialization. Although successful in practice, theoretical understanding of such methods is limited. This work studies an important aspect of these methods: splitting the data from each task into train (support) and validation (query) sets during meta-training. Inspired by recent work (Raghu et al., 2020), we view such meta-learning methods through the lens of representation learning and argue that the train-validation split encourages the learned representation to be low-rank without compromising on expressivity, as opposed to the non-splitting variant that encourages high-rank representations. Since sample efficiency benefits from low-rankness, the splitting strategy will require very few samples to solve unseen test tasks. We present theoretical results that formalize this idea for linear representation learning on a subspace meta-learning instance, and experimentally verify this practical benefit of splitting in simulations and on standard meta-learning benchmarks.


title: Deciphering the evolution of the Milky Way discs: Gaia APOGEE Kepler giant stars and the Besan\c{c}on Galaxy Model

abstract: We investigate the properties of the double sequences of the Milky Way discs visible in the [$\alpha$/Fe] vs [Fe/H] diagram. In the framework of Galactic formation and evolution, we discuss the complex relationships between age, metallicity, [$\alpha$/Fe], and the velocity components. We study stars with measured chemical, seismic and astrometric properties from the APOGEE survey, the Kepler and Gaia satellites, respectively. We separate the [$\alpha$/Fe]-[Fe/H] diagram into 3 stellar populations: the thin disc, the high-$\alpha$ metal-poor thick disc and the high-$\alpha$ metal-rich thick disc and characterise each of these in the age-chemo-kinematics parameter space. We compare results obtained from different APOGEE data releases and using two recent age determinations. We use the Besan\c{c}on Galaxy model (BGM) to highlight selection biases and mechanisms not included in the model. The thin disc exhibits a flat age-metallicity relation while [$\alpha$/Fe] increases with stellar age. We confirm no correlation between radial and vertical velocities with [Fe/H], [$\alpha$/Fe] and age for each stellar population. Considering both samples, V$_\varphi$ decreases with age for the thin disc, while it increases with age for the h$\alpha$mp thick disc. Although the age distribution of the h$\alpha$mr thick disc is very close to that of the h$\alpha$mp thick disc between 7 and 14 Gyr, its kinematics seems to follow that of the thin disc. This feature, not predicted by the hypotheses included in the BGM, suggests a different origin and history for this population. Finally, we show that there is a maximum dispersion of the vertical velocity, $\sigma_Z$, with age for the h$\alpha$mp thick disc around 8 Gyr. The comparisons with the BGM simulations suggest a more complex chemo-dynamical scheme to explain this feature, most likely including mergers and radial migration effects


title: A microlensing search of 700 million VVV light curves

abstract: The VISTA Variables in the Via Lactea (VVV) survey and its extension, have been monitoring about 560 square degrees of sky centred on the Galactic bulge and inner disc for nearly a decade. The photometric catalogue contains of order 10$^9$ sources monitored in the K$_s$ band down to 18 mag over hundreds of epochs from 2010-2019. Using these data we develop a decision tree classifier to identify microlensing events. As inputs to the tree, we extract a few physically motivated features as well as simple statistics ensuring a good fit to a microlensing model both on and off the event amplification. This produces a fast and efficient classifier trained on a set of simulated microlensing events and catacylsmic variables, together with flat baseline light curves randomly chosen from the VVV data. The classifier achieves 97 per cent accuracy in identifying simulated microlensing events in a validation set. We run the classifier over the VVV data set and then visually inspect the results, which produces a catalogue of 1,959 microlensing events. For these events, we provide the Einstein radius crossing time via a Bayesian analysis. The spatial dependence on recovery efficiency of our classifier is well characterised, and this allows us to compute spatially resolved completeness maps as a function of Einstein crossing time over the VVV footprint. We compare our approach to previous microlensing searches of the VVV. We highlight the importance of Bayesian fitting to determine the microlensing parameters for events with surveys like VVV with sparse data.


title: Merger or Not: Accounting for Human Biases in Identifying Galactic Merger Signatures

abstract: Significant galaxy mergers throughout cosmic time play a fundamental role in theories of galaxy evolution. The widespread usage of human classifiers to visually assess whether galaxies are in merging systems remains a fundamental component of many morphology studies. Studies that employ human classifiers usually construct a control sample, and rely on the assumption that the bias introduced by using humans will be evenly applied to all samples. In this work, we test this assumption and develop methods to correct for it. Using the standard binomial statistical methods employed in many morphology studies, we find that the merger fraction, error, and the significance of the difference between two samples are dependent on the intrinsic merger fraction of any given sample. We propose a method of quantifying merger biases of individual human classifiers and incorporate these biases into a full probabilistic model to determine the merger fraction and the probability of an individual galaxy being in a merger. Using 14 simulated human responses and accuracies, we are able to correctly label a galaxy as ''merger'' or ''isolated'' to within 1\% of the truth. Using 14 real human responses on a set of realistic mock galaxy simulation snapshots our model is able to recover the pre-coalesced merger fraction to within 10\%. Our method can not only increase the accuracy of studies probing the merger state of galaxies at cosmic noon, but also can be used to construct more accurate training sets in machine learning studies that use human classified data-sets.


title: An endpoint estimate of the bilinear paraboloid restriction operator

abstract: In Fourier restriction problems, a cone and a paraboloid are model surfaces. The sharp bilinear cone restriction estimate was first shown by Wolff, and later the endpoint was obtained by Tao. For a paraboloid, the sharp $L^2$ bilinear restriction estimate was obtained by Tao, but the endpoint was remained open. In this paper we prove the endpoint $L^2$ bilinear restriction estimate for a paraboloid.


title: Observation and calibration strategies for large-scale multi-beam velocity-resolved mapping of the [CII] emission in the Orion molecular cloud

abstract: Context. The [CII] 158micron far-infrared fine-structure line is one of the dominant cooling lines of the star-forming interstellar medium (ISM). Hence [CII] emission originates in and thus can be used to trace a range of ISM processes. Velocity-resolved large-scale mapping of [CII] in star-forming regions provides a unique perspective of the kinematics of these regions and their interactions with the exciting source of radiation. Aims. We explore the scientific applications of large-scale mapping of velocity-resolved [CII] observations. With the [CII] observations, we investigate the effect of stellar feedback on the ISM. We present the details of observation, calibration, and data reduction using a heterodyne array receiver mounted on an airborne observatory. Results. A square-degree [CII] map with a spectral resolution of 0.3 km/s is presented. The scientific potential of this data is summarized with discussion of mechanical and radiative stellar feedback, filament tracing using [CII], [CII] opacity effects, [CII] and carbon recombination lines, and [CII] interaction with the large molecular cloud. The data quality and calibration is discussed in detail, and new techniques are presented to mitigate the effects of unavoidable instrument deficiencies (e.g. baseline stability) and thus to improve the data quality. A comparison with a smaller [CII] map taken with the Herschel/Heterodyne Instrument for the Far-Infrared (HIFI) spectrometer is presented.


title: On the general no-three-in-line problem

abstract: In this paper we show that the number of points that can be placed in the grid $n\times n\times \cdots \times n~(d~times)=n^d$ for all $d\in \mathbb{N}$ with $d\geq 2$ such that no three points are collinear satisfies the lower bound \begin{align} \gg_d n^{d-1}\sqrt[2d]{d}.\nonumber \end{align}This pretty much extends the result of the no-three-in-line problem to all dimension $d\geq 3$.