title: Covariant formulation of spin optics for electromagnetic waves

abstract: We develop geometric optics expansion up to the subleading order for circularly polarized electromagnetic waves on curved spacetime. This subleading order geometric optics expansion, in which the conventional eikonal function is modified by inserting a carefully chosen helicity-dependent correction, is called spin optics. We derive the propagation and polarization equations in the spin optics approximation as electromagnetic waves travel in curved spacetime. Polarization-dependent deviation of the light ray trajectory from the geodesic, describing the gravitational spin Hall effect, is observed. We also establish an analogy with the related phenomena (optical Magnus effect) of condensed matter physics.


title: Deep Patch Visual Odometry

abstract: We propose Deep Patch Visual Odometry (DPVO), a new deep learning system for monocular Visual Odometry (VO). DPVO uses a novel recurrent network architecture designed for tracking image patches across time. Recent approaches to VO have significantly improved the state-of-the-art accuracy by using deep networks to predict dense flow between video frames. However, using dense flow incurs a large computational cost, making these previous methods impractical for many use cases. Despite this, it has been assumed that dense flow is important as it provides additional redundancy against incorrect matches. DPVO disproves this assumption, showing that it is possible to get the best accuracy and efficiency by exploiting the advantages of sparse patch-based matching over dense flow. DPVO introduces a novel recurrent update operator for patch based correspondence coupled with differentiable bundle adjustment. On Standard benchmarks, DPVO outperforms all prior work, including the learning-based state-of-the-art VO-system (DROID) using a third of the memory while running 3x faster on average. Code is available at https://github.com/princeton-vl/DPVO


title: Responsible Urban Intelligence: Towards a Research Agenda

abstract: Acceleration of urbanisation is posing great challenges to sustainable development. Growing accessibility to big data and artificial intelligence (AI) technologies have revolutionised many fields and offered great potential for addressing pressing urban problems. However, using these technologies without explicitly considering responsibilities would bring new societal and environmental issues. To maximise the benefits of big data and AI while minimising potential issues, we envisage a conceptual framework of Responsible Urban Intelligence (RUI) and advocate an agenda for action. We first define RUI as consisting of three major components including urban problems, enabling technologies, and responsibilities; then introduce transparency, fairness, and eco-friendliness as the three dimensions of responsibilities which naturally link with the human, space, and time dimensions of cities; and further develop a four-stage implementation framework for responsibilities as consisting of solution design, data preparation, model building, and practical application; and finally present a research agenda for RUI addressing challenging issues including data and model transparency, tension between performance and fairness, and solving urban problems in an eco-friendly manner.


title: A New Approach to Line-Sphere and Line-Quadrics Intersection Detection and Computation

abstract: Line intersection with convex and un-convex polygons or polyhedron algorithms are well known as line clipping algorithms and very often used in computer graphics. Rendering of geometrical problems often leads to ray tracing techniques, when an intersection of many lines with spheres or quadrics is a critical issue due to ray-tracing algorithm complexity. A new formulation of detection and computation of the intersection of line (ray) with a quadric surface is presented, which separates geometric properties of the line and quadrics that enables pre-computation. The presented approach is especially convenient for implementation with SSE instructions or on GPU


title: New Geometric Continuity Solution of Parametric Surfaces

abstract: This paper presents a new approach to computation of geometric continuity for parametric bi-cubic patches, based on a simple mathematical reformulation which leads to simple additional conditions to be applied in the patching computation. The paper presents an Hermite formulation of a bicubic parametric patch, but reformulations can be made also for B\'ezier and B-Spline patches as well. The presented approach is convenient for the cases when valencies of corners are different from the value 4, in general.


title: Fast O_{expected}(N) Algorithm for Finding Exact Maximum Distance in E^2 Instead of O(N^2) or O(N lg N)

abstract: This paper describes novel and fast, simple and robust algorithm with O(N) expected complexity which enables to decrease run-time needed to find an exact maximum distance of two points in E2. The proposed algorithm has been evaluated experimentally on larger different datasets. The proposed algorithm gives a significant speed-up to applications, when medium and large data sets are processed. It is over 10 000 times faster than the standard algorithm for 10^6 points randomly distributed points in E2. Experiments proved the advantages of the proposed algorithm over the standard algorithm and convex hull diameters approaches.


title: Multipartite Nonlocality in Clifford Networks

abstract: We adopt a resource-theoretic framework to classify different types of quantum network nonlocality in terms of operational constraints placed on the network. One type of constraint limits the parties to perform local Clifford gates on pure stabilizer states, and we show that quantum network nonlocality cannot emerge in this setting. Yet, if the constraint is relaxed to allow for mixed stabilizer states, then network nonlocality can indeed be obtained. We additionally show that bipartite entanglement is sufficient for generating all forms of quantum network nonlocality when allowing for post-selection, a property analogous to the universality of bipartite entanglement for generating all forms of multipartite entangled states.


title: Efficient Novelty Detection Methods for Early Warning of Potential Fatal Diseases

abstract: Fatal diseases, as Critical Health Episodes (CHEs), represent real dangers for patients hospitalized in Intensive Care Units. These episodes can lead to irreversible organ damage and death. Nevertheless, diagnosing them in time would greatly reduce their inconvenience. This study therefore focused on building a highly effective early warning system for CHEs such as Acute Hypotensive Episodes and Tachycardia Episodes. To facilitate the precocity of the prediction, a gap of one hour was considered between the observation periods (Observation Windows) and the periods during which a critical event can occur (Target Windows). The MIMIC II dataset was used to evaluate the performance of the proposed system. This system first includes extracting additional features using three different modes. Then, the feature selection process allowing the selection of the most relevant features was performed using the Mutual Information Gain feature importance. Finally, the high-performance predictive model LightGBM was used to perform episode classification. This approach called MIG-LightGBM was evaluated using five different metrics: Event Recall (ER), Reduced Precision (RP), average Anticipation Time (aveAT), average False Alarms (aveFA), and Event F1-score (EF1-score). A method is therefore considered highly efficient for the early prediction of CHEs if it exhibits not only a large aveAT but also a large EF1-score and a low aveFA. Compared to systems using Extreme Gradient Boosting, Support Vector Classification or Naive Bayes as a predictive model, the proposed system was found to be highly dominant. It also confirmed its superiority over the Layered Learning approach.


title: Secure Implementation of a Vehicular Application for the Symbian Platform

abstract: A vehicular ad-hoc network is a type of communication network where the nodes are vehicles. Their aim is to manage traffic efficiently in order to prevent unwanted events such as accidents, jams, etc. The research on this type of networks assumes the use of additional infrastructure installed on the roads, and special devices installed in vehicles. In this paper we propose a novel solution for the deployment of vehicular networks, which uses only existing smartphones with technologies such as Wi-Fi, GPS and Bluetooth. This approach will save the costs of road infrastructure deployment and extra vehicles devices, making it possible to deploy the first real-world vehicular ad-hoc network with a low cost. In particular, the developed implementation of the proposal for the Symbian platform is here examined in full detail.


title: Weak Equivalents for Nonlinear Filtering Functions

abstract: The application of a nonlinear filtering function to a Linear Feedback Shift Register (LFSR) is a general technique for designing pseudorandom sequence generators with cryptographic application. In this paper, we investigate the equivalence between different nonlinear filtering functions applied to distinct LFSRs. It is a well known fact that given a binary sequence generated from a pair (nonlinear filtering function, LFSR), the same sequence can be generated from any other LFSR of the same length by using another filtering function. However, until now no solution has been found for the problem of computing such an equivalent. This paper analyzes the specific case in which the reciprocal LFSR of a given register is used to generate an equivalent of the original nonlinear filtering function. The main advantage of the contribution is that weaker equivalents can be computed for any nonlinear filter, in the sense that such equivalents could be used to cryptanalyze apparently secure generators. Consequently, to evaluate the cryptographic resistance of a sequence generator, the weakest equivalent cipher should be determined and not only a particular instance.


title: Anisotropic Strange Star Model Beyond Standard Maximum Mass Limit by Gravitational Decoupling in $f(Q)$ Gravity

abstract: The current theoretical development identified as the gravitational decoupling via Complete Geometric Deformation (CGD) method that has been introduced to explore the nonmetricity $Q$ effects in relativistic astrophysics. In the present work, we have investigated the gravitationally decoupled anisotropic solutions for the strange star in the framework of $f(Q)$ gravity by utilizing the CGD technique. To do this, we started with Tolman metric ansatz along with the MIT Bag model equation of state related to the hadronic matter. The solutions of the governing equations of motions are obtained by using two approaches, namely the mimicking of the $\theta$ sector to the seed radial pressure and energy density of the fluid model. The obtained models describe the self-gravitating static, compact objects whose exterior solution can be given by the vacuum Schwarzschild Anti-de Sitter spacetime. In particular, we modeled five stellar candidates, viz., LMC X-4, PSR J1614-2230, PSR J0740+6620, GW190814, and GW 170817 by using the observational data. The rigorous viability tests of the solutions have been performed through regularity and stability conditions. We observed that the nonmetricity parameter and decoupling constant show a significant effect on stabilizing to ensure the physically realizable stellar models. The innovative feature of this work is to present the stable compact objects with the masses beyond the $2 M_{\odot}$ without engaging of exotic matter. Therefore, the present study shows a new perception and physical significance about the exploration of ultra-compact astrophysical objects.


title: QED vacuum nonlinearity in Laguerre-Gauss beams

abstract: We investigate in detail the stimulated photon emission in pulse-shaped Laguerre-Gauss beams of arbitrary mode decomposition within the framework of Euler-Heisenberg effective theory. We elaborate on the analytic structure of the photon emission amplitude and identify its dominant and sub-dominant parts by analyzing each signature's phase scaling. We identify three distinct nonlinear signatures: the orbital angular momentum (OAM) flip ($\ell:1 \rightarrow -1$) , higher harmonic generation ($\ell:1 \rightarrow 2$) and harmonic reduction ($\ell:1 \rightarrow 0$). We estimate signal photon yield for each signature under various pulse collision scenarios we explain in detail. We also outline a prospective experimental setup that may probe these signatures.


title: On decomposition for pairs of twisted contractions

