title: Development of Augmented Reality Application for Made-to-Order Furniture Industry in Pampanga, Philippines

abstract: The focus of the study was to develop a mobile application utilizing marker-less augmented reality for specific made-to-order products to support furniture and fixtures businesses. The study implemented mixed-methodology to properly identify the various stakeholders' considerations in developing the application. Interviews with key informants were conducted to ensure that the features were appropriate for the intended user needs, and selected ISO standards were used as evaluation criteria. The results indicate that the mobile application with marker-less AR technology was found to be highly acceptable by three evaluators (i.e., customers, owners, and IT experts). The study also highlighted the use of AR-related technology in this case, where marker-less has the potential to improve customer purchasing experience even further. Future studies may include using newer technologies to further improve the application. The study suggests that Augmented Reality technology could be used to connect specific businesses directly to consumers regardless of setting or context.


title: Rapid multiplex ultrafast nonlinear microscopy for material characterization

abstract: We demonstrate rapid imaging based on four-wave mixing (FWM) by assessing the quality of advanced materials through measurement of their nonlinear response, exciton dephasing, and exciton lifetimes. We use a WSe$_2$ monolayer grown by chemical vapor deposition as a canonical example to demonstrate these capabilities. By comparison, we show that extracting material parameters such as FWM intensity, dephasing times, excited state lifetimes, and distribution of dark/localized states allows for a more accurate assessment of the quality of a sample than current prevalent techniques, including white light microscopy and linear micro-reflectance spectroscopy. We further discuss future improvements of the ultrafast FWM techniques by modeling the robustness of exponential decay fits to different spacing of the sampling points. Employing ultrafast nonlinear imaging in real-time at room temperature bears the potential for rapid in-situ sample characterization of advanced materials and beyond.


title: Abundance analysis of APOGEE spectra for 58 metal-poor stars from the bulge spheroid

abstract: The central part of the Galaxy host a multitude of stellar populations, including the spheroidal bulge stars, stars moved to the bulge through secular evolution of the bar, inner halo, inner thick disk, inner thin disk, as well as debris from past accretion events. We identified a sample of 58 candidate stars belonging to the stellar population of the spheroidal bulge, and analyse their abundances. The present calculations of Mg, Ca, and Si lines are in agreement with the APOGEE-ASPCAP abundances, whereas abundances of C, N, O, and Ce are re-examined. We find normal $\alpha$-element enhancements in oxygen, similar to magnesium, Si, and Ca abundances, which are typical of other bulge stars surveyed in the optical in Baade's Window. The enhancement of [O/Fe] in these stars suggests that they do not belong to accreted debris. No spread in N abundances is found, and none of the sample stars is N-rich, indicating that these stars are not second generation stars originated in globular clusters. Ce instead is enhanced in the sample stars, which points to an s-process origin such as due to enrichment from early generations of massive fast rotating stars, the so-called spinstars


title: Equivariant Grothendieck ring of a complete symmetric variety of minimal rank

abstract: We describe the $G$-equivariant Grothendieck ring of a regular compactification $X$ of an adjoint symmetric space $G/H$ of minimal rank. This extends the results of Brion and Joshua for the equivariant Chow ring of wonderful symmetric varieties of minimal rank and generalizes the results by the author on the regular compactification of an adjoint semisimple group.


title: Online Refinement of a Scene Recognition Model for Mobile Robots by Observing Human's Interaction with Environments

abstract: This paper describes a method of online refinement of a scene recognition model for robot navigation considering traversable plants, flexible plant parts which a robot can push aside while moving. In scene recognition systems that consider traversable plants growing out to the paths, misclassification may lead the robot to getting stuck due to the traversable plants recognized as obstacles. Yet, misclassification is inevitable in any estimation methods. In this work, we propose a framework that allows for refining a semantic segmentation model on the fly during the robot's operation. We introduce a few-shot segmentation based on weight imprinting for online model refinement without fine-tuning. Training data are collected via observation of a human's interaction with the plant parts. We propose novel robust weight imprinting to mitigate the effect of noise included in the masks generated by the interaction. The proposed method was evaluated through experiments using real-world data and shown to outperform an ordinary weight imprinting and provide competitive results to fine-tuning with model distillation while requiring less computational cost.


title: Monotone methods for semilinear parabolic and elliptic equations on graphs

abstract: This paper is devoted to investigate the extinction and propagation properties of solutions to the graph Laplacian parabolic problems with Kpp type or Allen-Cahn type forcing terms on graphs. To this end, we establish the (strong) maximum principle and the upper and lower solutions method for parabolic and elliptic problems on graphs. The stability of equilibrium solutions is studied by constructing suitable upper and lower solutions. Moreover, we give an example and numerical experiments to demonstrate one of our main results.


title: Coefficient problems for certain Close-to-Convex Functions

abstract: In this paper, sharp bounds are established for the second Hankel determinant of logarithmic coefficients for normalised analytic functions satisfying certain differential inequality.


title: A Modified Walk-on-sphere Method for High Dimensional Fractional Poisson Equation

abstract: We develop walk-on-sphere for fractional Poisson equations with Dirichilet boundary conditions in high dimensions. The walk-on-sphere method is based on probabilistic represen tation of the fractional Poisson equation. We propose effcient quadrature rules to evaluate integral representation in the ball and apply rejection sampling method to drawing from the computed probabilities in general domains. Moreover, we provide an estimate of the number of walks in the mean value for the method when the domain is a ball. We show that the number of walks is increasing in the fractional order and the distance of the starting point to the origin. We also give the relationship between the Green function of fractional Laplace equation and that of the classical Laplace equation. Numerical results for problems in 2-10 dimensions verify our theory and the effciency of the modified walk-on-sphere method.


title: The Sense of Logging in the Linux Kernel

abstract: Logging plays a crucial role in software engineering because it is key to perform various tasks including debugging, performance analysis, and detection of anomalies. Despite the importance of log data, the practice of logging still suffers from the lack of common guidelines and best practices. Recent studies investigated logging in C/C++ and Java open-source systems. In this paper, we complement these studies by conducting the first empirical study on logging practices in the Linux kernel, one of the most elaborate open-source development projects in the computer industry. We analyze 22 Linux releases with a focus on three main aspects: the pervasiveness of logging in Linux, the types of changes made to logging statements, and the rationale behind these changes. Our findings show that logging code accounts for 3.73% of the total source code in the Linux kernel, distributed across 72.36% of Linux files. We also found that the distribution of logging statements across Linux subsystems and their components vary significantly with no apparent reasons, suggesting that developers use different criteria when logging. In addition, we observed a slow decrease in the use of logging-reduction of 9.27% between versions v4.3 and v5.3. The majority of changes in logging code are made to fix language issues, modify log levels, and upgrade logging code to use new logging libraries, with the overall goal of improving the precision and consistency of the log output. Many recommendations are derived from our findings such as the use of static analysis tools to detect log-related issues, the adoption of common writing styles to improve the quality of log messages, the development of conventions to guide developers when selecting log levels, the establishment of review sessions to review logging code, and so on. [...]


title: Cosmological application of the Maxwell gravity

abstract: In this study, we consider a cosmological model for the Maxwell gravity which is constructed by gauging the semi-simple extended Poincar\'e algebra. Inspired by the Einstein-Yang-Mills theory, we describe the Maxwell gauge field in terms of two additional time-dependent scalar fields. Within the context of a homogeneous and isotropic Friedmann-Lema\^itre-Robertson-Walker universe, we derive the Friedmann equations together with new contributions. Additionally, we find the exact expressions for the additional scalar fields, considering the exponential evolution of the scale factor. Moreover, we investigate the gauge theory of gravity based on the Maxwell algebra and demonstrate that this model leads to the (anti) de Sitter universe as well as a non-accelerated universe model.


title: On the Formalization of the Heat Conduction Problem in HOL

abstract: Partial Differential Equations (PDEs) are widely used for modeling the physical phenomena and analyzing the dynamical behavior of many engineering and physical systems. The heat equation is one of the most well-known PDEs that captures the temperature distribution and diffusion of heat within a body. Due to the wider utility of these equations in various safety-critical applications, such as thermal protection systems, a formal analysis of the heat transfer is of utmost importance. In this paper, we propose to use higher-order-logic (HOL) theorem proving for formally analyzing the heat conduction problem in rectangular coordinates. In particular, we formally model the heat transfer as a one-dimensional heat equation for a rectangular slab using the multivariable calculus theories of the HOL Light theorem prover. This requires the formalization of the heat operator and formal verification of its various properties, such as linearity and scaling. Moreover, we use the separation of variables method for formally verifying the solution of the PDEs, which allows modeling the heat transfer in the slab under various initial and boundary conditions using HOL Light.


title: Recent Progress in Transformer-based Medical Image Analysis

abstract: The transformer is primarily used in the field of natural language processing. Recently, it has been adopted and shows promise in the computer vision (CV) field. Medical image analysis (MIA), as a critical branch of CV, also greatly benefits from this state-of-the-art technique. In this review, we first recap the core component of the transformer, the attention mechanism, and the detailed structures of the transformer. After that, we depict the recent progress of the transformer in the field of MIA. We organize the applications in a sequence of different tasks, including classification, segmentation, captioning, registration, detection, enhancement, localization, and synthesis. The mainstream classification and segmentation tasks are further divided into eleven medical image modalities. A large number of experiments studied in this review illustrate that the transformer-based method outperforms existing methods through comparisons with multiple evaluation metrics. Finally, we discuss the open challenges and future opportunities in this field. This task-modality review with the latest contents, detailed information, and comprehensive comparison may greatly benefit the broad MIA community.


title: UHE neutrinos encountering decaying and non-decaying magnetic fields of compact stars

