title: Semi-martingale driven variational principles

abstract: Spearheaded by the recent efforts to derive stochastic geophysical fluid dynamics models, we present a generic framework for introducing stochasticity into variational principles through the concept of a semi-martingale driven variational principle and constraining the component variables to be compatible with the driving semi-martingale. Within this framework and the corresponding choice of constraints, the Euler-Poincare equation can be easily deduced. We show that their corresponding deterministic counterparts are particular cases of this class of stochastic variational principles. Moreover, this is a natural framework that enables us to correctly characterize the pressure term in incompressible stochastic fluid models. Other general constraints can also be incorporated as long as they are compatible with the driving semi-martingale.


title: Guiding Corpus-based Set Expansion by Auxiliary Sets Generation and Co-Expansion

abstract: Given a small set of seed entities (e.g., ``USA'', ``Russia''), corpus-based set expansion is to induce an extensive set of entities which share the same semantic class (Country in this example) from a given corpus. Set expansion benefits a wide range of downstream applications in knowledge discovery, such as web search, taxonomy construction, and query suggestion. Existing corpus-based set expansion algorithms typically bootstrap the given seeds by incorporating lexical patterns and distributional similarity. However, due to no negative sets provided explicitly, these methods suffer from semantic drift caused by expanding the seed set freely without guidance. We propose a new framework, Set-CoExpan, that automatically generates auxiliary sets as negative sets that are closely related to the target set of user's interest, and then performs multiple sets co-expansion that extracts discriminative features by comparing target set with auxiliary sets, to form multiple cohesive sets that are distinctive from one another, thus resolving the semantic drift issue. In this paper we demonstrate that by generating auxiliary sets, we can guide the expansion process of target set to avoid touching those ambiguous areas around the border with auxiliary sets, and we show that Set-CoExpan outperforms strong baseline methods significantly.


title: Almost finiteness, comparison, and tracial $\mathcal{Z}$-stability

abstract: Inspired by Kerr's work on topological dynamics, we define tracial $\mathcal{Z}$-stability for sub-$C^*$-algebras. We prove that for a countable discrete amenable group $G$ acting freely and minimally on a compact metrizable space $X$, tracial $\mathcal{Z}$-stability for the sub-$C^*$-algebra $(C(X)\subseteq C(X)\rtimes G)$ implies that the action has dynamical comparison. Consequently, tracial $\mathcal{Z}$-stability is equivalent to almost finiteness of the action, provided that the action has the small boundary property.


title: Stochastic control of optimized certainty equivalents

abstract: Optimized certainty equivalents (OCEs) is a family of risk measures widely used by both practitioners and academics. This is mostly due to its tractability and the fact that it encompasses important examples, including entropic risk measures and average value at risk. In this work we consider stochastic optimal control problems where the objective criterion is given by an OCE risk measure, or put in other words, a risk minimization problem for controlled diffusions. A major difficulty arises since OCEs are often time inconsistent. Nevertheless, via an enlargement of state space we achieve a substitute of sorts for time consistency in fair generality. This allows us to derive a dynamic programming principle and thus recover central results of (risk-neutral) stochastic control theory. In particular, we show that the value of our risk minimization problem can be characterized via the viscosity solution of a Hamilton--Jacobi--Bellman--Issacs equation. We further establish the uniqueness of the latter under suitable technical conditions.


title: Supervised Learning for Non-Sequential Data: A Canonical Polyadic Decomposition Approach

abstract: Efficient modelling of feature interactions underpins supervised learning for non-sequential tasks, characterized by a lack of inherent ordering of features (variables). The brute force approach of learning a parameter for each interaction of every order comes at an exponential computational and memory cost (Curse of Dimensionality). To alleviate this issue, it has been proposed to implicitly represent the model parameters as a tensor, the order of which is equal to the number of features; for efficiency, it can be further factorized into a compact Tensor Train (TT) format. However, both TT and other Tensor Networks (TNs), such as Tensor Ring and Hierarchical Tucker, are sensitive to the ordering of their indices (and hence to the features). To establish the desired invariance to feature ordering, we propose to represent the weight tensor through the Canonical Polyadic (CP) Decomposition (CPD), and introduce the associated inference and learning algorithms, including suitable regularization and initialization schemes. It is demonstrated that the proposed CP-based predictor significantly outperforms other TN-based predictors on sparse data while exhibiting comparable performance on dense non-sequential tasks. Furthermore, for enhanced expressiveness, we generalize the framework to allow feature mapping to arbitrarily high-dimensional feature vectors. In conjunction with feature vector normalization, this is shown to yield dramatic improvements in performance for dense non-sequential tasks, matching models such as fully-connected neural networks.


title: On the stability of projection-based model order reduction for convection-dominated laminar and turbulent flows

abstract: In the literature on projection-based nonlinear model order reduction for fluid dynamics problems, it is often claimed that due to modal truncation, a projection-based reduced-order model (PROM) does not resolve the dissipative regime of the turbulent energy cascade and therefore is numerically unstable. Efforts at addressing this claim have ranged from attempting to model the effects of the truncated modes to enriching the classical subspace of approximation in order to account for the truncated phenomena. This paper challenges this claim. Exploring the relationship between projection-based model order reduction and semi-discretization and using numerical evidence from three relevant flow problems, it argues in an orderly manner that the real culprit behind most if not all reported numerical instabilities of PROMs for turbulence and convection-dominated turbulent flow problems is the Galerkin framework that has been used for constructing the PROMs. The paper also shows that alternatively, a Petrov-Galerkin framework can be used to construct numerically stable PROMs for convection-dominated laminar as well as turbulent flow problems that are numerically stable and accurate, without resorting to additional closure models or tailoring of the subspace of approximation. It also shows that such alternative PROMs deliver significant speedup factors.


title: Print Defect Mapping with Semantic Segmentation

abstract: Efficient automated print defect mapping is valuable to the printing industry since such defects directly influence customer-perceived printer quality and manually mapping them is cost-ineffective. Conventional methods consist of complicated and hand-crafted feature engineering techniques, usually targeting only one type of defect. In this paper, we propose the first end-to-end framework to map print defects at pixel level, adopting an approach based on semantic segmentation. Our framework uses Convolutional Neural Networks, specifically DeepLab-v3+, and achieves promising results in the identification of defects in printed images. We use synthetic training data by simulating two types of print defects and a print-scan effect with image processing and computer graphic techniques. Compared with conventional methods, our framework is versatile, allowing two inference strategies, one being near real-time and providing coarser results, and the other focusing on offline processing with more fine-grained detection. Our model is evaluated on a dataset of real printed images.


title: Leveraging Schema Labels to Enhance Dataset Search

abstract: A search engine's ability to retrieve desirable datasets is important for data sharing and reuse. Existing dataset search engines typically rely on matching queries to dataset descriptions. However, a user may not have enough prior knowledge to write a query using terms that match with description text.We propose a novel schema label generation model which generates possible schema labels based on dataset table content. We incorporate the generated schema labels into a mixed ranking model which not only considers the relevance between the query and dataset metadata but also the similarity between the query and generated schema labels. To evaluate our method on real-world datasets, we create a new benchmark specifically for the dataset retrieval task. Experiments show that our approach can effectively improve the precision and NDCG scores of the dataset retrieval task compared with baseline methods. We also test on a collection of Wikipedia tables to show that the features generated from schema labels can improve the unsupervised and supervised web table retrieval task as well.


title: Candidate LBV stars in galaxy NGC 7793 found via HST photometry + MUSE spectroscopy

abstract: Only about 19 Galactic and 25 extra-galactic bona-fide Luminous Blue Variables (LBVs) are known to date. This incomplete census prevents our understanding of this crucial phase of massive star evolution which leads to the formation of heavy binary black holes via the classical channel. With large samples of LBVs one could better determine the duration and maximum stellar luminosity which characterize this phase. We search for candidate LBVs (cLBVs) in a new galaxy, NGC 7793. For this purpose, we combine high spatial resolution images from two Hubble Space Telescope (HST) programs with optical spectroscopy from the Multi Unit Spectroscopic Explorer (MUSE). By combining PSF-fitting photometry measured on F547M, F657N, and F814W images, with restrictions on point-like appearance (at HST resolution) and H{\alpha} luminosity, we find 100 potential cLBVs, 36 of which fall in the MUSE fields. Five of the latter 36 sources are promising cLBVs which have M(V) less than or equal to -7 and a combination of: H{\alpha} with a P-Cygni profile; no [O I] 6300 emission; weak or no [O III] 5007 emission; large [N II]/H{\alpha} relative to H II regions; and [S II] 6716 / [S II] 6731 similar to 1. It is not clear if these five cLBVs are isolated from O-type stars, which would favor the binary formation scenario of LBVs. Our study, which approximately covers one fourth of the optical disc of NGC 7793, demonstrates how by combining the above HST surveys with multi-object spectroscopy from 8-m class telescopes, one can efficiently find large samples of cLBVs in nearby galaxies.


title: Second-order Online Nonconvex Optimization

abstract: We present the online Newton's method, a single-step second-order method for online nonconvex optimization. We analyze its performance and obtain a dynamic regret bound that is linear in the cumulative variation between round optima. We show that if the variation between round optima is limited, the method leads to a constant regret bound. In the general case, the online Newton's method outperforms online convex optimization algorithms for convex functions and performs similarly to a specialized algorithm for strongly convex functions. We simulate the performance of the online Newton's method on a nonlinear, nonconvex moving target localization example and find that it outperforms a first-order approach.


title: Transition between Thin Film Boiling and Evaporation on Nanoporous Membranes Near the Kinetic Limit

