title: Bounding Quantum Advantages in Postselected Metrology

abstract: Weak value amplification and other postselection-based metrological protocols can enhance precision while estimating small parameters, outperforming postselection-free protocols. In general, these enhancements are largely constrained because the protocols yielding higher precision are rarely obtained due to a lower probability of successful postselection. It is shown that this precision can further be improved with the help of quantum resources like entanglement and negativity in the quasiprobability distribution. However, these quantum advantages in attaining considerable success probability with large precision are bounded irrespective of any accessible quantum resources. Here we derive a bound of these advantages in postselected metrology, establishing a connection with weak value optimization where the latter can be understood in terms of geometric phase. We introduce a scheme that saturates the bound, yielding anomalously large precision. Usually, negative quasiprobabilities are considered essential in enabling postselection to increase precision beyond standard optimized values. In contrast, we prove that these advantages can indeed be achieved with positive quasiprobability distribution. We also provide an optimal metrological scheme using three level non-degenerate quantum system.


title: The chameleon on the branches: spectral state transition and dips in NGC 247 ULX-1

abstract: Soft Ultra-Luminous X-ray (ULXs) sources are a subclass of the ULXs that can switch from a supersoft spectral state, where most of the luminosity is emitted below 1 keV, to a soft spectral state with significant emission above 1 keV. In a few systems, dips have been observed. The mechanism behind this state transition and the dips nature are still debated. To investigate these issues, we obtained a long XMM-Newton monitoring campaign of a member of this class, NGC 247 ULX-1. We computed the hardness-intensity diagram for the whole dataset and identified two different branches: the normal branch and the dipping branch, which we study with four and three hardness-intensity resolved spectra, respectively. All seven spectra are well described by two thermal components: a colder ($kT_{\rm bb}$ $\sim$ 0.1-0.2 keV) black-body, interpreted as emission from the photo-sphere of a radiatively-driven wind, and a hotter ($kT_{\rm disk}$ $\sim$ 0.6 keV) multicolour disk black-body, likely due to reprocessing of radiation emitted from the innermost regions. In addition, a complex pattern of emission and absorption lines has been taken into account based on previous high-resolution spectroscopic results. We studied the evolution of spectral parameters and the flux of the two thermal components along the two branches and discuss two scenarios possibly connecting the state transition and the dipping phenomenon. One is based on geometrical occultation of the emitting regions, the other invokes the onset of a propeller effect.


title: On non-factorisable contributions to $t$-channel single-top production

abstract: We compute the non-factorisable contribution to the two-loop helicity amplitude for $t$-channel single-top production, the last missing piece of the two-loop virtual corrections to this process. Our calculation employs analytic reduction to master integrals and the auxiliary mass flow method for their fast numerical evaluation. We study the impact of these corrections on basic observables that are measured experimentally in the single-top production process.


title: Existentially closed W*-probability spaces

abstract: We study several model-theoretic aspects of W$^*$-probability spaces, that is, $\sigma$-finite von Neumann algebras equipped with a faithful normal state. We first study the existentially closed W$^*$-spaces and prove several structural results about such spaces, including that they are type III$_1$ factors that tensorially absorb the Araki-Woods factor $R_\infty$. We also study the existentially closed objects in the restricted class of W$^*$-probability spaces with Kirchberg's QWEP property, proving that $R_\infty$ itself is such an existentially closed space in this class. Our results about existentially closed probability spaces imply that the class of type III$_1$ factors forms a $\forall_2$-axiomatizable class. We show that for $\lambda\in (0,1)$, the class of III$_\lambda$ factors is not $\forall_2$-axiomatizable but is $\forall_3$-axiomatizable; this latter result uses a version of Keisler's Sandwich theorem adapted to continuous logic. Finally, we discuss some results around elementary equivalence of III$_\lambda$ factors. Using a result of Boutonnet, Chifan, and Ioana, we show that, for any $\lambda\in (0,1)$, there is a family of pairwise non-elementarily equivalent III$_\lambda$ factors of size continuum. While we cannot prove the same result for III$_1$ factors, we show that there are at least three pairwise non-elementarily equivalent III$_1$ factors by showing that the class of full factors is preserved under elementary equivalence.


title: Characterizing accelerated precipitation in proton irradiated steel

abstract: Ion irradiation provides a promising substitute to neutron tests for investigating the effects of radiation on materials for fission and fusion reactor plants. Here we show proton irradiation can quantitatively reproduce precipitation that leads to embrittlement in reactor pressure vessel steels, at dose rates 10,000 times greater than experienced in fission reactor operation. Small-angle neutron scattering (SANS) is used to characterize precipitate size distributions in copper-containing steels irradiated to average doses of approx. 7 mdpa with 5 MeV protons. Comparing our results with the literature on reactor pressure vessel steels containing at least 1 at.% nickel, we find a power-law scaling of dose with exponent 0.25--0.30 accounts for the effects of dose rate on precipitate volume fraction over 6 orders of magnitude in dose rate. In conjunction with dose rate, carbon is identified as performing a leading role in determining precipitate sizes, adding to the known effects of nickel, manganese and irradiation temperature. We discuss the composition of precipitates inferred from SANS, taking previous atom probe tomography studies into consideration.


title: Extremes of Gaussian random fields with non-additive dependence structure

abstract: We derive exact asymptotics of $$\mathbb{P}\left(\sup_{\mathbf{t}\in {\mathcal{A}}}X(\mathbf{t})>u\right),~ \text{as}~ u\to\infty,$$ for a centered Gaussian field $X(\mathbf{t}),~ \mathbf{t}\in \mathcal{A}\subset\mathbb{R}^n$, $n>1$ with continuous sample paths a.s., for which $\arg \max_{\mathbf{t}\in {\mathcal{A}}} Var(X(\mathbf{t}))$ is a Jordan set with finite and positive Lebesque measure of dimension $k\leq n$ and its dependence structure is not necessarily locally stationary. Our findings are applied to deriving the asymptotics of tail probabilities related to performance tables and chi processes where the covariance structure is not locally stationary.


title: The Effect of Dust and Sand on the 5G Terrestrial Links

abstract: Wireless connections are a communication channel used to support different applications in our life such as microwave connections, mobile cellular networks, and intelligent transportation systems. The wireless communication channels are affected by different weather factors such as rain, snow, fog, dust, and sand. This effect is more evident in the high frequencies of the millimeter-wave (mm-wave) band. Recently, the 5G opened the door to support different applications with high speed and good quality. A recent study investigates the effect of rain and snow on the 5G communication channel to reduce the challenge of using high millimeter-wave frequencies. This research investigates the impact of dust and sand on the communication channel of 5G mini links using Mie scattering model to estimate the propagating wave's attenuation by computing the free space loss of a dusty region. Also, the cross-polarization of the propagating wave with dust and sand is taken into account at different distances of the propagating length. Two kinds of mini links, ML-6363, and ML-6352, are considered to demonstrate the effect of dust and sand in these specific operating frequency bands. The 73.5 GHz (V-band) and (21.5GHz (K-band) are the ML-6352 and ML-6363 radio frequency, respectively. Also, signal depolarization is another important radio frequency transmission parameter that is considered heroin. The numerical and simulation results show that the 5G ML-6352 is more effect by dust and sand than ML6363. The 5G toolbox is used to build the communication system and simulate the effect of the dust and sand on the different frequency bands.


title: Parameters not empirically identifiable or distinguishable, including correlation between Gaussian observations

abstract: Note: Accepted version, published in Statistical Papers, https://doi.org/10.1007/s00362-023-01414-3. It is shown that some theoretically identifiable parameters cannot be empirically identified, meaning that no consistent estimator of them can exist. An important example is a constant correlation between Gaussian observations (in presence of such correlation not even the mean can be empirically identified). Empirical identifiability and three versions of empirical distinguishability are defined. Two different constant correlations between Gaussian observations cannot even be empirically distinguished. A further example are cluster membership parameters in $k$-means clustering. Several existing results in the literature are connected to the new framework. General conditions are discussed under which independence can be distinguished from dependence.


title: Dual-Neighborhood Deep Fusion Network for Point Cloud Analysis

abstract: Recently, deep neural networks have made remarkable achievements in 3D point cloud classification. However, existing classification methods are mainly implemented on idealized point clouds and suffer heavy degradation of per-formance on non-idealized scenarios. To handle this prob-lem, a feature representation learning method, named Dual-Neighborhood Deep Fusion Network (DNDFN), is proposed to serve as an improved point cloud encoder for the task of non-idealized point cloud classification. DNDFN utilizes a trainable neighborhood learning method called TN-Learning to capture the global key neighborhood. Then, the global neighborhood is fused with the local neighbor-hood to help the network achieve more powerful reasoning ability. Besides, an Information Transfer Convolution (IT-Conv) is proposed for DNDFN to learn the edge infor-mation between point-pairs and benefits the feature transfer procedure. The transmission of information in IT-Conv is similar to the propagation of information in the graph which makes DNDFN closer to the human reasoning mode. Extensive experiments on existing benchmarks especially non-idealized datasets verify the effectiveness of DNDFN and DNDFN achieves the state of the arts.


title: Using Uncertainty in Deep Learning Reconstruction for Cone-Beam CT of the Brain

abstract: Contrast resolution beyond the limits of conventional cone-beam CT (CBCT) systems is essential to high-quality imaging of the brain. We present a deep learning reconstruction method (dubbed DL-Recon) that integrates physically principled reconstruction models with DL-based image synthesis based on the statistical uncertainty in the synthesis image. A synthesis network was developed to generate a synthesized CBCT image (DL-Synthesis) from an uncorrected filtered back-projection (FBP) image. To improve generalizability (including accurate representation of lesions not seen in training), voxel-wise epistemic uncertainty of DL-Synthesis was computed using a Bayesian inference technique (Monte-Carlo dropout). In regions of high uncertainty, the DL-Recon method incorporates information from a physics-based reconstruction model and artifact-corrected projection data. Two forms of the DL-Recon method are proposed: (i) image-domain fusion of DL-Synthesis and FBP (DL-FBP) weighted by DL uncertainty; and (ii) a model-based iterative image reconstruction (MBIR) optimization using DL-Synthesis to compute a spatially varying regularization term based on DL uncertainty (DL-MBIR). The error in DL-Synthesis images was correlated with the uncertainty in the synthesis estimate. Compared to FBP and PWLS, the DL-Recon methods (both DL-FBP and DL-MBIR) showed ~50% reduction in noise (at matched spatial resolution) and ~40-70% improvement in image uniformity. Conventional DL-Synthesis alone exhibited ~10-60% under-estimation of lesion contrast and ~5-40% reduction in lesion segmentation accuracy (Dice coefficient) in simulated and real brain lesions, suggesting a lack of reliability / generalizability for structures unseen in the training data. DL-FBP and DL-MBIR improved the accuracy of reconstruction by directly incorporating information from the measurements in regions of high uncertainty.