abstract: This paper presents Wold-type decomposition for various pairs of twisted contractions on Hilbert spaces. As a consequence, we obtain Wold-type decomposition for pairs of doubly twisted isometries and in particular, new and simple proof of S\l{}o\'{c}inski's theorem for pairs of doubly commuting isometries are provided. We also achieve an explicit decomposition for pairs of twisted contractions such that the c.n.u. parts of the contractions are in $C_{00}$. It is shown that for a pair $(T,V^*)$ of twisted operators with $T$ as a contraction and $V$ as an isometry, there exists a unique (upto unitary equivalence) pair of doubly twisted isometries on the minimal isometric dilation space of $T$. As an application, we prove that pairs of twisted operators consisting of an isometry and a co-isometry are doubly twisted. Finally, we have given a characterization for pairs of doubly twisted isometries.


title: Long-Term Mentoring for Computer Science Researchers

abstract: Early in the pandemic, we -- leaders in the research areas of programming languages (PL) and computer architecture (CA) -- realized that we had a problem: the only way to form new lasting connections in the community was to already have lasting connections in the community. Both of our academic communities had wonderful short-term mentoring programs to address this problem, but it was clear that we needed long-term mentoring programs. Those of us in CA approached this scientifically, making an evidence-backed case for community-wide long-term mentoring. In the meantime, one of us in PL had impulsively launched an unofficial long-term mentoring program, founded on chaos and spreadsheets. In January 2021, the latter grew to an official cross-institutional long-term mentoring program called SIGPLAN-M; in January 2022, the former grew to Computer Architecture Long-term Mentoring (CALM). The impacts have been strong: SIGPLAN-M reaches 328 mentees and 234 mentors across 41 countries, and mentees have described it as "life changing" and "a career saver." And while CALM is in its pilot phase -- with 13 mentors and 21 mentees across 7 countries -- it has received very positive feedback. The leaders of SIGPLAN-M and CALM shared our designs, impacts, and challenges along the way. Now, we wish to share those with you. We hope this will kick-start a larger long-term mentoring effort across all of computer science.


title: The graded structure of Leavittt path algebras viewed as partial skew group rings

abstract: Let $E$ be a directed graph, $\mathbb K$ be a field, and $\mathbb F$ be the free group on the edges of $E$. In this work, we use the isomorphism between Leavitt path algebras and partial skew group rings to endow $L_{\mathbb K}(E)$ with an $\mathbb F$-gradation and study some algebraic properties of this gradation. More precisely, we show that graded cleanness, graded unit-regularity, and strong gradeness of $L_{\mathbb K}(E)$ are all equivalent.


title: Aesthetic Language Guidance Generation of Images Using Attribute Comparison

abstract: With the vigorous development of mobile photography technology, major mobile phone manufacturers are scrambling to improve the shooting ability of equipments and the photo beautification algorithm of software. However, the improvement of intelligent equipments and algorithms cannot replace human subjective photography technology. In this paper, we propose the aesthetic language guidance of image (ALG). We divide ALG into ALG-T and ALG-I according to whether the guiding rules are based on photography templates or guidance images. Whether it is ALG-T or ALG-I, we guide photography from three attributes of color, lighting and composition of the images. The differences of the three attributes between the input images and the photography templates or the guidance images are described in natural language, which is aesthetic natural language guidance (ALG). Also, because of the differences in lighting and composition between landscape images and portrait images, we divide the input images into landscape images and portrait images. Both ALG-T and ALG-I conduct aesthetic language guidance respectively for the two types of input images (landscape images and portrait images).


title: Lisbon Hotspots: Wi-Fi access point dataset for time-bound location proofs

abstract: Wi-Fi hotspots are a valuable resource for people on the go, especially tourists, as they provide a means to connect personal devices to the Internet. This extra connectivity can be helpful in many situations, e.g., to enable map and chat applications to operate outdoors when cellular connectivity is unavailable or is expensive. Retail stores and many public services have recognized that hotspots have potential to attract and retain customers, so many of them offer free and open Wi-Fi. In busy cities, with many locals and visitors, the number of hotspots is very significant. Some of these hotspots are available for long periods of time, while others are short-lived. When we have many users with devices collecting hotspot observations, they can be used to detect the location -- using the long-lived hotspots -- and to prove the time when the location was visited -- using the short-lived hotspots observed by others users at the location. In this article, we present a dataset of collected Wi-Fi data from the most important tourist locations in the city of Lisbon, Portugal, over a period of months, that was used to show the feasibility of using hotspot data for location detection and proof. The obtained data and algorithms were assessed for a specific use case: smart tourism. We also present the data model used to store the observations and the algorithms developed to detect and prove location of a user device at a specific time. The Lisbon Hotspots dataset, LXspots, is made publicly available to the scientific community so that other researchers can also make use of it to develop new and innovative mobile and Internet of Things applications.


title: Enhanced phase estimation in parity detection based Mach-Zehnder interferometer using non-Gaussian two-mode squeezed thermal input state

abstract: While the quantum metrological advantages of performing non-Gaussian operations on two-mode squeezed vacuum (TMSV) states have been extensively explored, similar studies in the context of two-mode squeezed thermal (TMST) states are severely lacking. In this paper, we explore the potential advantages of performing non-Gaussian operations on TMST state for phase estimation using parity detection based Mach-Zehnder interferometry. To this end, we consider the realistic model of photon subtraction, addition, and catalysis. We first provide a derivation of the unified Wigner function of the photon subtracted, photon added and photon catalyzed TMST state, which to the best of our knowledge is not available in the existing literature. This Wigner function is then used to obtain the expression for the phase sensitivity. Our results show that performing non-Gaussian operations on TMST states can enhance the phase sensitivity for significant ranges of squeezing and transmissivity parameters. We also observe that incremental advantage provided by performing these non-Gaussian operations on the TMST state is considerably higher than that of performing these operations on the TMSV state. Because of the probabilistic nature of these operations, it is of utmost importance to take their success probability into account. We identify the photon catalysis operation performed using a high transmissivity beam splitter as the optimal non-Gaussian operation when the success probability is taken into account. This is in contrast to the TMSV case, where we observe photon addition to be the most optimal. These results will be of high relevance for any future phase estimation experiments involving TMST states. Further, the derived Wigner function of the non-Gaussian TMST states will be useful for state characterization and its application in various quantum information protocols.


title: Separable Shape Tensors for Aerodynamic Design

abstract: Airfoil shape design is a classical problem in engineering and manufacturing. In this work, we combine principled physics-based considerations for the shape design problem with modern computational techniques using a data-driven approach. Modern and traditional analyses of 2D and 3D aerodynamic shapes reveal a flow-based sensitivity to specific deformations that can be represented generally by affine transformations (rotation, scaling, shearing, translation). We present a novel representation of shapes that decouples affine-style deformations over a submanifold and a product submanifold principally of the Grassmannian. As an analytic generative model, the separable representation, informed by a database of physically relevant airfoils, offers (i) a rich set of novel 2D airfoil deformations not previously captured in the data, (ii) an improved low-dimensional parameter domain for inferential statistics informing design/manufacturing, and (iii) consistent 3D blade representation and perturbation over a sequence of nominal 2D shapes.


title: Non-Relativistic Particle under the Influence of Aharonov-Bohm Flux Field Subject to Physical Potentials and the Nikiforov-Uvarov Method

abstract: In this work, the non-relativistic wave equation via the Schr\"{o}dinger wave equation under the influence of the Aharonov-Bohm flux field Subject to physical potentials of various kinds is investigated. These potentials are modified Coulomb potential, modified harmonic oscillator potential, the Kratzer-Feus potential, and the Mie-type potential which have wide applications in different branches of physics and chemistry. We solve the Schrodinger wave equation using the Nikiforov-Uvarov (NU) method and obtain the energy profiles and the wave function of the non-relativistic particle, and analyze the effects of potential and the quantum flux on them. We show that each non-relativistic energy level gets modified in comparison to the known results obtained in the literature.


title: Entanglement Universality of TGX States in Qubit-Qutrit Systems

abstract: We prove that all states (mixed or pure) of qubit-qutrit ($2\times 3$) systems have entanglement-preserving unitary (EPU) equivalence to a compact subset of true-generalized X (TGX) states called EPU-minimal TGX states which we give explicitly. Thus, for any spectrum-entanglement combination achievable by general states, there exists an EPU-minimal TGX state of the same spectrum and entanglement. We use I-concurrence to measure entanglement and give an explicit formula for it for all $2\times 3$ minimal TGX states (a more general set than EPU-minimal TGX states) whether mixed or pure, yielding its minimum average value over all decompositions. We also give a computable I-concurrence formula for a more general family called minimal super-generalized X (SGX) states, and give optimal decompositions for minimal SGX states and all of their subsets.


title: Schrieffer-Wolff Transformation on IBM Quantum Computer

abstract: Schrieffer-Wolff transformation (SWT) has been extensively used in quantum many-body physics to calculate the low energy effective Hamiltonian. It provides a perturbative method to comprehend the renormalization effects of strong correlations in the quantum many-body models. The generator for Schrieffer-Wolff transformation is calculated usually by heuristic methods. Recently, a systematic and elegant method for the calculation of this extremely significant transformation has been reported [1]. Given the huge significance of SWT for many areas including quantum condensed matter physics, quantum optics and quantum cavity electrodynamics, it is imperative to develop quantum algorithm for carrying out SWT on quantum computer. In this paper, we put forward this quantum algorithm and demonstrate it for single impurity Anderson model (SIAM), thereby arriving at Kondo model as effective Hamiltonian. We implement our quantum algorithm in QisKit and carry out SWT for SIAM on IBM Quantum computers. To the best of our knowledge, this work is the first of its kind to obtain Kondo model from Anderson impurity model using a quantum algorithm.


title: Quantum entanglement: an overview of the separability problem in two quantum bits

abstract: The separability problem is one of the basic and emergent problems in the present and future quantum information processing. The latter focuses on information and computing based on quantum mechanics and uses quantum bits as its basic information units. In this paper, we present an overview of the progress in the separability problem in bipartite systems, more specifically in two quantum bits systems from the criterion based on the inequalities of Bell in $1964$ to the recent criteria of separability in 2018.


