title: Viscosity, shock-induced separation, and shock reversal -- Oscillating wing section in transonic flow

abstract: We numerically examine the mechanisms that describe the shock-boundary layer interactions in transonic flow past an oscillating wing section. At moderate and high angles of incidence but low amplitudes of oscillation, shock induced flow separation or shock-stall is observed accompanied by shock reversal. Even though the power input to the airfoil by the viscous forces is three orders of magnitude lower than that due to the pressure forces on the airfoil, the boundary layer manipulates the shock location and shock motion and redistributes the power input to the airfoil by the pressure forces. The shock motion is reversed relative to that in an inviscid flow as the boundary layer cannot sustain an adverse pressure gradient posed by the shock, causing the shock to move upstream leading to an early separation. The shock motion shows a phase difference with reference to the airfoil motion and is a function of the frequency of the oscillation. At low angles of incidence, and low amplitudes of oscillation, the boundary layer changes the profile presented to the external flow, leads to a slower expansion of the flow resulting in an early shock, and a diffused shock-foot caused by the boundary layer.


title: DAMOV: A New Methodology and Benchmark Suite for Evaluating Data Movement Bottlenecks

abstract: Data movement between the CPU and main memory is a first-order obstacle against improving performance, scalability, and energy efficiency in modern systems. Computer systems employ a range of techniques to reduce overheads tied to data movement, spanning from traditional mechanisms (e.g., deep multi-level cache hierarchies, aggressive hardware prefetchers) to emerging techniques such as Near-Data Processing (NDP), where some computation is moved close to memory. Our goal is to methodically identify potential sources of data movement over a broad set of applications and to comprehensively compare traditional compute-centric data movement mitigation techniques to more memory-centric techniques, thereby developing a rigorous understanding of the best techniques to mitigate each source of data movement. With this goal in mind, we perform the first large-scale characterization of a wide variety of applications, across a wide range of application domains, to identify fundamental program properties that lead to data movement to/from main memory. We develop the first systematic methodology to classify applications based on the sources contributing to data movement bottlenecks. From our large-scale characterization of 77K functions across 345 applications, we select 144 functions to form the first open-source benchmark suite (DAMOV) for main memory data movement studies. We select a diverse range of functions that (1) represent different types of data movement bottlenecks, and (2) come from a wide range of application domains. Using NDP as a case study, we identify new insights about the different data movement bottlenecks and use these insights to determine the most suitable data movement mitigation mechanism for a particular application. We open-source DAMOV and the complete source code for our new characterization methodology at https://github.com/CMU-SAFARI/DAMOV.


title: Mental Models of Adversarial Machine Learning

abstract: Although machine learning is widely used in practice, little is known about practitioners' understanding of potential security challenges. In this work, we close this substantial gap and contribute a qualitative study focusing on developers' mental models of the machine learning pipeline and potentially vulnerable components. Similar studies have helped in other security fields to discover root causes or improve risk communication. Our study reveals two \facets of practitioners' mental models of machine learning security. Firstly, practitioners often confuse machine learning security with threats and defences that are not directly related to machine learning. Secondly, in contrast to most academic research, our participants perceive security of machine learning as not solely related to individual models, but rather in the context of entire workflows that consist of multiple components. Jointly with our additional findings, these two facets provide a foundation to substantiate mental models for machine learning security and have implications for the integration of adversarial machine learning into corporate workflows, \new{decreasing practitioners' reported uncertainty}, and appropriate regulatory frameworks for machine learning security.


title: An interstellar communication method: system design and observations

abstract: A system of synchronized radio telescopes is utilized to search for hypothetical wide bandwidth interstellar communication signals. Transmitted signals are hypothesized to have characteristics that enable high channel capacity and minimally low energy per information bit, while containing energy-efficient signal elements that are readily discoverable, distinct from random noise. A hypothesized transmitter signal is described. Signal reception and discovery processes are detailed. Observations using individual and multiple synchronized radio telescopes, during 2017 - 2021, are described. Conclusions and further work are suggested.


title: BESTP -- An Automated Bayesian Modeling Tool for Asteroseismology

abstract: Asteroseismic observations are crucial to constrain stellar models with precision. Bayesian Estimation of STellar Parameters (BESTP) is a tool that utilizes Bayesian statistics and nested sampling Monte Carlo algorithm to search for the stellar models that best match a given set of classical and asteroseismic constraints from observations. The computation and evaluation of models are efficiently performed in an automated and a multi-threaded way. To illustrate the capabilities of BESTP, we estimate fundamental stellar properties for the Sun and the red-giant star HD 222076. In both cases, we find models that are consistent with the observations. We also evaluate the improvement in the precision of stellar parameters when the oscillation frequencies of individual modes are included as constraints, compared to the case when only the the large frequency separation is included. For the solar case, the uncertainties of estimated masses, radii and ages are reduced by 0.7%, 0.3% and 8% respectively. For HD 222076, they are reduced even more noticeably by 2%, 0.5% and 4.7%. We also note an improvement of 10% for the age of HD 222076 when the Gaia parallax is included as a constraint compared to the case when only the large separation is included as constraint.


title: Integrated photonics enables continuous-beam electron phase modulation

abstract: The ability to tailor laser light on a chip using integrated photonics has allowed for extensive control over fundamental light-matter interactions in manifold quantum systems including atoms, trapped ions, quantum dots, and defect centers. Free electrons, enabling high-resolution microscopy for decades, are increasingly becoming the subject of laser-based quantum manipulation. Using free-space optical excitation and intense laser pulses, this has led to the observation of free-electron quantum walks, attosecond electron pulses, and imaging of electromagnetic fields. Enhancing the interaction with electron beams through chip-based photonics promises unique applications in nanoscale quantum control and sensing, but has yet to enter electron microscopy. Here, we merge integrated photonics with electron microscopy, demonstrating coherent phase modulation of an electron beam using a silicon nitride microresonator driven by a continuous-wave laser. The high-Q factor (~$10^6$) cavity enhancement and a waveguide designed for phase matching lead to efficient electron-light scattering at unprecedentedly low, few-microwatt optical powers. Specifically, we fully deplete the initial electron state at a cavity-coupled power of 6 $\mu$W and create >500 photon sidebands for only 38 mW in the bus waveguide. Moreover, we demonstrate $\mu$eV electron energy gain spectroscopy (EEGS). Providing simultaneous optical and electronic spectroscopy of the resonant cavity, the fiber-coupled photonic structures feature single-mode electron-light interaction with full control over the input and output channels. This approach establishes a versatile framework for exploring free-electron quantum optics, with future developments in strong coupling, local quantum probing, and electron-photon entanglement. Our results highlight the potential of integrated photonics to efficiently interface free electrons and light.


title: Causally simple spacetimes and naked singularities

abstract: In this paper, We prove a conjecture which states that if M is a nakedly singular future boundary or nakedly singular past boundary spacetime, then the space of null geodesics, N, is non-Hausdorff. Also, we show that every two-dimensional strongly causal spacetime M is causally simple if and only if it is null pseudoconvex. As a result, it implies the converse of the conjecture for two-dimension but there are examples that refute it for more dimensions.


title: Time integrators for dispersive equations in the long wave regime

abstract: We introduce a novel class of time integrators for dispersive equations which allow us to reproduce the dynamics of the solution from the classical $ \varepsilon = 1$ up to long wave limit regime $ \varepsilon \ll 1 $ on the natural time scale of the PDE $t= \mathcal{O}(\frac{1}{\varepsilon})$. Most notably our new schemes converge with rates at order $\tau \varepsilon$ over long times $t= \frac{1}{\varepsilon}$.


title: Uniformly accurate splitting schemes for the Benjamin-Bona-Mahony equation with dispersive parameter

abstract: We propose a new class of uniformly accurate splitting methods for the Benjamin-Bona-Mahony equation which converge uniformly in the dispersive parameter $\varepsilon$. The proposed splitting schemes are furthermore asymptotic convergent and preserve the KdV limit. We carry out a rigorous convergence analysis of the splitting schemes exploiting the smoothing properties in the system. This will allow us to establish improved error bounds with gain either in regularity (for non smooth solutions) or in the dispersive parameter $\varepsilon$. The latter will be interesting in regimes of a small dispersive parameter. We will in particular show that in the classical BBM case $P(\partial_x) = \partial_x$ our Lie splitting does not require any spatial regularity, i.e, first order time convergence holds in $H^{r}$ for solutions in $H^{r}$ without any loss of derivative. This estimate holds uniformly in $\varepsilon$. In regularizing regimes $\varepsilon=\mathcal{O}(1) $ we even gain a derivative with our time discretisation at the cost of loosing in terms of $\frac{1}{\varepsilon}$. Numerical experiments underline our theoretical findings.


title: Generative Actor-Critic: An Off-policy Algorithm Using the Push-forward Model

abstract: Model-free deep reinforcement learning has achieved great success in many domains, such as video games, recommendation systems and robotic control tasks. In continuous control tasks, widely used policies with Gaussian distributions results in ineffective exploration of environments and limited performance of algorithms in many cases. In this paper, we propose a density-free off-policy algorithm, Generative Actor-Critic(GAC), using the push-forward model to increase the expressiveness of policies, which also includes an entropy-like technique, MMD-entropy regularizer, to balance the exploration and exploitation. Additionnally, we devise an adaptive mechanism to automatically scale this regularizer, which further improves the stability and robustness of GAC. The experiment results show that push-forward policies possess desirable features, such as multi-modality, which can improve the efficiency of exploration and asymptotic performance of algorithms obviously.


title: Modelling Point Referenced Spatial Count Data: A Poisson Process Approach

abstract: Random fields are useful mathematical tools for representing natural phenomena with complex dependence structures in space and/or time. In particular, the Gaussian random field is commonly used due to its attractive properties and mathematical tractability. However, this assumption seems to be restrictive when dealing with counting data. To deal with this situation, we propose a random field with a Poisson marginal distribution by considering a sequence of independent copies of a random field with an exponential marginal distribution as 'inter-arrival times' in the counting renewal processes framework. Our proposal can be viewed as a spatial generalization of the Poisson process. Unlike the classical hierarchical Poisson Log-Gaussian model, our proposal generates a (non)-stationary random field that is mean square continuous and with Poisson marginal distributions. For the proposed Poisson spatial random field, analytic expressions for the covariance function and the bivariate distribution are provided. In an extensive simulation study, we investigate the weighted pairwise likelihood as a method for estimating the Poisson random field parameters. Finally, the effectiveness of our methodology is illustrated by an analysis of reindeer pellet-group survey data, where a zero-inflated version of the proposed model is compared with zero-inflated Poisson Log-Gaussian and Poisson Gaussian copula models. Supplementary materials for this article, include technical proofs and R code for reproducing the work, are available as an online supplement.