abstract: The phenomena of neutrino spin flavour precession in the presence of an extraneous magnetic field is a repercussion of neutrino magnetic moment which is consociated with the physics beyond the standard model of electroweak interactions. Ultra high energy neutrinos are spawned from a number of sources in the universe including the highly energetic astrophysical objects such as active galactic nuclei, blazar or supermassive black holes. When such high energy neutrinos pass through any compact stellar objects like neutron stars or white dwarfs, their flux can significantly reduce due to the exorbitant magnetic field provided by these compact objects. For Dirac neutrinos, such phenomena occur due to the conversion of neutrinos to their sterile counterparts. In this work, we consider a neutron star possessing a spatially varying magnetic field which may or may not decay with time. We find that, for the non-decaying magnetic field, the flux of high energy Dirac neutrinos becomes nearly half after passing through the neutron star. The flux is further enfeebled by $\sim 10\%$ in the presence of muons inside the neutron star. For decaying magnetic field, the flux reduction is abated by $\sim 5\%$ as compared to the temporally static magnetic field. In the case of a white dwarf, the depletion of flux is lesser as compared to the neutron stars.


title: Elements of higher homotopy groups undetectable by polyhedral approximation

abstract: When non-trivial local structures are present in a topological space $X$, a common approach to characterizing the isomorphism type of the $n$-th homotopy group $\pi_n(X,x_0)$ is to consider the image of $\pi_n(X,x_0)$ in the $n$-th \v{C}ech homotopy group $\check{\pi}_n(X,x_0)$ under the canonical homomorphism $\Psi_{n}:\pi_n(X,x_0)\to \check{\pi}_n(X,x_0)$. The subgroup $\ker(\Psi_n)$ is the obstruction to this tactic as it consists of precisely those elements of $\pi_n(X,x_0)$, which cannot be detected by polyhedral approximations to $X$. In this paper, we use higher dimensional analogues of Spanier groups to characterize $\ker(\Psi_n)$. In particular, we prove that if $X$ is paracompact, Hausdorff, and $LC^{n-1}$, then $\ker(\Psi_n)$ is equal to the $n$-th Spanier group of $X$. We also use the perspective of higher Spanier groups to generalize a theorem of Kozlowski-Segal, which gives conditions ensuring that $\Psi_{n}$ is an isomorphism.


title: Modeling Network-level Traffic Flow Transitions on Sparse Data

abstract: Modeling how network-level traffic flow changes in the urban environment is useful for decision-making in transportation, public safety and urban planning. The traffic flow system can be viewed as a dynamic process that transits between states (e.g., traffic volumes on each road segment) over time. In the real-world traffic system with traffic operation actions like traffic signal control or reversible lane changing, the system's state is influenced by both the historical states and the actions of traffic operations. In this paper, we consider the problem of modeling network-level traffic flow under a real-world setting, where the available data is sparse (i.e., only part of the traffic system is observed). We present DTIGNN, an approach that can predict network-level traffic flows from sparse data. DTIGNN models the traffic system as a dynamic graph influenced by traffic signals, learns the transition models grounded by fundamental transition equations from transportation, and predicts future traffic states with imputation in the process. Through comprehensive experiments, we demonstrate that our method outperforms state-of-the-art methods and can better support decision-making in transportation.


title: Large-momentum-transfer atom interferometers with $\mu$rad-accuracy using Bragg diffraction

abstract: Large-momentum-transfer~(LMT) atom interferometers using elastic Bragg scattering on light waves are among the most precise quantum sensors to date. To advance their accuracy from the mrad to the $\mu$rad regime, it is necessary to understand the rich phenomenology of the Bragg interferometer, which differs significantly from that of a standard two-mode interferometer. We develop an analytic model for the interferometer signal and demonstrate its accuracy using comprehensive numerical simulations. Our analytic treatment allows the determination of the atomic projection noise limit of an LMT Bragg interferometer, and provides the means to saturate this limit. It affords accurate knowledge of the systematic phase errors as well as their suppression by two orders of magnitude down to a few $\mu\mathrm{rad}$ using appropriate light pulse parameters.


title: Imputation Strategies Under Clinical Presence: Impact on Algorithmic Fairness

abstract: Machine learning risks reinforcing biases present in data, and, as we argue in this work, in what is absent from data. In healthcare, biases have marked medical history, leading to unequal care affecting marginalised groups. Patterns in missing data often reflect these group discrepancies, but the algorithmic fairness implications of group-specific missingness are not well understood. Despite its potential impact, imputation is often an overlooked preprocessing step, with attention placed on the reduction of reconstruction error and overall performance, ignoring how imputation can affect groups differently. Our work studies how imputation choices affect reconstruction errors across groups and algorithmic fairness properties of downstream predictions.


title: Stability Analysis of Delayed COVID-19 Models

abstract: We analyze mathematical models for COVID-19 with discrete time delays and vaccination. Sufficient conditions for the local stability of the endemic and disease-free equilibrium points are proved for any positive time delay. The stability results are illustrated through numerical simulations performed in MATLAB.


title: Some congruences from the Karlsson-Minton summation formula

abstract: Let $p$ be an odd prime. In this paper, by using the well-known Karlsson-Minton summation formula, we mainly prove two supercongruences as variants of a supercongruence of Deines-Fuselier-Long-Swisher-Tu, which confirm some recent conjectures of V.J.W. Guo.


title: Revisiting Adversarial Attacks on Graph Neural Networks for Graph Classification

abstract: Graph neural networks (GNNs) have achieved tremendous success in the task of graph classification and its diverse downstream real-world applications. Despite the huge success in learning graph representations, current GNN models have demonstrated their vulnerability to potentially existent adversarial examples on graph-structured data. Existing approaches are either limited to structure attacks or restricted to local information, urging for the design of a more general attack framework on graph classification, which faces significant challenges due to the complexity of generating local-node-level adversarial examples using the global-graph-level information. To address this "global-to-local" attack challenge, we present a novel and general framework to generate adversarial examples via manipulating graph structure and node features. Specifically, we make use of Graph Class Activation Mapping and its variant to produce node-level importance corresponding to the graph classification task. Then through a heuristic design of algorithms, we can perform both feature and structure attacks under unnoticeable perturbation budgets with the help of both node-level and subgraph-level importance. Experiments towards attacking four state-of-the-art graph classification models on six real-world benchmarks verify the flexibility and effectiveness of our framework.


title: Differentiable Inductive Logic Programming in High-Dimensional Space

abstract: Synthesizing large logic programs through symbolic Inductive Logic Programming (ILP) typically requires intermediate definitions. However, cluttering the hypothesis space with intensional predicates typically degrades performance. In contrast, gradient descent provides an efficient way to find solutions within such high-dimensional spaces. Neuro-symbolic ILP approaches have not fully exploited this so far. We propose extending the {\delta}ILP approach to inductive synthesis with large-scale predicate invention, thus allowing us to exploit the efficacy of high-dimensional gradient descent. We show that large-scale predicate invention benefits differentiable inductive synthesis through gradient descent and allows one to learn solutions for tasks beyond the capabilities of existing neuro-symbolic ILP systems. Furthermore, we achieve these results without specifying the precise structure of the solution within the language bias.


title: Ultraviolet completion of pseudo-Nambu-Goldstone dark matter with a hidden U(1) gauge symmetry

abstract: We propose an ultraviolet completion model for pseudo-Nambu-Goldstone dark matter with a hidden $\mathrm{U}(1)$ gauge symmetry. Compared to previous studies, this setup is simpler, introducing less interactions. Dark matter scattering off nucleons is highly suppressed by the ultraviolet scale and direct detection constraints can be easily evaded. The kinetic mixing between the hidden $\mathrm{U}(1)$ and the $\mathrm{U}(1)_\mathrm{Y}$ gauge fields would lead to dark matter decays. We find that the current bound on the dark matter lifetime implies that the ultraviolet scale should be higher than $10^{10}~\mathrm{GeV}$. The phenomenological constraints from the 125 GeV Higgs measurements, the dark matter relic density, and indirect detection of dark matter annihilation are also investigated.


title: Global stability of the compressible viscous surface waves in an infinite layer

abstract: We investigate in this paper the global stability of the compressible viscous surface waves in the absence of surface tension effect with a steady-state violating Rayleigh-Taylor instability and the reference domain being the horizontal infinite layer. The fluid dynamics are governed by the 3-D gravity-driven isentropic compressible Navier-Stokes equations. We develop a mathematical approach to establish global well-posedness of free boundary problems of the multi-dimensional compressible Navier-Stokes system based on the Lagrangian framework, which requires no nonlinear compatibility conditions on the initial data.


title: Intertwining Ecosystems: A Large Scale Empirical Study of Libraries that Cross Software Ecosystems

abstract: An increase in diverse technology stacks and third-party library usage has led developers to inevitably switch technologies. To assist these developers, maintainers have started to release their libraries to multiple technologies, i.e., a cross-ecosystem library. Our goal is to explore the extent to which these cross-ecosystem libraries are intertwined between ecosystems. We perform a large-scale empirical study of 1.1 million libraries from five different software ecosystems, i.e., PyPI for Python, CRAN for R, Maven for Java, RubyGems for Ruby, and NPM for JavaScript to identify 4,146 GitHub projects that release libraries to these five ecosystems. Analyzing their contributions, we first find that a significant majority (median of 37.5%) of contributors of these cross-ecosystem libraries come from a single ecosystem, while also receiving a significant portion of contributions (median of 24.06%) from outside their target ecosystems. We also find that a cross-ecosystem library is written using multiple programming languages. Specifically, three (i.e., PyPI, CRAN, RubyGems) out of the five ecosystems has the majority of source code is written using languages not specific to that ecosystem. As ecosystems become intertwined, this opens up new avenues for research, such as whether or not cross-ecosystem libraries will solve the search for replacement libraries, or how these libraries fit within each ecosystem just to name a few.


title: Atmospheric Thermal Emission Effect on Chandrasekhar's Finite Atmosphere Problem