title: Nonlinear focusing of supercontinuum driven by intense mid-infrared pulses in gas-filled capillaries

abstract: Strong mid-infrared light-matter interaction has attracted extensive attention as it opens up new frontiers in nonlinear optics. Here we observe through simulations a novel aspect of mid-infrared pulse dynamics in a high-pressure gas-filled capillary, where a pulse with a power well below the critical power for Kerr self-focusing undergoes an astonishing rise of the peak intensity following an extremely efficient spectral broadening. This intensity enhancement is attributed to the Kerr-induced focusing of the supercontinuum. Our study provides an interesting perspective for controlling the laser intensity with possible applications in nonlinear light conversion driven by mid-infrared pulses.


title: Where's the Learning in Representation Learning for Compositional Semantics and the Case of Thematic Fit

abstract: Observing that for certain NLP tasks, such as semantic role prediction or thematic fit estimation, random embeddings perform as well as pretrained embeddings, we explore what settings allow for this and examine where most of the learning is encoded: the word embeddings, the semantic role embeddings, or ``the network''. We find nuanced answers, depending on the task and its relation to the training objective. We examine these representation learning aspects in multi-task learning, where role prediction and role-filling are supervised tasks, while several thematic fit tasks are outside the models' direct supervision. We observe a non-monotonous relation between some tasks' quality score and the training data size. In order to better understand this observation, we analyze these results using easier, per-verb versions of these tasks.


title: Diffuse radio source candidate in CIZA J1358.9-4750

abstract: We report on results of our upgraded Giant Metrewave Radio Telescope (uGMRT) observations for an early-stage merging galaxy cluster, CIZA J1358.9-4750 (CIZA1359), in Band-3 (300--500 MHz). We achieved the image dynamic range of $\sim 38,000$ using the direction dependent calibration and found a candidate of diffuse radio emission at 4~$\sigma_{rms}$ significance. The flux density of the candidate at 400~MHz, $24.04 \pm 2.48$~mJy, is significantly positive compared to noise, where its radio power, $2.40 \times 10^{24}$~W~Hz$^{-1}$, is consistent with those of typical diffuse radio sources of galaxy clusters. The candidate is associated with a part of the X-ray shock front at which the Mach number reaches its maximum value of $\mathcal{M}\sim 1.7$. The spectral index ($F_\nu \propto \nu^{\alpha}$) of the candidate, $\alpha = - 1.22 \pm 0.33$, is in agreement with an expected value derived from the standard diffusive shock acceleration (DSA) model. But such a low Mach number with a short acceleration time would require seed cosmic-rays supplied from active galactic nucleus (AGN) activities of member galaxies, as suggested in some other clusters. Indeed, we found seven AGN candidates inside the diffuse source candidate. Assuming the energy equipartition between magnetic fields and cosmic-rays, the magnetic field strength of the candidate was estimated to be $2.1~\mu$G. We also find head-tail galaxies and radio phoenixes or fossils near the CIZA1359.


title: Sampling algorithms in statistical physics: a guide for statistics and machine learning

abstract: We discuss several algorithms for sampling from unnormalized probability distributions in statistical physics, but using the language of statistics and machine learning. We provide a self-contained introduction to some key ideas and concepts of the field, before discussing three well-known problems: phase transitions in the Ising model, the melting transition on a two-dimensional plane and simulation of an all-atom model for liquid water. We review the classical Metropolis, Glauber and molecular dynamics sampling algorithms before discussing several more recent approaches, including cluster algorithms, novel variations of hybrid Monte Carlo and Langevin dynamics and piece-wise deterministic processes such as event chain Monte Carlo. We highlight cross-over with statistics and machine learning throughout and present some results on event chain Monte Carlo and sampling from the Ising model using tools from the statistics literature. We provide a simulation study on the Ising and XY models, with reproducible code freely available online, and following this we discuss several open areas for interaction between the disciplines that have not yet been explored and suggest avenues for doing so.


title: Incompleteness for stably computable formal systems

abstract: We prove, for stably computably enumerable formal systems, direct analogues of the first and second incompleteness theorems of G\"odel. A typical stably computably enumerable set is the set of Diophantine equations with no integer solutions, and in particular such sets are generally not computably enumerable. And so this gives the first extension of the second incompleteness theorem to non classically computable formal systems. Let's motivate this with a somewhat physical application. Let $\mathcal{H} $ be the suitable infinite time limit (stabilization in the sense of the paper) of the mathematical output of humanity, specializing to first order sentences in the language of arithmetic (for simplicity), and understood as a formal system. Suppose that all the relevant physical processes in the formation of $\mathcal{H} $ are Turing computable. Then as defined $\mathcal{H} $ may \emph{not} be computably enumerable, but it is stably computably enumerable. Thus, the classical G\"odel disjunction applied to $\mathcal{H} $ is meaningless, but applying our incompleteness theorems to $\mathcal{H} $ we then get a sharper version of G\"odel's disjunction: assume $\mathcal{H} \vdash PA$ then either $\mathcal{H} $ is not stably computably enumerable or $\mathcal{H} $ is not 1-consistent (in particular is not sound) or $\mathcal{H} $ cannot prove a certain true statement of arithmetic (and cannot disprove it if in addition $\mathcal{H} $ is 2-consistent).


title: Defected photonic crystal-based sensor with enhanced performance

abstract: We propose an improved structure of an optical biosensor based on a photonic crystal (PC) with a defect layer (DL), which can detect the concentration of SARS-CoV-2 in water by defect mode (DM) shift. We investigated 4 types of defective PCs with different arrangements of layers inside the perfect PCs and their impact on the performance of the sensor. The sensitivity and amplitude of DM were examined as a function of DL thickness. Also, the peculiarities of edge modes in the presence of DL were investigated. Finally, we obtained a characteristic equation to determine the wavelengths of DMs for an arbitrary 1D PC with an isotropic defect inside.


title: EM algorithm for generalized Ridge regression with spatial covariates

abstract: The generalized Ridge penalty is a powerful tool for dealing with overfitting and for high-dimensional regressions. The generalized Ridge regression can be derived as the mean of a posterior distribution with a Normal prior and a given covariance matrix. The covariance matrix controls the structure of the coefficients, which depends on the particular application. For example, it is appropriate to assume that the coefficients have a spatial structure in spatial applications. This study proposes an expectation-maximization algorithm for estimating generalized Ridge parameters whose covariance structure depends on specific parameters. We focus on three cases: diagonal (when the covariance matrix is diagonal with constant elements), Mat\'ern, and conditional autoregressive covariances. A simulation study is conducted to evaluate the performance of the proposed method, and then the method is applied to predict ocean wave heights using wind conditions.


title: Characterisations for uniform amenability

abstract: In this paper, we provide several characterisations for uniform amenability concerning a family of finitely generated groups. More precisely, we show that the Hulanicki-Reiter condition for uniform amenability can be weakened in several directions, including cardinalities of supports and certain operator norms.


title: DDSP-based Singing Vocoders: A New Subtractive-based Synthesizer and A Comprehensive Evaluation

abstract: A vocoder is a conditional audio generation model that converts acoustic features such as mel-spectrograms into waveforms. Taking inspiration from Differentiable Digital Signal Processing (DDSP), we propose a new vocoder named SawSing for singing voices. SawSing synthesizes the harmonic part of singing voices by filtering a sawtooth source signal with a linear time-variant finite impulse response filter whose coefficients are estimated from the input mel-spectrogram by a neural network. As this approach enforces phase continuity, SawSing can generate singing voices without the phase-discontinuity glitch of many existing vocoders. Moreover, the source-filter assumption provides an inductive bias that allows SawSing to be trained on a small amount of data. Our experiments show that SawSing converges much faster and outperforms state-of-the-art generative adversarial network and diffusion-based vocoders in a resource-limited scenario with only 3 training recordings and a 3-hour training time.


title: Direct Centroidal Control for Balanced Humanoid Locomotion

abstract: We present an integrated approach to locomotion and balancing of humanoid robots based on direct centroidal control. Our method uses a five-mass description of a humanoid. It generates whole-body motions from desired foot trajectories and centroidal parameters of the robot. A set of simplified models is used to formulate general and intuitive control laws, which are then applied in real-time for estimating and regulating the center of mass position and orientation of the multibody's principal axes of inertia. The combination of proposed algorithms produces a stretched-leg gait with naturally looking upper body motions. As only a 6-axis IMU and joint encoders are necessary for the implementation, the portability between robots is high. Our method has been experimentally verified using an igus Humanoid Open Platform, demonstrating whole-body locomotion and push rejection capabilities.


title: Characterizing and Understanding HGNNs on GPUs

abstract: Heterogeneous graph neural networks (HGNNs) deliver powerful capacity in heterogeneous graph representation learning. The execution of HGNNs is usually accelerated by GPUs. Therefore, characterizing and understanding the execution pattern of HGNNs on GPUs is important for both software and hardware optimizations. Unfortunately, there is no detailed characterization effort of HGNN workloads on GPUs. In this paper, we characterize HGNN workloads at inference phase and explore the execution of HGNNs on GPU, to disclose the execution semantic and execution pattern of HGNNs. Given the characterization and exploration, we propose several useful guidelines for both software and hardware optimizations for the efficient execution of HGNNs on GPUs.


title: Unifying High- and Low-resolution Observations to Constrain the Dayside Atmosphere of KELT-20b/MASCARA-2b

abstract: We present high-resolution dayside thermal emission observations of the exoplanet KELT-20b/MASCARA-2b using the MAROON-X spectrograph. Applying the cross-correlation method with both empirical and theoretical masks and a retrieval analysis, we confirm previous detections of Fe\,\textsc{i} emission lines and we detect Ni\,\textsc{i} for the first time in the planet (at 4.7$\sigma$ confidence). We do not see evidence for additional species in the MAROON-X data, including notably predicted thermal inversion agents TiO and VO, their atomic constituents Ti\,\textsc{i} and V\,\textsc{i}, and previously claimed species Fe\,\textsc{ii} and Cr\,\textsc{i}. We also perform a joint retrieval with existing \textit{Hubble Space Telescope}/WFC3 spectroscopy and \textit{Spitzer}/IRAC photometry. This allows us to place bounded constraints on the abundances of Fe\,\textsc{i}, H$_2$O, and CO, and to place a stringent upper limit on the TiO abundance. The results are consistent with KELT-20b having a solar to slightly super-solar composition atmosphere in terms of the bulk metal enrichment, and the carbon-to-oxygen and iron-to-oxygen ratios. However, the TiO volume mixing ratio upper limit (10$^{-7.6}$ at 99\% confidence) is inconsistent with this picture, which, along with the non-detection of Ti\,\textsc{i}, points to sequestration of Ti species, possibly due to nightside condensation. The lack of TiO but the presence of a large H$_2$O emission feature in the WFC3 data is challenging to reconcile within the context of 1D self-consistent, radiative-convective models.