title: [CII] $158\,\mu\mathrm{m}$ line emission from Orion A. I. A template for extragalactic studies?

abstract: The [CII] $158\,\mu\mathrm{m}$ fine-structure line is one of the dominant coolants of the neutral interstellar medium. It is hence one of the brightest far-infrared emission lines and can be observed not only in star-forming regions throughout the Galaxy, but also in the diffuse interstellar medium and in distant galaxies. [CII] line emission has been suggested to be a powerful tracer of star-formation. We aim to understand the origin of [CII] emission and its relation to other tracers of interstellar gas and dust. This includes a study of the heating efficiency of interstellar gas as traced by the [CII] line to test models of gas heating. We make use of a one-square-degree map of velocity-resolved [CII] line emission towards the Orion Nebula complex, including M43 and NGC 1977. The [CII] intensity is tightly correlated with PAH emission in the IRAC $8\,\mu\mathrm{m}$ band and far-infrared emission from warm dust. The correlation between [CII] and CO(2-1) is affected by the detailed geometry of the region. We find particularly low [CII]-over-FIR intensity ratios towards large columns of (warm and cold) dust, which suggest the interpretation of the "[CII] deficit" in terms of a "FIR excess". A slight decrease in the FIR line-over-continuum intensity ratio can be attributed to a decreased heating efficiency of the gas. We find that, at the mapped spatial scales, predictions of the star-formation rate from [CII] emission underestimate the star-formation rate calculated from YSO counts in the Orion Nebula complex by an order of magnitude. [CII] emission from the Orion Nebula complex arises dominantly in the cloud surfaces, many viewed in edge-on geometry. [CII] emission from extended faint cloud surfaces may contribute significantly to the total [CII] emission on galactic scales.


title: PIM-DRAM: Accelerating Machine Learning Workloads using Processing in Commodity DRAM

abstract: Deep Neural Networks (DNNs) have transformed the field of machine learning and are widely deployed in many applications involving image, video, speech and natural language processing. The increasing compute demands of DNNs have been widely addressed through Graphics Processing Units (GPUs) and specialized accelerators. However, as model sizes grow, these von Neumann architectures require very high memory bandwidth to keep the processing elements utilized as a majority of the data resides in the main memory. Processing in memory has been proposed as a promising solution for the memory wall bottleneck for ML workloads. In this work, we propose a new DRAM-based processing-in-memory (PIM) multiplication primitive coupled with intra-bank accumulation to accelerate matrix vector operations in ML workloads. The proposed multiplication primitive adds < 1% area overhead and does not require any change in the DRAM peripherals. Therefore, the proposed multiplication can be easily adopted in commodity DRAM chips. Subsequently, we design a DRAM-based PIM architecture, data mapping scheme and dataflow for executing DNNs within DRAM. System evaluations performed on networks like AlexNet, VGG16 and ResNet18 show that the proposed architecture, mapping, and data flow can provide up to 19.5x speedup over an NVIDIA Titan Xp GPU highlighting the need to overcome the memory bottleneck in future generations of DNN hardware.


title: Difference-in-Differences Estimation with Spatial Spillovers

abstract: Empirical work often uses treatment assigned following geographic boundaries. When the effects of treatment cross over borders, classical difference-in-differences estimation produces biased estimates for the average treatment effect. In this paper, I introduce a potential outcomes framework to model spillover effects and decompose the estimate's bias in two parts: (1) the control group no longer identifies the counterfactual trend because their outcomes are affected by treatment and (2) changes in treated units' outcomes reflect the effect of their own treatment status and the effect from the treatment status of 'close' units. I propose conditions for non-parametric identification that can remove both sources of bias and semi-parametrically estimate the spillover effects themselves including in settings with staggered treatment timing. To highlight the importance of spillover effects, I revisit analyses of three place-based interventions.


title: Structured Covariance Matrix Estimation with Missing-Data for Radar Applications via Expectation-Maximization

abstract: Structured covariance matrix estimation in the presence of missing data is addressed in this paper with emphasis on radar signal processing applications. After a motivation of the study, the array model is specified and the problem of computing the maximum likelihood estimate of a structured covariance matrix is formulated. A general procedure to optimize the observed-data likelihood function is developed resorting to the expectation-maximization algorithm. The corresponding convergence properties are thoroughly established and the rate of convergence is analyzed. The estimation technique is contextualized for two practically relevant radar problems: beamforming and detection of the number of sources. In the former case an adaptive beamformer leveraging the EM-based estimator is presented; in the latter, detection techniques generalizing the classic Akaike information criterion, minimum description length, and Hannan-Quinn information criterion, are introduced. Numerical results are finally presented to corroborate the theoretical study.


title: Persistence of Heterodimensional Cycles

abstract: A heterodimensional cycle is an invariant set of a dynamical system consisting of two hyperbolic periodic orbits with different dimensions of their unstable manifolds and a pair of orbits that connect them. For systems which are at least $C^2$, we show that bifurcations of a coindex-1 heterodimensional cycle within a generic 2-parameter family create robust heterodimensional dynamics, i.e., a pair of non-trivial hyperbolic basic sets with different numbers of positive Lyapunov exponents, such that the unstable manifold of each of the sets intersects the stable manifold of the second set and these intersections persist for an open set of parameter values. We also give a solution to the so-called local stabilization problem of coindex-1 heterodimensional cycles in any regularity class $r=2,\ldots,\infty,\omega$. The results are based on the observation that arithmetic properties of moduli of topological conjugacy of systems with heterodimensional cycles determine the emergence of Bonatti-D\'iaz blenders.


title: Evidence for strong electron correlations in a non-symmorphic Dirac semimetal

abstract: Metallic iridium oxides (iridates) provide a fertile playground to explore new phenomena resulting from the interplay between topological protection, spin-orbit and electron-electron interactions. To date, however, few studies of the low energy electronic excitations exist due to the difficulty in synthesising crystals with sufficiently large carrier mean-free-paths. Here, we report the observation of Shubnikov-de Haas quantum oscillations in high-quality single crystals of monoclinic SrIrO$_3$ in magnetic fields up to 35~T. Analysis of the oscillations reveals a Fermi surface comprising multiple small pockets with effective masses up to 4.5 times larger than the calculated band mass. \textit{Ab-initio} calculations reveal robust linear band-crossings at the Brillouin zone boundary, due to its non-symmorphic symmetry, and overall we find good agreement between the angular dependence of the oscillations and the theoretical expectations. Further evidence of strong electron correlations is realized through the observation of signatures of non-Fermi liquid transport as well as a large Kadowaki-Woods ratio. These collective findings, coupled with knowledge of the evolution of the electronic state across the Ruddlesden-Popper iridate series, establishes monoclinic SrIrO$_3$ as a topological semimetal on the boundary of the Mott metal-insulator transition.


title: Assessment of the (010) $\beta$-Ga$_2$O$_3$ Surface and Substrate Specification

abstract: Recent breakthroughs in bulk crystal growth of the thermodynamically stable beta phase of gallium oxide ($\beta$-Ga$_2$O$_3$) have led to the commercialization of large-area beta-Ga$_2$O$_3$ substrates with subsequent epitaxy on (010) substrates producing high-quality films. Still, metal-organic chemical vapor deposition (MOCVD), molecular beam epitaxy (MBE), and processing of the (010) $\beta$-Ga$_2$O$_3$ surface are known to form sub-nanometer scale facets along the [001] direction as well as larger ridges with features perpendicular to the [001] direction. A density function theory calculation of the (010) surface shows an ordering of the surface as a sub-nanometer-scale feature along the [001] direction. Additionally, the general crystal structure of $\beta$-Ga$_2$O$_3$ is presented and recommendations are presented for standardizing (010) substrates to account for and control the larger-scale ridge formation.


title: ChainNet: Neural Network-Based Successive Spectral Analysis

abstract: We discuss a new neural network-based direction of arrival estimation scheme that tackles the estimation task as a multidimensional classification problem. The proposed estimator uses a classification chain with as many stages as the number of sources. Each stage is a multiclass classification network that estimates the position of one of the sources. This approach can be interpreted as the approximation of a successive evaluation of the maximum a posteriori estimator. By means of simulations for fully sampled antenna arrays and systems with subarray sampling, we show that it is able to outperform existing estimation techniques in terms of accuracy, while maintaining a very low computational complexity.


title: Certified Robustness to Text Adversarial Attacks by Randomized [MASK]

abstract: Recently, few certified defense methods have been developed to provably guarantee the robustness of a text classifier to adversarial synonym substitutions. However, all existing certified defense methods assume that the defenders are informed of how the adversaries generate synonyms, which is not a realistic scenario. In this paper, we propose a certifiably robust defense method by randomly masking a certain proportion of the words in an input text, in which the above unrealistic assumption is no longer necessary. The proposed method can defend against not only word substitution-based attacks, but also character-level perturbations. We can certify the classifications of over 50% texts to be robust to any perturbation of 5 words on AGNEWS, and 2 words on SST2 dataset. The experimental results show that our randomized smoothing method significantly outperforms recently proposed defense methods across multiple datasets.


title: Cosmological perturbations in Gauss-Bonnet quasi-dilaton massive gravity

abstract: We present the cosmological analysis of the Gauss-Bonnet quasi-dilaton massive gravity theory. This offers a gravitational theory with a non-zero graviton mass. We calculate the complete set of background equations of motion. Also, we obtain the self-accelerating background solutions and we present the constraints on parameters to indicate the correct sign of parameters. In addition, we analyse tensor perturbations and calculate the mass of graviton and find the dispersion relation of gravitational waves for two cases. Finally, we investigate the propagation of gravitational perturbation in the FLRW cosmology in the Gauss-Bonnet quasi-dilaton massive gravity.


title: Goldman form, flat connections and stable vector bundles