abstract: The solutions of the \textit{diffuse reflection finite atmosphere problem} are very useful in the astrophysical context. Chandrasekhar was the first to solve this problem analytically, by considering atmospheric scattering. These results have wide applications in the modeling of planetary atmospheres. However, they cannot be used to model an atmosphere with emission. We solved this problem by including \textit{thermal emission effect} along with scattering.Here, our aim is to provide a complete picture of generalized finite atmosphere problem in presence of scattering and thermal emission, and to give a physical account of the same. For that, we take an analytical approach using the invariance principle method to solve the diffuse reflection finite atmosphere problem in the presence of atmospheric thermal emission. We established the general integral equations of modified scattering function $S(\tau; \mu, \phi; \mu_0, \phi_0)$, transmission function $T(\tau; \mu, \phi; \mu_0, \phi_0)$ and their derivatives with respect to $\tau$ for a thermally emitting atmosphere. We customize these equations for the case of isotropic scattering and introduce two new functions $V(\mu)$ and $W(\mu)$, analogous to Chandrasekhar $X(\mu)$, and $Y(\mu)$ functions respectively. We also derive a transformation relation between the modified S-T functions and give a physical account of $V(\mu)$ and $W(\mu)$ functions. Our final results are consistent with those of Chandrasekhar at low emission limit (i.e. only scattering). From the consistency of our results, we conclude that the consideration of thermal emission effect in diffuse reflection finite atmosphere problem gives more general and accurate results than considering only scattering.


title: Spin conductance in SNN junctions with non-centrosymmetric superconductors

abstract: An SNN-junction in which the superconducting potential is a mixture between s-wave and p-wave potentials is investigated using the Usadel equation equipped with Tanaka-Nazarov boundary conditions. The article provides several ways to distinguish between s + chiral and s + helical p-wave superconductors and a way to determine whether a superconductor has a mixed pair potential. Thus, it is of great importance in the determination of the pair potential of superconductors. It is shown that the different spin sectors satisfy independent equations and can thus be calculated separately even if the d-vector depends on the direction of momentum. This greatly simplifies the equations to be solved. It was found that a difference in conductance for sectors with opposite spins arises if both an s-wave and a p-wave component is present, even in the absence of a magnetic field. The results are confirmed by calculations in the ballistic regime. It is shown that the spin conductance for s + chiral p-wave and s + helical p-wave junctions is qualitatively similar. A setup containing two SN junctions is shown to give a clear difference between the two types of superconductivity.


title: ULDGNN: A Fragmented UI Layer Detector Based on Graph Neural Networks

abstract: While some work attempt to generate front-end code intelligently from UI screenshots, it may be more convenient to utilize UI design drafts in Sketch which is a popular UI design software, because we can access multimodal UI information directly such as layers type, position, size, and visual images. However, fragmented layers could degrade the code quality without being merged into a whole part if all of them are involved in the code generation. In this paper, we propose a pipeline to merge fragmented layers automatically. We first construct a graph representation for the layer tree of a UI draft and detect all fragmented layers based on the visual features and graph neural networks. Then a rule-based algorithm is designed to merge fragmented layers. Through experiments on a newly constructed dataset, our approach can retrieve most fragmented layers in UI design drafts, and achieve 87% accuracy in the detection task, and the post-processing algorithm is developed to cluster associative layers under simple and general circumstances.


title: Characterization of hot populations of Melotte 66 open cluster using Swift/UVOT

abstract: Ultraviolet (UV) wavelength observations have made a significant contribution to our understanding of hot stellar populations of star clusters. Multi-wavelength spectral energy distributions (SEDs) of stars, including ultraviolet observations, have proven to be an excellent tool for discovering unresolved hot companions in exotic stars such as blue straggler stars (BSS), thereby providing helpful clues to constrain their formation mechanisms. Melotte 66 is a 3.4 Gyr old open cluster located at a distance of 4810 pc. We identify the cluster members by applying the ML-MOC algorithm on Gaia EDR3 data. Based on our membership identification, we find 1162 members, including 14 BSS candidates, 2 yellow straggler candidates (YSS), and one subdwarf B candidate (sdB). We generated SEDs for 11 BSS candidates and the sdB candidate using Swift/UVOT data combined with other archival data in the optical and IR wavelengths. We discover a hot companion of one BSS candidate, BSS3, with temperature of 38000$_{-6000}^{+7000}$ K, luminosity of 2.99$_{-1.86}^{+5.47}$ L$_\odot$, and radius of 0.04$_{-0.005}^{+0.008}$ R$_\odot$. This hot companion is a likely low-mass WD with an estimated mass of 0.24 $\text{-}$ 0.44 M$_\odot$. We report one BSS candidate, BSS6, as an Algol-type eclipsing binary with a period of 0.8006 days, based on the Gaia DR3 variability classification. We suggest that BSS3 is formed via either the Case A or Case B mass-transfer channel, whereas BSS6 is formed via the Case A mass transfer.


title: Entropy Induced Pruning Framework for Convolutional Neural Networks

abstract: Structured pruning techniques have achieved great compression performance on convolutional neural networks for image classification task. However, the majority of existing methods are weight-oriented, and their pruning results may be unsatisfactory when the original model is trained poorly. That is, a fully-trained model is required to provide useful weight information. This may be time-consuming, and the pruning results are sensitive to the updating process of model parameters. In this paper, we propose a metric named Average Filter Information Entropy (AFIE) to measure the importance of each filter. It is calculated by three major steps, i.e., low-rank decomposition of the "input-output" matrix of each convolutional layer, normalization of the obtained eigenvalues, and calculation of filter importance based on information entropy. By leveraging the proposed AFIE, the proposed framework is able to yield a stable importance evaluation of each filter no matter whether the original model is trained fully. We implement our AFIE based on AlexNet, VGG-16, and ResNet-50, and test them on MNIST, CIFAR-10, and ImageNet, respectively. The experimental results are encouraging. We surprisingly observe that for our methods, even when the original model is only trained with one epoch, the importance evaluation of each filter keeps identical to the results when the model is fully-trained. This indicates that the proposed pruning strategy can perform effectively at the beginning stage of the training process for the original model.


title: SSP-Pose: Symmetry-Aware Shape Prior Deformation for Direct Category-Level Object Pose Estimation

abstract: Category-level pose estimation is a challenging problem due to intra-class shape variations. Recent methods deform pre-computed shape priors to map the observed point cloud into the normalized object coordinate space and then retrieve the pose via post-processing, i.e., Umeyama's Algorithm. The shortcomings of this two-stage strategy lie in two aspects: 1) The surrogate supervision on the intermediate results can not directly guide the learning of pose, resulting in large pose error after post-processing. 2) The inference speed is limited by the post-processing step. In this paper, to handle these shortcomings, we propose an end-to-end trainable network SSP-Pose for category-level pose estimation, which integrates shape priors into a direct pose regression network. SSP-Pose stacks four individual branches on a shared feature extractor, where two branches are designed to deform and match the prior model with the observed instance, and the other two branches are applied for directly regressing the totally 9 degrees-of-freedom pose and performing symmetry reconstruction and point-wise inlier mask prediction respectively. Consistency loss terms are then naturally exploited to align the outputs of different branches and promote the performance. During inference, only the direct pose regression branch is needed. In this manner, SSP-Pose not only learns category-level pose-sensitive characteristics to boost performance but also keeps a real-time inference speed. Moreover, we utilize the symmetry information of each category to guide the shape prior deformation, and propose a novel symmetry-aware loss to mitigate the matching ambiguity. Extensive experiments on public datasets demonstrate that SSP-Pose produces superior performance compared with competitors with a real-time inference speed at about 25Hz.


title: Self-Contained Entity Discovery from Captioned Videos

abstract: This paper introduces the task of visual named entity discovery in videos without the need for task-specific supervision or task-specific external knowledge sources. Assigning specific names to entities (e.g. faces, scenes, or objects) in video frames is a long-standing challenge. Commonly, this problem is addressed as a supervised learning objective by manually annotating faces with entity labels. To bypass the annotation burden of this setup, several works have investigated the problem by utilizing external knowledge sources such as movie databases. While effective, such approaches do not work when task-specific knowledge sources are not provided and can only be applied to movies and TV series. In this work, we take the problem a step further and propose to discover entities in videos from videos and corresponding captions or subtitles. We introduce a three-stage method where we (i) create bipartite entity-name graphs from frame-caption pairs, (ii) find visual entity agreements, and (iii) refine the entity assignment through entity-level prototype construction. To tackle this new problem, we outline two new benchmarks SC-Friends and SC-BBT based on the Friends and Big Bang Theory TV series. Experiments on the benchmarks demonstrate the ability of our approach to discover which named entity belongs to which face or scene, with an accuracy close to a supervised oracle, just from the multimodal information present in videos. Additionally, our qualitative examples show the potential challenges of self-contained discovery of any visual entity for future work. The code and the data are available on GitHub.


title: Energy Consumption Optimization in RIS-Assisted Cooperative RSMA Cellular Networks

abstract: This paper presents a downlink reconfigurable intelligent surface (RIS)-assisted half-duplex (HD) cooperative rate splitting multiple access (C-RSMA) networks. The proposed system model is built up considering one base station (BS), one RIS, and two users. With the goal of minimizing the network energy consumption, a joint framework to optimize the precoding vectors at the BS, common stream split, relaying device transmit power, the time slot allocation, and the passive beamforming at the RIS subject to the power budget constraints at both the BS and the relaying node, the quality of service (QoS) constraints at both users, and common stream rate constraint is proposed. The formulated problem is a non-convex optimization problem due to the high coupling among the optimization variables. To tackle this challenge, an efficient algorithm is presented by invoking the alternating optimization technique, which decomposes the original problem into two sub-problems; namely, sub-problem-1 and sub-problem-2, which are alternatively solved. Specifically, sub-problem-1 is to jointly optimize the precoding vectors, common stream split, and relaying device power. Meanwhile, sub-problem-2 is to optimize the phase shift matrix at the RIS. In order to solve sub-problem-1, an efficient low-complexity solution based on the successive convex approximation (SCA) is proposed. Meanwhile, and with the aid of difference-of-convex rank-one representation and the SCA approach, an efficient solution for the phase shift matrix at the RIS is obtained. The simulation results demonstrate that the proposed RIS-assisted HD C-RSMA achieves a significant gain in minimizing the total energy consumption compared to the RIS-assisted RSMA scheme, RIS-assisted HD cooperative non-orthogonal multiple access (C-NOMA), RIS-assisted NOMA, HD C-RSMA without RIS, and HD C-NOMA without RIS.