title: Improved bound for Hadwiger's conjecture

abstract: Hadwiger conjectured in 1943 that for every integer $t \ge 1$, every graph with no $K_t$ minor is $(t-1)$-colorable. Kostochka, and independently Thomason, proved every graph with no $K_t$ minor is $O(t(\log t)^{1/2})$-colorable. Recently, Postle improved it to $O(t (\log \log t)^6)$-colorable. In this paper, we show that every graph with no $K_t$ minor is $O(t (\log \log t)^{5})$-colorable.


title: R-coactions on $C^*$-algebras

abstract: We give the beginnings of the development of a theory of what we call "R-coactions" of a locally compact group on a $C^*$-algebra. These are the coactions taking values in the maximal tensor product, as originally proposed by Raeburn. We show that the theory has some gaps as compared to the more familiar theory of standard coactions. However, we indicate how we needed to develop some of the basic properties of R-coactions as a tool in our program involving the use of coaction functors in the study of the Baum-Connes conjecture.


title: Markov Decision Processes with Incomplete Information and Semi-Uniform Feller Transition Probabilities

abstract: This paper deals with control of partially observable discrete-time stochastic systems. It introduces and studies Markov Decision Processes with Incomplete Information and with semi-uniform Feller transition probabilities. The important feature of these models is that their classic reduction to Completely Observable Markov Decision Processes with belief states preserves semi-uniform Feller continuity of transition probabilities. Under mild assumptions on cost functions, optimal policies exist, optimality equations hold, and value iterations converge to optimal values for these models. In particular, for Partially Observable Markov Decision Processes the results of this paper imply new and generalize several known sufficient conditions on transition and observation probabilities for weak continuity of transition probabilities for Markov Decision Processes with belief states, the existence of optimal policies, validity of optimality equations defining optimal policies, and convergence of value iterations to optimal values.


title: Detour Dual Optimal Inequalities for Column Generation with Application to Routing and Location

abstract: We consider the problem of accelerating column generation (CG) for logistics optimization problems using vehicle routing as an example. Without loss of generality, we focus on the Capacitated Vehicle Routing Problem (CVRP) via the addition of a new class of dual optimal inequalities (DOI) that incorporate information about detours from the vehicle routes. These inequalities extend the Smooth-DOI recently introduced in the literature for the solution of certain classes of set-covering problems by CG. The Detour-DOI introduced in this article permit low cost swap operations between items on a given active route with items near to other items on that route to estimate (and bound) the values of the dual variables. Smooth-DOI in contrast only permit low cost swap operations between nearby items. The use of Detour-DOI permits a faster convergence of CG without weakening the linear programming relaxation. We then argue that these DOI can also be conveniently applied to single source capacitated facility location problems. These problems have been shown to be equivalent to a broad class of logistics optimization problems that include, for example telecommunication network design and production planning. The importance of developing vastly more efficient column generation solvers cannot be overstated. Detour-DOI, which permit large numbers of columns to be expressed with a finite set of variables, contributes to this important endeavor.


title: Tensor $D$ coaction functors

abstract: We develop an approach, using what we call "tensor $D$ coaction functors", to the "$C$-crossed-product" functors of Baum, Guentner, and Willett. We prove that the tensor $D$ functors are exact, and identify the minimal such functor. This continues our program of applying coaction functors as a tool in the Baum-Guentner-Willett-Buss-Echterhoff campaign to attempt to "fix" the Baum-Connes conjecture.


title: Very High-energy Gamma-ray Emission from LS I +61$^\circ$ ~303 Binary

abstract: LS I +61$^\circ$ ~303 is one of around ten gamma-ray binaries detected so far which has a spectral energy distribution dominated by MeV-GeV photons. It is located at a distance of 2 kpc and consists of a compact object (black hole or neutron star) in an eccentric orbit around a 10-15 $M_{\odot}$ Be star, with an orbital period of 26.496 days. The binary orbit modulates the emission ranging from radio to TeV energies. A second, longer, modulation period of 1667 days (the super-orbital period) has also been detected from radio to TeV observations. The VERITAS imaging atmospheric Cherenkov telescope array has been observing LS I +61$^\circ$ ~303 since 2006, and has accumulated a dataset that fully covers the entire orbit. Increased coverage of the source in the very-high-energy band is currently underway to provide more results on the modulation pattern, super-orbital period, and orbit-to-orbit variability at the highest energies. The spectral measurements at the highest energies will reveal more information about gamma-ray production/absorption mechanisms, the nature of the compact object, and the particle acceleration mechanism. Using >150 hrs of VERITAS data, we present a detailed study of the spectral energy distribution and periodic behavior of this rare gamma-ray source type at very-high energy.


title: Generalized Graph Manifolds, Residual Finiteness, and the Singer Conjecture

abstract: We prove the Singer conjecture for extended graph manifolds and pure complex-hyperbolic higher graph manifolds with residually finite fundamental groups. In real dimension three, where a result of Hempel ensures that the fundamental group is always residually finite, we then provide a Price type inequality proof of a well-known result of Lott and Lueck. Finally, we give several classes of higher graph manifolds which do indeed have residually finite fundamental groups.


title: Spatial deterministic wave forecasting for nonlinear sea-states

abstract: We derive a simple algebraic form of the nonlinear wavenumber correction of surface gravity waves in deep water, based on temporal measurements of the water surface and the spatial Zakharov equation. This allows us to formulate an improvement over linear deterministic wave forecasting with no additional computational cost. Our new formulation is used to forecast both synthetically generated as well as experimentally measured seas, and shows marked improvements over the linear theory.


title: Status of the VERITAS Stellar Intensity Interferometry (VSII) System

abstract: The VERITAS Imaging Air Cherenkov Telescope array (IACT) was augmented in 2019 with high-speed focal plane electronics to allow the use of VERITAS for Stellar Intensity Interferometry (SII) observations. Since that time, several improvements have been implemented to increase the sensitivity of the VERITAS Stellar Intensity Interferometer (VSII) and increase the speed of nightly data processing. This poster will describe the use of IACT arrays for performing ultra-high resolution (sub-milliarcsecond) astronomical observations at short visible wavelengths. The poster presentation will include a description of the VERITAS-SII focal plane, data acquisition, and data analysis systems. The poster concludes with a description of plans for future upgrades of the VSII instrument.


title: Relaxing cosmological tensions with a sign switching cosmological constant

abstract: Inspired by the recent conjecture originated from graduated dark energy that the Universe has recently transitioned from anti-de Sitter vacua to de Sitter vacua, we extend the $\Lambda$CDM model by a cosmological constant ($\Lambda_{\rm s}$) that switches sign at a certain redshift $z_\dagger$, and we call this model $\Lambda_{\rm s}$CDM. We discuss the construction and theoretical features of this model and find out that, when the consistency of $\Lambda_{\rm s}$CDM with the CMB data is ensured, (i) $z_\dagger\gtrsim1.1$ is implied by the condition that the Universe monotonically expands, (ii) $H_0$ and $M_B$ (type Ia supernovae absolute magnitude) values are inversely correlated with $z_\dagger$ and reach $H_0\approx74.5~{\rm km\, s^{-1}\, Mpc^{-1}}$ and $M_B\approx-19.2\,{\rm mag}$ for $z_\dagger=1.5$, in agreement with the SH0ES measurements, and (iii) $H(z)$ presents an excellent fit to the Ly-$\alpha$ measurements provided that $z_\dagger\lesssim 2.34$. We further investigate the model constraints by using the full Planck CMB data set, with and without BAO data. We find that the CMB data alone does not constrain $z_\dagger$, but the CMB+BAO data set favors the sign switch of $\Lambda_{\rm s}$ providing the constraint: $z_\dagger=2.44\pm0.29$ (68% C.L.). Our analysis reveals that the lower and upper limits of $z_\dagger$ are controlled by the Galaxy and Ly-$\alpha$ BAO measurements, respectively, and the larger $z_{\dagger}$ values imposed by the Galaxy BAO data prevent the model from achieving the highest local $H_0$ measurements. In general, $\Lambda_{\rm s}$CDM (i) relaxes the $H_0$ tension while being fully consistent with the TRGB measurements, (ii) relaxes the $M_B$ tension, (iii) removes the discrepancy with the Ly-$\alpha$ measurements, (iv) relaxes the $S_8$ tension, and (v) finds a better agreement with the BBN constraints on the physical baryon density. [Abridged]


title: Inelastic Axial and Vector Structure Functions for Lepton-Nucleon Scattering 2021 Update

abstract: We report on an update (2021) of a phenomenological model for inelastic neutrino- and electron-nucleon scattering cross sections using effective leading order parton distribution functions with a new scaling variable $\xi_w$. Non-perturbative effects are well described using the $\xi_w$ scaling variable in combination with multiplicative $K$ factors at low $Q^2$. The model describes all inelastic charged-leptron-nucleon scattering data (HERA/NMC/BCDMS/SLAC/JLab) ranging from very high $Q^2$ to very low $Q^2$ and down to the $Q^2=0$ photo-production region. The model has been developed to be used in analysis of neutrino oscillation experiments in the few GeV region. The 2021 update accounts for the difference between axial and vector structure function which brings it into much better agreement with neutrino-nucleon total cross section measurements. The model has been developed primarily for hadronic final state masses $W$ above 1.8 GeV. However with additional parameters the model also describe the $average$ neutrino cross sections in the resonance region down to $W$=1.4 GeV.


title: Open Relation Modeling: Learning to Define Relations between Entities

