title: A novel method and comparison of methods for constructing Markov bridges

abstract: In this study, we address the central issue of statistical inference for Markov jump processes using discrete time observations. The primary problem at hand is to accurately estimate the infinitesimal generator of a Markov jump process, a critical task in various applications. To tackle this problem, we begin by reviewing established methods for generating sample paths from a Markov jump process conditioned to endpoints, known as Markov bridges. Additionally, we introduce a novel algorithm grounded in the concept of time-reversal, which serves as our main contribution. Our proposed method is then employed to estimate the infinitesimal generator of a Markov jump process. To achieve this, we use a combination of Markov Chain Monte Carlo techniques and the Monte Carlo Expectation-Maximization algorithm. The results obtained from our approach demonstrate its effectiveness in providing accurate parameter estimates. To assess the efficacy of our proposed method, we conduct a comprehensive comparative analysis with existing techniques (Bisection, Uniformization, Direct, Rejection, and Modified Rejection), taking into consideration both speed and accuracy. Notably, our method stands out as the fastest among the alternatives while maintaining high levels of precision.


title: A Simple Proof of Posterior Robustness

abstract: Conditions for Bayesian posterior robustness have been examined in recent literature. However, many of the proofs seem to be long and complicated. In this paper, we first summarize some basic lemmas that have been applied implicitly or explicitly. Then, using them, we give a simple proof of posterior robustness. Our sufficient condition is new and practically relevant.


title: Instability in the quantum restart problem

abstract: Repeatedly-monitored quantum walks with a rate $1/\tau$ yield discrete-time trajectories which are inherently random. With these paths the first-hitting time with sharp restart is studied. We find an instability in the optimal mean hitting time, which is not found in the corresponding classical random walk process. This instability implies that a small change in parameters can lead to a rather large change of the optimal restart time. We show that the optimal restart time versus $\tau$, as a control parameter, exhibits sets of staircases and plunges. The plunges, are due to the mentioned instability, which in turn is related to the quantum oscillations of the first-hitting time probability, in the absence of restarts. Furthermore, we prove that there are only two patterns of staircase structures, dependent on the parity of the distance between the target and the source in units of lattice constant. The global minimum of the hitting time, is controlled not only by the restart time, as in classical problems, but also by the sampling time $\tau$. We provide numerical evidence that this global minimum occurs for the $\tau$ minimizing the mean hitting time, given restarts taking place after each measurement. Last but not least, we numerically show that the instability found in this work is relatively robust against stochastic perturbations in the sampling time $\tau$.


title: Deep-learning-aided Low-complexity DOA Estimators for Ultra-Massive MIMO Overlapped Receive Array

abstract: Massive multiple input multiple output(MIMO)-based fully-digital receive antenna arrays bring huge amount of complexity to both traditional direction of arrival(DOA) estimation algorithms and neural network training, which is difficult to satisfy high-precision and low-latency applications in future wireless communications. To address this challenge, two estimators called OPSC and OSAP-CBAM-CNN are proposed in this paper. The computational complexity of the traditional DOA algorithm is first considered to be reduced by dividing the total set of antennas into multiple overlapped subarrays uniformly, each subarray crosses each other proportionally and performs DOA estimation to generate coarse angles, and all angles are coherently combined to get the better estimation, the final DOA estimation can given by maximum likelihood alternating projection(ML-AP) in a very small range, which has a better performance than the direct partitioning of subarrays. To further reduce the complexity of traditional estimation algorithms, deep neural networks(DNN) are utilized to offline train the relationship between the received signal covariance matrix and the estimated angles. Due to the high complexity of the training network based on large-scale arrays, in the OSAP-CBAM-CNN method, the complex network is divided into several smaller networks based on the overlapped subarray to give rough DOA estimations, followed by coherent combining and AP algorithm to get the final DOA estimation. Simulation results show that as the number of antennas goes to large-scale, the proposed methods can achieve a remarkable complexity reduction over conventional ML-AP algorithm.


title: Schwarz lemma on polydiscs endowed with holomorphic invariant K\"ahler-Berwald metrics

abstract: In this paper, we obtain a Schwarz lemma for holomorphic mappings from the unit polydisc $P_m$ into the unit polydisc $P_n$, here $P_m$ and $P_n$ are endowed with $\mbox{Aut}(P_m)$-invariant K\"ahelr-Berwald metric $F_{t,k}$ and $\mbox{Aut}(P_n)$-invariant K\"ahler-Berwald metric $\tilde{F}_{\tilde{t},\tilde{k}}$ respectively. Our result generalizes the Schwarz lemma for holomorphic mappings from $P_m$ into $P_n$ whenever $P_m$ and $P_n$ are endowed with the Bergman metrics respectively. We also obtain a distortion theorem on the unit polydisc $P_m$, where $P_m$ is endowd with an $\mbox{Aut}(P_m)$-invariant K\"ahler-Berwald metric $F_{t,k}$, and show that for each fixed $t\in[0,+\infty)$ and integer $k\geq 2$, $F_{t,k}$ is actually a K\"ahler Finsler-Einstein metric in the sense of T. Aikou.


title: Learning Sparse Temporal Video Mapping for Action Quality Assessment in Floor Gymnastics

abstract: Athlete performance measurement in sports videos requires modeling long sequences since the entire spatio-temporal progression contributes dominantly to the performance. It is crucial to comprehend local discriminative spatial dependencies and global semantics for accurate evaluation. However, existing benchmark datasets mainly incorporate sports where the performance lasts only a few seconds. Consequently, state-ofthe-art sports quality assessment methods specifically focus on spatial structure. Although they achieve high performance in short-term sports, they are unable to model prolonged video sequences and fail to achieve similar performance in long-term sports. To facilitate such analysis, we introduce a new dataset, coined AGF-Olympics, that incorporates artistic gymnastic floor routines. AFG-Olympics provides highly challenging scenarios with extensive background, viewpoint, and scale variations over an extended sample duration of up to 2 minutes. In addition, we propose a discriminative attention module to map the dense feature space into a sparse representation by disentangling complex associations. Extensive experiments indicate that our proposed module provides an effective way to embed long-range spatial and temporal correlation semantics.


title: Generation of isospin sum rules in heavy hadron weak decays

abstract: Isospin symmetry is the most precise flavor symmetry. In this work, we propose an approach to generate isospin sum rules for heavy hadron decays without the Wigner-Eckhart invariants. The effective Hamiltonian of heavy quark weak decay is fully invariant under a series of isospin lowering operators $I_-^n$ and then the isospin sum rules can be generated through several master formulas. It provides a systematic way to study the isospin symmetry of $c$- and $b$-hadron weak decays. The theoretical framework of this approach is presented in detail with the nonleptonic decays of $D$ and $B$ mesons as examples. In addition, the $V$-/$U$-spin sum rules are derived in a similar algorithm by replacing $I_-^n$ with $V_-^n$/$U_-^n$.


title: Long Directed Detours: Reduction to $2$-Disjoint Paths

abstract: We study an "above guarantee" version of the {\sc Longest Path} problem in directed graphs: We are given a graph $G$, two vertices $s$ and $t$ of $G$, and a non-negative integer $k$, and the objective is to determine whether $G$ contains a path of length at least $dist_G(s,t) +k$ where $dist_G(s,t)$ is the length of a shortest path from $s$ to $t$ in $G$ (assuming that one exists). We show that the problem is fixed parameter tractable (FPT) parameterized by $k$ in the class of graphs where {\sc $2$-Disjoint Paths} problem is polynomial time solvable.


title: Decompositions of Matrices Into a Sum of Torsion Matrices and Matrices of Fixed Nilpotence

abstract: For $n\ge 2$ and fixed $k\ge 1$, we study when a square matrix $A$ over an arbitrary field $\mathbb{F}$ can be decomposed as $T+N$ where $T$ is a torsion matrix and $N$ is a nilpotent matrix with $N^k=0$. For fields of prime characteristic, we show that this decomposition holds as soon as the characteristic polynomial of $A\in \mathbb{M}_{n}(\mathbb{F})$ is algebraic over its base field and the rank of $A$ is at least $\frac nk$, and we present several examples that show that the decomposition does not hold in general. Furthermore, we completely solve this decomposition problem for $k=2$ and nilpotent matrices over arbitrary fields (even over division rings). This somewhat continues our recent publications in Lin. \& Multilin. Algebra (2023) and Internat. J. Algebra \& Computat. (2022) as well as it strengthens results due to Calugareanu-Lam in J. Algebra \& Appl. (2016).


title: Quantum speedup of leverage score sampling and its application

abstract: Leverage score sampling is crucial to the design of randomized algorithms for large-scale matrix problems, while the computation of leverage scores is a bottleneck of many applications. In this paper, we propose a quantum algorithm to accelerate this useful method. The speedup is at least quadratic and could be exponential for well-conditioned matrices. We also prove some quantum lower bounds, which suggest that our quantum algorithm is close to optimal. As an application, we propose a new quantum algorithm for rigid regression problems with vector solution outputs. It achieves polynomial speedups over the best classical algorithm known. In this process, we give an improved randomized algorithm for rigid regression.


title: Stabilized cut discontinuous Galerkin methods for advection-reaction problems on surfaces

abstract: We develop a novel cut discontinuous Galerkin (CutDG) method for stationary advection-reaction problems on surfaces embedded in $\mathbb{R}^d$. The CutDG method is based on embedding the surface into a full-dimensional background mesh and using the associated discontinuous piecewise polynomials of order $k$ as test and trial functions. As the surface can cut through the mesh in an arbitrary fashion, we design a suitable stabilization that enables us to establish inf-sup stability, a priori error estimates, and condition number estimates using an augmented streamline-diffusion norm. The resulting CutDG formulation is geometrically robust in the sense that all derived theoretical results hold with constants independent of any particular cut configuration. Numerical examples support our theoretical findings.


title: Mixing trichotomy for an Ehrenfest urn with impurities

