title: STENCIL-NET: Data-driven solution-adaptive discretization of partial differential equations

abstract: Numerical methods for approximately solving partial differential equations (PDE) are at the core of scientific computing. Often, this requires high-resolution or adaptive discretization grids to capture relevant spatio-temporal features in the PDE solution, e.g., in applications like turbulence, combustion, and shock propagation. Numerical approximation also requires knowing the PDE in order to construct problem-specific discretizations. Systematically deriving such solution-adaptive discrete operators, however, is a current challenge. Here we present STENCIL-NET, an artificial neural network architecture for data-driven learning of problem- and resolution-specific local discretizations of nonlinear PDEs. STENCIL-NET achieves numerically stable discretization of the operators in an unknown nonlinear PDE by spatially and temporally adaptive parametric pooling on regular Cartesian grids, and by incorporating knowledge about discrete time integration. Knowing the actual PDE is not necessary, as solution data is sufficient to train the network to learn the discrete operators. A once-trained STENCIL-NET model can be used to predict solutions of the PDE on larger spatial domains and for longer times than it was trained for, hence addressing the problem of PDE-constrained extrapolation from data. To support this claim, we present numerical experiments on long-term forecasting of chaotic PDE solutions on coarse spatio-temporal grids. We also quantify the speed-up achieved by substituting base-line numerical methods with equation-free STENCIL-NET predictions on coarser grids with little compromise on accuracy.


title: Asymptotic results for families of power series distributions

abstract: In this paper we consider suitable families of power series distributed random variables, and we study their asymptotic behavior in the fashion of large (and moderate) deviations. We also present two examples of fractional counting processes, where the normalizations of the involved power series distributions can be expressed in terms of the Prabhakar function. The first example allows to consider the counting process in \cite{PoganyTomovski}, the second one is inspired by a model studied in \cite{GarraOrsingherPolito}.


title: Temporal-Relational CrossTransformers for Few-Shot Action Recognition

abstract: We propose a novel approach to few-shot action recognition, finding temporally-corresponding frame tuples between the query and videos in the support set. Distinct from previous few-shot works, we construct class prototypes using the CrossTransformer attention mechanism to observe relevant sub-sequences of all support videos, rather than using class averages or single best matches. Video representations are formed from ordered tuples of varying numbers of frames, which allows sub-sequences of actions at different speeds and temporal offsets to be compared. Our proposed Temporal-Relational CrossTransformers (TRX) achieve state-of-the-art results on few-shot splits of Kinetics, Something-Something V2 (SSv2), HMDB51 and UCF101. Importantly, our method outperforms prior work on SSv2 by a wide margin (12%) due to the its ability to model temporal relations. A detailed ablation showcases the importance of matching to multiple support set videos and learning higher-order relational CrossTransformers.


title: Spoofing attack detection in dynamic channels with imperfect CSI

abstract: Recently, channel state information (CSI) at the physical-layer has been utilized to detect spoofing attacks in wireless communications. However, due to hardware impairments and communication noise, the CSI cannot be estimated accurately, which significantly degrades the attack detection performance. Besides, the reliability of CSI based detection schemes is challenged by time-varying scenarios. To address these issues, we propose an adaptive Kalman based detection scheme. By utilizing the knowledge of the predicted channel we eliminate the channel estimation error, especially the random phase error which occurs due to the lack of synchronization between transmitter and receiver. Furthermore, we define a Kalman residual based test statistic for attack detection. Simulation results show that our proposed scheme makes the detection more robust at low signal-to-noise ratio (SNR) and in dynamic scenarios.


title: Kalman filter based MIMO CSI phase recovery for COTS WiFi devices

abstract: Recently channel state information (CSI) measurements from commercial multi input multi output (MIMO) WiFi systems have been ubiquitously used for different wireless sensing applications. However, the phase of the CSI realizations is usually distorted severely by phase errors due to the hardware impairments, which significantly reduce the sensing performance. In this paper, we directly utilize the modeling of the phase distortions caused by the hardware impairments and propose an adaptive CSI estimation approach based on Kalman filter (KF) with maximum a posteriori (MAP) estimation that considers the CSI from the previous time. The performance of the proposed algorithm is compared against the Cramer Rao lower bound (CRLB). Simulation and experimental results demonstrate that our approach can track the channel variations while eliminating the phase errors accurately.


title: Two Dimensional Turbulence in a Massless Fluid with a Relativistic Lattice Boltzmann Model

abstract: We investigate a relativistic adaptation of the Lattice Boltzmann Method that reproduces the equations of motion for a turbulent, two-dimensional, massless hydrodynamic system. The classical Lattice Boltzmann Method and its extension to relativistic fluid dynamics is described. The numeric formulation is evaluated using a zero-averaged stirring force introduced into the numerics to induce turbulence, and the flow characteristics produced are compared to properties of a classical turbulent hydrodynamic flow. The model can reasonably be expected to offer quantitative simulations of electron fluid flows in graphene or Kagome lattices.

categories: physics.flu-dyn astro-ph.HE cond-mat.str-el nucl-th


title: Private Tabular Survey Data Products through Synthetic Microdata Generation

abstract: We propose two synthetic microdata approaches to generate private tabular survey data products for public release. We adapt a pseudo posterior mechanism that downweights by-record likelihood contributions with weights $\in [0,1]$ based on their identification disclosure risks to producing tabular products for survey data. Our method applied to an observed survey database achieves an asymptotic global probabilistic differential privacy guarantee. Our two approaches synthesize the observed sample distribution of the outcome and survey weights, jointly, such that both quantities together possess a privacy guarantee. The privacy-protected outcome and survey weights are used to construct tabular cell estimates (where the cell inclusion indicators are treated as known and public) and associated standard errors to correct for survey sampling bias. Through a real data application to the Survey of Doctorate Recipients public use file and simulation studies motivated by the application, we demonstrate that our two microdata synthesis approaches to construct tabular products provide superior utility preservation as compared to the additive-noise approach of the Laplace Mechanism. Moreover, our approaches allow the release of microdata to the public, enabling additional analyses at no extra privacy cost.


title: Hybrid Quantum-Classical Graph Convolutional Network

abstract: The high energy physics (HEP) community has a long history of dealing with large-scale datasets. To manage such voluminous data, classical machine learning and deep learning techniques have been employed to accelerate physics discovery. Recent advances in quantum machine learning (QML) have indicated the potential of applying these techniques in HEP. However, there are only limited results in QML applications currently available. In particular, the challenge of processing sparse data, common in HEP datasets, has not been extensively studied in QML models. This research provides a hybrid quantum-classical graph convolutional network (QGCNN) for learning HEP data. The proposed framework demonstrates an advantage over classical multilayer perceptron and convolutional neural networks in the aspect of number of parameters. Moreover, in terms of testing accuracy, the QGCNN shows comparable performance to a quantum convolutional neural network on the same HEP dataset while requiring less than $50\%$ of the parameters. Based on numerical simulation results, studying the application of graph convolutional operations and other QML models may prove promising in advancing HEP research and other scientific fields.

categories: cs.LG cs.CV hep-ex physics.data-an quant-ph


title: Bell correlations in a split two-mode-squeezed Bose-Einstein condensate

abstract: We propose and analyze a protocol for observing a violation of the Clauser-Horne-Shimony-Holt (CHSH) Bell inequality using two spatially separated Bose-Einstein condensates (BECs). To prepare the Bell-correlated state, spin-changing collisions are used to first prepare a two-mode squeezed BEC. This is then split into two BECs by controlling the spatial wavefunction, e.g., by modifying the trapping potential. Finally, spin-changing collisions are also exploited locally, to compensate local squeezing terms. The correlators appearing in the inequality are evaluated using three different approaches. In the first approach, correlators are estimated using normalized expectation values of number operators, in a similar way to evaluating continuous-variable Bell inequalities. An improvement to this approach is developed using the sign-binning of total spin measurements, which allows for the construction of two-outcome measurements and violations of the CHSH inequality without auxiliary assumptions. Finally, we show a third approach where maximal violations of the CH inequality can be obtained by assigning zero values to local vacua outcomes under a no-enhancement assumption. The effect of loss and imperfect detection efficiency is investigated and the observed violations are found to be robust to noise.


title: Hamiltonian structures for integrable nonabelian difference equations

abstract: In this paper we extensively study the notion of Hamiltonian structure for nonabelian differential-difference systems, exploring the link between the different algebraic (in terms of double Poisson algebras and vertex algebras) and geometric (in terms of nonabelian Poisson bivectors) definitions. We introduce multiplicative double Poisson vertex algebras (PVAs) as the suitable noncommutative counterpart to multiplicative PVAs, used to describe Hamiltonian differential-difference equations in the commutative setting, and prove that these algebras are in one-to-one correspondence with the Poisson structures defined by difference operators, providing a sufficient condition for the fulfilment of the Jacobi identity. Moreover, we define nonabelian polyvector fields and their Schouten brackets, for both finitely generated noncommutative algebras and infinitely generated difference ones: this allows us to provide a unified characterisation of Poisson bivectors and double quasi-Poisson algebra structures. Finally, as an application we obtain some results towards the classification of local scalar Hamiltonian difference structures and construct the Hamiltonian structures for the nonabelian Kaup, Ablowitz-Ladik and Chen-Lee-Liu integrable lattices.


title: New Approximation Algorithms for Forest Closeness Centrality -- for Individual Vertices and Vertex Groups