abstract: Relations between entities can be represented by different instances, e.g., a sentence containing both entities or a fact in a Knowledge Graph (KG). However, these instances may not well capture the general relations between entities, may be difficult to understand by humans, even may not be found due to the incompleteness of the knowledge source. In this paper, we introduce the Open Relation Modeling problem - given two entities, generate a coherent sentence describing the relation between them. To solve this problem, we propose to teach machines to generate definition-like relation descriptions by letting them learn from defining entities. Specifically, we fine-tune Pre-trained Language Models (PLMs) to produce definitions conditioned on extracted entity pairs. To help PLMs reason between entities and provide additional relational knowledge to PLMs for open relation modeling, we incorporate reasoning paths in KGs and include a reasoning path selection mechanism. Experimental results show that our model can generate concise but informative relation descriptions that capture the representative characteristics of entities.


title: A Hermitian TQFT from a non-semisimple category of quantum sl(2)-modules

abstract: We endow a non-semisimple category of modules of unrolled quantum sl(2) with a Hermitian structure. We also prove that the TQFT constructed in arXiv:1202.3553 using this category is Hermitian. This gives rise to projective representations of the mapping class group in the group of indefinite unitary matrices.


title: A comparison of different clustering approaches for high-dimensional presence-absence data

abstract: Presence-absence data is defined by vectors or matrices of zeroes and ones, where the ones usually indicate a "presence" in a certain place. Presence-absence data occur for example when investigating geographical species distributions, genetic information, or the occurrence of certain terms in texts. There are many applications for clustering such data; one example is to find so-called biotic elements, i.e., groups of species that tend to occur together geographically. Presence-absence data can be clustered in various ways, namely using a latent class mixture approach with local independence, distance-based hierarchical clustering with the Jaccard distance, or also using clustering methods for continuous data on a multidimensional scaling representation of the distances. These methods are conceptually very different and can therefore not easily be compared theoretically. We compare their performance with a comprehensive simulation study based on models for species distributions. This has been accepted for publication in Ferreira, J., Bekker, A., Arashi, M. and Chen, D. (eds.) Innovations in multivariate statistical modelling: navigating theoretical and multidisciplinary domains, Springer Emerging Topics in Statistics and Biostatistics.


title: Convolution of beta prime distribution

abstract: We establish some identities in law for the convolution of a beta prime distribution with itself, involving the square root of beta distributions. The proof of these identities relies on transformations on generalized hypergeometric series obtained via Appell series of the first kind and Thomae's relationships for ${}_3F_2(1)$. Using a self-decomposability argument, the identities are applied to derive complete monotonicity properties for quotients of confluent hypergeometric functions having a doubling character. By means of probability, we also obtain a simple proof of Tur\'an's inequality for the parabolic cylinder function and the confluent hypergeometric function of the second kind. The case of Mill's ratio is discussed in detail.


title: Fex: Assisted Identification of Domain Features from C Programs

abstract: Modern software typically performs more than one functionality. These functionalities or features are not always organized in a way for modules representing these features to be used individually. Many software engineering approaches like programming language constructs, or product line visualization techniques have been proposed to organize projects as modules. Unfortunately, much legacy software suffer from years or decades of improper coding practices that leave the modules in the code almost undetectable. In such scenarios, a desirable requirement is to identify modules representing different features to be extracted. In this paper, we propose a novel approach that combines information retrieval and program analysis approaches to allow domain experts to identify slices of the program that represent modules using natural language search terms. We evaluate our approach by building a proof of concept tool in C, and extract modules from open source projects.


title: Global stability analysis of flow behind an upswept aftbody

abstract: Wakes of aircraft and automobiles with relatively flat slanted aftbodies are often characterized by a streamwise-oriented vortex pair, whose strength affects drag and other crucial performance parameters. We examine the stability characteristics of the vortex pair emerging over an abstraction comprised of a streamwise-aligned cylinder terminated with an upswept plane. The Reynolds number is fixed at 5000 and the upsweep angle is increased from 20deg to 32deg. At 20deg, the LES yields a steady streamwise-oriented vortex pair, and the global modes are also stable. At 32deg, the LES displays unsteady flow behavior. Linear analysis of the mean flow reveals different unstable modes. The lowest oscillation frequency is an antisymmetric mode, which is attached to the entire slanted base. At the highest frequency, the mode is symmetric and has the same rotational orientation as the mean vortex pair. Its support is prominent in the rear part of the slanted base and spreads relatively rapidly downstream with prominent helical structures. A receptivity analysis of low- and high-frequency modes suggests the latter holds promise to affect the vortical flow, providing a potential starting point for a control strategy to modify the vortex pair.


title: Flow field tomography with uncertainty quantification using a Bayesian physics-informed neural network

abstract: We report a new approach to flow field tomography that uses the Navier-Stokes and advection-diffusion equations to regularize reconstructions. Tomography is increasingly employed to infer 2D or 3D fluid flow and combustion structures from a series of line-of-sight (LoS) integrated measurements using a wide array of imaging modalities. The high-dimensional flow field is reconstructed from low-dimensional measurements by inverting a projection model that comprises path integrals along each LoS through the region of interest. Regularization techniques are needed to obtain realistic estimates, but current methods rely on truncating an iterative solution or adding a penalty term that is incompatible with the flow physics to varying degrees. Physics-informed neural networks (PINNs) are new tools for inverse analysis that enable regularization of the flow field estimates using the governing physics. We demonstrate how a PINN can be leveraged to reconstruct a 2D flow field from sparse LoS-integrated measurements with no knowledge of the boundary conditions by incorporating the measurement model into the loss function used to train the network. The resulting reconstructions are remarkably superior to reconstructions produced by state-of-the-art algorithms, even when a PINN is used for post-processing. However, as with conventional iterative algorithms, our approach is susceptible to semi-convergence when there is a high level of noise. We address this issue through the use of a Bayesian PINN, which facilitates comprehensive uncertainty quantification of the reconstructions, enables the use of a more intuitive loss function, and reveals the source of semi-convergence.


title: An entropy-based, scale-dependent centrality

abstract: In this article we introduce an entropy-based, scale-dependent centrality that is evaluated as the Shannon entropy of the distribution at time t of a continuous-time random walk. It ranks nodes as a function of the time t, which acts as a parameter and defines the scale of the network. It is able capture well-known centralities such as degree, eigenvector and closeness depending on the range of t. We compare it with the broad class of total $f$-communicability centralities, of which both Katz centrality and total communicability are particular cases.


title: Mining Secure Behavior of Hardware Designs

abstract: Specification mining offers a solution by automating security specification for hardware. Specification miners use a form of machine learning to specify behaviors of a system by studying a system in execution. However, specification mining was first developed for use with software. Complex hardware designs offer unique challenges for this technique. Further, specification miners traditionally capture functional specifications without a notion of security, and may not use the specification logics necessary to describe some security requirements. This work demonstrates specification mining for hardware security. On CISC architectures such as x86, I demonstrate that a miner partitioning the design state space along control signals discovers a specification that includes manually defined properties and, if followed, would secure CPU designs against Memory Sinkhole and SYSRET privilege escalation. For temporal properties, I demonstrate that a miner using security specific linear temporal logic (LTL) templates for specification detection may find properties that, if followed, would secure designs against historical documented security vulnerabilities and against potential future attacks targeting system initialization. For information--flow hyperproperties, I demonstrate that a miner may use Information Flow Tracking (IFT) to develop output properties containing designer specified information--flow security properties as well as properties that demonstrate a design does not contain certain Common Weakness Enumerations (CWEs).


title: Centralised Connectivity-Preserving Transformations for Programmable Matter: A Minimal Seed Approach

abstract: We study a model of programmable matter systems consisting of $n$ devices lying on a 2-dimensional square grid which are able to perform the minimal mechanical operation of rotating around each other. The goal is to transform an initial shape A into a target shape B. We investigate the class of shapes which can be constructed in such a scenario under the additional constraint of maintaining global connectivity at all times. We focus on the scenario of transforming nice shapes, a class of shapes consisting of a central line $L$ where for all nodes $u$ in $S$ either $u \in L$ or $u$ is connected to $L$ by a line of nodes perpendicular to $L$. We prove that by introducing a minimal 3-node seed it is possible for the canonical shape of a line of $n$ nodes to be transformed into a nice shape of $n-1$ nodes. We use this to show that a 4-node seed enables the transformation of nice shapes of size $n$ into any other nice shape of size $n$ in $O(n^2)$ time. We leave as an open problem the expansion of the class of shapes which can be constructed using such a seed to include those derived from nice shapes.


title: Koszul Feynman Categories

abstract: A cubical Feynman category, introduced by the authors in previous work, is a category whose functors to a base category $\mathcal{C}$ behave like operads in $\mathcal{C}$. In this note we show that every cubical Feynman category is Koszul. The upshot is an explicit, minimal cofibrant resolution of any cubical Feynman category, which can be used to model $\infty$ versions of generalizations of operads for both graph based and non-graph based examples.


title: Observation of a very massive galaxy cluster at z=0.76 in SRG/eROSITA all-sky survey

abstract: The results of multiwavelength observations of the very massive galaxy cluster SRGe CL2305.2-2248 detected in X-rays during the first SRG/eROSITA all-sky survey are discussed. This galaxy cluster was also detected earlier in microwave band through the observations of Sunyaev-Zeldovich effect in South Pole Telescope (SPT-CL J2305-2248), and in Atacama Cosmological Telescope (ACT-CL J2305.1-2248) surveys. Spectroscopic redshift measurement, $z=0.7573$, was measured at the Russian 6-m BTA telescope of SAO RAS, in good agreement with its photometric estimates, including a very accurate one obtained using machine learning methods. In addition, deep photometric measurements were made at the Russian-Turkish 1.5-m telescope (RTT150), which allows to study cluster galaxies red sequence and projected galaxies distribution. Joint analysis of the data from X-ray and microwave observations show that this cluster can be identified as a very massive and distant one using the measurements of its X-ray flux and integral comptonization parameter only. The mass of the cluster estimated according to the eROSITA data is $M_{500}=(9.0\pm2.6)\cdot10^{14}\, M_\odot$. We show that this cluster is found among of only several dozen of the most massive clusters in the observable Universe and among of only a few the most massive clusters of galaxies at $z>0.6$.