abstract: We consider the moduli space $\mathscr{N}$ of stable vector bundles of degree $0$ over a compact Riemann surface and the affine bundle $\mathscr{A}\to\mathscr{N}$ of flat connections. Following the similarity between the Teichm\"{u}ller spaces and the moduli of bundles, we introduce the analogue of of the quasi-Fuchsian projective connections - local holomorphic sections of $\mathscr{A}$ - that allow to pull back the Liouville symplectic form on $T^{*}\mathscr{N}$ to $\mathscr{A}$. We prove that the pullback of the Goldman form to $\mathscr{A}$ by the Riemann-Hilbert correspondence coincides with the pullback of the Liouville form. We also include a simple proof, in the spirit of Riemann bilinear relations, of the classic result - the pullback of Goldman symplectic form to $\mathscr{N}$ by the Narasimhan-Seshadri connection is the natural symplectic form on $\mathscr{N}$, introduced by Narasimhan and Atiyah & Bott.


title: Contrastive Attraction and Contrastive Repulsion for Representation Learning

abstract: Contrastive learning (CL) methods effectively learn data representations in a self-supervision manner, where the encoder contrasts each positive sample over multiple negative samples via a one-vs-many softmax cross-entropy loss. By leveraging large amounts of unlabeled image data, recent CL methods have achieved promising results when pretrained on large-scale datasets, such as ImageNet. However, most of them consider the augmented views from the same instance are positive pairs, while views from other instances are negative ones. Such binary partition insufficiently considers the relation between samples and tends to yield worse performance when generalized on images in the wild. In this paper, to further improve the performance of CL and enhance its robustness on various datasets, {we propose a doubly CL strategy that separately compares positive and negative samples within their own groups, and then proceeds with a contrast between positive and negative groups}. We realize this strategy with contrastive attraction and contrastive repulsion (CACR), which makes the query not only exert a greater force to attract more distant positive samples but also do so to repel closer negative samples. Theoretical analysis reveals that CACR generalizes CL's behavior by positive attraction and negative repulsion, and it further considers the intra-contrastive relation within the positive and negative pairs to narrow the gap between the sampled and true distribution, which is important when datasets are less curated. With our extensive experiments, CACR not only demonstrates good performance on CL benchmarks, but also shows better robustness when generalized on imbalanced image datasets. Code and pre-trained checkpoints are available at https://github.com/JegZheng/CACR-SSL.


title: Neutron Stars and the Nuclear Equation of State

abstract: We review the current status and recent progress of microscopic many-body approaches and phenomenological models, which are employed to construct the equation of state of neutron stars. The equation of state is relevant for the description of their structure and dynamical properties, and it rules also the dynamics of core-collapse supernovae and binary neutron star mergers. We describe neutron star matter assuming that the main degrees of freedom are nucleons and hyperons, disregarding the appearance of quark matter. We compare the theoretical predictions of the different equation-of-state models with the currently available data coming from both terrestrial laboratory experiments and recent astrophysical observations. We also analyse the importance of the nuclear strong interaction and equation of state for the cooling properties of neutron stars. We discuss the main open challenges in the description of the equation of state, mainly focusing on the limits of the different many-body techniques, the so-called "hyperon puzzle," and the dependence of the direct URCA processes on the equation of state.


title: Simulating User Satisfaction for the Evaluation of Task-oriented Dialogue Systems

abstract: Evaluation is crucial in the development process of task-oriented dialogue systems. As an evaluation method, user simulation allows us to tackle issues such as scalability and cost-efficiency, making it a viable choice for large-scale automatic evaluation. To help build a human-like user simulator that can measure the quality of a dialogue, we propose the following task: simulating user satisfaction for the evaluation of task-oriented dialogue systems. The purpose of the task is to increase the evaluation power of user simulations and to make the simulation more human-like. To overcome a lack of annotated data, we propose a user satisfaction annotation dataset, USS, that includes 6,800 dialogues sampled from multiple domains, spanning real-world e-commerce dialogues, task-oriented dialogues constructed through Wizard-of-Oz experiments, and movie recommendation dialogues. All user utterances in those dialogues, as well as the dialogues themselves, have been labeled based on a 5-level satisfaction scale. We also share three baseline methods for user satisfaction prediction and action prediction tasks. Experiments conducted on the USS dataset suggest that distributed representations outperform feature-based methods. A model based on hierarchical GRUs achieves the best performance in in-domain user satisfaction prediction, while a BERT-based model has better cross-domain generalization ability.


title: A model liquid crystal cell in an RC circuit

abstract: A nematic liquid-crystal cell subject to an electric field created by electrodes held at constant potential is modeled as a variable capacitor in an RC circuit. The state of the system is characterized in terms of the director field in the cell and the charge on the electrodes. A dynamical system is developed that couples director dynamics in the cell (with no fluid flow) and charge dynamics in the circuit. The dynamical equations are derived from expressions for the total potential energy of the system and a dissipation involving a single rotational viscosity for the director plus Joule heating associated with current in the circuit. An effort is made to quantify effects, in particular the widely differing time scales for the processes involved, and numerical illustrations are given. The exercise illuminates aspects of the modeling of equilibrium states of such a system.


title: Studies of RR Lyrae Variables in Binary Systems. I.: Evidence of a Trimodal Companion Mass Distribution

abstract: We present 87 candidates for RR Lyrae variable stars in binary systems, based on our new search using the light-travel time effect (LTTE) and observed - calculated ($O-C$) diagrams in the Galactic bulge time-series photometry of the Optical Gravitational Lensing Experiment. Out of these, 61 are new candidates, while 26 have been announced previously. Furthermore, 12 stars considered as binary candidates in earlier works are discarded from the list, either as they were found to have $O-C$ diagrams incompatible with the LTTE or because their long-term periodicity is definitely caused by the Blazhko effect. This sample of RR Lyrae binary candidates allows us to draw the first firm conclusions about the population of such objects: no candidate has an orbital period below 1000 days, while their occurrence rate steadily increases with increasing period, and peaks between 3000 and 4000 days; however, the decrease in the number of stars toward even longer periods is probably the result of observational biases. The eccentricities show a very significant concentration between 0.25 and 0.3, with a quarter of candidates found in this single bin, overlaid on an otherwise flat distribution between 0.05 and 0.6. Only six stars have higher inferred eccentricities above 0.6. Lastly, the distribution of the mass functions is highly peculiar, exhibiting strong trimodality. We interpret these modes as the presence of three distinct groups of companions, with typical inferred masses of $\sim0.6$, $\sim0.2$, and $\sim0.067\,\mathrm{M}_\odot$, which can be associated with populations of white dwarf and main sequence, red dwarf, and brown dwarf companions, respectively.


title: Phantom-like dark energy from quantum gravity

abstract: We analyse the emergent cosmological dynamics corresponding to the mean field hydrodynamics of quantum gravity condensates, in the tensorial group field theory formalism. We focus in particular on the cosmological effects of fundamental interactions, and on the contributions from different quantum geometric modes. The general consequence of such interactions is to produce an accelerated expansion of the universe, which can happen both at early times, after the quantum bounce predicted by the model, and at late times. Our main result is that, while this fails to give a compelling inflationary scenario in the early universe, it produces naturally a phantom-like dark energy dynamics at late times, compatible with cosmological observations. By recasting the emergent cosmological dynamics in terms of an effective equation of state, we show that it can generically cross the phantom divide, purely out of quantum gravity effects without the need of any additional phantom matter. Furthermore, we show that the dynamics avoids any Big Rip singularity, approaching instead a de Sitter universe asymptotically.


title: Improving Deep Learning Performance for Predicting Large-Scale Porous-Media Flow through Feature Coarsening

abstract: Physics-based simulation for fluid flow in porous media is a computational technology to predict the temporal-spatial evolution of state variables (e.g. pressure) in porous media, and usually requires high computational expense due to its nonlinearity and the scale of the study domain. This letter describes a deep learning (DL) workflow to predict the pressure evolution as fluid flows in large-scale 3D heterogeneous porous media. In particular, we apply feature coarsening technique to extract the most representative information and perform the training and prediction of DL at the coarse scale, and further recover the resolution at the fine scale by 2D piecewise cubic interpolation. We validate the DL approach that is trained from physics-based simulation data to predict pressure field in a field-scale 3D geologic CO_2 storage reservoir. We evaluate the impact of feature coarsening on DL performance, and observe that the feature coarsening can not only decrease training time by >74% and reduce memory consumption by >75%, but also maintains temporal error <1.5%. Besides, the DL workflow provides predictive efficiency with ~1400 times speedup compared to physics-based simulation.

categories: physics.flu-dyn cs.AI cs.LG physics.comp-ph


title: Parameterized Complexity of Feature Selection for Categorical Data Clustering

abstract: We develop new algorithmic methods with provable guarantees for feature selection in regard to categorical data clustering. While feature selection is one of the most common approaches to reduce dimensionality in practice, most of the known feature selection methods are heuristics. We study the following mathematical model. We assume that there are some inadvertent (or undesirable) features of the input data that unnecessarily increase the cost of clustering. Consequently, we want to select a subset of the original features from the data such that there is a small-cost clustering on the selected features. More precisely, for given integers $\ell$ (the number of irrelevant features) and $k$ (the number of clusters), budget $B$, and a set of $n$ categorical data points (represented by $m$-dimensional vectors whose elements belong to a finite set of values $\Sigma$), we want to select $m-\ell$ relevant features such that the cost of any optimal $k$-clustering on these features does not exceed $B$. Here the cost of a cluster is the sum of Hamming distances ($\ell_0$-distances) between the selected features of the elements of the cluster and its center. The clustering cost is the total sum of the costs of the clusters. We use the framework of parameterized complexity to identify how the complexity of the problem depends on parameters $k$, $B$, and $|\Sigma|$. Our main result is an algorithm that solves the Feature Selection problem in time $f(k,B,|\Sigma|)\cdot m^{g(k,|\Sigma|)}\cdot n^2$ for some functions $f$ and $g$. In other words, the problem is fixed-parameter tractable parameterized by $B$ when $|\Sigma|$ and $k$ are constants. Our algorithm is based on a solution to a more general problem, Constrained Clustering with Outliers. We also complement our algorithmic findings with complexity lower bounds.


title: Critical polyharmonic systems and optimal partitions

abstract: We establish the existence of solutions to a weakly-coupled competitive system of polyharmonic equations in R^N which are invariant under a group of conformal diffeomorphisms, and study the behavior of least energy solutions as the coupling parameters tend to $-\infty$. We show that the supports of the limiting profiles of their components are pairwise disjoint smooth domains and solve a nonlinear optimal partition problem of R^N. We give a detailed description of the shape of these domains.