abstract: We consider a version of the classical Ehrenfest urn model with two urns and two types of balls: regular and heavy. Each ball is selected independently according to a Poisson process having rate $1$ for regular balls and rate $\alpha\in(0,1)$ for heavy balls, and once a ball it is selected is placed in a urn uniformly at random. We study the asymptotic behavior when the total number of balls, $N$, goes to infinity, and the number of heavy ball is set to $\lfloor N^\beta\rfloor$ for some $\beta\in[0,1]$. We focus on the observable given by the total number of balls in the left urn, which converges to a binomial distribution of parameter $1/2$, regardless of the choice of the two parameters, $\alpha$ and $\beta$. We study the speed of convergence and show that this can exhibit three different phenomenologies depending on the choice of the two parameters of the model.


title: Unified Gas-Kinetic Particle Method for Frequency-dependent Radiation Transport

abstract: This paper proposes a unified gas-kinetic particle (UGKP) method for the frequency-dependent photon transport process. The photon transport is a typical multiscale process governed by the nonlinear radiative transfer equations (RTE). The flow regime of photon transport varies from the ballistic regime to the diffusive regime with respect to optical depth and photon frequency. The UGKP method is an asymptotic preserving (AP) scheme and a regime adaptive scheme. The teleportation error is significantly reduced, and the computational efficiency is remarkably improved in the diffusive regime. Distinguished from the standard multigroup treatment, the proposed UGKP method solves the frequency space in a non-discretized way. Therefore the Rosseland diffusion system can be precisely preserved in the optically thick regime. Taking advantage of the local integral solution of RTE, the distribution of the emitted photon can be constructed from its macroscopic moments. The Monte Carlo particles in the UGKP method need only be tracked before their first collision events, and a re-sampling process is performed to close the photon distribution for each time step. The large computational cost of excessive scattering events can be saved, especially in the optically thick regime. The proposed UGKP method is implicit and removes the light speed constraint on the time step. The particle tracking approach combining the implicit formulation makes the proposed UGKP method an efficient solution algorithm for frequency-dependent radiative transfer problems. We demonstrate with numerical examples the capability of the proposed multi-frequency UGKP method.


title: Brain tumour genetic network signatures of survival

abstract: Tumour heterogeneity is increasingly recognized as a major obstacle to therapeutic success across neuro-oncology. Gliomas are characterised by distinct combinations of genetic and epigenetic alterations, resulting in complex interactions across multiple molecular pathways. Predicting disease evolution and prescribing individually optimal treatment requires statistical models complex enough to capture the intricate (epi)genetic structure underpinning oncogenesis. Here, we formalize this task as the inference of distinct patterns of connectivity within hierarchical latent representations of genetic networks. Evaluating multi-institutional clinical, genetic, and outcome data from 4023 glioma patients over 14 years, across 12 countries, we employ Bayesian generative stochastic block modelling to reveal a hierarchical network structure of tumour genetics spanning molecularly confirmed glioblastoma, IDH- wildtype; oligodendroglioma, IDH-mutant and 1p/19q codeleted; and astrocytoma, IDH- mutant. Our findings illuminate the complex dependence between features across the genetic landscape of brain tumours, and show that generative network models reveal distinct signatures of survival with better prognostic fidelity than current gold standard diagnostic categories.


title: Homology growth, hyperbolization, and fibering

abstract: We introduce a hyperbolic reflection group trick which builds closed aspherical manifolds out of compact ones and preserves hyperbolicity, residual finiteness, and -- for almost all primes $p$ -- $\mathbb{F}_p$-homology growth above the middle dimension. We use this trick, embedding theory and manifold topology to construct Gromov hyperbolic $7$-manifolds that do not virtually fiber over a circle out of graph products of large finite groups.


title: Quantum Encryption in Phase Space for Coherent Optical Communications

abstract: Optical layer attacks on communication networks are one of the weakest reinforced areas of the network, allowing attackers to overcome security when proper safeguards are not put into place. Here, we present our solution or Quantum Encryption in Phase Space (QEPS), a physical layer encryption method to secure data over the optical fiber, based on our novel round-trip Coherent-based Two-Field Quantum Key Distribution (CTF-QKD) scheme. We perform a theoretical study through simulation and provide an experimental demonstration. The same encryption is used for QEPS as CTF-QKD but achieved through a pre-shared key and one-directional transmission design. QEPS is uniquely different from traditional technology where encryption is performed at the optical domain with coherent states by applying a quantum phase-shifting operator. The pre-shared secret is used to seed a deterministic random number generator and control the phase modulator at the transmitter for encryption and at the receiver for decryption. Using commercially available simulation software, we study two preventative measures for different modulation formats which will prevent an eavesdropper from obtaining any data. QEPS demonstrates that it is secure against tapping attacks when attackers have no information of the phase modulator and pre-shared key. Finally, an experiment with commercial components demonstrates QEPS system integrability.


title: Segmenting thalamic nuclei from manifold projections of multi-contrast MRI

abstract: The thalamus is a subcortical gray matter structure that plays a key role in relaying sensory and motor signals within the brain. Its nuclei can atrophy or otherwise be affected by neurological disease and injuries including mild traumatic brain injury. Segmenting both the thalamus and its nuclei is challenging because of the relatively low contrast within and around the thalamus in conventional magnetic resonance (MR) images. This paper explores imaging features to determine key tissue signatures that naturally cluster, from which we can parcellate thalamic nuclei. Tissue contrasts include T1-weighted and T2-weighted images, MR diffusion measurements including FA, mean diffusivity, Knutsson coefficients that represent fiber orientation, and synthetic multi-TI images derived from FGATIR and T1-weighted images. After registration of these contrasts and isolation of the thalamus, we use the uniform manifold approximation and projection (UMAP) method for dimensionality reduction to produce a low-dimensional representation of the data within the thalamus. Manual labeling of the thalamus provides labels for our UMAP embedding from which k nearest neighbors can be used to label new unseen voxels in that same UMAP embedding. N -fold cross-validation of the method reveals comparable performance to state-of-the-art methods for thalamic parcellation.


title: Learning to Compress Unmanned Aerial Vehicle (UAV) Captured Video: Benchmark and Analysis

abstract: During the past decade, the Unmanned-Aerial-Vehicles (UAVs) have attracted increasing attention due to their flexible, extensive, and dynamic space-sensing capabilities. The volume of video captured by UAVs is exponentially growing along with the increased bitrate generated by the advancement of the sensors mounted on UAVs, bringing new challenges for on-device UAV storage and air-ground data transmission. Most existing video compression schemes were designed for natural scenes without consideration of specific texture and view characteristics of UAV videos. In this work, we first contribute a detailed analysis of the current state of the field of UAV video coding. Then we propose to establish a novel task for learned UAV video coding and construct a comprehensive and systematic benchmark for such a task, present a thorough review of high quality UAV video datasets and benchmarks, and contribute extensive rate-distortion efficiency comparison of learned and conventional codecs after. Finally, we discuss the challenges of encoding UAV videos. It is expected that the benchmark will accelerate the research and development in video coding on drone platforms.


title: Maximally Compact and Separated Features with Regular Polytope Networks

abstract: Convolutional Neural Networks (CNNs) trained with the Softmax loss are widely used classification models for several vision tasks. Typically, a learnable transformation (i.e. the classifier) is placed at the end of such models returning class scores that are further normalized into probabilities by Softmax. This learnable transformation has a fundamental role in determining the network internal feature representation. In this work we show how to extract from CNNs features with the properties of \emph{maximum} inter-class separability and \emph{maximum} intra-class compactness by setting the parameters of the classifier transformation as not trainable (i.e. fixed). We obtain features similar to what can be obtained with the well-known ``Center Loss'' \cite{wen2016discriminative} and other similar approaches but with several practical advantages including maximal exploitation of the available feature space representation, reduction in the number of network parameters, no need to use other auxiliary losses besides the Softmax. Our approach unifies and generalizes into a common approach two apparently different classes of methods regarding: discriminative features, pioneered by the Center Loss \cite{wen2016discriminative} and fixed classifiers, firstly evaluated in \cite{hoffer2018fix}. Preliminary qualitative experimental results provide some insight on the potentialities of our combined strategy.


title: Microlensing sheds light on the detection of strong lensing gravitational waves

abstract: The strong lensing gravitational wave (SLGW) is a promising transient phenomenon that encompasses a wealth of physics. However, the long-wave nature of gravitational waves (GW) poses a significant challenge in identification of its host galaxy. To tackle this challenge, we propose a multi-messenger method triggered by the wave optics effect of microlensing. The microlensing diffraction/interference fringes introduce frequency-dependent fluctuations in the waveform. Our method has three steps. First, we reconstruct the GW waveforms by using the template-independent and template-dependent methods. The mismatch of two reconstructions serves as an indicator of SLGWs. This step can identify $10\%$ SLGWs. Second, we pair the SLGW's multi-signals by employing the sky localization overlapping. Third, we find the host galaxy by requiring the consistency of time delays between Galaxy-Galaxy strong lensing (GGSL) and SLGW. With the help of CSST and JWST, one can identify $1$ quadruple-image system in roughly $3$ years.


title: Transverse momentum-dependent parton distributions for longitudinally polarized nucleons from domain wall fermion calculations at the physical pion mass

abstract: Previous Lattice QCD calculations of nucleon transverse momentum-dependent parton distributions (TMDs) focused on the case of transversely polarized nucleons, and thus did not encompass two leading-twist TMDs associated with longitudinal polarization, namely, the helicity TMD and the worm-gear TMD corresponding to transversely polarized quarks in a longitudinally polarized nucleon. Based on a definition of TMDs via hadronic matrix elements of quark bilocal operators containing staple-shaped gauge connections, TMD observables characterizing the aforementioned two TMDs are evaluated, utilizing an RBC/UKQCD domain wall fermion ensemble at the physical pion mass.


title: Broad-line region in NGC 4151 monitored by two decades of reverberation mapping campaigns. I. Evolution of structure and kinematics