title: Spontaneous Lorentz symmetry violation from infrared gravity

abstract: In this paper, we investigate a novel implication of the non-negligible spacetime curvature at large distances when its effects are expressed in terms of a suitably modified form of the Heisenberg uncertainty relations. Specifically, we establish a one-to-one correspondence between such modified uncertainty principle and the Standard Model Extension (SME), a string-theoretical effective field theory that accounts for both explicit and spontaneous breaking of Lorentz symmetry. This tight correspondence between string-derived effective field theory and modified quantum mechanics with extended uncertainty relations is validated by comparing the predictions concerning a deformed Hawking temperature derived from the two models. Moreover, starting from the experimental bounds on the gravity sector of the SME, we derive the most stringent constraint achieved so far on the value of the free parameter entering in the extended Heisenberg uncertainty principle.


title: 2D optical rogue waves affected by transverse carrier diffusion in broad-area semiconductor lasers with a saturable absorber

abstract: Statistics and dynamics of 2D rogue waves in a broad-area semiconductor laser with an intracavity saturable absorber are numerically investigated under the effect of transverse carrier diffusion. We show that lateral diffusion of carriers alters the statistics of rogue waves by enhancing their formation in smaller ratios of carrier lifetimes in the active and passive materials while suppressing them when the ratio is larger. Temporal dynamics of the emitted rogue waves is also studied and shown that finite nonzero transverse carrier diffusion coefficient gives them a longer duration. To further approach the realistic experimental situation, we also investigated statistics and dynamics of rogue waves by simulating a circular disk-shape pump which replaces the flat pump profile typically used in numerical simulations of broad-area lasers. We show that finite pump shape reduces the number emitted rogue waves per unit area for large carrier lifetime ratios and increases that for smaller values of the ratio in both below and above laser threshold. Temporal width of the emitted rogue waves is also shown to reduce as a consequence of removing the nonphysical effects of infinite flat pump on carrier dynamics.


title: Signal Detection in Degree Corrected ERGMs

abstract: In this paper, we study sparse signal detection problems in Degree Corrected Exponential Random Graph Models (ERGMs). We study the performance of two tests based on the conditionally centered sum of degrees and conditionally centered maximum of degrees, for a wide class of such ERGMs. The performance of these tests match the performance of the corresponding uncentered tests in the $\beta$ model. Focusing on the degree corrected two star ERGM, we show that improved detection is possible at criticality using a test based on (unconditional) sum of degrees. In this setting we provide matching lower bounds in all parameter regimes, which is based on correlations estimates between degrees under the alternative, and of possible independent interest.


title: PowerLinear Activation Functions with application to the first layer of CNNs

abstract: Convolutional neural networks (CNNs) have become the state-of-the-art tool for dealing with unsolved problems in computer vision and image processing. Since the convolution operator is a linear operator, several generalizations have been proposed to improve the performance of CNNs. One way to increase the capability of the convolution operator is by applying activation functions on the inner product operator. In this paper, we will introduce PowerLinear activation functions, which are based on the polynomial kernel generalization of the convolution operator. EvenPowLin functions are the main branch of the PowerLinear activation functions. This class of activation functions is saturated neither in the positive input region nor in the negative one. Also, the negative inputs are activated with the same magnitude as the positive inputs. These features made the EvenPowLin activation functions able to be utilized in the first layer of CNN architectures and learn complex features of input images. Additionally, EvenPowLin activation functions are used in CNN models to classify the inversion of grayscale images as accurately as the original grayscale images, which is significantly better than commonly used activation functions.


title: Terrestrial planet formation in a circumbinary disc around a coplanar binary

abstract: With n-body simulations, we model terrestrial circumbinary planet (CBP) formation with an initial surface density profile motivated by hydrodynamic circumbinary gas disc simulations. The binary plays an important role in shaping the initial distribution of bodies. After the gas disc has dissipated, the torque from the binary speeds up the planet formation process by promoting body-body interactions but also drives the ejection of planet building material from the system at an early time. Fewer but more massive planets form around a close binary compared to a single star system. A sufficiently wide or eccentric binary can prohibit terrestrial planet formation. Eccentric binaries and exterior giant planets exacerbate these effects as they both reduce the radial range of the stable orbits. However, with a large enough stable region, the planets that do form are more massive, more eccentric and more inclined. The giant planets remain on stable orbits in all our simulations suggesting that giant planets are long-lived in planetary systems once they are formed.


title: On Montgomery's pair correlation conjecture: a tale of three integrals

abstract: We study three integrals related to the celebrated pair correlation conjecture of H. L. Montgomery. The first is the integral of Montgomery's function $F(\alpha, T)$ in bounded intervals, the second is an integral introduced by Selberg related to estimating the variance of primes in short intervals, and the last is the second moment of the logarithmic derivative of the Riemann zeta-function near the critical line. The conjectured asymptotic for any of these three integrals is equivalent to Montgomery's pair correlation conjecture. Assuming the Riemann hypothesis, we substantially improve the known upper and lower bounds for these integrals by introducing new connections to certain extremal problems in Fourier analysis. In an appendix, we study the intriguing problem of establishing the sharp form of an embedding between two Hilbert spaces of entire functions naturally connected to Montgomery's pair correlation conjecture.


title: Action of automorphisms on irreducible characters of groups of type \textsf{A}