abstract: The emergence of massive graph data sets requires fast mining algorithms. Centrality measures to identify important vertices belong to the most popular analysis methods in graph mining. A measure that is gaining attention is forest closeness centrality; it is closely related to electrical measures using current flow but can also handle disconnected graphs. Recently, [Jin et al., ICDM'19] proposed an algorithm to approximate this measure probabilistically. Their algorithm processes small inputs quickly, but does not scale well beyond hundreds of thousands of vertices. In this paper, we first propose a different approximation algorithm; it is up to two orders of magnitude faster and more accurate in practice. Our method exploits the strong connection between uniform spanning trees and forest distances by adapting and extending recent approximation algorithms for related single-vertex problems. This results in a nearly-linear time algorithm with an absolute probabilistic error guarantee. In addition, we are the first to consider the problem of finding an optimal group of vertices w.r.t. forest closeness. We prove that this latter problem is NP-hard; to approximate it, we adapt a greedy algorithm by [Li et al., WWW'19], which is based on (partial) matrix inversion. Moreover, our experiments show that on disconnected graphs, group forest closeness outperforms existing centrality measures in the context of semi-supervised vertex classification.


title: A Proposed Lean Distribution System for Solar Power Plants Using Mathematical Modeling and Simulation Technique

abstract: Today, power waste is one of the most crucial problems which power stations across the world are facing. One of the recent trends of the energy system is the lean management technique. When lean management is indicated by the system, customer value is increased and the waste process in industry or in a power station is reduced. In this paper, first of all, we propose mathematical modeling to reduce the cost of production, and then the simulation technique applies to electricity transmission distribution systems. Furthermore, we consider two criteria for comparison including the different costs of the system and the rate of energy waste during the transmission. The primary approach is to use both of the models in order to draw a comparison between simulation results and mathematical models. Finally, the analysis of the test results done by the CPLEX toolbox of MATLAB Software 2019 leads to a remarkable decrease in the costs of energy demand in the electricity transmitting network distribution system.


title: One-Dimensional Edge Contact to Encapsulated MoS2 with a Superconductor

abstract: Establishing ohmic contact to van der Waals semiconductors such as MoS2 is crucial to unlocking their full potential in next-generation electronic devices. Encapsulation of few layer MoS2 with hBN preserves the material's electronic properties but makes electrical contacts more challenging. Progress toward high quality edge contact to encapsulated MoS2 has been recently reported. Here, we evaluate a contact methodology using sputtered MoRe, a Type II superconductor with a relatively high critical field and temperature commonly used to induce superconductivity in graphene. We find that the contact transparency is poor and that the devices do not support a measurable supercurrent down to 3 Kelvin, which has ramifications for future fabrication recipes.


title: Switched Systems as Hybrid Programs

abstract: Real world systems of interest often feature interactions between discrete and continuous dynamics. Various hybrid system formalisms have been used to model and analyze this combination of dynamics, ranging from mathematical descriptions, e.g., using impulsive differential equations and switching, to automata-theoretic and language-based approaches. This paper bridges two such formalisms by showing how various classes of switched systems can be modeled using the language of hybrid programs from differential dynamic logic (dL). The resulting models enable the formal specification and verification of switched systems using dL and its existing deductive verification tools such as KeYmaera X. Switched systems also provide a natural avenue for the generalization of dL's deductive proof theory for differential equations. The completeness results for switched system invariants proved in this paper enable effective safety verification of those systems in dL.


title: Probing Subcellular Nanostructure of Engineered Human Cardiomyocytes in 3D Tissue

abstract: The structural and functional maturation of human induced pluripotent stem cell-derived cardiomyocytes (hiPSC-CMs) is essential for application to pharmaceutical testing, disease modeling, and ultimately therapeutic use. Multicellular 3D-tissue platforms have improved functional maturation of hiPSC-CMs, but probing cardiac contractile properties remains challenging in a 3D environment, especially at depth and in live tissues. Using small angle X-ray scattering (SAXS) images, we show that hiPSC-CMs, matured and examined in a 3D environment, exhibit periodic spatial arrangement of the myofilament lattice, which has not been previously detected in hiPSC-CMs. Contractile force is found to correlate with both scattering intensity (R2=0.44) and lattice spacing (R2=0.46). Scattering intensity also correlates with lattice spacing (R2=0.81), suggestive of lower noise in our structural measurement relative to the functional measurement. Notably, we observe decreased myofilament ordering in tissues with a myofilament mutation known to lead to hypertrophic cardiomyopathy (HCM). Our results highlight the progress of human cardiac tissue engineering and enable unprecedented study of structural maturation in hiPSC-CMs.


title: Deciding What to Learn: A Rate-Distortion Approach

abstract: Agents that learn to select optimal actions represent a prominent focus of the sequential decision-making literature. In the face of a complex environment or constraints on time and resources, however, aiming to synthesize such an optimal policy can become infeasible. These scenarios give rise to an important trade-off between the information an agent must acquire to learn and the sub-optimality of the resulting policy. While an agent designer has a preference for how this trade-off is resolved, existing approaches further require that the designer translate these preferences into a fixed learning target for the agent. In this work, leveraging rate-distortion theory, we automate this process such that the designer need only express their preferences via a single hyperparameter and the agent is endowed with the ability to compute its own learning targets that best achieve the desired trade-off. We establish a general bound on expected discounted regret for an agent that decides what to learn in this manner along with computational experiments that illustrate the expressiveness of designer preferences and even show improvements over Thompson sampling in identifying an optimal policy.


title: Bethe strings in the spin dynamical structure factor of the Mott-Hubbard phase in one-dimensional fermionic Hubbard model

abstract: The spectra and role in the spin dynamical properties of bound states of elementary magnetic excitations named Bethe strings that occur in some integrable spin and electronic one-dimensional models have recently been identified and realized in several materials by experiments. Corresponding theoretical studies have usually relied on the one-dimensional spin-1/2 Heisenberg antiferromagnet in a magnetic field. At the isotropic point, it describes the large onsite repulsion U limit of the spin degrees of freedom of the one-dimensional fermionic Hubbard model with one electron per site in a magnetic field h. In this paper we consider the thermodynamic limit and study the effects of lowering the latter quantum problem ratio u=U/4t, where t is the first-neighbor transfer integral, on the line-shape singularities in regions at and just above the lower thresholds of the transverse and longitudinal spin dynamical structure factors. The most significant spectral weight contribution from Bethe strings leads to a gapped continuum in the spectrum of the spin dynamical structure factor +-. Our study focuses on the line shape singularities at and just above the gapped lower threshold of that continuum, which have been identified in experiments. Our results are consistent with the contribution of Bethe strings to the spin dynamical structure factor zz being small at low spin densities and becoming negligible upon increasing that density. Our results provide physically important information about how electron itinerancy affects the spin dynamics.


title: Coulomb corrections to Fermi beta decay in nuclei

abstract: We study the influence of the Coulomb force on the Fermi beta-decays in nuclei. This work is composed of two main parts. In the first part, we calculate the Coulomb corrections to super-allowed beta decay. We use the notion of the isovector monopole state and the self-consistent charge-exchange Random Phase Approximation to compute the correction. In the second part of this work, we examine the influence of the anti-analog state on isospin mixing in the isobaric analog state and the correction to the beta-decay Fermi transition.


title: Electron-Ion Collider impact study on the tensor charge of the nucleon

abstract: In this letter we study the impact of the Electron-Ion Collider (EIC) on the phenomenological extraction of the tensor charge from a QCD global analysis of single transverse-spin asymmetries (SSAs). We generate EIC pseudo-data for the Collins effect in semi-inclusive deep-inelastic scattering for proton and $^{3\!}He$ beams across multiple center-of-mass energies. We find a significant reduction in the uncertainties for the up, down, and isovector tensor charges that will make their extraction from EIC data on SSAs as precise as current lattice QCD calculations. We also analyze the constraints placed by future data from the proposed SoLID experiment at Jefferson Lab, discuss its important complementary role to the EIC, and present the combined impact from both facilities.


title: Solving one variable word equations in the free group in cubic time

abstract: A word equation with one variable in a free group is given as $U = V$, where both $U$ and $V$ are words over the alphabet of generators of the free group and $X, X^{-1}$, for a fixed variable $X$. An element of the free group is a solution when substituting it for $X$ yields a true equality (interpreted in the free group) of left- and right-hand sides. It is known that the set of all solutions of a given word equation with one variable is a finite union of sets of the form $\{\alpha w^i \beta \: : \: i \in \mathbb Z \}$, where $\alpha, w, \beta$ are reduced words over the alphabet of generators, and a polynomial-time algorithm (of a high degree) computing this set is known. We provide a cubic time algorithm for this problem, which also shows that the set of solutions consists of at most a quadratic number of the above-mentioned sets. The algorithm uses only simple tools of word combinatorics and group theory and is simple to state. Its analysis is involved and focuses on the combinatorics of occurrences of powers of a word within a larger word.


title: Average Cyclicity for Elliptic Curves in Torsion Families

abstract: We prove asymptotic formulas for cyclicity of reductions of elliptic curves over the rationals in a family of curves having specified torsion. These results agree with established conditional results and with average results taken over larger families. As a key tool, we prove an analogue of a result of Vl\u{a}du\c{t} that estimates the number of elliptic curves over a finite field with a specified torsion point and cyclic group structure.


title: Reviving Purpose Limitation and Data Minimisation in Data-Driven Systems

abstract: This paper determines whether the two core data protection principles of data minimisation and purpose limitation can be meaningfully implemented in data-driven systems. While contemporary data processing practices appear to stand at odds with these principles, we demonstrate that systems could technically use much less data than they currently do. This observation is a starting point for our detailed techno-legal analysis uncovering obstacles that stand in the way of meaningful implementation and compliance as well as exemplifying unexpected trade-offs which emerge where data protection law is applied in practice. Our analysis seeks to inform debates about the impact of data protection on the development of artificial intelligence in the European Union, offering practical action points for data controllers, regulators, and researchers.


title: The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts

abstract: In recent years, Ethereum gained tremendously in popularity, growing from a daily transaction average of 10K in January 2016 to an average of 500K in January 2020. Similarly, smart contracts began to carry more value, making them appealing targets for attackers. As a result, they started to become victims of attacks, costing millions of dollars. In response to these attacks, both academia and industry proposed a plethora of tools to scan smart contracts for vulnerabilities before deploying them on the blockchain. However, most of these tools solely focus on detecting vulnerabilities and not attacks, let alone quantifying or tracing the number of stolen assets. In this paper, we present Horus, a framework that empowers the automated detection and investigation of smart contract attacks based on logic-driven and graph-driven analysis of transactions. Horus provides quick means to quantify and trace the flow of stolen assets across the Ethereum blockchain. We perform a large-scale analysis of all the smart contracts deployed on Ethereum until May 2020. We identified 1,888 attacked smart contracts and 8,095 adversarial transactions in the wild. Our investigation shows that the number of attacks did not necessarily decrease over the past few years, but for some vulnerabilities remained constant. Finally, we also demonstrate the practicality of our framework via an in-depth analysis on the recent Uniswap and Lendf.me attacks.


title: Maximum principle for stochastic control of SDEs with measurable drifts

abstract: In this paper, we consider stochastic optimal control of systems driven by stochastic differential equations with irregular drift coefficient. We establish a necessary and sufficient stochastic maximum principle. To achieve this, we first derive an explicit representation of the first variation process (in Sobolev sense ) of the controlled diffusion. Since the drift coefficient is not smooth, the representation is given in terms of the local time of the state process. Then we construct a sequence of optimal control problems with smooth coefficients by an approximation argument. Finally, we use Ekeland's variational principle to obtain an approximating adjoint process from which we derive the maximum principle by passing to the limit.


title: Influence of PEG on the Clustering of Active Janus Colloids

abstract: Micrometer scale colloidal particles that propel in a deterministic fashion in response to local environmental cues are useful analogs to self-propelling entities found in nature. Both natural and synthetic active colloidal systems are often near boundaries or are located in crowded environments. Herein, we describe experiments in which we measured the influence of hydrogen peroxide concentration and dispersed polyethylene glycol (PEG) on the clustering behavior of 5 micrometer catalytic active Janus particles at low concentration. We found the extent to which clustering occurred in ensembles of active Janus particles grew with hydrogen peroxide concentration in the absence of PEG. Once PEG was added, clustering was slightly enhanced at low PEG volume fractions, but was reduced at higher PEG volumes fractions. The region in which clustering was mitigated at higher PEG volume fractions corresponded to the region in which propulsion was previously found to be quenched. Complementary agent based simulations showed that clustering grew with nominal speed. These data support the hypothesis that growth of living crystals is enhanced with increases in propulsion speed, but the addition of PEG will tend to mitigate cluster formation as a consequence of quenched propulsion at these conditions.


title: Renewal Contact Processes: phase transition and survival

abstract: We refine previous results concerning the Renewal Contact Processes. We significantly widen the family of distributions for the interarrival times for which the critical value can be shown to be strictly positive. The result now holds for any dimension $d \ge 1$ and requires only a moment condition slightly stronger than finite first moment. For heavy-tailed interarrival times, we prove a Complete Convergence Theorem and examine when the contact process, conditioned on survival, can be asymptotically predicted knowing the renewal processes. We close with an example of distribution attracted to a stable law of index 1 for which the critical value vanishes.


title: Low-energy in-gap states of vortices in superconductor-semiconductor heterostructures

abstract: The recent interest in the low-energy states in vortices of semiconductor-superconductor heterostructures are mainly fueled by the prospects of using Majorana zero modes for quantum computation. The knowledge of low-lying states in the vortex core is essential as they pose a limitation on the topological computation with these states. Recently, the low-energy spectra of clean heterostructures, for superconducting-pairing profiles that vary slowly on the scale of the Fermi wavelength of the semiconductor, have been analytically calculated. In this work, we formulate an alternative method based on perturbation theory to obtain concise analytical formulas to predict the low-energy states including explicit magnetic-field and gap profiles. We provide results for both a topological insulator (with a linear spectrum) as well as for a conventional electron gas (with a quadratic spectrum). We discuss the spectra for a wide range of parameters, including both the size of the vortex and the chemical potential of the semiconductor, and thereby provide a tool to guide future experimental efforts. We compare these findings to numerical results.


title: Hypercontractivity of the semigroup of the fractional laplacian on the n-sphere

abstract: For $1<p\leq q$ we show that the Poisson semigroup $e^{-t\sqrt{-\Delta}}$ on the $n$-sphere is hypercontractive from $L^{p}$ to $L^{q}$ in dimensions $n \leq 3$ if and only if $e^{-t\sqrt{n}} \leq \sqrt{\frac{p-1}{q-1}}$. We also show that the equivalence fails in large dimensions.


title: Cryptoasset Competition and Market Concentration in the Presence of Network Effects

abstract: When network products and services become more valuable as their userbase grows (network effects), this tendency can become a major determinant of how they compete with each other in the market and how the market is structured. Network effects are traditionally linked to high market concentration, early-mover advantages, and entry barriers, and in the cryptoasset market they have been used as a valuation tool too. The recent resurgence of Bitcoin has been partly attributed to network effects too. We study the existence of network effects in six cryptoassets from their inception to obtain a high-level overview of the application of network effects in the cryptoasset market. We show that contrary to the usual implications of network effects, they do not serve to concentrate the cryptoasset market, nor do they accord any one cryptoasset a definitive competitive advantage, nor are they consistent enough to be reliable valuation tools. Therefore, while network effects do occur in cryptoasset networks, they are not a defining feature of the cryptoasset market as a whole.


title: Revisiting McFadden's correction factor for sampling of alternatives in multinomial logit and mixed multinomial logit models

abstract: In this paper, we revisit McFadden (1978)'s correction factor for sampling of alternatives in multinomial logit (MNL) and mixed multinomial logit (MMNL) models. McFadden (1978) proved that consistent parameter estimates are obtained when estimating MNL models using a sampled subset of alternatives, including the chosen alternative, in combination with a correction factor. We decompose this correction factor into i) a correction for overestimating the MNL choice probability due to using a smaller subset of alternatives, and ii) a correction for which a subset of alternatives is contrasted through utility differences and thereby the extent to which we learn about the parameters of interest in MNL. Keane and Wasi (2016) proved that the overall expected positive information divergence - comprising the above two elements - is minimised between the true and sampled likelihood when applying a sampling protocol satisfying uniform conditioning. We generalise their result to the case of positive conditioning and show that whilst McFadden (1978)'s correction factor may not minimise the overall expected information divergence, it does minimise the expected information loss with respect to the parameters of interest. We apply this result in the context of Bayesian analysis and show that McFadden (1978)'s correction factor minimises the expected information loss regarding the parameters of interest across the entire posterior density irrespective of sample size. In other words, McFadden (1978)'s correction factor has desirable small and large sample properties. We also show that our results for Bayesian MNL models transfer to MMNL and that only McFadden (1978) correction factor is sufficient to minimise the expected information loss in the parameters of interest. Monte Carlo simulations illustrate the successful application of sampling of alternatives in Bayesian MMNL models.


title: Heavy quarkonia spectroscopy at zero and finite temperature in bottom-up AdS/QCD

abstract: S-wave states of charmonium and bottomonium are described using bottom-up AdS/QCD. We propose a holographic model that unifies the description of masses and decay constants, leading to a precise match with experimental data on heavy quarkonia. Finite temperature effects are considered by calculating the current-current spectral functions of heavy vector mesons. The identification of quasi-particle states as Breit-Wigner resonances in the holographic spectral function was made. We develop a prescription to subtract background contributions from the spectral function to isolate the Breit-Wigner peak. The quasi-particle holographic thermal evolution is described, allowing us to estimate the melting temperature for vector charmonia and bottomonia. Our holographic model predicts that $J/\Psi$ melts at $415$ MeV $(\sim 2.92 ~T_c)$ and $\Upsilon$ melts at $465$ MeV $(\sim 3.27~ T_c)$)


title: A Novel Prediction Approach for Exploring PM2.5 Spatiotemporal Propagation Based on Convolutional Recursive Neural Networks

abstract: The spread of PM2.5 pollutants that endanger health is difficult to predict because it involves many atmospheric variables. These micron particles can spread rapidly from their source to residential areas, increasing the risk of respiratory disease if exposed for long periods. The prediction system of PM2.5 propagation provides more detailed and accurate information as an early warning system to reduce health impacts on the community. According to the idea of transformative computing, the approach we propose in this paper allows computation on the dataset obtained from massive-scale PM2.5 sensor nodes via wireless sensor network. In the scheme, the deep learning model is implemented on the server nodes to extract spatiotemporal features on these datasets. This research was conducted by using dataset of air quality monitoring systems in Taiwan. This study presents a new model based on the convolutional recursive neural network to generate the prediction map. In general, the model is able to provide accurate predictive results by considering the bonds among measurement nodes in both spatially and temporally. Therefore, the particulate pollutant propagation of PM2.5 could be precisely monitored by using the model we propose in this paper.


title: An Adaptive Algorithm based on High-Dimensional Function Approximation to obtain Optimal Designs

abstract: Algorithms which compute locally optimal continuous designs often rely on a finite design space or on repeatedly solving a complex non-linear program. Both methods require extensive evaluations of the Jacobian Df of the underlying model. These evaluations present a heavy computational burden. Based on the Kiefer-Wolfowitz Equivalence Theorem we present a novel design of experiments algorithm which computes optimal designs in a continuous design space. For this iterative algorithm we combine an adaptive Bayes-like sampling scheme with Gaussian process regression to approximate the directional derivative of the design criterion. The approximation allows us to adaptively select new design points on which to evaluate the model. The adaptive selection of the algorithm requires significantly less evaluations of Df and reduces the runtime of the computations. We show the viability of the new algorithm on two examples from chemical engineering.


title: Node and Edge Nonlinear Eigenvector Centrality for Hypergraphs