title: Time Lag Aware Sequential Recommendation

abstract: Although a variety of methods have been proposed for sequential recommendation, it is still far from being well solved partly due to two challenges. First, the existing methods often lack the simultaneous consideration of the global stability and local fluctuation of user preference, which might degrade the learning of a user's current preference. Second, the existing methods often use a scalar based weighting schema to fuse the long-term and short-term preferences, which is too coarse to learn an expressive embedding of current preference. To address the two challenges, we propose a novel model called Time Lag aware Sequential Recommendation (TLSRec), which integrates a hierarchical modeling of user preference and a time lag sensitive fine-grained fusion of the long-term and short-term preferences. TLSRec employs a hierarchical self-attention network to learn users' preference at both global and local time scales, and a neural time gate to adaptively regulate the contributions of the long-term and short-term preferences for the learning of a user's current preference at the aspect level and based on the lag between the current time and the time of the last behavior of a user. The extensive experiments conducted on real datasets verify the effectiveness of TLSRec.


title: Digital health shopping assistant with React Native: a simple technological solution to a complex health problem

abstract: Today, more and more people are reporting allergies, which can range from simple reactions close to discomfort to anaphylactic shocks. Other people may not be allergic but avoid certain foods for personal reasons. Daily food shopping of these people is hampered by the fact that unwanted ingredients can be hidden in any food, and it is difficult to find them all. The paper presents a digital health shopping assistant called "Diet Helper", aimed to make life easier for such people by making it easy to determine whether a product is suitable for consumption, according to the specific dietary requirements of both types - existing diet and self-defined. This is achieved by capturing ingredient label, received by the app as an input, which the app analyses, converting the captured label to text, and filters out unwanted ingredients that according to the user should be avoided as either allergens or products to which the consumer is intolerant etc, helping the user decide if the product is suitable for consumption. This should make daily grocery shopping easier by providing the user with more accurate and simplified product selection in seconds, reducing the total time spent in the grocery stores, which is especially relevant in light of COVID-19, although it was and will remain out of it due to the busy schedules and active rhythm of life of modern society. The app is developed using the React Native framework and Google Firebase platform, which makes it easy to develop, use and extend such solutions thereby encouraging to start actively developing solutions that could improve wellbeing.


title: Properties of synchronous collisions of solitons in the Korteweg - de Vries equation

abstract: Synchronous collisions of solitons of the Korteweg -- de Vries equation are considered as a representative example of the interaction of a large number of solitons in a soliton gas. Statistical properties of the soliton field are examined for a model distribution of soliton amplitudes according to a power law. $N$-soliton solutions ($N \le 50$) are constructed with the help of a numerical procedure using the Darboux transformation and 100-digits arithmetic. It is shown that there exist qualitatively different patterns of evolving multisoliton solutions depending on the amplitude distribution. Collisions of a large number of solitons lead to the decrease of values of statistical moments (the orders from 3 to 7 have been considered). The statistical moments are shown to exhibit long intervals of quasi-stationary behavior in the case of a sufficiently large number of interacting solitons with close amplitudes. These intervals can be characterized by the maximum value of the soliton gas density and by ``smoothing'' of the wave fields in integral sense. The analytical estimates describing these degenerate states of interacting solitons are obtained.


title: A Swift X-ray view of the SMS4 sample -- X-ray properties of 31 quasars and radio galaxies

abstract: We present Swift observations of 31 sources from the SMS4 catalog, a sample of 137 bright radio sources in the Southern Hemisphere. All these sources had no Chandra or XMM-Newton observations: 24 of these were observed with Swift through a dedicated proposal in 2015, and data for the remaining seven were retrieved from the Swift archive. The reduction and analysis of data collected by the Swift X-ray Telescope (XRT) led to 20 detections in the 0.3--10 keV band. We provide details of the X-ray emission in this band for these 20 detections, as well as upper limits for the remaining 11 SMS4 sources. When statistics allowed, we investigated the extent of the X-ray emission, the hardness ratio, and we carried out a spectral analysis. We matched the 20 X-ray detected sources with infrared (AllWISE, CatWISE2020) and optical (GSC 2.3.2, DES DR2) catalogs to establish associations with infrared and optical sources, and compared our results with previously published counterparts in these bands. Requiring a detection in both the infrared and the optical bands to establish a candidate counterpart for our X-ray detections, we obtain reliable counterparts for 18 sources, while the remaining two sources need further investigation to establish firm identifications. We find that ~35% of all the SMS4 sources lie below the lower limit of 10.9 Jy for the flux density at 178 MHz. We present the list of 56 SMS4 sources that in 2022 March remain to be observed in the X-rays with narrow-field instruments.


title: "Is It My Turn?" Assessing Teamwork and Taskwork in Collaborative Immersive Analytics

abstract: Immersive analytics has the potential to promote collaboration in machine learning (ML). This is desired due to the specific characteristics of ML modeling in practice, namely the complexity of ML, the interdisciplinary approach in industry, and the need for ML interpretability. In this work, we introduce an augmented reality-based system for collaborative immersive analytics that is designed to support ML modeling in interdisciplinary teams. We conduct a user study to examine how collaboration unfolds when users with different professional backgrounds and levels of ML knowledge interact in solving different ML tasks. Specifically, we use the pair analytics methodology and performance assessments to assess collaboration and explore their interactions with each other and the system. Based on this, we provide qualitative and quantitative results on both teamwork and taskwork during collaboration. Our results show how our system elicits sustained collaboration as measured along six distinct dimensions. We finally make recommendations how immersive systems should be designed to elicit sustained collaboration in ML modeling.


title: Splitting algorithms and circuit analysis

abstract: The splitting algorithms of monotone operator theory find zeros of sums of relations. This corresponds to solving series or parallel one-port electrical circuits, or the negative feedback interconnection of two subsystems. One-port circuits with series and parallel interconnections, or block diagrams with multiple forward and return paths, give rise to current-voltage relations consisting of nested sums and inverses. In this extended abstract, we present new splitting algorithms specially suited to these structures, for interconnections of monotone and anti-monotone relations.


title: Semantic Segmentation-Assisted Instance Feature Fusion for Multi-Level 3D Part Instance Segmentation

abstract: Recognizing 3D part instances from a 3D point cloud is crucial for 3D structure and scene understanding. Several learning-based approaches use semantic segmentation and instance center prediction as training tasks and fail to further exploit the inherent relationship between shape semantics and part instances. In this paper, we present a new method for 3D part instance segmentation. Our method exploits semantic segmentation to fuse nonlocal instance features, such as center prediction, and further enhances the fusion scheme in a multi- and cross-level way. We also propose a semantic region center prediction task to train and leverage the prediction results to improve the clustering of instance points. Our method outperforms existing methods with a large-margin improvement in the PartNet benchmark. We also demonstrate that our feature fusion scheme can be applied to other existing methods to improve their performance in indoor scene instance segmentation tasks.


title: Combining Variational Modeling with Partial Gradient Perturbation to Prevent Deep Gradient Leakage

abstract: Exploiting gradient leakage to reconstruct supposedly private training data, gradient inversion attacks are an ubiquitous threat in collaborative learning of neural networks. To prevent gradient leakage without suffering from severe loss in model performance, recent work proposed a PRivacy EnhanCing mODulE (PRECODE) based on variational modeling as extension for arbitrary model architectures. In this work, we investigate the effect of PRECODE on gradient inversion attacks to reveal its underlying working principle. We show that variational modeling induces stochasticity on PRECODE's and its subsequent layers' gradients that prevents gradient attacks from convergence. By purposefully omitting those stochastic gradients during attack optimization, we formulate an attack that can disable PRECODE's privacy preserving effects. To ensure privacy preservation against such targeted attacks, we propose PRECODE with Partial Perturbation (PPP), as strategic combination of variational modeling and partial gradient perturbation. We conduct an extensive empirical study on four seminal model architectures and two image classification datasets. We find all architectures to be prone to gradient leakage, which can be prevented by PPP. In result, we show that our approach requires less gradient perturbation to effectively preserve privacy without harming model performance.


title: An Upsilon torsion function for knot Floer homology

abstract: Heegaard Floer theory produces chain complexes associated to knots. Viewed as modules over polynomial rings, such complexes yield torsion invariants that offer constraints on cobordisms between knots. For instance, Juhasz, Miller and Zemke used torsion invariants to bound the number of local maxima and minima in cobordisms between pairs of knots. Gong and Marengon defined a related torsion invariant and used it to study nonorientable knot cobordisms. In this paper we define a one parameter family of Heegaard Floer torsion invariants that yields a piecewise linear function defined on the interval [0,2]. We call this the Upsilon torsion function; it is closely related to the Heegaard Floer Upsilon function defined by Ozsvath, Stipsicz and Szabo. In a natural way, this Upsilon torsion function interpolates between the Juhasz-Miller-Zemke invariant and the Gong-Marengon invariant. In addition to bounding the number of local maxima and minima in knot cobordisms, the Upsilon torsion function provides new obstructions related to the Gordian distance between knots.


title: A Temperature Independent Readout Circuit for ISFET-Based Sensor Applications