title: Shadow, lensing, quasinormal modes, greybody bounds and neutrino propagation by dyonic ModMax black holes

abstract: Motivated by recent work on the Modified Maxwell (ModMax) black holes [Phys.Lett.B 10.1016/j.physletb.2020.136011], which are invariant in duality rotations and conformal transformations founded in [ Phys.Rev.D 10.1103/PhysRevD.102.121703], we probe its effects on the shadow cast, weak field gravitational lensing, and neutrino propagation in its vicinity. Using the EHT data for the shadow diameter of Sgr. A* and M87*, and LIGO/VIRGO experiments for the dyonic ModMax black hole perturbations, we find constraints for ModMax parameters such as $Q_\text{m}$ and the screening factor $\gamma$. We also analyze how the shadow radius behaves as perceived by a static observer and one that is comoving with the cosmic expansion. The effect of the ModMax parameters is constant for a static observer, and we found That it varies when the observer is comoving with cosmic expansion. We also analyzed its effect on the weak deflection angle by exploiting the Gauss-Bonnet theorem and its application to Einstein ring formation. We also consider the finite distance effect and massive particle deflection. Our results indicate that the far approximation of massive particle gives the largest deflection angle and amplifies the effect of $Q_\text{m}$ and $\gamma$. Then we also calculate the quasinormal modes and greybody bounds which encode unique characteristic features of the dyonic ModMax black hole. With the advent of improving space technology, we reported that it is possible to detect the deviation caused through the shadow cast, Einstein rings, quasinormal modes, and neutrino oscillations.


title: Cloud-Based Real-Time Molecular Screening Platform with MolFormer

abstract: With the prospect of automating a number of chemical tasks with high fidelity, chemical language processing models are emerging at a rapid speed. Here, we present a cloud-based real-time platform that allows users to virtually screen molecules of interest. For this purpose, molecular embeddings inferred from a recently proposed large chemical language model, named MolFormer, are leveraged. The platform currently supports three tasks: nearest neighbor retrieval, chemical space visualization, and property prediction. Based on the functionalities of this platform and results obtained, we believe that such a platform can play a pivotal role in automating chemistry and chemical engineering research, as well as assist in drug discovery and material design tasks. A demo of our platform is provided at \url{www.ibm.biz/molecular_demo}.


title: Fourier series (based) multiscale method for computational analysis in science and engineering: IV. Fourier series multiscale solution for the convection-diffusion-reaction equation

abstract: Fourier series multiscale method, a concise and efficient analytical approach for multiscale computation, will be developed out of this series of papers. In the fourth paper, the application of the Fourier series multiscale method to the one- and two-dimensional convection-diffusion-reaction equations is implemented, where the Fourier series multiscale solutions are derived, the convergence characteristics of the Fourier series multiscale solutions are investigated by numerical examples, the schemes for application of the Fourier series multiscale method are optimized, and the multiscale characteristics of the convection-diffusion-reaction equations are demonstrated. The preliminary study on applications verifies the effectiveness of the present Fourier series multiscale method and provides a reliable reference which can be used for persistent improvement in computational performance of other multiscale methods.


title: On the classical reaction rate and the first-time problems of Brownian motion

abstract: We have developed efficient techniques to solve the first-time problems of Brownian motion. Based on a time-scale separation of recrossings, we show that Eyring's transmission coefficient ($\kappa$) equals to the one ($\kappa_\mathrm{V}$) corresponding to an absorbing boundary consistent with the transition state theory, which is greater than the one ($\kappa_\mathrm{K}$) derived by Kramers. We also propose methods for reaction rate determination by analyzing short-time trajectories from the barrier maximum, and discuss the relation to the reactive flux method and the significance of reaction coordinates.


title: Effect of Antral Motility on Food Hydrolysis and Gastric Emptying from the Stomach: Insights from Computational Models

abstract: The peristaltic motion of the stomach walls combines with the secretion of enzymes to initiate the process that breaks down food. Computational modelling of this phenomenon can help reveal the details that would be hard to capture via in-vivo or in-vitro means. In this study, the digestion of a liquid meal containing protein is simulated in a human-stomach model based on imaging data. Pepsin, the gastric enzyme for protein hydrolysis, is secreted from the proximal region of the stomach walls and allowed to react with the contents of the stomach. The jet velocities, the emptying rate, and the extent of hydrolysis are quantified for a control case, and also for three other cases of reduced motility with varying peristaltic amplitudes. The findings quantify the effect of motility on the rate of food breakdown and emptying, and correlate the observations with the mixing in the stomach induced by the antral contraction waves.


title: Superconducting phase transition reveals an electromagnetic coupling to a scalar field potential that generates mechanical work

abstract: Pressure-induced, spontaneous diamagnetism associated with critical behaviour is determined experimentally in a polar dielectric fluid containing nanoscale, clathrate hydrate cage structures. As with Type II superconductivity, Abrikosov vortices come to penetrate the external diamagnetic field such that it reduces to zero for particular values of the magnet flux. The external magnetic field is thus revealed to be the order parameter that signifies a phase transition between Type II superconducting behaviour and a dual of Type I superconducting behaviour. This phase transition is described by a distinctive universality class of critical exponents. The Abrikosov vortices are interpreted as effective magnetic monopole defects associated with the non-equilibrium, geometrically frustrated system. The magnitude of the spontaneous Type I response is consistent with exponential coupling of the spontaneous magnetism with an external scalar field potential made accessible through inertia and hyperbolic geometry. Under this interpretation, magnetic monopole defects act as inhomogeneous nucleation sites able to expand or contract the volume of the system in an analogue of cosmological inflation. The quantum vacuum origin of the scalar field is held responsible for the resulting mechanical work, so representing a potentially unlimited source of zero-emissions energy.


title: Joint Localization and Information Transfer for Reconfigurable Intelligent Surface Aided Full-Duplex Systems

abstract: In this work, we investigate a reconfigurable intelligent surface (RIS) aided integrated sensing and communication scenario, where a base station (BS) communicates with multiple devices in a full-duplex mode, and senses the positions of these devices simultaneously. An RIS is assumed to be mounted on each device to enhance the reflected echoes. Meanwhile, the information of each device is passively transferred to the BS via reflection modulation. We aim to tackle the problem of joint localization and information retrieval at the BS. A grid based parametric model is constructed and the joint estimation problem is formulated as a compressive sensing problem. We propose a novel message-passing algorithm to solve the considered problem, and a progressive approximation method to reduce the computational complexity involved in the message passing. Moreover, an expectation-maximization (EM) algorithm is applied for tuning the grid parameters to mitigate the model mismatch problem. Finally, we analyze the efficacy of the proposed algorithm through the Bayesian Cram\'er-Rao bound. Numerical results demonstrate the feasibility of the proposed scheme and the superior performance of the proposed EM-based message-passing algorithm.


title: Bidirectional Feature Globalization for Few-shot Semantic Segmentation of 3D Point Cloud Scenes

abstract: Few-shot segmentation of point cloud remains a challenging task, as there is no effective way to convert local point cloud information to global representation, which hinders the generalization ability of point features. In this study, we propose a bidirectional feature globalization (BFG) approach, which leverages the similarity measurement between point features and prototype vectors to embed global perception to local point features in a bidirectional fashion. With point-to-prototype globalization (Po2PrG), BFG aggregates local point features to prototypes according to similarity weights from dense point features to sparse prototypes. With prototype-to-point globalization (Pr2PoG), the global perception is embedded to local point features based on similarity weights from sparse prototypes to dense point features. The sparse prototypes of each class embedded with global perception are summarized to a single prototype for few-shot 3D segmentation based on the metric learning framework. Extensive experiments on S3DIS and ScanNet demonstrate that BFG significantly outperforms the state-of-the-art methods.


title: Finite Sample Complexity of Sequential Monte Carlo Estimators on Multimodal Target Distributions

abstract: We prove finite sample complexities for sequential Monte Carlo (SMC) algorithms which require only local mixing times of the associated Markov kernels. Our bounds are particularly useful when the target distribution is multimodal and global mixing of the Markov kernel is slow; in such cases our approach establishes the benefits of SMC over the corresponding Markov chain Monte Carlo (MCMC) estimator. The lack of global mixing is addressed by sequentially controlling the bias introduced by SMC resampling procedures. We apply these results to obtain complexity bounds for approximating expectations under mixtures of log-concave distributions and show that SMC provides a fully polynomial time randomized approximation scheme for some difficult multimodal problems where the corresponding Markov chain sampler is exponentially slow. Finally, we compare the bounds obtained by our approach to existing bounds for tempered Markov chains on the same problems.


title: Conformality of Charge Density Wave