abstract: Network scientists have shown that there is great value in studying pairwise interactions between components in a system. From a linear algebra point of view, this involves defining and evaluating functions of the associated adjacency matrix. Recent work indicates that there are further benefits from accounting directly for higher order interactions, notably through a hypergraph representation where an edge may involve multiple nodes. Building on these ideas, we motivate, define and analyze a class of spectral centrality measures for identifying important nodes and hyperedges in hypergraphs, generalizing existing network science concepts. By exploiting the latest developments in nonlinear Perron-Frobenius theory, we show how the resulting constrained nonlinear eigenvalue problems have unique solutions that can be computed efficiently via a nonlinear power method iteration. We illustrate the measures on realistic data sets.


title: SuperWASP Variable Stars: Classifying Light Curves Using Citizen Science

abstract: We present the first analysis of results from the SuperWASP Variable Stars Zooniverse project, which is aiming to classify 1.6 million phase-folded light curves of candidate stellar variables observed by the SuperWASP all sky survey with periods detected in the SuperWASP periodicity catalogue. The resultant data set currently contains $>$1 million classifications corresponding to $>$500,000 object-period combinations, provided by citizen scientist volunteers. Volunteer-classified light curves have $\sim$89 per cent accuracy for detached and semi-detached eclipsing binaries, but only $\sim$9 per cent accuracy for rotationally modulated variables, based on known objects. We demonstrate that this Zooniverse project will be valuable for both population studies of individual variable types and the identification of stellar variables for follow up. We present preliminary findings on various unique and extreme variables in this analysis, including long period contact binaries and binaries near the short-period cutoff, and we identify 301 previously unknown binaries and pulsators. We are now in the process of developing a web portal to enable other researchers to access the outputs of the SuperWASP Variable Stars project.


title: APEX-Net: Automatic Plot Extractor Network

abstract: Automatic extraction of raw data from 2D line plot images is a problem of great importance having many real-world applications. Several algorithms have been proposed for solving this problem. However, these algorithms involve a significant amount of human intervention. To minimize this intervention, we propose APEX-Net, a deep learning based framework with novel loss functions for solving the plot extraction problem. We introduce APEX-1M, a new large scale dataset which contains both the plot images and the raw data. We demonstrate the performance of APEX-Net on the APEX-1M test set and show that it obtains impressive accuracy. We also show visual results of our network on unseen plot images and demonstrate that it extracts the shape of the plots to a great extent. Finally, we develop a GUI based software for plot extraction that can benefit the community at large. For dataset and more information visit https://sites.google.com/view/apexnetpaper/.


title: A Machine Learning approach for classification of accretion states of Black hole binaries

abstract: In this paper, we employ Machine Learning algorithms on multi-mission observations for the classification of accretion states of outbursting Black hole X-ray binaries for the first time. Archival data from RXTE, Swift, MAXI and AstroSat observatories are used to generate the hardness intensity diagrams (HIDs) for outbursts of the sources XTE J1859+226 (1999 outburst), GX 339-4 (2002, 2004, 2007 and 2010 outbursts), IGR J17091-3624 (2016 outburst), and MAXI J1535-571 (2017 outburst). Based on variation of X-ray flux, hardness ratios, presence of various types of Quasi-periodic Oscillations (QPOs), photon indices and disk temperature, we apply clustering algorithms like K-Means clustering and Hierarchical clustering to classify the accretion states (clusters) of each outburst. As multiple parameters are involved in the classification process, we show that clustering algorithms club together the observations of similar characteristics more efficiently than the `standard' method of classification. We also infer that K-Means clustering provides more reliable results than Hierarchical clustering. We demonstrate the importance of the classification based on machine learning by comparing it with results from `standard' classification.


title: Sparse Conic Reformulation of Structured QCQPs based on Copositive Optimization with Applications in Stochastic Optimization

abstract: In an effort to develop an alternative approach to traditional sparse reformulations, we will provide a new type of convex reformulation of a large class of stochastic quadratically constrained quadratic optimization problems that is similar to Burer's reformulation, but lifts the variables into a comparatively lower dimensional space. The reformulation rests on a generalization of the set-completely positive matrix cone. This cone can then be approximated via inner and outer approximations in order to obtain upper and lower bounds, which potentially close the optimality gap, and hence can give a certificate of exactness for these sparse reformulations outside of traditional, known sufficient conditions. Finally, we provide some numerical experiments, where we asses the quality of the inner and outer approximations, thereby showing that the approximations may indeed close the optimality gap in interesting cases.


title: Player-AI Interaction: What Neural Network Games Reveal About AI as Play

abstract: The advent of artificial intelligence (AI) and machine learning (ML) bring human-AI interaction to the forefront of HCI research. This paper argues that games are an ideal domain for studying and experimenting with how humans interact with AI. Through a systematic survey of neural network games (n = 38), we identified the dominant interaction metaphors and AI interaction patterns in these games. In addition, we applied existing human-AI interaction guidelines to further shed light on player-AI interaction in the context of AI-infused systems. Our core finding is that AI as play can expand current notions of human-AI interaction, which are predominantly productivity-based. In particular, our work suggests that game and UX designers should consider flow to structure the learning curve of human-AI interaction, incorporate discovery-based learning to play around with the AI and observe the consequences, and offer users an invitation to play to explore new forms of human-AI interaction.


title: Adequacy of time-series reduction for renewable energy systems

abstract: To reduce computational complexity, macro-energy system models commonly implement reduced time-series data. For renewable energy systems dependent on seasonal storage and characterized by intermittent renewables, like wind and solar, adequacy of time-series reduction is in question. Using a capacity expansion model, we evaluate different methods for creating and implementing reduced time-series regarding loss of load and system costs. Results show that adequacy greatly depends on the length of the reduced time-series and how it is implemented into the model. Implementation as a chronological sequence with re-scaled time-steps prevents loss of load best but imposes a positive bias on seasonal storage resulting in an overestimation of system costs. Compared to chronological sequences, grouped periods require more time so solve for the same number of time-steps, because the approach requires additional variables and constraints. Overall, results suggest further efforts to improve time-series reduction and other methods for reducing computational complexity.


title: A new second order upper bound for the ground state energy of dilute Bose gases

abstract: We establish an upper bound for the ground state energy per unit volume of a dilute Bose gas in the thermodynamic limit, capturing the correct second order term, as predicted by the Lee-Huang-Yang formula. This result has been first established in J. Stat. Phys. 136(3) by H.-T. Yau and J. Yin. Our proof, which applies to repulsive and compactly supported $V \in L^3 (\mathbb{R}^3)$, gives better rates and, in our opinion, is substantially simpler.

categories: math-ph cond-mat.quant-gas math.AP math.MP


title: LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning

abstract: While designing inductive bias in neural architectures has been widely studied, we hypothesize that transformer networks are flexible enough to learn inductive bias from suitable generic tasks. Here, we replace architecture engineering by encoding inductive bias in the form of datasets. Inspired by Peirce's view that deduction, induction, and abduction are the primitives of reasoning, we design three synthetic tasks that are intended to require the model to have these three abilities. We specifically design these tasks to be synthetic and devoid of mathematical knowledge to ensure that only the fundamental reasoning biases can be learned from these tasks. This defines a new pre-training methodology called "LIME" (Learning Inductive bias for Mathematical rEasoning). Models trained with LIME significantly outperform vanilla transformers on four very different large mathematical reasoning benchmarks. Unlike dominating the computation cost as traditional pre-training approaches, LIME requires only a small fraction of the computation cost of the typical downstream task. The code for generating LIME tasks is available at https://github.com/tonywu95/LIME.


title: Multi-point dimensionality reduction to improve projection layout reliability

abstract: In ordinary Dimensionality Reduction (DR), each data instance in a high dimensional space (original space), or on a distance matrix denoting original space distances, is mapped to (projected onto) one point in a low dimensional space (visual space), building a layout of projected points trying to preserve as much as possible some property of data such as distances, neighbourhood relationships, and/or topology structures, with the ultimate goal of approximating semantic properties of data with preserved geometric properties or topology structures in visual space. In this paper, the concept of Multi-point Dimensionality Reduction is elaborated on where each data instance can be mapped to (projected onto) possibly more than one point in visual space by providing the first general solution (algorithm) for it as a move in the direction of improving reliablity, usability and interpretability of dimensionality reduction. Furthermore by allowing the points in visual space to be split into two layers while maintaining the possibility of having more than one projection (mapping) per data instance , the benefit of separating more reliable points from less reliable points is dicussed notwithstanding the effort to improve less reliable points. The proposed solution (algorithm) in this paper, named Layered Vertex Splitting Data Embedding (LVSDE), is built upon and extends a combination of ordinary DR and graph drawing techniques. Based on the experiments of this paper on some data sets, the particular proposed algorithm (LVSDE) practically outperforms popular ordinary DR methods visually (semantics, group separation, subgroup detection or combinational group detection) in a way that is easily explainable.


title: Magnetic properties of transition metal dimers probed by inelastic neutron scattering

abstract: The physical characterisation and understanding of molecular magnetic materials is one of the most important steps towards the integration of such systems in hybrid spintronic devices. Amongst the many characterisation techniques employed in such a task, Inelastic Neutron Scattering (INS) stands as one of the most powerful and sensitive tools to investigate their spin dynamics. Herein, the magnetic properties and spin dynamics of two dinuclear complexes, namely [(M(hfacac)$_2$)$_2$(bpym)] (where M = Ni$^{2+}$, Co$^{2+}$, abbreviated in the following as Ni$_2$, Co$_2$) are reported. These are model systems that could constitute fundamental units of future spintronic devices. By exploiting the highly sensitive IN5 Cold INS spectrometer, we are able to gain a deep insight into the spin dynamics of Ni$_2$ and to fully obtain the microscopic spin Hamiltonian parameters; while for Co$_2$, a multitude of INS transitions are observed demonstrating the complexity of the magnetic properties of octahedral cobalt-based systems.


title: Independent sets of generators of prime power order