abstract: The ion-sensitive field-effect transistor (ISFET) is an emerging technology that has received much attention in numerous research areas, including biochemistry, medicine, and security applications. However, compared to other types of sensors, the complexity of ISFETs make it more challenging to achieve a sensitive, fast and repeatable response. Therefore, various readout circuits have been developed to improve the performance of ISFETs, especially to eliminate the temperature effect. This paper presents a new approach for a temperature-independent readout circuit that uses the threshold voltage differences of an ISFET-MOSFET pair. The Linear Technology Simulation Program with Integrated Circuit Emphasis (LTspice) is used to analyze the ISFET performance based on the proposed readout circuit characteristics. A macro-model is used to model ISFET behavior, including the first-level Spice model for the MOSFET part and Verilog-A to model the surface potential, reference electrode, and electrolyte of the ISFET to determine the relationships between variables.In this way, the behavior of the ISFET is monitored by the output voltage of the readout circuit based on a change in the electrolyte's hydrogen potential (pH), determined by the simulation. The proposed readout circuit has a temperature coefficient of 11.9 $ppm/{\deg}C$ for a temperature range of 0-100 ${\deg}C$ and pH between 1 and 13. The proposed ISFET readout circuit outperforms other designs in terms of simplicity and not requiring an additional sensor.


title: Polynomial growth of Betti sequences over local rings

abstract: This is a study of the sequences of Betti numbers of finitely generated modules over a complete intersection local ring, $R$. The subsequences $\{\beta^R_{i}(M)\}_{i\geq 0}$ with even, respectively, odd $i$ are known to be eventually given by polynomials in i with equal leading terms. We show that these polynomials coincide if $I^\square$, the ideal generated by the quadratic relations of the associated graded ring of $R$, satisfies ${\rm height}\ I^\square \ge {\rm codim}\ R -1$, and that the converse holds if $R$ is homogeneous or ${\rm codim}\ R \le 4$. Subsequently Avramov, Packauskas, and Walker proved that the terms of degree $j > {\rm codim}\ R - {\rm height}\ I^\square$ of the even and odd Betti polynomials are equal. We give a new proof of that result, based on an intrinsic characterization of residue rings of c.i. local rings of minimal multiplicity obtained in this paper. We also show that that bound is optimal.


title: r/K selection of GC content in prokaryotes

abstract: The GC content of prokaryotic genomes is species-specific and takes values from 16 to 77 percent. There are currently no accepted explanations for this diversity of selection for GC content. We analyzed the known correlations between GC content, genome size and amino acid cost in thousands of prokaryotes, together with new or recently compiled data on cell shape and volume, duplication times, motility, nutrient assimilation, sporulation, defense mechanisms and Gram staining. GC content integrates well with these traits into r/K selection theory when phenotypic plasticity is considered. High GC content prokaryotes are r-strategists with cheaper descendants thanks to a lower average amino acid metabolic cost and a smaller cell volume, colonize unstable environments thanks to flagella and a bacillus form and are generalists in terms of resource opportunism and the ability to defend themselves from various hazards. Low GC content prokaryotes are K-strategists specialized for stable environments that maintain homeostasis via a high-cost outer cell membrane and endospore formation as a response to nutrient deprivation and attain a higher nutrient-to-biomass yield. The lower proteome cost of high GC content prokaryotes is driven by the association between GC-rich codons and cheaper amino acids in the genetic code, while the correlation between GC content and genome size may be partly due to a shift in the functional repertoire of genomes driven by r/K selection. In all, we show that molecular diversity in the GC content of prokaryotes and the corresponding species diversity may be a consequence of ecological r/K selection


title: On two-sided skew braces

abstract: In order to study two-sided skew braces, we introduce the notion of weakly trivial skew braces. We give a classification of such skew braces and show that they are essential in the study of two-sided skew braces. As an application, we obtain new and generalize known results relating the additive and multiplicative group of two-sided skew braces. Further, we show that two a priori different notions of prime and semi-prime skew braces, as introduced by Konovalov, Smoktunowicz and Vendramin, coincide for two-sided skew braces.


title: Reconstructing Accurate Synthetic Hounsfield Units with Spectral CT Data

abstract: Purpose: To evaluate a proposed method to reconstruct CT numbers that accurately mimic conventional CT numbers from spectral CT data, as would have been produced by a conventional system without effects of beam hardening. Approach: We implement the proposed method for simulated ideal and non-ideal photon counting multi-bin systems, the latter based on a photon counting Silicon detector, and compare them with a simulated ideal conventional energy integrating system with a cupping correction algorithm. We compare the systems using a mathematical phantom of a size and composition that produces severe cupping and beam hardening artefacts when imaged with a conventional system with no cupping correction. Results: The resulting images show CT numbers that are consistently accurate for a varying range of tissues and are free of beam hardening artefacts. Conclusions: This method could facilitate use of established rules-of-thumb regarding absolute CT numbers for various organs and conditions during the transition from conventional CT to spectral CT.


title: Exact lattice-based stochastic cell culture simulation algorithms incorporating spontaneous and contact-dependent reactions

abstract: In this paper, we address the modeling issues of cell movement and division with a special focus on the phenomenon of volume exclusion in a lattice-based, exact stochastic simulation framework. We propose a new exact method, called Reduced Rate Method -- RRM, that is substantially quicker than the previously used exclusion method, for large number of cells. In addition, we introduce three novel reaction types: the contact-inhibited, the contact-promoted, and the spontaneous reactions. To the best of our knowledge, these reaction types have not been taken into account in lattice-based stochastic simulations of cell cultures. These new types of events may be easily applied to complicated systems, enabling the generation of biologically feasible stochastic cell culture simulations. Furthermore, we show that the exclusion algorithm and our RRM algorithm are mathematically equivalent in the sense that the next reaction to be realized and the corresponding sojourn time both belong to the same reaction and time distributions in the two approaches -- even with the newly introduced reaction types. Exact, agent-based, stochastic methods of cell culture simulations seem to be undervalued and are mostly used as benchmarking tools to validate deterministic approximations of the corresponding stochastic models. Our proposed methods are exact, they are easy to implement, have a high predictive value, and can be conveniently extended with new features. Therefore, these approaches promise a great potential.

categories: q-bio.PE cond-mat.soft cond-mat.stat-mech q-bio.CB q-bio.QM


title: Minor identities for Sklyanin determinants

abstract: We explore the invariant theory of quantum symmetric spaces of orthogonal and symplectic types by employing R-matrix techniques. Our focus involves establishing connections among the quantum determinant, Sklyanin determinants associated with the orthogonal and symplectic cases, and the quantum Pfaffians over the symplectic quantum space. Drawing inspiration from twisted Yangians, we not only demonstrate but also extend the applicability of q-Jacobi identities, q-Cayley's complementary identities, q-Sylvester identities, and Muir's theorem to Sklyanin minors in both orthogonal and symplectic types, along with q-Pfaffian analogs in the symplectic scenario. Furthermore, we present expressions for Sklyanin determinants and quantum Pfaffians in terms of quasideterminants.


title: Self-closeness numbers of product spaces

abstract: The self-closeness number of a CW-complex is a homotopy invariant defined by the minimal number $n$ such that every self-maps of $X$ which induces automorphisms on the first $n$ homotopy groups of $X$ is a homotopy equivalence. In this article we study the self-closeness numbers of finite Cartesian products, and prove that under certain conditions (called reducibility), the self-closeness number of product spaces equals to the maximum of self-closeness numbers of the factors. A series of criteria for the reducibility are investigated, and the results are used to determine self-closeness numbers of product spaces of some special spaces, such as Moore spaces, Eilenberg-MacLane spaces or atomic spaces.


title: Learning Mean-Field Control for Delayed Information Load Balancing in Large Queuing Systems

abstract: Recent years have seen a great increase in the capacity and parallel processing power of data centers and cloud services. To fully utilize the said distributed systems, optimal load balancing for parallel queuing architectures must be realized. Existing state-of-the-art solutions fail to consider the effect of communication delays on the behaviour of very large systems with many clients. In this work, we consider a multi-agent load balancing system, with delayed information, consisting of many clients (load balancers) and many parallel queues. In order to obtain a tractable solution, we model this system as a mean-field control problem with enlarged state-action space in discrete time through exact discretization. Subsequently, we apply policy gradient reinforcement learning algorithms to find an optimal load balancing solution. Here, the discrete-time system model incorporates a synchronization delay under which the queue state information is synchronously broadcasted and updated at all clients. We then provide theoretical performance guarantees for our methodology in large systems. Finally, using experiments, we prove that our approach is not only scalable but also shows good performance when compared to the state-of-the-art power-of-d variant of the Join-the-Shortest-Queue (JSQ) and other policies in the presence of synchronization delays.


title: Genericity of sublinearly Morse directions in CAT(0) spaces and the Teichm\"uller space

abstract: We show that the sublinearly Morse directions in the visual boundary of a rank-1 CAT(0) space with a geometric group action are generic in several commonly studied senses of the word, namely with respect to Patterson-Sullivan measures and stationary measures for random walks. We deduce that the sublinearly Morse boundary is a model of the Poisson boundary for finitely supported random walks on groups acting geometrically on rank-1 CAT (0) spaces. We prove an analogous result for mapping class group actions on Teichm\"uller space. Our main technical tool is a criterion, valid in any unique geodesic metric space, that says that any geodesic ray with sufficiently many (in a statistical sense) strongly contracting segments is sublinearly contracting.


title: Weighted Reduced Rank Estimators Under Cointegration Rank Uncertainty

abstract: Cointegration analysis was developed for non-stationary linear processes that exhibit stationary relationships between coordinates. Estimation of the cointegration relationships in a multi-dimensional cointegrated process typically proceeds in two steps. First the rank is estimated, then the cointegration matrix is estimated, conditionally on the estimated rank (reduced rank regression). The asymptotics of the estimator is usually derived under the assumption of knowing the true rank. In this paper, we quantify the asymptotic bias and find the asymptotic distributions of the cointegration estimator in case of misspecified rank. Furthermore, we suggest a new class of weighted reduced rank estimators that allow for more flexibility in settings where rank selection is hard. We show empirically that a proper choice of weights can lead to increased predictive performance when there is rank uncertainty. Finally, we illustrate the estimators on empirical EEG data from a psychological experiment on visual processing.


title: Cluster extent inference revisited: quantification and localization of brain activity