abstract: Nanoporous structures including single nanopores and nanoporous membranes have been utilized as a platform to study fundamental liquid-vapor phase change heat transfer (PCHT) processes as well as a promising candidate for high flux heat dissipation. Both thin film boiling and evaporation through nanoporous structures have been demonstrated to achieve high heat flux, but they are usually considered two mutually exclusive regimes operated under vastly different conditions, and the factors dictating how close the PCHT process is to the kinetic limit are elusive. In this work, we utilized a unique transition between thin film boiling and evaporation through nanoporous membranes to clarify the factors determining the heat flux and heat transfer coefficient (HTC) with respect to the kinetic limit conditions. We unambiguously showed the controllable transition from boiling to evaporation, when the liquid receded into the nanopores and provided additional driving force from capillary pumping sustained in the nanoscale pores. We showed that this transition is universal and can be understood from a simple fluid transport model for all the four types of fluids we studied, which cover a wide span of surface tension (water, ethanol, isopropanol (IPA), FC-72). More importantly, PCHT conditions at the transition points between boiling and evaporation were close to those of the kinetic limit of all these fluids. However, further increase of the heat flux beyond the transition points led to decreasing HTC and deviation from the kinetic limit, which can be attributed to the increasing vapor resistance in the vapor space and inside the nanopores. This increasing vapor resistance was also confirmed by experiments on IPA with different vapor pressures.


title: Strategy Stealing in Triangle Avoidance Games