abstract: We report the results of long-term reverberation mapping (RM) campaigns of the nearby active galactic nuclei (AGN) NGC 4151, spanning from 1994 to 2022, based on archived observations of the FAST Spectrograph Publicly Archived Programs and our new observations with the 2.3m telescope at the Wyoming Infrared Observatory. We reduce and calibrate all the spectra in a consistent way, and derive light curves of the broad H$\beta$ line and 5100\,{\AA} continuum. Continuum light curves are also constructed using public archival photometric data to increase sampling cadences. We subtract the host galaxy contamination using {\it HST} imaging to correct fluxes of the calibrated light curves. Utilizing the long-term archival photometric data, we complete the absolute flux-calibration of the AGN continuum. We find that the H$\beta$ time delays are correlated with the 5100\,{\AA} luminosities as $\tau_{\rm H\beta}\propto L_{5100}^{0.46\pm0.16}$. This is remarkably consistent with Bentz et al. (2013)'s global size-luminosity relationship of AGNs. Moreover, the data sets for five of the seasons allow us to obtain the velocity-resolved delays of the H$\beta$ line, showing diverse structures (outflows, inflows and disks). Combining our results with previous independent measurements, we find the measured dynamics of the H$\beta$ broad-line region (BLR) are possibly related to the long-term trend of the luminosity. There is also a possible additional $\sim$1.86 years time lag between the variation in BLR radius and luminosity. These results suggest that dynamical changes in the BLR may be driven by the effects of radiation pressure.


title: Shadow thermodynamics of the Hayward-AdS black hole

abstract: In this paper, the phase structure of the Hayward-AdS black hole (BH) is studied using shadow formalism. It has been found that the shadow radius is a monotonic function of the horizon radius and can therefore play an equivalent role to the horizon radius in characterizing the thermodynamics of Hayward-AdS BH. The thermodynamic phase transition (PT) of the Hayward-AdS BH is investigated with the shadow radius. It is shown that as the magnetic charge increases, the shadow radius becomes larger, while the coexistence temperature becomes lower. The thermal profile of the Hayward-AdS BH is established by combining the temperature diagram and the shadow cast diagram, which shows that for a fixed magnetic charge, the temperature of the Hayward-AdS BH increases with the pressure while the region of the thermal profile decreases with the pressure. In particular, the temperature of the Hayward-AdS BH follows an N-type change trend when it is smaller than the critical temperature. This imply that the BH shadow may be used to investigate the thermodynamics of the Hayward-AdS BH.


title: Port-Hamiltonian structure of interacting particle systems and its mean-field limit

abstract: We derive a minimal port-Hamiltonian formulation of a general class of interacting particle systems driven by alignment and potential-based force dynamics which include the Cucker-Smale model with potential interaction and the second order Kuramoto model. The port-Hamiltonian structure allows to characterize conserved quantities such as Casimir functions as well as the long-time behaviour using a LaSalle-type argument on the particle level. It is then shown that the port-Hamiltonian structure is preserved in the mean-field limit and an analogue of the LaSalle invariance principle is studied in the space of probability measures equipped with the 2-Wasserstein-metric. The results on the particle and mean-field limit yield a new perspective on uniform stability of general interacting particle systems. Moreover, as the minimal port-Hamiltonian formulation is closed we identify the ports of the subsystems which admit generalized mass-spring-damper structure modelling the binary interaction of two particles. Using the information of ports we discuss the coupling of difference species in a port-Hamiltonian preserving manner.


title: CORE: Learning Consistent Ordinal REpresentations for Image Ordinal Estimation

abstract: The goal of image ordinal estimation is to estimate the ordinal label of a given image with a convolutional neural network. Existing methods are mainly based on ordinal regression and particularly focus on modeling the ordinal mapping from the feature representation of the input to the ordinal label space. However, the manifold of the resultant feature representations does not maintain the intrinsic ordinal relations of interest, which hinders the effectiveness of the image ordinal estimation. Therefore, this paper proposes learning intrinsic Consistent Ordinal REpresentations (CORE) from ordinal relations residing in groundtruth labels while encouraging the feature representations to embody the ordinal low-dimensional manifold. First, we develop an ordinal totally ordered set (toset) distribution (OTD), which can (i) model the label embeddings to inherit ordinal information and measure distances between ordered labels of samples in a neighborhood, and (ii) model the feature embeddings to infer numerical magnitude with unknown ordinal information among the features of different samples. Second, through OTD, we convert the feature representations and labels into the same embedding space for better alignment, and then compute the Kullback Leibler (KL) divergence between the ordinal labels and feature representations to endow the latent space with consistent ordinal relations. Third, we optimize the KL divergence through ordinal prototype-constrained convex programming with dual decomposition; our theoretical analysis shows that we can obtain the optimal solutions via gradient backpropagation. Extensive experimental results demonstrate that the proposed CORE can accurately construct an ordinal latent space and significantly enhance existing deep ordinal regression methods to achieve better results.


title: Simulation of short pulse photoemission in a micro-diode with implications for optimal beam brightness

abstract: Molecular dynamics simulations, with full Coulomb interaction are used to model short-pulse photoemission from a finite area in a microdiode. We demonstrate three emission regimes, source-limited emission, space-charge limited emission for short-pulses, and space-charge limited emission for the steady state. We show that beam brightness is at a maximum during transition from the source-limited emission regime to the space-charge limited emission regime for short pulses. From our simulations it is apparent that the important factor is the emitter spot size when estimating the critical charge density for short-pulse electron emission.


title: Maxwell field with gauge fixing term in the radiation- and matter-dominant stages: exact solution and stress tensor

abstract: We study the Maxwell field with a general gauge fixing (GF) term in the radiation-dominant (RD) and matter-dominant (MD) stages of expanding Universe, as a continuation to the previous work in de Sitter space. We derive the exact solutions, perform the covariant canonical quantization and obtain the stress tensor in the Gupta-Bleuler (GB) physical states, which is independent of the GF constant and is also invariant under the quantum residual gauge transformation. The transverse stress tensor is similar in all flat Robertson-Walker spacetimes, and its vacuum part is $\propto k^4$ and becomes zero after the 0th-order adiabatic regularization. The longitudinal-temporal stress tensor, in both RD and MD stages, is zero due to a cancelation between the longitudinal and temporal parts in the GB states, and so is the particle part of the GF stress tensor. The vacuum GF stress tensor, in the RD stage, contains $k^4,k^2$ divergences and becomes zero by the 2nd-order regularization, however, in the MD stage, contains $k^4, k^2, k^0$ divergences and becomes zero by the 4th-order regularization. So, the order of adequate regularization depends not only upon the type of fields, but also upon the background spacetimes. In summary, in both the RD and MD stages, like in de Sitter space, the total regularized vacuum stress tensor is zero, only the transverse photon part remains, and this holds independent of the GF term.


title: Optical characterization and Radial velocity monitoring with Belgian and Indian Telescopes (ORBIT): the eclipsing binaries EPIC 211982753 and EPIC 211915147

abstract: The K2 eclipsing binary candidates EPIC 211982753 (hereinafter called EPIC2753) and EPIC 211915147 (hereinafter called EPIC5147) are characterized with the help of photometric and high-resolution spectroscopic data. The light curve analysis uses the R-band photometric data from the 1.3-m Devasthal Fast Optical Telescope (DFOT, India), ASAS-3 and K2 observations. High-resolution echelle spectra are collected using the HERMES spectrograph at the 1.2-m MERCATOR telescope (La Palma, Spain). The synthetic light and radial velocity curves are generated with the help of the modeling package PHOEBE 1.0. The orbital period analysis based on the ~3.2 years of K2 observations does not show any change in the orbital period of both targets. The component masses M1,2 are estimated as 1.69(0.02) and 1.59(0.02) solar mass for EPIC2753, and 1.48(0.01) and 1.27(0.01) solar mass for EPIC5147. Both systems are high mass-ratio eclipsing binaries with q>0.85. The component radii R1,2 are found to be 1.66(0.02) and 1.53(0.02) solar radius for EPIC2753, and 1.80(0.05) and 1.42(0.05) solar radius for EPIC5147. The distances of EPIC2753 and EPIC5147 are determined as 238(4) and 199(5) pc, respectively. MESA Isochrones and Stellar Tracks are used to understand the evolutionary status of both systems.


title: Pointwise eigenvector estimates by landscape functions: some variations on the Filoche--Mayboroda--van den Berg bound

abstract: Landscape functions are a popular tool used to provide upper bounds for eigenvectors of Schr\"odinger operators on domains. We review some known results obtained in the last ten years, unify several approaches used to achieve such bounds, and extend their scope to a large class of linear and nonlinear operators. We also use landscape functions to derive lower estimates on the principal eigenvalue -- much in the spirit of earlier results by Donsker-Varadhan and Ba\~nuelos-Carrol -- as well as upper bounds on heat kernels. Our methods solely rely on order properties of operators: we devote special attention to the case where the relevant operators enjoy various forms of elliptic or parabolic maximum principles. Additionally, we illustrate our findings with several examples, including p-Laplacians on domains and graphs as well as Schr\"odinger operators with magnetic and electric potential, also by means of elementary numerical experiments.


title: Forced Capture Hnefatafl

abstract: We define a new, partizan, loopy combinatorial game, Forced-Capture Hnefatafl, similar to Hnefatafl, except that players are forced to make capturing moves when available. We show that this game is PSPACE-hard using a reduction from Constraint Logic, making progress towards classifying proper Hnefatafl.


title: Non-stationary quantum mechanics in hybrid non-Hermitian interaction representation

abstract: A reformulation of quantum mechanics called ``hybrid interaction picture'' (HIP) is proposed. In contrast to its current non-Hermitian-interaction-picture (NIP) predecessor the new formalism combines a simplification of the NIP Hilbert-space metric with an innovative preconditioning of the observables of interest. Via an illustrative example it is shown that the idea might open new ways towards optimal model-building strategies in quantum theory of unitary systems.


title: Thue equations over $\mathbb{C}(T)$: The Complete Solution of a Simple quartic family