title: A clique-free pseudorandom subgraph of the pseudo polarity graph

abstract: We provide a new family of $K_k$-free pseudorandom graphs with edge density $\Theta(n^{-1/(k-1)})$, matching a recent construction due to Bishnoi, Ihringer and Pepe. As in the former result, the idea is to use large subgraphs of polarity graphs, which are defined over a finite field $\mathbb{F}_q$. While their construction required $q$ to be odd, we will give the first construction with $q$ even.


title: RAIL: A modular framework for Reinforcement-learning-based Adversarial Imitation Learning

abstract: While Adversarial Imitation Learning (AIL) algorithms have recently led to state-of-the-art results on various imitation learning benchmarks, it is unclear as to what impact various design decisions have on performance. To this end, we present here an organizing, modular framework called Reinforcement-learning-based Adversarial Imitation Learning (RAIL) that encompasses and generalizes a popular subclass of existing AIL approaches. Using the view espoused by RAIL, we create two new IfO (Imitation from Observation) algorithms, which we term SAIfO: SAC-based Adversarial Imitation from Observation and SILEM (Skeletal Feature Compensation for Imitation Learning with Embodiment Mismatch). We go into greater depth about SILEM in a separate technical report. In this paper, we focus on SAIfO, evaluating it on a suite of locomotion tasks from OpenAI Gym, and showing that it outperforms contemporaneous RAIL algorithms that perform IfO.


title: Exploring Exciton and Polaron Dominated Photo-physical Phenomena in Ruddlesden-Popper Phases of Ban+1ZrnS3n+1 (n=[1-3]) from Many Body Perturbation Theory

abstract: Ruddlesden-Popper (RP) phases of Ba$_{\textrm{n+1}}$Zr$_{\textrm{n}}$S$_{\textrm{3n+1}}$ (n=[1-3]) are evolved as new promising class of chalcogenide perovskites in the field of optoelectronics, especially in solar cells. However, detailed studies regarding its optical, excitonic, polaronic and transport properties are hitherto unknown. Here, we have explored the excitonic and polaronic effect in RP phases of Ba$_{\textrm{n+1}}$Zr$_{\textrm{n}}$S$_{\textrm{3n+1}}$ (n=[1-3]) using several first-principles based state-of-the-art methodologies under the framework of Many Body Perturbation Theory. Unlike it's bulk counterpart, the optical and excitonic anisotropy are observed in Ba$_{\textrm{n+1}}$Zr$_{\textrm{n}}$S$_{\textrm{3n+1}}$ (n=[1-3]) RP phases. From Wannier-Mott approach, we show that in the RP phases of this class of chalcogenide perovskites, capturing the ionic contribution to the dielectric constant is important. We report significant ionic contribution and relatively smaller electron-phonon coupling constant for Ba$_{\textrm{n+1}}$Zr$_\textrm{n}$S$_{\textrm{3n+1}}$ in comparison to the bulk BaZrS$_3$. The exciton binding energy is found to be dependent on the presence of large electron-phonon coupling. The charge carrier mobility is maximum in Ba$_2$ZrS$_4$, computed employing deformation potential of the same. As per our analysis, the optical phonon modes are observed to dominate the acoustic phonon modes, leading to decrease in polaron mobility on increasing n in Ba$_{\textrm{n+1}}$Zr$_{\textrm{n}}$S$_{\textrm{3n+1}}$ (n=[1-3]).


title: Design of Ga2O3 Modulation Doped Field Effect Transistors

abstract: The design of beta-Ga2O3-based modulation doped field effect transistors (MODFETs) is discussed with a focus on the role of self-heating and resultant modification of the electron mobility profile. Temperature- and doping-dependent model of the electron mobility as well as temperature- and orientation-dependent approximations of the thermal conductivity of beta-Ga2O3 are presented. A decrease in drain current was attributed to a position-dependent mobility reduction caused by a coupled self-heating mechanism and a high electric-field mobility reduction mechanism. A simple thermal management solution is presented where heat is extracted through the source contact metal. Additionally, it is shown that an undesired secondary channel can form at the modulation doped layer that is distinguished by an inflection in the transconductance curve.


title: Multi-layered planar firefighting

abstract: Consider a model of fire spreading through a graph; initially some vertices are burning, and at every given time-step fire spreads from burning vertices to their neighbours. The firefighter problem is a solitaire game in which a player is allowed, at every time-step, to protect some non-burning vertices (by effectively deleting them) in order to contain the fire growth. How many vertices per turn, on average, must be protected in order to stop the fire from spreading infinitely? Here we consider the problem on $\mathbb{Z}^2\times [h]$ for both nearest neighbour adjacency and strong adjacency. We determine the critical protection rates for these graphs to be $1.5h$ and $3h$, respectively. This establishes the fact that using an optimal two-dimensional strategy for all layers in parallel is asymptotically optimal.


title: PCA Event-Based Optical Flow for Visual Odometry

abstract: With the advent of neuromorphic vision sensors such as event-based cameras, a paradigm shift is required for most computer vision algorithms. Among these algorithms, optical flow estimation is a prime candidate for this process considering that it is linked to a neuromorphic vision approach. Usage of optical flow is widespread in robotics applications due to its richness and accuracy. We present a Principal Component Analysis (PCA) approach to the problem of event-based optical flow estimation. In this approach, we examine different regularization methods which efficiently enhance the estimation of the optical flow. We show that the best variant of our proposed method, dedicated to the real-time context of visual odometry, is about two times faster compared to state-of-the-art implementations while significantly improves optical flow accuracy.


title: e-ViL: A Dataset and Benchmark for Natural Language Explanations in Vision-Language Tasks

abstract: Recently, there has been an increasing number of efforts to introduce models capable of generating natural language explanations (NLEs) for their predictions on vision-language (VL) tasks. Such models are appealing, because they can provide human-friendly and comprehensive explanations. However, there is a lack of comparison between existing methods, which is due to a lack of re-usable evaluation frameworks and a scarcity of datasets. In this work, we introduce e-ViL and e-SNLI-VE. e-ViL is a benchmark for explainable vision-language tasks that establishes a unified evaluation framework and provides the first comprehensive comparison of existing approaches that generate NLEs for VL tasks. It spans four models and three datasets and both automatic metrics and human evaluation are used to assess model-generated explanations. e-SNLI-VE is currently the largest existing VL dataset with NLEs (over 430k instances). We also propose a new model that combines UNITER, which learns joint embeddings of images and text, and GPT-2, a pre-trained language model that is well-suited for text generation. It surpasses the previous state of the art by a large margin across all datasets. Code and data are available here: https://github.com/maximek3/e-ViL.


title: Pretty good state transfer in discrete-time quantum walks

abstract: We establish the theory for pretty good state transfer in discrete-time quantum walks. For a class of walks, we show that pretty good state transfer is characterized by the spectrum of certain Hermitian adjacency matrix of the graph; more specifically, the vertices involved in pretty good state transfer must be $m$-strongly cospectral relative to this matrix, and the arccosines of its eigenvalues must satisfy some number theoretic conditions. Using normalized adjacency matrices, cyclic covers, and the theory on linear relations between geodetic angles, we construct several infinite families of walks that exhibits this phenomenon.


title: Quenched Magneto-association of Ultracold Feshbach Molecules

abstract: We study enhanced magneto-association of atoms into weakly-bound molecules near a Feshbach resonance using a quench preparatory stage. In anticipation of experiments with NASA's Cold Atom Laboratory aboard the International Space Station, we assume as a baseline a dual-species ($^{87}$Rb and $^{41}$K) gas in a parameter regime enabled by a microgravity environment. This includes subnanokelvin temperatures and dual-species gases at densities as low as 10$^8$/cm$^3$. Our studies indicate that, in such a regime, traditional magneto-association schemes are inefficient due to the weak coupling between atomic and molecular states at low-densities, thus requiring extremely long magnetic field sweeps. To address this issue we propose a modified scheme where atoms are quenched to unitarity before proceeding with magneto-association. This substantially improves molecular formation, allowing for up to $80\%$ efficiency, and within time-scales much shorter than those associated to atomic and molecular losses. We show that this scheme also applies at higher densities, therefore proving to be of interest to ground-based experiments as well.


title: Hilbert C*-modules related to discrete metric spaces

abstract: It is shown that the metric on the union of the sets $X$ and $Y$ defines a Hilbert $C^*$-module over the uniform Roe algebra of the space $X$ with a fixed metric $d_X$. A number of examples of such Hilbert $C^*$-modules are described.


title: Eight-Dimensional Hermitian Lie Groups Conformally Foliated by Minimal $\textbf{SU}(2) \times \textbf{SU}(2)$ Leaves

abstract: We investigate the $8$-dimensional Riemannian Lie groups $G^8$, carrying a left-invariant, conformal and minimal foliation $\mathcal{F}$, with leaves diffeomorphic to the subgroup $\textbf{SU}(2) \times \textbf{SU}(2)$ of $G^8$. Such groups have been classified by E. Ghandour, S. Gudmundsson and T. Turner in their recent work. They show that these $8$-dimensional Lie groups form a real $13$-dimensional family. For each left-invariant Hermitian structure $J_\mathcal{V}$ on $\textbf{SU}(2) \times \textbf{SU}(2)$, we extend this to an almost Hermitian structures $J$ on $G$ adapted to the foliation $\mathcal{F}$ i.e. respecting the leaf structure on $G$ induced by $\mathcal{F}$. We then classify those $8$-dimensional Lie groups $G$ for which the almost Hermitian structures $J$ are integrable ($\mathcal{W}_3\oplus\mathcal{W}_4$), semi-K\"ahler ($\mathcal{W}_4$), locally conformal K\"ahler ($\mathcal{W}_3$) or even K\"ahler ($\mathcal{K}$). It turns out that for each $J_\mathcal{V}$ we obtain a $9$-dimensional family of Lie groups $G$ for which $J$ is integrable. In the case of $J$ being semi-K\"ahler, we yield a $3$-dimensional family of such groups. We then show that in the cases of $J$ being K\"ahler or locally conformal K\"ahler there are no solutions i.e. such $8$-dimensional Lie groups do not exist.


title: The Shape and Scatter of The Galaxy Main Sequence for Massive Galaxies at Cosmic Noon