abstract: In the game of $n-Sim$, two players take it in turn to claim unclaimed edges from a complete graph on $n$ vertices, with the first person to create a triangle in his own edges being the loser. We present some strategy-stealing arguments that show that certain positions are wins for the second player. These are among the only strategy-stealing arguments that are known for mis\`ere games.


title: Canadian Adverse Driving Conditions Dataset

abstract: The Canadian Adverse Driving Conditions (CADC) dataset was collected with the Autonomoose autonomous vehicle platform, based on a modified Lincoln MKZ. The dataset, collected during winter within the Region of Waterloo, Canada, is the first autonomous vehicle dataset that focuses on adverse driving conditions specifically. It contains 7,000 frames collected through a variety of winter weather conditions of annotated data from 8 cameras (Ximea MQ013CG-E2), Lidar (VLP-32C) and a GNSS+INS system (Novatel OEM638). The sensors are time synchronized and calibrated with the intrinsic and extrinsic calibrations included in the dataset. Lidar frame annotations that represent ground truth for 3D object detection and tracking have been provided by Scale AI.


title: Complex nonlinear capacitance in outer hair cell macro-patches: effects of membrane tension

abstract: Outer hair cell (OHC) nonlinear capacitance (NLC) represents voltage sensor charge movements of prestin (SLC26a5), the protein responsible for OHC electromotility. Previous measures of NLC frequency response have employed methods which did not assess the influence of dielectric loss (sensor charge movements out of phase with voltage) that may occur, and such loss conceivably may influence the frequency dependent activity of prestin. Here we evaluate complex capacitance of prestin out to 30 kHz and find that its frequency response determined using this approach coincides with all previous estimates. We also show that membrane tension has no effect on the frequency response of prestin, despite substantial shifts in its voltage operating range, indicating that prestin transition rate alterations do not account for the shifts. The magnitude roll-off of prestin activity across frequency surpasses the reductions of NLC caused by salicylate treatments that are known to abolish cochlear amplification. Such roll-off must therefore limit the effectiveness if prestin in contributing to cochlear amplification at the very high acoustic frequencies processed by some mammals.


title: Unsupervised Program Synthesis for Images By Sampling Without Replacement

abstract: Program synthesis has emerged as a successful approach to the image parsing task. Most prior works rely on a two-step scheme involving supervised pretraining of a Seq2Seq model with synthetic programs followed by reinforcement learning (RL) for fine-tuning with real reference images. Fully unsupervised approaches promise to train the model directly on the target images without requiring curated pretraining datasets. However, they struggle with the inherent sparsity of meaningful programs in the search space. In this paper, we present the first unsupervised algorithm capable of parsing constructive solid geometry (CSG) images into context-free grammar (CFG) without pretraining via non-differentiable renderer. To tackle the \emph{non-Markovian} sparse reward problem, we combine three key ingredients -- (i) a grammar-encoded tree LSTM ensuring program validity (ii) entropy regularization and (iii) sampling without replacement from the CFG syntax tree. Empirically, our algorithm recovers meaningful programs in large search spaces (up to $3.8 \times 10^{28}$). Further, even though our approach is fully unsupervised, it generalizes better than supervised methods on the synthetic 2D CSG dataset. On the 2D computer aided design (CAD) dataset, our approach significantly outperforms the supervised pretrained model and is competitive to the refined model.


title: Development of a continuously tunable titanium-sapphire laser system for the ARIEL laser ion source

abstract: A concept for continuously tunable titanium-sapphire (Ti:Sa) lasers using dispersion prisms is under investigation for the ARIEL (Advanced Rare IsotopE Laboratory) laser ion source at TRIUMF (Canada's particle accelerator center). Wavelength selection for pulsed Ti:Sa lasers used in hot cavity laser resonance ionization spectroscopy is usually done with birefringent filters (BRFs) and etalons or diffraction gratings. For resonance ionization spectroscopy a laser system allowing a continuous wavelength scan is necessary. Tunable lasers based on BRFs and etalons have high output powers however require synchronized optimization for continuous laser wavelength scans and are therefore laborious to use in scanning applications. Diffraction grating tuned lasers can provide continuous wavelength scan over 200 nm range but typically have lower output laser power due to the grating deformation under high pumping power. Aiming to overcome both shortcomings a laser design based on prisms as dispersing element has been revisited. Simulations on the beam path and optical reflectivity are done which show that these losses can be minimized to around 0.04 % for a tuning range from 700 nm up to 920 nm. Further improvement on the tuning range and reduction on the linewidth will be pursued.


title: On the solvability of the matrix equation $(1+ae^{-\frac{\|X\|}{b}})X=Y$

abstract: The treated matrix equation $(1+ae^{-\frac{\|X\|}{b}})X=Y$ in this short note has its origin in a modelling approach to describe the nonlinear time-dependent mechanical behaviour of rubber. We classify the solvability of $(1+ae^{-\frac{\|X\|}{b}})X=Y$ in general normed spaces $(E,\|\cdot\|)$ w.r.t. the parameters $a,b\in\mathbb{R}$, $b\neq 0$, and give an algorithm to numerically compute its solutions in $E=\mathbb{R}^{m\times n}$, $m,n\in\mathbb{N}$, $m,n\geq 2$, equipped with the Frobenius norm.


title: Regret Bounds for Decentralized Learning in Cooperative Multi-Agent Dynamical Systems

abstract: Regret analysis is challenging in Multi-Agent Reinforcement Learning (MARL) primarily due to the dynamical environments and the decentralized information among agents. We attempt to solve this challenge in the context of decentralized learning in multi-agent linear-quadratic (LQ) dynamical systems. We begin with a simple setup consisting of two agents and two dynamically decoupled stochastic linear systems, each system controlled by an agent. The systems are coupled through a quadratic cost function. When both systems' dynamics are unknown and there is no communication among the agents, we show that no learning policy can generate sub-linear in $T$ regret, where $T$ is the time horizon. When only one system's dynamics are unknown and there is one-directional communication from the agent controlling the unknown system to the other agent, we propose a MARL algorithm based on the construction of an auxiliary single-agent LQ problem. The auxiliary single-agent problem in the proposed MARL algorithm serves as an implicit coordination mechanism among the two learning agents. This allows the agents to achieve a regret within $O(\sqrt{T})$ of the regret of the auxiliary single-agent problem. Consequently, using existing results for single-agent LQ regret, our algorithm provides a $\tilde{O}(\sqrt{T})$ regret bound. (Here $\tilde{O}(\cdot)$ hides constants and logarithmic factors). Our numerical experiments indicate that this bound is matched in practice. From the two-agent problem, we extend our results to multi-agent LQ systems with certain communication patterns.


title: Bicategorical colimits of tensor categories

abstract: In this expository paper we explain in detail how to construct bicategorical colimits of several kinds of tensor categories, for example essentially small finitely cocomplete K-linear tensor categories. The constructions are direct and elementary.


title: Phonon softening near topological phase transitions

abstract: Topological phase transitions occur when the electronic bands change their topological properties, typically featuring the closing of the bandgap. While the influence of topological phase transitions on electronic and optical properties has been extensively studied, its implication on phononic properties and thermal transport remains unexplored. In this work, we use first-principles simulations to show that certain phonon modes are significantly softened near topological phase transitions, leading to increased phonon-phonon scattering and reduced lattice thermal conductivity. We demonstrate this effect using two model systems: pressure-induced topological phase transition in $\rm ZrTe_5$ and chemical composition induced topological phase transition in $\rm{Hg_{1-x}Cd_{x}Te}$. We attribute the phonon softening to emergent Kohn anomalies associated with the closing of the bandgap. Our study reveals the strong connection between electronic band structures and lattice instabilities and opens up a potential direction towards controlling heat conduction in solids.


title: Simultaneous State and Unknown Input Set-Valued Observers for Some Classes of Nonlinear Dynamical Systems

abstract: In this paper, we propose fixed-order set-valued (in the form of l2-norm hyperballs) observers for some classes of nonlinear bounded-error dynamical systems with unknown input signals that simultaneously find bounded hyperballs of states and unknown inputs that include the true states and inputs. Necessary and sufficient conditions in the form of Linear Matrix Inequalities (LMIs) for the stability (in the sense of quadratic stability) of the proposed observers are derived for ($\mathcal{M},\gamma$)- Quadratically Constrained (($\mathcal{M},\gamma$)-QC) systems, which includes several classes of nonlinear systems: (I) Lipschitz continuous, (II) ($\mathcal{A},\gamma$)-QC* and (III) Linear Parameter-Varying (LPV) systems. This new quadratic constraint property is at least as general as the incremental quadratic constraint property for nonlinear systems and is proven in the paper to embody a broad range of nonlinearities. In addition, we design the optimal $\mathcal{H}_{\infty}$ observer among those that satisfy the quadratic stability conditions and show that the design results in Uniformly Bounded-Input Bounded-State (UBIBS) estimate radii/error dynamics and uniformly bounded sequences of the estimate radii. Furthermore, we provide closed-form upper bound sequences for the estimate radii and sufficient condition for their convergence to steady state. Finally, the effectiveness of the proposed set-valued observers is demonstrated through illustrative examples, where we compare the performance of our observers with some existing observers.


title: Multidimensional sound propagation in 3D high-order topological sonic insulator

abstract: High-order topological insulators (TIs) develop the conventional bulk-boundary correspondence theory and rise the interest in searching innovative topological materials. To realize a high-order TI with a wide passband of 1D and 2D transportation modes, we design non-trivial and trivial 3D sonic crystals whose combination mimics the Su-Schrieffer-Heeger model. The high-order topological boundary states can be found at the interfaces, including 0D corner state, 1D hinge state, and 2D surface state. The fabricated sample with the bent two-dimensional and one-dimensional acoustic channels exhibits the multidimensional sound propagation in space, and also verifies the transition between the complete band gap, hinge states, and surface states within the bulk band gap. Among them, the bandwidth of the single-mode hinge state achieves a large relative bandwidth 9.1%, in which sound transports one-dimensionally without significant leak into the surfaces or the bulk. The high-order topological states in the study pave the way for multidimensional sound manipulation in space.


title: Reservoir engineering with arbitrary temperatures for spin systems and quantum thermal machine with maximum efficiency

abstract: Abstract Reservoir engineering is an important tool for quantum information science and quantum thermodynamics since it allows for preparing and/or protecting special quantum states of single or multipartite systems or to investigate fundamental questions of the thermodynamics as quantum thermal machines and their efficiencies. Here we employ this technique to engineer reservoirs with arbitrary (effective) negative and positive temperatures for a single spin system. To this end, we firstly engineer an appropriate interaction between a qubit system, a carbon nuclear spin, to a fermionic reservoir, in our case a large number of hydrogen nuclear spins that acts as the spins bath. This carbon-hydrogen structure is present in a polycrystalline adamantane, which was used in our experimental setup. The required interaction engineering is achieved by applying a specific sequence of radio-frequency pulses using Nuclear Magnetic Resonance (NMR), while the temperature of the bath can be controlled by appropriate preparation of the initial hydrogen nuclear spin state, being the predicted results in very good agreement with the experimental data. As an application we implemented a single qubit quantum thermal machine which operates at a single reservoir at effective negative temperature whose efficiency is always 100%, independent of the unitary transformation performed on the qubit system, as long as it changes the qubit state.


title: Bions and Instantons in Triple-well and Multi-well Potentials

abstract: Quantum systems with multiple degenerate classical harmonic minima exhibit new non-perturbative phenomena which are not present for the double-well and periodic potentials. The simplest characteristic example of this family is the triple-well potential. Despite the fact that instantons are exact semiclassical solutions with finite and minimal action, they do not contribute to the energy spectrum at leading order in the semiclassical analysis. This is because the instanton fluctuation prefactor vanishes, which can be interpreted as the action becoming infinite quantum mechanically. Instead, the non-perturbative physics is governed by different types of {\it bion} configurations. A generalization to supersymmetric and quasi-exactly soluble models is also discussed. An interesting pattern of interference between topological and neutral bions, depending on the hidden topological angle, the discrete theta angle and the perturbative level number, leads to an intricate pattern of divergent/convergent expansions for low lying states, and provides criteria for the exact solvability of some of the states. We confirm these semiclassical bion predictions using the Bender-Wu Mathematica package to study the structure of the associated perturbative expansions. It also turns out that all the systems we study have a curious exact one-to-one relationship between the perturbative coefficients of the three wells, which we check using the BenderWu package.


title: SPI Analysis and Abundance Calculations of DEM L71, and Comparison to SN explosion Models

abstract: We analyze the X-Ray emission from the supernova remnant DEM L71 using the Smoothed Particle Inference (SPI) technique. The high Fe abundance found appears to confirm the Type Ia origin. Our method allows us to separate the material ejected in the supernova explosion from the material swept-up by the supernova shock wave. We are able to calculate the total mass of this swept-up material to be about 228 $\pm$ 23 M$_{\odot}$. We plot the posterior distribution for the number density parameter, and create a map of the density structure within the remnant. While the observed density shows substantial variations, we find our results are generally consistent with a two-dimensional hydrodynamical model of the remnant that we have run. Assuming the ejected material arises from a Type Ia explosion, with no hydrogen present, we use the predicted yields from Type Ia models available in the literature to characterize the emitting gas. We find that the abundance of various elements match those predicted by deflagration to detonation transition (DDT) models. Our results, compatible with the Type Ia scenario, highlight the complexity of the remnant and the nature of the surrounding medium.


title: Interpreting Cloud Computer Vision Pain-Points: A Mining Study of Stack Overflow

abstract: Intelligent services are becoming increasingly more pervasive; application developers want to leverage the latest advances in areas such as computer vision to provide new services and products to users, and large technology firms enable this via RESTful APIs. While such APIs promise an easy-to-integrate on-demand machine intelligence, their current design, documentation and developer interface hides much of the underlying machine learning techniques that power them. Such APIs look and feel like conventional APIs but abstract away data-driven probabilistic behaviour - the implications of a developer treating these APIs in the same way as other, traditional cloud services, such as cloud storage, is of concern. The objective of this study is to determine the various pain-points developers face when implementing systems that rely on the most mature of these intelligent services, specifically those that provide computer vision. We use Stack Overflow to mine indications of the frustrations that developers appear to face when using computer vision services, classifying their questions against two recent classification taxonomies (documentation-related and general questions). We find that, unlike mature fields like mobile development, there is a contrast in the types of questions asked by developers. These indicate a shallow understanding of the underlying technology that empower such systems. We discuss several implications of these findings via the lens of learning taxonomies to suggest how the software engineering community can improve these services and comment on the nature by which developers use them.


title: Joint Activity Detection and Channel Estimation for mmW/THz Wideband Massive Access

abstract: Millimeter-wave/Terahertz (mmW/THz) communications have shown great potential for wideband massive access in next-generation cellular internet of things (IoT) networks. To decrease the length of pilot sequences and the computational complexity in wideband massive access, this paper proposes a novel joint activity detection and channel estimation (JADCE) algorithm. Specifically, after formulating JADCE as a problem of recovering a simultaneously sparse-group and low rank matrix according to the characteristics of mmW/THz channel, we prove that jointly imposing $l_1$ norm and low rank on such a matrix can achieve a robust recovery under sufficient conditions, and verify that the number of measurements derived for the mmW/THz wideband massive access system is significantly smaller than currently known measurements bound derived for the conventional simultaneously sparse and low-rank recovery. Furthermore, we propose a multi-rank aware method by exploiting the quotient geometry of product of complex rank-$L$ matrices with the number of scattering clusters $L$. Theoretical analysis and simulation results confirm the superiority of the proposed algorithm in terms of computational complexity, detection error rate, and channel estimation accuracy.


title: An analysis and visualization of the output mode-matching requirements for squeezing in Advanced LIGO and future gravitational wave detectors

abstract: The sensitivity of ground-based gravitational wave (GW) detectors will be improved in the future via the injection of frequency-dependent squeezed vacuum. The achievable improvement is ultimately limited by losses of the interferometer electromagnetic field that carries the GW signal. The analysis and reduction of optical loss in the GW signal chain will be critical for optimal squeezed light-enhanced interferometry. In this work we analyze a strategy for reducing output-side losses due to spatial mode mismatch between optical cavities with the use of adaptive optics. Our goal is not to design a detector from the top down, but rather to minimize losses within the current design. Accordingly, we consider actuation on optics already present and one transmissive optic to be added between the signal recycling mirror and the output mode cleaner. The results of our calculation show that adaptive mode-matching with the current Advanced LIGO design is a suitable strategy for loss reduction that provides less than 2% mean output mode-matching loss. The range of actuation required is +47 uD on SR3, +140 mD on OM1 and OM2, +50 mD on the SRM substrate, and -50 mD on the added new transmissive optic. These requirements are within the demonstrated ranges of real actuators in similar or identical configurations to the proposed implementation. We also present a novel technique that graphically illustrates the matching of interferometer modes and allows for a quantitative comparison of different combinations of actuators.


title: COKE: Communication-Censored Decentralized Kernel Learning

abstract: This paper studies the decentralized optimization and learning problem where multiple interconnected agents aim to learn an optimal decision function defined over a reproducing kernel Hilbert space by jointly minimizing a global objective function, with access to their own locally observed dataset. As a non-parametric approach, kernel learning faces a major challenge in distributed implementation: the decision variables of local objective functions are data-dependent and thus cannot be optimized under the decentralized consensus framework without any raw data exchange among agents. To circumvent this major challenge, we leverage the random feature (RF) approximation approach to enable consensus on the function modeled in the RF space by data-independent parameters across different agents. We then design an iterative algorithm, termed DKLA, for fast-convergent implementation via ADMM. Based on DKLA, we further develop a communication-censored kernel learning (COKE) algorithm that reduces the communication load of DKLA by preventing an agent from transmitting at every iteration unless its local updates are deemed informative. Theoretical results in terms of linear convergence guarantee and generalization performance analysis of DKLA and COKE are provided. Comprehensive tests on both synthetic and real datasets are conducted to verify the communication efficiency and learning effectiveness of COKE.


title: On the Chern conjecture for isoparametric hypersurfaces

abstract: For a closed hypersurface $M^n\subset S^{n+1}(1)$ with constant mean curvature and constant non-negative scalar curvature, the present paper shows that if $\mathrm{tr}(\mathcal{A}^k)$ are constants for $k=3,\ldots, n-1$ for shape operator $\mathcal{A}$, then $M$ is isoparametric. The result generalizes the theorem of de Almeida and Brito \cite{dB90} for $n=3$ to any dimension $n$, strongly supporting Chern's conjecture.


title: Tracing the high energy theory of gravity: an introduction to Palatini inflation

abstract: We present an introduction to cosmic inflation in the context of Palatini gravity, which is an interesting alternative to the usual metric theory of gravity. In the latter case only the metric $g_{\mu\nu}$ determines the geometry of space-time, whereas in the former case both the metric and the space-time connection $\Gamma^\lambda_{\mu\nu}$ are a priori independent variables - a choice which can lead to a theory of gravity different from the metric one. In scenarios where the field(s) responsible for cosmic inflation are coupled non-minimally to gravity or the gravitational sector is otherwise extended, assumptions of the underlying gravitational degrees of freedom can have a big impact on the observational consequences of inflation. We demonstrate this explicitly by reviewing several interesting and well-motivated scenarios including Higgs inflation, $R^2$ inflation, and $\xi$-attractor models. We also discuss some prospects for future research and argue why $r=10^{-3}$ is a particularly important goal for future missions that search for signatures of primordial gravitational waves.


title: Bimodule maps from a unital $C^*$-algebra to its $C^*$-subalgebra and strong Morita equivalence

abstract: Let $A \subset C$ and $B \subset D$ be unital inclusions of unital $C^*$-algebras. Let ${}_A \mathbf{B}_A (C, A)$ (resp. ${}_B \mathbf{B}_B (D, B)$) be the space of all bounded $A$-bimodule (resp. $B$-bimodule) linear maps from $C$ (resp. $D$) to $A$ (resp. $B$). We suppose that $A \subset C$ and $B \subset D$ are strongly Morita equivalent. We shall show that there is an isometric isomorphism $f$ of ${}_A \mathbf{B}_A (C, A)$ onto ${}_B \mathbf{B}_B (D, B)$ and we shall study on basic properties about $f$.


title: On the All-Or-Nothing Behavior of Bernoulli Group Testing

abstract: In this paper, we study the problem of non-adaptive group testing, in which one seeks to identify which items are defective given a set of suitably-designed tests whose outcomes indicate whether or not at least one defective item was included in the test. The most widespread recovery criterion seeks to exactly recover the entire defective set, and relaxed criteria such as approximate recovery and list decoding have also been considered. In this paper, we study the fundamental limits of group testing under the significantly relaxed {\em weak recovery} criterion, which only seeks to identify a small fraction (e.g., $0.01$) of the defective items. Given the near-optimality of i.i.d.~Bernoulli testing for exact recovery in sufficiently sparse scaling regimes, it is natural to ask whether this design additionally succeeds with much fewer tests under weak recovery. Our main negative result shows that this is not the case, and in fact, under i.i.d.~Bernoulli random testing in the sufficiently sparse regime, an {\em all-or-nothing} phenomenon occurs: When the number of tests is slightly below a threshold, weak recovery is impossible, whereas when the number of tests is slightly above the same threshold, high-probability exact recovery is possible. In establishing this result, we additionally prove similar negative results under Bernoulli designs for the weak detection problem (distinguishing between the group testing model vs.~completely random outcomes) and the problem of identifying a single item that is definitely defective. On the positive side, we show that all three relaxed recovery criteria can be attained using considerably fewer tests under suitably-chosen non-Bernoulli designs.

categories: cs.IT eess.SP math.IT math.PR math.ST stat.TH


title: Picoscale control of quantum plasmonic photoluminescence enhancement at 2D lateral heterojunction

abstract: Two-dimensional (2D) materials and heterostructures have recently gained wide attention due to potential applications in optoelectronic devices. However, the optical properties of the heterojunction have not been properly characterized due to the limited spatial resolution, requiring nano-optical characterization beyond the diffraction limit. Here, we investigate the lateral monolayer MoS2-WS2 heterostructure using tip-enhanced photoluminescence (TEPL) spectroscopy on a non-metallic substrate with picoscale tip-sample distance control. By placing a plasmonic Au-coated Ag tip at the heterojunction, we observed more than three orders of magnitude photoluminescence (PL) enhancement due to the classical near-field mechanism and charge transfer across the junction. The picoscale precision of the distance-dependent TEPL measurements allowed for investigating the classical and quantum tunneling regimes above and below the ~320 pm tip-sample distance, respectively. Quantum plasmonic effects usually limit the maximum signal enhancement due to the near-field depletion at the tip. We demonstrate a more complex behavior at the 2D lateral heterojunction, where hot electron tunneling leads to the quenching of the PL of MoS2, while simultaneously increasing the PL of WS2. Our simulations show agreement with the experiments, revealing the range of parameters and enhancement factors corresponding to various regimes. The controllable photoresponse of the lateral junction can be used in novel nanodevices.


title: The cosmic-ray content of the Orion-Eridanus superbubble

abstract: The nearby Orion-Eridanus superbubble, which was blown by multiple supernovae several Myr ago, has likely produced cosmic rays. Its turbulent medium, still energised by massive stars, can impact cosmic-ray transport locally. The gamma rays produced in cosmic-ray interactions with interstellar gas were used to compare the GeV to TeV cosmic-ray spectrum in the superbubble and in other regions near the Sun. We used ten years of Fermi-LAT data in the 0.25-63 GeV energy range to study the closer (Eridanus) end of the superbubble. We modelled the spatial and spectral distributions of the gamma rays produced in the different gas phases of the clouds found in this direction. We found that the gamma-ray emissivity spectrum of the gas along the outer rim and in a shell inside the superbubble is consistent with the average spectrum measured in the solar neighbourhood. This result calls for a detailed assessment of the recent supernova rate and census of massive stellar winds in the superbubble in order to estimate the epoch and rate of cosmic-ray production and to constrain the transport conditions that can lead to such homogeneity and little re-acceleration. We also found significant evidence that a diffuse cloud lying outside the superbubble, at a height of 200-250 pc below the Galactic plane, is pervaded by a 34\% lower cosmic-ray flux, but with the same particle energy distribution as the local one. Super-GeV cosmic rays should freely cross such a diffuse atomic cloud without significant loss or spectral distorsion. We tentatively propose that the cosmic-ray loss relates to the orientation of the magnetic field lines threading the cirrus, which point towards the halo according to the dust polarisation data. We gathered past and present emissivity measurements near the Sun to show how the local cosmic-ray flux decreases with Galactic height and to compare this trend with model predictions.


title: Validation and improvement of the ZPC parton cascade inside a box

abstract: Cascade solutions of the Boltzmann equation suffer from causality violation at large densities and/or scattering cross sections. Although the particle subdivision technique can reduce the causality violation, it alters event-by-event correlations and fluctuations and is also computationally expensive. Here we evaluate and then improve the accuracy of the ZPC parton cascade for elastic scatterings inside a box without using parton subdivision. We first test different collision schemes for the collision times and ordering time and find that the default collision scheme does not accurately describe the equilibrium momentum distribution at large opacities. We then find a specific collision scheme that can describe very accurately the equilibrium momentum distribution as well as the time evolution towards equilibrium, even at large opacities. We also calculate the shear viscosity and the $\eta/s$ ratio of the parton systems and confirm that the new collision scheme is more accurate. In addition, we use a novel parton subdivision method to obtain the "exact" evolution of the system. This subdivision method is valid for such box calculations and is so much more efficient than the standard subdivision method that we use a subdivision factor of $10^6$ in this study.


title: Ordinary differential equations with singular coefficients: an intrinsic formulation with applications to the Euler-Bernoulli beam equation

abstract: We study a class of linear ordinary differential equations (ODE)s with distributional coefficients. These equations are defined using an {\it intrinsic} multiplicative product of Schwartz distributions which is an extension of the H\"ormander product of distributions with non-intersecting singular supports [L. H\"ormander, The Analysis of Linear Partial Diffe\-rential Operators I, Springer-Verlag, 1983]. We provide a regularization procedure for these ODEs and prove an existence and uniqueness theorem for their solutions. We also determine the conditions for which the solutions are regular and distributional. These results are used to study the Euler-Bernoulli beam equation with discontinuous and singular coefficients. This problem was addressed in the past using intrinsic products (under some restrictive conditions) and the Colombeau formalism (in the general case). Here we present a new intrinsic formulation that is simpler and more general. As an application, the case of a non-uniform static beam displaying structural cracks is discussed in some detail.


title: Inference in High-Dimensional Linear Measurement Error Models

abstract: For a high-dimensional linear model with a finite number of covariates measured with error, we study statistical inference on the parameters associated with the error-prone covariates, and propose a new corrected decorrelated score test and the corresponding one-step estimator. We further establish asymptotic properties of the newly proposed test statistic and the one-step estimator. Under local alternatives, we show that the limiting distribution of our corrected decorrelated score test statistic is non-central normal. The finite-sample performance of the proposed inference procedure is examined through simulation studies. We further illustrate the proposed procedure via an empirical analysis of a real data example.


title: Effects of symmetry energy on equation of state for simulations of core-collapse supernovae and neutron-star mergers

abstract: We construct a new equation of state (EOS) for numerical simulations of core-collapse supernovae and neutron-star mergers based on an extended relativistic mean-field model with a small symmetry energy slope $L$, which is compatible with both experimental nuclear data and recent observations of neutron stars. The new EOS table (EOS4) based on the extended TM1 (TM1e) model with $L=40$ MeV is designed in the same tabular form and compared with the commonly used Shen EOS (EOS2) based on the original TM1 model with $L=110.8$ MeV. This is convenient and useful for performing numerical simulations and examining the influences of symmetry energy and its density dependence on astrophysical phenomena. In comparison with the TM1 model used in EOS2, the TM1e model provides a similar maximum neutron-star mass but smaller radius and tidal deformability for a $1.4 M_\odot$ neutron star, which is more consistent with current constraints. By comparing the phase diagram and thermodynamic quantities between EOS4 and EOS2, it is found that the TM1e model predicts relatively larger region of nonuniform matter and softer EOS for neutron-rich matter. Significant differences between EOS4 and EOS2 are observed in the case with low proton fraction, while the properties of symmetric matter remain unchanged.


title: A Deep Search for Binary TNOs

abstract: The Latitude Density Search utilized Hyper Suprime-Cam on Subaru Telescope to discover 60 moving objects in the outer Solar System, 54 of which have semi-major axes beyond 30 AU. The images were acquired in exceptional seeing (0.4") and reached a detection limit of m_r~=25.2. The two night arcs were used to calculate orbits which are poorly constrained, however, the distance and inclination are the parameters best constrained by short arcs and a reasonable determination can be made of which objects are cold classical TNOs and which are dynamically excited. We identify 10 objects as likely cold classical objects. We searched all of the detections for binary sources using a trailed Point Spread Function subtraction method, and identified one binary object with a separation of 0.34" and a secondary with 17% the brightness of the primary (2.0 magnitudes fainter). This is the brightest TNO in the sample, the previously known object 471165 (2010 HE79), which has a dynamically excited orbit. Because of the excellent seeing, this search was sensitive to binaries with 0.34" separation and a brightness of >=50% the primary brightness for 7 objects, including one cold classical. This gives an intrinsic binary fraction of ~17% (1 of 6) for the dynamically excited objects within our detection limits. The trailed point spread function subtraction method to identify binaries, fit the two components, and determine the sensitivity limits, used in the Latitude Density Search is a useful tool that could be more broadly applied to identify binary TNOs and track known binary TNO orbits.


title: A multi-stop time-of-flight spectrometer for the measurement of positron annihilation-induced electrons in coincidence with the Doppler-shifted annihilation gamma photon

abstract: Here we describe an advanced multi functional, variable-energy positron beam system capable of measuring the energies of multiple positron-induced electrons in coincidence with the Doppler-shifted gamma photon resulting from the annihilation of the correlated positron. The measurements were carried out using the unique characteristics of the digital time-of-flight spectrometer and the gamma spectrometer available with the advanced positron beam system. These measurements have resulted in (i) the first digital time of flight spectrum of positron annihilation-induced Auger electrons generated using coincident signals from a high-purity Ge detector and a micro-channel plate; (ii) a two-dimensional array of the energy of Doppler-broadened annihilation gamma and the time of flight of positron-annihilation induced Auger electrons or secondary electrons measured in coincidence with the annihilation gamma photon; and (iii) the time of flight spectra of multiple secondary electrons ejected from a bilayer graphene surface as a result of the impact and(or) annihilation of positrons. The novelty of the gamma electron coincidence spectroscopy has been demonstrated by extracting the Doppler-broadened spectrum of gamma photons emitted due to the annihilation of positrons exclusively with 1s electrons of carbon. The width of the extracted Doppler-broadened gamma spectrum has been found to be consistent with the expected broadening of the annihilation gamma spectrum due to the momentum of the 1s electrons in carbon.


title: Non-perturbative scaling behavior for net ionization of biologically relevant molecules by multiply-charged heavy-ion impact

abstract: A recently developed model to describe proton collisions from molecules involving basic atoms such as hydrogen, carbon, nitrogen, oxygen and phosphorus (H, C, N, O, P) is extended to treat collisions with multiply charged ions. The ion-atom collisions are computed using the two-center basis generator method (TC-BGM), which has a proven track record of yielding accurate total cross sections for electron capture and ionization. The atomic net ionization cross sections are then used to assemble two models for ion-molecule collisions: an independent atom model (IAM) that follows the Bragg additivity rule (labeled IAM-AR), and also the so-called pixel-counting method (IAM-PCM). The latter yields reduced cross sections relative to IAM-AR near the maximum, since it takes into account the overlapping nature of effective cross sectional areas. The IAM-PCM for higher-charge projectiles leads to strong reductions of net ionization cross sections relative to the IAM-AR method, and is computed directly for projectile charges $Q=1, 2, 3$. The scaling behavior of the IAM-PCM is investigated over a wide range of energies $E$, and at high $E$ it converges towards the IAM-AR. An empirical scaling rule is established which allows to reproduce these results based on proton impact calculations. Detailed comparisons are provided for the uracil target ($\rm C_4 H_4 N_2 O_2$), for which other theoretical as well as experimental results are available. Based on the scaling model derived from the IAM-PCM data it is shown how the experimental data for uracil and water bombarded by multiply charged ions can be reduced to effective $Q=1$ cross sections respectively, and these are compared to proton impact data.


title: Magnetic fields in isolated and interacting white dwarfs

abstract: The magnetic white dwarfs (MWDs) are found either isolated or in interacting binaries. They divide into two groups: a high field group (0.1-1,000MegaGauss) comprising some 13% of all white dwarfs (WDs), and a low field group (B<0.1MG) whose incidence is currently under investigation. The situation may be similar in magnetic binaries because the bright accretion discs in low field systems hide the photosphere of their WDs thus preventing the study of their magnetic fields' strength and structure. Considerable research has been devoted to the vexed question on the origin of magnetic fields. One hypothesis is that WD magnetic fields are of fossil origin. The other is that magnetic fields arise from binary interaction, through differential rotation, during common envelope evolution. The recently discovered population of hot, carbon-rich WDs exhibiting an incidence of magnetism of up to about 70% and a variability from a few minutes to a couple of days may support the merging binary hypothesis. Several studies have raised the possibility of the detection of planets around MWDs. Rocky planets may be discovered by the detection of anomalous atmospheric heating of the MWD. Planetary remains have recently revealed themselves in the atmospheres of about 25% of WDs that are polluted by elements such as Ca, Si, and often also Mg, Fe, Na. This pollution has been explained by ongoing accretion of planetary debris. The study of isolated and accreting MWDs is likely to continue to yield exciting discoveries for many years to come.


title: Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time

abstract: In this paper, we present a new methodology to evaluate whether a business process model is fully compliant with a regulatory framework composed of a set of conditional obligations. The methodology is based failure delta-constraints that are evaluated on bottom-up aggregations of a tree-like representation of business process models. While the generic problem of proving full compliance is in coNP-complete, we show that verifying full compliance can be done in polynomial time using our methodology, for an acyclic structured process model given a regulatory framework composed by a set of conditional obligations, whose elements are restricted to be represented by propositional literals


title: Field Theory of Reaction-Diffusion: Mass Action with an Energetic Variational Approach

abstract: We extend the energetic variational approach so it can be applied to a chemical reaction system with general mass action kinetics. Our approach starts with an energy-dissipation law. We show that the chemical equilibrium is determined by the choice of the free energy and the dynamics of the chemical reaction is determined by the choice of the dissipation. This approach enables us to couple chemical reactions with other effects, such as diffusion and drift in an electric field. As an illustration, we apply our approach to a non-equilibrium reaction-diffusion system in a specific but canonical set-up. We show by numerical simulation that the input-output relation of such a system depends on the choice of the dissipation.


title: Central Moment Analysis for Cost Accumulators in Probabilistic Programs

abstract: For probabilistic programs, it is usually not possible to automatically derive exact information about their properties, such as the distribution of states at a given program point. Instead, one can attempt to derive approximations, such as upper bounds on tail probabilities. Such bounds can be obtained via concentration inequalities, which rely on the moments of a distribution, such as the expectation (the first raw moment) or the variance (the second central moment). Tail bounds obtained using central moments are often tighter than the ones obtained using raw moments, but automatically analyzing central moments is more challenging. This paper presents an analysis for probabilistic programs that automatically derives symbolic upper and lower bounds on variances, as well as higher central moments, of cost accumulators. To overcome the challenges of higher-moment analysis, it generalizes analyses for expectations with an algebraic abstraction that simultaneously analyzes different moments, utilizing relations between them. A key innovation is the notion of moment-polymorphic recursion, and a practical derivation system that handles recursive functions. The analysis has been implemented using a template-based technique that reduces the inference of polynomial bounds to linear programming. Experiments with our prototype central-moment analyzer show that, despite the analyzer's upper/lower bounds on various quantities, it obtains tighter tail bounds than an existing system that uses only raw moments, such as expectations.


title: Evolution of superconductivity and antiferromagnetic order in Ba(Fe$_{0.92-x}$Co$_{0.08}$V$_x$)$_2$As$_2$

abstract: The vanadium doping effects on superconductivity and magnetism of iron pnictides are investigated in Ba(Fe$_{0.92-x}$Co$_{0.08}$V$_x$)$_2$As$_2$ by transport, susceptibility and neutron scattering measurements. The doping of magnetic impurity V causes a fast suppression of superconductivity with T$_c$ reduced at a rate of 7.4~K/1\%V. On the other hand, the long-range commensurate $C$-type antiferromagnetic order is recovered upon the V doping. The value of ordered magnetic moments of Ba(Fe$_{0.92-x}$Co$_{0.08}$V$_x$)$_2$As$_2$ follows a dome-like evolution versus doping concentration x. A possible Griffiths-type antiferromagnetic region of multiple coexisting phases in the phase diagram of Ba(Fe$_{0.92-x}$Co$_{0.08}$V$_x$)$_2$As$_2$ is identified, in accordance with previous theoretical predictions based on a cooperative behavior of the magnetic impurities and the conduction electrons mediating the Ruderman-Kittel-Kasuya-Yosida interactions between them.


title: SrRuO$_3$-SrTiO$_3$ heterostructure as a possible platform for studying unconventional superconductivity in Sr$_{2}$RuO$_{4}$

abstract: There is intense controversy around the unconventional superconductivity in strontium ruthenate, where the various theoretical and experimental studies suggest diverse and mutually exclusive pairing symmetries. Currently, the investigation is solely focused on only one material, Sr2RuO4, and the field suffers from the lack of comparison targets. Here, employing a density functional theory based analysis, we show that the heterostructure composed of SrRuO3 and SrTiO3 is endowed with all the key characteristics of Sr2RuO4, and, in principle, can host superconductivity. Furthermore, we show that competing magnetic phases and associated frustration, naturally affecting the superconducting state, can be tuned by epitaxial strain engineering. This system thus offers an excellent platform for gaining more insight into superconductivity in ruthenates.


title: A C/V$_2$O$_5$ core-sheath nanofibrous cathode with mixed-ion intercalation for aluminium-ion batteries

abstract: A new nanofibrous material, consisting of a conductive carbon core and an external layer made of vanadium oxide, has been studied as a cathode for aluminium-ion batteries. The material enables a mixed-ion intercalation mechanism, resulting in the alternating insertion of $\text{Al}^{3+}$ and $\text{AlCl}_4^-$ in the $\text{V}_2\text{O}_5$ and carbon layers, respectively. This is a highly desirable feature for cathode materials which may increase the energy density of future batteries by optimising the utilisation of the electrolyte.


title: The M\"obius Function of the Affine Linear Group $\text{AGL}(1,\Bbb F_q)$

abstract: Let $\text{AGL}(1,\Bbb F_q)$ denote the affine linear group of dimension one over the finite field $\Bbb F_q$. We determine the M\"obius function of the lattice of subgroups of $\text{AGL}(1,\Bbb F_q)$.


title: Medical Image Segmentation via Unsupervised Convolutional Neural Network

abstract: For the majority of the learning-based segmentation methods, a large quantity of high-quality training data is required. In this paper, we present a novel learning-based segmentation model that could be trained semi- or un- supervised. Specifically, in the unsupervised setting, we parameterize the Active contour without edges (ACWE) framework via a convolutional neural network (ConvNet), and optimize the parameters of the ConvNet using a self-supervised method. In another setting (semi-supervised), the auxiliary segmentation ground truth is used during training. We show that the method provides fast and high-quality bone segmentation in the context of single-photon emission computed tomography (SPECT) image.


title: Real-Time Well Log Prediction From Drilling Data Using Deep Learning

abstract: The objective is to study the feasibility of predicting subsurface rock properties in wells from real-time drilling data. Geophysical logs, namely, density, porosity and sonic logs are of paramount importance for subsurface resource estimation and exploitation. These wireline petro-physical measurements are selectively deployed as they are expensive to acquire; meanwhile, drilling information is recorded in every drilled well. Hence a predictive tool for wireline log prediction from drilling data can help management make decisions about data acquisition, especially for delineation and production wells. This problem is non-linear with strong ineractions between drilling parameters; hence the potential for deep learning to address this problem is explored. We present a workflow for data augmentation and feature engineering using Distance-based Global Sensitivity Analysis. We propose an Inception-based Convolutional Neural Network combined with a Temporal Convolutional Network as the deep learning model. The model is designed to learn both low and high frequency content of the data. 12 wells from the Equinor dataset for the Volve field in the North Sea are used for learning. The model predictions not only capture trends but are also physically consistent across density, porosity, and sonic logs. On the test data, the mean square error reaches a low value of 0.04 but the correlation coefficient plateaus around 0.6. The model is able however to differentiate between different types of rocks such as cemented sandstone, unconsolidated sands, and shale.


title: Benchmark Design and Prior-independent Optimization

abstract: This paper compares two leading approaches for robust optimization in the models of online algorithms and mechanism design. Competitive analysis compares the performance of an online algorithm to an offline benchmark in worst-case over inputs, and prior-independent mechanism design compares the expected performance of a mechanism on an unknown distribution (of inputs, i.e., agent values) to the optimal mechanism for the distribution in worst case over distributions. For competitive analysis, a critical concern is the choice of benchmark. This paper gives a method for selecting a good benchmark. We show that optimal algorithm/mechanism for the optimal benchmark are equal to the prior-independent optimal algorithm/mechanism. We solve a central open question in prior-independent mechanism design, namely we identify the prior-independent revenue-optimal mechanism for selling a single item to two agents with i.i.d. and regularly distributed values. Via this solution and the above equivalence of prior-independent mechanism design and competitive analysis (a.k.a. prior-free mechanism design) we show that the standard method for lower bounds of prior-free mechanisms is not generally tight for the benchmark design program.


title: ALP Constraints in Gauged $\mathcal{N}=2$ Supergravity

abstract: We discuss a possibility of restricting parameters in $\mathcal{N}=2$ supergravity based on axion observations. We derive conditions that prepotential and gauge couplings should satisfy. Such conditions not only allow us to constrain the theory but also provide the lower bound of $\mathcal{N}=2\rightarrow\mathcal{N}=1$ breaking scale.


title: An Internal Clock Based Space-time Neural Network for Motion Speed Recognition

abstract: In this work we present a novel internal clock based space-time neural network for motion speed recognition. The developed system has a spike train encoder, a Spiking Neural Network (SNN) with internal clocking behaviors, a pattern transformation block and a Network Dynamic Dependent Plasticity (NDDP) learning block. The core principle is that the developed SNN will automatically tune its network pattern frequency (internal clock frequency) to recognize human motions in a speed domain. We employed both cartoons and real-world videos as training benchmarks, results demonstrate that our system can not only recognize motions with considerable speed differences (e.g. run, walk, jump, wonder(think) and standstill), but also motions with subtle speed gaps such as run and fast walk. The inference accuracy can be up to 83.3% (cartoon videos) and 75% (real-world videos). Meanwhile, the system only requires six video datasets in the learning stage and with up to 42 training trials. Hardware performance estimation indicates that the training time is 0.84-4.35s and power consumption is 33.26-201mW (based on an ARM Cortex M4 processor). Therefore, our system takes unique learning advantages of the requirement of the small dataset, quick learning and low power performance, which shows great potentials for edge or scalable AI-based applications.


title: Characterizing and Understanding GCNs on GPU

abstract: Graph convolutional neural networks (GCNs) have achieved state-of-the-art performance on graph-structured data analysis. Like traditional neural networks, training and inference of GCNs are accelerated with GPUs. Therefore, characterizing and understanding the execution pattern of GCNs on GPU is important for both software and hardware optimization. Unfortunately, to the best of our knowledge, there is no detailed characterization effort of GCN workloads on GPU. In this paper, we characterize GCN workloads at inference stage and explore GCN models on NVIDIA V100 GPU. Given the characterization and exploration, we propose several useful guidelines for both software optimization and hardware optimization for the efficient execution of GCNs on GPU.


title: Bringing Stories Alive: Generating Interactive Fiction Worlds

abstract: World building forms the foundation of any task that requires narrative intelligence. In this work, we focus on procedurally generating interactive fiction worlds---text-based worlds that players "see" and "talk to" using natural language. Generating these worlds requires referencing everyday and thematic commonsense priors in addition to being semantically consistent, interesting, and coherent throughout. Using existing story plots as inspiration, we present a method that first extracts a partial knowledge graph encoding basic information regarding world structure such as locations and objects. This knowledge graph is then automatically completed utilizing thematic knowledge and used to guide a neural language generation model that fleshes out the rest of the world. We perform human participant-based evaluations, testing our neural model's ability to extract and fill-in a knowledge graph and to generate language conditioned on it against rule-based and human-made baselines. Our code is available at https://github.com/rajammanabrolu/WorldGeneration.


title: Multi-scale simulations of electron and ion dynamics in self-irradiated silicon

abstract: The interaction of energetic ions with the electronic and ionic system of target materials is an interesting but challenging multi-scale problem and understanding of the early stages after impact of heavy, initially charged ions is particularly poor. At the same time, energy deposition during these early stages determines later formation of damage cascades. We address the multi-scale character by combining real-time time-dependent density functional theory for electron dynamics with molecular dynamics simulations of damage cascades. Our first-principles simulations prove that core electrons affect electronic stopping and have an unexpected influence on the charge state of the projectile. We show that this effect is absent for light projectiles, but dominates the stopping physics for heavy projectiles. By parameterizing an inelastic energy loss friction term in the molecular dynamics simulations using our first-principles results, we also show a qualitative influence of electronic stopping physics on radiation-damage cascades.


title: Real-time trajectory planning for automated vehicle safety and performance in dynamic environments

abstract: Safe trajectory planning for high-performance automated vehicles in an environment with both static and moving obstacles is a challenging problem. Part of the challenge is developing a formulation that can be solved in real-time while including the following set of specifications: minimum time-to-goal, a dynamic vehicle model, minimum control effort, both static and moving obstacle avoidance, simultaneous optimization of speed and steering, and a short execution horizon. This paper presents a nonlinear model predictive control-based trajectory planning formulation, tailored for a large, high-speed unmanned ground vehicle, that includes the above set of specifications. This paper also evaluates NLOptControl's ability to solve this formulation in real-time in conjunction with the KNITRO nonlinear programming problem solver; NLOptControl is our open-source, direct-collocation based, optimal control problem solver. This formulation is tested with various sets of the specifications. In particular, a parametric study relating execution horizon and obstacle speed, indicates that the moving obstacle avoidance specification is not needed for safety when the planner has a small execution horizon ($\leq0.375\;s$) and the obstacles are moving slowly ($\leq2.11\frac{m}{s}$). However, a moving obstacle avoidance specification is needed when the obstacles are moving faster, and this specification improves the overall safety by a factor of $6.73$ ($p=2.2\times10^{-16}$) without, in most cases, increasing the solve-times. Overall, the results indicate that (1) safe trajectory planners for high-performance automated vehicles should include the entire set of specifications mentioned above, unless a static or low-speed environment permits a less comprehensive planner; and (2) NLOptControl can solve the formulation in real-time.


title: Optimal Gaussian Approximation for Multiple Time Series

abstract: We obtain an optimal bound for a Gaussian approximation of a large class of vector-valued random processes. Our results provide a substantial generalization of earlier results that assume independence and/or stationarity. Based on the decay rate of the functional dependence measure, we quantify the error bound of the Gaussian approximation using the sample size $n$ and the moment condition. Under the assumption of $p$th finite moment, with $p>2$, this can range from a worst case rate of $n^{1/2}$ to the best case rate of $n^{1/p}$.


title: A Survey on Software Defined Networking: Architecture for Next Generation Network

abstract: The evolution of software defined networking (SDN) has played a significant role in the development of next-generation networks (NGN). SDN as a programmable network having service provisioning on the fly has induced a keen interest both in academic world and industry. In this article, a comprehensive survey is presented on SDN advancement over conventional network. The paper covers historical evolution in relation to SDN, functional architecture of the SDN and its related technologies, and OpenFlow standards/protocols, including the basic concept of interfacing of OpenFlow with network elements (NEs) such as optical switches. In addition a selective architecture survey has been conducted. Our proposed architecture on software defined heterogeneous network, points towards new technology enabling the opening of new vistas in the domain of network technology, which will facilitate in handling of huge internet traffic and helps infrastructure and service providers to customize their resources dynamically. Besides, current research projects and various activities as being carried out to standardize SDN as NGN by different standard development organizations (SODs) have been duly elaborated to judge how this technology moves towards standardization.


title: Comments on "Total and fractional densities of states from caloric relations" by S. F. Chekmarev and S. V. Krivov, Phys. Rev. E 57 2445 (1998)

abstract: We showed that the equations (3), (4), (5) and (6), used in the paper Total and fractional densities of states from caloric relations by S. F. Chekmarev and S. V. Krivov, Phys. Rev. E 57 2445 (1998), are incorrect, the data, presented in the paper by lines on Figs. 1, (3a) and (3b), are not correct, the data presented by the symbols on Figs. 3(a) and 3(b) in the paper are made manually (false), all conclusions made in the paper have no sense, the assertion in the paper that the molecular dynamics simulations sample the potential energy surface not uniformly, but according to the fractional densities of state for the isomers is incorrect. We showed also that the total and fractional densities of states obtained in the paper from caloric relations are not equal to that of microcanonical ensemble of clusters, the ensemble of clusters used in the paper does not represent the microcanonical ensemble of clusters.


title: Revisiting Graph based Collaborative Filtering: A Linear Residual Graph Convolutional Network Approach

abstract: Graph Convolutional Networks (GCNs) are state-of-the-art graph based representation learning models by iteratively stacking multiple layers of convolution aggregation operations and non-linear activation operations. Recently, in Collaborative Filtering (CF) based Recommender Systems (RS), by treating the user-item interaction behavior as a bipartite graph, some researchers model higher-layer collaborative signals with GCNs. These GCN based recommender models show superior performance compared to traditional works. However, these models suffer from training difficulty with non-linear activations for large user-item graphs. Besides, most GCN based models could not model deeper layers due to the over smoothing effect with the graph convolution operation. In this paper, we revisit GCN based CF models from two aspects. First, we empirically show that removing non-linearities would enhance recommendation performance, which is consistent with the theories in simple graph convolutional networks. Second, we propose a residual network structure that is specifically designed for CF with user-item interaction modeling, which alleviates the over smoothing problem in graph convolution aggregation operation with sparse user-item interaction data. The proposed model is a linear model and it is easy to train, scale to large datasets, and yield better efficiency and effectiveness on two real datasets. We publish the source code at https://github.com/newlei/LRGCCF.


title: Optimal subsampling for quantile regression in big data

abstract: We investigate optimal subsampling for quantile regression. We derive the asymptotic distribution of a general subsampling estimator and then derive two versions of optimal subsampling probabilities. One version minimizes the trace of the asymptotic variance-covariance matrix for a linearly transformed parameter estimator and the other minimizes that of the original parameter estimator. The former does not depend on the densities of the responses given covariates and is easy to implement. Algorithms based on optimal subsampling probabilities are proposed and asymptotic distributions and asymptotic optimality of the resulting estimators are established. Furthermore, we propose an iterative subsampling procedure based on the optimal subsampling probabilities in the linearly transformed parameter estimation which has great scalability to utilize available computational resources. In addition, this procedure yields standard errors for parameter estimators without estimating the densities of the responses given the covariates. We provide numerical examples based on both simulated and real data to illustrate the proposed method.


title: A Deep Neural Framework for Contextual Affect Detection

abstract: A short and simple text carrying no emotion can represent some strong emotions when reading along with its context, i.e., the same sentence can express extreme anger as well as happiness depending on its context. In this paper, we propose a Contextual Affect Detection (CAD) framework which learns the inter-dependence of words in a sentence, and at the same time the inter-dependence of sentences in a dialogue. Our proposed CAD framework is based on a Gated Recurrent Unit (GRU), which is further assisted by contextual word embeddings and other diverse hand-crafted feature sets. Evaluation and analysis suggest that our model outperforms the state-of-the-art methods by 5.49% and 9.14% on Friends and EmotionPush dataset, respectively.


title: A note on the kinematic space associated with a subregion

abstract: We discuss the issue in constructing the kinematic space of the geodesics lying partially inside the entanglement wedge associated with a single interval. We then resolve the problem by working with the equivalent kinematic space of the reflected geodesics. We also show that the length of a reflected geodesic corresponds to the (generalized) reflected entropy, which can be computed using entirely the information obtained from the reduced density matrix, satisfying the requirement of the subregion-subregion duality.


title: Understanding North Atlantic Climate Instabilities and Complex Interactions using Data Science

abstract: The North Atlantic Oscillation (NAO) index, a measure of sea-level atmospheric pressure variability, holds significant influence over weather patterns in North America and Northern Europe. A negative (positive) NAO value signifies increased cold air outbreaks and storm occurrences (reduced occurrences) in these regions. NAO, a product of multiple climate factors, demonstrates intricate dynamics with sea surface temperature (SST) and sea ice extent (SIE). In this study, we adopt a data-driven approach to explore the complex interplay between NAO, SST, and SIE, revealing a critical instability rooted in positive feedback loops among these climate variables. Our statistical machine learning methodology examines the impacts of melting Arctic SIE and rising SST on NAO, thereby understanding the weather patterns across the North Atlantic region. The skewness analysis yields a negative skewness in NAO across various time intervals--daily, weekly, and monthly. This skewness, coupled with NAO's mean zero stationary nature, accentuates system instability. To capture these dynamics, we formulate a Bayesian Granger-causal dynamic linear model, which effectively updates the predictor-dependent variable relationship over time. The findings underscore an impending critical instability, indicative of more frequent occurrences of intensely cold climates in eastern North America and northern Europe, theory signifies a notable climate shift. By delving into the intricate feedback mechanisms of NAO, SST, and SIE, our study enhances our comprehension of climate variability, fostering a more informed perspective on the imminent climate changes that lie ahead.


title: Magnetic forces in the absence of a classical magnetic field

abstract: It is shown that, in some cases, the effect of discrete distributions of flux lines in quantum mechanics can be associated with the effect of continuous distributions of magnetic fields with special symmetries. In particular, flux lines with an arbitrary value of magnetic flux can be used to create energetic barriers, which can be used to confine quantum systems in specially designed configurations. This generalizes a previous work where such energy barriers arose from flux lines with half-integer fluxons. Furthermore, it is shown how the Landau levels can be obtained from a two-dimensional grid of flux lines. These results suggest that the classical magnetic force can be seen as emerging entirely from the Aharonov-Bohm effect. Finally, the basic elements of a semi-classical theory that models the emergence of classical magnetic forces from fields with special symmetries are introduced.


title: Smart City Governance in Developing Countries: A Systematic Literature Review

abstract: Smart cities that make broad use of digital technologies have been touted as possible solutions for the population pressures faced by many cities in developing countries and may help meet the rising demand for services and infrastructure. Nevertheless, the high financial cost involved in infrastructure maintenance, the substantial size of the informal economies, and various governance challenges are curtailing government idealism regarding smart cities. This review examines the state of smart city development in developing countries, which includes understanding the conceptualisations, motivations, and unique drivers behind (and barriers to) smarty city development. A total of 56 studies were identified from a systematic literature review from an initial pool of 3928 social sciences literature identified from two academic databases. Data were analysed using thematic synthesis and thematic analysis. The review found that technology-enabled smart cities in developing countries can only be realised when concurrent socioeconomic, human, legal, and regulatory reforms are instituted. Governments need to step up their efforts to fulfil the basic infrastructure needs of citizens, raise more revenue, construct clear regulatory frameworks to mitigate the technological risks involved, develop human capital, ensure digital inclusivity, and promote environmental sustainability. A supportive ecosystem that encourages citizen participation, nurtures start-ups, and promotes public-private partnerships needs to be created to realise their smart city vision.


title: Strong Polynomiality of the Value Iteration Algorithm for Computing Nearly Optimal Policies for Discounted Dynamic Programming

abstract: This note provides upper bounds on the number of operations required to compute by value iterations a nearly optimal policy for an infinite-horizon discounted Markov decision process with a finite number of states and actions. For a given discount factor, magnitude of the reward function, and desired closeness to optimality, these upper bounds are strongly polynomial in the number of state-action pairs, and one of the provided upper bounds has the property that it is a non-decreasing function of the value of the discount factor.


title: Extraction of Templates from Phrases Using Sequence Binary Decision Diagrams

abstract: The extraction of templates such as ``regard X as Y'' from a set of related phrases requires the identification of their internal structures. This paper presents an unsupervised approach for extracting templates on-the-fly from only tagged text by using a novel relaxed variant of the Sequence Binary Decision Diagram (SeqBDD). A SeqBDD can compress a set of sequences into a graphical structure equivalent to a minimal DFA, but more compact and better suited to the task of template extraction. The main contribution of this paper is a relaxed form of the SeqBDD construction algorithm that enables it to form general representations from a small amount of data. The process of compression of shared structures in the text during Relaxed SeqBDD construction, naturally induces the templates we wish to extract. Experiments show that the method is capable of high-quality extraction on tasks based on verb+preposition templates from corpora and phrasal templates from short messages from social media.


title: Finite-$m$ scaling analysis of Berezinskii-Kosterlitz-Thouless phase transitions and entanglement spectrum for the six-state clock model

abstract: We investigate the Berezinskii-Kosterlitz-Thouless transitions for the square-lattice six-state clock model with the corner-transfer matrix renormalization group (CTMRG). Scaling analyses for effective correlation length, magnetization, and entanglement entropy with respect to the cutoff dimension $m$ at the fixed point of CTMRG provide transition temperatures consistent with a variety of recent numerical studies. We also reveal that the fixed point spectrum of the corner transfer matrix in the critical intermediate phase of the six-state clock model is characterized by the scaling dimension consistent with the $c=1$ boundary conformal field theory associated with the effective $Z_6$ dual sine-Gordon model.


title: Spin-dependent two-photon Bragg scattering in the Kapitza-Dirac effect

abstract: We present the possibility of spin-dependent Kapitza-Dirac scattering based on a two-photon interaction only. The interaction scheme is inspired from a Compton scattering process, for which we explicitly show the mathematical correspondence to the spin-dynamics of an electron diffraction process in a standing light wave. The spin effect has the advantage that it already appears in a Bragg scattering setup with arbitrary low field amplitudes, for which we have estimated the diffraction count rate in a realistic experimental setup at available X-ray free-electron laser facilities.


title: An Adaptive and Near Parameter-free Evolutionary Computation Approach Towards True Automation in AutoML

abstract: A common claim of evolutionary computation methods is that they can achieve good results without the need for human intervention. However, one criticism of this is that there are still hyperparameters which must be tuned in order to achieve good performance. In this work, we propose a near "parameter-free" genetic programming approach, which adapts the hyperparameter values throughout evolution without ever needing to be specified manually. We apply this to the area of automated machine learning (by extending TPOT), to produce pipelines which can effectively be claimed to be free from human input, and show that the results are competitive with existing state-of-the-art which use hand-selected hyperparameter values. Pipelines begin with a randomly chosen estimator and evolve to competitive pipelines automatically. This work moves towards a truly automatic approach to AutoML.


title: Multi-modal Sentiment Analysis using Super Characters Method on Low-power CNN Accelerator Device

abstract: Recent years NLP research has witnessed the record-breaking accuracy improvement by DNN models. However, power consumption is one of the practical concerns for deploying NLP systems. Most of the current state-of-the-art algorithms are implemented on GPUs, which is not power-efficient and the deployment cost is also very high. On the other hand, CNN Domain Specific Accelerator (CNN-DSA) has been in mass production providing low-power and low cost computation power. In this paper, we will implement the Super Characters method on the CNN-DSA. In addition, we modify the Super Characters method to utilize the multi-modal data, i.e. text plus tabular data in the CL-Aff sharedtask.


title: Capitalizing Backscatter-Aided Hybrid Relay Communications with Wireless Energy Harvesting

abstract: In this work, we employ multiple energy harvesting relays to assist information transmission from a multi-antenna hybrid access point (HAP) to a receiver. All the relays are wirelessly powered by the HAP in the power-splitting (PS) protocol. We introduce the novel concept of hybrid relay communications, which allows each relay to switch between two radio modes, i.e., the active RF communications and the passive backscatter communications, according to its channel and energy conditions. We envision that the complement transmissions in two radio modes can be exploited to improve the overall relay performance. As such, we aim to jointly optimize the HAP's beamforming, individual relays' radio mode, the PS ratio, and the relays' collaborative beamforming to enhance the throughput performance at the receiver. The resulting formulation becomes a combinatorial and non-convex problem. Thus, we firstly propose a convex approximation to the original problem, which serves as a lower bound of the relay performance. Then, we design an iterative algorithm that decomposes the binary relay mode optimization from the other operating parameters. In the inner loop of the algorithm, we exploit the structural properties to optimize the relay performance with the fixed relay mode in the alternating optimization framework. In the outer loop, different performance metrics are derived to guide the search for a set of passive relays to further improve the relay performance. Simulation results verify that the hybrid relaying communications can achieve 20% performance improvement compared to the conventional relay communications with all active relays.


title: Central Charges for the Double Coset

abstract: The state space of excited giant graviton brane systems is given by the Gauss graph operators. After restricting to the $su(2|3)$ sector of the theory, we consider this state space. Our main result is the decomposition of this state space into irreducible representations of the $su(2|2)\ltimes\mathbb{R}$ global symmetry. Excitations of the giant graviton branes are charged under a central extension of the global symmetry. The central extension generates gauge transformations so that the action of the central extension vanishes on physical states. Indeed, we explicitly demonstrate that the central charge is set to zero by the Gauss Law of the brane world volume gauge theory.


title: Conformal Invariants in Simply Connected Domains

abstract: We study numerical computation of several conformal invariants of simply connected domains in the complex plane including, the hyperbolic distance, the reduced modulus, the harmonic measure, and the modulus of a quadrilateral. The method we use is based on the boundary integral equation with the generalized Neumann kernel. Several numerical examples are presented. We validate the performance and accuracy of our method by considering several model problems with known analytic solutions.


title: Deep Reinforcement Learning for Backscatter-Aided Data Offloading in Mobile Edge Computing

abstract: Wireless network optimization has been becoming very challenging as the problem size and complexity increase tremendously, due to close couplings among network entities with heterogeneous service and resource requirements. By continuously interacting with the environment, deep reinforcement learning (DRL) provides a mechanism for different network entities to build knowledge and make autonomous decisions to improve network performance. In this article, we first review typical DRL approaches and recent enhancements. We then discuss the applications of DRL for mobile edge computing (MEC), which can be used for the low-power IoT devices, e.g., wireless sensors in healthcare monitoring, to offload computation workload to nearby MEC servers. To balance power consumption in offloading and computation, we propose a novel hybrid offloading model that exploits the complement operations of RF communications and low-power backscatter communications. The DRL framework is then customized to optimize the transmission scheduling and workload allocation in two communications technologies, which is shown to enhance the offloading performance significantly compared with existing schemes.


title: Quantum Mona Lisa Cat

abstract: Schr\"{o}dinger's Cat was proposed by Erwin Schr\"{o}dinger, the infamous thought experiment in which a cat in a box was both alive and dead simultaneously illustrating a quantum phenomenon known as superposition. In 2013, Yakir Aharonov and his co-authors conceived of an experiment suggesting that a particle can be separated from its property. They called the effect a "Quantum Cheshire Cat" that has been experimentally verified in the succeeding year. The name Quantum Cheshire Cat is inspired from a fanciful character of the Cheshire Cat in "\textit{Alice's Adventures in Wonderland"} a novel written by Lewis Carroll where the grin of cat is found without a cat. An important question arises here. Once the grin of the Cheshire Cat is separated, is there any correlation still left between the grin and the cat? To answer the question we propose a thought experiment in which Quantum Cheshire Cat is also a Schr\"{o}dinger's Cat existing in superposition of happy(smiling) and sad(frowning) states. We name this cat as a "Quantum Mona Lisa Cat" for the reason that historically it is presumed that Mona Lisa's portrait contains both characteristics of happy(smiling) and sad(frowning) and either is observed depending upon the mood of the observer. We show that property separated from particle behave as "Quantum Mona Lisa Cat".


title: Group algebra criteria for vanishing of cohomology

abstract: Given a group satisfying sufficient finiteness properties, we discuss a group algebra criterion for vanishing of all its cohomology groups with unitary coefficients in a certain degree.


title: Quasi-Fermi level splitting in nanoscale junctions from $\textit{ab initio}$

abstract: The splitting of quasi-Fermi levels (QFLs) represents a key concept utilized to describe finite-bias operations of semiconductor devices, but its atomic-scale characterization remains a significant challenge. Herein, the non-equilibrium QFL or electrochemical potential profiles within single-molecule junctions obtained from the newly developed first-principles multi-space constrained-search density functional formalism are presented. Benchmarking the standard non-equilibrium Green's function calculation results, it is first established that algorithmically the notion of separate electrode-originated nonlocal QFLs should be maintained within the channel region during self-consistent finite-bias electronic structure calculations. For the insulating hexandithiolate junction, the QFL profiles exhibit discontinuities at the left and right electrode interfaces and across the molecule the accompanying electrostatic potential drops linearly and Landauer residual-resistivity dipoles are uniformly distributed. For the conducting hexatrienedithiolate junction, on the other hand, the electrode QFLs penetrate into the channel region and produce split QFLs. With the highest occupied molecular orbital entering the bias window and becoming a good transport channel, the split QFLs are also accompanied by the nonlinear electrostatic potential drop and asymmetric Landauer residua-resistivity dipole formation. Our findings underscore the importance of the first-principles extraction of QFLs in nanoscale junctions and point to a new direction for the computational design of next-generation electronic, optoelectronic, and electrochemical devices.


title: Classical and quantum time crystals in a levitated nanoparticle without drive

abstract: Time crystal is defined as a phase of matter spontaneously exhibiting a periodicity in time. Previous studies focused on discrete quantum time crystals under periodic drive. Here, we propose a time crystal model based on a levitated charged nanoparticle in a static magnetic field without drive. Both the classical time crystal in thermal equilibrium and the quantum time crystal in the ground state can emerge in the spin rotational mode, under the strong magnetic field or the large charge-to-mass ratio limit. Besides, for the first time, the \emph{time polycrystal} is defined and naturally appears in this model. Our model paves a way for realizing time crystals in thermal equilibrium.