abstract: New quantum phenomena are continuously being discovered in 2D systems. In particular, the charge density wave (CDW) has the aspect of a quantum crystal with a macroscopic wave function (order parameter), so unlike quantum liquids (superconductivity, quantum Hall liquids $^3$He, $^4$He), new ground states such as supersolid and Moir\'e solids can be expected. However, it is difficult to describe these states because of their quantum aspect, hence there is still no theory that can explain CDW phases in a unified way. The best way to describe a quantum crystal seems to be a conformal transformation that allows local deformation (wave properties) and preserves local angles (crystal properties). Here, we propose a unifying conformal description of 2D CDW phases in the typical 2D CDW material transition metal dichalcogenides (MX$_2$). We discover that the discommensurate CDW phases in MX$_2$ can be explained beautifully by a discrete conformal transformation of CDW wavevectors. This conformality is due to commensurability of CDW with the MX$_2$ lattice. In other words, interference of harmonic wavefunction induces conformality. Using this new conformal formulation, we explain experimental nearly-commensurate/stripe/T CDW phases in 1$T$-TaS$_2$ ($\sqrt{13}\times\sqrt{13}$ structure), 2$H$-TaSe$_2$ ($\sqrt{9}\times\sqrt{9}$ structure), and explain the origin of a new experimental nearly-commensurate phase in TaSe$_2$ thin-film ($\sqrt{7}\times\sqrt{7}$ structure). This theory is very simple in the sense that it includes only discommensuration and comprises physics as rich as quantum Hall liquids. This new description will broaden our perspective of quantum crystals.


title: DS-MVSNet: Unsupervised Multi-view Stereo via Depth Synthesis

abstract: In recent years, supervised or unsupervised learning-based MVS methods achieved excellent performance compared with traditional methods. However, these methods only use the probability volume computed by cost volume regularization to predict reference depths and this manner cannot mine enough information from the probability volume. Furthermore, the unsupervised methods usually try to use two-step or additional inputs for training which make the procedure more complicated. In this paper, we propose the DS-MVSNet, an end-to-end unsupervised MVS structure with the source depths synthesis. To mine the information in probability volume, we creatively synthesize the source depths by splattering the probability volume and depth hypotheses to source views. Meanwhile, we propose the adaptive Gaussian sampling and improved adaptive bins sampling approach that improve the depths hypotheses accuracy. On the other hand, we utilize the source depths to render the reference images and propose depth consistency loss and depth smoothness loss. These can provide additional guidance according to photometric and geometric consistency in different views without additional inputs. Finally, we conduct a series of experiments on the DTU dataset and Tanks & Temples dataset that demonstrate the efficiency and robustness of our DS-MVSNet compared with the state-of-the-art methods.


title: From the historical Roman road network to modern infrastructure in Italy

abstract: An integrated and widespread road system, like the one built during the Roman Empire in Italy, plays an important role today in facilitating the construction of new infrastructure. This paper investigates the historical path of Roman roads as main determinant of both motorways and railways in the country. The empirical analysis shows how the modern Italian transport infrastructure followed the path traced in ancient times by the Romans in constructing their roads. Being paved and connecting Italy from North to South, consular trajectories lasted in time, representing the starting physical capital for developing the new transport networks.


title: May the force be with you

abstract: Modern methods in dimensionality reduction are dominated by nonlinear attraction-repulsion force-based methods (this includes t-SNE, UMAP, ForceAtlas2, LargeVis, and many more). The purpose of this paper is to demonstrate that all such methods, by design, come with an additional feature that is being automatically computed along the way, namely the vector field associated with these forces. We show how this vector field gives additional high-quality information and propose a general refinement strategy based on ideas from Morse theory. The efficiency of these ideas is illustrated specifically using t-SNE on synthetic and real-life data sets.


title: Adan: Adaptive Nesterov Momentum Algorithm for Faster Optimizing Deep Models

abstract: In deep learning, different kinds of deep networks typically need different optimizers, which have to be chosen after multiple trials, making the training process inefficient. To relieve this issue and consistently improve the model training speed across deep networks, we propose the ADAptive Nesterov momentum algorithm, Adan for short. Adan first reformulates the vanilla Nesterov acceleration to develop a new Nesterov momentum estimation (NME) method, which avoids the extra overhead of computing gradient at the extrapolation point. Then Adan adopts NME to estimate the gradient's first- and second-order moments in adaptive gradient algorithms for convergence acceleration. Besides, we prove that Adan finds an $\epsilon$-approximate first-order stationary point within $O(\epsilon^{-3.5})$ stochastic gradient complexity on the non-convex stochastic problems (e.g., deep learning problems), matching the best-known lower bound. Extensive experimental results show that Adan consistently surpasses the corresponding SoTA optimizers on vision, language, and RL tasks and sets new SoTAs for many popular networks and frameworks, e.g., ResNet, ConvNext, ViT, Swin, MAE, DETR, GPT-2, Transformer-XL, and BERT. More surprisingly, Adan can use half of the training cost (epochs) of SoTA optimizers to achieve higher or comparable performance on ViT, GPT-2, MAE, e.t.c., and also shows great tolerance to a large range of minibatch size, e.g., from 1k to 32k. Code is released at https://github.com/sail-sg/Adan, and has been used in multiple popular deep learning frameworks or projects.


title: A new way of video compression via forward-referencing using deep learning

abstract: To exploit high temporal correlations in video frames of the same scene, the current frame is predicted from the already-encoded reference frames using block-based motion estimation and compensation techniques. While this approach can efficiently exploit the translation motion of the moving objects, it is susceptible to other types of affine motion and object occlusion/deocclusion. Recently, deep learning has been used to model the high-level structure of human pose in specific actions from short videos and then generate virtual frames in future time by predicting the pose using a generative adversarial network (GAN). Therefore, modelling the high-level structure of human pose is able to exploit semantic correlation by predicting human actions and determining its trajectory. Video surveillance applications will benefit as stored big surveillance data can be compressed by estimating human pose trajectories and generating future frames through semantic correlation. This paper explores a new way of video coding by modelling human pose from the already-encoded frames and using the generated frame at the current time as an additional forward-referencing frame. It is expected that the proposed approach can overcome the limitations of the traditional backward-referencing frames by predicting the blocks containing the moving objects with lower residuals. Experimental results show that the proposed approach can achieve on average up to 2.83 dB PSNR gain and 25.93\% bitrate savings for high motion video sequences


title: Neural Encoding of Songs is Modulated by Their Enjoyment

abstract: We examine user and song identification from neural (EEG) signals. Owing to perceptual subjectivity in human-media interaction, music identification from brain signals is a challenging task. We demonstrate that subjective differences in music perception aid user identification, but hinder song identification. In an attempt to address intrinsic complexities in music identification, we provide empirical evidence on the role of enjoyment in song recognition. Our findings reveal that considering song enjoyment as an additional factor can improve EEG-based song recognition.


title: Locating disparities in machine learning

abstract: Machine learning can provide predictions with disparate outcomes, in which subgroups of the population (e.g., defined by age, gender, or other sensitive attributes) are systematically disadvantaged. In order to comply with upcoming legislation, practitioners need to locate such disparate outcomes. However, previous literature typically detects disparities through statistical procedures for when the sensitive attribute is specified a priori. This limits applicability in real-world settings where datasets are high dimensional and, on top of that, sensitive attributes may be unknown. As a remedy, we propose a data-driven framework called Automatic Location of Disparities (ALD) which aims at locating disparities in machine learning. ALD meets several demands from industry: ALD (1) is applicable to arbitrary machine learning classifiers; (2) operates on different definitions of disparities (e.g., statistical parity or equalized odds); and (3) deals with both categorical and continuous predictors even if disparities arise from complex and multi-way interactions known as intersectionality (e. g., age above 60 and female). ALD produces interpretable audit reports as output. We demonstrate the effectiveness of ALD based on both synthetic and real-world datasets. As a result, we empower practitioners to effectively locate and mitigate disparities in machine learning algorithms, conduct algorithmic audits, and protect individuals from discrimination.


title: Modeling biological face recognition with deep convolutional neural networks

abstract: Deep convolutional neural networks (DCNNs) have become the state-of-the-art computational models of biological object recognition. Their remarkable success has helped vision science break new ground and recent efforts have started to transfer this achievement to research on biological face recognition. In this regard, face detection can be investigated by comparing face-selective biological neurons and brain areas to artificial neurons and model layers. Similarly, face identification can be examined by comparing in vivo and in silico multidimensional "face spaces". In this review, we summarize the first studies that use DCNNs to model biological face recognition. On the basis of a broad spectrum of behavioral and computational evidence, we conclude that DCNNs are useful models that closely resemble the general hierarchical organization of face recognition in the ventral visual pathway and the core face network. In two exemplary spotlights, we emphasize the unique scientific contributions of these models. First, studies on face detection in DCNNs indicate that elementary face selectivity emerges automatically through feedforward processing even in the absence of visual experience. Second, studies on face identification in DCNNs suggest that identity-specific experience and generative mechanisms facilitate this particular challenge. Taken together, as this novel modeling approach enables close control of predisposition (i.e., architecture) and experience (i.e., training data), it may be suited to inform long-standing debates on the substrates of biological face recognition.


title: Impactful scientists have higher tendency to involve collaborators in new topics

abstract: In scientific research, collaboration is one of the most effective ways to take advantage of new ideas, skills, resources, and for performing interdisciplinary research. Although collaboration networks have been intensively studied, the question of how individual scientists choose collaborators to study a new research topic remains almost unexplored. Here, we investigate the statistics and mechanisms of collaborations of individual scientists along their careers, revealing that, in general, collaborators are involved in significantly fewer topics than expected from controlled surrogate. In particular, we find that highly productive scientists tend to have higher fraction of single-topic collaborators, while highly cited, i.e., impactful, scientists have higher fraction of multi-topic collaborators. We also suggest a plausible mechanism for this distinction. Moreover, we investigate the cases where scientists involve existing collaborators into a new topic. We find that compared to productive scientists, impactful scientists show strong preference of collaboration with high impact scientists on a new topic. Finally, we validate our findings by investigating active scientists in different years and across different disciplines.


title: Inverse Extended Kalman Filter -- Part II: Highly Non-Linear and Uncertain Systems

