title: Kemeny's constant for a graph with bridges

abstract: In this paper, we determine a formula for Kemeny's constant for a graph with multiple bridges, in terms of quantities that are inherent to the subgraphs obtained upon removal of all bridges and that can be computed independently. With the formula, we consider several optimization problems for Kemeny's constant for graphs with bridges, and we remark on the computational benefit of this formula for the computation of Kemeny's constant. Finally, we discuss some potential applications.


title: A Disc Reflection Model for Ultra-Soft Narrow-Line Seyfert 1 Galaxies

abstract: We present a detailed analysis of the XMM-Newton observations of five narrow-line Seyfert 1 galaxies (NLS1s). They all show very soft continuum emission in the X-ray band with a photon index of $\Gamma\gtrsim 2.5$. Therefore, they are referred to as `ultra-soft' NLS1s in this paper. By modeling their optical/UV-X-ray spectral energy distribution (SED) with a reflection-based model, we find indications that the disc surface in these ultra-soft NLS1s is in a higher ionisation state than other typical Seyfert 1 AGN. Our best-fit SED models suggest that these five ultra-soft NLS1s have an Eddington ratio of $\lambda_{\rm Edd}=1-20$ assuming available black hole mass measurements. In addition, our models infer that a significant fraction of the disc energy in these ultra-soft NLS1s is radiated away in the form of non-thermal emission instead of the thermal emission from the disc. Due to their extreme properties, X-ray observations of these sources in the iron band are particularly challenging. Future observations, e.g. from Athena, will enable us to have a clearer view of the spectral shape in the iron band and thus distinguish the reflection model from other interpretations of their broadband spectra.


title: Jacobi processes with jumps as neuronal models: a first passage time analysis

abstract: To overcome some limits of classical neuronal models, we propose a Markovian generalization of the classical model based on Jacobi processes by introducing downwards jumps to describe the activity of a single neuron. The statistical analysis of inter-spike intervals is performed by studying the first-passage times of the proposed Markovian Jacobi process with jumps through a constant boundary. In particular, we characterize its Laplace transform which is expressed in terms of some generalization of hypergeometric functions that we introduce, and deduce a closed-form expression for its expectation. Our approach, which is original in the context of first passage time problems, relies on intertwining relations between the semigroups of the classical Jacobi process and its generalization, which have been recently established in [11]. A numerical investigation of the firing rate of the considered neuron is performed for some choices of the involved parameters and of the jumps distributions.


title: Relating asymptotic dimension to Ponomarev's cofinal dimension via coarse proximities

abstract: In this paper we show that the asymptotic dimension of an unbounded proper metric space is bounded above by a coarse analog of Ponomarev's cofinal dimension of topological spaces, which we call the coarse cofinal dimension. We also show that asymptotic dimension is bounded below by the cofinal dimension of the Higson corona by existing results of Miyata, Austin, and Virk. We do this by introducing several constructions in the theory of coarse proximity spaces. In particular we introduce the inverse limit of coarse proximity spaces. We end with some open problems.


title: CAS-Net: Conditional Atlas Generation and Brain Segmentation for Fetal MRI

abstract: Fetal Magnetic Resonance Imaging (MRI) is used in prenatal diagnosis and to assess early brain development. Accurate segmentation of the different brain tissues is a vital step in several brain analysis tasks, such as cortical surface reconstruction and tissue thickness measurements. Fetal MRI scans, however, are prone to motion artifacts that can affect the correctness of both manual and automatic segmentation techniques. In this paper, we propose a novel network structure that can simultaneously generate conditional atlases and predict brain tissue segmentation, called CAS-Net. The conditional atlases provide anatomical priors that can constrain the segmentation connectivity, despite the heterogeneity of intensity values caused by motion or partial volume effects. The proposed method is trained and evaluated on 253 subjects from the developing Human Connectome Project (dHCP). The results demonstrate that the proposed method can generate conditional age-specific atlas with sharp boundary and shape variance. It also segment multi-category brain tissues for fetal MRI with a high overall Dice similarity coefficient (DSC) of $85.2\%$ for the selected 9 tissue labels.


title: Scheduling in Wireless Networks using Whittle Index Theory

abstract: We consider the problem of scheduling packet transmissions in a wireless network of users while minimizing the energy consumed and the transmission delay. A challenge is that transmissions of users that are close to each other mutually interfere, while users that are far apart can transmit simultaneously without much interference. Each user has a queue of packets that are transmitted on a single channel and mutually non interfering users reuse the spectrum. Using the theory of Whittle index for cost minimizing restless bandits, we design four index-based policies and compare their performance with that of the well-known policies: Slotted ALOHA, maximum weight scheduling, quadratic Lyapunov drift, Cella and Cesa Bianchi algorithm, and two Whittle index based policies from a recently published paper. We make the code used to perform our simulations publicly available, so that it can be used for future work by the research community at large.


title: How well do local relations predict gas-phase metallicity gradients? Results from SDSS-IV MaNGA

abstract: Gas-phase metallicity gradients in galaxies provide important clues to those galaxies' formation histories. Using SDSS-IV MaNGA data, we previously demonstrated that gas metallicity gradients vary systematically and significantly across the galaxy mass--size plane: at stellar masses beyond approximately $10^{10}$ $\mathrm{M_\odot}$, more extended galaxies display steeper gradients (in units of $\mathrm{dex/R_e}$) at a given stellar mass. Here, we set out to develop a physical interpretation of these findings by examining the ability of local $\sim$kpc-scale relations to predict the gradient behaviour along the mass--size plane. We find that local stellar mass surface density, when combined with total stellar mass, is sufficient to reproduce the overall mass--size trend in a qualitative sense. We further find that we can improve the predictions by correcting for residual trends relating to the recent star formation histories of star-forming regions. However, we find as well that the most extended galaxies display steeper average gradients than predicted, even after correcting for residual metallicity trends with other local parameters. From these results, we argue that gas-phase metallicity gradients can largely be understood in terms of known local relations, but we also discuss some possible physical causes of discrepant gradients.


title: Outage Analysis of Energy Efficiency in a Finite-Element-IRS Aided Communication System

abstract: In this paper, we study the performance of an energy efficient wireless communication system, assisted by a finite-element-intelligent reflecting surface (IRS). With no instantaneous channel state information (CSI) at the transmitter, we characterize the system performance in terms of the outage probability (OP) of energy efficiency (EE). Depending upon the availability of line-of-sight (LOS) paths, we analyze the system for two different channel models, viz. Rician and Rayleigh. For an arbitrary number of IRS elements $(N)$, we derive the approximate closed-form solutions for the OP of EE, using Laguerre series and moment matching methods. The analytical results are validated using the Monte-Carlo simulations. Moreover, we also quantify the rate of convergence of the derived expressions to the central limit theorem (CLT) approximations using the \textit{Berry-Esseen} inequality. Further, we prove that the OP of EE is a strict pseudo-convex function of the transmit power and hence, has a unique global minimum. To obtain the optimal transmit power, we solve the OP of EE as a constrained optimization problem. To the best of our knowledge, the OP of EE as a performance metric, has never been previously studied in IRS-assisted wireless communication systems.


title: IIsy: Practical In-Network Classification

abstract: The rat race between user-generated data and data-processing systems is currently won by data. The increased use of machine learning leads to further increase in processing requirements, while data volume keeps growing. To win the race, machine learning needs to be applied to the data as it goes through the network. In-network classification of data can reduce the load on servers, reduce response time and increase scalability. In this paper, we introduce IIsy, implementing machine learning classification models in a hybrid fashion using off-the-shelf network devices. IIsy targets three main challenges of in-network classification: (i) mapping classification models to network devices (ii) extracting the required features and (iii) addressing resource and functionality constraints. IIsy supports a range of traditional and ensemble machine learning models, scaling independently of the number of stages in a switch pipeline. Moreover, we demonstrate the use of IIsy for hybrid classification, where a small model is implemented on a switch and a large model at the backend, achieving near optimal classification results, while significantly reducing latency and load on the servers.


title: Growth and nodal current of complexified horocycle eigenfunctions

abstract: We study horocycle eigenfunctions at Lobachevsky plane. These are functions $u\colon \mathbb H=\mathbb C^+=\{z\in\mathbb C\colon \Im z>0\}\to\mathbb C$ such that $\left(-y^2\left(\frac{\partial^2}{\partial x^2}+\frac{\partial^2}{\partial y^2}\right)+ 2i\tau y\frac{\partial}{\partial x}\right)u(x+iy)=s^2 u(x+iy)$, $x+iy\in\mathbb C^+$, with $\tau,s\in\mathbb R$, $\tau$ large and $s/\tau$ small. In other words, we study eigenfunctions of \emph{magnetic} quantum Hamiltonian on hyperbolic plane. By semiclassical correspondence principle, asymptotic behavior of such functions is related to horocycle flow on $T\mathbb H$. If a sequence of horocycle functions possesses microlocal quantum unique ergodicity at the admissible energy level (with $\hbar=1/\tau$) then we may find asymptotic distribution of divisor of $u$ analytically continued to the complexified Lobachevsky plane $\mathbb H^\mathbb C$. This is done by establishing the asymptotic estimates on $|u|$ in $\mathbb H^\mathbb C$. The growth of functions $u$ as $\tau\to\infty$ turns to be governed by the growth of complexified \emph{gauge factor} occurring in $\tau$-automorphic kernels for functions on $\mathbb H$.


title: Bayesian Inference for Non-Parametric Extreme Value Theory

abstract: Statistical inference for extreme values of random events is difficult in practice due to low sample sizes and inaccurate models for the studied rare events. If prior knowledge for extreme values is available, Bayesian statistics can be applied to reduce the sample complexity, but this requires a known probability distribution. By working with the quantiles for extremely low probabilities (in the order of $10^{-2}$ or lower) and relying on their asymptotic normality, inference can be carried out without assuming any distributions. Despite relying on asymptotic results, it is shown that a Bayesian framework that incorporates prior information can reduce the number of observations required to estimate a particular quantile to some level of accuracy.


title: When null energy condition meets ADM mass

abstract: We give a conjecture on the lower bound of the ADM mass $M$ by using the null energy condition. The conjecture includes a Penrose-like inequality $3M\geq\kappa\mathcal{A}/(4\pi)+\sqrt{\mathcal{A}/4\pi}$ and the Penrose inequality $ 2M\geq\sqrt{{\mathcal{A}}/{4\pi}}$ with $\mathcal{A}$ the event horizon area and $\kappa$ the surface gravity. Both the conjecture in the static spherically symmetric case and the Penrose inequality for a dynamical spacetime with spherical symmetry are proved by imposing the null energy condition. We then generalize the conjecture to a general dynamical spacetime. Our results raise a new challenge for the famous unsettled question in general relativity: in what general case can the null energy condition replace other energy conditions to ensure the Penrose inequality?


title: Monotonicity Regularization: Improved Penalties and Novel Applications to Disentangled Representation Learning and Robust Classification

abstract: We study settings where gradient penalties are used alongside risk minimization with the goal of obtaining predictors satisfying different notions of monotonicity. Specifically, we present two sets of contributions. In the first part of the paper, we show that different choices of penalties define the regions of the input space where the property is observed. As such, previous methods result in models that are monotonic only in a small volume of the input space. We thus propose an approach that uses mixtures of training instances and random points to populate the space and enforce the penalty in a much larger region. As a second set of contributions, we introduce regularization strategies that enforce other notions of monotonicity in different settings. In this case, we consider applications, such as image classification and generative modeling, where monotonicity is not a hard constraint but can help improve some aspects of the model. Namely, we show that inducing monotonicity can be beneficial in applications such as: (1) allowing for controllable data generation, (2) defining strategies to detect anomalous data, and (3) generating explanations for predictions. Our proposed approaches do not introduce relevant computational overhead while leading to efficient procedures that provide extra benefits over baseline models.


title: Femtosecond Thermal and Nonthermal Hot Electron Tunneling inside a Photoexcited Tunnel Junction

abstract: Efficient operation of electronic nanodevices at ultrafast speeds requires understanding and control of the currents generated by femtosecond bursts of light. Ultrafast laser-induced currents in metallic nanojunctions can originate from photo-assisted hot electron tunneling or lightwave-induced tunneling. Both processes can drive localized photocurrents inside a scanning tunneling microscope (STM) on femto- to attosecond time scales, enabling ultrafast STM with atomic spatial resolution. Femtosecond laser excitation of a metallic nanojunction, however, also leads to the formation of a transient thermalized electron distribution, but the tunneling of thermalized hot electrons on time scales faster than electron-lattice equilibration is not well understood. Here, we investigate ultrafast electronic heating and transient thermionic tunneling inside a metallic photoexcited tunnel junction and its role in the generation of ultrafast photocurrents in STM. Phase-resolved sampling of broadband THz pulses via the THz-field-induced modulation of ultrafast photocurrents allows us to probe the electronic temperature evolution inside the STM tip, and to observe the competition between instantaneous and delayed tunneling due to nonthermal and thermal hot electron distributions in real time. Our results reveal the pronounced nonthermal character of photo-induced hot electron tunneling, and provide a detailed microscopic understanding of hot electron dynamics inside a laser-excited tunnel junction.


title: Learnable Optimal Sequential Grouping for Video Scene Detection

abstract: Video scene detection is the task of dividing videos into temporal semantic chapters. This is an important preliminary step before attempting to analyze heterogeneous video content. Recently, Optimal Sequential Grouping (OSG) was proposed as a powerful unsupervised solution to solve a formulation of the video scene detection problem. In this work, we extend the capabilities of OSG to the learning regime. By giving the capability to both learn from examples and leverage a robust optimization formulation, we can boost performance and enhance the versatility of the technology. We present a comprehensive analysis of incorporating OSG into deep learning neural networks under various configurations. These configurations include learning an embedding in a straight-forward manner, a tailored loss designed to guide the solution of OSG, and an integrated model where the learning is performed through the OSG pipeline. With thorough evaluation and analysis, we assess the benefits and behavior of the various configurations, and show that our learnable OSG approach exhibits desirable behavior and enhanced performance compared to the state of the art.


title: Analytic properties of Stretch maps and geodesic laminations

abstract: In a 1995 preprint, William Thurston outlined a Teichmueller theory for hyperbolic surfaces based on maps between surfaces which minimize the Lipschitz constant. In this paper we continue the analytic investigation into best Lipschitz maps which we began in our previous paper. In the spirit of the construction of infinity harmonic functions, we obtain best Lipschitz maps u as limits of minimizers of Schatten-von Neumann integrals in a fixed homotopy class of maps between two hyperbolic surfaces. We construct Lie algebra valued dual functions which minimize a dual Schatten von-Neumann integral and limit on a Lie algebra valued function v of bounded variation with least gradient properties. The main result of the paper is that the support of the measure which is a derivative of v lies on the canonical geodesic lamination constructed by Thurston and further studied by Gueritaud-Kassel. In the sequel paper we will use these results to investigate the dependence on the hyperbolic structures and construct a variety of transverse measures. This should provide information about the geometry and make contact with results of the Thurston school.


title: On Gr\"obner bases and Cohen-Macaulay property of closed path polyominoes

abstract: In this paper we introduce some monomial orders for the class of closed path polyominoes and we prove that the set of the generators of the polyomino ideal attached to a closed path forms the reduced Gr\"obner basis with respect to these monomial orders. It is known that the polyomino ideal attached to a closed path containing an L-configuration or a ladder of at least three steps, equivalently having no zig-zag walks, is prime. As a consequence, we obtain that the coordinate ring of a closed path having no zig-zag walks is a normal Cohen-Macaulay domain.


title: An Empirical Assessment of Security and Privacy Risks of Web based-Chatbots

abstract: Web-based chatbots provide website owners with the benefits of increased sales, immediate response to their customers, and insight into customer behaviour. While Web-based chatbots are getting popular, they have not received much scrutiny from security researchers. The benefits to owners come at the cost of users' privacy and security. Vulnerabilities, such as tracking cookies and third-party domains, can be hidden in the chatbot's iFrame script. This paper presents a large-scale analysis of five Web-based chatbots among the top 1-million Alexa websites. Through our crawler tool, we identify the presence of chatbots in these 1-million websites. We discover that 13,515 out of the top 1-million Alexa websites (1.59%) use one of the five analysed chatbots. Our analysis reveals that the top 300k Alexa ranking websites are dominated by Intercom chatbots that embed the least number of third-party domains. LiveChat chatbots dominate the remaining websites and embed the highest samples of third-party domains. We also find that 850 (6.29%) of the chatbots use insecure protocols to transfer users' chats in plain text. Furthermore, some chatbots heavily rely on cookies for tracking and advertisement purposes. More than two-thirds (68.92%) of the identified cookies in chatbot iFrames are used for ads and tracking users. Our results show that, despite the promises for privacy, security, and anonymity given by the majority of the websites, millions of users may unknowingly be subject to poor security guarantees by chatbot service providers


title: Momentum-Based Policy Gradient with Second-Order Information

abstract: Variance-reduced gradient estimators for policy gradient methods have been one of the main focus of research in the reinforcement learning in recent years as they allow acceleration of the estimation process. We propose a variance-reduced policy-gradient method, called SHARP, which incorporates second-order information into stochastic gradient descent (SGD) using momentum with a time-varying learning rate. SHARP algorithm is parameter-free, achieving $\epsilon$-approximate first-order stationary point with $O(\epsilon^{-3})$ number of trajectories, while using a batch size of $O(1)$ at each iteration. Unlike most previous work, our proposed algorithm does not require importance sampling which can compromise the advantage of variance reduction process. Moreover, the variance of estimation error decays with the fast rate of $O(1/t^{2/3})$ where $t$ is the number of iterations. Our extensive experimental evaluations show the effectiveness of the proposed algorithm on various control tasks and its advantage over the state of the art in practice.


title: Newtonian Fractional-Dimension Gravity and the External Field Effect

abstract: We expand our analysis of Newtonian Fractional-Dimension Gravity (NFDG), an extension of the classical laws of Newtonian gravity to lower dimensional spaces, including those with fractional (i.e., non-integer) dimension. We apply our model to four rotationally supported galaxies (NGC 5033, NGC 6674, NGC 5055, NGC 1090), in addition to other three galaxies (NGC 7814, NGC 6503, NGC 3741) which were analyzed in previous studies. NFDG is able to fit the rotation curves of all these galaxies without any dark matter component. We also investigate the possible violation of the strong equivalence principle, in relation to the External Field Effect (EFE), i.e., the dependence of the internal motion of a self-gravitating system under freefall on an external gravitational field. This effect is not present in Newtonian or Einstein gravity, but is predicted by some alternative theories of gravity. On the contrary, we show that NFDG does not imply the EFE, at least for values of the fractional dimension in the range $1 \leq D \leq 3$. Using improved NFDG numerical computations, we analyze the rotation curves of the aforementioned galaxies and obtain perfect fits to the experimental data, by using a fractional-dimension function $D\left (R\right )$ which characterizes each individual galaxy. In the galactic sample studied here with NFDG methods, we do not detect any significant differences between galaxies that are supposed to show/not show the EFE according to other alternative theories. A larger sample of galaxies will be needed to fully determine the absence of any external field effect in NFDG.


title: Utilizing Low-Cost Linux Micro-Computer & Android Phone Solutions on Cube-Satellites

abstract: Realizing functional space systems using flight-tested components is problematic in developing economies, as such components are costly for most institutions to sponsor. The B.Sc. project, Subsystems for 2nd Iteration Cairo University Cube-Satellite, addresses technology demonstration using commercially available electronics and low cost computing platforms, such as Android phones and Raspberry Pi Linux micro-computer as computing hardware. As for software, the project makes use of open-source modules and locally developed code to implement needed functionalities, in addition to a mechanism to operate a virtual desktop Linux OS in parallel to an Android application. The paper aims to demonstrate the significance, operation design, and problem solving of such approaches. The paper concludes with future prospects for improving upon the proposed computing systems


title: Letters From the Past: Modeling Historical Sound Change Through Diachronic Character Embeddings

abstract: While a great deal of work has been done on NLP approaches to lexical semantic change detection, other aspects of language change have received less attention from the NLP community. In this paper, we address the detection of sound change through historical spelling. We propose that a sound change can be captured by comparing the relative distance through time between their distributions using PPMI character embeddings. We verify this hypothesis in synthetic data and then test the method's ability to trace the well-known historical change of lenition of plosives in Danish historical sources. We show that the models are able to identify several of the changes under consideration and to uncover meaningful contexts in which they appeared. The methodology has the potential to contribute to the study of open questions such as the relative chronology of sound shifts and their geographical distribution.


title: Detection Masking for Improved OCR on Noisy Documents

abstract: Optical Character Recognition (OCR), the task of extracting textual information from scanned documents is a vital and broadly used technology for digitizing and indexing physical documents. Existing technologies perform well for clean documents, but when the document is visually degraded, or when there are non-textual elements, OCR quality can be greatly impacted, specifically due to erroneous detections. In this paper we present an improved detection network with a masking system to improve the quality of OCR performed on documents. By filtering non-textual elements from the image we can utilize document-level OCR to incorporate contextual information to improve OCR results. We perform a unified evaluation on a publicly available dataset demonstrating the usefulness and broad applicability of our method. Additionally, we present and make publicly available our synthetic dataset with a unique hard-negative component specifically tuned to improve detection results, and evaluate the benefits that can be gained from its usage


title: Polarization manipulation of giant photonic spin Hall effect using wave-guiding effect

abstract: In plasmonic systems, the enhanced photonic spin Hall effect (PSHE) was previously possible only for horizontal polarization. By employing the wave-guiding surface plasmon resonance (WG-SPR) effect, we report a giant photonic spin Hall effect (G-PSHE) of reflected light for both horizontal and vertical polarization waves. We investigated the polarization-manipulated G-PSHE in the Kretschmann configuration with an additional glass dielectric layer. This additional dielectric layer allowed us to achieve millimeter-scale (more than 2 mm to sub-millimeter) G-PSHE. We achieved polarization manipulation by designing novel structures employing wave-guiding and SPR theory. Using a simulation study, we investigated the impact of an additional thin dielectric layer on G-PSHE. This study enables the potential application of both horizontal and vertical polarization-based quantum devices and sensors for which light spin plays a pivotal role.


title: A Proposal for Detecting Superfluidity in Neutron Stars

abstract: Based on the GW dispersion relation raised in [1], we investigate the possible reflection of gravitational wave (GW) by superfluidity (SF) in the neutron star, provided its high density and dissipationless properties. Following this scenario, an experimental proposal is raised to probe the expected SF in neutron star by means of GW detection. Two types of binary systems are considered, neutron star-black hole and binary neutron star systems, with weak gravitational field condition imposed. Non-negligible modulation on the total signal caused by the GW reflection is found, which contributes amplitude and phase variations distinguishable from the primitive sine signal. Furthermore, we show that it is possible for such modulations to be detected by the Cosmic Explorer and Einstein Telescope at $100\,\mbox{Mpc}$. Identification of those signals can evince the existence of the long-sought SF in neutron stars as well as the exotic superfluidity-induced GW reflection.


title: LabVIEW is faster and C is economical interfacing tool for UCT automation

abstract: An in-house developed 2D ultrasound computerized Tomography system is fully automated. Performance analysis of instrument and software interfacing soft tools, namely the LabVIEW, MATLAB, C, and Python, is presented. The instrument interfacing algorithms, hardware control algorithms, signal processing, and analysis codes are written using above mentioned soft tool platforms. Total of eight performance indices are used to compare the ease of (a) realtime control of electromechanical assembly, (b) sensors, instruments integration, (c) synchronized data acquisition, and (d) simultaneous raw data processing. It is found that C utilizes the least processing power and performs a lower number of processes to perform the same task. In runtime analysis (data acquisition and realtime control), LabVIEW performs best, taking 365.69s in comparison to MATLAB (623.83s), Python ( 1505.54s), and C (1252.03s) to complete the experiment. Python performs better in establishing faster interfacing and minimum RAM usage. LabVIEW is recommended for its fast process execution. C is recommended for the most economical implementation. Python is recommended for complex system automation having a very large number of components involved. This article provides a methodology to select optimal soft tools for instrument automation-related aspects.


title: Neutrino Fields in a Sandwich Gravitational Wave Background

abstract: Sandwich gravitational waves are given globally in terms of step functions at the boundaries. Linearized Einstein-Weyl equations are solved exactly in this background in Rosen coordinates. Depending on the geometry and composition of the sandwich wave, the neutrino's energy-momentum redistributes itself. At the test field level, since the background will not change, the neutrino's energy density in particular will show variations between positive and negative extrema when crossing the sandwich wave. This may reveal facts about the weakly interacting neutrinos in cosmology.


title: Lossy Computing with Side Information via Multi-Hypergraphs

abstract: We consider a problem of coding for computing, where the decoder wishes to estimate a function of its local message and the source message at the encoder within a given distortion. We show that the rate-distortion function can be characterized through a characteristic multi-hypergraph, which simplifies the evaluation of the rate-distortion function.


title: Contact-less Material Probing with Distributed Sensors: Joint Sensing and Communication Optimization

abstract: The utilization of RF signals to probe material properties of objects is of huge interest both in academia as well as industry. To this end, a setup is investigated, in which a transmitter equipped with a two-dimensional multi-antenna array dispatches a signal, which hits objects in the environment and the reflections from the objects are captured by distributed sensors. The received signal at those sensors are then amplified and forwarded to a multiple antenna fusion center, which performs space-time post-processing in order to optimize the information extraction. In this process, optimal design of power allocation per object alongside sensors amplifications is of crucial importance. Here, the power allocation and sensors amplifications is jointly optimized, given maximum-ratio combining (MRC) at the fusion center. We formulate this challenge as a sum-power minimization under per-object SINR constraints, a sum-power constraint at the transmitter and individual power constraints at the sensors. Moreover, the advantage of deploying zero-forcing (ZF) and minimum mean-squared error (MMSE) at the fusion center is discussed. Asymptotic analysis is also provided for the case that large number of sensors are deployed in the sensing environment.


title: Working with Affective Computing: Exploring UK Public Perceptions of AI enabled Workplace Surveillance

abstract: This paper explores public perceptions around the role of affective computing in the workplace. It uses a series of design fictions with 46 UK based participants, unpacking their perspectives on the advantages and disadvantages of tracking the emotional state of workers. The scenario focuses on mundane uses of biometric sensing in a sales environment, and how this could shape management approaches with workers. The paper structure is as follows: section 1 provides a brief introduction; section 2 provides an overview of the innovative design fiction methodology; section 3 explores wider shifts around IT in the workplace; section 4 provides some legal analysis exploring emergence of AI in the workplace; and section 5 presents themes from the study data. The latter section includes discussion on concerns around functionality and accuracy of affective computing systems, and their impacts on surveillance, human agency, and worker/management interactions.


title: A two-steps approach to improve the performance of Android malware detectors

abstract: The popularity of Android OS has made it an appealing target to malware developers. To evade detection, including by ML-based techniques, attackers invest in creating malware that closely resemble legitimate apps. In this paper, we propose GUIDED RETRAINING, a supervised representation learning-based method that boosts the performance of a malware detector. First, the dataset is split into "easy" and "difficult" samples, where difficulty is associated to the prediction probabilities yielded by a malware detector: for difficult samples, the probabilities are such that the classifier is not confident on the predictions, which have high error rates. Then, we apply our GUIDED RETRAINING method on the difficult samples to improve their classification. For the subset of "easy" samples, the base malware detector is used to make the final predictions since the error rate on that subset is low by construction. For the subset of "difficult" samples, we rely on GUIDED RETRAINING, which leverages the correct predictions and the errors made by the base malware detector to guide the retraining process. GUIDED RETRAINING focuses on the difficult samples: it learns new embeddings of these samples using Supervised Contrastive Learning and trains an auxiliary classifier for the final predictions. We validate our method on four state-of-the-art Android malware detection approaches using over 265k malware and benign apps, and we demonstrate that GUIDED RETRAINING can reduce up to 40.41% prediction errors made by the malware detectors. Our method is generic and designed to enhance the classification performance on a binary classification task. Consequently, it can be applied to other classification problems beyond Android malware detection.


title: Entropy-bounded solutions to the 3D compressible heat-conducting magnetohydrodynamic equations with vacuum at infinity

abstract: The mathematical analysis on the behavior of the entropy for viscous, compressible, and heat conducting magnetohydrodynamic flows near the vacuum region is a challenging problem as the governing equation for entropy is highly degenerate and singular in the vacuum region. In particular, it is unknown whether the entropy remains its boundedness. In the present paper, we investigate the Cauchy problem to the three-dimensional (3D) compressible heat-conducting magnetohydrodynamic equations with vacuum at infinity only. We show that the uniform boundedness of the entropy and the $L^2$ regularities of the velocity and temperature can be propagated provided that the initial density decays suitably slow at infinity. The main tools are based on singularly weighted energy estimates and De Giorgi type iteration techniques developed by Li and Xin (arXiv:2111.14057) for the 3D full compressible Navier-Stokes system. Some new mathematical techniques and useful estimates are developed to deduce the lower and upper bounds on the entropy.


title: Lattice dynamics and Raman spectrum of supertetragonal PbVO3

abstract: Lead vanadate PbVO3 is a polar crystal with a P4mm space group at ambient conditions. It is isostructural with the model soft-mode driven ferroelectric PbTiO3, but differs from it by the so-called 'supertetragonal' elongation of its unit cell. In this paper, we report a combined study of the lattice dynamics of PbVO3 by Raman spectroscopy at room temperature and first-principle calculations. All zone-center transverse optical (TO) phonon modes are identified by polarized, angle-dependent Raman spectroscopy and assigned as follows: E modes at 136, 269, 374 and 508 cm-1, A1 modes at 188, 429 and 874 cm-1 and B1 mode at 319 cm-1. The calculations confirm the experimental symmetry assignment and allow to obtain the longitudinal (LO) phonons wavenumbers. Besides, we analyze the mode eigenvectors in detail, in order to identify the atomic displacements associated with each mode and compare them with PbTiO3. In spite of their differences in chemistry and strain, the phonon eigenvectors are found to be remarkably comparable in both compounds. We discuss the position of the ferroelectric soft mode in PbVO3 as compared to PbTiO3. A sizeable splitting of the B1+E modes appears as a characteristic feature of supertetragonal phases. The peculiarity of the vanadyl V-O bond frequency in PbVO3 is also addressed.


title: Triggered Population III star formation: the effect of H$_2$ self-shielding

abstract: The multiplicity of metal-free (Population III) stars may influence their feedback efficiency within their host dark matter halos, affecting subsequent metal enrichment and the transition to galaxy formation. Radiative feedback from massive stars can trigger nearby star formation in dense self-shielded clouds. In model radiation self-shielding, the H$_2$ column density must be accurately computed. In this study, we compare two local approximations based on the density gradient and Jeans length with a direct integration of column density along rays. After the primary massive star forms, we find that no secondary stars form for both the direct integration and density gradient approaches. The approximate method reduces the computation time by a factor of 2. The Jeans length approximation overestimates the H$_2$ column density by a factor of 10, leading to five numerically enhanced self-shielded, star-forming clumps. We conclude that the density gradient approximation is sufficiently accurate for larger volume galaxy simulations, although one must still caution that the approximation cannot fully reproduce the result of direct integration.


title: Natural mass hierarchy among three heavy Majorana neutrinos for resonant leptogenesis under modular $A_4$ symmetry

abstract: It is clear that matter is dominant in the Universe compared to antimatter. We call this problem baryon asymmetry. The baryon asymmetry is experimentally determined by both cosmic microwave background and big bang nucleosynthesis measurements. To resolve the baryon number asymmetry of the Universe as well as neutrino oscillations, we study a radiative seesaw model in a modular $A_4$ symmetry. Degenerate heavy Majorana neutrino masses can be naturally realized in an appropriate assignments under modular $A_4$ with large imaginary part of modulus $\tau$, and it can induce measured baryon number via resonant leptogenesis that is valid in around TeV scale energy theory. We also find that the dominant contribution to the CP asymmetry arises from Re[$\tau$] through our numerical analysis satisfying the neutrino oscillation data.


title: Chemical Case Studies in KeYmaera X

abstract: Safety-critical chemical processes are the backbone of multi-billion-dollar industries, thus society deserves the strongest possible guarantees that they are safe. To that end, models of chemical processes are well-studied in the formal methods literature, including hybrid systems models which combine discrete and continuous dynamics. This paper is the first to use the KeYmaera X theorem-prover to verify chemical models with differential dynamic logic. Our case studies are novel in combining the following: we provide strong general-case correctness theorems, use particularly rich hybrid dynamics, and have particularly rigorous proofs. This novel combination is made possible by KeYmaera X. Simultaneously, we tell a general story about KeYmaera X: recent advances in automated reasoning about safety and liveness for differential equations have enabled elegant proofs about reaction dynamics.


title: Nonequilibrium dynamics of the localization-delocalization transition in the non-Hermitian Aubry-Andr\'{e} model

abstract: In this paper, we investigate the driven dynamics of the localization transition in the non-Hermitian Aubry-Andr\'{e} model with the periodic boundary condition. Depending on the strength of the quasi-periodic potential $\lambda$, this model undergoes a localization-delocalization phase transition. We find that the localization length $\xi$ satisfies $\xi\sim \varepsilon^{-\nu}$ with $\varepsilon$ being the distance from the critical point and $\nu=1$ being a universal critical exponent independent of the non-Hermitian parameter. In addition, from the finite-size scaling of the energy gap between the ground state and the first excited state, we determine the dynamic exponent $z$ as $z=2$. The critical exponent of the inverse participation ratio (IPR) for the $n$th eigenstate is also determined as $s=0.1197$. By changing $\varepsilon$ linearly to cross the critical point, we find that the driven dynamics can be described by the Kibble-Zurek scaling (KZS). Moreover, we show that the KZS with the same set of the exponents can be generalized to the localization phase transitions in the excited states.


title: NOMA-aided Joint Communication, Sensing, and Multi-tier Computing Systems

abstract: A non-orthogonal multiple access (NOMA)-aided joint communication, sensing, and multi-tier computing (JCSMC) framework is proposed. In this framework, a multi-functional base station (BS) carries out target sensing, while providing edge computing services to the nearby users. To enhance the computation efficiency, the multi-tier computing structure is exploited, where the BS can further offload the computation tasks to a powerful Cloud server (CS). The potential benefits of employing NOMA in the proposed JCSMC framework are investigated, which can maximize the computation offloading capacity and suppress the inter-function interference. Based on the proposed framework, the transmit beamformer of the BS and computation resource allocation at the BS and the CS are jointly optimized to maximize the computation rate subject to the communication-computation causality and the sensing quality constraints. Both partial and binary computation offloading modes are considered: 1) For the partial offloading mode, a weighted minimum mean square error based alternating optimization algorithm is proposed to solve the corresponding non-convex optimization problem. It is proved that a KKT optimal solution can be obtained; 2) For the binary offloading mode, the resultant highly-coupled mixed-integer optimization problem is first transformed to an equivalent but more tractable form. Then, the reformulated problem is solved by utilizing the alternating direction method of multipliers approach to obtain a nearly optimal solution. Finally, numerical results verify the effectiveness of the proposed algorithms and the proposed NOMA-aided JCSMC framework


title: Dynamics of $\mathscr{B}$-free systems generated by Behrend sets. I

abstract: We study the complexity of $\mathscr{B}$-free subshifts which are proximal and of zero entropy. Such subshifts are generated by Behrend sets. The complexity is shown to achieve any subexponential growth and is estimated for some classical subshifts (prime and semiprime subshifts). We also show that $\mathscr{B}$-admissible subshifts are transitive only for coprime sets $\mathscr{B}$ which allows one to characterize dynamically the subshifts generated by the Erd\"os sets.


title: Tackling Math Word Problems with Fine-to-Coarse Abstracting and Reasoning

abstract: Math Word Problems (MWP) is an important task that requires the ability of understanding and reasoning over mathematical text. Existing approaches mostly formalize it as a generation task by adopting Seq2Seq or Seq2Tree models to encode an input math problem in natural language as a global representation and generate the output mathematical expression. Such approaches only learn shallow heuristics and fail to capture fine-grained variations in inputs. In this paper, we propose to model a math word problem in a fine-to-coarse manner to capture both the local fine-grained information and the global logical structure of it. Instead of generating a complete equation sequence or expression tree from the global features, we iteratively combine low-level operands to predict a higher-level operator, abstracting the problem and reasoning about the solving operators from bottom to up. Our model is naturally more sensitive to local variations and can better generalize to unseen problem types. Extensive evaluations on Math23k and SVAMP datasets demonstrate the accuracy and robustness of our method.


title: Calculating LRs for presence of body fluids from mRNA assay data in mixtures

abstract: Messenger RNA (mRNA) profiling can identify body fluids present in a stain, yielding information on what activities could have taken place at a crime scene. To account for uncertainty in such identifications, recent work has focused on devising statistical models to allow for probabilistic statements on the presence of body fluids. A major hurdle for practical adoption is that evidentiary stains are likely to contain more than one body fluid and current models are ill-suited to analyse such mixtures. Here, we construct a likelihood ratio (LR) system that can handle mixtures, considering the hypotheses H1: the sample contains at least one of the body fluids of interest (and possibly other body fluids); H2: the sample contains none of the body fluids of interest (but possibly other body fluids). Thus, the LR-system outputs an LR-value for any combination of mRNA profile and set of body fluids of interest that are given as input. The calculation is based on an augmented dataset obtained by in silico mixing of real single body fluid mRNA profiles. These digital mixtures are used to construct a probabilistic classification method (a 'multi-label classifier'). The probabilities produced are subsequently used to calculate an LR, via calibration. We test a range of different classification methods from the field of machine learning, ways to preprocess the data and multi-label strategies for their performance on in silico mixed test data. Furthermore, we study their robustness to different assumptions on background levels of the body fluids. We find logistic regression works as well as more flexible classifiers, but shows higher robustness and better explainability. We test the system's performance on lab-generated mixture samples, and discuss practical usage in case work.


title: Generalized Realizability and Intuitionistic Logic

abstract: Let V be a set of number-theoretical functions. We define a notion of V -realizability for predicate formulas in such a way that the indices of functions in V are used for interpreting the implication and the universal quantifier. In this paper we prove that Intuitionistic Predicate Calculus is sound with respect to the semantics of V -realizability if and only if some natural conditions for V hold.


title: A Note on Generalized Narayana Numbers

abstract: We give a simple proof that the the number of Dyck paths of semilength $n$ with $i$ returns to ground level and $j$ peaks is the generalized Narayana number $\frac{i}{n} \binom{n}{j} \binom{n - i - 1}{j - i}$.


title: Multiscale reconstruction of porous media based on multiple dictionaries learning

abstract: Digital modeling of the microstructure is important for studying the physical and transport properties of porous media. Multiscale modeling for porous media can accurately characterize macro-pores and micro-pores in a large-FoV (field of view) high-resolution three-dimensional pore structure model. This paper proposes a multiscale reconstruction algorithm based on multiple dictionaries learning, in which edge patterns and micro-pore patterns from homology high-resolution pore structure are introduced into low-resolution pore structure to build a fine multiscale pore structure model. The qualitative and quantitative comparisons of the experimental results show that the results of multiscale reconstruction are similar to the real high-resolution pore structure in terms of complex pore geometry and pore surface morphology. The geometric, topological and permeability properties of multiscale reconstruction results are almost identical to those of the real high-resolution pore structures. The experiments also demonstrate the proposal algorithm is capable of multiscale reconstruction without regard to the size of the input. This work provides an effective method for fine multiscale modeling of porous media.


title: Revisiting The Mass-Size Relation Of Structures In Molecular Clouds

abstract: We revisit the mass-size relation of molecular cloud structures based on the column density map of the Cygnus-X molecular cloud complex. We extract 135 column density peaks in Cygnus-X and analyze the column density distributions around these peaks. The averaged column density profiles, $N(R)$, around all the peaks can be well fitted with broken power-laws, which are described by an inner power-law index $n$, outer power-law index $m$, and the radius $R_{\rm TP}$ and column density $N_{\rm TP}$ at the transition point. We then explore the $M-R$ relation with different samples of cloud structures by varying the $N(R)$ parameters and the column density threshold, $N_0$, which determines the boundary of a cloud structure. We find that only when $N_0$ has a wide range of values, the $M - R$ relation may largely probe the density distribution, and the fitted power-law index of the $M-R$ relation is related to the power-law index of $N(R)$. On the contrary, with a constant $N_0$, the $M - R$ relation has no direct connection with the density distribution; in this case, the fitted power-law index of the $M - R$ relation is equal to 2 (when $N_0\ge N_{\rm TP}$ and $n$ has a narrow range of values), larger than 2 (when $N_0\ge N_{\rm TP}$ and $n$ has a wide range of values), or slightly less than 2 (when $N_0< N_{\rm TP}$).


title: On a Relation between Schreier-type Sets and a Modification of Tur\'{a}n Graphs

abstract: Recently, a relation between Schreier-type sets and Tur\'{a}n graphs was discovered. In this note, we give a combinatorial proof and obtain a generalization of the relation. Specifically, for $p, q\ge 1$, let $$\mathcal{A}_q := \{F\subset\mathbb{N}: |F| = 1 \mbox{ or }F\mbox{ is an arithmetic progression with difference } q\}$$ and $$Sr(n, p, q)\ :=\ \#\{F\subset \{1, \ldots, n\}\,:\, p\min F\ge |F|\mbox{ and }F\in \mathcal{A}_q\}.$$ We show that $$Sr(n, p, q) \ =\ T(n+1, pq+1, q),$$ where $T(\cdot, \cdot, \cdot)$ is the number of edges of an $n$-vertex graph that is a modification of Tur\'{a}n graphs. We also prove that $Sr(n,p,q)$ is the partial sum of certain sequences.


title: Possible triply heavy tetraquark states

abstract: In the present work, the triply heavy tetraquarks states $QQ\bar{Q}\bar{q}$ with $Q=(c, b)$ and $q=(u, d, s)$ with all possible quantum numbers are systematically investigated in the framework of the chiral quark model with the resonance ground method. Two kinds of structures, including the meson-meson configuration (the color-singlet channels and the hidden-color channels) and the diquark-antidiquark configuration (the color sextet-antisextet and the color triplet-antitriplet), are considered. In the considered system, several bound states are obtained for the $cc\bar{c}\bar{q^{'}}$, $bb\bar{c}\bar{q^{'}}$ and $bc\bar{c}\bar{q}$ tetraquarks. From the present estimations, we find that the coupled channel effect is of great significance for forming the below thresholds tetraquark states, which are stable for strong decays.


title: Stability of Classical Chromodynamic Fields -- Addendum

abstract: A system of chromodynamic fields, which can be treated as classical, is generated at the earliest stage of relativistic heavy-ion collisions. Numerical simulations show that the system is unstable but the nature of the instability is not well understood. We study the problem systematically. In the first paper, we have performed a linear stability analysis of space-time uniform chromoelectric and chromomagnetic fields. There they have been considered the Abelian configurations of single-color potentials linearly depending on coordinates and nonAbelian ones where the fields are generated by the multi-color non-commuting uniform potentials. Here we extend and supplement the analysis. We discuss the parallel chromoelectric and chromomagnetic fields which occur simultaneously. We also consider a general nonAbelian configurations of the uniform fields. Finally, we discuss the gauge dependence of our results.


title: Towards the optimization of ballistics in proton therapy using genetic algorithms: implementation issues

abstract: The dose delivered to the planning target volume by proton beams is highly conformal, sparing organs at risk and normal tissues. New treatment planning systems adapted to spot scanning techniques have been recently proposed to simultaneously optimize several fields and thus improve dose delivery. In this paper, we investigate a new optimization framework based on a genetic algorithm approach. This tool is intended to make it possible to explore new schemes of treatment delivery, possibly with future enhanced technologies. The optimization framework is designed to be versatile and to account for many degrees of freedom, without any {\it a priori} technological constraint. To test the behavior of our algorithm, we propose in this paper, as an example, to optimize beam fluences, target points and irradiation directions at the same time. The proposed optimization routine takes typically into account several thousands of spots of fixed size. The evolution is carried out by the three standard genetic operators: mutation, crossover and selection. The figure-of-merit (or fitness) is based on an objective function relative to the dose prescription to the tumor and to the limits set for organs at risk and normal tissues. Fluence optimization is carried out via a specific scheme based on a plain gradient with analytical solution. Several specific genetic algorithm issues are addressed: (i) the mutation rate is tuned to balance the search and selection forces, (ii) the initial population is selected using a bootstrap technique and (iii) to scale down the computation time, dose calculations are carried out with a fast analytical ray tracing method and are multi-threaded. In this paper implementation issues of the optimization framework are thoroughly described. The behavior of the proposed genetic algorithm is illustrated in both elementary and clinically-realistic test cases.


title: Using physics-informed neural networks to compute quasinormal modes

abstract: In recent years there has been an increased interest in neural networks, particularly with regard to their ability to approximate partial differential equations. In this regard, research has begun on so-called physics-informed neural networks (PINNs) which incorporate into their loss function the boundary conditions of the functions they are attempting to approximate. In this paper, we investigate the viability of obtaining the quasi-normal modes (QNMs) of non-rotating black holes in 4-dimensional space-time using PINNs, and we find that it is achievable using a standard approach that is capable of solving eigenvalue problems (dubbed the eigenvalue solver here). In comparison to the QNMs obtained via more established methods (namely, the continued fraction method and the 6th-order Wentzel, Kramer, Brillouin method) the PINN computations share the same degree of accuracy as these counterparts. In other words, our PINN approximations had percentage deviations as low as $(\delta\omega_{_{Re}}, \delta\omega_{_{Im}}) = (<0.01\%, <0.01\%)$. In terms of the time taken to compute QNMs to this accuracy, however, the PINN approach falls short, leading to our conclusion that the method is currently not to be recommended when considering overall performance.


title: KGNN: Distributed Framework for Graph Neural Knowledge Representation

abstract: Knowledge representation learning has been commonly adopted to incorporate knowledge graph (KG) into various online services. Although existing knowledge representation learning methods have achieved considerable performance improvement, they ignore high-order structure and abundant attribute information, resulting unsatisfactory performance on semantics-rich KGs. Moreover, they fail to make prediction in an inductive manner and cannot scale to large industrial graphs. To address these issues, we develop a novel framework called KGNN to take full advantage of knowledge data for representation learning in the distributed learning system. KGNN is equipped with GNN based encoder and knowledge aware decoder, which aim to jointly explore high-order structure and attribute information together in a fine-grained fashion and preserve the relation patterns in KGs, respectively. Extensive experiments on three datasets for link prediction and triplet classification task demonstrate the effectiveness and scalability of KGNN framework.


title: On partially observed jump diffusions I. The filtering equations

abstract: This paper is the first part of a series of papers on filtering for partially observed jump diffusions satisfying a stochastic differential equation driven by Wiener processes and Poisson martingale measures. The coefficients of the equation only satisfy appropriate growth conditions. Some results in filtering theory of diffusion processes are extended to jump diffusions and equations for the time evolution of the conditional distribution and the unnormalised conditional distribution of the unobserved process at time $t$, given the observations until $t$, are presented.


title: Bankrupting DoS Attackers

abstract: To defend against denial-of-service (DoS) attacks, we employ a technique called resource burning (RB). RB is the verifiable expenditure of a resource, such as computational power, required from clients before receiving service from the server. To the best of our knowledge, we present the first DoS defense algorithms where the algorithmic cost -- the cost to both the server and the honest clients -- is bounded as a function of the attacker's cost. We model an omniscient, Byzantine attacker, and a server with access to an estimator that estimates the number of jobs from honest clients in any time interval. We examine two communication models: an idealized zero-latency model and a partially synchronous model. Notably, our algorithms for both models have asymptotically lower costs than the attacker's, as the attacker's costs grow large. Both algorithms use a simple rule to set required RB fees per job. We assume no prior knowledge of the number of jobs, the adversary's costs, or even the estimator's accuracy. However, these quantities parameterize the algorithms' costs. We also prove a lower bound on the cost of any randomized algorithm. This lower bound shows that our algorithms achieve asymptotically tight costs as the number of jobs grows unbounded, whenever the estimator output is accurate to within a constant factor.


title: Measuring Alignment Bias in Neural Seq2Seq Semantic Parsers

abstract: Prior to deep learning the semantic parsing community has been interested in understanding and modeling the range of possible word alignments between natural language sentences and their corresponding meaning representations. Sequence-to-sequence models changed the research landscape suggesting that we no longer need to worry about alignments since they can be learned automatically by means of an attention mechanism. More recently, researchers have started to question such premise. In this work we investigate whether seq2seq models can handle both simple and complex alignments. To answer this question we augment the popular Geo semantic parsing dataset with alignment annotations and create Geo-Aligned. We then study the performance of standard seq2seq models on the examples that can be aligned monotonically versus examples that require more complex alignments. Our empirical study shows that performance is significantly better over monotonic alignments.


title: Experiments on Generalizability of User-Oriented Fairness in Recommender Systems

abstract: Recent work in recommender systems mainly focuses on fairness in recommendations as an important aspect of measuring recommendations quality. A fairness-aware recommender system aims to treat different user groups similarly. Relevant work on user-oriented fairness highlights the discriminative behavior of fairness-unaware recommendation algorithms towards a certain user group, defined based on users' activity level. Typical solutions include proposing a user-centered fairness re-ranking framework applied on top of a base ranking model to mitigate its unfair behavior towards a certain user group i.e., disadvantaged group. In this paper, we re-produce a user-oriented fairness study and provide extensive experiments to analyze the dependency of their proposed method on various fairness and recommendation aspects, including the recommendation domain, nature of the base ranking model, and user grouping method. Moreover, we evaluate the final recommendations provided by the re-ranking framework from both user- (e.g., NDCG, user-fairness) and item-side (e.g., novelty, item-fairness) metrics. We discover interesting trends and trade-offs between the model's performance in terms of different evaluation metrics. For instance, we see that the definition of the advantaged/disadvantaged user groups plays a crucial role in the effectiveness of the fairness algorithm and how it improves the performance of specific base ranking models. Finally, we highlight some important open challenges and future directions in this field. We release the data, evaluation pipeline, and the trained models publicly on https://github.com/rahmanidashti/FairRecSys.


title: Literature Review to Collect Conceptual Variables of Scenario Methods for Establishing a Conceptual Scenario Framework

abstract: Over recent decades, scenarios and scenario-based software/system engineering have been actively employed as essential tools to handle intricate problems, validate requirements, and support stakeholders' communication. However, despite the widespread use of scenarios, there have been several challenges for engineers to more willingly utilize scenario-based engineering approaches (i.e., scenario methods) in their projects. First, the term scenario has numerous published definitions, thus lacking in a well-established shared understanding of scenarios and scenario methods. Second, the conceptual basis for engineers developing or employing scenarios is missing. To establish shared understanding and to find common denominators of scenario methods, this study leverages well-defined metamodeling and conceptualization that systematically investigate the concepts under analysis and define core entities and their relations. By conducting a semi-systematic literature review, conceptual variables are collected and conceptualized as a conceptual meta-model. As a result, this study introduces scenario variables (SVs) that represent constructs/semantics of scenario descriptions, according to 4 levels of constructs of a scenario method. To evaluate the comprehensibility and applicability of the defined variables, we analyze five existing scenario methods and their instances in automated driving system (ADS) domains. The results showed that our conceptual model and its constituent scenario variables adequately support the understanding of a scenario method and provide a means for comparative analysis between different scenario methods.


title: A tight linear bound to the chromatic number of $(P_5, K_1+(K_1\cup K_3))$-free graphs

abstract: Let $F_1$ and $F_2$ be two disjoint graphs. The union $F_1\cup F_2$ is a graph with vertex set $V(F_1)\cup V(F_2)$ and edge set $E(F_1)\cup E(F_2)$, and the join $F_1+F_2$ is a graph with vertex set $V(F_1)\cup V(F_2)$ and edge set $E(F_1)\cup E(F_2)\cup \{xy\;|\; x\in V(F_1)\mbox{ and } y\in V(F_2)\}$. In this paper, we present a characterization to $(P_5, K_1\cup K_3)$-free graphs, prove that $\chi(G)\le 2\omega(G)-1$ if $G$ is $(P_5, K_1\cup K_3)$-free. Based on this result, we further prove that $\chi(G)\le $max$\{2\omega(G),15\}$ if $G$ is a $(P_5,K_1+( K_1\cup K_3))$-free graph, and construct an infinite family of $(P_5, K_1+( K_1\cup K_3))$-free graphs such that every graph $G$ in the family satisfies $\chi(G)=2\omega(G)$.


title: Providing Location Information at Edge Networks: A Federated Learning-Based Approach

abstract: Recently, the development of mobile edge computing has enabled exhilarating edge artificial intelligence (AI) with fast response and low communication cost. The location information of edge devices is essential to support the edge AI in many scenarios, like smart home, intelligent transportation systems and integrated health care. Taking advantages of deep learning intelligence, the centralized machine learning (ML)-based positioning technique has received heated attention from both academia and industry. However, some potential issues, such as location information leakage and huge data traffic, limit its application. Fortunately, a newly emerging privacy-preserving distributed ML mechanism, named federated learning (FL), is expected to alleviate these concerns. In this article, we illustrate a framework of FL-based localization system as well as the involved entities at edge networks. Moreover, the advantages of such system are elaborated. On practical implementation of it, we investigate the field-specific issues associated with system-level solutions, which are further demonstrated over a real-word database. Moreover, future challenging open problems in this field are outlined.


title: Moments, Concentration, and Entropy of Log-Concave Distributions

abstract: We utilize and extend a simple and classical mechanism, combining log-concavity and majorization in the convex order to derive moments, concentration, and entropy inequalities for certain classes of log-concave distributions.


title: A Stringy Model of Pointlike Particles

abstract: A previous supersymmetric preon scenario for visible matter particles is extended to the dark sector. In addition, the scenario is reformulated as a Double Field Theory (DFT) with four extra dimensions, to avoid a singular Big Bang in cosmology. T-duality and doubled local Lorentz symmetry of the model are genuine stringy properties. It is proposed that DFT preons may be an approximate pointlike projection of string theory.


title: Semi-Parametric Contextual Bandits with Graph-Laplacian Regularization

abstract: Non-stationarity is ubiquitous in human behavior and addressing it in the contextual bandits is challenging. Several works have addressed the problem by investigating semi-parametric contextual bandits and warned that ignoring non-stationarity could harm performances. Another prevalent human behavior is social interaction which has become available in a form of a social network or graph structure. As a result, graph-based contextual bandits have received much attention. In this paper, we propose "SemiGraphTS," a novel contextual Thompson-sampling algorithm for a graph-based semi-parametric reward model. Our algorithm is the first to be proposed in this setting. We derive an upper bound of the cumulative regret that can be expressed as a multiple of a factor depending on the graph structure and the order for the semi-parametric model without a graph. We evaluate the proposed and existing algorithms via simulation and real data example.


title: New pulse profile variability associated with a glitch of PSR J0738-4042

abstract: The close correlation observed between emission state and spin-down rate change of pulsars has many implications both for the magnetospheric physics and the neutron star interior. The middle-aged pulsar PSR J0738$-$4042, which had been observed to display variations in the pulse profile associated with its spin-down rate change due to external effects, is a remarkable example. In this study, based on the 12.5-yr combined public timing data from UTMOST and Parkes, we have detected a new emission-rotation correlation in PSR J0738$-$4042 concurrent with a glitch. A glitch that occurred at MJD 57359(5) (December 3, 2015) with $\Delta\nu/\nu \sim 0.36(4)\times 10^{-9}$ is the first glitch event observed in this pulsar and is probably the underlying cause of the emission-rotation correlation. Unlike the usual post-glitch behaviours, the braking torque on the pulsar has continued to increase over 1380 d, corresponding to a significant decrease in $\ddot{\nu}$. As for changes in the pulse profile after the glitch, the relative amplitude of the leading component weakens drastically, while the middle component becomes stronger. A combined model of crustquake induced platelet movement and vortex creep response is invoked to account for this rare correlation. In this scenario, magnetospheric state-change is naturally linked to the pulsar-intrinsic processes that give rise to a glitch.


title: SCL(EQ): SCL for First-Order Logic with Equality

abstract: We propose a new calculus SCL(EQ) for first-order logic with equality that only learns non-redundant clauses. Following the idea of CDCL (Conflict Driven Clause Learning) and SCL (Clause Learning from Simple Models) a ground literal model assumption is used to guide inferences that are then guaranteed to be non-redundant. Redundancy is defined with respect to a dynamically changing ordering derived from the ground literal model assumption. We prove SCL(EQ) sound and complete and provide examples where our calculus improves on superposition.


title: Cubic magneto-optic Kerr effect in Ni(111) thin films with and without twinning

abstract: In most studies utilizing the magneto-optic Kerr effect (MOKE), the detected change of polarized light upon reflection from a magnetized sample is supposed to be proportional to the magnetization $\boldsymbol{M}$. However, MOKE signatures quadratic in $\boldsymbol{M}$ have also been identified and utilized, e.g., to sense the structural order in Heusler compounds, to detect spin-orbit torques or to image antiferromagnetic domains. In our study, we observe a strong anisotropic MOKE contribution of third order in $\boldsymbol{M}$ in Ni(111) thin films, attributed to a cubic magneto-optic tensor $\propto $ $\boldsymbol{M}^3$. We further show that the angular dependence of cubic MOKE (CMOKE) is affected by the amount of structural domain twinning in the sample. Our detailed study on CMOKE for two selected photon energies will open up new opportunities for CMOKE applications with sensitivity to twinning properties of thin films, e.g. CMOKE spectroscopy and microscopy or time-resolved CMOKE.


title: A Rule of Solute Segregation at Grain Boundaries

abstract: The control of solute segregation at grain boundaries (GBs) is essential in engineering alloy properties, however the structure-activity relationship of the key parameter-the segregation energies-still remains elusive. Here we propose the electronic and geometric descriptors of GB segregation based on the valence, electronegativity and size of solutes and the non-local coordination number of free surfaces, with which we build a predictive framework to determine the segregation energies across different solutes, matrices, GB structures and segregation sites. This framework uncovers not only the coupling rule of solutes and matrices in GB segregation, but also the origin of solute-segregation determinants. The contribution of solutes essentially stems from their d- and s-state coupling in alloying, whereas that of matrix GB interfaces is determined by matrix free surfaces. Our scheme builds a novel picture for the solute segregation at GBs and provides a useful tool for the design of advanced alloys.


title: Sampling-Based Verification of CTMCs with Uncertain Rates

abstract: We employ uncertain parametric CTMCs with parametric transition rates and a prior on the parameter values. The prior encodes uncertainty about the actual transition rates, while the parameters allow dependencies between transition rates. Sampling the parameter values from the prior distribution then yields a standard CTMC, for which we may compute relevant reachability probabilities. We provide a principled solution, based on a technique called scenario-optimization, to the following problem: From a finite set of parameter samples and a user-specified confidence level, compute prediction regions on the reachability probabilities. The prediction regions should (with high probability) contain the reachability probabilities of a CTMC induced by any additional sample. To boost the scalability of the approach, we employ standard abstraction techniques and adapt our methodology to support approximate reachability probabilities. Experiments with various well-known benchmarks show the applicability of the approach.


title: Centroidal Aerodynamic Modeling and Control of Flying Multibody Robots

abstract: This paper presents a modeling and control framework for multibody flying robots subject to non-negligible aerodynamic forces acting on the centroidal dynamics. First, aerodynamic forces are calculated during robot flight in different operating conditions by means of Computational Fluid Dynamics (CFD) analysis. Then, analytical models of the aerodynamics coefficients are generated from the dataset collected with CFD analysis. The obtained simplified aerodynamic model is also used to improve the flying robot control design. We present two control strategies: compensating for the aerodynamic effects via feedback linearization and enforcing the controller robustness with gain-scheduling. Simulation results on the jet-powered humanoid robot iRonCub validate the proposed approach.


title: Gauss-Manin connection in disguise: Open Gromov-Witten invariants

abstract: In mirror symmetry, after the work by J. Walcher, the number of holomorphic disks with boundary on the real quintic lagrangian in a general quintic threefold is related to the periods of the mirror quintic family with boundary on two homologous rational curves. Following the ideias of H.Movasati, we construct a quasi-affine space parametrizing such objects enhanced with a frame for the relative de Rham cohomology with boundary at the curves compatible with the mixed Hodge structure. We also compute a modular vector field attached to such a parametrization.


title: MulT: An End-to-End Multitask Learning Transformer

abstract: We propose an end-to-end Multitask Learning Transformer framework, named MulT, to simultaneously learn multiple high-level vision tasks, including depth estimation, semantic segmentation, reshading, surface normal estimation, 2D keypoint detection, and edge detection. Based on the Swin transformer model, our framework encodes the input image into a shared representation and makes predictions for each vision task using task-specific transformer-based decoder heads. At the heart of our approach is a shared attention mechanism modeling the dependencies across the tasks. We evaluate our model on several multitask benchmarks, showing that our MulT framework outperforms both the state-of-the art multitask convolutional neural network models and all the respective single task transformer models. Our experiments further highlight the benefits of sharing attention across all the tasks, and demonstrate that our MulT model is robust and generalizes well to new domains. Our project website is at https://ivrl.github.io/MulT/.


title: Bayesian Physics-Informed Neural Networks for real-world nonlinear dynamical systems

abstract: Understanding real-world dynamical phenomena remains a challenging task. Across various scientific disciplines, machine learning has advanced as the go-to technology to analyze nonlinear dynamical systems, identify patterns in big data, and make decision around them. Neural networks are now consistently used as universal function approximators for data with underlying mechanisms that are incompletely understood or exceedingly complex. However, neural networks alone ignore the fundamental laws of physics and often fail to make plausible predictions. Here we integrate data, physics, and uncertainties by combining neural networks, physics-informed modeling, and Bayesian inference to improve the predictive potential of traditional neural network models. We embed the physical model of a damped harmonic oscillator into a fully-connected feed-forward neural network to explore a simple and illustrative model system, the outbreak dynamics of COVID-19. Our Physics-Informed Neural Networks can seamlessly integrate data and physics, robustly solve forward and inverse problems, and perform well for both interpolation and extrapolation, even for a small amount of noisy and incomplete data. At only minor additional cost, they can self-adaptively learn the weighting between data and physics. Combined with Bayesian Neural Networks, they can serve as priors in a Bayesian Inference, and provide credible intervals for uncertainty quantification. Our study reveals the inherent advantages and disadvantages of Neural Networks, Bayesian Inference, and a combination of both and provides valuable guidelines for model selection. While we have only demonstrated these approaches for the simple model problem of a seasonal endemic infectious disease, we anticipate that the underlying concepts and trends generalize to more complex disease conditions and, more broadly, to a wide variety of nonlinear dynamical systems.


title: A Study of the Attention Abnormality in Trojaned BERTs

abstract: Trojan attacks raise serious security concerns. In this paper, we investigate the underlying mechanism of Trojaned BERT models. We observe the attention focus drifting behavior of Trojaned models, i.e., when encountering an poisoned input, the trigger token hijacks the attention focus regardless of the context. We provide a thorough qualitative and quantitative analysis of this phenomenon, revealing insights into the Trojan mechanism. Based on the observation, we propose an attention-based Trojan detector to distinguish Trojaned models from clean ones. To the best of our knowledge, this is the first paper to analyze the Trojan mechanism and to develop a Trojan detector based on the transformer's attention.


title: Accurate Machine Learned Quantum-Mechanical Force Fields for Biomolecular Simulations

abstract: Molecular dynamics (MD) simulations allow atomistic insights into chemical and biological processes. Accurate MD simulations require computationally demanding quantum-mechanical calculations, being practically limited to short timescales and few atoms. For larger systems, efficient, but much less reliable empirical force fields are used. Recently, machine learned force fields (MLFFs) emerged as an alternative means to execute MD simulations, offering similar accuracy as ab initio methods at orders-of-magnitude speedup. Until now, MLFFs mainly capture short-range interactions in small molecules or periodic materials, due to the increased complexity of constructing models and obtaining reliable reference data for large molecules, where long-ranged many-body effects become important. This work proposes a general approach to constructing accurate MLFFs for large-scale molecular simulations (GEMS) by training on "bottom-up" and "top-down" molecular fragments of varying size, from which the relevant physicochemical interactions can be learned. GEMS is applied to study the dynamics of alanine-based peptides and the 46-residue protein crambin in aqueous solution, allowing nanosecond-scale MD simulations of >25k atoms at essentially ab initio quality. Our findings suggest that structural motifs in peptides and proteins are more flexible than previously thought, indicating that simulations at ab initio accuracy might be necessary to understand dynamic biomolecular processes such as protein (mis)folding, drug-protein binding, or allosteric regulation.


title: Serving Federated Learning and Non-Federated Learning Users: A Massive MIMO Approach

abstract: Federated learning (FL) with its data privacy protection and communication efficiency has been considered as a promising learning framework for beyond-5G/6G systems. We consider a scenario where a group of downlink non-FL users are jointly served with a group of FL users using massive multiple-input multiple-output technology. The main challenge is how to utilise the resource to optimally serve both FL and non-FL users. We propose a communication scheme that serves the downlink of the non-FL users (UEs) and the uplink of FL UEs in each half of the frequency band. We formulate an optimization problem for optimizing transmit power to maximize the minimum effective data rates for non-FL users, while guaranteeing a quality-of-service time of each FL communication round for FL users. Then, a successive convex approximation-based algorithm is proposed to solve the formulated problem. Numerical results confirm that our proposed scheme significantly outperforms the baseline scheme.


title: The Relationship Between Insulin Resistance Neutrophil to Lymphocyte Ratio

abstract: Aim: There is increasing interest in the role of chronic inflammation on pathogenesis of various disease, and one of its markers, high NLR is associated with various mortality and morbidity risk. Insulin resistance (IR) might be one potential associate factors, as suggested in preclinical studies. However, epidemiological studies are scarce which investigated the association between NLR, and insulin resistance (IR) and they included only diabetes mellitus patients, not the general population. This study aims to determine if there is a direct correlation between NLR and IR in the US general population. Methods: The sample consists of 3,307 from general population, provided by National Health and Nutrition Examination Survey (NHANES). Homeostasis Model Assessment of Insulin Resistance (HOMA-IR) value was calculated to evaluate insulin resistance. We investigated the relationship between their NLR and HOMA-IR values by bivariate and multivariate linear regression analyses. As insulin use could results in inaccurate HOMA-IR estimation, we excluded them and ran the analyses in subgroup analyses. Results: There was a relationship shown when insulin users were included, having a beta coefficient value of 0.010 (95% confidence interval [CI] of 0.003-0.017). However, when insulin users were excluded, the beta value decreased to 0.004 (95% CI of -0.006-0.015). The statistical significance was not reached when age, sex, and body mass index were adjusted for in the multivariate analyses. Conclusion: There is no visible relationship between IR and NLR in the general population. IR might not explain the variation of NLR value in healthy people, and further studies are needed to reveal the associated factor of high NLR.


title: Representations and Implications of Papers Written by E.T. Whittaker in 1903 and 1904

abstract: In 1903 and 1904, E.T. Whittaker produced a pair of papers that, although sometimes considered mere mathematical statements (Barrett 1993), held important implications if viewed as physical realities. His 1903 paper united electrostatic and gravitational attraction as both resulting from longitudinal waves in the medium. His 1904 paper specifically dealt with electromagnetic waves as resulting from the interference of two such longitudinal waves as scalar potential functions. These papers, if representative of physical reality, may have important implications: gravitational lensing, gravitational waves, the Aharonov-Bohm effect, the existence of a hyperspace above or behind normal space, and the elimination of gravitational and point charge singularities.


title: Border mapping multi-resolution (BMMR) technique for incompressible projection-based particle methods

abstract: A novel multi-resolution technique called border mapping multi-resolution (BMMR) is proposed for projection-based particle methods. The BMMR aims to obtain background equivalent particle distributions in the two sides of a border between sub-domains with a 2:1 resolution ratio so that a single resolution framework is adopted to near-border particles calculations. The novelty of the BMMR is that it obtains the background grid from the mapping of the actual particle distribution in the border and, as a result, the location of the particles in the background grid exactly matches the location of the actual particles. In this way, such technique aims to reduce the error from the interpolation of the physical quantities in the background grid and to avoid sudden changes in the particle distribution that may lead to unstable local pressure calculation. In the coarse side of the border, the refinement is made by a triangulation and by placing fictitious particles in the midpoints of the triangles. In the fine side of the border, the derefinement is made by defining a set of fine particles that result in a particle distribution that best resembles a coarse one. The accuracy and computational performance of the BMMR implemented in a moving particle semi-implicit (MPS) simulation system are verified by using benchmark test cases of 2D free surface flows.


title: Diffraction Patterns of Apertures Shaped as National Borders

abstract: How aesthetically pleasing is your country's diffraction pattern? This work summarizes the calculated and experimental Fraunhofer diffraction patterns obtained from using apertures lithographically formed into shapes of national borders. Calculations are made based on the fast Fourier transform of the aperture images. The entropy of each of the 113 nations' diffraction patterns was also computed based on its two-dimensional gradient. Results suggest that most nations' diffraction patterns fall under one of two prominent trends forming as a function of geographical area, with one trend being less entropic than the other.


title: Higgsing $qq$-character and irreducibility

abstract: We show that the $qq$-character of the irreducible highest weight module for finite-type and affine quivers is obtained by Higgsing, specialization of the equivariant parameters of the associated framing space in the quiver variety.


title: Quaternionic scalar field in the real Hilbert space

abstract: Using the complex Klein-Gordon field as a model, we quantize the quaternionic scalar field in the real Hilbert space. The lagrangian formulation has accordingly been obtained, as well as the hamiltonian formulation, and the energy and charge operators. Conversely to the complex case, the quaternionic quantization admits two quantization schemes, concerning either two or four components. Therefore, the quaternionic field permits a richer structure of states, if compared to the complex scalar field case. Moreover, the quaternionic theory admits as a further novel feature a non-associative algebraic structure in their complex components, something not observed in the complex case.


title: Self-Sovereign Identity as a Service: Architecture in Practice

abstract: Self-sovereign identity (SSI) has gained a large amount of interest. It enables physical entities to retain ownership and control of their digital identities, which naturally forms a conceptual decentralized architecture. With the support of the distributed ledger technology (DLT), it is possible to implement this conceptual decentralized architecture in practice and further bring technical advantages such as privacy protection, security enhancement, high availability. However, developing such a relatively new identity model has high costs and risks with uncertainty. To facilitate the use of the DLT-based SSI in practice, we formulate Self-Sovereign Identity as a Service (SSIaaS), a concept that enables a system, especially a system cluster, to readily adopt SSI as its identity model for identification, authentication, and authorization. We propose a practical architecture by elaborating the service concept, SSI, and DLT to implement SSIaaS platforms and SSI services. Besides, we present an architecture for constructing and customizing SSI services with a set of architectural patterns and provide corresponding evaluations. Furthermore, we demonstrate the feasibility of our proposed architecture in practice with Selfid, an SSIaaS platform based on our proposed architecture.


title: Quantum Coherent Route to Bath Induced Entanglement

abstract: The micromaser is an archetype experimental setting where a beam of excited two-level atoms is injected into a high-finesse cavity. It has played a pivotal role as a testbed for predictions of quantum optics. We consider a generalized micromaser setting consisting of high-quality cavity pumped by a beam of three-level atoms. The atoms are assumed to be prepared to carry quantum coherence between their excited state doublet. Our objective is to produce quantum entanglement between the right-handed circular (RHC) and left-handed circular (LHC) polarized photons in the cavity, exploiting the quantum coherence in the pump atoms. For that aim, we derive the generalized micromaser master equation for our system. We find that the dynamics of the micromaser field driven by the pump beam is equivalent to two non-interacting RHC and LHC photonis systems sharing a common non-equilibrium environment. The effect of the shared bath is to mediate an incoherent interaction between the otherwise non-interacting cavity photons, which emerges only if the atoms carry quantum coherence. We take into account cavity losses as a source of quantum decoherence and characterize the quantum entanglement between the LHC and RHC polarized photons in terms of logarithmic negativity, calculated using the dynamical solution of the master equation. Our reseults reveal that while there is no steady-state entanglement, LHC and RHC polarzied photons can be entangled in the transient regime.


title: Self-Supervised Learning of Multi-Object Keypoints for Robotic Manipulation

abstract: In recent years, policy learning methods using either reinforcement or imitation have made significant progress. However, both techniques still suffer from being computationally expensive and requiring large amounts of training data. This problem is especially prevalent in real-world robotic manipulation tasks, where access to ground truth scene features is not available and policies are instead learned from raw camera observations. In this paper, we demonstrate the efficacy of learning image keypoints via the Dense Correspondence pretext task for downstream policy learning. Extending prior work to challenging multi-object scenes, we show that our model can be trained to deal with important problems in representation learning, primarily scale-invariance and occlusion. We evaluate our approach on diverse robot manipulation tasks, compare it to other visual representation learning approaches, and demonstrate its flexibility and effectiveness for sample-efficient policy learning.


title: Quantum dialogue based on quantum encryption with single photons in both polarization and spatial-mode degrees of freedom

abstract: In this paper, a novel information leakage resistant quantum dialogue (QD) protocol with single photons in both polarization and spatial-mode degrees of freedom is proposed, which utilizes quantum encryption technology to overcome the information leakage problem. In the proposed QD protocol, during the transmission process, the single photons in both polarization and spatial-mode degrees of freedom used for encoding two communicants' private classical bits are protected by both quantum encryption technology and decoy photon technology. For avoiding the information leakage problem, the initial states of the single photons in both polarization and spatial-mode degrees of freedom used for encoding two communicants' private classical bits are shared between two communicants through quantum key encryption and decryption. The information-theoretical efficiency of the proposed QD protocol is as high as 40%.


title: Two-party secure semiquantum summation against the collective-dephasing noise

abstract: In this paper, we propose a two-party semiquantum summation protocol, where two classical users can accomplish the summation of their private binary sequences with the assistance of a quantum semi-honest third party (TP). The term 'semi-honest' implies that TP cannot conspire with others but is able to implement all kinds oof attacks. This protocol employs logical qubits as traveling particles to overcome the negative influence of collective-dephasing noise and needn't make any two parties pre-share a random secret key. The security analysis turns out that this protocol can effectively prevent the outside attacks from Eve and the participant attacks from TP. Moreover, TP has no knowledge about the summation results.


title: Three-party secure semiquantum summation without entanglement among quantum user and classical users

abstract: In this paper, a three-party secure semiquantum summation protocol, which can calculate the modulo 2 addition of the private bits from one quantum participant and two classical participants, is constructed by only using single qubits as the initial quantum resource. This protocol needs none of quantum entanglement swapping, the unitary operation or a pre-shared private key. This protocol only requires the quantum participant to perform the Z basis measurements, the X basis measurements and the Bell basis measurements. Compared with the existing only semiquantum summation protocol (Int J Theor Phys, 60 (2021) 3478), this protocol has better performance in quantum measurements for quantum participant; moreover, it may also have higher qubit efficiency.


title: Resolving information loss paradox with Euclidean path integral

abstract: The information loss paradox remains unresolved ever since Hawking's seminal discovery of black hole evaporation. In this essay, we revisit the entanglement entropy via Euclidean path integral (EPI) and allow for the branching of semi-classical histories during the Lorentzian evolution. We posit that there exist two histories that contribute to EPI, where one is information-losing that dominates at early times, while the other is information-preserving that dominates at late times. By so doing we recover the Page curve and preserve the unitarity, albeit with the Page time shifted significantly towards the late time. One implication is that the entropy bound may thus be violated. We compare our approach with string-based islands and replica wormholes concepts.


title: Finite Element Method-enhanced Neural Network for Forward and Inverse Problems

abstract: We introduce a novel hybrid methodology combining classical finite element methods (FEM) with neural networks to create a well-performing and generalizable surrogate model for forward and inverse problems. The residual from finite element methods and custom loss functions from neural networks are merged to form the algorithm. The Finite Element Method-enhanced Neural Network hybrid model (FEM-NN hybrid) is data-efficient and physics conforming. The proposed methodology can be used for surrogate models in real-time simulation, uncertainty quantification, and optimization in the case of forward problems. It can be used for updating the models in the case of inverse problems. The method is demonstrated with examples, and the accuracy of the results and performance is compared against the conventional way of network training and the classical finite element method. An application of the forward-solving algorithm is demonstrated for the uncertainty quantification of wind effects on a high-rise buildings. The inverse algorithm is demonstrated in the speed-dependent bearing coefficient identification of fluid bearings. The hybrid methodology of this kind will serve as a paradigm shift in the simulation methods currently used.


title: How do Spitzer IRAC Fluxes Compare to HST CALSPEC

abstract: An accurate tabulation of stellar brightness in physical units is essential for a multitude of scientific endeavors. The HST/CALSPEC database of flux standards contains many stars with spectral coverage in the 0.115--1 \micron\ range with some extensions to longer wavelengths of 1.7 or 2.5 \micron. Modeled flux distributions to 32 \micron\ for calibration of JWST complement the shorter wavelength HST measurements. Understanding the differences between IRAC observations and CALSPEC models is important for science that uses IR fluxes from multiple instruments, including JWST. The absolute flux of Spitzer IRAC photometry at 3.6--8 \micron\ agrees with CALSPEC synthetic photometry to 1\% for the three prime HST standards G191B2B, GD153, and GD71. For a set of 17--22 A-star standards, the average IRAC difference rises from agreement at 3.6 \micron\ to 3.4 $\pm$0.1\% brighter than CALSPEC at 8 \micron. For a smaller set of G-stars, the average of the IRAC photometry falls below CALSPEC by as much as 3.7 $\pm$0.3\% for IRAC1, while one G-star, P330E, is consistent with the A-star ensemble of IRAC/CALSPEC ratios.


title: First BGG operators on homogeneous conformal geometries

abstract: We study first BGG operators and their solutions on homogeneous conformal geometries. We focus on conformal Killing tensors, conformal Killing--Yano forms and twistor spinors in particular. We develop an invariant calculus that allows us to find solutions explicitly using only algebraic computations. We also discuss applications to holonomy reductions and conserved quantities of conformal circles. We demonstrate our result on examples of homogeneous conformal geometries coming mostly from general relativity.