abstract: Cluster inference based on spatial extent thresholding is the most popular analysis method for finding activated brain areas in neuroimaging. However, the method has several well-known issues. While powerful for finding brain regions with some activation, the method as currently defined does not allow any further quantification or localization of signal. In this paper we repair this gap. We show that cluster-extent inference can be used (1.) to infer the presence of signal in anatomical regions of interest and (2.) to quantify the percentage of active voxels in any cluster or region of interest. These additional inferences come for free, i.e. they do not require any further adjustment of the alpha-level of tests, while retaining full familywise error control. We achieve this extension of the possibilities of cluster inference by an embedding of the method into a closed testing procedure, and solving the graph-theoretic k-separator problem that results from this embedding. The new method can be used in combination with random field theory or permutations. We demonstrate the usefulness of the method in a large-scale application to neuroimaging data from the Neurovault database.


title: Momentum broadening of heavy quarks and jets in the Glasma from classical colored particle simulations

abstract: We investigate the effects of the pre-equilibrium Glasma stage of heavy-ion collisions on the broadening of momentum for heavy quarks and jets using classical colored particle simulations based on Wong's equations. Confirming previous studies, we find that these probes accumulate momentum on the order of the saturation scale $Q_s$ and that the color field of the Glasma induces an anisotropy with more broadening along the beam axis. For quark jets the anisotropy is more pronounced at lower energies.


title: Universal Mappings and Analysis of Functional Data on Geometric Domains

abstract: This paper addresses problems in functional metric geometry that arise in the study of data such as signals recorded on geometric domains or on the nodes of weighted networks. Datasets comprising such objects arise in many domains of scientific and practical interest. For example, $f$ could represent a functional magnetic resonance image, or the nodes of a social network labeled with attributes or preferences, where the underlying metric structure is given by the shortest path distance, commute distance, or diffusion distance. Formally, these may be viewed as functions defined on metric spaces, sometimes equipped with additional structure such as a probability measure, in which case the domain is referred to as a metric-measure space, or simply $mm$-space. Our primary goal is threefold: (i) to develop metrics that allow us to model and quantify variation in functional data, possibly with distinct domains; (ii) to investigate principled empirical estimations of these metrics; (iii) to construct a universal function that ``contains'' all functions whose domains and ranges are Polish (separable and complete metric) spaces, assuming Lipschitz regularity. The latter is much in the spirit of constructing universal spaces for structural data (metric spaces) whose investigation dates back to the early 20th century and are of classical interest in metric geometry.


title: Nuclear mass predictions with machine learning reaching the accuracy required by $r$-process studies

abstract: Nuclear masses are predicted with the Bayesian neural networks by learning the mass surface of even-even nuclei and the correlation energies to their neighbouring nuclei. By keeping the known physics in various sophisticated mass models and performing the delicate design of neural networks, the proposed Bayesian machine learning (BML) mass model achieves an accuracy of $84$~keV, which crosses the accuracy threshold of the $100$~keV in the experimentally known region. It is also demonstrated the corresponding uncertainties of mass predictions are properly evaluated, while the uncertainties increase by about $50$~keV each step along the isotopic chains towards the unknown region. The shell structures in the known region are well described and several important features in the unknown region are predicted, such as the new magic numbers around $N = 40$, the robustness of $N = 82$ shell, the quenching of $N = 126$ shell, and the smooth separation energies around $N = 104$.


title: LinGBM: A Performance Benchmark for Approaches to Build GraphQL Servers (Extended Version)

abstract: GraphQL is a popular new approach to build Web APIs that enable clients to retrieve exactly the data they need. Given the growing number of tools and techniques for building GraphQL servers, there is an increasing need for comparing how particular approaches or techniques affect the performance of a GraphQL server. To this end, we present LinGBM, a GraphQL performance benchmark to experimentally study the performance achieved by various approaches for creating a GraphQL server. In this article, we discuss the design considerations of the benchmark, describe its main components (data schema; query templates; performance metrics), and analyze the benchmark in terms of statistical properties that are relevant for defining concrete experiments. Thereafter, we present experimental results obtained by applying the benchmark in three different use cases, which demonstrates the broad applicability of LinGBM.


title: Weak Galerkin finite element method for linear poroelasticity problems

abstract: This paper is devoted to a weak Galerkin (WG) finite element method for linear poroelasticity problems where weakly defined divergence and gradient operators over discontinuous functions are introduced. We establish both the continuous and discrete time WG schemes, and obtain their optimal convergence order estimates in a discrete $H^1$ norm for the displacement and in an $H^1$ type and $L^2$ norms for the pressure. Finally, numerical experiments are presented to illustrate the theoretical error results in different kinds of meshes which shows the WG flexibility for mesh selections, and to verify the locking-free property of our proposed method.


title: Reconfigurable Intelligent Surface Assisted NOMA Empowered Integrated Sensing and Communication

abstract: This paper exploits the potential of reconfigurable intelligent surface (RIS) to improve radar sensing in a non-orthogonal multiple access (NOMA) empowered integrated sensing and communication (NOMA-ISAC) network. The objective is to maximize the minimum radar beampattern gain by jointly optimizing the active beamforming, power allocation coefficients and passive beamforming. To tackle the formulated non-convex problem, we propose an efficient joint optimization algorithm by invoking alternating optimization, successive convex approximation (SCA) and sequential rank-one constraint relaxation (SRCR) algorithm. Numerical results show that the proposed RIS assisted NOMA-ISAC system, with the aid of proposed scheme, outperforms the RIS assisted ISAC system without NOMA.


title: Bifurcations of robust features on surfaces in the Minkowski 3-space

abstract: We obtain the bifurcation of some special curves on generic 1-parameter families of surfaces in the Minkowski 3-space. The curves treated here are the locus of points where the induced pseudo metric is degenerate, the discriminant of the lines principal curvature, the parabolic curve and the locus of points where the mean curvature vanishes.


title: Relativistic relationship between nuclear-spin-dependent parity-violating NMR shielding and nuclear spin-rotation tensors

abstract: It is known that the nuclear-spin-dependent parity-violating contributions to the NMR shielding and the nuclear spin-rotation tensors (${\bf \sigma}^{PV}$ and ${\bf M}^{PV}$, respectively) are formally related each other within the non-relativistic (NR) regime. Such a formal relationship is not any longer valid within the relativistic domain. A new more general formal relationship, that is valid within the relativistic framework is shown here, being developed through the use of the LRESC model. The formalism of polarization propagators is applied to write the different contributions to both properties within both regimes, relativistic and NR. In the relativistic regime the Dirac-Coulomb Hamiltonian was selected as the unperturbed Hamiltonian. Theoretical developments together with results of calculations performed on the H$_2X_2$ series of molecules ($X =$ $^{17}$O, $^{33}$S, $^{77}$Se, $^{125}$Te and $^{209}$Po) show that also within the relativistic regime there is a close relationship between the parity-violation contributions to both properties. In particular, spin-dependent contributions are the most important in the four-component calculations of electroweak effects on the isotropic values of both tensors, ${\bf \sigma}^{PV}$ and ${\bf M}^{PV}$, being also responsible for the breakdown of the previously mentioned NR relationship among them. This last relationship is still fulfilled when the scalar-relativistic effects are considered.


title: Separability criteria based on the Weyl operators

abstract: Entanglement as a vital resource for information processing can be described by special properties of the quantum state. Using the well-known Weyl basis we propose a new Bloch decomposition of the quantum state and study its separability problem. This decomposition enables us to find an alternative characterization of the separability based on the correlation matrix. We shaw that the criterion is effective in detecting entanglement for the isotropic states, Bell-diagonal states and some PPT entangled states. We also use the Weyl operators to construct an detecting operator for quantum teleportation.


title: Neural signal propagation atlas of C. elegans

abstract: A fundamental problem in neuroscience is understanding how a network's properties dictate its function. Connectomics provides one avenue to predict nervous system function. To test this explicitly, we systematically measure signal propagation in 23,427 pairs of neurons across the head of the nematode Caenorhabditis elegans by direct optogenetic activation and simultaneous whole-brain calcium imaging. We measure the sign (excitatory or inhibitory), strength, temporal properties, and causal direction of signal propagation between these neurons to create a functional atlas. We find that signal propagation differs from predictions based on anatomy. Using mutants, we show that extrasynaptic signaling not visible from anatomy contributes to this difference. We identify many instances of dense-core-vesicle dependent signaling on seconds-or-less timescales that evoke acute calcium transients often where no direct wired connection exists but where relevant neuropeptides and receptors are expressed. We propose that here extrasynaptically released neuropeptides serve a similar function as that of classical neurotransmitters. Finally, our measured signal propagation atlas better predicts neural dynamics of spontaneous activity than does anatomy. We conclude that both synaptic and extrasynaptic signaling drive neural dynamics on short timescales and that measurement of evoked signal propagation are critical for interpreting neural function.


title: Kepler and TESS Observations of PG 1159-035

abstract: PG 1159-035 is the prototype of the DOV hot pre-white dwarf pulsators. It was observed during the Kepler satellite K2 mission for 69 days in 59 s cadence mode and by the TESS satellite for 25 days in 20 s cadence mode. We present a detailed asteroseismic analysis of those data. We identify a total of 107 frequencies representing 32 l=1 modes, 27 frequencies representing 12 l=2 modes, and 8 combination frequencies. The combination frequencies and the modes with very high k values represent new detections. The multiplet structure reveals an average splitting of 4.0+/-0.4 muHz for l=1 and 6.8+/-0.2 muHz for l=2, indicating a rotation period of 1.4+/-0.1 days in the region of period formation. In the Fourier transform of the light curve, we find a significant peak at 8.904+/-0.003 muHz suggesting a surface rotation period of 1.299+/-0.002 days. We also present evidence that the observed periods change on timescales shorter than those predicted by current evolutionary models. Our asteroseismic analysis finds an average period spacing for l=1 of 21.28+/-0.02 s. The l=2 modes have a mean spacing of 12.97+/-0.4 s. We performed a detailed asteroseismic fit by comparing the observed periods with those of evolutionary models. The best fit model has Teff=129600+/- 11100 K, mass M*=0.565+/-0.024 Msun, and log g=7.41+0.38-0.54, within the uncertainties of the spectroscopic determinations. We argue for future improvements in the current models, e.g., on the overshooting in the He-burning stage, as the best-fit model does not predict excitation for all the pulsations detected in PG~1159-03.