abstract: We present the main sequence for all galaxies and star-forming galaxies for a sample of 28,469 massive ($M_\star \ge 10^{11}$M$_\odot$) galaxies at cosmic noon ($1.5 < z < 3.0$), uniformly selected from a 17.5 deg$^2$ area (0.33 Gpc$^3$ comoving volume at these redshifts). Our large sample allows for a novel approach to investigating the galaxy main sequence that has not been accessible to previous studies. We measure the main sequence in small mass bins in the SFR-M$_{\star}$ plane without assuming a functional form for the main sequence. With a large sample of galaxies in each mass bin, we isolate star-forming galaxies by locating the transition between the star-forming and green valley populations in the SFR-M$_{\star}$ plane. This approach eliminates the need for arbitrarily defined fixed cutoffs when isolating the star-forming galaxy population, which often biases measurements of the scatter around the star-forming galaxy main sequence. We find that the main sequence for all galaxies becomes increasingly flat towards present day at the high-mass end, while the star-forming galaxy main sequence does not. We attribute this difference to the increasing fraction of the collective green valley and quiescent galaxy population from $z=3.0$ to $z=1.5$. Additionally, we measure the total scatter around the star-forming galaxy main sequence and find that it is $\sim0.5-1.0$ dex with little evolution as a function of mass or redshift. We discuss the implications that these results have for pinpointing the physical processes driving massive galaxy evolution.


title: Aerospace Sliding Mode Control Toolbox: Relative Degree Approach with Resource Prospector Lander and Launch Vehicle Case Studies

abstract: Conventional Sliding mode control and observation techniques are widely used in aerospace applications, including aircrafts, UAVs, launch vehicles, missile interceptors, and hypersonic missiles. This work is dedicated to creating a MATLAB-based sliding mode controller design and simulation software toolbox that aims to support aerospace vehicle applications. An architecture of the aerospace sliding mode control toolbox (SMC Aero) using the relative degree approach is proposed. The SMC Aero libraries include 1st order sliding mode control (1-SMC), second order sliding mode control (2-SMC), higher order sliding mode (HOSM) control (either fixed gain or adaptive), as well as higher order sliding mode differentiators. The efficacy of the SMC Aero toolbox is confirmed in two case studies: controlling and simulating resource prospector lander (RPL) soft landing on the Moon and launch vehicle (LV) attitude control in ascent mode.


title: Fundamental properties of stars from Kepler and Gaia data: parallax offset and revised scaling relations

abstract: Data from the space missions {\it Gaia}, {\it Kepler}, {\it CoRoT} and {\it TESS}, make it possible to compare parallax and asteroseismic distances. From the ratio of two densities $\rho_{\rm sca}/\rho_{\pi}$, we obtain an empirical relation $f_{\Delta \nu}$ between the asteroseismic large frequency separation and mean density, which is important for more accurate stellar mass and radius. This expression for main-sequence (MS) and subgiant stars with $K$-band magnitude is very close to the one obtained from interior MS models by Y{\i}ld{\i}z, \c{C}elik \& Kayhan. We also discuss the effects of effective temperature and parallax offset as the source of the difference between asteroseismic and non-asteroseismic stellar parameters. We have obtained our best results for about 3500 red giants (RGs) by using 2MASS data and model values for $f_{\Delta \nu}$ from Sharma et al. Another unknown scaling parameter $f_{\nu_{\rm max}}$ comes from the relationship between the frequency of maximum amplitude and gravity. Using different combinations of $f_{\nu_{\rm max}}$ and the parallax offset, we find that the parallax offset is generally a function of distance. The situation where this slope disappears is accepted as the most reasonable solution. By a very careful comparison of asteroseismic and non-asteroseismic parameters, we obtain very precise values for the parallax offset and $f_{\nu_{\rm max}}$ for RGs of $-0.0463\pm0.0007$ mas and $1.003\pm0.001$, respectively. Our results for mass and radius are in perfect agreement with those of APOKASC-2: the mass and radius of $\sim$3500 RGs are in the range of about 0.8-1.8 M$_{\odot}$ (96 per cent) and 3.8-38 R$_{\odot}$, respectively.


title: From Majorana fermions to topological quantum computation in semiconductor/superconductor heterostructures

abstract: We present a pedagogical review of topological superconductivity and its consequences in spin-orbit coupled semiconductor/superconductor heterostructures. We start by reviewing the historical origins of the notions of Dirac and Majorana fermions in particle physics and discuss how lower dimensional versions of these emerge in one dimensional superconductors. Ultimately, we focus on Majorana zero-modes, which emerge at defects in the Majorana equation. We then review the definition of the topological invariant, and how it allows the prediction of such Majorana modes from the bulk bandstructure of realistic superconductors, which do not have Lorentz invariance. Finally, we end with a discussion of protocols for how to detect such Majorana modes and use them for topological quantum computation.


title: Electronic structure of LaNiO$_{2}$ and CaCuO$_{2}$ from self consistent vertex corrected GW approach

abstract: Electronic structure of one of the nickelates (LaNiO$_{2}$) and one of the cuprates (CaCuO$_{2}$) is studied with three self consistent GW-based methods: scGW, sc(GW+Vertex), and quasiparticle self-consistent GW. Low energy features obtained in our study are in many respects similar to the features reported in previous DFT+DMFT studies. Consistent with the DFT+DMFT conclusion, we find LaNiO$_{2}$ as more correlated than CaCuO$_{2}$. However, correlation effects included in our study change the DFT Fermi surface near the $\Gamma$ point differently than it was reported in the DMFT studies. Features which are a few electron-volts away from the Fermi level are broader in our calculations than in the DFT+DMFT which reflects the differences between the DFT and the GW methods. Our results are in qualitative agreement with previous G0W0 results, but the self-consistency brings in the quantitative differences. Generally, correlation effects are found to be sufficiently weak in both materials which allows one to use totally ab-initio diagrammatic approaches like sc(GW+Vertex) and to avoid the methods with adjustable parameters (DFT+U or DFT+DMFT). However, the possibility of some strong correlations at low energy which cannot be captured by perturbative methods cannot be completely excluded. For instance, differences in the Fermi surface should be resolved: experimental studies are necessary.


title: An undecidability result for the asymptotic theory of $p$-adic fields

abstract: Fix a prime $p$. We prove that the set of sentences true in all but finitely many finite extensions of $\mathbb{Q}_p$ is undecidable in the language of valued fields with a cross-section. The proof goes via reduction to characteristic $p$, adapting Pheidas' proof of the undecidability of $\mathbb{F}_p(\!(t)\!)$ with a predicate for powers of $t$. This answers a variant of a question of Derakhshan-Macintyre.


title: Comparative study of electric currents and energetic particle fluxes in a solar flare and Earth magnetospheric substorm

abstract: Magnetic field-line reconnection is a universal plasma process responsible for the conversion of magnetic field energy to the plasma heating and charged particle acceleration. Solar flares and Earth's magnetospheric substorms are two most investigated dynamical systems where magnetic reconnection is believed to be responsible for global magnetic field reconfiguration and energization of plasma populations. Such a reconfiguration includes formation of a long-living current systems connecting the primary energy release region and cold dense conductive plasma of photosphere/ionosphere. In both flares and substorms the evolution of this current system correlates with formation and dynamics of energetic particle fluxes. Our study is focused on this similarity between flares and substorms. Using a wide range of datasets available for flare and substorm investigations, we compare qualitatively dynamics of currents and energetic particle fluxes for one flare and one substorm. We showed that there is a clear correlation between energetic particle bursts (associated with energy release due to magnetic reconnection) and magnetic field reconfiguration/formation of current system. We then discuss how datasets of in-situ measurements in the magnetospheric substorm can help in interpretation of datasets gathered for the solar flare.


title: Separations for Estimating Large Frequency Moments on Data Streams

abstract: We study the classical problem of moment estimation of an underlying vector whose $n$ coordinates are implicitly defined through a series of updates in a data stream. We show that if the updates to the vector arrive in the random-order insertion-only model, then there exist space efficient algorithms with improved dependencies on the approximation parameter $\varepsilon$. In particular, for any real $p > 2$, we first obtain an algorithm for $F_p$ moment estimation using $\tilde{\mathcal{O}}\left(\frac{1}{\varepsilon^{4/p}}\cdot n^{1-2/p}\right)$ bits of memory. Our techniques also give algorithms for $F_p$ moment estimation with $p>2$ on arbitrary order insertion-only and turnstile streams, using $\tilde{\mathcal{O}}\left(\frac{1}{\varepsilon^{4/p}}\cdot n^{1-2/p}\right)$ bits of space and two passes, which is the first optimal multi-pass $F_p$ estimation algorithm up to $\log n$ factors. Finally, we give an improved lower bound of $\Omega\left(\frac{1}{\varepsilon^2}\cdot n^{1-2/p}\right)$ for one-pass insertion-only streams. Our results separate the complexity of this problem both between random and non-random orders, as well as one-pass and multi-pass streams.


title: Study of List-Based OMP and an Enhanced Model for Direction Finding with Non-Uniform Arrays

abstract: This paper proposes an enhanced coarray transformation model (EDCTM) and a mixed greedy maximum likelihood algorithm called List-Based Maximum Likelihood Orthogonal Matching Pursuit (LBML-OMP) for direction-of-arrival estimation with non-uniform linear arrays (NLAs). The proposed EDCTM approach obtains improved estimates when Khatri-Rao product-based models are used to generate difference coarrays under the assumption of uncorrelated sources. In the proposed LBML-OMP technique, for each iteration a set of candidates is generated based on the correlation-maximization between the dictionary and the residue vector. LBML-OMP then chooses the best candidate based on a reduced-complexity asymptotic maximum likelihood decision rule. Simulations show the improved results of EDCTM over existing approaches and that LBML-OMP outperforms existing sparse recovery algorithms as well as Spatial Smoothing Multiple Signal Classification with NLAs.


title: NLP-IIS@UT at SemEval-2021 Task 4: Machine Reading Comprehension using the Long Document Transformer

abstract: This paper presents a technical report of our submission to the 4th task of SemEval-2021, titled: Reading Comprehension of Abstract Meaning. In this task, we want to predict the correct answer based on a question given a context. Usually, contexts are very lengthy and require a large receptive field from the model. Thus, common contextualized language models like BERT miss fine representation and performance due to the limited capacity of the input tokens. To tackle this problem, we used the Longformer model to better process the sequences. Furthermore, we utilized the method proposed in the Longformer benchmark on Wikihop dataset which improved the accuracy on our task data from 23.01% and 22.95% achieved by the baselines for subtask 1 and 2, respectively, to 70.30% and 64.38%.