abstract: A subset $X$ of a finite group $G$ is said to be prime-power-independent if each element in $X$ has prime power order and there is no proper subset $Y$ of $X$ with $\langle Y, \Phi(G)\rangle = \langle X, \Phi(G)\rangle$, where $\Phi(G)$ is the Frattini subgroup of $G$. A group $G$ is $\mathcal{B}_{pp}$ if all prime-power-independent generating sets for $G$ have the same cardinality. We prove that, if $G$ is $\mathcal{B}_{pp}$, then $G$ is solvable. Pivoting on some recent results of Krempa and Stocka, this yields a complete classification of $\mathcal{B}_{pp}$-groups.


title: Deep Reinforcement Learning for Haptic Shared Control in Unknown Tasks

abstract: Recent years have shown a growing interest in using haptic shared control (HSC) in teleoperated systems. In HSC, the application of virtual guiding forces decreases the user's control effort and improves execution time in various tasks, presenting a good alternative in comparison with direct teleoperation. HSC, despite demonstrating good performance, opens a new gap: how to design the guiding forces. For this reason, the challenge lies in developing controllers to provide the optimal guiding forces for the tasks that are being performed. This work addresses this challenge by designing a controller based on the deep deterministic policy gradient (DDPG) algorithm to provide the assistance, and a convolutional neural network (CNN) to perform the task detection, called TAHSC (Task Agnostic Haptic Shared Controller). The agent learns to minimize the time it takes the human to execute the desired task, while simultaneously minimizing their resistance to the provided feedback. This resistance thus provides the learning algorithm with information about which direction the human is trying to follow, in this case, the pick-and-place task. Diverse results demonstrate the successful application of the proposed approach by learning custom policies for each user who was asked to test the system. It exhibits stable convergence and aids the user in completing the task with the least amount of time possible.


title: Task-driven Self-supervised Bi-channel Networks for Diagnosis of Breast Cancers with Mammography

abstract: Deep learning can promote the mammography-based computer-aided diagnosis (CAD) for breast cancers, but it generally suffers from the small sample size problem. Self-supervised learning (SSL) has shown its effectiveness in medical image analysis with limited training samples. However, the network model sometimes cannot be well pre-trained in the conventional SSL framework due to the limitation of the pretext task and fine-tuning mechanism. In this work, a Task-driven Self-supervised Bi-channel Networks (TSBN) framework is proposed to improve the performance of classification model the mammography-based CAD. In particular, a new gray-scale image mapping (GSIM) is designed as the pretext task, which embeds the class label information of mammograms into the image restoration task to improve discriminative feature representation. The proposed TSBN then innovatively integrates different network architecture, including the image restoration network and the classification network, into a unified SSL framework. It jointly trains the bi-channel network models and collaboratively transfers the knowledge from the pretext task network to the downstream task network with improved diagnostic accuracy. The proposed TSBN is evaluated on a public INbreast mammogram dataset. The experimental results indicate that it outperforms the conventional SSL and multi-task learning algorithms for diagnosis of breast cancers with limited samples.


title: HOLISMOKES -- V. Microlensing of type II supernovae and time-delay inference through spectroscopic phase retrieval

abstract: We investigate strongly gravitationally lensed type II supernovae (LSNe II) for time-delay cosmography incorporating microlensing effects, which expands on previous microlensing studies of type Ia supernovae (SNe Ia). We use the radiative-transfer code ${\rm \small TARDIS}$ to recreate five spectra of the prototypical SN 1999em at different times within the plateau phase of the light curve. The microlensing-induced deformations of the spectra and light curves are calculated by placing the SN into magnification maps generated with the code ${\rm \small GERLUMPH}$. We study the impact of microlensing on the color curves and find that there is no strong influence on them during the investigated time interval of the plateau phase. The color curves are only weakly affected by microlensing due to the almost achromatic behavior of the intensity profiles. However, the lack of non-linear structure in the color curves makes time-delay measurements difficult given the possible presence of differential dust extinction. Therefore, we further investigate SN phase inference through spectral absorption lines under the influence of microlensing and Gaussian noise. As the spectral features shift to longer wavelengths with progressing time after explosion, the measured wavelength of a specific absorption line provides information on the epoch of the SN. The comparison between retrieved epochs of two observed lensing images then gives the time delay of the images. We find that the phase retrieval method using spectral features yields accurate delays with uncertainties $\small {\lesssim}$2 days, making it a promising approach.


title: Incoherent hydrodynamics of density waves in magnetic fields

abstract: We use holography to derive effective theories of fluctuations in spontaneously broken phases of systems with finite temperature, chemical potential, magnetic field and momentum relaxation in which the order parameters break translations. We analytically construct the hydrodynamic modes corresponding to the coupled thermoelectric and density wave fluctuations and all of them turn out to be purely diffusive for our system. Upon introducing pinning for the density waves, some of these modes acquire not only a gap, but also a finite resonance due to the magnetic field. Finally, we study the optical properties and perform numerical checks of our analytical results. A crucial byproduct of our analysis is the identification of the correct current which describes the transport of heat in our system.


title: Positive Solutions of Competition Model with Saturation

abstract: In this paper, the positive solutions of a diffusive competition model with saturation are mainly discussed. Under certain conditions, the stability and multiplicities of coexistence states are analyzed. And by using the topological degree theory in cones, it is proved that the problem has at least two positive solutions under certain conditions. Finally, investigating the bifurcation of coexistence states emanating from the semi-trivial solutions, some instability and multiplicity results of coexistence state are expressed.


title: Towards interpreting ML-based automated malware detection models: a survey

abstract: Malware is being increasingly threatening and malware detectors based on traditional signature-based analysis are no longer suitable for current malware detection. Recently, the models based on machine learning (ML) are developed for predicting unknown malware variants and saving human strength. However, most of the existing ML models are black-box, which made their pre-diction results undependable, and therefore need further interpretation in order to be effectively deployed in the wild. This paper aims to examine and categorize the existing researches on ML-based malware detector interpretability. We first give a detailed comparison over the previous work on common ML model inter-pretability in groups after introducing the principles, attributes, evaluation indi-cators and taxonomy of common ML interpretability. Then we investigate the interpretation methods towards malware detection, by addressing the importance of interpreting malware detectors, challenges faced by this field, solutions for migitating these challenges, and a new taxonomy for classifying all the state-of-the-art malware detection interpretability work in recent years. The highlight of our survey is providing a new taxonomy towards malware detection interpreta-tion methods based on the common taxonomy summarized by previous re-searches in the common field. In addition, we are the first to evaluate the state-of-the-art approaches by interpretation method attributes to generate the final score so as to give insight to quantifying the interpretability. By concluding the results of the recent researches, we hope our work can provide suggestions for researchers who are interested in the interpretability on ML-based malware de-tection models.


title: Predictive Optimization with Zero-Shot Domain Adaptation

abstract: Prediction in a new domain without any training sample, called zero-shot domain adaptation (ZSDA), is an important task in domain adaptation. While prediction in a new domain has gained much attention in recent years, in this paper, we investigate another potential of ZSDA. Specifically, instead of predicting responses in a new domain, we find a description of a new domain given a prediction. The task is regarded as predictive optimization, but existing predictive optimization methods have not been extended to handling multiple domains. We propose a simple framework for predictive optimization with ZSDA and analyze the condition in which the optimization problem becomes convex optimization. We also discuss how to handle the interaction of characteristics of a domain in predictive optimization. Through numerical experiments, we demonstrate the potential usefulness of our proposed framework.


title: Nets with Mana: A Framework for Chemical Reaction Modelling

abstract: We use categorical methods to define a new flavor of Petri nets where transitions can only fire a limited number of times, specified by a quantity that we call mana. We do so with chemistry in mind, looking at ways of modelling the behavior of chemical reactions that depend on enzymes to work. We prove that such nets can be either obtained as a result of a comonadic construction, or by enriching them with extra information encoded into a functor. We then use a well-established categorical result to prove that the two constructions are equivalent, and generalize them to the case where the firing of some transitions can "regenerate" the mana of others. This allows us to represent the action of catalysts and also of biochemical processes where the byproducts of some chemical reaction are exactly the enzymes that another reaction needs to work.


title: Quantifying the Long-Range Structure of Foams and Other Cellular Patterns with Hyperuniformity Disorder Length Spectroscopy

abstract: We investigate the local- and long-range structure of four different space-filling cellular patterns: bubbles in a quasi-2d foam plus Voronoi constructions made around points that are uncorrelated (Poisson patterns), low discrepancy (Halton patterns), and displaced from a lattice by Gaussian noise (Einstein patterns). We study distributions of local quantities including cell areas and topological features; the former is the widest for bubbles in a foam making them locally the most disordered but the latter show no significant differences between the cellular patterns. Long-range structure is probed by the spectral density and also by converting the real-space spectrum of number density or volume fraction fluctuations for windows of diameter $D$ to the effective distance $h(D)$ from the window boundary where these fluctuations occur. This real-space hyperuniformity disorder length spectroscopy is performed on various point patterns which are determined by the centroids of the bubbles in the foam, by the points patterns around which the Voronoi cells are created and by the centroids of the Voronoi cells. These patterns are either unweighted or weighted by the area of the cells they occupy. The unweighted bubble centroids have $h(D)$ that collapses for the different ages of of the foam with random Poissonian fluctuations at long distances. All patterns of area-weighted points have constant $h(D)=h_e$ for large $D$; $h_e=0.084 \sqrt{\left< a\right>}$ for the bubble centroids is the smallest value, meaning they are most uniform. All the weighted centroids collapse to the same constant $h_e=0.084 \sqrt{\left< a\right>}$ as for the foams. A similar analysis is performed on the edges of the cells where the spectra of $h(D)$ for the foam edges show $h(D) \sim D^{1-\epsilon}$ where $\epsilon=0.3$


title: Modelling Universal Order Book Dynamics in Bitcoin Market