abstract: In this paper we completely solve a simple quartic family of Thue equations over $\mathbb{C}(T)$. Specifically, we apply the ABC-Theorem to find all solutions $(x,y) \in \mathbb{C}[T] \times \mathbb{C}[T]$ to the set of Thue equations $F_{\lambda}(X,Y) = \xi$, where $\xi \in \mathbb{C}^{\times}$ and \begin{equation*} F_{\lambda}(X,Y):=X^4 -\lambda X^3Y -6 X^2Y^2 + \lambda XY^3 +Y^4, \quad \quad \lambda \in \mathbb{C}[T]/\{\mathbb{C}\} \end{equation*} denotes a family of quartic simple forms.


title: Experimental investigation on the turbulent wake flow in fully-established transonic buffet conditions

abstract: The transonic flight regime is often dominated by transonic buffet, a highly unsteady and complex shock-wave/boundary-layer interaction involving major parts of the flow field. The phenomenon is associated with a large-amplitude periodic motion of the compression shock coupled with large-scale flow separation and intermittent re-attachment. Due to the resulting large-scale variation of the global flow topology, also the turbulent wake of the airfoil or wing is severely affected, and so are any aerodynamic devices downstream on which the wake impinges. To analyze and understand the turbulent structures and dynamics of the wake, we performed a comprehensive experimental study of the near wake of the supercritical OAT15A airfoil in transonic buffet conditions at a chord Reynolds number of 2 mio. Velocity field measurements reveal severe global influences of the buffet mode on both the surface-bound flow field on the suction side of the airfoil and the wake. The flow is intermittently strongly separated, with a significant momentum deficit that extends far into the wake. The buffet motion induces severe disturbances and variations of the turbulent flow, as shown on the basis of phase-averaged turbulent quantities in terms of Reynolds shear stress and RMS-values. The spectral nature of downstream-convecting fluctuations and turbulent structures are analyzed using high-speed focusing schlieren sequences. Analyses of the power spectral density pertaining to the vortex shedding in the direct vicinity of the trailing edge indicate dominant frequencies one order of magnitude higher than those associated with shock buffet. It is shown that the flapping motion of the shear layer is accompanied by the formation of a von Karman-type vortex street of fluctuating strength. These wake structures and dynamics will impact any downstream aerodynamic devices affected by the wake.


title: Volume Product

abstract: Our purpose here is to give an overview of known results and open questions concerning the volume product ${\mathcal P}(K)=\min_{z\in K}{\rm vol}(K){\rm vol}((K-z)^*)$ of a convex body $K$ in ${\mathbb R}^n$. We present a number of upper and lower bounds for ${\mathcal P}(K)$, in particular, we discuss the Mahler's conjecture on the lower bound of ${\mathcal P}(K)$, which is still open. We also show connections of ${\mathcal P}(K)$ with different parts of modern mathematics, including Geometric Number Theory, Convex Geometry, Analysis, Harmonic Analysis as well as Systolic and Symplectic Geometries and Probability.


title: Deep Diversity-Enhanced Feature Representation of Hyperspectral Images

abstract: In this paper, we study the problem of efficiently and effectively embedding the high-dimensional spatio-spectral information of hyperspectral (HS) images, guided by feature diversity. Specifically, based on the theoretical formulation that feature diversity is correlated with the rank of the unfolded kernel matrix, we rectify 3D convolution by modifying its topology to enhance the rank upper-bound. This modification yields a rank-enhanced spatial-spectral symmetrical convolution set (ReS$^3$-ConvSet), which not only learns diverse and powerful feature representations but also saves network parameters. Additionally, we also propose a novel diversity-aware regularization (DA-Reg) term that directly acts on the feature maps to maximize independence among elements. To demonstrate the superiority of the proposed ReS$^3$-ConvSet and DA-Reg, we apply them to various HS image processing and analysis tasks, including denoising, spatial super-resolution, and classification. Extensive experiments show that the proposed approaches outperform state-of-the-art methods both quantitatively and qualitatively to a significant extent. The code is publicly available at https://github.com/jinnh/ReSSS-ConvSet.


title: Improving Reliability of Fine-tuning with Block-wise Optimisation

abstract: Finetuning can be used to tackle domain-specific tasks by transferring knowledge. Previous studies on finetuning focused on adapting only the weights of a task-specific classifier or re-optimizing all layers of the pre-trained model using the new task data. The first type of methods cannot mitigate the mismatch between a pre-trained model and the new task data, and the second type of methods easily cause over-fitting when processing tasks with limited data. To explore the effectiveness of fine-tuning, we propose a novel block-wise optimization mechanism, which adapts the weights of a group of layers of a pre-trained model. In our work, the layer selection can be done in four different ways. The first is layer-wise adaptation, which aims to search for the most salient single layer according to the classification performance. The second way is based on the first one, jointly adapting a small number of top-ranked layers instead of using an individual layer. The third is block based segmentation, where the layers of a deep network is segmented into blocks by non-weighting layers, such as the MaxPooling layer and Activation layer. The last one is to use a fixed-length sliding window to group layers block by block. To identify which group of layers is the most suitable for finetuning, the search starts from the target end and is conducted by freezing other layers excluding the selected layers and the classification layers. The most salient group of layers is determined in terms of classification performance. In our experiments, the proposed approaches are tested on an often-used dataset, Tf_flower, by finetuning five typical pre-trained models, VGG16, MobileNet-v1, MobileNet-v2, MobileNet-v3, and ResNet50v2, respectively. The obtained results show that the use of our proposed block-wise approaches can achieve better performances than the two baseline methods and the layer-wise method.


title: Competition between self-assembly and phase separation governs high-temperature condensation of a DNA liquid

abstract: In many biopolymer solutions, attractive interactions that stabilize finite-sized clusters at low concentrations also promote phase separation at high concentrations. Here we study a model biopolymer system that exhibits the opposite behavior: Self-assembly of DNA oligonucleotides into finite-sized, stoichiometric clusters, known as "DNA nanostars", tends to inhibit phase separation of the oligonucleotides at high temperatures. We use microfluidics-based experiments to map the phase behavior of DNA nanostars at high concentrations of divalent cations, revealing a novel phase transition in which the oligonucleotides condense upon increasing temperature. We then show that a theoretical model of competition between self-assembly and phase separation quantitatively predicts changes in experimental phase diagrams arising from DNA sequence perturbations. Our results point to a general mechanism by which self-assembly shapes phase boundaries in complex biopolymer solutions.


title: Hyper-acceleration of quantum thermalization dynamics by bypassing long-lived coherences: An analytical treatment

abstract: We develop a perturbative technique for solving Markovian quantum dissipative dynamics, with the perturbation parameter being a small gap in the eigenspectrum. As an example, we apply the technique and straightforwardly obtain analytically the dynamics of a three-level system with quasidegenerate excited states, where quantum coherences persist for very long times, proportional to the inverse of the energy splitting squared. We then show how to bypass this long-lived coherent dynamics and accelerate the relaxation to thermal equilibration in a hyper-exponential manner, a Markovian quantum-assisted Mpemba-like effect. This hyper acceleration of the equilibration process manifests if the initial state is carefully prepared, such that its coherences precisely store the amount of population relaxing from the initial condition to the equilibrium state. Our analytical method for solving quantum dissipative dynamics readily provides equilibration timescales, and as such it reveals how coherent and incoherent effects interlace in the dynamics. It further advices on how to accelerate relaxation processes, which is desirable when long-lived quantum coherences stagnate dynamics.


title: Quantitative Verification with Neural Networks

abstract: We present a data-driven approach to the quantitative verification of probabilistic programs and stochastic dynamical models. Our approach leverages neural networks to compute tight and sound bounds for the probability that a stochastic process hits a target condition within finite time. This problem subsumes a variety of quantitative verification questions, from the reachability and safety analysis of discrete-time stochastic dynamical models, to the study of assertion-violation and termination analysis of probabilistic programs. We rely on neural networks to represent supermartingale certificates that yield such probability bounds, which we compute using a counterexample-guided inductive synthesis loop: we train the neural certificate while tightening the probability bound over samples of the state space using stochastic optimisation, and then we formally check the certificate's validity over every possible state using satisfiability modulo theories; if we receive a counterexample, we add it to our set of samples and repeat the loop until validity is confirmed. We demonstrate on a diverse set of benchmarks that, thanks to the expressive power of neural networks, our method yields smaller or comparable probability bounds than existing symbolic methods in all cases, and that our approach succeeds on models that are entirely beyond the reach of such alternative techniques.


title: Anisotropic angle-dependent Andreev reflection at the ferromagnet/superconductor junction on the surface of topological insulators

abstract: We theoretically demonstrate that a ferromagnetic/superconductor junction on the surface of three-dimensional topological insulators (3D TIs) has an anisotropic angle-dependent Andreev reflection when the in-plane magnetization has a component perpendicular to the junction. In the presence of in-plane magnetization, the Dirac cone's location adjusts in the $k$-space, whereas its out-of-plane component induces a gap. This movement leads to the anisotropic angle-dependent Andreev reflection and creates transverse conductance flows parallel to the interface. Also, an indirect gap induces in the junction, which removes the transport signatures of Majorana bound states. Because of the full spin-momentum locking of Dirac fermions on the surface of 3DTIs, a torque that called \textit{Andreev Transfer Torque} (ATT) imposes on the junction. Moreover, we propose a setup to detect them experimentally.


title: Post-2000 Nonlinear Optical Materials and Measurements: Data Tables and Best Practices

abstract: In its 60 years of existence, the field of nonlinear optics has gained momentum especially over the past two decades thanks to major breakthroughs in material science and technology. In this article, we present a new set of data tables listing nonlinear-optical properties for different material categories as reported in the literature since 2000. The papers included in the data tables are representative experimental works on bulk materials, solvents, 0D-1D-2D materials, metamaterials, fiber waveguiding materials, on-chip waveguiding materials, hybrid waveguiding systems, and materials suitable for nonlinear optics at THz frequencies. In addition to the data tables, we also provide best practices for performing and reporting nonlinear-optical experiments. These best practices underpin the selection process that was used for including papers in the tables. While the tables indeed show strong advancements in the field over the past two decades, we encourage the nonlinear-optics community to implement the identified best practices in future works. This will allow a more adequate comparison, interpretation and use of the published parameters, and as such further stimulate the overall progress in nonlinear-optical science and applications.