title: Asteroseismic analysis of 15 solar-like oscillating evolved stars

abstract: Asteroseismology using space-based telescopes is vital to our understanding of stellar structure and evolution. {\textit{CoRoT}}, {\textit{Kepler}}, and {\textit{TESS}} space telescopes have detected large numbers of solar-like oscillating evolved stars. %(kaynaklar, Kallinger, vb ). Solar-like oscillation frequencies have an important role in the determination of fundamental stellar parameters; in the literature, the relations between the two is established by the so-called scaling relations. % These scaling relations are in better agreement with mass and radius of main-sequence stars with large separation ($\Delta\nu$) and frequency of maximum amplitude (${\nu_{\rm max}}$). In this study, we analyse data obtained from the observation of 15 evolved solar-like oscillating stars using the {\textit{Kepler}} and ground-based %\textit{CoRoT} telescopes. The main purpose of the study is to determine very precisely the fundamental parameters of evolved stars by constructing interior models using asteroseismic parameters. We also fit the reference frequencies of models to the observational reference frequencies caused by the He {\scriptsize II} ionization zone. The 15 evolved stars are found to have masses and radii within ranges of $0.79$-$1.47$ $M_{\rm sun}$ and $1.60$-$3.15$ $R_{\rm sun}$, respectively. Their model ages range from $2.19$ to $12.75$ Gyr. %Using a number of methods based on conventional and modified scaling relations and evolutionary models constructed with using the {\small {MESA}} code, we determine stellar radii, masses and ages. It is revealed that fitting reference frequencies typically increase the accuracy of asteroseismic radius, mass, and age. The typical uncertainties of mass and radius are $\sim$ 3-6 and $\sim$ 1-2 per cent, respectively. Accordingly, the differences between the model and literature ages are generally only a few Gyr.


title: Exact WKB methods in $SU(2)$ $N_f=1$

abstract: We study in detail the Schr\"{o}dinger equation corresponding to the four dimensional $SU(2)$ $\mathcal{N}=2$ SQCD theory with one flavour. We calculate the Voros symbols, or quantum periods, in four different ways: Borel summation of the WKB series, direct computation of Wronskians of exponentially decaying solutions, the TBA equations of Gaiotto-Moore-Neitzke/Gaiotto, and instanton counting. We make computations by all of these methods, finding good agreement. We also study the exact quantization condition for the spectrum, and we compute the Fredholm determinant of the inverse of the Schr\"odinger operator using the TS/ST correspondence and Zamolodchikov's TBA, again finding good agreement. In addition, we explore two aspects of the relationship between singularities of the Borel transformed WKB series and BPS states: BPS states of the 4d theory are related to singularities in the Borel transformed WKB series for the quantum periods, and BPS states of a coupled 2d+4d system are related to singularities in the Borel transformed WKB series for local solutions of the Schr\"odinger equation.


title: An Exhaustive Study of Using Commercial LTE Network for UAV Communication in Rural Areas

abstract: Unmanned aerial vehicles (UAVs) have been increasingly used in a wide area of military and civilian applications such as data collection and monitoring. A reliable network for command and control, communication, and data transfer is crucial, not only for mission purposes but also for safety concerns. The already deployed cellular networks are appropriate candidates for UAV communication given the solid security and wide coverage of these networks. However, the reliability of such networks needs a comprehensive investigation. In this paper, we use the long-term evolution (LTE) network as the infrastructure for drone communication and data transfer, in a rural area. We study the communication characteristics of an LTE-connected drone during low-altitude flights, for different altitudes and UAV speeds. We show that, in such areas, the higher elevation benefits from a better signal quality and experiences a fewer number of handover processes. Higher speed flights also slightly degrade the communication performance.


title: Inhomogeneous magnetic multiband superconductors

abstract: We consider a problem of superconductivity coexistence with the spin-density-wave order in disordered multiband metals. It is assumed that random variations of the disorder potential on short length scales render the interactions between electrons to develop spatial correlations. As a consequence, both superconducting and magnetic order parameters become spatially inhomogeneous and are described by the universal phenomenological quantities, whereas all the microscopic details are encoded in the correlation function of the coupling strength fluctuations. We consider a minimal model with two nested two-dimensional Fermi surfaces and disorder potentials which include both intra- and inter-band scattering. The model is analyzed using the quasiclassical approach to show that short-scale pairing-potential disorder leads to a broadening of the coexistence region.


title: Entropy transfer from a quantum particle to a classical coherent light field

abstract: In the field of light-matter interactions, it is often assumed that a classical light field that interacts with a quantum particle remains almost unchanged and thus contains nearly no information about the manipulated particles. To investigate the validity of this assumption, we develop and theoretically analyze a simple Gedankenexperiment which involves the interaction of a coherent state with a quantum particle in an optical cavity. We quantify the resulting alteration of the light field by measuring the fidelity of its initial and equilibrium states. Using Bayesian inference, we demonstrate the information transfer through photon measurements. In addition, we employ the concepts of quantum entropy and mutual information to quantify the entropy transfer from the particle to the light field. In the weak coupling limit, we validate the usually assumed negligible alteration of the light field and entropy transfer. In the strong coupling limit, however, we observe that the information of the initial particle state can be fully encoded in the light field, even for large photon numbers. Nevertheless, we show that spontaneous emission is a sufficient mechanism for removing the entropy initially stored in the particle. Our analysis provides a deeper understanding of the entropy exchange between quantum matter and classical light.


title: MetaKernel: Learning Variational Random Features with Limited Labels

abstract: Few-shot learning deals with the fundamental and challenging problem of learning from a few annotated samples, while being able to generalize well on new tasks. The crux of few-shot learning is to extract prior knowledge from related tasks to enable fast adaptation to a new task with a limited amount of data. In this paper, we propose meta-learning kernels with random Fourier features for few-shot learning, we call MetaKernel. Specifically, we propose learning variational random features in a data-driven manner to obtain task-specific kernels by leveraging the shared knowledge provided by related tasks in a meta-learning setting. We treat the random feature basis as the latent variable, which is estimated by variational inference. The shared knowledge from related tasks is incorporated into a context inference of the posterior, which we achieve via a long-short term memory module. To establish more expressive kernels, we deploy conditional normalizing flows based on coupling layers to achieve a richer posterior distribution over random Fourier bases. The resultant kernels are more informative and discriminative, which further improves the few-shot learning. To evaluate our method, we conduct extensive experiments on both few-shot image classification and regression tasks. A thorough ablation study demonstrates that the effectiveness of each introduced component in our method. The benchmark results on fourteen datasets demonstrate MetaKernel consistently delivers at least comparable and often better performance than state-of-the-art alternatives.


title: Construction of Sparse Suffix Trees and LCE Indexes in Optimal Time and Space

abstract: The notions of synchronizing and partitioning sets are recently introduced variants of locally consistent parsings with great potential in problem-solving. In this paper we propose a deterministic algorithm that constructs for a given readonly string of length $n$ over the alphabet $\{0,1,\ldots,n^{\mathcal{O}(1)}\}$ a variant of $\tau$-partitioning set with size $\mathcal{O}(b)$ and $\tau = \frac{n}{b}$ using $\mathcal{O}(b)$ space and $\mathcal{O}(\frac{1}{\epsilon}n)$ time provided $b \ge n^\epsilon$, for $\epsilon > 0$. As a corollary, for $b \ge n^\epsilon$ and constant $\epsilon > 0$, we obtain linear construction algorithms with $\mathcal{O}(b)$ space on top of the string for two major small-space indexes: a sparse suffix tree, which is a compacted trie built on $b$ chosen suffixes of the string, and a longest common extension (LCE) index, which occupies $\mathcal{O}(b)$ space and allows us to compute the longest common prefix for any pair of substrings in $\mathcal{O}(n/b)$ time. For both, the $\mathcal{O}(b)$ construction storage is asymptotically optimal since the tree itself takes $\mathcal{O}(b)$ space and any LCE index with $\mathcal{O}(n/b)$ query time must occupy at least $\mathcal{O}(b)$ space by a known trade-off (at least for $b \ge \Omega(n / \log n)$). In case of arbitrary $b \ge \Omega(\log^2 n)$, we present construction algorithms for the partitioning set, sparse suffix tree, and LCE index with $\mathcal{O}(n\log_b n)$ running time and $\mathcal{O}(b)$ space, thus also improving the state of the art.


title: Non-isogenous elliptic curves and hyperelliptic jacobians

abstract: Let $K$ be a field of characteristic different from $2$, $\bar{K}$ its algebraic closure. Let $n \ge 3$ be an odd prime such that $2$ is a primitive root modulo $n$. Let $f(x)$ and $h(x)$ be degree $n$ polynomials with coefficients in $K$ and without repeated roots. Let us consider genus $(n-1)/2$ hyperelliptic curves $C_f: y^2=f(x)$ and $C_h: y^2=h(x)$, and their jacobians $J(C_f)$ and $J(C_h)$, which are $(n-1)/2$-dimensional abelian varieties defined over $K$. Suppose that one of the polynomials is irreducible and the other reducible. We prove that if $J(C_f)$ and $J(C_h)$ are isogenous over $\bar{K}$ then both jacobians are abelian varieties of CM type with multiplication by the field of $n$th roots of $1$. We also discuss the case when both polynomials are irreducible while their splitting fields are linearly disjoint. In particular, we prove that if $char(K)=0$, the Galois group of one of the polynomials is doubly transitive and the Galois group of the other is a cyclic group of order $n$, then $J(C_f)$ and $J(C_h)$ are not isogenous over $\bar{K}$.


title: Salvage of Too Slow Gravitinos

abstract: Gravitinos can inherit a non-relativistic dispersion relation while propagating in a background breaking both supersymmetry and Lorentz symmetry spontaneously. This is because the longitudinal mode velocity is controlled by the sound speed in the background. It was pointed out recently by Kolb, Long and McDonough that the production of gravitinos might diverge when this sound speed vanishes. We argue that in the framework of cosmological models with linearly spontaneously broken realised supersymmetry, where the physical fermions are combinations of the vacuum goldstino and the inflatino, the gravitino longitudinal mode has a relativistic dispersion relation and therefore avoids the catastrophic production. We illustrate this in some explicit examples.