title: And again, about lasing threshold, light localization, and density of states

abstract: We investigated numerically the relationship between the lasing threshold, the density of states (DOS), and field localization in 1D photonic crystals (PC) for off-axis laser action. The angular dependence of the corresponding quantities for the two polarizations was obtained, and it was shown that the relationship between the threshold and DOS is complex, especially near the Brewster angle in the case of p-polarization. A strong correlation between the ratio of thresholds and localizations of the two edge modes was found for s-polarization. The results of this work can be used for optimizing lasers based on one-dimensional PCs, both for normal and off-axis lasing.


title: Behavior of the distance exponent for $\frac{1}{|x-y|^{2d}}$ long-range percolation

abstract: We study independent long-range percolation on $\mathbb{Z}^d$ where the vertices $u$ and $v$ are connected with probability 1 for $\|u-v\|_\infty=1$ and with probability $1-e^{-\beta \int_{u+\left[0,1\right)^d} \int_{u+\left[0,1\right)^d} \frac{1}{\|x-y\|^{2d}} d x d y } \approx \frac{\beta}{\|u-v\|^{2d}}$ for $\|u-v\|_\infty\geq 2$, where $\beta \geq 0$ is a parameter. There exists an exponent $\theta=\theta(\beta) \in \left(0,1\right]$ such that the graph distance between the origin $\mathbf{0}$ and $v \in \mathbb{Z}^d$ scales like $\|v\|^{\theta}$. We prove that this exponent $\theta(\beta)$ is continuous and strictly decreasing as a function in $\beta$. Furthermore, we show that $\theta(\beta)=1-\beta+o(\beta)$ for small $\beta$ in dimension $d=1$.


title: Challenges in forming Phobos and Deimos directly from a splitting of an ancestral single moon