title: Towards large-area and defects-free growth of phosphorene on Nickel

abstract: Low-dimensional materials synthesis based on phosphorus atoms is under intense study, and it is still one of the big challenges. Phosphorene, a monolayer of black phosphorus, is one of the most promising candidates for transistor and photonics devices at atomistic thickness. However, the lack of large-scale and defects-free growth significantly obstructs its device development. Here, we demonstrate the large-scale and defect-free phosphorene synthesis on Nickel (Ni) substrate. In addition, the effect of substrate orientation on the controllable synthesis of possible allotropes has also been described. We have shown that blue phosphorene can be grown on Ni (111) and Ni (100). While {\gamma}-Phosphorene, named Navy Phosphorene hereafter, can be grown on Ni (110). Furthermore, we found that the synthesis goes through phosphorus pentamers (P5) to phosphorene; P5 is a vital precursor for phosphorene synthesis. Moreover, we confirm the high accuracy of the P-Ni, and P-P potentials and show that the molecular dynamics (M.D.) approach is a powerful tool to simulate the 2D materials synthesis in the vapor phase. This work provides a solid reference to understand and control the synthesis of large-area single-crystalline monolayer phosphorene.


title: Investigating The Hubble Tension Through Hubble Parameter Data

abstract: The Hubble constant ($H_0$), which represents the expansion rate of the Universe, is one of the most important cosmological parameters. The recent measurements of $H_0$ using the distance ladder methods such as Type Ia Supernovae (SNe Ia) are significantly greater than the CMB measurements by Planck. The difference points to a crisis in the standard model of cosmology termed as Hubble tension. In this work we compare different cosmological models, determine the Hubble constant and comment on the Hubble tension using the data from differential ages of galaxies. The data we use is free from the systematic effects as the absolute age estimation of the galaxies is not needed. We have used the Bayesian approach along with the commonly used maximum likelihood method to estimate $H_0$ and have calculated the AIC scores to compare the different cosmological models.The non-flat cosmological model provides a higher value for matter density as well as the Hubble constant compared to the flat $\Lambda$CDM model. The AIC score is smaller for the flat $\Lambda$CDM cosmology compared to the non-flat model indicating the flat model a better choice. The best-fit value of $H_0$ for both these models are $68.7\pm3.1$ km/s/Mpc and $72.2\pm4$ km/s/Mpc, respectively. Our results are consistent with the CCHP measurements. However, flat model result does not agree with the SH0ES result, while the non-flat result is inconsistent with the Planck value.


title: Max-min Learning of Approximate Weight Matrices from Fuzzy Data

abstract: In this article, we study the approximate solutions set $\Lambda_b$ of an inconsistent system of $\max-\min$ fuzzy relational equations $(S): A \Box_{\min}^{\max}x =b$. Using the $L_\infty$ norm, we compute by an explicit analytical formula the Chebyshev distance $\Delta~=~\inf_{c \in \mathcal{C}} \Vert b -c \Vert$, where $\mathcal{C}$ is the set of second members of the consistent systems defined with the same matrix $A$. We study the set $\mathcal{C}_b$ of Chebyshev approximations of the second member $b$ i.e., vectors $c \in \mathcal{C}$ such that $\Vert b -c \Vert = \Delta$, which is associated to the approximate solutions set $\Lambda_b$ in the following sense: an element of the set $\Lambda_b$ is a solution vector $x^\ast$ of a system $A \Box_{\min}^{\max}x =c$ where $c \in \mathcal{C}_b$. As main results, we describe both the structure of the set $\Lambda_b$ and that of the set $\mathcal{C}_b$. We then introduce a paradigm for $\max-\min$ learning weight matrices that relates input and output data from training data. The learning error is expressed in terms of the $L_\infty$ norm. We compute by an explicit formula the minimal value of the learning error according to the training data. We give a method to construct weight matrices whose learning error is minimal, that we call approximate weight matrices. Finally, as an application of our results, we show how to learn approximately the rule parameters of a possibilistic rule-based system according to multiple training data.


title: A note on lower bounds to variational problems with guarantees

abstract: Variational methods play an important role in the study of quantum many body problems, both in the flavour of classical variational principles based on tensor networks as well as of quantum variational principles in near-term quantum computing. This brief pedagogical note stresses that for translationally invariant lattice Hamiltonians, one can easily derive efficiently computable lower bounds to ground state energies that can and should be compared with variational principles providing upper bounds. As small technical results, it is shown that (i) the Anderson bound and a (ii) common hierarchy of semi-definite relaxations both provide approximations with performance guarantees that scale like a constant in the energy density for cubic lattices. (iii) Also, the Anderson bound is systematically improved as a hierarchy of semi-definite relaxations inspired by the marginal problem.


title: Multi-Camera Lighting Estimation for Photorealistic Front-Facing Mobile Augmented Reality

abstract: Lighting understanding plays an important role in virtual object composition, including mobile augmented reality (AR) applications. Prior work often targets recovering lighting from the physical environment to support photorealistic AR rendering. Because the common workflow is to use a back-facing camera to capture the physical world for overlaying virtual objects, we refer to this usage pattern as back-facing AR. However, existing methods often fall short in supporting emerging front-facing mobile AR applications, e.g., virtual try-on where a user leverages a front-facing camera to explore the effect of various products (e.g., glasses or hats) of different styles. This lack of support can be attributed to the unique challenges of obtaining 360$^\circ$ HDR environment maps, an ideal format of lighting representation, from the front-facing camera and existing techniques. In this paper, we propose to leverage dual-camera streaming to generate a high-quality environment map by combining multi-view lighting reconstruction and parametric directional lighting estimation. Our preliminary results show improved rendering quality using a dual-camera setup for front-facing AR compared to a commercial solution.


title: Solitary waves and their interactions in the cylindrical Korteweg-de Vries equation

abstract: We consider approximate, exact, and numerical solutions to the cylindrical Korteweg-de Vries equation. We show that there are different types of solitary waves and obtain the dependence of their parameters on distance. Then, we study the interaction of solitary waves of different types.


title: Dyck Words, Pattern Avoidance, and Automatic Sequences

abstract: We study various aspects of Dyck words appearing in binary sequences, where $0$ is treated as a left parenthesis and $1$ as a right parenthesis. We show that binary words that are $7/3$-power-free have bounded nesting level, but this no longer holds for larger repetition exponents. We give an explicit characterization of the factors of the Thue-Morse word that are Dyck, and show how to count them. We also prove tight upper and lower bounds on $f(n)$, the number of Dyck factors of Thue-Morse of length $2n$.


title: Modelling the early mass-ejection in jet driven protostellar outflows. Lessons from Cep E

abstract: We have used the axisymmetric chemo-hydrodynamical code WALKIMYA-2D to numerically model and reproduce the physical and CO emission properties of the jet-driven outflow from the intermediate-mass protostar Cep E, which was observed at $\sim 800$au resolution in the CO $J=2\to 1$ line with the IRAM interferometer. Our simulations take into account the observational constraints available on the physical structure of the protostellar envelope to provide constraints on the dynamics of the inner protostellar environment from the study of the outflow/jet propagation away from the launch region. WALKIMYA-2D successfully reproduces the main qualitative and quantitative features of the Cep E outflow and the jet kinematics, naturally accounting for their time variability. Signatures of internal shocks are detected as knots along the jet. In the early times of the ejection process, the young emitted knots interact with the dense circumstellar envelope through high-velocity, dissociative shocks, which strongly decrease the CO gas abundance in the jet. As time proceeds, the knots propagate more smoothly through the envelope and dissociative shocks disappear after $\sim 10^3$ yr. The distribution of CO abundance along the jet shows that the latter bears memory of the early dissociative phase in the course of its propagation. Analysis of the velocity field shows that the jet material mainly consists of gas entrained from the circumstellar envelope and accelerated away from the protostar at $700$ au scale. As a result, the overall jet mass loss rate appears higher than the actual mass ejection rate by a factor $\sim 3$. Numerical modeling of the Cep E jet-driven outflow and comparison with the CO observations have allowed us to peer into the outflow formation mechanism with unprecedented detail and to retrieve the history of the mass-loss events that have shaped the outflow.


title: Some Tucker-like approximations based on the modal semi-tensor product

abstract: Approximating higher-order tensors by the Tucker format has been applied in many fields such as psychometrics, chemometrics, signal processing, pattern classification, and so on. In this paper, we propose some new Tucker-like approximations based on the modal semi-tensor product (STP), especially, a new singular value decomposition (SVD) and a new higher-order SVD (HOSVD) are derived. Algorithms for computing new decompositions are provided. We also give some numerical examples to illustrate our theoretical results.


title: Computability of Optimizers

abstract: Optimization problems are a staple of today's scientific and technical landscape. However, at present, solvers of such problems are almost exclusively run on digital hardware. Using Turing machines as a mathematical model for any type of digital hardware, in this paper, we analyze fundamental limitations of this conceptual approach of solving optimization problems. Since in most applications, the optimizer itself is of significantly more interest than the optimal value of the corresponding function, we will focus on computability of the optimizer. In fact, we will show that in various situations the optimizer is unattainable on Turing machines and consequently on digital computers. Moreover, even worse, there does not exist a Turing machine, which approximates the optimizer itself up to a certain constant error. We prove such results for a variety of well-known problems from very different areas, including artificial intelligence, financial mathematics, and information theory, often deriving the even stronger result that such problems are not Banach-Mazur computable, also not even in an approximate sense.


title: Quantum Big Bounce of the isotropic Universe via a relational time

abstract: We analyze the canonical quantum dynamics of the isotropic Universe in a metric approach by adopting a self-interacting scalar field as relational time. When the potential term is absent we are able to associate the the expanding and collapsing dynamics of the Universe with the positive and negative frequency modes that emerge in the Wheeler-DeWitt equation. On the other side, when the potential term is present a non-zero transition amplitude from positive to negative frequency states arises, as in the standard relativistic scattering theory below the particle creation threshold. In particular, we are able to compute the transition probability for an expanding Universe that emerges from a collapsing regime both in the standard quantization procedure and in the polymer formulation. The probability distribution results similar in the two cases and its maximum takes place when the mean values of the momentum essentially coincide in the in-going and out-going wave packets, as it would take place in a semiclassical Big Bounce dynamics.