title: A complete analysis of spin coherence in the full-loop Stern Gerlach interferometer using non-squeezed and squeezed coherent states of the Quantum harmonic oscillator

abstract: Over the years, quite a few proposals have been put forward by various groups to exploit the Stern-Gerlach effect to create stable macroscopic spatial superpositions between micron-sized neutral test masses over appreciably long time scales. One such proposal put forward by Bose et al. and co-workers in 2017 uses this idea to show that two masses cannot be gravitationally entangled if not for the presence of a quantum coherent mediator. A key aspect of this approach involves the measure of the visibility of the SG-interferometer, a quantity that provides an estimate of the degree of spin coherence that is conserved over the total interferometric time after the wave-packets are combined in both, position and momentum space. A successful implementation of this idea however requires the knowledge of several experimental parameters. To this end, we present a rigorous mathematical analysis for the visibility in a general SG interferometer for non-squeezed and squeezed thermal coherent states of the Quantum harmonic oscillator. Additionally, we derive constraints on the temperature of the initially prepared wave-packet of the test mass required for both, the non-squeezed and squeezed coherent states. We show that for wave-packet split sizes of the order of microns, masses of the order of 1.0e-14 - 1.0e-15 kg can be used to realize such a proposal for time intervals as high as 0.5 seconds. Our results show that for the squeezed case, the temperatures required can be scaled up by several orders of magnitude (as opposed to the non-squeezed case) if one considers a squeezing in the momentum space of the initially prepared wave-packet.


title: Theoretical study of reactions in the three body $e^-e^+\bar{p}$ system and antihydrogen formation cross sections

abstract: We apply a new highly efficient method of solving Faddeev-Merkuriev equations to multi-channel scattering calculations of the antihydrogen formation cross section for antiproton scattering off the ground and excited states of the positronium. Our results demonstrate good agreement with the known data on total and partial cross sections for all the reaction channels. Using moderate computational resources we have achieved a supreme energy resolution.


title: Full-Dimensional Schr\"odinger Wavefunction Calculations using Tensors and Quantum Computers: the Cartesian component-separated approach

abstract: Traditional methods in quantum chemistry rely on Hartree-Fock-based Slater-determinant (SD) representations, whose underlying zeroth-order picture assumes separability by particle. Here, we explore a radically different approach, based on separability by Cartesian component, rather than by particle [J. Chem. Phys., 2018, 148, 104101]. The approach appears to be very well suited for 3D grid-based methods in quantum chemistry, and thereby also for so-called "first-quantized" quantum computing. We first present an overview of the approach as implemented on classical computers, including numerical results that justify performance claims. In particular, we perform numerical calculations with four explicit electrons that are equivalent to full-CI matrix diagonalization with nearly $10^{15}$ SDs. We then present an implementation for quantum computers, for which both the number of qubits, and the number of quantum gates, may be substantially reduced in comparison with other quantum circuitry that has been envisioned for implementing first-quantized "quantum computational chemistry" (QCC).


title: Dynamic Game Theoretic Neural Optimizer

abstract: The connection between training deep neural networks (DNNs) and optimal control theory (OCT) has attracted considerable attention as a principled tool of algorithmic design. Despite few attempts being made, they have been limited to architectures where the layer propagation resembles a Markovian dynamical system. This casts doubts on their flexibility to modern networks that heavily rely on non-Markovian dependencies between layers (e.g. skip connections in residual networks). In this work, we propose a novel dynamic game perspective by viewing each layer as a player in a dynamic game characterized by the DNN itself. Through this lens, different classes of optimizers can be seen as matching different types of Nash equilibria, depending on the implicit information structure of each (p)layer. The resulting method, called Dynamic Game Theoretic Neural Optimizer (DGNOpt), not only generalizes OCT-inspired optimizers to richer network class; it also motivates a new training principle by solving a multi-player cooperative game. DGNOpt shows convergence improvements over existing methods on image classification datasets with residual and inception networks. Our work marries strengths from both OCT and game theory, paving ways to new algorithmic opportunities from robust optimal control and bandit-based optimization.


title: Kudu: An Efficient and Scalable Distributed Graph Pattern Mining Engine

abstract: This paper proposes Kudu, a distributed execution engine with a well-defined abstraction that can be integrated with existing single-machine graph pattern mining (GPM) systems to provide efficiency and scalability at the same time. The key novelty is the extendable embedding abstraction which can express pattern enumeration algorithms, allow fine-grained task scheduling, and enable low-cost GPM-specific data reuse to reduce communication cost. The effective BFSDFS hybrid exploration generates sufficient concurrent tasks for communication-computation overlapping with bounded memory consumption. Two scalable distributed GPM systems are implemented by porting Automine and GraphPi on Kudu. Our evaluation shows that Kudu based systems significantly outperform state-of-the-art distributed GPM systems with partitioned graphs by up to 75.5x (on average 19.0x), achieve similar or even better performance compared with the fastest distributed GPM systems with replicated graph, and scale to massive graphs with more than one hundred billion edges with a commodity cluster.


title: Distribution Matching for Heterogeneous Multi-Task Learning: a Large-scale Face Study

abstract: Multi-Task Learning has emerged as a methodology in which multiple tasks are jointly learned by a shared learning algorithm, such as a DNN. MTL is based on the assumption that the tasks under consideration are related; therefore it exploits shared knowledge for improving performance on each individual task. Tasks are generally considered to be homogeneous, i.e., to refer to the same type of problem. Moreover, MTL is usually based on ground truth annotations with full, or partial overlap across tasks. In this work, we deal with heterogeneous MTL, simultaneously addressing detection, classification & regression problems. We explore task-relatedness as a means for co-training, in a weakly-supervised way, tasks that contain little, or even non-overlapping annotations. Task-relatedness is introduced in MTL, either explicitly through prior expert knowledge, or through data-driven studies. We propose a novel distribution matching approach, in which knowledge exchange is enabled between tasks, via matching of their predictions' distributions. Based on this approach, we build FaceBehaviorNet, the first framework for large-scale face analysis, by jointly learning all facial behavior tasks. We develop case studies for: i) continuous affect estimation, action unit detection, basic emotion recognition; ii) attribute detection, face identification. We illustrate that co-training via task relatedness alleviates negative transfer. Since FaceBehaviorNet learns features that encapsulate all aspects of facial behavior, we conduct zero-/few-shot learning to perform tasks beyond the ones that it has been trained for, such as compound emotion recognition. By conducting a very large experimental study, utilizing 10 databases, we illustrate that our approach outperforms, by large margins, the state-of-the-art in all tasks and in all databases, even in these which have not been used in its training.


title: Enhancing Transformers with Gradient Boosted Decision Trees for NLI Fine-Tuning

abstract: Transfer learning has become the dominant paradigm for many natural language processing tasks. In addition to models being pretrained on large datasets, they can be further trained on intermediate (supervised) tasks that are similar to the target task. For small Natural Language Inference (NLI) datasets, language modelling is typically followed by pretraining on a large (labelled) NLI dataset before fine-tuning with each NLI subtask. In this work, we explore Gradient Boosted Decision Trees (GBDTs) as an alternative to the commonly used Multi-Layer Perceptron (MLP) classification head. GBDTs have desirable properties such as good performance on dense, numerical features and are effective where the ratio of the number of samples w.r.t the number of features is low. We then introduce FreeGBDT, a method of fitting a GBDT head on the features computed during fine-tuning to increase performance without additional computation by the neural network. We demonstrate the effectiveness of our method on several NLI datasets using a strong baseline model (RoBERTa-large with MNLI pretraining). The FreeGBDT shows a consistent improvement over the MLP classification head.


title: The IceCube Pie Chart: Relative Source Contributions to the Cosmic Neutrino Flux

abstract: Neutrino events from IceCube have recently been associated with multiple astrophysical sources. Interestingly, these likely detections represent three distinct astrophysical source types: active galactic nuclei (AGN), blazars, and tidal disruption events (TDE). Here we compute the expected contributions of AGNs, blazars and TDEs to the overall cosmic neutrino flux detected by IceCube based on the associated events, IceCube's sensitivity, and the source types' astrophysical properties. We find that, despite being the most commonly identified sources, blazars cannot contribute more than 11% of the total flux (90% credible level), consistent with existing limits from stacked searches. On the other hand, we find that either AGNs or TDEs could contribute more than 50% of the total flux (90% credible level), although stacked searches further limit the TDE contribution to $\lesssim 30%$. We also find that so-far unknown source types contribute at least 10% of the total cosmic flux with a probability of 80%. We assemble a pie chart that shows the most likely fractional contribution of each source type to IceCube's total neutrino flux.


title: Stability and Generalization of Stochastic Gradient Methods for Minimax Problems

abstract: Many machine learning problems can be formulated as minimax problems such as Generative Adversarial Networks (GANs), AUC maximization and robust estimation, to mention but a few. A substantial amount of studies are devoted to studying the convergence behavior of their stochastic gradient-type algorithms. In contrast, there is relatively little work on their generalization, i.e., how the learning models built from training examples would behave on test examples. In this paper, we provide a comprehensive generalization analysis of stochastic gradient methods for minimax problems under both convex-concave and nonconvex-nonconcave cases through the lens of algorithmic stability. We establish a quantitative connection between stability and several generalization measures both in expectation and with high probability. For the convex-concave setting, our stability analysis shows that stochastic gradient descent ascent attains optimal generalization bounds for both smooth and nonsmooth minimax problems. We also establish generalization bounds for both weakly-convex-weakly-concave and gradient-dominated problems.


title: On the coefficients in an asymptotic expansion of $(1+1/x)^x$

abstract: The function $g(x)= (1+1/x)^{x}$ has the well-known limit $e$ as $x\rightarrow{\infty}$. The coefficients $c_{j}$ in an asymptotic expansion for $g(x)$ are considered. A simple recursion formula is derived, and then using Cauchy's integral formula the coefficients are approximated for large $j$. From this it is shown that $|c_{j}|\rightarrow{1}$ as $j\rightarrow{\infty}$.


title: Matrix addition and the Dunkl transform at high temperature

abstract: We develop a framework for establishing the Law of Large Numbers for the eigenvalues in the random matrix ensembles as the size of the matrix goes to infinity simultaneously with the beta (inverse temperature) parameter going to zero. Our approach is based on the analysis of the (symmetric) Dunkl transform in this regime. As an application we obtain the LLN for the sums of random matrices as the inverse temperature goes to 0. This results in a one-parameter family of binary operations which interpolates between classical and free convolutions of the probability measures. We also introduce and study a family of deformed cumulants, which linearize this operation.