abstract: Counter-adversarial system design problems have lately motivated the development of inverse Bayesian filters. For example, inverse Kalman filter (I-KF) has been recently formulated to estimate the adversary's Kalman-filter-tracked estimates and hence, predict the adversary's future steps. The purpose of this paper and the companion paper (Part I) is to address the inverse filtering problem in non-linear systems by proposing an inverse extended Kalman filter (I-EKF). The companion paper proposed the theory of I-EKF (with and without unknown inputs) and I-KF (with unknown inputs). In this paper, we develop this theory for highly non-linear models, which employ second-order, Gaussian sum, and dithered forward EKFs. In particular, we derive theoretical stability guarantees for the inverse second-order EKF using the bounded non-linearity approach. To address the limitation of the standard I-EKFs that the system model and forward filter are perfectly known to the defender, we propose reproducing kernel Hilbert space-based EKF to learn the unknown system dynamics based on its observations, which can be employed as an inverse filter to infer the adversary's estimate. Numerical experiments demonstrate the state estimation performance of the proposed filters using recursive Cram\'{e}r-Rao lower bound as a benchmark.


title: Extension domains for Hardy spaces

abstract: We show that a proper open subset $\Omega\subset \rn$ is an extension domain for $\hp$ ($0<p\le1$), if and only if it satisfies a certain geometric condition. When $n(\frac{1}{p}-1)\in \mathbb{N}$ this condition is equivalent to the global Markov condition for $\Omega^c$, for $p=1$ it is stronger, and when $n(\frac{1}{p}-1)\notin \mathbb{N}\cup \{0\}$ every proper open subset is an extension domain for $H^p$. It is shown that in each case a linear extension operator exists. We apply our results to study some complemented subspaces of $\bmorn$.


title: Adaptive novelty detection with false discovery rate guarantee

abstract: This paper studies the semi-supervised novelty detection problem where a set of "typical" measurements is available to the researcher. Motivated by recent advances in multiple testing and conformal inference, we propose AdaDetect, a flexible method that is able to wrap around any probabilistic classification algorithm and control the false discovery rate (FDR) on detected novelties in finite samples without any distributional assumption other than exchangeability. In contrast to classical FDR-controlling procedures that are often committed to a pre-specified p-value function, AdaDetect learns the transformation in a data-adaptive manner to focus the power on the directions that distinguish between inliers and outliers. Inspired by the multiple testing literature, we further propose variants of AdaDetect that are adaptive to the proportion of nulls while maintaining the finite-sample FDR control. The methods are illustrated on synthetic datasets and real-world datasets, including an application in astrophysics.


title: A Strongly Correlated Quantum-Dot Heat Engine with Optimal Performance: An Non-equilibrium Green's function Approach

abstract: We present an analytical study of a strongly correlated quantum dot-based thermoelectric particle-exchange heat engine for both finite and infinite on-dot Coulomb interaction. Employing Keldysh's non-equilibrium Green's function formalism for different decoupling schemes in the equation of motion, we have analyzed the thermoelectric properties within the non-linear transport regime. As the simplest mean-field approximation is insufficient for analyzing thermoelectric properties in the Coulomb blockade regime, one needs to employ a higher-order approximation to study strongly correlated QD-based heat engines. Therefore initially, we have used the Hubbard-\Romannum{1} approximation to study the quantum dot level position ($\epsilon_d$), thermal gradient ($\Delta T$), and on-dot Coulomb interaction ($U$) dependence of the thermoelectric properties. Furthermore, as a natural extension, we have used an approximation beyond Hubbard-\Romannum{1} in the infinite-$U$ limit (strong on-dot Coulomb repulsion) to provide additional insight into the operation of a more practical quantum dot heat engine. Within this infinite-$U$ limit, we examine the role of the symmetric dot-reservoir tunneling ($\Gamma$) and external serial load resistance ($R$) in optimizing the performance of the strongly correlated quantum dot heat engine. Our infinite-$U$ results show a good quantitative agreement with recent experimental data for a quantum dot coupled to two metallic reservoirs.


title: Avoider-Enforcer Game is NP-hard

abstract: In an Avoider-Enforcer game, we are given a hypergraph. Avoider and Enforcer alternate in claiming an unclaimed vertex, until all the vertices of the hypergraph are claimed. Enforcer wins if Avoider claims all vertices of an edge; Avoider wins otherwise. We show that it is NP-hard to decide if Avoider has a winning strategy.


title: ADM mass, area and capacity in asymptotically flat $3$-manifolds with nonnegative scalar curvature

abstract: We show an improvement of Bray sharp mass-capacity inequality and Bray-Miao sharp upper bound of the capacity of the boundary in terms of its area, for three-dimensional, complete, one-ended asymptotically flat manifolds with compact, connected boundary and with nonnegative scalar curvature, under appropriate assumptions on the topology and on the mean curvature of the boundary. Our arguments relies on two monotonicity formulas holding along level sets of a suitable harmonic potential, associated to the boundary of the manifold. This work is an expansion of the results contained in the PhD thesis of the author.


title: Computable vs Descriptive Combinatorics of Local Problems on Trees

abstract: We study the position of the computable setting in the "common theory of locality" developed in arXiv:2106.02066 and arXiv:2204.09329 for local problems on $\Delta$-regular trees, $\Delta \in \omega$. We show that such a problem admits a computable solution on every highly computable $\Delta$-regular forest if and only if it admits a Baire measurable solution on every Borel $\Delta$-regular forest. We also show that if such a problem admits a computable solution on every computable maximum degree $\Delta$ forest then it admits a continuous solution on every maximum degree $\Delta$ Borel graph with appropriate topological hypotheses, though the converse does not hold.


title: Deployment of long distance multi-moving robots for underground pipe inspection

abstract: Blueprint of an in-pipe climbing robot that works with sharp transmissions to study complex line relationships. Standard wheeled/happening pipe climbing robots tend to slide when exploring pipe turns. Instruments help achieve a very distinct delay sequence in which the robot slides and drags as it progresses. The proposed transmission joins the farthest ground plane of the standard two-output transmission. This opens up a substantial time for 3 output transmissions. This instrument takes into account the force exerted on each track within the line relation to specifically alter the robot's track speed, unlocking the key to fine control. Deflection of the robot across pipe networks with different bearings and non-slip pipe bends demonstrate the integrity of the proposed structure.


title: Bistable carbon-vacancy defects in $h$-BN

abstract: Single photon emitters in hexagonal boron nitride have been extensively studied recently. Although unambiguous identification of the emitters is still under intense research, carbon related defects are believed to play a vital role for the emitter producing zero-phonon-lines in the range of $1.6$ to $2.2$~eV. In this study, we systematically investigate two configurations of carbon-vacancy defects, VNCB and CNVB, by means of density functional theory calculations. We calculated the reaction barrier energies from one defect to the other to determine relative stability. We find the barrier energies are charge dependent and CNVB could easily transform to VNCB in neutral and positive charge states while it is stable when negatively charged. Formation energy calculations show that the VNCB is the dominant defect over CNVB. However, neither VNCB nor CNVB has suitable fluorescence spectra that could reproduce the observed ones. Our results indicate that the origin of the $1.6$-to-$2.2$-eV emitters should be other carbon-related configurations.


title: BinBert: Binary Code Understanding with a Fine-tunable and Execution-aware Transformer

abstract: A recent trend in binary code analysis promotes the use of neural solutions based on instruction embedding models. An instruction embedding model is a neural network that transforms sequences of assembly instructions into embedding vectors. If the embedding network is trained such that the translation from code to vectors partially preserves the semantic, the network effectively represents an assembly code model. In this paper we present BinBert, a novel assembly code model. BinBert is built on a transformer pre-trained on a huge dataset of both assembly instruction sequences and symbolic execution information. BinBert can be applied to assembly instructions sequences and it is fine-tunable, i.e. it can be re-trained as part of a neural architecture on task-specific data. Through fine-tuning, BinBert learns how to apply the general knowledge acquired with pre-training to the specific task. We evaluated BinBert on a multi-task benchmark that we specifically designed to test the understanding of assembly code. The benchmark is composed of several tasks, some taken from the literature, and a few novel tasks that we designed, with a mix of intrinsic and downstream tasks. Our results show that BinBert outperforms state-of-the-art models for binary instruction embedding, raising the bar for binary code understanding.


title: Affine stresses: the partition of unity and Kalai's reconstruction conjectures

abstract: Kalai conjectured that if $P$ is a simplicial $d$-polytope that has no missing faces of dimension $d-1$, then the graph of $P$ and the space of affine $2$-stresses of $P$ determine $P$ up to affine equivalence. We propose a higher-dimensional generalization of this conjecture: if $2\leq i\leq d/2$ and $P$ is a simplicial $d$-polytope that has no missing faces of dimension $\geq d-i+1$, then the space of affine $i$-stresses of $P$ determines the space of affine $1$-stresses of $P$. We prove this conjecture for (1) $k$-stacked $d$-polytopes with $2\leq i\leq k\leq d/2-1$, (2) $d$-polytopes that have no missing faces of dimension $\geq d-2i+2$, and (3) flag PL $(d-1)$-spheres with generic embeddings (for all $2\leq i\leq d/2$). We also discuss several related results and conjectures. For instance, we show that if $P$ is a simplicial $d$-polytope that has no missing faces of dimension $\geq d-2i+2$, then the $(i-1)$-skeleton of $P$ and the set of sign vectors of affine $i$-stresses of $P$ determine the combinatorial type of $P$. Along the way, we establish the partition of unity of affine stresses: for any $1\leq i\leq (d-1)/2$, the space of affine $i$-stresses of a simplicial $d$-polytope as well as the space of affine $i$-stresses of a simplicial $(d-1)$-sphere (with a generic embedding) can be expressed as the sum of affine $i$-stress spaces of vertex stars. This is analogous to Adiprasito's partition of unity of linear stresses for Cohen--Macaulay complexes.


title: Terahertz lasing conditions of radiative and nonradiative propagating plasmon modes in graphene-coated cylinders