title: Minimizing Age of Incorrect Information over a Channel with Random Delay

abstract: We consider a transmitter-receiver pair in a slotted-time system. The transmitter observes a dynamic source and sends updates to a remote receiver through an error-free communication channel that suffers a random delay. We consider two cases. In the first case, the update is guaranteed to be delivered within a certain number of time slots. In the second case, the update is immediately discarded once the transmission time exceeds a predetermined value. The receiver estimates the state of the dynamic source using the received updates. In this paper, we adopt the Age of Incorrect Information (AoII) as the performance metric and investigate the problem of optimizing the transmitter's action in each time slot to minimize AoII. We first characterize the optimization problem using the Markov decision process and investigate the performance of the threshold policy, under which the transmitter transmits updates only when the transmission is allowed and the AoII exceeds the threshold $\tau$. By delving into the characteristics of the system evolution, we precisely compute the expected AoII achieved by the threshold policy using the Markov chain. Then, we prove that the optimal policy exists and provide a computable relative value iteration algorithm to estimate the optimal policy. Furthermore, by leveraging the policy improvement theorem, we theoretically prove that, under an easily verifiable condition, the optimal policy is the threshold policy with $\tau=1$. Finally, numerical results are presented to highlight the performance of the optimal policy.


title: Multiverse in Karch-Randall Braneworld

abstract: In this paper, we propose a model based on wedge holography that can describe the multiverse. In wedge holography, we consider two gravitating baths, one of which has strong gravity and the other one has weak gravity. To describe a multiverse, we consider $2n$ Karch-Randall branes, and we propose that various $d$-dimensional universes are localized on these branes. These branes are embedded in $(d+1)$-dimensional spacetime. The model is useful in obtaining the Page curve of black holes with multiple horizons and in the resolution of the ``grandfather paradox''. We explicitly obtain the Page curves of eternal AdS black holes for $n=2$ multiverse and Schwarzschild de-Sitter black hole with two horizons.


title: Inpainting borehole images using Generative Adversarial Networks

abstract: In this paper, we propose a GAN-based approach for gap filling in borehole images created by wireline microresistivity imaging tools. The proposed method utilizes a generator, global discriminator, and local discriminator to inpaint the missing regions of the image. The generator is based on an auto-encoder architecture with skip-connections, and the loss function used is the Wasserstein GAN loss. Our experiments on a dataset of borehole images demonstrate that the proposed model can effectively deal with large-scale missing pixels and generate realistic completion results. This approach can improve the quantitative evaluation of reservoirs and provide an essential basis for interpreting geological phenomena and reservoir parameters.


title: Periodic Bootstrap Embedding

abstract: Bootstrap embedding (BE) is a recently developed electronic structure method that has shown great success at treating electron correlation in molecules. Here, we extend BE to treat surfaces and solids where the wave function is represented in periodic boundary conditions using reciprocal space sums (i.e. $k$-point sampling). The major benefit of this approach is that the resulting fragment Hamiltonians carry no explicit dependence on the reciprocal space sums, allowing one to apply traditional non-periodic electronic structure codes to the fragments even though the entire system requires careful consideration of periodic boundary conditions. Using coupled cluster singles and doubles (CCSD) as an example method to solve the fragment Hamiltonians, we present minimal basis set CCSD-in-HF results on 1D conducting polymers. We show that periodic BE-CCSD can typically recover $\sim$99.9% of the electron correlation energy. We further demonstrate that periodic BE-CCSD is feasible even for complex donor-acceptor polymers of interest to organic solar cells - despite the fact that the monomers are sufficiently large that even a $\Gamma-$point periodic CCSD calculation is prohibitive. We conclude that BE is a promising new tool for applying molecular electronic structure tools to solids and interfaces.


title: The Nambu-Goto string in QCD: Dipole interactions, scattering and entanglement

abstract: We revisit some aspects of the stringy approach to dipole-dipole interactions, scattering and entanglement in QCD, using the Nambu-Goto (NG) string, without recourse to holography. We first show that the potential between two static dipoles exchanging closed NG strings is attractive at all separations. Underlining the exchange there is an emergent entropy, that is dominated by the tachyon at large separation, and vanishes at short separation, a measure of the confinement-deconfinement transition. The same tachyon is dominant in the scattering amplitude, as a correlator of two Wilson loops for two fixed dipole-like hadrons separated at large rapidity gap, where the contribution of the worldsheet fermions is included. While the tachyon causes the mean string bit density to grow exponentially with the rapidity, the total scattering cross section still satisfies the Froissart bound by quantum shadowing. The stringy scattering exchange also carries an entanglement entropy, that saturates when the bound is reached. For hadrons with varying dipole sizes, the tachyon exchange takes place in hyperbolic space in the conformal limit. The result for the full S-matrix is reminiscent of the one from Mueller$^\prime$s evolved dipole wavefunction, for the total dipole-dipole cross section in perturbative QCD.


title: Photo-Rechargeable Li Ion Batteries using TiS2 Cathode

abstract: Photo-rechargeable (solar) battery can be considered as an energy harvesting cum storage system, where it can charge the conventional metal-ion battery using light instead of electricity, without having other parasitic reactions. Here we demonstrate a two-electrode lithium ion solar battery with multifaceted TiS2-TiO2 hybrid sheets as cathode. Choice of TiS2-TiO2 electrode ensures the formation of a type II semiconductor heterostructure while the lateral heterostructure geometry ensures high mass/charge transfer and light interactions with the electrode. TiS2 has a higher lithium binding energy (1.6 eV) than TiO2 (1.03 eV), ensuring the possibilities of higher amount of Li ion insertion to TiS2 and hence the maximum recovery with the photocharging, as further confirmed by the experiments. Apart from the demonstration of solar solid-state batteries, the charging of lithium ion full cell with light indicates the formation of lithium intercalated graphite compounds, ensuring the charging of the battery without any other parasitic reactions at the electrolyte or electrode-electrolyte interfaces. Possible mechanisms proposed here for the charging and discharging processes of solar batteries, based on our experimental and theoretical results, indicate the potential of such systems in forthcoming era of renewable energies.


title: Least-Squares Neural Network (LSNN) Method For Linear Advection-Reaction Equation: Discontinuity Interface

abstract: We studied the least-squares ReLU neural network (LSNN) method for solving linear advection-reaction equation with discontinuous solution in [Cai, Zhiqiang, Jingshuang Chen, and Min Liu. ``Least-squares ReLU neural network (LSNN) method for linear advection-reaction equation.'' Journal of Computational Physics 443 (2021), 110514]. The method is based on a least-squares formulation and uses a new class of approximating functions: ReLU neural network (NN) functions. A critical and additional component of the LSNN method, differing from other NN-based methods, is the introduction of a properly designed and physics preserved discrete differential operator. In this paper, we study the LSNN method for problems with discontinuity interfaces. First, we show that ReLU NN functions with depth $\lceil \log_2(d+1)\rceil+1$ can approximate any $d$-dimensional step function on a discontinuity interface generated by a vector field as streamlines with any prescribed accuracy. By decomposing the solution into continuous and discontinuous parts, we prove theoretically that discretization error of the LSNN method using ReLU NN functions with depth $\lceil \log_2(d+1)\rceil+1$ is mainly determined by the continuous part of the solution provided that the solution jump is constant. Numerical results for both two- and three-dimensional test problems with various discontinuity interfaces show that the LSNN method with enough layers is accurate and does not exhibit the common Gibbs phenomena along discontinuity interfaces.


title: Cooperative Concurrent Games

abstract: In rational verification, the aim is to verify which temporal logic properties will obtain in a multi-agent system, under the assumption that agents ("players") in the system choose strategies for acting that form a game theoretic equilibrium. Preferences are typically defined by assuming that agents act in pursuit of individual goals, specified as temporal logic formulae. To date, rational verification has been studied using non-cooperative solution concepts - Nash equilibrium and refinements thereof. Such non-cooperative solution concepts assume that there is no possibility of agents forming binding agreements to cooperate, and as such they are restricted in their applicability. In this article, we extend rational verification to cooperative solution concepts, as studied in the field of cooperative game theory. We focus on the core, as this is the most fundamental (and most widely studied) cooperative solution concept. We begin by presenting a variant of the core that seems well-suited to the concurrent game setting, and we show that this version of the core can be characterised using ATL*. We then study the computational complexity of key decision problems associated with the core, which range from problems in PSPACE to problems in 3EXPTIME. We also investigate conditions that are sufficient to ensure that the core is non-empty, and explore when it is invariant under bisimilarity. We then introduce and study a number of variants of the main definition of the core, leading to the issue of credible deviations, and to stronger notions of collective stable behaviour. Finally, we study cooperative rational verification using an alternative model of preferences, in which players seek to maximise the mean-payoff they obtain over an infinite play in games where quantitative information is allowed.


title: Iontronic Neuromorphic Signaling with Conical Microfluidic Memristors

abstract: Experiments have shown that the conductance of conical channels, filled with an aqueous electrolyte, can strongly depend on the history of the applied voltage. These channels hence have a memory and are promising elements in brain-inspired (iontronic) circuits. We show here that the memory of such channels stems from transient concentration polarization over the ionic diffusion time. We derive an analytic approximation for these dynamics which shows good agreement with full finite-element calculations. Using our analytic approximation, we propose an experimentally realisable Hodgkin-Huxley iontronic circuit where micrometer cones take on the role of sodium and potassium channels. Our proposed circuit exhibits key features of neuronal communication such as all-or-none action potentials upon a pulse stimulus and a spike train upon a sustained stimulus.


title: The transience and persistence of high optical polarization state in beamed radio quasars