title: Variational Self-Consistent Theory for Beam-Loaded Cavities

abstract: A new variational theory is presented for beam loading in microwave cavities. The beam--field interaction is formulated as a dynamical interaction whose stationarity according to Hamilton's principle will naturally lead to steady-state solutions that indicate how a cavity's resonant frequency, $Q$ and optimal coupling coefficient will detune as a result of the beam loading. A driven cavity Lagrangian is derived from first principles, including the effects of cavity wall losses, input power and beam interaction. The general formulation is applied to a typical klystron input cavity to predict the appropriate detuning parameters required to maximize the gain (or modulation depth) in the average Lorentz factor boost, $\langle \Delta\gamma \rangle$. Numerical examples are presented, showing agreement with the general detuning trends previously observed in the literature. The developed formulation carries several advantages for beam-loaded cavity structures. It provides a self-consistent model for the dynamical (nonlinear) beam--field interaction, a procedure for maximizing gain under beam-loading conditions, and a useful set of parameters to guide cavity-shape optimization during the design of beam-loaded systems. Enhanced clarity of the physical picture underlying the problem seems to be gained using this approach, allowing straightforward inclusion or exclusion of different field configurations in the calculation and expressing the final results in terms of measurable quantities. Two field configurations are discussed for the klystron input cavity, using finite magnetic confinement or no confinement at all. Formulating the problem in a language that is directly accessible to the powerful techniques found in Hamiltonian dynamics and canonical transformations may potentially carry an additional advantage in terms of analytical computational gains, under suitable conditions.


title: AnomalyHop: An SSL-based Image Anomaly Localization Method

abstract: An image anomaly localization method based on the successive subspace learning (SSL) framework, called AnomalyHop, is proposed in this work. AnomalyHop consists of three modules: 1) feature extraction via successive subspace learning (SSL), 2) normality feature distributions modeling via Gaussian models, and 3) anomaly map generation and fusion. Comparing with state-of-the-art image anomaly localization methods based on deep neural networks (DNNs), AnomalyHop is mathematically transparent, easy to train, and fast in its inference speed. Besides, its area under the ROC curve (ROC-AUC) performance on the MVTec AD dataset is 95.9%, which is among the best of several benchmarking methods. Our codes are publicly available at Github.


title: Relative order and spectrum in free and related groups

abstract: In this paper, we consider a natural generalization of the concept of order of an element in a group: an element $g \in G$ is said to have order $k$ in a subgroup $H$ of $G$ (\resp \wrt a coset $Hu$) if $k$ is the first strictly positive integer such that $g^k \in H$ (\resp $g^k \in Hu$). We study this notion and its algorithmic properties in the realm of free groups and some related families. Both positive and negative (algorithmic) results emerge in this setting. On the positive side, among other results, we prove that the order of elements, the set of orders (called spectrum), and the set of preorders (\ie the set of elements of a given order) \wrt finitely generated subgroups are always computable in free and free times free-abelian groups. On the negative side, we provide examples of groups and subgroups having essentially any subset of natural numbers as relative spectrum; in particular, non-recursive and even non-recursively enumerable sets of natural numbers. Also, we take advantage of Mikhailova's construction to see that the spectrum membership problem is unsolvable for direct products of nonabelian free groups.


title: Human Gait State Prediction Using Cellular Automata and Classification Using ELM

abstract: In this research article, we have reported periodic cellular automata rules for different gait state prediction and classification of the gait data using extreme machine Leaning (ELM). This research is the first attempt to use cellular automaton to understand the complexity of bipedal walk. Due to nonlinearity, varying configurations throughout the gait cycle and the passive joint located at the unilateral foot-ground contact in bipedal walk resulting variation of dynamic descriptions and control laws from phase to phase for human gait is making difficult to predict the bipedal walk states. We have designed the cellular automata rules which will predict the next gait state of bipedal steps based on the previous two neighbour states. We have designed cellular automata rules for normal walk. The state prediction will help to correctly design the bipedal walk. The normal walk depends on next two states and has total 8 states. We have considered the current and previous states to predict next state. So we have formulated 16 rules using cellular automata, 8 rules for each leg. The priority order maintained using the fact that if right leg in swing phase then left leg will be in stance phase. To validate the model we have classified the gait Data using ELM [1] and achieved accuracy 60%. We have explored the trajectories and compares with another gait trajectories. Finally we have presented the error analysis for different joints.


title: Fine-Grained $\epsilon$-Margin Closed-Form Stabilization of Parametric Hawkes Processes

abstract: Hawkes Processes have undergone increasing popularity as default tools for modeling self- and mutually exciting interactions of discrete events in continuous-time event streams. A Maximum Likelihood Estimation (MLE) unconstrained optimization procedure over parametrically assumed forms of the triggering kernels of the corresponding intensity function are a widespread cost-effective modeling strategy, particularly suitable for data with few and/or short sequences. However, the MLE optimization lacks guarantees, except for strong assumptions on the parameters of the triggering kernels, and may lead to instability of the resulting parameters .In the present work, we show how a simple stabilization procedure improves the performance of the MLE optimization without these overly restrictive assumptions.This stabilized version of the MLE is shown to outperform traditional methods over sequences of several different lengths.


title: Long-Span Summarization via Local Attention and Content Selection

abstract: Transformer-based models have achieved state-of-the-art results in a wide range of natural language processing (NLP) tasks including document summarization. Typically these systems are trained by fine-tuning a large pre-trained model to the target task. One issue with these transformer-based models is that they do not scale well in terms of memory and compute requirements as the input length grows. Thus, for long document summarization, it can be challenging to train or fine-tune these models. In this work, we exploit large pre-trained transformer-based models and address long-span dependencies in abstractive summarization using two methods: local self-attention; and explicit content selection. These approaches are compared on a range of network configurations. Experiments are carried out on standard long-span summarization tasks, including Spotify Podcast, arXiv, and PubMed datasets. We demonstrate that by combining these methods, we can achieve state-of-the-art results on all three tasks in the ROUGE scores. Moreover, without a large-scale GPU card, our approach can achieve comparable or better results than existing approaches.


title: AdS/BCFT correspondence and BTZ black hole thermodynamics within Horndeski gravity

abstract: In this work, we study gravity duals of conformal field theories with boundaries known as AdS/BCFT correspondence, put forward by Takayanagi [1], within a scalar-tensor theory, as proposed by Horndeski in 4D [2]. We consider the case of 3D gravity dual to 2D BCFT, take a Gibbons-Hawking surface term modified by Horndeski's theory and find the corresponding 3D (BTZ) black hole solutions. We analyze the effects of Horndeski's gravity on the profile of the extra boundary for the black hole by using an approximate analytic solution. Performing a holographic renormalization, we have calculated the free energy and obtained the total entropy and the corresponding area, as well as the boundary entropy for the black hole. In particular, the boundary entropy found here, can be seen as an extension of the one proposed by Takayanagi. From the free energy, we have done a systematic study of the 3D black hole thermodynamics and present, among our results, an indication of restoration of conformal symmetry for high temperatures. Finally, we present a study on the influence of the Horndeski's gravity on the Hawking-Page phase transition where we can see the stable and unstable phases throughout the plane of free energy {\sl versus} temperature.


title: A Gambler that Bets Forever and the Strong Law of Large Numbers

abstract: In this expository note, we give a simple proof that a gambler repeating a game with positive expected value never goes broke with a positive probability. This does not immediately follow from the strong law of large numbers or other basic facts on random walks. Using this result, we provide an elementary proof of the strong law of large numbers. The ideas of the proofs come from the maximal ergodic theorem and Birkhoff's ergodic theorem.


title: Slash or burn: Power line and vegetation classification for wildfire prevention

abstract: Electric utilities are struggling to manage increasing wildfire risk in a hotter and drier climate. Utility transmission and distribution lines regularly ignite destructive fires when they make contact with surrounding vegetation. Trimming vegetation to maintain the separation from utility assets is as critical to safety as it is difficult. Each utility has tens of thousands of linear miles to manage, poor knowledge of where those assets are located, and no way to prioritize trimming. Feature-enhanced convolutional neural networks (CNNs) have proven effective in this problem space. Histograms of oriented gradients (HOG) and Hough transforms are used to increase the salience of the linear structures like power lines and poles. Data is frequently taken from drone or satellite footage, but Google Street View offers an even more scalable and lower cost solution. This paper uses $1,320$ images scraped from Street View, transfer learning on popular CNNs, and feature engineering to place images in one of three classes: (1) no utility systems, (2) utility systems with no overgrown vegetation, or (3) utility systems with overgrown vegetation. The CNN output thus yields a prioritized vegetation management system and creates a geotagged map of utility assets as a byproduct. Test set accuracy with reached $80.15\%$ using VGG11 with a trained first layer and classifier, and a model ensemble correctly classified $88.88\%$ of images with risky vegetation overgrowth.


title: A new proof for the existence of rotationally symmetric gradient Ricci solitons

abstract: We give a new proof for the existence of rotationally symmetric steady and expanding gradient Ricci solitons in dimension $n+1$, $2\le n\le 4$, with metric $g=\frac{da^2}{h(a^2)}+a^2d\,\sigma$ for some function $h$ where $d\sigma$ is the standard metric on the unit sphere $S^n$ in $\mathbb{R}^n$. More precisely for any $\lambda\ge 0$, $2\le n\le 4$ and $\mu_1\in\mathbb{R}$, we prove the existence of unique solution $h\in C^2((0,\infty))\cap C^1([0,\infty))$ for the equation $2r^2h(r)h_{rr}(r)=(n-1)h(r)(h(r)-1)+rh_r(r)(rh_r(r)-\lambda r-(n-1))$, $h(r)>0$, in $(0,\infty)$ satisfying $h(0)=1$, $h_r(0)=\mu_1$. We also prove the existence of unique analytic solution of the about equation on $[0,\infty)$ for any $\lambda\ge 0$, $n\ge 2$ and $\mu_1\in\mathbb{R}$. Moreover we will prove the asymptotic behaviour of the solution $h$ for any $n\ge 2$, $\lambda\ge 0$ and $\mu_1\in\mathbb{R}\setminus\{0\}$.