abstract: There is increasing interest in filling the gap of miniaturized terahertz/mid-infrared radiation sources and, particularly, in incorporating these sources into micro/nanophotonic circuits. By using rigorous electromagnetic methods, we investigate the lasing conditions and the electric-tunability of radiative and non radiative propagating surface-plasmon modes in cylinders made of active materials coated with a graphene layer. A detailed analysis of the lasing condition of different surface-plasmon modes shows that there is an abrupt change in the gain required when modes become nonradiative. Although radiative modes, subject to both radiation and ohmic losses, are expected to require more gain compensation than nonradiative modes, we find that, counterintuitively, gain compensation is greater for nonradiative modes. This is explained in terms of a change in the distribution of fields that occurs when the character of modes switches from plasmonic to photonic. Finally, we assess the feasibility of our proposal by using a realist gain medium and showing that a relatively low population inversion is required for the stimulated emission of the studied system.


title: Regression test of various versions of STRmix

abstract: STRmix has been in operational use since 2012 for the interpretation of forensic DNA profiles. During that time incremental improvements have been made to the modelling of variance for single and composite peaks, and drop-in. The central element of the algorithm has remained as the Markov chain Monte Carlo (MCMC) based on the Metropolis-Hastings algorithm. Regression experiments are reported comparing versions V2.3 to V2.9. There is a high degree of similarity in LRs for true contributors across multiple versions of STRmix that span 7 years of development (from V2.3 to V2.9). This is due to the fact that the underlying core models of STRmix that are used to describe DNA profile behaviour have remained stable across that time.


title: Fast- and thermal-neutron detection with common NaI(Tl) detectors

abstract: Radionuclide Identification Devices (RIDs) or Backpack Radiation Detection Systems (BRDs) are often equipped with NaI(Tl) detectors. We demonstrate that such instruments could be provided with reasonable thermal- and fast-neutron sensitivity by means of an improved and sophisticated processing of the digitized detector signals: Fast neutrons produce nuclear recoils in the scintillation crystal. Corresponding signals are detectible and can be distinguished from that of electronic interactions by pulse-shape discrimination (PSD) techniques as used in experiments searching for weakly interacting massive particles (WIMPs). Thermal neutrons are often captured in iodine nuclei of the scintillator. The gamma-ray cascades following such captures comprise a sum energy of almost 7 MeV, and some of them involve isomeric states leading to delayed gamma emissions. Both features can be used to distinguish corresponding detector signals from responses to ambient gamma radiation. The experimental proof was adduced by offline analyses of pulse records taken with a commercial RID. An implementation of such techniques in commercial RIDs is feasible.

categories: physics.ins-det nucl-ex physics.app-ph physics.geo-ph physics.med-ph


title: Wireless Communications for Smart Manufacturing and Industrial IoT: Existing Technologies, 5G, and Beyond

abstract: Smart manufacturing is a vision and major driver for change in industrial environments. The goal of smart manufacturing is to optimize manufacturing processes through constantly monitoring and adapting processes towards more efficient and personalised manufacturing. This requires and relies on technologies for connected machines incorporating a variety of computation, sensing, actuation, and machine to machine communications modalities. As such, understanding the change towards smart manufacturing requires knowledge of the enabling technologies, their applications in real world scenarios and the communications protocols that they rely on. This paper presents an extensive review of wireless machine to machine communication protocols currently applied in manufacturing environments and provides a comprehensive review of the associated use cases whilst defining their expected impact on the future of smart manufacturing. Based on the review, we point out a number of open challenges and directions for future research.


title: A Sparse Sampling Sensor Front-end IC for Low Power Continuous SpO$_2$ \& HR Monitoring

abstract: Photoplethysmography (PPG) is an attractive method to acquire vital signs such as heart rate and blood oxygenation and is frequently used in clinical and at-home settings. Continuous operation of health monitoring devices demands a low power sensor that does not restrict the device battery life. Silicon photodiodes (PD) and LEDs are commonly used as the interface devices in PPG sensors; however, using of flexible organic devices can enhance the sensor conformality and reduce the cost of fabrication. In most PPG sensors, most of system power consumption is concentrated in powering LEDs, traditionally consuming mWs. Using organic devices further increases this power demand since these devices exhibit larger parasitic capacitances and typically need higher drive voltages. This work presents a sensor IC for continuous SpO$_2$ and HR monitoring that features an on-chip reconstruction-free sparse sampling algorithm to reduce the overall system power consumption by $\sim$70\% while maintaining the accuracy of the output information. The designed frontend is compatible with a wide range of devices from silicon PDs to organic PDs with parasitic capacitances up to 10 nF. Implemented in a 40 nm HV CMOS process, the chip occupies 2.43 mm$^2$ and consumes 49.7 $\mu$W and 15.2 $\mu$W of power in continuous and sparse sampling modes respectively. The performance of the sensor IC has been verified \textit{in vivo} with both types of devices and the results are compared against a clinical grade reference. Less than 1 bpm and 1\% mean absolute errors were achieved in both continuous and sparse modes of operation.


title: All-Electron, Density Functional-Based Method for Angle-Resolved Tunneling Ionization in the Adiabatic Regime

abstract: We develop and test a method that integrates many-electron weak-field asymptotic theory (ME-WFAT) [Phys. Rev. A 89, 013421 (2014)] in the integral representation (IR) into the density functional theory (DFT) framework. In particular, we present modifications of the integral formula in the IR ME-WFAT to incorporate the potential terms unique to DFT. By solving an adiabatic rate equation for the angle-resolved ionization yield in our DFT-based ME-WFAT method, we show that the results are in excellent agreement with those of real-time time-dependent density functional theory (RT-TDDFT) simulations for NO, OCS, CH$_3$Br, and CH$_3$Cl interacting with one- and two- color laser fields with a fundamental wavelength of $800$ nm. This agreement is significant because the WFAT calculations take only a small fraction of the time of full TDDFT calculations. These results suggest that in the wavelength region commonly used in strong-field experiments ($800$ nm and longer), our DFT-based WFAT treatment can be used to rapidly screen for the ionization properties of a large number of molecules as a function of alignment or orientation between the molecule and the strong field.


title: Unlocking the electronic, optical and transport properties of semiconductor coupled quantum dots using first principles methods

abstract: Semiconductor coupled quantum dots provide a unique opportunity of tuning bandgaps by tailoring band offsets, making them ideal for photovoltaic and other applications. Here, we have studied stability, trends in the band gap, band offsets, and optical properties for a series of coupled quantum dots comprised of II-VI semiconductor using a hybrid functional method. We have shown how the quantum confinement and interfacial strain considerably affect the band gap and band offsets for these heterostructures at the nanoscale. We show that the trend in band offsets obtained from our first-principles electronic structure calculations agrees with that obtained from the method of average electrostatic potential. It is found that a common anion rule for band offset is followed for these heterostructures at the nanoscale. Further, the calculated optical absorption spectra for these coupled quantum dots reveal that absorption peaks lie in the ultra-violet (UV) region, whereas absorption edges are in the visible region. In addition to electronic and optical properties, we have also explored transport properties for two representative coupled quantum dots, either having common cations or common anions, which revealed asymmetric nature in current-voltage characteristics. Therefore these semiconductor coupled quantum dots may be useful for photovoltaic, light-emitting diode, and opto-electronic devices.


title: Learning Linear Non-Gaussian Polytree Models

abstract: In the context of graphical causal discovery, we adapt the versatile framework of linear non-Gaussian acyclic models (LiNGAMs) to propose new algorithms to efficiently learn graphs that are polytrees. Our approach combines the Chow--Liu algorithm, which first learns the undirected tree structure, with novel schemes to orient the edges. The orientation schemes assess algebraic relations among moments of the data-generating distribution and are computationally inexpensive. We establish high-dimensional consistency results for our approach and compare different algorithmic versions in numerical experiments.


title: UAV-CROWD: Violent and non-violent crowd activity simulator from the perspective of UAV

abstract: Unmanned Aerial Vehicle (UAV) has gained significant traction in the recent years, particularly the context of surveillance. However, video datasets that capture violent and non-violent human activity from aerial point-of-view is scarce. To address this issue, we propose a novel, baseline simulator which is capable of generating sequences of photo-realistic synthetic images of crowds engaging in various activities that can be categorized as violent or non-violent. The crowd groups are annotated with bounding boxes that are automatically computed using semantic segmentation. Our simulator is capable of generating large, randomized urban environments and is able to maintain an average of 25 frames per second on a mid-range computer with 150 concurrent crowd agents interacting with each other. We also show that when synthetic data from the proposed simulator is augmented with real world data, binary video classification accuracy is improved by 5% on average across two different models.


title: Intersection Searching amid Tetrahedra in Four Dimensions

abstract: We develop data structures for intersection queries in four dimensions that involve segments, triangles and tetrahedra. Specifically, we study three main problems: (i) Preprocess a set of $n$ tetrahedra in $\reals^4$ into a data structure for answering segment-intersection queries amid the given tetrahedra (referred to as \emph{segment-tetrahedron intersection queries}). (ii) Preprocess a set of $n$ triangles in $\reals^4$ into a data structure that supports triangle-intersection queries amid the input triangles (referred to as \emph{triangle-triangle intersection queries}). (iii) Preprocess a set of $n$ segments in $\reals^4$ into a data structure that supports tetrahedron-intersection queries amid the input segments (referred to as \emph{tetrahedron-segment intersection queries}). In each problem we want either to detect an intersection, or to count or report all intersections. As far as we can tell, these problems have not been previously studied. For problem (i), we first present a "standard" solution which, for any prespecified value $n \le s \le n^6$ of a so-called storage parameter $s$, yields a data structure with $O^*(s)$ storage and expected preprocessing, which answers an intersection query in $O^*(n/s^{1/6})$ time (here and in what follows, the $O^*(\cdot)$ notation hides subpolynomial factors). For problems (ii) and (iii), using similar arguments, we present a solution that has the same asymptotic performance bounds. We then improve the solution for problem (i), and present a more intricate data structure that uses $O^*(n^{2})$ storage and expected preprocessing, and answers a segment-tetrahedron intersection query in $O^*(n^{1/2})$ time.