abstract: We examine the long-term stability (on decade-like time scales) of optical `high polarization' (HP) state with $p_{opt}$ $> 3\%$, which commonly occurs in flat-spectrum (i.e., beamed) radio quasars (FSRQs) and is a prominent marker of blazar state. Using this clue, roughly a quarter of the FSRQ population has been reported to undergo HP $\leftrightarrow$ non-HP state transition on year-like time scales. This work examines the extent to which HP (i.e., blazar) state can endure in a FSRQ, despite these `frequent' state transitions. This is the first attempt to verify, using purely opto-polarimetric data for a much enlarged sample of blazars, the recent curious finding that blazar state in individual quasars persists for {\it at least} a few decades, despite its changing/swinging observed fairly commonly on year-like time scales. The present analysis is based on a well-defined sample of 83 radio quasars, extracted from the opto-polarimetric survey RoboPol (2013-17), for which old opto-polarimetric data taken prior to 1990 could be found in the literature. By a source-wise comparison of these two datasets of the same observable ($p_{opt}$), we find that $\sim$ 90% of the 63 quasars found in blazar state in our RoboPol sample, were also observed to be in that state about 3 decades before. On the other hand, within the RoboPol survey itself, we find that roughly a quarter of the blazars in our sample migrated to the other polarization state on year-like time scales, by crossing the customary $p_{opt}$ = 3% threshold. Evidently, these relatively frequent transitions (in either direction) do not curtail the propensity of a radio quasar to retain its blazar (i.e., HP) state for at least a few decades. The observed transitions/swings of polarization state are probably manifestation of transient processes, like ejections of synchrotron plasma blobs (VLBI radio knots) from the active nucleus.


title: TextileNet: A Material Taxonomy-based Fashion Textile Dataset

abstract: The rise of Machine Learning (ML) is gradually digitalizing and reshaping the fashion industry. Recent years have witnessed a number of fashion AI applications, for example, virtual try-ons. Textile material identification and categorization play a crucial role in the fashion textile sector, including fashion design, retails, and recycling. At the same time, Net Zero is a global goal and the fashion industry is undergoing a significant change so that textile materials can be reused, repaired and recycled in a sustainable manner. There is still a challenge in identifying textile materials automatically for garments, as we lack a low-cost and effective technique for identifying them. In light of this, we build the first fashion textile dataset, TextileNet, based on textile material taxonomies - a fibre taxonomy and a fabric taxonomy generated in collaboration with material scientists. TextileNet can be used to train and evaluate the state-of-the-art Deep Learning models for textile materials. We hope to standardize textile related datasets through the use of taxonomies. TextileNet contains 33 fibres labels and 27 fabrics labels, and has in total 760,949 images. We use standard Convolutional Neural Networks (CNNs) and Vision Transformers (ViTs) to establish baselines for this dataset. Future applications for this dataset range from textile classification to optimization of the textile supply chain and interactive design for consumers. We envision that this can contribute to the development of a new AI-based fashion platform.


title: Light-Driven Transitions in Quantum Paraelectrics

abstract: Motivated by recent experiments on pump-induced polar ordering in the quantum paraelectric SrTiO$_3$, we study a driven phonon system close to a second order phase transition. Analyzing its classical dynamics, we find that sufficiently strong driving leads to transitions into polar phases whose structures, determined by the light polarization, are not all accessible in equilibrium. In addition, for certain intensity profiles we demonstrate the possibility of two-step transitions as a function of fluence. For even stronger field intensities, the possibility of period-doubling and chaotic behavior is demonstrated. Finally we develop a generalized formalism that allows us to consider quantum corrections to the classical dynamics in a systematic fashion. We predict a shift in the critical pump fluence due to quantum fluctuations with a characteristic dependence on the fluence increase rate, which can be observed in experiments.


title: Selective Inference with Distributed Data

abstract: As datasets grow larger, they are often distributed across multiple machines that compute in parallel and communicate with a central machine through short messages. In this paper, we focus on sparse regression and propose a new procedure for conducting selective inference with distributed data. Although many distributed procedures exist for point estimation in the sparse setting, few options are available for estimating uncertainties or conducting hypothesis tests based on the estimated sparsity. We solve a generalized linear regression on each machine, which then communicates a selected set of predictors to the central machine. The central machine uses these selected predictors to form a generalized linear model (GLM). To conduct inference in the selected GLM, our proposed procedure bases approximately-valid selective inference on an asymptotic likelihood. The proposal seeks only aggregated information, in relatively few dimensions, from each machine which is merged at the central machine for selective inference. By reusing low-dimensional summary statistics from local machines, our procedure achieves higher power while keeping the communication cost low. This method is also applicable as a solution to the notorious p-value lottery problem that arises when model selection is repeated on random splits of data.


title: A Coreset Learning Reality Check

abstract: Subsampling algorithms are a natural approach to reduce data size before fitting models on massive datasets. In recent years, several works have proposed methods for subsampling rows from a data matrix while maintaining relevant information for classification. While these works are supported by theory and limited experiments, to date there has not been a comprehensive evaluation of these methods. In our work, we directly compare multiple methods for logistic regression drawn from the coreset and optimal subsampling literature and discover inconsistencies in their effectiveness. In many cases, methods do not outperform simple uniform subsampling.


title: Procrustes-based distances for exploring between-matrices similarity

abstract: The statistical shape analysis called Procrustes analysis minimizes the distance between matrices by similarity transformations. The method returns a set of optimal orthogonal matrices, which project each matrix into a common space. This manuscript presents two types of distances derived from Procrustes analysis for exploring between-matrices similarity. The first one focuses on the residuals from the Procrustes analysis, i.e., the residual-based distance metric. In contrast, the second one exploits the fitted orthogonal matrices, i.e., the rotational-based distance metric. Thanks to these distances, similarity-based techniques such as the multidimensional scaling method can be applied to visualize and explore patterns and similarities among observations. The proposed distances result in being helpful in functional magnetic resonance imaging (fMRI) data analysis. The brain activation measured over space and time can be represented by a matrix. The proposed distances applied to a sample of subjects -- i.e., matrices -- revealed groups of individuals sharing patterns of neural brain activation.


title: Operads for Symmetric Monoidal Categories

abstract: This paper gives an explicit description of the categorical operad whose algebras are precisely symmetric monoidal categories. This allows us to place the operad in a sequence of four, and therefore a sequence of four successively stricter concepts of symmetric monoidal category. A companion paper will use this operadic presentation to describe a vast array of underlying multicategories for a symmetric monoidal category.


title: Cell-Free Massive MIMO in O-RAN: Energy-Aware Joint Orchestration of Cloud, Fronthaul, and Radio Resources

abstract: For the energy-efficient deployment of cell-free massive MIMO functionality in a practical wireless network, the end-to-end (from radio site to the cloud) energy-aware operation is essential. In line with the cloudification and virtualization in the open radio access networks (O-RAN), it is indisputable to envision prospective cell-free infrastructure on top of the O-RAN architecture. In this paper, we explore the performance and power consumption of cell-free massive MIMO technology in comparison with traditional small-cell systems, in the virtualized O-RAN architecture. We compare two different functional split options and different resource orchestration mechanisms. In the end-to-end orchestration scheme, we aim to minimize the end-to-end power consumption by jointly allocating the radio, optical fronthaul, and virtualized cloud processing resources. We compare end-to-end orchestration with two other schemes: i) "radio-only" where radio resources are optimized independently from the cloud and ii) "local cloud coordination" where orchestration is only allowed among a local cluster of radio units. We develop several algorithms to solve the end-to-end power minimization and sum spectral efficiency maximization problems. The numerical results demonstrate that end-to-end resource allocation with fully virtualized fronthaul and cloud resources provides a substantial additional power saving than the other resource orchestration schemes.


title: UN Handbook on Privacy-Preserving Computation Techniques

abstract: This paper describes privacy-preserving approaches for the statistical analysis. It describes motivations for privacy-preserving approaches for the statistical analysis of sensitive data, presents examples of use cases where such methods may apply and describes relevant technical capabilities to assure privacy preservation while still allowing analysis of sensitive data. Our focus is on methods that enable protecting privacy of data while it is being processed, not only while it is at rest on a system or in transit between systems. The information in this document is intended for use by statisticians and data scientists, data curators and architects, IT specialists, and security and information assurance specialists, so we explicitly avoid cryptographic technical details of the technologies we describe.


title: Using citation networks to evaluate the impact of text length on the identification of relevant concepts

abstract: The identification of the most significant concepts in unstructured data is of critical importance in various practical applications. Despite the large number of methods that have been put forth to extract the main topics of texts, a limited number of studies have probed the impact of the text length on the performance of keyword extraction (KE) methods. In this study, we adopted a network-based approach to evaluate whether keywords extracted from paper abstracts are compatible with keywords extracted from full papers. We employed a community detection method to identify groups of related papers in citation networks. These paper clusters were then employed to extract keywords from abstracts. Our results indicate that while the various community detection methods employed in our KE approach yielded similar levels of accuracy, a correlation analysis revealed that these methods produced distinct keyword lists for each abstract. We also observed that all considered approaches, however, reach low values of accuracy. Surprisingly, text clustering approaches outperformed all citation-based methods. The findings suggest that using different sources of information to extract keywords can lead to significant differences in performance. This effect can play an important role in applications relying upon the identification of relevant concepts.


title: Extended Adaptive Observer for Linear Systems with Overparametrization

abstract: Exponentially stable extended adaptive observer is proposed for a class of linear time-invariant systems with unknown parameters and overparameterization. It allows one to reconstruct unmeasured states and bounded external disturbance produced by a known linear exosystem with unknown initial conditions if a weak requirement of regressor finite excitation is met. In contrast to the existing solutions, the proposed observer reconstructs the original (physical) states of the system rather than the virtual one of its observer canonical form. Simulation results to validate the developed theory are presented.


title: A neural network for beam background decomposition in Belle II at SuperKEKB

abstract: We describe a neural network for predicting the background hit rate in the Belle II detector produced by the SuperKEKB electron-positron collider. The neural network, BGNet, learns to predict the individual contributions of different physical background sources, such as beam-gas scattering or continuous top-up injections into the collider, to Belle II sub-detector rates. The samples for learning are archived 1 Hz time series of diagnostic variables from the SuperKEKB collider subsystems and measured hit rates of Belle II used as regression targets. We test the learned model by predicting detector hit rates on archived data from different run periods not used during training. We show that a feature attribution method can help interpret the source of changes in the background level over time.