abstract: Let $G$ be a finite group isomorphic to $SL_n(q)$ or $SU_n(q)$ for some prime power $q$. In this paper, we give an explicit description of the action of automorphisms of $G$ on the set of its irreducible complex characters. This is done by showing that irreducible constituents of restrictions of irreducible characters of $GL_n(q)$ (resp. $GU_n(q)$) to $SL_n(q)$ (resp. $SU_n(q)$) can be distinguished by the rational classes of their unipotent support which are equivariant under the action of automorphisms. Meanwhile, we give a criterion to explicitly determine whether an irreducible character is a constituent of a given generalized Gelfand-Graev character of $G$. As as application, we give a short proof of the global side of Sp{\" a}th's criterion for the inductive McKay condition for the irreducible characters of $G$.


title: First passage times of transport on planar spatial networks and their connections to off-network planar diffusion

abstract: Consider a network embedded in the 2D plane, where a particle diffuses along the edges of the network. It is clear that over short length scales a particle moves along a single edge and thus undergoes one-dimensional diffusion. However, on larger length scales it is no longer immediately clear how the transport will behave. One could intuit that as the network is embedded in two dimensions for "large enough" length scales the transport will also appear two-dimensional. Is this true for all networks? Can we quantify the length scales upon which this transition occurs? What is the transport behaviour on intermediate spatial scales? In this paper, we answer these question by presenting a numerical linear algebra approach that provides the exact moments of first passage times for a given network. Comparing these networked first-passage times to first-passage times for planar diffusion reveals several interesting properties of networked transport. In particular we can directly quantify the length scale upon which networked diffusion will appear planar if it does at all. Finally, we introduce an adaptation of the method of maximum entropy to use the moments of first-passage times to construct an analytical approximation to the first-passage times entire probability distribution.


title: Three-dimensional chiral Veselago lensing

abstract: The effect by which light focuses upon entering a medium with a negative refractive index, known as Veselago lensing, may enable optical imaging below the diffraction limit. Similarly, focusing electrons across a $pn$-junction could realize a technologically promising electronic Veselago lens. However, its scope remains limited by the lack of three-dimensional platforms and its insensitivity to computational degrees of freedom, like spin or chirality. Here we propose a single-material three-dimensional electronic Veselago lens that selectively focuses electrons of a given chirality. Using the chiral anomaly of topological semimetals it is possible to create a sharp $pn$-junction for a single chirality, a chiral Veselago lens, and tune it with a magnetic field to an ideal lensing condition. We estimate that chiral Veselago lensing is observable in non-local transport and spectroscopy experiments. In particular we show that the chiral Veselago lens leads to giant non-local magnetoresistance.


title: Optimal Order Simple Regret for Gaussian Process Bandits

abstract: Consider the sequential optimization of a continuous, possibly non-convex, and expensive to evaluate objective function $f$. The problem can be cast as a Gaussian Process (GP) bandit where $f$ lives in a reproducing kernel Hilbert space (RKHS). The state of the art analysis of several learning algorithms shows a significant gap between the lower and upper bounds on the simple regret performance. When $N$ is the number of exploration trials and $\gamma_N$ is the maximal information gain, we prove an $\tilde{\mathcal{O}}(\sqrt{\gamma_N/N})$ bound on the simple regret performance of a pure exploration algorithm that is significantly tighter than the existing bounds. We show that this bound is order optimal up to logarithmic factors for the cases where a lower bound on regret is known. To establish these results, we prove novel and sharp confidence intervals for GP models applicable to RKHS elements which may be of broader interest.


title: Notes on higher-spin diffeomorphisms

abstract: Higher-spin diffeomorphisms are to higher-order differential operators what diffeomorphisms are to vector fields. Their rigorous definition is a challenging mathematical problem which might predate a better understanding of higher-spin symmetries and interactions. Several yes-go and no-go results on higher-spin diffeomorphisms are collected from the mathematical literature in order to propose a generalisation of the algebra of differential operators on which higher-spin diffeomorphisms are well-defined.


title: Practical and Fast Momentum-Based Power Methods

abstract: The power method is a classical algorithm with broad applications in machine learning tasks, including streaming PCA, spectral clustering, and low-rank matrix approximation. The distilled purpose of the vanilla power method is to determine the largest eigenvalue (in absolute modulus) and its eigenvector of a matrix. A momentum-based scheme can be used to accelerate the power method, but achieving an optimal convergence rate with existing algorithms critically relies on additional spectral information that is unavailable at run-time, and sub-optimal initializations can result in divergence. In this paper, we provide a pair of novel momentum-based power methods, which we call the delayed momentum power method (DMPower) and a streaming variant, the delayed momentum streaming method (DMStream). Our methods leverage inexact deflation and are capable of achieving near-optimal convergence with far less restrictive hyperparameter requirements. We provide convergence analyses for both algorithms through the lens of perturbation theory. Further, we experimentally demonstrate that DMPower routinely outperforms the vanilla power method and that both algorithms match the convergence speed of an oracle running existing accelerated methods with perfect spectral knowledge.


title: Efficient Online Estimation of Causal Effects by Deciding What to Observe

abstract: Researchers often face data fusion problems, where multiple data sources are available, each capturing a distinct subset of variables. While problem formulations typically take the data as given, in practice, data acquisition can be an ongoing process. In this paper, we aim to estimate any functional of a probabilistic model (e.g., a causal effect) as efficiently as possible, by deciding, at each time, which data source to query. We propose online moment selection (OMS), a framework in which structural assumptions are encoded as moment conditions. The optimal action at each step depends, in part, on the very moments that identify the functional of interest. Our algorithms balance exploration with choosing the best action as suggested by current estimates of the moments. We propose two selection strategies: (1) explore-then-commit (OMS-ETC) and (2) explore-then-greedy (OMS-ETG), proving that both achieve zero asymptotic regret as assessed by MSE. We instantiate our setup for average treatment effect estimation, where structural assumptions are given by a causal graph and data sources may include subsets of mediators, confounders, and instrumental variables.


title: Approximate Bayesian Neural Doppler Imaging

abstract: The non-uniform surface temperature distribution of rotating active stars is routinely mapped with the Doppler Imaging technique. Inhomogeneities in the surface produce features in high-resolution spectroscopic observations that shift in wavelength depending on their position on the visible hemisphere. The inversion problem has been systematically solved using maximum a-posteriori regularized methods assuming smoothness or maximum entropy. Our aim in this work is to solve the full Bayesian inference problem, by providing access to the posterior distribution of the surface temperature in the star. We use amortized neural posterior estimation to produce a model that approximates the high-dimensional posterior distribution for spectroscopic observations of selected spectral ranges sampled at arbitrary rotation phases. The posterior distribution is approximated with conditional normalizing flows, which are flexible, tractable and easy to sample approximations to arbitrary distributions. When conditioned on the spectroscopic observations, they provide a very efficient way of obtaining samples from the posterior distribution. The conditioning on observations is obtained through the use of Transformer encoders, which can deal with arbitrary wavelength sampling and rotation phases. Our model can produce thousands of posterior samples per second. Our validation of the model for very high signal-to-noise observations shows that it correctly approximates the posterior, although with some overestimation of the broadening. We apply the model to the moderately fast rotator II Peg, producing the first Bayesian map of its temperature inhomogenities. We conclude that conditional normalizing flows are a very promising tool to carry out approximate Bayesian inference in more complex problems in stellar physics, like constraining the magnetic properties.


title: Extended shallow-water theories with thermodynamics and geometry

abstract: Driven by growing momentum in two-dimensional geophysical flow modeling, this paper introduces a general family of "thermal" rotating shallow-water models. The models are capable of accommodating thermodynamic processes, such as those acting in the ocean mixed layer, by allowing buoyancy to vary in horizontal position and time as well as with depth, in a polynomial fashion up to an arbitrary degree. Moreover, the models admit Euler--Poincare variational formulations and possess Lie--Poisson Hamiltonian structure. Such a geometric property provides solid fundamental support to the theories described with consequences for numerical implementation and the construction of unresolved motion parametrizations. In particular, it is found that stratification halts the development of small-scale filament rollups recently observed in a popular model, which, having vertically homogeneous density, represents a special case of the models presented here.

categories: physics.flu-dyn nlin.CD physics.ao-ph physics.plasm-ph


title: Renormalization group analysis of near-field induced dephasing of optical spin waves in an atomic medium

abstract: While typical theories of atom-light interactions treat the atomic medium as being smooth, it is well-known that microscopic optical effects driven by atomic granularity, dipole-dipole interactions, and multiple scattering can lead to important effects. Recently, for example, it was experimentally observed that these ingredients can lead to a fundamental, density-dependent dephasing of optical spin waves in a disordered atomic medium. Here, we go beyond the short-time and dilute limits considered previously, to develop a comprehensive theory of dephasing dynamics for arbitrary times and atomic densities. In particular, we develop a novel, non-perturbative theory based on strong disorder renormalization group, in order to quantitatively predict the dominant role that near-field optical interactions between nearby neighbors has in driving the dephasing process. This theory also enables one to capture the key features of the many-atom dephasing dynamics in terms of an effective single-atom model. These results should shed light on the limits imposed by near-field interactions on quantum optical phenomena in dense atomic media, and illustrate the promise of strong disorder renormalization group as a method of dealing with complex microscopic optical phenomena in such systems.


title: Separation of P and NP

abstract: There have been many attempts to solve the P versus NP problem. However, with a new proof method, P not equal NP can be proved. A time limit is set for an arbitrary Turing machine and an input word is rejected on a timeout. The time limit goes toward infinity. Due to the halting problem, whether a word is accepted can only be determined at runtime. It can be shown by Rice's theorem, if a finite set of words are to be checked, they all have to be tested by brute force.


title: The Church numbers in NF set theory

abstract: By INF we mean Quine's NF set theory, with intuitionistic logic. We define the Church numerals (or better, Church numbers) and elaborate their properties in INF. The Church counting axiom says that iterating successor $n$ times, starting at zero, results in $n$. With the aid of the counting axiom we prove that the set of Church numbers is infinite. This is a new result even with classical logic; that is, just because there is some infinite set, it is not immediate that the set of Church numbers is infinite. Specker showed in 1953 that classical NF proves the existence of an infinite set. It has long been an open problem whether INF can prove that. Now we show that it can be done intuitionistically, with the aid of the Church counting axiom. We also prove, without the aid of the counting axiom, that if the set of Church numbers is not finite, then it is infinite, and Church successor is one-to-one. Consequently, Heyting's arithmetic is interpretable in INF plus the Church counting axiom.


title: Multi-Server Private Linear Computation with Joint and Individual Privacy Guarantees

abstract: This paper considers the problem of multi-server Private Linear Computation, under the joint and individual privacy guarantees. In this problem, identical copies of a dataset comprised of $K$ messages are stored on $N$ non-colluding servers, and a user wishes to obtain one linear combination of a $D$-subset of messages belonging to the dataset. The goal is to design a scheme for performing the computation such that the total amount of information downloaded from the servers is minimized, while the privacy of the $D$ messages required for the computation is protected. When joint privacy is required, the identities of all of these $D$ messages must be kept private jointly, and when individual privacy is required, the identity of every one of these $D$ messages must be kept private individually. In this work, we characterize the capacity, which is defined as the maximum achievable download rate, under both joint and individual privacy requirements. In particular, we show that when joint privacy is required the capacity is given by ${(1+1/N+\dots+1/N^{K-D})^{-1}}$, and when individual privacy is required the capacity is given by ${(1+1/N+\dots+1/N^{\lceil K/D\rceil-1})^{-1}}$ assuming that $D$ divides $K$, or $K\pmod D$ divides $D$. Our converse proofs are based on reduction from two variants of the multi-server Private Information Retrieval problem in the presence of side information. Our achievability schemes build up on our recently proposed schemes for single-server Private Linear Transformation and the multi-server private computation scheme proposed by Sun and Jafar. Using similar proof techniques, we also establish upper and lower bounds on the capacity for the cases in which the user wants to compute $L$ (potentially more than one) linear combinations.


title: Tailored generation of quantum states in an entangled spinor interferometer to overcome detection noise

abstract: We theoretically investigate how entangled atomic states generated via spin-changing collisions in a spinor Bose-Einstein condensate can be designed and controllably prepared for atom interferometry that is robust against common technical issues, such as limited detector resolution. We use analytic and numerical treatments of the spin-changing collision process to demonstrate that triggering the entangling collisions with a small classical seed rather than vacuum fluctuations leads to a more robust and superior sensitivity when technical noise is accounted for, despite the generated atomic state ideally featuring less metrologically useful entanglement. Our results are relevant for understanding how entangled atomic states are best designed and generated for use in quantum-enhanced matter-wave interferometry.


title: On the bipolarity of Wolf-Rayet nebulae

abstract: Wolf-Rayet stars are amongst the rarest but also most intriguing massive stars. Their extreme stellar winds induce famous multi-wavelength circumstellar gas nebulae of various morphologies, spanning from circles and rings to bipolar shapes. This study is devoted to the investigation of the formation of young, asymmetric Wolf-Rayet gas nebulae and we present a 2.5-dimensional magneto-hydrodynamical toy model for the simulation of Wolf-Rayet gas nebulae generated by wind-wind interaction. Our method accounts for stellar wind asymmetries, rotation, magnetisation, evolution and mixing of materials. It is found that the morphology of the Wolf-Rayet nebulae of blue supergiant ancestors is tightly related to the wind geometry and to the stellar phase transition time interval, generating either a broadened peanut-like or a collimated jet-like gas nebula. Radiative transfer calculations of our Wolf-Rayet nebulae for dust infrared emission at 24 $\mu$m show that the projected diffuse emission can appear as oblate, bipolar, ellipsoidal or ring structures. Important projection effects are at work in shaping observed Wolf-Rayet nebulae. This might call a revision of the various classifications of Wolf-Rayet shells, which are mostly based on their observed shape. Particularly, our models question the possibility of producing pre-Wolf-Rayet wind asymmetries, responsible for bipolar nebulae like NGC 6888, within the single red supergiant evolution channel scenario. We propose that bipolar Wolf-Rayet nebulae can only be formed within the red supergiant scenario by multiple/merged massive stellar systems, or by single high-mass stars undergoing additional, e.g. blue supergiant, evolutionary stages prior to the Wolf-Rayet phase.


title: MG-GAN: A Multi-Generator Model Preventing Out-of-Distribution Samples in Pedestrian Trajectory Prediction

abstract: Pedestrian trajectory prediction is challenging due to its uncertain and multimodal nature. While generative adversarial networks can learn a distribution over future trajectories, they tend to predict out-of-distribution samples when the distribution of future trajectories is a mixture of multiple, possibly disconnected modes. To address this issue, we propose a multi-generator model for pedestrian trajectory prediction. Each generator specializes in learning a distribution over trajectories routing towards one of the primary modes in the scene, while a second network learns a categorical distribution over these generators, conditioned on the dynamics and scene input. This architecture allows us to effectively sample from specialized generators and to significantly reduce the out-of-distribution samples compared to single generator methods.


title: A Recommender System for Scientific Datasets and Analysis Pipelines

abstract: Scientific datasets and analysis pipelines are increasingly being shared publicly in the interest of open science. However, mechanisms are lacking to reliably identify which pipelines and datasets can appropriately be used together. Given the increasing number of high-quality public datasets and pipelines, this lack of clear compatibility threatens the findability and reusability of these resources. We investigate the feasibility of a collaborative filtering system to recommend pipelines and datasets based on provenance records from previous executions. We evaluate our system using datasets and pipelines extracted from the Canadian Open Neuroscience Platform, a national initiative for open neuroscience. The recommendations provided by our system (AUC$=0.83$) are significantly better than chance and outperform recommendations made by domain experts using their previous knowledge as well as pipeline and dataset descriptions (AUC$=0.63$). In particular, domain experts often neglect low-level technical aspects of a pipeline-dataset interaction, such as the level of pre-processing, which are captured by a provenance-based system. We conclude that provenance-based pipeline and dataset recommenders are feasible and beneficial to the sharing and usage of open-science resources. Future work will focus on the collection of more comprehensive provenance traces, and on deploying the system in production.


title: Quantum to Classical Walk Transitions Tuned by Spontaneous Emissions

abstract: We have realized a quantum walk in momentum space with a rubidium spinor Bose-Einstein condensate by applying a periodic kicking potential as a walk operator and a resonant microwave pulse as a coin toss operator. The generated quantum walks appear to be stable for up to ten steps and then quickly transit to classical walks due to spontaneous emissions induced by laser beams of the walk operator. We investigate these quantum to classical walk transitions by introducing well controlled spontaneous emissions with an external light source during quantum walks. Our findings demonstrate a scheme to control the robustness of the quantum walks and can also be applied to other cold atom experiments involving spontaneous emissions.


title: MHealth: An Artificial Intelligence Oriented Mobile Application for Personal Healthcare Support

abstract: Main objective of this study is to introduce an expert system-based mHealth application that takes Artificial Intelligence support by considering previously introduced solutions from the literature and employing possible requirements for a better solution. Thanks to that research study, a mobile software system having Artificial Intelligence support and providing dynamic support against the common health problems in daily life was designed-developed and it was evaluated via survey and diagnosis-based evaluation tasks. Evaluation tasks indicated positive outcomes for the mHealth system.


title: A New Asymmetric Copula with Reversible Correlations and Its Application to the EU Sovereign Debt Crisis

abstract: This paper proposes a novel asymmetric copula based upon bivariate split normal distribution. This copula can change correlation signs of its upper and lower tails of distribution independently. As an application, it is shown by the rolling maximum likelihood estimation that the EU periphery countries changed sign of the lower tail correlation coefficient from negative to positive after the sovereign debt crisis started. In contrast, Germany had negative stock-bond correlation before and after the crisis.


title: Cluster algebras and their bases

abstract: We give a brief introduction to (upper) cluster algebras and their quantization using examples. Then we present several important families of bases for these algebras using topological models. We also discuss tropical properties of these bases and their relation to representation theory. This article is an extended version of the talk given at the 19th International Conference on Representations of Algebras (ICRA 2020).


title: Convergence theorems for several decomposition type non-linear integrals

abstract: These are classified by the direction of approximation (from above or below), the set family types (partition or covering) of simple functions, the coefficient signature (non-negative or signed), and cardinal number of terms of simple functions(finite or countable infinite). We will compare these integrals considering the monotone increasing/decreasing convergence theorems.


title: Holographic and QFT Complexity with angular momentum

abstract: We study the influence of angular momentum on quantum complexity for CFT states holographically dual to rotating black holes. Using the holographic complexity=action (CA) and complexity=volume (CV) proposals, we study the full time dependence of complexity and the complexity of formation for two dimensional states dual to rotating BTZ. The obtained results and their dependence on angular momentum turn out to be analogous to those of charged states dual to Reissner-Nordstr\"om AdS black holes. For CA, our computation carefully accounts for the counterterm in the gravity action, which was not included in previous analysis in the literature. This affects the complexity early time dependence and its effect becomes negligible close to extremality. In the grand canonical ensemble, the CA and CV complexity of formation are linear in the temperature, and diverge with the same structure in the speed of light angular velocity limit. For CA the inclusion of the counterterm is crucial for both effects. We also address the problem of studying holographic complexity for higher dimensional rotating black holes, focusing on the four dimensional Kerr-AdS case. Carefully taking into account all ingredients, we show that the late time limit of the CA growth rate saturates the expected bound, and find the CV complexity of formation of large black holes diverges in the critical angular velocity limit. Our holographic analysis is complemented by the study of circuit complexity in a two dimensional free scalar model for a thermofield double (TFD) state with angular momentum. We show how this can be given a description in terms of non-rotating TFD states introducing mode-by-mode effective temperatures and times. We comment on the similarities and differences of the holographic and QFT complexity results.


title: The n-ary Initial Literal and Literal Shuffle

abstract: The literal and the initial literal shuffle have been introduced to model the behavior of two synchronized processes. However, it is not possible to describe the synchronization of multiple processes. Furthermore, both restricted forms of shuffling are not associative. Here, we extend the literal shuffle and the initial literal shuffle to multiple arguments. We also introduce iterated versions, much different from the iterated ones previously introduced for the binary literal and initial literal shuffle. We investigate formal properties, and show that in terms of expressive power, in a full trio, they coincide with the general shuffle. Furthermore, we look at closure properties with respect to the regular, context-free, context-sensitive, recursive and recursively enumerable languages for all operations introduced. Then, we investigate various decision problems motivated by analogous problems for the (ordinary) shuffle operation. Most problems we look at are tractable, but we also identify one intractable decision problem.


title: Measurement of the $B^0_s\to\mu^+\mu^-$ decay properties and search for the $B^0\to\mu^+\mu^-$ and $B^0_s\to\mu^+\mu^-\gamma$ decays

abstract: An improved measurement of the decay $B^0_s\to\mu^+\mu^-$ and searches for the decays $B^0\to\mu^+\mu^-$ and $B^0_s\to\mu^+\mu^-\gamma$ are performed at the LHCb experiment using data collected in proton-proton collisions at $\sqrt{s} = 7,~8$ and $13$ TeV, corresponding to integrated luminosities of 1, 2 and 6 fb$^{-1}$, respectively. The $B^0_s\to\mu^+\mu^-$ branching fraction and effective lifetime are measured to be ${\mathcal{B}}(B^0_s\to\mu^+\mu^-)=\left(3.09^{+0.46+0.15}_{-0.43-0.11}\right)\times 10^{-9}$ and $\tau(B^0_s\to\mu^+\mu^-)=(2.07\pm 0.29\pm 0.03)$ ps, respectively, where the uncertainties include both statistical and systematic contributions. No significant signal for $B^0\to\mu^+\mu^-$ and $B^0_s\to\mu^+\mu^-\gamma$ decays is found and the upper limits $\mathcal{B}(B^0\to\mu^+\mu^-)<2.6\times 10^{-10}$ and $\mathcal{B}(B^0_s\to\mu^+\mu^-\gamma)<2.0\times 10^{-9}$ at 95% confidence level are determined, where the latter is limited to the range $m_{\mu\mu} > 4.9$ GeV$/c^2$. Additionally, the ratio between the $B^0\to\mu^+\mu^-$ and $B^0_s\to\mu^+\mu^-$ branching fractions is measured to be $\mathcal{R}_{\mu^+\mu^-}<0.095$ at 95% confidence level. The results are in agreement with the Standard Model predictions.


title: Analysis of neutral $B$-meson decays into two muons

abstract: Branching fraction and effective lifetime measurements of the rare decay $B^0_s\to\mu^+\mu^-$ and searches for the decays $B^0\to\mu^+\mu^-$ and $B^0_s\to\mu^+\mu^-\gamma$ are reported using proton-proton collision data collected with the LHCb detector at centre-of-mass energies of $7$ TeV, $8$ TeV and $13$ TeV, corresponding to a luminosity of $9$ fb$^{-1}$. The branching fraction ${\mathcal{B}}(B^0_s\to\mu^+\mu^-)=\left(3.09^{+0.46+0.15}_{-0.43-0.11}\right)\times 10^{-9}$ and the effective lifetime $\tau(B^0_s\to\mu^+\mu^-)=(2.07\pm 0.29\pm 0.03)$ are measured, where the first uncertainty is statistical and the second systematic. No significant signal for $B^0\to\mu^+\mu^-$ and $B^0_s\to\mu^+\mu^-\gamma$ decays is found and upper limits $\mathcal{B}(B^0\to\mu^+\mu^-)<2.6\times 10^{-10}$ and $\mathcal{B}(B^0_s\to\mu^+\mu^-\gamma)<2.0\times 10^{-9}$ at the 95% CL are determined, where the latter is limited to the range $m_{\mu\mu} > 4.9$ GeV$/c^2$. The results are in agreement with the Standard Model expectations.


title: Zoom, Enhance! Measuring Surveillance GAN Up-sampling

abstract: Deep Neural Networks have been very successfully used for many computer vision and pattern recognition applications. While Convolutional Neural Networks(CNNs) have shown the path to state of art image classifications, Generative Adversarial Networks or GANs have provided state of art capabilities in image generation. In this paper we extend the applications of CNNs and GANs to experiment with up-sampling techniques in the domains of security and surveillance. Through this work we evaluate, compare and contrast the state of art techniques in both CNN and GAN based image and video up-sampling in the surveillance domain. As a result of this study we also provide experimental evidence to establish DISTS as a stronger Image Quality Assessment(IQA) metric for comparing GAN Based Image Up-sampling in the surveillance domain.


title: Inherent Structure Landscape of Hard Spheres Confined to Narrow Cylindrical Channels

abstract: The inherent structure landscape for a system of hard spheres confined to a hard cylindrical channel, such that spheres can only contact their first and second neighbours, is studied using an analytical model that extends previous results [Phys. Rev. Lett. 115, 025702 (2015)] to provide a comprehensive picture of jammed packings over a range of packing densities. In the model, a packing is described as an arrangement of $k$ helical sections, separated by defects, that have alternating helical twist directions and where all spheres satisfy local jamming constraints. The structure of each helical section is determined by a single helical twist angle, and a jammed packing is obtained by minimizing the length of the channel per particle with respect to the $k$ helical section angles. An analysis of a small system of $N=20$ spheres shows that the basins on the inherent structure landscape associated with these helical arrangements split into a number of distinct jammed states separated by low barriers giving rise to a degree of hierarchical organization. The model accurately predicts the geometric properties of packings generated using the Lubachevsky and Stillinger compression scheme ($N=10^4$) and provides insight into the nature of the probability distribution of helical section lengths.


title: Cosmic birefringence tomography and calibration-independence with reionization signals in the CMB

abstract: The search for cosmic polarization rotation or birefringence in the CMB is well-motivated because it can provide powerful constraints on parity-violating new physics, such as axion-like particles. In this paper we point out that since the CMB polarization is produced at two very different redshifts - it is generated at both reionization and recombination - new parity-violating physics can generically rotate the polarization signals from these different sources by different amounts. We explore two implications of this. First, measurements of CMB birefringence are challenging because the effect is degenerate with a miscalibration of CMB polarization angles; however, by taking the difference of the reionization and recombination birefringence angles (measured from different CMB angular scales), we can obtain a cosmological signal that is immune to instrumental angle miscalibration. Second, we note that the combination with other methods for probing birefringence can give tomographic information, constraining the redshift origin of any physics producing birefringence. We forecast that the difference of the reionization and recombination birefringence angles can be competitively determined to within ~0.05 degrees for future CMB satellites such as LiteBIRD. Although much further work is needed, we argue that foreground mitigation for this measurement should be less challenging than for inflationary B-mode searches on similar scales due to larger signals and lower foregrounds.


title: SILVERRUSH. XI. Intensity Mapping for Lya Emission Extending over $100-1000$ comoving kpc around $z\sim2-7$ LAEs with Subaru HSC-SSP and CHORUS Data

abstract: We conduct intensity mapping to probe for extended diffuse Ly$\alpha$ emission around Ly$\alpha$ emitters (LAEs) at $z\sim2-7$, exploiting very deep ($\sim26$ mag at $5\sigma$) and large-area ($\sim4.5$ deg$^2$) Subaru/Hyper Suprime-Cam narrow-band (NB) images and large LAE catalogs consisting of a total of 1781 LAEs at $z=2.2$, $3.3$, $5.7$, and $6.6$ obtained by the HSC-SSP SILVERRUSH and CHORUS projects. We calculate the spatial correlations of these LAEs with $\sim1-2$ billion pixel flux values of the NB images, deriving the average Ly$\alpha$ surface brightness (${\rm SB_{Ly\alpha}}$) radial profiles around the LAEs. By carefully estimating systematics such as fluctuations of sky background and point spread functions, we detect diffuse Ly$\alpha$ emission ($\sim10^{-20}-10^{-19}$ erg s$^{-1}$ cm$^{-2}$ arcsec$^{-2}$) at $100-1000$ comoving kpc around $z=3.3$ LAEs at the $4.1\sigma$ level and tentatively ($\sim2\sigma$) at the other redshifts, beyond the virial radius of a dark-matter halo with a mass of $10^{11}\ M_\odot$. While the observed ${\rm SB_{Ly\alpha}}$ profiles have similar amplitudes at $z=2.2-6.6$ within the uncertainties, the intrinsic ${\rm SB_{Ly\alpha}}$ profiles (corrected for the cosmological dimming effect) increase toward high redshifts. This trend may be explained by increasing hydrogen gas density due to the evolution of the cosmic volume. Comparisons with theoretical models suggest that extended Ly$\alpha$ emission around a LAE is powered by resonantly scattered Ly$\alpha$ photons in the CGM and IGM that originates from the inner part of the LAE, and/or neighboring galaxies around the LAE.


title: Eliciting Social Knowledge for Creditworthiness Assessment

abstract: Access to capital is a major constraint for economic growth in the developing world. Yet those attempting to lend in this space face high defaults due to their inability to distinguish creditworthy borrowers from the rest. In this paper, we propose two novel scoring mechanisms that incentivize community members to truthfully report their signal on the creditworthiness of others in their community. We first design a truncated asymmetric scoring-rule for a setting where the lender has no liquidity constraints. We then derive a novel, strictly-proper VCG scoring mechanism for the liquidity-constrained setting. Whereas Chen et al. [2011] give an impossibility result for an analogous setting in which sequential reports are made in the context of decision markets, we achieve a positive result through appeal to interim beliefs about the reports of others in a setting with simultaneous reports.Moreover, the use of VCG methods allows for the integration of linear belief aggregation methods.


title: Variants of the Gale-Berlekamp Switching Game and their Solutions: Balancing the Rectangle and the Cube

abstract: The Gale-Berlekamp Light Switching Game is played on a square board of lights. Each light has two states, either on or off. There is a switch to every row and column. Turning this switch would change the state of all the lights on that row or column. The aim of the game is to minimise the imbalance in the board, defined to be the absolute difference between the number of lights switched on and that of lights switched off. We investigate variants of the game for an $m \times n$ matrix with n even and $m \le n$. We provide a constructive proof that for any $m \times n$ rectangle matrix $A$, there exists $x \in (\pm 1)^n$ and $y \in (\pm 1)^m$ such that $|yAx| \le 2$. i.e. column and row switches to reduce the imbalance to at most $2$, construct a complete Python routine to find these switches, and test run the algorithm against randomly generated initial board configurations. We then expand the game to a three-dimensional $n \times n \times n$ cube, with corresponding row, column, and layer switches. We define a minimum threshold $P_n$, such that the imbalance can always be reduced to at most $P_n$, for all initial states of the cube. We then provide an existential proof that $P_2 = 2$ and $P_4 = 4$.


title: Analyzing the Behavior of Soccer Fans from a Mobile Phone Network Perspective: Euro 2016, a Case Study

abstract: In this study, we analyzed one month of Call Detail Records, covering Budapest in June, 2016. During this observation period, the 2016 UEFA European Football Championship took place, where the Hungarian national football team did well, beyond expectations. This case study focuses on the fans' behavior in Budapest, during and after the Hungarian matches, from the perspective of the mobile phone network data. Tense rooting, joy of scoring a goal, self-forgetting celebration because of winning the group. All of these have an effect on the data, that can be simply revealed. We used descriptive statistical methods to analyze the available data set, and managed to demonstrate the potential of this kind of data at social sensing. We found that the mobile phone network activity reflects the football fans' behavior, even if the match is played in another country.


title: Network-wide link travel time and station waiting time estimation using automatic fare collection data: A computational graph approach

abstract: Urban rail transit (URT) system plays a dominating role in many megacities like Beijing and Hong Kong. Due to its important role and complex nature, it is always in great need for public agencies to better understand the performance of the URT system. This paper focuses on an essential and hard problem to estimate the network-wide link travel time and station waiting time using the automatic fare collection (AFC) data in the URT system, which is beneficial to better understand the system-wide real-time operation state. The emerging data-driven techniques, such as computational graph (CG) models in the machine learning field, provide a new solution for solving this problem. In this study, we first formulate a data-driven estimation optimization framework to estimate the link travel time and station waiting time. Then, we cast the estimation optimization model into a CG framework to solve the optimization problem and obtain the estimation results. The methodology is verified on a synthetic URT network and applied to a real-world URT network using the synthetic and real-world AFC data, respectively. Results show the robustness and effectiveness of the CG-based framework. To the best of our knowledge, this is the first time that the CG is applied to the URT. This study can provide critical insights to better understand the operational state in URT.


title: Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions

abstract: There is burgeoning interest in designing AI-based systems to assist humans in designing computing systems, including tools that automatically generate computer code. The most notable of these comes in the form of the first self-described `AI pair programmer', GitHub Copilot, a language model trained over open-source GitHub code. However, code often contains bugs - and so, given the vast quantity of unvetted code that Copilot has processed, it is certain that the language model will have learned from exploitable, buggy code. This raises concerns on the security of Copilot's code contributions. In this work, we systematically investigate the prevalence and conditions that can cause GitHub Copilot to recommend insecure code. To perform this analysis we prompt Copilot to generate code in scenarios relevant to high-risk CWEs (e.g. those from MITRE's "Top 25" list). We explore Copilot's performance on three distinct code generation axes -- examining how it performs given diversity of weaknesses, diversity of prompts, and diversity of domains. In total, we produce 89 different scenarios for Copilot to complete, producing 1,689 programs. Of these, we found approximately 40% to be vulnerable.


title: Studying hadronization at LHCb

abstract: LHCb is a fully instrumented forward spectrometer with particle identification and muon reconstruction covering the pseudorapidity ($\eta$) range from 2 to 5. Its full jet reconstruction capability makes the LHCb experiment a suitable venue to explore jet substructure observables, particularly formation of hadrons and heavy quarkonia resonances inside jets. This contribution presents a brief overview of ongoing research program and discusses recent results on non-identified charged hadron distributions in Z-tagged jets and charmonium distributions within jets. Future works towards furthering the knowledge of hadronizion are also discussed.


title: Wide field-of-view flat lens: an analytical formalism

abstract: Wide field-of-view (FOV) optics are widely used in various imaging, display, and sensing applications. While conventional wide FOV optics rely on cascading multiple elements to suppress coma and other aberrations, it has recently been demonstrated that diffraction-limited, near-180 degree FOV operation can be achieved with a single-piece flat fisheye lens designed via iterative numerical optimization [Nano Lett. 20, 7429(2020)]. Here we derive an analytical solution to enable computationally efficient design of flat wide FOV lenses based on metasurfaces or diffractive optical elements (DOEs). Leveraging this analytical approach, we further quantified trade-offs between optical performance and design parameters in wide FOV metalenses.


title: Better bounds on mixed inequalities involving radial functions and applications

abstract: We prove mixed inequalities for the generalized maximal operator $M_\Phi$ when the function $v$ is a radial power function that fails to be locally integrable. Concretely, let $u$ be a weight, $v(x)=|x|^\beta$ with $\beta<-n$ and $r\geq 1$. If $\Phi$ is a Young function with certain properties, then the inequality \[uv^r\left(\left\{x\in\mathbb{R}^n: \frac{M_\Phi (fv)(x)}{v(x)}>t\right\}\right)\leq C\int_{\mathbb{R}^n}\Phi\left(\frac{|f(x)|}{t}\right)v^r(x)Mu(x)\,dx\] holds for every $t>0$ and every bounded function. This improves a similar mixed estimate proved in \cite{BCP-M}. As an application, we give mixed estimates for the generalized fractional maximal operator $M_{\gamma,\Phi}$, where $0<\gamma<n$ and $\Phi$ is of $L\log L$ type. A special case involving the fractional maximal operator $M_\gamma$ allows to obtain a similar estimate for the fractional integral operator $I_\gamma$ through an extrapolation result. Furthermore, we also give mixed estimates for commutators of singular integral Calder\'on-Zygmund operators and of $I_\gamma$, both with Lipschitz symbol.


title: Generating Electron Beam Lithography Write Parameters from the FORTIS Holographic Grating Solution

abstract: The Far-UV Off Rowland-circle Telescope for Imaging and Spectroscopy (FORTIS) has been successful in maturing technologies for carrying out multi-object spectroscopy in the far-UV, including: the successful implementation of the Next Generation of Microshutter Arrays; large-area microchannel plate detectors; and an aspheric "dual-order" holographically ruled diffraction grating with curved, variably-spaced grooves with a laminar (rectangular) profile. These optical elements were used to construct an efficient and minimalist "two-bounce" spectro-telescope in a Gregorian configuration. However, the susceptibility to Lyman alpha (Ly$\alpha$) scatter inherent to the dual order design has been found to be intractably problematic, motivating our move to an "Off-Axis" design. OAxFORTIS will mitigate its susceptibility to Ly$\alpha$ by enclosing the optical path, so the detector only receives light from the grating. The new design reduces the collecting area by a factor of 2, but the overall effective area can be regained and improved through the use of new high efficiency reflective coatings, and with the use of a blazed diffraction grating. This latter key technology has been enabled by recent advancements in creating very high efficiency blazed gratings with impressive smoothness using electron beam lithography and chemical etching to create grooves in crystalline silicon. Here we discuss the derivation for the OAxFORTIS grating solution as well as methods used to transform the FORTIS holographic grating recording parameters (following the formalism of Noda et al.1974a,b), into curved and variably-spaced rulings required to drive the electron beam lithography write-head in three dimensions. We will also discuss the process for selecting silicon wafers with the proper orientation of the crystalline planes and give an update on our fabrication preparations.


title: Structure and Interleavings of Relative Interlevel Set Cohomology

abstract: The relative interlevel set cohomology (RISC) is an invariant of real-valued continuous functions closely related to the Mayer--Vietoris pyramid introduced by Carlsson, de Silva, and Morozov. As such, the relative interlevel set cohomology is a parametrization of the cohomology vector spaces of all open interlevel sets relative complements of closed interlevel sets. We provide a structure theorem, which applies to the RISC of real-valued continuous functions whose open interlevel sets have finite-dimensional cohomology in each degree. Moreover, we show this tameness assumption is in some sense equivalent to $q$-tameness as introduced by Chazal, de Silva, Glisse, and Oudot. Furthermore, we provide the notion of an interleaving for RISC and we show that it is stable in the sense that any space with two functions that are $\delta$-close induces a $\delta$-interleaving of the corresponding relative interlevel set cohomologies. Finally, we provide an elementary form of quantitative homotopy invariance for RISC.


title: Gravitational Wave and CMB Probes of Axion Kination

abstract: Rotations of an axion field in field space provide a natural origin for an era of kination domination, where the energy density is dominated by the kinetic term of the axion field, preceded by an early era of matter domination. Remarkably, no entropy is produced at the end of matter domination and hence these eras of matter and kination domination may occur even after Big Bang Nucleosynthesis. We derive constraints on these eras from both the cosmic microwave background and Big Bang Nucleosynthesis. We investigate how this cosmological scenario affects the spectrum of possible primordial gravitational waves and find that the spectrum features a triangular peak. We discuss how future observations of gravitational waves can probe the viable parameter space, including regions that produce axion dark matter by the kinetic misalignment mechanism or the baryon asymmetry by axiogenesis. For QCD axion dark matter produced by the kinetic misalignment mechanism, a modification to the inflationary gravitational wave spectrum occurs above 0.01 Hz and, for high values of the energy scale of inflation, the prospects for discovery are good. We briefly comment on implications for structure formation of the universe.


title: Topological phase, spin Chern-Simons theory and level rank duality on lens space

abstract: We study a method to compute a topological phase factor of partition function for pure Chern-Simons theory incorporating the supersymmetric localization. We develop a regularization preserving supersymmetry and the topological phase appears as a result of the supersymmetric regularization. Applying this method to pure Chern-Simons theory on lens space we compute the background dependent phase factor coming from the Chern-Simons term. We confirm that the partition function computed in this method enjoys a couple of level rank dualities including the one recently proposed in arXiv:1607.07457 for all ranks and levels within our numerical calculation. We also present a phase factor with which the lens space partition function exhibits the perfect match between any level rank dual pair including the total phase.


title: Discriminative Region-based Multi-Label Zero-Shot Learning

abstract: Multi-label zero-shot learning (ZSL) is a more realistic counter-part of standard single-label ZSL since several objects can co-exist in a natural image. However, the occurrence of multiple objects complicates the reasoning and requires region-specific processing of visual features to preserve their contextual cues. We note that the best existing multi-label ZSL method takes a shared approach towards attending to region features with a common set of attention maps for all the classes. Such shared maps lead to diffused attention, which does not discriminatively focus on relevant locations when the number of classes are large. Moreover, mapping spatially-pooled visual features to the class semantics leads to inter-class feature entanglement, thus hampering the classification. Here, we propose an alternate approach towards region-based discriminability-preserving multi-label zero-shot classification. Our approach maintains the spatial resolution to preserve region-level characteristics and utilizes a bi-level attention module (BiAM) to enrich the features by incorporating both region and scene context information. The enriched region-level features are then mapped to the class semantics and only their class predictions are spatially pooled to obtain image-level predictions, thereby keeping the multi-class features disentangled. Our approach sets a new state of the art on two large-scale multi-label zero-shot benchmarks: NUS-WIDE and Open Images. On NUS-WIDE, our approach achieves an absolute gain of 6.9% mAP for ZSL, compared to the best published results.


title: Growth and Characterization of Off-Stoichiometric LaVO$_3$ Thin Films

abstract: LaVO$_3$ (LVO) has been proposed as a promising material for photovoltaics because its strongly correlated \textit{d} electrons can facilitate the creation of multiple electron-hole pairs per incoming photon, which would lead to increased device efficiency. In this study, we intentionally grow off-stoichiometric LVO films by changing the growth conditions such as laser fluence. Our aim is to study how deviating La:V stoichiometries affect the electronic properties of LVO thin films. We find that the off-stoichiometry clearly alters the physical properties of the films. Structural characterization shows that both La-rich and V-rich films have different levels of structural distortion, with La-rich (V-rich) films showing a larger (smaller) out-of-plane lattice parameter compared to what one would expect from epitaxial strain effects alone. Both types of films show deviation from the behavior of bulk LVO in optical measurement, i.e., they do not show signatures of the expected long range orbital order, which can be a result of the structural distortions or the presence of structural domains. In transport measurements, La-rich films display clear signatures of electronic phase separation accompanying a temperature induced metal-insulator transition, while V-rich films behave as Mott insulators. The out-of-plane lattice parameter plays a crucial role in determining the transport properties, as the crossover from Mott-insulating to disorder-induced phase-separated behavior occurs around a lattice parameter value of 3.96 $\overset{\circ}{\mathrm{A}}$, quite different from what has been previously reported.


title: $K$-theory for real $k$-graph $C^*$-algebras

abstract: We initiate the study of real $C^*$-algebras associated to higher-rank graphs $\Lambda$, with a focus on their $K$-theory. Following Kasparov and Evans, we identify a spectral sequence which computes the $\mathcal{CR}$ $K$-theory of $C^*_{\mathbb R} (\Lambda, \gamma)$ for any involution $\gamma$ on $\Lambda$, and show that the $E^2$ page of this spectral sequence can be straightforwardly computed from the combinatorial data of the $k$-graph $\Lambda$ and the involution $\gamma$. We provide a complete description of $K^{CR}(C^*_{\mathbb R}(\Lambda, \gamma))$ for several examples of higher-rank graphs $\Lambda$ with involution.


title: Smart Adaptive Mesh Refinement with NEMoSys

abstract: Adaptive mesh refinement (AMR) offers a practical solution to reduce the computational cost and memory requirement of numerical simulations that use computational meshes. In this work, we introduce a novel smart methodology for adaptive mesh refinement. Smart adaptive refinement blends classical AMR with machine learning to address some of the known issues of the conventional approaches. We provide an algorithm for adaptive refinement. Subsequently, we introduce a modular object-oriented structure for our smart AMR algorithm. Then we present procedures used for the training of a smart AMR model. The study follows with a demonstration of preliminary numerical studies indicating the feasibility of performing adaptive mesh refinement on a few demonstrative problems selected from the CFD domain. Finally, we conclude with a few comments about future work.


title: Data-driven Smart Ponzi Scheme Detection

abstract: A smart Ponzi scheme is a new form of economic crime that uses Ethereum smart contract account and cryptocurrency to implement Ponzi scheme. The smart Ponzi scheme has harmed the interests of many investors, but researches on smart Ponzi scheme detection is still very limited. The existing smart Ponzi scheme detection methods have the problems of requiring many human resources in feature engineering and poor model portability. To solve these problems, we propose a data-driven smart Ponzi scheme detection system in this paper. The system uses dynamic graph embedding technology to automatically learn the representation of an account based on multi-source and multi-modal data related to account transactions. Compared with traditional methods, the proposed system requires very limited human-computer interaction. To the best of our knowledge, this is the first work to implement smart Ponzi scheme detection through dynamic graph embedding. Experimental results show that this method is significantly better than the existing smart Ponzi scheme detection methods.