title: On a conjecture of R. M. Murty and V. K. Murty

abstract: Let $\omega^*(n)$ be the number of primes $p$ such that $p-1$ divides $n$. Recently, R. M. Murty and V. K. Murty proved that $$x(\log\log x)^3\ll\sum_{n\le x}\omega^*(n)^2\ll x\log x.$$ They further conjectured that there is some positive constant $C$ such that $$\sum_{n\le x}\omega^*(n)^2\sim Cx\log x$$ as $x\rightarrow \infty$. In this short note, we give the correct order of the sum by showing that $$\sum_{n\le x}\omega^*(n)^2\asymp x\log x.$$


title: The weighted Tower of Hanoi

abstract: The weighted Tower of Hanoi is a new generalization of the classical Tower of Hanoi problem, where a move of a disc between two pegs $i$ and $j$ is weighted by a positive real $w_{ij}\geq 0$. This new problem generalizes the concept of finding the minimum number of moves to solve the Tower of Hanoi, to find a sequence of moves with the minimum total cost. We present an optimal dynamic algorithm to solve the weighted Tower of Hanoi problem, we also establish some properties of this problem, as well as its relation with the Tower of Hanoi variants that are based on move restriction.


title: Probing superconducting order in overdoped Ca$_{x}$Y$_{1-x}$Ba$_{2}$Cu$_{3}$O$_{7}$ by neutron diffraction measurements of the vortex lattice

abstract: We present small angle neutron scattering studies of the magnetic vortex lattice (VL) in Ca$_{0.04}$Y$_{0.96}$Ba$_{2}$Cu$_{3}$O$_{7}$ up to a field of 16.7 T, and Ca$_{0.15}$Y$_{0.85}$Ba$_{2}$Cu$_{3}$O$_{7}$ up to 25 T. We find that the series of vortex lattice structure transitions have shifted down in field relative to those reported for the undoped compound. We attribute this mainly to the weakening of the 1-D superconductivity in the Cu-O chains by the disorder introduced by doping. The hole doping by calcium is also expected to alter the Fermi velocity and it reduces the upper critical field of the system. The high-field structure of the vortex lattice is similar to recent measurements on the parent compound in fields of 25~T, which indicates that the fundamental \textit{d}-wave nature of the superconducting gap is unchanged by calcium doping. This is corroborated by the temperature dependence of the VL form factor which also shows the same \textit{d}-wave behaviour as observed in other cuprates. We also find evidence of Pauli paramagnetic effects in the field dependence of the VL form factor.


title: Applying the Estimand and Target Trial frameworks to external control analyses using observational data: a case study in the solid tumor setting

abstract: In causal inference, the correct formulation of the scientific question of interest is a crucial step. Here we apply the estimand framework to a comparison of the outcomes of patient-level clinical trials and observational data to help structure the clinical question. In addition, we complement the estimand framework with the target trial framework to address specific issues in defining the estimand attributes using observational data and discuss synergies and differences of the two frameworks. Whereas the estimand framework proves useful to address the challenge that in clinical trials and routine clinical practice patients may switch to subsequent systemic therapies after the initially assigned systematic treatment, the target trial framework supports addressing challenges around baseline confounding and the index date. We apply the combined framework to compare long-term outcomes of a pooled set of three previously reported randomized phase 3 trials studying patients with metastatic non-small cell lung cancer receiving front-line chemotherapy (randomized clinical trial cohort) and similar patients treated with front-line chemotherapy as part of routine clinical care (observational comparative cohort). We illustrate the process to define the estimand attributes and select the estimator to estimate the estimand of interest while accounting for key baseline confounders, index date, and receipt of subsequent therapies. The proposed combined framework provides more clarity on the causal contrast of interest and the estimator to adopt and thus facilitates design and interpretation of the analyses.


title: Solving the Schr\"odinger Equation in the Configuration Space with Generative Machine Learning

abstract: The configuration interaction approach provides a conceptually simple and powerful approach to solve the Schr\"odinger equation for realistic molecules and materials but is characterized by an unfavourable scaling, which strongly limits its practical applicability. Effectively selecting only the configurations that actually contribute to the wavefunction is a fundamental step towards practical applications. We propose a machine learning approach that iteratively trains a generative model to preferentially generate the important configurations. By considering molecular applications it is shown that convergence to chemical accuracy can be achieved much more rapidly with respect to random sampling or the Monte Carlo configuration interaction method. This work paves the way to a broader use of generative models to solve the electronic structure problem.


title: Simulating Personal Food Consumption Patterns using a Modified Markov Chain

abstract: Food image classification serves as the foundation of image-based dietary assessment to predict food categories. Since there are many different food classes in real life, conventional models cannot achieve sufficiently high accuracy. Personalized classifiers aim to largely improve the accuracy of food image classification for each individual. However, a lack of public personal food consumption data proves to be a challenge for training such models. To address this issue, we propose a novel framework to simulate personal food consumption data patterns, leveraging the use of a modified Markov chain model and self-supervised learning. Our method is capable of creating an accurate future data pattern from a limited amount of initial data, and our simulated data patterns can be closely correlated with the initial data pattern. Furthermore, we use Dynamic Time Warping distance and Kullback-Leibler divergence as metrics to evaluate the effectiveness of our method on the public Food-101 dataset. Our experimental results demonstrate promising performance compared with random simulation and the original Markov chain method.


title: Progressive Multi-scale Light Field Networks

abstract: Neural representations have shown great promise in their ability to represent radiance and light fields while being very compact compared to the image set representation. However, current representations are not well suited for streaming as decoding can only be done at a single level of detail and requires downloading the entire neural network model. Furthermore, high-resolution light field networks can exhibit flickering and aliasing as neural networks are sampled without appropriate filtering. To resolve these issues, we present a progressive multi-scale light field network that encodes a light field with multiple levels of detail. Lower levels of detail are encoded using fewer neural network weights enabling progressive streaming and reducing rendering time. Our progressive multi-scale light field network addresses aliasing by encoding smaller anti-aliased representations at its lower levels of detail. Additionally, per-pixel level of detail enables our representation to support dithered transitions and foveated rendering.


title: Virtual Reality Platform to Develop and Test Applications on Human-Robot Social Interaction

abstract: Robotics simulation has been an integral part of research and development in the robotics area. The simulation eliminates the possibility of harm to sensors, motors, and the physical structure of a real robot by enabling robotics application testing to be carried out quickly and affordably without being subjected to mechanical or electronic errors. Simulation through virtual reality (VR) offers a more immersive experience by providing better visual cues of environments, making it an appealing alternative for interacting with simulated robots. This immersion is crucial, particularly when discussing sociable robots, a subarea of the human-robot interaction (HRI) field. The widespread use of robots in daily life depends on HRI. In the future, robots will be able to interact effectively with people to perform a variety of tasks in human civilization. It is crucial to develop simple and understandable interfaces for robots as they begin to proliferate in the personal workspace. Due to this, in this study, we implement a VR robotic framework with ready-to-use tools and packages to enhance research and application development in social HRI. Since the entire VR interface is an open-source project, the tests can be conducted in an immersive environment without needing a physical robot.


title: Generalized quantum phase spaces for the $\kappa$-deformed extended Snyder model

abstract: We describe, in an algebraic way, the $\kappa$-deformed extended Snyder models, that depend on three parameters $\beta, \kappa$ and $\lambda$, which in a suitable algebra basis are described by the de Sitter algebras ${o}(1,N)$. The commutation relations of the algebra contain a parameter $\lambda$, which is used for the calculations of perturbative expansions. For such $\kappa$-deformed extended Snyder models we consider the Heisenberg double with dual generalized momenta sector, and provide the respective generalized quantum phase space depending on three parameters mentioned above. Further, we study for these models an alternative Heisenberg double, with the algebra of functions on de Sitter group. In both cases we calculate the formulae for the cross commutation relations between generalized coordinate and momenta sectors, at linear order in $\lambda$. We demonstrate that in the commutators of quantum space-time coordinates and momenta of the quantum-deformed Heisenberg algebra the terms generated by $\kappa$-deformation are dominating over $\beta$-dependent ones for small values of $\lambda$.


title: Non-injectivity of the cycle class map in continuous $\ell$-adic cohomology

abstract: Jannsen asked whether the rational cycle class map in continuous $\ell$-adic cohomology is injective, in every codimension for all smooth projective varieties over a field of finite type over the prime field. As recently pointed out by Schreieder, the integral version of Jannsen's question is also of interest. We exhibit several examples showing that the answer to the integral version is negative in general. Our examples also have consequences for the coniveau filtration on Chow groups and the transcendental Abel-Jacobi map constructed by Schreieder.


title: A mushy source for the geysers of Enceladus

abstract: Enceladus is a primary target for astrobiology due to the $\rm H_2O$ plume ejecta measured by the Cassini spacecraft and the inferred subsurface ocean sustained by tidal heating. Sourcing the plumes via a direct connection from the ocean to the surface requires a fracture through the entire ice shell ($\sim$10 km). Here we explore an alternative mechanism in which shear heating within shallower tiger stripe fractures produces partial melting in the ice shell and interstitial convection allows fluid to be ejected as geysers. We use an idealized two-dimensional multiphase reactive transport model to simulate the thermomechanics of a mushy region generated by an upper bound estimate for the localized shear heating rate in a salty ice shell. From our simulations, we predict the temperature, porosity, salt content, melting rate, and liquid volume of an intrashell mushy zone surrounding a fracture. We find that the rate of internal melting can match the observed $\rm H_2O$ eruption rate and that there is sufficient brine volume within the mushy zone to sustain the geysers for $\sim350$ kyr without additional melting. The composition of the liquid brine is, however, distinct from that of the ocean, due to partial melting. This shear heating mechanism for geyser formation applies to Enceladus and other icy moons and has implications for our understanding of the geophysical processes and astrobiological potential of icy satellites.