abstract: Understanding the emergence of universal features such as the stylized facts in markets is a long-standing challenge that has drawn much attention from economists and physicists. Most existing models, such as stochastic volatility models, focus mainly on price changes, neglecting the complex trading dynamics. Recently, there are increasing studies on order books, thanks to the availability of large-scale trading datasets, aiming to understand the underlying mechanisms governing the market dynamics. In this paper, we collect order-book datasets of Bitcoin platforms across three countries over millions of users and billions of daily turnovers. We find a 1+1D field theory, govern by a set of KPZ-like stochastic equations, predicts precisely the order book dynamics observed in empirical data. Despite the microscopic difference of markets, we argue the proposed effective field theory captures the correct universality class of market dynamics. We also show that the model agrees with the existing stochastic volatility models at the long-wavelength limit.


title: Fully Bayesian Estimation under Dependent and Informative Cluster Sampling

abstract: Survey data are often collected under multistage sampling designs where units are binned to clusters that are sampled in a first stage. The unit-indexed population variables of interest are typically dependent within cluster. We propose a Fully Bayesian method that constructs an exact likelihood for the observed sample to incorporate unit-level marginal sampling weights for performing unbiased inference for population parameters while simultaneously accounting for the dependence induced by sampling clusters of units to produce correct uncertainty quantification. Our approach parameterizes cluster-indexed random effects in both a marginal model for the response and a conditional model for published, unit-level sampling weights. We compare our method to plug-in Bayesian and frequentist alternatives in a simulation study and demonstrate that our method most closely achieves correct uncertainty quantification for model parameters, including the generating variances for cluster-indexed random effects. We demonstrate our method in an application with NHANES data.


title: Multi-functional Metasurface: Visibly and RF Transparent, NIR Control and Low Thermal Emissivity

abstract: Rapid advances in metamaterial technology are enabling the engineering of wave-matter interactions heretofore not realized and functionalities with potentially far-reaching implications for major challenges in the fields of energy conservation and radio frequency (RF) communication. We propose a visibly and RF transparent composite metasurface utilizing dielectric-metal spectrally selective coatings with high NIR control and low thermal emissivity, thus achieving a multi-functional metasurface capable of enhancing 5G communication efficiency and exhibiting energy conservation features. The proposed meta-glass yields 92% peak RF transmission at 30 GHz which corresponds to 20% and 90% enhancement when compared to plain glass and low-emissive glass substrates. This meta-glass possesses 86% peak optical transparency at $\lambda=550 nm$, $>$60% near-IR reflection, and $>$ 80% mid-IR reflection which corresponds to $\approx$ 0.2 thermal emissivity. The proposed metasurface design is highly flexible and can be tuned to operate over different frequency ranges owing to its frequency scalability. This study provides a better alternative using earth-abundant materials compared to low-emissive glass based on indium tin oxide (ITO) while boosting the efficiency of 5G communication amenable to window systems demanding simultaneous functionalities for emergent smart/energy-efficient buildings/cities and autonomous transportation applications.


title: A Random Algorithm for Profit Maximization with Multiple Adoptions in Online Social Networks

abstract: Online social networks have been one of the most effective platforms for marketing and advertising. Through "word of mouth" effects, information or product adoption could spread from some influential individuals to millions of users in social networks. Given a social network $G$ and a constant $k$, the influence maximization problem seeks for $k$ nodes in $G$ that can influence the largest number of nodes. This problem has found important applications, and a large amount of works have been devoted to identifying the few most influential users. But most of existing works only focus on the diffusion of a single idea or product in social networks. However, in reality, one company may produce multiple kinds of products and one user may also have multiple adoptions. Given multiple kinds of different products with different activation costs and profits, it is crucial for the company to distribute the limited budget among multiple products in order to achieve profit maximization. Profit Maximization with Multiple Adoptions (PM$^{2}$A) problem aims to seek for a seed set within the budget to maximize the overall profit. In this paper, a Randomized Modified Greedy (RMG) algorithm based on the Reverse Influence Sampling (RIS) technique is presented for the PM$^{2}$A problem, which could achieve a $(1-1/e-\varepsilon)$-approximate solution with high probability. Compared with the algorithm proposed in [16] that achieves a $\frac{1}{2}(1-1/e^{2})$-approximate solution, our algorithm provides a better performance ratio which is also the best performance ratio of the PM$^{2}$A problem. Comprehensive experiments on three real-world social networks are conducted, and the results demonstrate that our RMG algorithm outperforms the algorithm proposed in [16] and other heuristics in terms of profit maximization, and could better allocate the budget.


title: Towards Approximate Query Enumeration with Sublinear Preprocessing Time

abstract: This paper aims at providing extremely efficient algorithms for approximate query enumeration on sparse databases, that come with performance and accuracy guarantees. We introduce a new model for approximate query enumeration on classes of relational databases of bounded degree. We first prove that on databases of bounded degree any local first-order definable query can be enumerated approximately with constant delay after a constant time preprocessing phase. We extend this, showing that on databases of bounded tree-width and bounded degree, every query that is expressible in first-order logic can be enumerated approximately with constant delay after a sublinear (more precisely, polylogarithmic) time preprocessing phase. Durand and Grandjean (ACM Transactions on Computational Logic 2007) proved that exact enumeration of first-order queries on databases of bounded degree can be done with constant delay after a linear time preprocessing phase. Hence we achieve a significant speed-up in the preprocessing phase. Since sublinear running time does not allow reading the whole input database even once, sacrificing some accuracy is inevitable for our speed-up. Nevertheless, our enumeration algorithms come with guarantees: With high probability, (1) only tuples are enumerated that are answers to the query or `close' to being answers to the query, and (2) if the proportion of tuples that are answers to the query is sufficiently large, then all answers will be enumerated. Here the notion of `closeness' is a tuple edit distance in the input database. For local first-order queries, only actual answers are enumerated, strengthening (1). Moreover, both the `closeness' and the proportion required in (2) are controllable. We combine methods from property testing of bounded degree graphs with logic and query enumeration, which we believe can inspire further research.


title: Blind Image Deblurring based on Kernel Mixture

abstract: Blind Image deblurring tries to estimate blurriness and a latent image out of a blurred image. This estimation, as being an ill-posed problem, requires imposing restrictions on the latent image or a blur kernel that represents blurriness. Different from recent studies that impose some priors on the latent image, this paper regulates the structure of the blur kernel. We propose a kernel mixture structure while using the Gaussian kernel as a base kernel. By combining multiple Gaussian kernels structurally enhanced in terms of scales and centers, the kernel mixture becomes capable of modeling nearly non-parametric shape of blurriness. A data-driven decision for the number of base kernels to combine makes the structure even more flexible. We apply this approach to a remote sensing problem to recover images from blurry images of satellite. This case study shows the superiority of the proposed method regulating the blur kernel in comparison with state-of-the-art methods that regulates the latent image.


title: Constraining Type Ia Supernova Delay Time with Spatially Resolved Star Formation Histories

abstract: We present the delay time distribution (DTD) estimates of Type Ia supernovae (SNe~Ia) using spatially resolved SN~Ia host galaxy spectra from MUSE and MaNGA. By employing a grouping algorithm based on k-means and earth mover's distances (EMD), we separated the host galaxy star formation histories (SFHs) into spatially distinct regions and used maximum likelihood method to constrain the DTD of SNe Ia progenitors. When a power-law model of the form $DTD(t)\propto t^{s} (t>\tau)$ is used, we found an SN rate decay slope $s=-1.41^{+0.32}_{-0.33}$ and a delay time $\tau=120^{+142}_{-83} Myr$ . Moreover, we tested other DTD models such as a broken power law model and a two-component power law model, and found no statistically significant support to these alternative models.


title: Enhancing Security via Deliberate Unpredictability of Solutions in Optimisation

abstract: The main aim of decision support systems is to find solutions that satisfy user requirements. Often, this leads to predictability of those solutions, in the sense that having the input data and the model, an adversary or enemy can predict to a great extent the solution produced by your decision support system. Such predictability can be undesirable, for example, in military or security timetabling, or applications that require anonymity. In this paper, we discuss the notion of solution predictability and introduce potential mechanisms to intentionally avoid it.


title: Foliations by curves on threefolds

abstract: We study the conormal sheaves and singular schemes of 1-dimensional foliations on smooth projective varieties $X$ of dimension 3 and Picard rank 1. We prove that if the singular scheme has dimension 0, then the conormal sheaf is $\mu$-stable whenever the tangent bundle $TX$ is stable, and apply this fact to the characterization of certain irreducible components of the moduli space of rank 2 reflexive sheaves on $\mathbb{P}^3$ and on a smooth quadric hypersurface $Q_3\subset\mathbb{P}^4$. Finally, we give a classification of local complete intersection foliations, that is, foliations with locally free conormal sheaves, of degree 0 and 1 on $Q_3$.


title: Measurement-induced criticality as a data-structure transition

abstract: We employ unsupervised learning tools to identify different phases and their transition in quantum systems subject to the combined action of unitary evolution and stochastic measurements. Specifically, we consider principal component analysis and intrinsic dimension estimation to reveal a measurement-induced structural transition in the data space. We test our approach on a 1+1D stabilizer circuit and find the quantities of interest furnish novel order parameters defined directly in the raw data space. Our results provide a first use of unsupervised tools in dynamical quantum phase transitions.


title: Persistence of the ${Z=28}$ shell gap in ${A=75}$ isobars: Identification of a possible ${(1/2^-)}$ ${\mu}$s isomer in ${^{75}}$Co and ${\beta}$ decay to ${^{75}}$Ni