abstract: The origin and evolution of Martian moons have been intensively debated in recent years. It is proposed that Phobos and Deimos may originate directly from a splitting of an ancestral moon orbiting at around the Martian synchronous orbit. At this hypothetical splitting, the apocenter of the inner moon (presumed as Phobos) and the pericenter of the outer moon (presumed as Deimos) are reported to coincide, in that, their semi-major axes reside inside and outside the Martian synchronous orbit with non-zero eccentricities, respectively. However, the successive orbital evolution of the two moons is not studied. Here, we perform direct $N$-body orbital integrations of the moons, including the Martian oblateness of the $J_2$ and $J_4$ terms. We show that the two moons, while they precess, likely collide within $\sim 10^4$ years with an impact velocity of $v_{\rm imp} \sim 100-300$ m s$^{-1}$ ($\sim 10-30$ times moons' escape velocity) and with an isotropic impact direction. The impact occurs around the apocenter and the pericenter of the inner and outer moons, respectively, where the timescale of this periodic orbital alignment is regulated by the precession. By performing additional impact simulations, we show that such a high-velocity impact likely results in a disruptive outcome, forming a debris ring at around the Martian synchronous orbit, from which several small moons would accrete. Such an evolutionary path would eventually form a different Martian moons system from the one we see today. Therefore, it seems unlikely that Phobos and Deimos are split directly from a single ancestral moon.


title: Modelling of planar germanium hole qubits in electric and magnetic fields

abstract: Hole-based spin qubits in strained planar germanium quantum wells have received considerable attention due to their favourable properties and remarkable experimental progress. The sizeable spin-orbit interaction in this structure allows for efficient electric qubit operations. However, it also couples the qubit to electrical noise. In this work we perform simulations of a heterostructure hosting these hole spin qubits. We solve the effective mass equations for a realistic heterostructure, provide a set of analytical basis wave functions, and compute the effective g-factor of the heavy-hole ground-state. Our investigations reveal a strong impact of highly excited light hole states located outside the quantum well on the g-factor. Consequently, contrary to recent predictions, we find that sweet spots in out-of-plane magnetic fields are shifted to impractically large electric fields. However, for magnetic fields close to in-plane alignment, sweet spots at low electric fields are recovered. This work will be helpful in understanding and improving coherence of germanium hole spin qubits.


title: Tail Asymptotics for the Delay in a Brownian Fork-Join Queue

abstract: In this paper, we study the tail behavior of $\max_{i\leq N}\sup_{s>0}\left(W_i(s)+W_A(s)-\beta s\right)$ as $N\to\infty$, with $(W_i,i\leq N)$ i.i.d. Brownian motions and $W_A$ an independent Brownian motion. This random variable can be seen as the maximum of $N$ mutually dependent Brownian queues, which in turn can be interpreted as the backlog in a Brownian fork-join queue. In previous work, we have shown that this random variable centers around $\frac{\sigma^2}{2\beta}\log N$. Here, we analyze the rare-event that this random variable reaches the value $(\frac{\sigma^2}{2\beta}+a)\log N$, with $a>0$. It turns out that its probability behaves roughly as a power law with $N$, where the exponent depends on $a$. However, there are three regimes, around a critical point $a^{\star}$; namely, $0<a<a^{\star}$, $a=a^{\star}$, and $a>a^{\star}$. The latter regime exhibits a form of asymptotic independence, while the first regime reveals highly irregular behavior with a clear dependence structure among the $N$ suprema, with a nontrivial transition at $a=a^{\star}$.


title: Inferring the heritability of bacterial traits in the era of machine learning

abstract: Quantification of heritability is a fundamental desideratum in genetics, which allows an assessment of the contribution of additive genetic variation to the variability of a trait of interest. The traditional computational approaches for assessing the heritability of a trait have been developed in the field of quantitative genetics. However, the rise of modern population genomics with large sample sizes has led to the development of several new machine learning based approaches to inferring heritability. In this paper, we systematically summarize recent advances in machine learning which can be used to infer heritability. We focus on an application of these methods to bacterial genomes, where heritability plays a key role in understanding phenotypes such as antibiotic resistance and virulence, which are particularly important due to the rising frequency of antimicrobial resistance. By designing a heritability model incorporating realistic patterns of genome-wide linkage disequilibrium for a frequently recombining bacterial pathogen, we test the performance of a wide spectrum of different inference methods, including also GCTA. In addition to the synthetic data benchmark, we present a comparison of the methods for antibiotic resistance traits for multiple bacterial pathogens. Insights from the benchmarking and real data analyses indicate a highly variable performance of the different methods and suggest that heritability inference would likely benefit from tailoring of the methods to the specific genetic architecture of the target organism.


title: 3D Tomographic Phase Retrieval and Unwrapping

abstract: This paper develops uniqueness theory for 3D phase retrieval with finite, discrete measurement data for strong phase objects and weak phase objects, including: (i) {\em Unique determination of (phase) projections from diffraction patterns} -- General measurement schemes with coded and uncoded apertures are proposed and shown to ensure unique reduction of diffraction patterns to the phase projection for a strong phase object (respectively, the projection for a weak phase object) in each direction separately without the knowledge of relative orientations and locations. (ii) {\em Uniqueness for 3D phase unwrapping} -- General conditions for unique determination of a 3D strong phase object from its phase projection data are established, including, but not limited to, random tilt schemes densely sampled from a spherical triangle of vertexes in three orthogonal directions and other deterministic tilt schemes. (iii) {\em Uniqueness for projection tomography} -- Unique determination of an object of $n^3$ voxels from generic $n$ projections or $n+1$ coded diffraction patterns is proved. This approach of reducing 3D phase retrieval to the problem of (phase) projection tomography has the practical implication of enabling classification and alignment, when relative orientations are unknown, to be carried out in terms of (phase) projections, instead of diffraction patterns. The applications with the measurement schemes such as single-axis tilt, conical tilt, dual-axis tilt, random conical tilt and general random tilt are discussed.

categories: cs.IT math.IT physics.app-ph physics.optics


title: Thai Wav2Vec2.0 with CommonVoice V8

abstract: Recently, Automatic Speech Recognition (ASR), a system that converts audio into text, has caught a lot of attention in the machine learning community. Thus, a lot of publicly available models were released in HuggingFace. However, most of these ASR models are available in English; only a minority of the models are available in Thai. Additionally, most of the Thai ASR models are closed-sourced, and the performance of existing open-sourced models lacks robustness. To address this problem, we train a new ASR model on a pre-trained XLSR-Wav2Vec model with the Thai CommonVoice corpus V8 and train a trigram language model to boost the performance of our ASR model. We hope that our models will be beneficial to individuals and the ASR community in Thailand.


title: Distances in $\frac{1}{|x-y|^{2d}}$ percolation models for all dimensions

abstract: We study independent long-range percolation on $\mathbb{Z}^d$ for all dimensions $d$, where the vertices $u$ and $v$ are connected with probability 1 for $\|u-v\|_\infty=1$ and with probability $p(\beta,\{u,v\})=1-e^{-\beta \int_{u+\left[0,1\right)^d} \int_{v+\left[0,1\right)^d} \frac{1}{\|x-y\|_2^{2d}}d x d y } \approx \frac{\beta}{\|u-v\|_2^{2d}}$ for $\|u-v\|_\infty \geq 2$. Let $u \in \mathbb{Z}^d$ be a point with $\|u\|_\infty=n$. We show that both the graph distance $D(\mathbf{0},u)$ between the origin $\mathbf{0}$ and $u$ and the diameter of the box $\{0 ,\ldots, n\}^d$ grow like $n^{\theta(\beta)}$, where $0<\theta(\beta ) < 1$. We also show that the graph distance and the diameter of boxes have the same asymptotic growth when two vertices $u,v$ with $\|u-v\|_2 > 1$ are connected with a probability that is close enough to $p(\beta,\{u,v\})$. Furthermore, we determine the asymptotic behavior of $\theta(\beta)$ for large $\beta$, and we discuss the tail behavior of $\frac{D(\mathbf{0},u)}{\|u\|_2^{\theta(\beta)}}$.


title: The genus distribution of cubic graphs and asymptotic number of rooted cubic maps with high genus

abstract: Let $C_{n,g}$ be the number of rooted cubic maps with $2n$ vertices on the orientable surface of genus $g$. We show that the sequence $(C_{n,g}:g\ge 0)$ is asymptotically normal with mean and variance asymptotic to $(1/2)(n-\ln n)$ and $(1/4)\ln n$, respectively. We derive an asymptotic expression for $C_{n,g}$ when $(n-2g)/\ln n$ lies in any closed subinterval of $(0,2)$. Using rotation systems and Bender's theorem about generating functions with fast-growing coefficients, we derive simple asymptotic expressions for the numbers of rooted regular maps, disregarding the genus. In particular, we show that the number of rooted cubic maps with $2n$ vertices, disregarding the genus, is asymptotic to $\frac{3}{\pi}\,n!6^n$.


title: Integrating connection search in graph queries

abstract: Graph data management and querying has many practical applications. When graphs are very heterogeneous and/or users are unfamiliar with their structure, they may need to find how two or more groups of nodes are connected in a graph, even when users are not able to describe the connections. This is only partially supported by existing query languages, which allow searching for paths, but not for trees connecting three or more node groups. The latter is related to the NP-hard Group Steiner Tree problem, and has been previously considered for keyword search in databases. In this work, we formally show how to integrate connecting tree patterns (CTPs, in short) within a graph query language such as SPARQL or Cypher, leading to an Extended Query Language (or EQL, in short). We then study a set of algorithms for evaluating CTPs; we generalize prior keyword search work, most importantly by (i) considering bidirectional edge traversal and (ii) allowing users to select any score function for ranking CTP results. To cope with very large search spaces, we propose an efficient pruning technique and formally establish a large set of cases where our algorithm, MOLESP, is complete even with pruning. Our experiments validate the performance of our CTP and EQL evaluation algorithms on a large set of synthetic and real-world workloads.


title: Exploring the trade off between human driving imitation and safety for traffic simulation

abstract: Traffic simulation has gained a lot of interest for quantitative evaluation of self driving vehicles performance. In order for a simulator to be a valuable test bench, it is required that the driving policy animating each traffic agent in the scene acts as humans would do while maintaining minimal safety guarantees. Learning the driving policies of traffic agents from recorded human driving data or through reinforcement learning seems to be an attractive solution for the generation of realistic and highly interactive traffic situations in uncontrolled intersections or roundabouts. In this work, we show that a trade-off exists between imitating human driving and maintaining safety when learning driving policies. We do this by comparing how various Imitation learning and Reinforcement learning algorithms perform when applied to the driving task. We also propose a multi objective learning algorithm (MOPPO) that improves both objectives together. We test our driving policies on highly interactive driving scenarios extracted from INTERACTION Dataset to evaluate how human-like they behave.


title: Distribution of external branch lengths in Yule trees

abstract: The Yule branching process is a classical model for the random generation of gene tree topologies in population genetics. It generates binary ranked trees -- also called "histories" -- with a finite number $n$ of leaves. We study the lengths $\ell_1 > \ell_2 > ... > \ell_k > ...$ of the external branches of a Yule generated random history of size $n$, where the length of an external branch is defined as the rank of its parent node. When $n \rightarrow \infty$, we show that the random variable $\ell_k$, once rescaled as $\frac{n-\ell_k}{\sqrt{n/2}}$, follows a $\chi$-distribution with $2k$ degrees of freedom, with mean $\mathbb E(\ell_k) \sim n$ and variance $\mathbb V(\ell_k) \sim n \big(k-\frac{\pi k^2}{16^k} \binom{2k}{k}^2\big)$. Our results contribute to the study of the combinatorial features of Yule generated gene trees, in which external branches are associated with singleton mutations affecting individual gene copies.


title: Exploiting anisotropic Rashba effects on real-time photocurrents and spin polarization for transient symmetry breaking

abstract: We theoretically investigate the real-time transient responses of a two-dimensional (2D) electron gas with anisotropic Rashba spin-orbit coupling (SOC) to laser pulses. Through explicitly monitoring the time-dependent photocurrents and spin polarization under different linear polarizations of the laser pulse, we find that the transient breaking of the mirror symmetry in combination with the anisotropy of the Rashba SOC results in significant distinction between the charge-mediated and the spin-mediated contributions to the photocurrents. Such distinction is obtained by analyzing the dependence of the symmetry-breaking induced (transverse) components of the photocurrents on the linear polarization angle of the laser pulse. This suggests a possibility of inferring spin-mediated processes in photocurrents without the use of circularly polarized lights. Moreover, the interplay between transient symmetry breaking and the anisotropy of the Rashba SOC also leads to transiently nonzero spin polarization components that are otherwise zero in the steady-state limit and the linear response regime. Especially, the out-of-plane spin polarization component can be induced or turned off by controlling the relative orientation of the linear polarization with respect to the symmetry axis of the 2D electronic system, without involving material-intrinsic magnetization effects. Our findings demonstrate the efficacy of a particular coordination between the polarization of the ultrafast laser pulses and the spatial symmetry of the electronic materials in directing the real-time charge and the spin responses that are fundamental to the development of ultrafast spintronics in solid states.


title: Thermal fluctuations on the freeze-out surface of heavy-ion collisions and their impact on particle correlations

abstract: Particle momentum distributions originating from a quark-gluon plasma as produced in high-energy nuclear collisions can be influenced by thermal fluctuations in fluid dynamic fields. We study this effect by generalizing the commonly used kinetic freeze-out prescription by allowing for small fluctuations around an average in fluid velocity, chemical potentials and temperature. This leads to the appearance of specific two-body momentum correlations. Combining a blast-wave parametrization of the kinetic freeze-out surface with the thermal correlation functions of an ideal resonance gas, we perform an exploratory study of angular net-charge correlations induced by thermal fluctuations around vanishing chemical potential. We note a diffusion of the near-side peak around $\Delta y=\Delta\phi=0$ induced by variances of different chemical potentials, which could be investigated experimentally.


title: HyperNST: Hyper-Networks for Neural Style Transfer

abstract: We present HyperNST; a neural style transfer (NST) technique for the artistic stylization of images, based on Hyper-networks and the StyleGAN2 architecture. Our contribution is a novel method for inducing style transfer parameterized by a metric space, pre-trained for style-based visual search (SBVS). We show for the first time that such space may be used to drive NST, enabling the application and interpolation of styles from an SBVS system. The technical contribution is a hyper-network that predicts weight updates to a StyleGAN2 pre-trained over a diverse gamut of artistic content (portraits), tailoring the style parameterization on a per-region basis using a semantic map of the facial regions. We show HyperNST to exceed state of the art in content preservation for our stylized content while retaining good style transfer performance.


title: Instantons in rotating finite-temperature Yang-Mills gas

abstract: We find an instanton (caloron) solution in the finite-temperature SU(2) gluon gas subjected to (imaginary, in Euclidean spacetime) rotation. We demonstrate that the rotation decreases the temperature of the caloron and leads to the delocalization of its topological charge over fractionally charged constituents. Furthermore, we show that in the high-temperature limit, the rapidly-rotating caloron becomes a ``circulon'': a self-dual monopole (dyon) possessing a spatial toroidal core.


title: The centralizer construction and Yangian-type algebras

abstract: Let $d$ be a positive integer. The Yangian $Y_d=Y(\mathfrak{gl}(d,\mathbb C))$ of the general linear Lie algebra $\mathfrak{gl}(d,\mathbb C)$ has countably many generators and quadratic-linear defining relations, which can be packed into a single matrix relation using the Yang matrix -- the famous RTT presentation. Alternatively, $Y_d$ can be built from certain centralizer subalgebras of the universal enveloping algebras $U(\mathfrak{gl}(N,\mathbb C))$, with the use of a limit transition as $N\to\infty$. This approach is called the \emph{centralizer construction}. The paper shows that a generalization of the centralizer construction leads to a new family $\{Y_{d,L}: L=1,2,3,\dots\}$ of Yangian-type algebras (the Yangian $Y_d$ being the first term of this family). For the new algebras, the RTT presentation seems to be missing, but a number of properties of the Yangian $Y_d$ persist. In particular, $Y_{d,L}$ possesses a system of quadratic-linear defining relations. The algebras $Y_{d,L}$ ($d=1,2,3,\dots$) provide a kind of quantization for a special double Poisson bracket (in the sense of Van den Bergh) on the free associative algebra with $L$ generators.


title: On the density of "wild" initial data for the barotropic Euler system

abstract: We show that the set of ``wild data'', meaning the initial data for which the barotropic Euler system admits infinitely many admissible entropy solutions, is dense in the $L^p-$topology of the phase space.


title: An Unconstrained Symmetric Nonnegative Latent Factor Analysis for Large-scale Undirected Weighted Networks

abstract: Large-scale undirected weighted networks are usually found in big data-related research fields. It can naturally be quantified as a symmetric high-dimensional and incomplete (SHDI) matrix for implementing big data analysis tasks. A symmetric non-negative latent-factor-analysis (SNL) model is able to efficiently extract latent factors (LFs) from an SHDI matrix. Yet it relies on a constraint-combination training scheme, which makes it lack flexibility. To address this issue, this paper proposes an unconstrained symmetric nonnegative latent-factor-analysis (USNL) model. Its main idea is two-fold: 1) The output LFs are separated from the decision parameters via integrating a nonnegative mapping function into an SNL model; and 2) Stochastic gradient descent (SGD) is adopted for implementing unconstrained model training along with ensuring the output LFs nonnegativity. Empirical studies on four SHDI matrices generated from real big data applications demonstrate that an USNL model achieves higher prediction accuracy of missing data than an SNL model, as well as highly competitive computational efficiency.


title: Certain properties involving the unbounded operators $p(T)$, $TT^*$, and $T^*T$; and some applications to powers and $nth$ roots of unbounded operators

abstract: In this paper, we are concerned with conditions under which $[p(T)]^*=\bar{p}(T^*)$, where $p(z)$ is a one-variable complex polynomial, and $T$ is an unbounded, densely defined, and linear operator. Then, we deal with the validity of the identities $\sigma(AB)=\sigma(BA)$, where $A$ and $B$ are two unbounded operators. The equations $(TT^*)^*=TT^*$ and $(T^*T)^*=T^*T$, where $T$ is a densely defined closable operator, are also studied. A particular interest will be paid to the equation $T^*T=p(T)$ and its variants. Then, we have certain results concerning $nth$ roots of classes of normal and nonnormal (unbounded) operators. Some further consequences and counterexamples accompany our results.