title: Evidence for excitonic insulator ground state in triangulene Kagome lattice

abstract: Electron-hole pair excitations in semiconductors have been predicted to be able to give rise to a highly correlated many-body ground state, the excitonic insulator (EI). Under appropriate conditions below a critical temperature (Tc), strongly bound electron-hole pairs spontaneously form and undergo a phase transition from a normal band insulator into an exciton condensate, transforming the parent material into a novel correlated insulator. Despite recent advances in spectroscopic tools, clear direct experimental evidence for the EI state has been elusive and is often obfuscated by accompanying electronic effects. Here we present the reticular bottom-up synthesis of a Kagome lattice of [4]triangulene, a two-dimensional (2D) covalent organic framework (COF) imbued with a deliberate excitonic instability excitons with binding energies larger than the bandgap arising from a pair of flat bands (FBs). Theoretical analyses based on first-principles calculations and scanning tunnelling spectroscopy (STS) reveal quasiparticle spectral signatures mixing valence (VB) and conduction (CB) characteristics of the FBs along with a non-trivial semiconducting gap that can only be explained by invoking many-body theory. Our findings spectroscopically corroborate the nature of a FB induced exciton insulator ground state and provide a robust yet highly tuneable platform for the exploration of correlated quasi boson physics in quantum materials.


title: An Overview of Privacy Dimensions on Industrial Internet of Things (IIoT)

abstract: Thanks to rapid technological developments, new innovative solutions and practical applications of the Industrial Internet of Things (IIoT) are being created, upgrading the structures of many industrial enterprises. IIoT brings the physical and digital environment together with minimal human intervention and profoundly transforms the economy and modern business. Data flowing through IIoT feed artificial intelligence tools, which perform intelligent functions such as performance tuning of interconnected machines, error correction, and preventive maintenance. However, IIoT deployments are vulnerable to sophisticated security threats at various levels of the connectivity and communications infrastructure they incorporate. The complex and often heterogeneous nature of chaotic IIoT infrastructures means that availability, confidentiality and integrity are difficult to guarantee. This can lead to potential mistrust of network operations, concerns about privacy breaches or loss of vital personal data and sensitive information of network end-users. This paper examines the privacy requirements of an IIoT ecosystem in industry standards. Specifically, it describes the industry privacy dimensions of the protection of natural persons through the processing of personal data by competent authorities for the prevention, investigation, detection or prosecution of criminal offences or the execution of criminal penalties. In addition, it presents an overview of the state-of-the-art methodologies and solutions for industrial privacy threats. Finally, it analyses the privacy requirements and suggestions for an ideal secure and private IIoT environment.


title: Summative Student Course Review Tool Based on Machine Learning Sentiment Analysis to Enhance Life Science Feedback Efficacy

abstract: Machine learning enables the development of new, supplemental, and empowering tools that can either expand existing technologies or invent new ones. In education, space exists for a tool that supports generic student course review formats to organize and recapitulate students' views on the pedagogical practices to which they are exposed. Often, student opinions are gathered with a general comment section that solicits their feelings towards their courses without polling specifics about course contents. Herein, we show a novel approach to summarizing and organizing students' opinions via analyzing their sentiment towards a course as a function of the language/vocabulary used to convey their opinions about a class and its contents. This analysis is derived from their responses to a general comment section encountered at the end of post-course review surveys. This analysis, accomplished with Python, LaTeX, and Google's Natural Language API, allows for the conversion of unstructured text data into both general and topic-specific sub-reports that convey students' views in a unique, novel way.


title: Energy-Efficient Physical Layer Security for Wearable IoT Devices

abstract: This work proposes an energy-efficient Directional Modulation (DM) scheme for on-body Internet of Things (IoT) devices. DM performance is tested using a 5-port stacked-patch MIMO antenna under two scenarios: a free space case and using a four-layer human forearm phantom to simulate the user's wrist. It is demonstrated that the scheme achieves steerable secure transmissions across the entire horizontal plane. With a low Bit Error Rate (BER) of ${1.5\times10^{-5}}$ at the desired directions, eavesdroppers experience a high error rate of up to ${0.498}$. Furthermore, this work investigates the DM performance using a subset of the stacked patches in the MIMO antenna, revealing that some combinations achieve a low BER performance using a lower antenna profile, albeit high side-lobes of BER${<10^{-2}}$ seen outside the desired region. Overall, the solution is proposed as a good candidate to enable secure wireless communications in emerging wearable IoT devices that are subject to size and energy constraints.


title: The cohomological dimension of the terms of the Johnson filtration

abstract: We prove that the $k$th term of the Johnson filtration of a closed, orientable surface of genus $g \geq 2$ has cohomological dimension $2g - 3$ for all $k \geq 3$ and $g \geq 2$. This answers a question of Farb and Bestvina--Bux--Margalit.


title: #EndSARS Protest: Discourse and Mobilisation on Twitter

abstract: Using the @NGRPresident Twitter handle, the Government of Nigeria issued a special directive banning Special Anti-Robbery Squad (SARS) with immediate effect. The SARS is a special police unit under the Nigeria Police Force tasked with the responsibility of fighting violent crimes. However, the unit has been accused of waves of human rights abuse across the nation. According to a report by Amnesty International, between January 2017 and May 2020, 82 cases of police brutality have been committed. This has led to one of the major protests demanding more measures to be taken. The #EndSARS hashtag was widely used by the protesters to amplify their messages and reach out to wider communities on Twitter. In this study, we present a critical analysis of how the online protest unfolded. Essentially, we examine how the protest evolves on Twitter, the nature of engagement with the protest themes, the factors influencing the protest and public perceptions about the online movement. We found that the mobilisation strategies include direct and indirect engagements with influential users, sharing direct stories and vicarious experiences. Also, there is evidence that suggests the deployment of automated accounts to promote the course of the protest. In terms of participation, over 70% of the protest is confined within a few states in Nigeria, and the diaspora communities also lent their voices to the movement. The most active users are not those with high followership, and the majority of the protesters utilised mobile devices, accounting for 88% to mobilise and report on the protest. We also examined how social media users interact with the movement and the response from the wider online communities. Needless to say, the themes in the online discourse are mostly about #EndSARS and vicarious experiences with the police, however, there are topics around police reform and demand for regime change.


title: Approximation and algebraicity in positive characteristic Hahn fields

abstract: We study the relative algebraic closure $K$ of $\bar{\mathbb{F}}_p((t))$ inside $\bar{\mathbb{F}}((t^{\mathbb{Q}}))$. We show that the supports of elements in $K$ have order type strictly less than $\omega^\omega$. We also recover a theorem by Rayner giving a bound to the ramification away from $p$ in the support of elements in $K$, and an analogue of Rayner's result for the residue field. This work has applications to the decidability of the first order theory of $\mathbb{F}_p((t^{\mathbb{Q}}))$, and other tame fields, in the language of valued fields with a constant symbol for $t$.


title: Bike Frames: Understanding the Implicit Portrayal of Cyclists in the News

abstract: Increasing the number of cyclists, whether for general transport or recreation, can provide health improvements and reduce the environmental impact of vehicular transportation. However, the public's perception of cycling may be driven by the ideologies and reporting standards of news agencies. For instance, people may identify cyclists on the road as "dangerous" if news agencies overly report cycling accidents, limiting the number of people that cycle for transportation. Moreover, if fewer people cycle, there may be less funding from the government to invest in safe infrastructure. In this paper, we explore the perceived perception of cyclists within news headlines. To accomplish this, we introduce a new dataset, "Bike Frames", that can help provide insight into how headlines portray cyclists and help detect accident-related headlines. Next, we introduce a multi-task (MT) regularization approach that increases the detection accuracy of accident-related posts, demonstrating improvements over traditional MT frameworks. Finally, we compare and contrast the perceptions of cyclists with motorcyclist-related headlines to ground the findings with another related activity for both male- and female-related posts. Our findings show that general news websites are more likely to report accidents about cyclists than other events. Moreover, cyclist-specific websites are more likely to report about accidents than motorcycling-specific websites, even though there is more potential danger for motorcyclists. Finally, we show substantial differences in the reporting about male vs. female-related persons, e.g., more male-related cyclists headlines are related to accidents, but more female-related motorcycling headlines about accidents. WARNING: This paper contains descriptions of accidents and death.


title: Equitable Data-Driven Facility Location and Resource Allocation to Fight the Opioid Epidemic

abstract: The opioid epidemic is a crisis that has plagued the United States (US) for decades. One central issue is inequitable access to treatment for opioid use disorder (OUD), which puts certain populations at a higher risk of opioid overdose. We integrate a predictive dynamical model and a prescriptive optimization problem to compute high-quality opioid treatment facility and treatment budget allocations for each US state. Our predictive model is a differential equation-based epidemiological model that captures opioid epidemic dynamics. We use a process inspired by neural ODEs to fit this model to opioid epidemic data for each state and obtain estimates for unknown parameters in the model. We then incorporate this epidemiological model into a mixed-integer optimization problem (MIP) that aims to minimize opioid overdose deaths and the number of people with OUD. We develop strong relaxations based on McCormick envelopes to efficiently compute approximate solutions to our MIPs with a mean optimality gap of 3.99%. Our method provides socioeconomically equitable solutions, as it incentivizes investments in areas with higher social vulnerability (from the US Centers for Disease Control's Social Vulnerability Index) and opioid prescribing rates. On average, our approach decreases the number of people with OUD by 9.03 $\pm$ 1.772%, increases the number of people in treatment by 88.75 $\pm$ 26.223%, and decreases opioid-related deaths by 0.58 $\pm$ 0.111% after 2 years compared to baseline epidemiological model predictions. Our solutions show that policy-makers should target adding treatment facilities to counties that have fewer facilities than their population share and are more socially vulnerable. We demonstrate that our optimization approach should help inform these decisions, as it yields population health benefits in comparison to benchmarks based solely on population and social vulnerability.