abstract: Background: The evolution of shell structure around doubly magic exotic nuclei is of great interest in nuclear physics and astrophysics. In the `southwest' region of $^{78}$Ni, the development of deformation might trigger a major shift in our understanding of explosive nucleosynthesis. To this end, new spectroscopic information on key close-lying nuclei is very valuable. Purpose: We intend to measure the isomeric and $\beta$ decay of $^{75}$Co, with one-proton and two-neutron holes relative to $^{78}$Ni, to access new nuclear structure information in $^{75}$Co and its $\beta$-decay daughters $^{75}$Ni and $^{74}$Ni. Methods: The nucleus $^{75}$Co is produced in relativistic in-flight fission reactions of $^{238}$U at the Radioactive Ion Beam Factory in the RIKEN Nishina Center. Its isomeric and $\beta$ decay are studied exploiting the BigRIPS and EURICA setups. Results: We obtain partial $\beta$-decay spectra for $^{75}$Ni and $^{74}$Ni, and report a new isomeric transition in $^{75}$Co. The energy [$E_{\gamma}=1914(2)$ keV] and half-life [$t_{1/2}=13(6)$ $\mu$s] of the delayed $\gamma$ ray lend support for the existence of a $J^{\pi}=(1/2^-)$ isomeric state at 1914(2) keV. A comparison with PFSDG-U shell-model calculations provides a good account for the observed states in $^{75}$Ni, but the first calculated $1/2^-$ level in $^{75}$Co, a prolate $K=1/2$ state, is predicted about 1 MeV below the observed $(1/2^-)$ level. Conclusions: The spherical-like structure of the lowest-lying excited states in $^{75}$Ni is proved. In the case of $^{75}$Co, the results suggest that the dominance of the spherical configurations over the deformed ones might be stronger than expected below $^{78}$Ni. Further experimental efforts to discern the nature of the $J^{\pi}=(1/2^-)$ isomer are necessary.


title: Minimal graphs with disjoint dominating and total dominating sets

abstract: A graph $G$ is a DTDP-graph if it has a pair $(D,T)$ of disjoint sets of vertices of $G$ such that $D$ is a dominating set and $T$ is a total dominating set of $G$. Such graphs were studied in a number of research papers. In this paper we study further properties of DTDP-graphs and, in particular, we characterize minimal DTDP-gaphs without loops.


title: Local Navigation and Docking of an Autonomous Robot Mower using Reinforcement Learning and Computer Vision

abstract: We demonstrate a successful navigation and docking control system for the John Deere Tango autonomous mower, using only a single camera as the input. This vision-only system is of interest because it is inexpensive, simple for production, and requires no external sensing. This is in contrast to existing systems that rely on integrated position sensors and global positioning system (GPS) technologies. To produce our system we combined a state-of-the-art object detection architecture, You Only Look Once (YOLO), with a reinforcement learning (RL) architecture, Double Deep QNetworks (Double DQN). The object detection network identifies features on the mower and passes its output to the RL network, providing it with a low-dimensional representation that enables rapid and robust training. Finally, the RL network learns how to navigate the machine to the desired spot in a custom simulation environment. When tested on mower hardware, the system is able to dock with centimeter-level accuracy from arbitrary initial locations and orientations.


title: Manifestly Phased Communication via Shared Session Types

abstract: Session types denote message protocols between concurrent processes, allowing a type-safe expression of inter-process communication. Although previous work demonstrate a well-defined notion of subtyping where processes have different perceptions of the protocol, these formulations were limited to linear session types where each channel of communication has a unique provider and client. In this paper, we extend subtyping to shared session types where channels can now have multiple clients instead of a single client. We demonstrate that this generalization can statically capture protocol requirements that span multiple phases of interactions of a client with a shared service provider, something not possible in prior proposals. Moreover, the phases are manifest in the type of the client.


title: GEO: Enhancing Combinatorial Optimization with Classical and Quantum Generative Models

abstract: We introduce a new framework that leverages machine learning models known as generative models to solve optimization problems. Our Generator-Enhanced Optimization (GEO) strategy is flexible to adopt any generative model, from quantum to quantum-inspired or classical, such as Generative Adversarial Networks, Variational Autoencoders, or Quantum Circuit Born Machines, to name a few. Here, we focus on a quantum-inspired version of GEO relying on tensor-network Born machines and referred to hereafter as TN-GEO. We present two prominent strategies for using TN-GEO. The first uses data points previously evaluated by any quantum or classical optimizer, and we show how TN-GEO improves the performance of the classical solver as a standalone strategy in hard-to-solve instances. The second strategy uses TN-GEO as a standalone solver, i.e., when no previous observations are available. Here, we show its superior performance when the goal is to find the best minimum given a fixed budget for the number of function calls. This might be ideal in situations where the cost function evaluation can be very expensive. To illustrate our results, we run these benchmarks in the context of the portfolio optimization problem by constructing instances from the S\&P 500 and several other financial stock indexes. We also comprehensively compare state-of-the-art algorithms in a generalized version of the portfolio optimization problem. The results show that TN-GEO is among the best compared to these state-of-the-art algorithms; a remarkable outcome given the solvers used in the comparison have been fine-tuned for decades in this real-world industrial application. We see this as an important step toward a practical advantage with quantum-inspired models and, subsequently, with quantum generative models.


title: Tachyonic de Sitter solutions of 10d type II supergravities

abstract: Cosmological models of the early or late universe exhibit (quasi) de Sitter space-times with different stability properties. Considering models derived from string theory, the swampland program does not provide for now a definite characterisation of this stability. In this work we focus on de Sitter solutions of 10d type II supergravities, candidates for classical de Sitter string backgrounds: surprisingly, all known examples are unstable with $\eta_V < -1$. We aim at proving the existence of such a systematic tachyon, and getting formally a bound on the value of $\eta_V$. To that end, we develop three methods, giving us various sufficient conditions for having a tachyon upon assumptions, in analogy with de Sitter no-go theorems. Our analysis eventually indicates the existence of variety of different tachyons, and related bounds on $\eta_V$. We use this knowledge to find 10 new de Sitter solutions of type IIB supergravity, that have tachyons of a different kind, higher $\eta_V$ values and new 6d geometries. One solution even appears to be stable, with however non-compact extra dimensions.


title: On the perturbative expansion of exact bi-local correlators in JT gravity

abstract: We study the perturbative series associated to bi-local correlators in Jackiw-Teitelboim (JT) gravity, for positive weight $\lambda$ of the matter CFT operators. Starting from the known exact expression, derived by CFT and gauge theoretical methods, we reproduce the Schwarzian semiclassical expansion beyond leading order. The computation is done for arbitrary temperature and finite boundary distances, in the case of disk and trumpet topologies. A formula presenting the perturbative result (for $\lambda \in \mathbb{N}/2$) at any given order in terms of generalized Apostol-Bernoulli polynomials is also obtained. The limit of zero temperature is then considered, obtaining a compact expression that allows to discuss the asymptotic behaviour of the perturbative series. Finally we highlight the possibility to express the exact result as particular combinations of Mordell integrals.


title: Extrapolation on function and modular spaces, and applications

abstract: We generalize the extrapolation theory of Rubio de Francia to the context of Banach function spaces and modular spaces. Our results are formulated in terms of some natural weighted estimates for the Hardy-Littlewood maximal function and are stated in measure spaces and for general Muckenhoupt bases. Finally, we give several applications in analysis and partial differential equations.


title: Digital color codes of stars

abstract: Publications in astrophysics are nowadays mainly published and read in digitized formats. Astrophysical publications in both research and in popular outreach often use colorful representations of stars to indicate various stellar types, that is, different spectral types or effective temperatures. Computer generated and computer displayed imagery has become an integral part of stellar astrophysics communication. There is, however, no astrophysically motivated standard color palette for illustrative representations of stars and some stars are actually represented in misleading colors. We use pre-computed PHOENIX and TLUSTY stellar model spectra and convolve them with the three standard color matching functions for human color perception between 360$\,$nm and 830$\,$nm. The color matching functions represent the three sets of receptors in the eye that respond to red, green, and blue light. For a grid of main sequence stars with effective temperatures between 2300$\,$K and 55,000$\,$K of different metallicities we present the red-blue-green and hexadecimal color codes that can be used for digitized color representations of stars as if seen from space. We find significant deviations between the color codes of stars computed from stellar spectra and from a black body radiator of the same effective temperature. We illustrate the main sequence in the color wheel and demonstrate that there are no yellow, green, cyan, or purple stars. Red dwarf stars (spectral types M0V - M9V) actually look orange to the human eye. Old white dwarfs such as WD$\,$1856$+$534, host to a newly discovered transiting giant planet candidate, occur pale orange to the human eye, not white. Our freely available software can be used to generate color codes for any input spectrum such as those from planets, galaxies, quasars etc.


title: Harmonization and the Worst Scanner Syndrome

abstract: We show that for a wide class of harmonization/domain-invariance schemes several undesirable properties are unavoidable. If a predictive machine is made invariant to a set of domains, the accuracy of the output predictions (as measured by mutual information) is limited by the domain with the least amount of information to begin with. If a real label value is highly informative about the source domain, it cannot be accurately predicted by an invariant predictor. These results are simple and intuitive, but we believe that it is beneficial to state them for medical imaging harmonization.


title: Internet of Robotic Things: Current Technologies, Applications, Challenges and Future Directions

abstract: Nowadays, the Internet of Things (IoT) concept is gaining more and more notoriety bringing the number of connected devices to reach the order of billion units. Its smart technology is influencing the research and developments of advanced solutions in many areas. This paper focuses on the merger between the IoT and robotics named the Internet of Robotic Things (IoRT). Allowing robotic systems to communicate over the internet at a minimal cost is an important technological opportunity. Robots can use the cloud to improve the overall performance and for offloading demanding tasks. Since communicating to the cloud results in latency, data loss, and energy loss, finding efficient techniques is a concern that can be addressed with current machine learning methodologies. Moreover, the use of robotic generates ethical and regulation questions that should be answered for a proper coexistence between humans and robots. This paper aims at providing a better understanding of the new concept of IoRT with its benefits and limitations, as well as guidelines and directions for future research and studies.


title: Slopes of $F$-isocrystals over abelian varieties

abstract: We prove that an $F$-isocrystal over an abelian variety defined over a perfect field of positive characteristic has constant slopes. This recovers and extends a theorem of Tsuzuki for abelian varieties over finite fields. Our proof exploits the theory of monodromy groups of convergent isocrystals.


title: Bijections of silting complexes and derived Picard groups

abstract: We introduce a method that produces a bijection between the posets ${\rm silt-}{A}$ and ${\rm silt-}{B}$ formed by the isomorphism classes of basic silting complexes over finite-dimensional $k$-algebras $A$ and $B$, by lifting $A$ and $B$ to two $k[[X]]$-orders which are isomorphic as rings. We apply this to a class of algebras generalising Brauer graph and weighted surface algebras, showing that their silting posets are multiplicity-independent in most cases. Under stronger hypotheses we also prove the existence of large multiplicity-independent subgroups in their derived Picard groups as well as multiplicity-invariance of $\rm TrPicent$. As an application to the modular representation theory of finite groups we show that if $B$ and $C$ are blocks with $|{\rm IBr}(B)|=|{\rm IBr}(C)|$ whose defect groups are either both cyclic, both dihedral or both quaternion, then the posets ${\rm tilt-}{B}$ and ${\rm tilt-}{C}$ are isomorphic (except, possibly, in the quaternion case with $|{\rm IBr}(B)|=2$) and ${\rm TrPicent}(B)\cong{\rm TrPicent}(C)$ (except, possibly, in the quaternion and dihedral cases with $|{\rm IBr}(B)|=2$).


title: Realization of the Chern insulator and Axion insulator phases in antiferromagnetic $MnTe$-$Bi_2(Se, Te)_3$-$MnTe$ heterostructures

abstract: Breaking time-reversal symmetry in three-dimensional topological insulator thin films can lead to different topological quantum phases, such as the Chern insulator (CI) phase, and the axion insulator (AI) phase. Using first-principles density functional theory methods, we investigate the onset of these two topological phases in a tri-layer heterostructure consisting of a Bi$_2$Se$_3$ (Bi$_2$Te$_3$) TI thin film sandwiched between two antiferromagnetic MnTe layers. We find that an orthogonal exchange field from the MnTe layers, stabilized by a small anisotropy barrier, opens an energy gap of the order of 10 meV at the Dirac point of the TI film. A topological analysis demonstrates that, depending on the relative orientation of the exchange field at the two interfaces, the total Chern number of the system is either ${\cal C} = 1$ or ${\cal C} = 0$, characteristic of the CI and the AI phase, respectively. Non-topological surface states inside the energy-gap region, caused by the interface potential, complicate this identification. Remarkably though, the calculation of the anomalous Hall conductivity shows that such non-topological surface states do not affect the topology-induced transport properties. Given the size of the exchange gap, we estimate that gapless chiral edge states, leading to the quantum anomalous Hall effect, should emerge on the sidewalls of these heterostructures in the CI phase for widths $\ge 200$ nm. We also discuss the possibility of inducing transitions between the CI and the AI phases by means of the spin-orbit torque caused by the spin Hall effect in an adjacent conducting layer.


title: Beck-type companion identities for Franklin's identity

abstract: The original Beck conjecture, now a theorem due to Andrews, states that the difference in the number of parts in all partitions into odd parts and the number of parts in all strict partitions is equal to the number of partitions whose set of even parts has one element, and also to the number of partitions with exactly one part repeated. This is a companion identity to Euler's identity. The theorem has been generalized by Yang to a companion identity to Glaisher's identity. Franklin generalized Glaisher's identity, and in this article, we provide a Beck-type companion identity to Franklin's identity and prove it both analytically and combinatorially. Andrews' and Yang's respective theorems fit naturally into this very general frame. We also discuss a generalization to Franklin's identity of the second Beck-type companion identity proved by Andrews and Yang in their respective work.


title: The anomalous $Zb\bar{b}$ couplings: From LEP to LHC

abstract: The bottom quark forward-backward asymmetry ($A_{FB}^b$) data at LEP exhibits a long-standing discrepancy with the standard model prediction. We propose a novel method to probe the $Zb\bar{b}$ interactions through $gg\to Zh$ production at the LHC, which is sensitive to the axial-vector component of the $Zb\bar{b}$ couplings. We demonstrate that the $Zh$ data collected at the 13 TeV LHC can already resolve the apparent degeneracy of the anomalous $Zb\bar{b}$ couplings implied by the LEP precision electroweak measurements, with a strong dependence on the observed distribution of the $Z$ boson transverse momentum. We also show the potential of the HL-LHC to either verify or exclude the anomalous $Zb\bar{b}$ couplings observed at LEP through measuring the $Zh$ production rate at the HL-LHC, and this conclusion is not sensitive to possible new physics contribution induced by top quark or Higgs boson anomalous couplings in the loop.


title: Local Search Algorithms for Rank-Constrained Convex Optimization

abstract: We propose greedy and local search algorithms for rank-constrained convex optimization, namely solving $\underset{\mathrm{rank}(A)\leq r^*}{\min}\, R(A)$ given a convex function $R:\mathbb{R}^{m\times n}\rightarrow \mathbb{R}$ and a parameter $r^*$. These algorithms consist of repeating two steps: (a) adding a new rank-1 matrix to $A$ and (b) enforcing the rank constraint on $A$. We refine and improve the theoretical analysis of Shalev-Shwartz et al. (2011), and show that if the rank-restricted condition number of $R$ is $\kappa$, a solution $A$ with rank $O(r^*\cdot \min\{\kappa \log \frac{R(\mathbf{0})-R(A^*)}{\epsilon}, \kappa^2\})$ and $R(A) \leq R(A^*) + \epsilon$ can be recovered, where $A^*$ is the optimal solution. This significantly generalizes associated results on sparse convex optimization, as well as rank-constrained convex optimization for smooth functions. We then introduce new practical variants of these algorithms that have superior runtime and recover better solutions in practice. We demonstrate the versatility of these methods on a wide range of applications involving matrix completion and robust principal component analysis.


title: Uniqueness of noncontextual models for stabilizer subtheories

abstract: We give a complete characterization of the (non)classicality of all stabilizer subtheories. First, we prove that there is a unique nonnegative and diagram-preserving quasiprobability representation of the stabilizer subtheory in all odd dimensions, namely Gross's discrete Wigner function. This representation is equivalent to Spekkens' epistemically restricted toy theory, which is consequently singled out as the unique noncontextual ontological model for the stabilizer subtheory. Strikingly, the principle of noncontextuality is powerful enough (at least in this setting) to single out one particular classical realist interpretation. Our result explains the practical utility of Gross's representation by showing that (in the setting of the stabilizer subtheory) negativity in this particular representation implies generalized contextuality. Since negativity of this particular representation is a necessary resource for universal quantum computation in the state injection model, it follows that generalized contextuality is also a necessary resource for universal quantum computation in this model. In all even dimensions, we prove that there does not exist any nonnegative and diagram-preserving quasiprobability representation of the stabilizer subtheory, and, hence, that the stabilizer subtheory is contextual in all even dimensions.


title: Geometric frustration produces long-sought Bose metal phase of quantum matter

abstract: Two of the most prominent phases of bosonic matter are the superfluid with perfect flow and the insulator with no flow. A now decades-old mystery unexpectedly arose when experimental observations indicated that bosons could organize into the formation of an entirely different intervening third phase: the Bose metal with dissipative flow. The most viable theory for such a Bose metal to date invokes the use of the extrinsic property of impurity-based disorder; however, a generic intrinsic quantum Bose metal state is still lacking. We propose a universal homogeneous theory for a Bose metal in which geometric frustration confines the essential quantum coherence to a lower dimension. The result is a gapless insulator characterized by dissipative flow that vanishes in the low-energy limit. This failed insulator exemplifies a frustration-dominated regime that is only enhanced by additional scattering sources at low energy and therefore produces a Bose metal that thrives under realistic experimental conditions.


title: BO Ari Light Curve Analysis using Ground-Based and TESS Data

abstract: We present new BVR band photometric light curves of BO Aries obtained in 2020 and combined them with the Transiting Exoplanet Survey Satellite (TESS) light curves. We obtained times of minima based on Gaussian and Cauchy distributions and then applied the Monte Carlo Markov Chain (MCMC) method to measure the amount of uncertainty from our CCD photometry and TESS data. A new ephemeris of the binary system was computed employing 204 times of minimum. The light curves were analyzed using the Wilson-Devinney binary code combined with the Monte Carlo (MC) simulation. For this light curve solution, we considered a dark spot on the primary component. We conclude that this binary is an A-type system with a mass ratio of q=0.2074+-0.0001, an orbital inclination of i=82.18+-0.02 deg, and a fillout factor of f=75.7+-0.8%. Our results for the a(Rsun) and q parameters are consistent with the results of the Xu-Dong Zhang and Sheng-Bang Qian (2020) model. The absolute parameters of the two components were calculated and the distance estimate of the binary system was found to be 142+-9 pc.


title: Parameter inference in a computational model of hemodynamics in pulmonary hypertension

abstract: Pulmonary hypertension (PH), defined by a mean pulmonary arterial pressure (mPAP) $>$ 20 mmHg, is characterized by increased pulmonary vascular resistance and decreased pulmonary arterial compliance. There are few measurable biomarkers of PH progression, but a conclusive diagnosis of the disease requires invasive right heart catheterization (RHC). Patient-specific computational models of the cardiovascular system are a potential noninvasive tool for determining additional indicators of disease severity. Using computational modeling, this study quantifies physiological parameters indicative of disease severity in nine PH patients. The model includes all four heart chambers and the pulmonary and systemic circulations. We consider two sets of calibration data: static (systolic \& diastolic values) RHC data and a combination of static and continuous, time-series waveform data. We determine a subset of identifiable parameters for model calibration using sensitivity analyses and multistart inference, and carry out uncertainty quantification post-inference. Results show that additional waveform data enables accurate calibration of the right atrial reservoir and pump function across the PH cohort. Model outcomes, including stroke work and pulmonary resistance-compliance relations, reflect typical right heart dynamics in PH phenotypes. Lastly, we show that estimated parameters agree with previous, non-modeling studies, supporting this type of analysis in translational PH research.