title: Twisted Rota-Baxter operators on 3-Lie algebras and NS-3-Lie algebras

abstract: In this paper, first we introduce the notion of a twisted Rota-Baxter operator on a 3-Lie algebra $\g$ with a representation on $V$. We show that a twisted Rota-Baxter operator induces a 3-Lie algebra structure on $V$, which represents on $\g$. By this fact, we define the cohomology of a twisted Rota-Baxter operator and study infinitesimal deformations of a twisted Rota-Baxter operator using the second cohomology group. Then we introduce the notion of an NS-3-Lie algebra, which produces a 3-Lie algebra with a representation on itself. We show that a twisted Rota-Baxter operator induces an NS-3-Lie algebra naturally. Thus NS-3-Lie algebras can be viewed as the underlying algebraic structures of twisted Rota-Baxter operators on 3-Lie algebras. Finally we show that a Nijenhuis operator on a 3-Lie algebra gives rise to a representation of the deformed 3-Lie algebra and a 2-cocycle. Consequently, the identity map will be a twisted Rota-Baxter operator on the deformed 3-Lie algebra. We also introduce the notion of a Reynolds operator on a 3-Lie algebra, which can serve as a special case of twisted Rota-Baxter operators on 3-Lie algebras.


title: Some new symmetric structures in Ramsey theory

abstract: In this article, we will investigate several new configurations in Ramsey Theory, using the $\ostar_{l,k}$-operation on the set of integers, recently introduced in \cite{key-4}. This operation is useful to study symmetric structures in the set of integers, such as monochromatic configurations of the form $\left\{ x,y,x+y+xy\right\} $ as one of its simplest case. In \cite{key-4}, the author has studied more general symmetric structures. It has been shown that the Hindman's Theorem, van der Waerden's Theorem, Deuber's Theorem have their own symmetric versions. In this article we will explore several new structures, including polynomial versions of these symmetric structures and some of its variants. As a result, we get several new symmetric polynomial configurations as well as new linear symmetric patterns. In the final section, we will also introduce two new operations on the set of non-negative integers $\mathbb{N}$, to obtain further new configurations.


title: A high-performance code for EPRL spin foam amplitudes

abstract: We present $\mathtt{\text{sl2cfoam-next}}$, a high-performance software library for computing Lorentzian EPRL spin foam amplitudes. The library improves on previous codes by many orders of magnitude in single-core performance, can be parallelized on a large number of CPUs and on the GPU, and can be used interactively. We describe the techniques used in the code and provide many usage examples. As first applications, we use $\mathtt{\text{sl2cfoam-next}}$ to complete the numerical test of the Lorentzian single-vertex asymptotics and to confirm the presence of the "flatness problem" of spin foam models in the BF and EPRL cases.


title: Separator logic and star-free expressions for graphs

abstract: We describe two formalisms for defining graph languages, and prove that they are equivalent: 1. Separator logic. This is first-order logic on graphs which is allowed to use the edge relation, and for every $n \in \{0,1,\ldots \}$ a relation of arity $n+2$ which says that "vertex $s$ can be connected to vertex $t$ by a path that avoids vertices $v_1,\ldots,v_n$". 2. Star-free graph expressions. These are expressions that describe graphs with distinguished vertices called ports, and which are built from finite languages via Boolean combinations and the operations on graphs with ports used to construct tree decompositions. Furthermore, we prove a variant of Sch\"utzenberger's theorem (about star-free languages being those recognized by a periodic monoids) for graphs of bounded pathwidth. A corollary is that, given $k$ and a graph language represented by an \mso formula, one can decide if the language can be defined in either of two equivalent formalisms on graphs of pathwidth at most $k$.


title: Dissipation-Range Fluid Turbulence and Thermal Noise

abstract: We revisit the issue of whether thermal fluctuations are relevant for incompressible fluid turbulence, and estimate the scale at which they become important. As anticipated by Betchov in a prescient series of works more than six decades ago, this scale is about equal to the Kolmogorov length, even though that is several orders of magnitude above the mean free path. This result implies that the deterministic version of the incompressible Navier-Stokes equation is inadequate to describe the dissipation range of turbulence in molecular fluids. Within this range, the fluctuating hydrodynamics equation of Landau and Lifschitz is more appropriate. In particular, our analysis implies that both the exponentially decaying energy spectrum and the far-dissipation range intermittency predicted by Kraichnan for deterministic Navier-Stokes will be generally replaced by Gaussian thermal equipartition at scales just below the Kolmogorov length. Stochastic shell model simulations at high Reynolds numbers verify our theoretical predictions and reveal furthermore that inertial-range intermittency can propagate deep into the dissipation range, leading to large fluctuations in the equipartition length scale. We explain the failure of previous scaling arguments for the validity of deterministic Navier-Stokes equations at any Reynolds number and we provide a mathematical interpretation and physical justification of the fluctuating Navier-Stokes equation as an ``effective field-theory'' valid below some high-wavenumber cutoff $\Lambda$, rather than as a continuum stochastic partial differential equation. At Reynolds number around a million the strongest turbulent excitations observed in our simulation penetrate down to a length-scale of microns. However, for longer observation times or higher Reynolds numbers, more extreme turbulent events could lead to a local breakdown of fluctuating hydrodynamics.


title: Local Structure Matters Most: Perturbation Study in NLU

abstract: Recent research analyzing the sensitivity of natural language understanding models to word-order perturbations has shown that neural models are surprisingly insensitive to the order of words. In this paper, we investigate this phenomenon by developing order-altering perturbations on the order of words, subwords, and characters to analyze their effect on neural models' performance on language understanding tasks. We experiment with measuring the impact of perturbations to the local neighborhood of characters and global position of characters in the perturbed texts and observe that perturbation functions found in prior literature only affect the global ordering while the local ordering remains relatively unperturbed. We empirically show that neural models, invariant of their inductive biases, pretraining scheme, or the choice of tokenization, mostly rely on the local structure of text to build understanding and make limited use of the global structure.


title: Modelling disease progression with multi-level electronic health records data and informative observation times: an application to treating iron deficiency anaemia in primary care of the UK

abstract: Modelling disease progression of iron deficiency anaemia (IDA) following oral iron supplement prescriptions is a prerequisite for evaluating the cost-effectiveness of oral iron supplements. Electronic health records (EHRs) from the Clinical Practice Research Datalink (CPRD) provide rich longitudinal data on IDA disease progression in patients registered with 663 General Practitioner (GP) practices in the UK, but they also create challenges in statistical analyses. First, the CPRD data are clustered at multi-levels (i.e., GP practices and patients), but their large volume makes it computationally difficult to implement estimation of standard random effects models for multi-level data. Second, observation times in the CPRD data are irregular and could be informative about the disease progression. For example, shorter/longer gap times between GP visits could be associated with deteriorating/improving IDA. Existing methods to address informative observation times are mostly based on complex joint models, which adds more computational burden. To tackle these challenges, we develop a computationally efficient approach to modelling disease progression with EHRs data while accounting for variability at multi-level clusters and informative observation times. We apply the proposed method to the CPRD data to investigate IDA improvement and treatment intolerance following oral iron prescriptions in primary care of the UK.


title: Towards Semantic Interoperability in Historical Research: Documenting Research Data and Knowledge with Synthesis

abstract: A vast area of research in historical science concerns the documentation and study of artefacts and related evidence. Current practice mostly uses spreadsheets or simple relational databases to organise the information as rows with multiple columns of related attributes. This form offers itself for data analysis and scholarly interpretation, however it also poses problems including i) the difficulty for collaborative but controlled documentation by a large number of users, ii) the lack of representation of the details from which the documented relations are inferred, iii) the difficulty to extend the underlying data structures as well as to combine and integrate data from multiple and diverse information sources, and iv) the limitation to reuse the data beyond the context of a particular research activity. To support historians to cope with these problems, in this paper we describe the Synthesis documentation system and its use by a large number of historians in the context of an ongoing research project in the field of History of Art. The system is Web-based and collaborative, and makes use of existing standards for information documentation and publication (CIDOC-CRM, RDF), focusing on semantic interoperability and the production of data of high value and long-term validity.


title: Deciphering Weak Decays of Triply Heavy Baryons by SU(3) Analysis

abstract: Baryons with three heavy quarks are the last missing pieces of the lowest-lying baryon multiplets in the quark model after the discovery of doubly heavy baryons. In this work, we study nonleptonic weak decays of triply heavy baryons $\Omega_{ccc}^{++}$, $\Omega_{bbb}^{-}$, $\Omega_{ccb}^{+}$, and $\Omega_{cbb}^{0}$. Decay amplitudes for various processes have been parametrized in terms of the SU(3) irreducible nonperturbative amplitudes. A number of relations for the partial decay widths can be deduced from these results that can be examined in future. Some decay channels and cascade decay modes which likely to be used to reconstruct the triply heavy baryons have been also listed.


title: Coexistence of vector soliton Kerr combs in normal dispersion resonators

abstract: We investigate the formation of dark vector localized structures in the presence of nonlinear polarization mode coupling in optical resonators subject to a coherent optical injection in the normal dispersion regime. This simple device is described by coupled Lugiato-Lefever equations. The stabilization of localized structures is attributed to a front locking mechanism. We show that in a multistable homogeneous steady-state regime, two branches of dark localized structures can coexist for a fixed value of the system parameters. These coexisting solutions possess different polarization states and different power peaks in the microresonator. We characterize in-depth their formation by drawing their bifurcation diagrams in regimes close to modulational instability and far from it. It is shown that both branches of localized structures exhibit a heteroclinic collapse snaking type of behavior. The coexistence of two vectorial branches of dark localized states is not possible without taking into account polarization degrees of freedom.


title: Data-Driven Dynamical Mean-Field Theory: an error-correction approach to solve the quantum many-body problem using machine learning

abstract: Machine learning opens new avenues for modelling correlated materials. Quantum embedding approaches, such as the dynamical mean-field theory (DMFT), provide corrections to first-principles calculations for strongly correlated materials, which are poorly described at lower levels of theory. Such embedding approaches are computationally demanding on classical computing architectures, and hence remain restricted to small systems, which limits the scope of applicability without exceptional computational resources. Here we outline a data-driven machine learning process for solving the Anderson Impurity Model (AIM) - the central component of DMFT calculations. The key advance is the use of an ensemble error-correction approach to generate fast and accurate solutions of AIM. An example calculation of the Mott transition using DMFT in the single band Hubbard model is given as an example of the technique, and is validated against the most accurate available method. This new approach is called data-driven dynamical mean-field theory (\textbf{d$^{3}$MFT}).


title: Enhanced local viscosity around colloidal nanoparticles probed by Equilibrium Molecular Dynamics Simulations

abstract: Nanofluids; dispersions of nanometer-sized particles in a liquid medium; have been proposed for a wide variety of thermal management applications. It is known that a solid-like nanolayer of liquid of typical thickness 0.5-1 nm surrounding the colloidal nanoparticles can act as a thermal bridge between the nanoparticle and the bulk liquid. Yet, its effect on the nanofluid viscosity has not been elucidated so far. In this article, we compute the local viscosity of the nanolayer using equilibrium molecular dynamics based on the Green-Kubo formula. We first assess the validity of the method to predict the viscosity locally. We apply this methodology to the calculation of the local viscosity in the immediate vicinity of a metallic nanoparticle for a wide range of solid-liquid interaction strength, where a nanolayer of thickness 1 nm is observed as a result of the interaction with the nanoparticle. The viscosity of the nanolayer, which is found to be higher than its corresponding bulk value, is directly dependent on the solid-liquid interaction strength. We discuss the origin of this viscosity enhancement and show that the liquid density increment alone cannot explain the values of the viscosity observed. Rather, we suggest that the solid-like structure of the distribution of the liquid atoms in the vicinity of the nanoparticle contributes to the nanolayer viscosity enhancement. Finally, we observe a failure of the Stokes-Einstein relation between viscosity and diffusion close to the wall, depending on the liquid-solid interaction strength, which we rationalize in terms of hydrodynamic slip.


title: The Robustness of Graph k-shell Structure under Adversarial Attacks

abstract: The k-shell decomposition plays an important role in unveiling the structural properties of a network, i.e., it is widely adopted to find the densest part of a network across a broad range of scientific fields, including Internet, biological networks, social networks, etc. However, there arises concern about the robustness of the k-shell structure when networks suffer from adversarial attacks. Here, we introduce and formalize the problem of the k-shell attack and develop an efficient strategy to attack the k-shell structure by rewiring a small number of links. To the best of our knowledge, it is the first time to study the robustness of graph k-shell structure under adversarial attacks. In particular, we propose a Simulated Annealing (SA) based k-shell attack method and testify it on four real-world social networks. The extensive experiments validate that the k-shell structure of a network is robust under random perturbation, but it is quite vulnerable under adversarial attack, e.g., in Dolphin and Throne networks, more than 40% nodes change their k-shell values when only 10% links are changed based on our SA-based k-shell attack. Such results suggest that a single structural feature could also be significantly disturbed when only a small fraction of links are changed purposefully in a network. Therefore, it could be an interesting topic to improve the robustness of various network properties against adversarial attack in the future.


title: Acoustophoresis in polymer-based microfluidic devices: modeling and experimental validation

abstract: A finite-element model is presented for numerical simulation in three dimensions of acoustophoresis of suspended microparticles in a microchannel embedded in a polymer chip and driven by an attached piezoelectric transducer at MHz frequencies. In accordance with the recently introduced principle of whole-system ultrasound resonances, an optimal resonance mode is identified that is related to an acoustic resonance of the combined transducer-chip-channel system and not to the conventional pressure half-wave resonance of the microchannel. The acoustophoretic action in the microchannel is of comparable quality and strength to conventional silicon-glass or pure glass devices. The numerical predictions are validated by acoustic focusing experiments on 5-um-diameter polystyrene particles suspended inside a microchannel, which was milled into a PMMA-chip. The system was driven anti-symmetrically by a piezoelectric transducer, driven by a 30-V peak-to-peak AC-voltage in the range from 0.5 to 2.5 MHz, leading to acoustic energy densities of 13 J/m^3 and particle focusing times of 6.6 s.


title: Mind the Performance Gap: Examining Dataset Shift During Prospective Validation

abstract: Once integrated into clinical care, patient risk stratification models may perform worse compared to their retrospective performance. To date, it is widely accepted that performance will degrade over time due to changes in care processes and patient populations. However, the extent to which this occurs is poorly understood, in part because few researchers report prospective validation performance. In this study, we compare the 2020-2021 ('20-'21) prospective performance of a patient risk stratification model for predicting healthcare-associated infections to a 2019-2020 ('19-'20) retrospective validation of the same model. We define the difference in retrospective and prospective performance as the performance gap. We estimate how i) "temporal shift", i.e., changes in clinical workflows and patient populations, and ii) "infrastructure shift", i.e., changes in access, extraction and transformation of data, both contribute to the performance gap. Applied prospectively to 26,864 hospital encounters during a twelve-month period from July 2020 to June 2021, the model achieved an area under the receiver operating characteristic curve (AUROC) of 0.767 (95% confidence interval (CI): 0.737, 0.801) and a Brier score of 0.189 (95% CI: 0.186, 0.191). Prospective performance decreased slightly compared to '19-'20 retrospective performance, in which the model achieved an AUROC of 0.778 (95% CI: 0.744, 0.815) and a Brier score of 0.163 (95% CI: 0.161, 0.165). The resulting performance gap was primarily due to infrastructure shift and not temporal shift. So long as we continue to develop and validate models using data stored in large research data warehouses, we must consider differences in how and when data are accessed, measure how these differences may affect prospective performance, and work to mitigate those differences.


title: Time reversal-odd effects in QCD and beyond

abstract: In this paper we will describe a parallel between phenomenological and symmetry-based descriptions of the process dependence of the time-reversal-odd phenomena in QCD, such as the Sivers effect, with the goal of defining the essential elements that lead to such process dependence in QCD. This will then serve as a starting point to explore possible generalizations in a different gauge theory.


title: Artificial Intelligence in Achieving Sustainable Development Goals

abstract: This perspective illustrates some of the AI applications that can accelerate the achievement of SDGs and also highlights some of the considerations that could hinder the efforts towards them. This emphasizes the importance of establishing standard AI guidelines and regulations for the beneficial applications of AI.


title: PPT Fusion: Pyramid Patch Transformerfor a Case Study in Image Fusion

abstract: The Transformer architecture has witnessed a rapid development in recent years, outperforming the CNN architectures in many computer vision tasks, as exemplified by the Vision Transformers (ViT) for image classification. However, existing visual transformer models aim to extract semantic information for high-level tasks, such as classification and detection.These methods ignore the importance of the spatial resolution of the input image, thus sacrificing the local correlation information of neighboring pixels. In this paper, we propose a Patch Pyramid Transformer(PPT) to effectively address the above issues.Specifically, we first design a Patch Transformer to transform the image into a sequence of patches, where transformer encoding is performed for each patch to extract local representations. In addition, we construct a Pyramid Transformer to effectively extract the non-local information from the entire image. After obtaining a set of multi-scale, multi-dimensional, and multi-angle features of the original image, we design the image reconstruction network to ensure that the features can be reconstructed into the original input. To validate the effectiveness, we apply the proposed Patch Pyramid Transformer to image fusion tasks. The experimental results demonstrate its superior performance, compared to the state-of-the-art fusion approaches, achieving the best results on several evaluation indicators. Thanks to the underlying representational capacity of the PPT network, it can directly be applied to different image fusion tasks without redesigning or retraining the network.


title: Improving Latency with Active Queue Management (AQM) During COVID-19

abstract: During the COVID-19 pandemic the Comcast network performed well in response to unprecedented changes in Internet usage and video communications applications that are sensitive to network latency have exploded in popularity. However, in today's typical networks-such as a home network-those applications often degrade if they are sharing a network link with other network traffic. This is a problem caused by a network design flaw often described using the term 'buffer bloat'. Several years ago, Comcast helped to fund research and development in the technical community into new Active Queue Management (AQM) techniques to eliminate this issue and AQM was later built into Data Over Cable Service Interface Specification (DOCSIS) standards. Just prior to the pandemic, Comcast also deployed a large-scale network performance measurement system that included a latency under load test. In addition, Comcast happened to deploy two otherwise identical cable modems; one with upstream AQM enabled, and the other without. This fortuitous confluence of events has enabled Comcast to perform a comparative analysis of the differences between cable modem gateways using AQM with those that lack that enhancement, at a unique level of scale across many months of time and millions of devices. The data reveals significantly better upstream latency under load performance when AQM is used. For the device with AQM, most of the latency under load tests resulted in 15-30 milliseconds of latency. In comparison, the device without AQM averaged roughly 250 milliseconds of latency, between 8-16 times higher, a highly significant difference to the end user quality of experience. These large-scale measurement comparisons should provide additional data to justify accelerated deployment of AQM in DOCSIS and other Internet Service Provider networks and user-purchased home network equipment.


title: Significance of Speaker Embeddings and Temporal Context for Depression Detection

abstract: Depression detection from speech has attracted a lot of attention in recent years. However, the significance of speaker-specific information in depression detection has not yet been explored. In this work, we analyze the significance of speaker embeddings for the task of depression detection from speech. Experimental results show that the speaker embeddings provide important cues to achieve state-of-the-art performance in depression detection. We also show that combining conventional OpenSMILE and COVAREP features, which carry complementary information, with speaker embeddings further improves the depression detection performance. The significance of temporal context in the training of deep learning models for depression detection is also analyzed in this paper.


title: On Fractional Quantum Hall Effect (FQHE): A Chern-Simons and nonequilibrium quantum transport Weyl transform approach

abstract: We give a simple macroscopic phase-space explanation of fractional quantum Hall effect (FQHE), in a fashion reminiscent of the Landau-Ginsburg macroscopic symmetry breaking analyses. This is in contrast to the more complicated microscopic wavefunction approaches. Here, we employ a nonequilibrium quantum transport in the lattice Weyl transform formalism. This is coupled with the Maxwell Chern-Simons gauge theory for defining fractional filling of Landau levels. Flux attachment concept is inherent in fully occupied and as well as in partially occupied Landau levels. We derived the k-factor scaling hierarchy in Chern-Simons gauge theory, as the scaling hierarchy of the magnetic field or magnetic flux in FQHE. This is crucial in our simple explanation of FQHE as a topological invariant in phase space. For the fundamental scaling hierarchy, the integer k must be a prime number, and for fractions both the numerator and denominator of k must also be prime numbers. The assumption in the literature that a hierarchy of denominators of v = 1 k is given by the expression, (2n + 1), is wrong. Furthermore, even denominators for v cannot belong to fundamental scaling hierarchy and is often absent or less resolved in the experiments.


title: Two universality classes for the displacive phase transitions in perovskites

abstract: Perovskites like LaAlO3, (or SrTiO3) undergo displacive structural phase transitions from a cubic crystal to a trigonal (or tertagonal) structure. For many years, the critical exponents in both these types of transitions have been fitted to those of the isotropic three-commponents Heisenberg model. Recent field theoretical accurate calculations showed that this is wrong: the isotropic fixed point of the renormalization group (RG) is unstable, and RG iterations flow either to a `cubic' fixed point or to a fluctuation-driven first-order transition. These distinct flows correspond to two distinct universality classes, identified by the symmetry of the ordered structures below the transitions. Here we show that perovskites which become trigonal or tetragonal belong to these two universality classes, respectively. The close vicinity of the isotropic and cubic fixed points explains the apparent wrong observations of a single universality class, but also implies the existence of slowly varying effective material-dependent exponents. For the tetragonal case, these effective exponents can have the `isotropic' values before crossing to the first-order transition. We propose dedicated experiments to test these predictions. We also expect a similar splitting of the universality classes in any situation in which two (or more) fixed points compete for stability.


title: Longitudinal double helicity asymmetry $A_{LL}$ from direct photon, jet and charged pion production in polarized $\vec{p}+\vec{p}$ collisions

abstract: Understanding the proton spin composition from the quarks and gluons spin polarization and their motion is important to test various kinds of sum rules and nonperturbative properties of hadrons. At the Relativistic Heavy Ion Collider (RHIC), we collide longitudinally polarized proton beams and measure the double helicity asymmetry $A_{LL}$, which is an important physical quantity for extracting the polarized parton distribution functions (PDFs) of the proton. Direct photon, jet and charged pion production are good channels to probe the gluon spin polarization inside the proton, with the ability to probe also the sign of the gluon spin. Direct photon production is the theoretically ``cleanest'' channel, with little fragmentation contribution, but limited by statistics. On the other hand, jet and charged pion production have more statistics, but include more hard processes and hadronization effects. I will present the recent measurements of direct photon, jet and charged pion $A_{LL}$s at PHENIX and show their complementary roles in extracting the gluon spin.


title: Self-Supervised Learning for Fine-Grained Image Classification

abstract: Fine-grained image classification involves identifying different subcategories of a class which possess very subtle discriminatory features. Fine-grained datasets usually provide bounding box annotations along with class labels to aid the process of classification. However, building large scale datasets with such annotations is a mammoth task. Moreover, this extensive annotation is time-consuming and often requires expertise, which is a huge bottleneck in building large datasets. On the other hand, self-supervised learning (SSL) exploits the freely available data to generate supervisory signals which act as labels. The features learnt by performing some pretext tasks on huge unlabelled data proves to be very helpful for multiple downstream tasks. Our idea is to leverage self-supervision such that the model learns useful representations of fine-grained image classes. We experimented with 3 kinds of models: Jigsaw solving as pretext task, adversarial learning (SRGAN) and contrastive learning based (SimCLR) model. The learned features are used for downstream tasks such as fine-grained image classification. Our code is available at http://github.com/rush2406/Self-Supervised-Learning-for-Fine-grained-Image-Classification


title: $2^n$-root weak, Chern, and higher-order topological insulators, and $2^n$-root topological semimetals

abstract: Recently, we have introduced in [A. M. Marques et al., Phys. Rev. B 103, 235425 (2021)] the concept of $2^n$-root topology and applied it to one-dimensional systems. These models require $n$ squaring operations to their Hamiltonians, intercalated with different constant energy downshifts at each level, in order to arrive at a decoupled block corresponding to a known topological insulator (TI) that acts as the source of the topological features of the starting $2^n$-root TI ($\sqrt[2^n]{\text{TI}}$). In the process, $n$ non-topological residual models with degenerate spectra and in-gap impurity states appear, which dilute the topologically protected component of the starting edge states. Here, we generalize this method to several two-dimensional models, by finding the 4-root version of lattices hosting weak and higher-order boundary modes (both topological and non-topological) of a Chern insulator and of a topological semimetal. We further show that a starting model with a non-Hermitian region in parameter space and a complex energy spectrum can nevertheless display a purely real spectrum for all its successive squared versions, allowing for an exact mapping between certain non-Hermitian models and their Hermitian lower root-degree counterparts. A comment is made on the possible realization of these models in artificial lattices.


title: A Sketch of a Proof-Theoretic Semantics for Necessity

abstract: This paper considers proof-theoretic semantics for necessity within Dummett's and Prawitz's framework. Inspired by a system of Pfenning's and Davies's, the language of intuitionist logic is extended by a higher order operator which captures a notion of validity. A notion of relative necessary is defined in terms of it, which expresses a necessary connection between the assumptions and the conclusion of a deduction.


title: Stochastic billiards with Markovian reflections in generalized parabolic domains

abstract: We study recurrence and transience for a particle that moves at constant velocity in the interior of an unbounded planar domain, with random reflections at the boundary governed by a Markov kernel producing outgoing angles from incoming angles. Our domains have a single unbounded direction and sublinear growth. We characterize recurrence in terms of the reflection kernel and growth rate of the domain. The results are obtained by transforming the stochastic billiards model to a Markov chain on a half-strip $\mathbb{R}_+ \!\times S$ where $S$ is a compact set. We develop the recurrence classification for such processes in the near-critical regime in which drifts of the $\mathbb{R}_+$ component are of generalized Lamperti type, and the $S$ component is asymptotically Markov; this extends earlier work that dealt with finite $S$.


title: Underwater Acoustic Networks for Security Risk Assessment in Public Drinking Water Reservoirs

abstract: We have built a novel system for the surveillance of drinking water reservoirs using underwater sensor networks. We implement an innovative AI-based approach to detect, classify and localize underwater events. In this paper, we describe the technology and cognitive AI architecture of the system based on one of the sensor networks, the hydrophone network. We discuss the challenges of installing and using the hydrophone network in a water reservoir where traffic, visitors, and variable water conditions create a complex, varying environment. Our AI solution uses an autoencoder for unsupervised learning of latent encodings for classification and anomaly detection, and time delay estimates for sound localization. Finally, we present the results of experiments carried out in a laboratory pool and the water reservoir and discuss the system's potential.


abstract: Semantic segmentation models trained on public datasets have achieved great success in recent years. However, these models didn't consider the personalization issue of segmentation though it is important in practice. In this paper, we address the problem of personalized image segmentation. The objective is to generate more accurate segmentation results on unlabeled personalized images by investigating the data's personalized traits. To open up future research in this area, we collect a large dataset containing various users' personalized images called PIS (Personalized Image Semantic Segmentation). We also survey some recent researches related to this problem and report their performance on our dataset. Furthermore, by observing the correlation among a user's personalized images, we propose a baseline method that incorporates the inter-image context when segmenting certain images. Extensive experiments show that our method outperforms the existing methods on the proposed dataset. The code and the PIS dataset will be made publicly available.


title: Kinematics of the Milky Way from the Gaia EDR3 red giants and sub-giants

abstract: We present the results of the kinematic investigations carried out with the use of spatial velocities of red giants and sub-giants containing in the $Gaia$~EDR3 catalogue. The twelve kinematic parameters of the Ogorodnikov--Milne model have been derived for stellar systems with radii 0.5 and 1.0 kpc, located along the direction the Galactic center -- the Sun -- the Galactic anticenter within the range of Galactocentric distances $R$ 0--8--16~kpc. By combining some of the local parameters the information related to the Galaxy as a whole has been received in the distance range 4--12~kpc, in particular the Galactic rotational curve, its slope, velocity gradients. We show that when using this approach, there is an alternative possibility to infer the behaviour of the Galactic rotational curve and its slope without using the Galactocentric distance $R_\odot$. The kinematic parameters derived within the Solar vicinity of 1~kpc radius are in good agreement with those given in literature.


title: Purcell effect with extended sources: The role of the cross density of states

abstract: We analyze the change in the spontaneous decay rate, or Purcell effect, of an extended quantum emitter in a structured photonic environment. Based on a simple theory, we show that the cross-density of states is the central quantity driving interferences in the emission process. Using numerical simulations in realistic photonic cavity geometries, we demonstrate that a structured cross-density of states can induce subradiance or superradiance, and change subtantially the emission spectrum. Interestingly, the spectral lineshape of the Purcell effect of an extended source cannot be predicted from the sole knowledge of the spectral dependence of the local density of states.


title: Classical Risk-Averse Control for a Finite-Horizon Borel Model

abstract: We study a risk-averse optimal control problem for a finite-horizon Borel model, where a cumulative cost is assessed via exponential utility. The setting permits non-linear dynamics, non-quadratic costs, and continuous state and control spaces but is less general than the problem of optimizing an expected utility. Our contribution is to show the existence of an optimal risk-averse controller without using state space augmentation and therefore offer a simpler solution method from first principles compared to what is currently available in the literature.


title: A methodology for formulating dynamical equations in analytical mechanics based on the principle of energy conservation

abstract: In this work, a methodology is proposed for formulating general dynamical equations in mechanics under the umbrella of the principle of energy conservation. It is shown that Lagrange's equation, Hamilton's canonical equations, and Hamilton-Jacobi's equation are all formulated based on the principle of energy conservation with a simple energy conservation equation, i.e., the rate of kinetic and potential energy with time is equal to the rate of work with time done by external forces; while D'Alembert's principle is a special case of the law of the conservation of energy, with either the virtual displacements ('frozen' time) or the virtual displacement ('frozen' generalized coordinates). It is argued that all of the formulations for characterizing the dynamical behaviors of a system can be derived from the principle of energy conservation, and the principle of energy conservation is an underlying guide for constructing mechanics in a broad sense. The proposed methodology provides an efficient way to tackle the dynamical problems in general mechanics, including dissipation continuum systems, especially for those with multi-physical field interactions and couplings. It is pointed out that, on the contrary to the classical analytical mechanics, especially to existing Hamiltonian mechanics, the physics essences of Hamilton's variational principle, Lagrange's equation, and the Newtonian second law of motion, including their derivatives such as momentum and angular momentum conservations, are the consequences of the law of conservation of energy. In addition, our proposed methodology is easier to understand with clear physical meanings and can be used for explaining the existing mechanical principles or theorems. Finally, as an application example, the methodology is applied in fluid mechanics to derive Cauchy's first law of motion.


title: PAD: a graphical and numerical enhancement of structural coding to facilitate thematic analysis of a literature corpus

abstract: We suggest an enhancement to structural coding through the use of (a) causally bound codes, (b) basic constructs of graph theory and (c) statistics. As is the norm with structural coding, the codes are collected into categories. The categories are represented by nodes (graph theory). The causality is illustrated through links (graph theory) between the nodes and the entire set of linked nodes is collected into a single directed acyclic graph. The number of occurrences of the nodes and the links provide the input required to analyze relative frequency of occurrence, as well as opening a scope for further statistical analysis. While our raw data was a corpus of literature from a specific discipline, this enhancement is accessible to any qualitative analysis that recognizes causality in its structural codes.


title: Web-Based Learning

abstract: Information Technology (IT) has had a number of positive impacts in various fields. In the world of education, IT provides its own style with various modes that may be used. Modern education in the era of globalization and based on Information Technology has transformed towards digital. IT has become the backbone of the modern learning process. The educational process that was previously carried out classically with a direct face-to-face mode has experienced a shift towards distance learning mode. In distance learning mode, students can access lecture material via the internet. Web-based learning is often also called online learning or e-learning because it includes course content and includes all educational interventions that use the internet (or local intranet).


title: Applying machine learning to determine impact parameter in nuclear physics experiments

abstract: Machine Learning (ML) algorithms have been demonstrated to be capable of predicting impact parameter in heavy-ion collisions from transport model simulation events with perfect detector response. We extend the scope of ML application to experimental data by incorporating realistic detector response of the S$\pi$RIT Time Projection Chamber into the heavy-ion simulation events generated from the UrQMD model to resemble experimental data. At 3 fm, the predicted impact parameter is 2.8 fm if simulation events with perfect detector is used for training and testing; 2.4 fm if detector response is included in the training and testing, and 5.8 fm if ML algorithms trained with perfect detector is applied to testing data that has included detector response. The last result is not acceptable illustrating the importance of including the detector response in developing the ML training algorithm. We also test the model dependence by applying the algorithms trained on UrQMD model to simulated events from four different transport models as well as using different input parameters on UrQMD model. Using data from Sn+Sn collisions at E/A=270 MeV, the ML determined impact parameters agree well with the experimentally determined impact parameter using multiplicities, except in the very central and very peripheral regions. ML selects central collision events better and allows impact parameters determination beyond the sharp cutoff limit imposed by experimental methods.


title: User-Centric Health Data Using Self-sovereign Identities

abstract: This article presents the potential use of the Self-Sovereign Identities (SSI), combining with Distributed Ledger Technologies (DLT), to improve the privacy and control of health data. The paper presents the SSI technology, lists the prominent use cases of decentralized identities in the health area, and discusses an effective blockchain-based architecture. The main contributions of the article are: (i) mapping SSI general and abstract concepts, e.g., issuers and holders, to the health domain concepts, e.g., physicians and patients; (ii) creating a correspondence between the SSI interactions, e.g., issue and verify a credential, and the US standardized set of health use cases; (iii) presenting and instantiating an architecture to deal with the use cases mentioned, effectively organizing the data in a user-centric way, that uses well-known SSI and Blockchain technologies.


title: Closing the B-tree vs. LSM-tree Write Amplification Gap on Modern Storage Hardware with Built-in Transparent Compression

abstract: This paper studies the design of B-tree that can take full advantage of modern storage hardware with built-in transparent compression. Recent years have witnessed significant interest in applying log-structured merge tree (LSM-tree) as an alternative to B-tree. The current consensus is that, compared with B-tree, LSM-tree has distinct advantages in terms of storage space efficiency and write amplification. This paper argues that one should revisit this belief upon the arrival of storage hardware with built-in transparent compression. Advanced storage appliances~(e.g., all-flash array) and emerging computational storage drives perform hardware-based lossless data compression, transparent to OS and user applications. Beyond straightforwardly reducing the physical storage cost difference between B-tree and LSM-tree, such modern storage hardware brings new opportunities to innovate B-tree implementation in order to largely reduce its write amplification. As the first step to explore the potential, this paper presents three simple design techniques (i.e., deterministic page shadowing, localized page modification logging, and sparse redo logging) that can leverage such modern storage hardware to significantly reduce the B-tree write amplification. We implemented these design techniques and carried out experiments on a commercial storage drive with built-in transparent compression. The results show that the proposed design techniques can reduce the B-tree write amplification by over 10x. Compared with RocksDB (a popular key-value store built upon LSM-tree), the implemented B-tree can achieve similar or even smaller write amplification and physical storage space usage.


title: Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality

abstract: This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett's and Dag Prawitz' philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of modal operators in terms of rules of inference.


title: Inner automorphisms of presheaves of groups

abstract: It has been proven by Schupp and Bergman that the inner automorphisms of groups can be characterized purely categorically as those group automorphisms that can be coherently extended along any outgoing homomorphism. One is thus motivated to define a notion of (categorical) inner automorphism in an arbitrary category, as an automorphism that can be coherently extended along any outgoing morphism, and the theory of such automorphisms forms part of the theory of covariant isotropy. In this paper, we prove that the categorical inner automorphisms in any category $\mathsf{Group}^{\mathcal{J}}$ of presheaves of groups can be characterized in terms of conjugation-theoretic inner automorphisms of the component groups, together with a natural automorphism of the identity functor on the index category $\mathcal{J}$. In fact, we deduce such a characterization from a much more general result characterizing the categorical inner automorphisms in any category $\mathbb{T}\mathsf{mod}^{\mathcal{J}}$ of presheaves of $\mathbb{T}$-models for a suitable first-order theory $\mathbb{T}$.


title: Anisotropic dynamics of two-photon ionization: An attosecond movie of photoemission

abstract: Imaging in real time the complete dynamics of a process as fundamental as photoemission has long been out of reach due to the difficulty of combining attosecond temporal resolution with fine spectral and angular resolutions. Here, we achieve full decoding of the intricate angle-dependent dynamics of a photoemission process in helium, spectrally and anisotropically structured by twophoton transitions through intermediate bound states. Using spectrally- and angularly-resolved attosecond electron interferometry, we characterize the complex-valued transition probability amplitude towards the photoelectron quantum state. This allows reconstructing in space, time and energy the complete formation of the photoionized wavepacket.


title: Stable vector bundles on a hyper-Kahler manifold with a rank 1 obstruction map are modular

abstract: Let X be an irreducible 2n-dimensional holomorphic symplectic manifold. A reflexive sheaf F is very modular, if its Azumaya algebra End(F) deforms with X to every Kahler deformation of X. We show that if F is a slope-stable reflexive sheaf of positive rank and the obstruction map from the second Hochschild cohomology of X to $Ext^2(F,F)$ has rank 1, then F is very modular. We associate to such a sheaf a vector in the Looijenga-Lunts-Verbitsky lattice of rank equal to the second Betti number of X plus 2. Three sources of examples of such modular sheaves emerge. The first source consists of slope-stable reflexive sheaves F of positive rank which are isomorphic to the image of the structure sheaf via an equivalence of the derived categories of two irreducible holomorphic symplectic manifolds. The second source consists of such F, which are isomorphic to the image of a sky-scraper sheaf via a derived equivalence. The third source consists of images of torsion sheaves L supported as line bundles on holomorphic lagrangian submanifolds Z, such that Z deforms with X in co-dimension one in moduli and L is a rational power of the canonical line bundle of Z.


title: Classical and Quantum Orbital Correlations in the Molecular Electronic States

abstract: The quantum superposition principle has been extensively utilized in the quantum mechanical description of the bonding phenomenon. It explains the emergence of delocalized molecular orbitals and provides a recipe for the construction of near-exact electronic wavefunctions. On the other hand, its existence in composite systems may give rise to nonclassical correlations that are regarded now as a resource in quantum technologies. Here, we approach the electronic ground states of three prototypical molecules from the point of view of fermionic information theory. For the first time in the literature, we properly decompose the pairwise orbital correlations into their classical and quantum parts in the presence of superselection rules. We observe that quantum orbital correlations can be stronger than classical orbital correlations though not often. Also, quantum orbital correlations can survive even in the absence of orbital entanglement depending on the symmetries of the constituent orbitals. Finally, we demonstrate that orbital entanglement would be underestimated if the orbital density matrices were treated as qubit states.


title: New boundary conditions for the approximate flux-limited diffusion radiative transfer in circumstellar environments: test case study for spherically symmetric envelopes

abstract: In order to constrain the models describing circumstellar environments, it is necessary to solve the radiative transfer equation in the presence of absorption and scattering, coupled with the equation for radiative equilibrium. However, solving this problem requires much CPU time, which makes the use of automatic minimisation procedures to characterise these environments challenging. The use of approximate methods is then of primary interest. One promising candidate method is the flux-limited diffusion (FLD), which recasts the radiative transfer problem into a non-linear diffusion equation. One important aspect for the accuracy of the method lies in the implementation of appropriate boundary conditions (BCs). We present new BCs for the FLD approximation in circumstellar environments that we apply here to spherically symmetric envelopes. At the inner boundary, the entering flux (coming from the star and from the envelope itself) may be written in the FLD formalism and provides us with an adequate BC. At the free outer boundary, we used the FLD formalism to constrain the ratio of the mean radiation intensity over the emerging flux. In both cases we derived non-linear mixed BCs relating the surface values of the mean specific intensity and its gradient. We implemented these conditions and compared the results with previous benchmarks and the results of a Monte Carlo radiative transfer code. A comparison with results derived from BCs that were previously proposed in other contexts is presented as well. For all the tested cases, the average relative difference with the benchmark results is below 2\% for the temperature profile and below 6\% for the corresponding spectral energy distribution or the emerging flux. We point out that the FLD method together with the new outer BC also allows us to derive an approximation for the emerging flux.


title: Improving Robustness and Accuracy via Relative Information Encoding in 3D Human Pose Estimation

abstract: Most of the existing 3D human pose estimation approaches mainly focus on predicting 3D positional relationships between the root joint and other human joints (local motion) instead of the overall trajectory of the human body (global motion). Despite the great progress achieved by these approaches, they are not robust to global motion, and lack the ability to accurately predict local motion with a small movement range. To alleviate these two problems, we propose a relative information encoding method that yields positional and temporal enhanced representations. Firstly, we encode positional information by utilizing relative coordinates of 2D poses to enhance the consistency between the input and output distribution. The same posture with different absolute 2D positions can be mapped to a common representation. It is beneficial to resist the interference of global motion on the prediction results. Second, we encode temporal information by establishing the connection between the current pose and other poses of the same person within a period of time. More attention will be paid to the movement changes before and after the current pose, resulting in better prediction performance on local motion with a small movement range. The ablation studies validate the effectiveness of the proposed relative information encoding method. Besides, we introduce a multi-stage optimization method to the whole framework to further exploit the positional and temporal enhanced representations. Our method outperforms state-of-the-art methods on two public datasets. Code is available at https://github.com/paTRICK-swk/Pose3D-RIE.


title: Limiting dynamics for Q-learning with memory one in symmetric two-player, two-action games

abstract: We develop a method based on computer algebra systems to represent the mutual pure strategy best-response dynamics of symmetric two-player, two-action repeated games played by players with a one-period memory. We apply this method to the iterated prisoner's dilemma, stag hunt and hawk-dove games and identify all possible equilibrium strategy pairs and the conditions for their existence. The only equilibrium strategy pair that is possible in all three games is the win-stay, lose-shift strategy. Lastly, we show that the mutual best-response dynamics are realized by a sample batch Q-learning algorithm in the infinite batch size limit.


title: Superconductivity in the bilayer Hubbard model: Are two Fermi surfaces better than one?

abstract: Fully occupied or unoccupied bands in a solid are often considered inert and irrelevant to a material's low-energy properties. But the discovery of enhanced superconductivity in heavily electron-doped FeSe-derived superconductors poses questions about the possible role of incipient bands (those laying close to but not crossing the Fermi level) in pairing. To answer this question, researchers have studied pairing correlations in the bilayer Hubbard model, which has an incipient band for large interlayer hopping $t_\perp$, using many-body perturbation theory and variational methods. They have generally found that superconductivity is enhanced as one of the bands approaches the Liftshiz transition and even when it becomes incipient. Here, we address this question using the nonperturbative quantum Monte Carlo (QMC) dynamical cluster approximation (DCA) to study the bilayer Hubbard model's pairing correlations. We find that the model has robust $s_\pm$ pairing correlations in the large $t_\perp$ limit, which can become stronger as one band is made incipient. While this behavior is linked to changes in the effective interaction, we further find that it is counteracted by a suppression of the intrinsic pair-field susceptibility and does not translate to an increased $T_c$. Our results demonstrate that the highest achievable transition temperatures in the bilayer Hubbard model occur when the system has two bands crossing the Fermi level.


title: Bayesian inference of strange star equation of state using the GW170817 and GW190425 data

abstract: The observations of compact star inspirals from LIGO/Virgo provide a valuable tool to study the highly uncertain equation of state (EOS) of dense matter at the densities in which the compact stars reside. It is not clear whether the merging stars are neutron stars or quark stars containing self-bound quark matter. In this work, we explore the allowed bag-model-like EOSs by assuming the merging stars are strange quark stars (SQSs) from a Bayesian analysis employing the tidal deformability observational data of the GW170817 and GW190425 binary mergers. We consider two extreme states of strange quark matter, either in nonsuperfluid or color-flavor locked (CFL) and find the results in these two cases essentially reconcile. In particular, our results indicate that the sound speed in the SQS matter is approximately a constant close to the conformal limit of $c/\sqrt{3}$. The universal relations between the mass, the tidal deformability and the compactness are provided for the SQSs. The most probable values of the maximum mass are found to be $M_{\rm TOV}=2.10_{-0.12}^{+0.12}~(2.15_{-0.14}^{+0.16})\,M_{\odot}$ for normal (CFL) SQSs at a $90\%$ confidence level. The corresponding radius and tidal deformability for a $1.4\,M_{\odot}$ star are $R_{\rm 1.4}= 11.50_{-0.55}^{+0.52}~({11.42}_{-0.44}^{+0.52})~\rm km$ and $\Lambda_{1.4}= {650}_{-190}^{+230}~({630}_{-150}^{+220})$, respectively. We also investigate the possibility of GW190814's secondary component $m_2$ of mass $2.59_{-0.09}^{+0.08}\,M_{\odot}$ being an SQS, and find that it could be a CFL SQS with the pairing gap $\Delta$ larger than $244~\rm MeV$ and the effective bag parameter $B_{\rm eff}^{1/4}$ in the range of $170$ to $192$ MeV, at a $90\%$ confidence level.


title: "Excavating AI" Re-excavated: Debunking a Fallacious Account of the JAFFE Dataset

abstract: Twenty-five years ago, my colleagues Miyuki Kamachi and Jiro Gyoba and I designed and photographed JAFFE, a set of facial expression images intended for use in a study of face perception. In 2019, without seeking permission or informing us, Kate Crawford and Trevor Paglen exhibited JAFFE in two widely publicized art shows. In addition, they published a nonfactual account of the images in the essay "Excavating AI: The Politics of Images in Machine Learning Training Sets." The present article recounts the creation of the JAFFE dataset and unravels each of Crawford and Paglen's fallacious statements. I also discuss JAFFE more broadly in connection with research on facial expression, affective computing, and human-computer interaction.


title: Smart thermal management with near-field thermal radiation

abstract: When two objects at different temperatures are separated by a vacuum gap they can exchange heat by radiation only. At large separation distances (far-field regime) the amount of transferred heat flux is limited by Stefan-Boltzmann's law (blackbody limit). In contrast, at subwavelength distances (near-field regime) this limit can be exceeded by orders of magnitude thanks to the contributions of evanescent waves. This article reviews the recent progress on the passive and active control of near-field radiative heat exchange in two- and many-body systems.


title: Resisting Out-of-Distribution Data Problem in Perturbation of XAI

abstract: With the rapid development of eXplainable Artificial Intelligence (XAI), perturbation-based XAI algorithms have become quite popular due to their effectiveness and ease of implementation. The vast majority of perturbation-based XAI techniques face the challenge of Out-of-Distribution (OoD) data -- an artifact of randomly perturbed data becoming inconsistent with the original dataset. OoD data leads to the over-confidence problem in model predictions, making the existing XAI approaches unreliable. To our best knowledge, the OoD data problem in perturbation-based XAI algorithms has not been adequately addressed in the literature. In this work, we address this OoD data problem by designing an additional module quantifying the affinity between the perturbed data and the original dataset distribution, which is integrated into the process of aggregation. Our solution is shown to be compatible with the most popular perturbation-based XAI algorithms, such as RISE, OCCLUSION, and LIME. Experiments have confirmed that our methods demonstrate a significant improvement in general cases using both computational and cognitive metrics. Especially in the case of degradation, our proposed approach demonstrates outstanding performance comparing to baselines. Besides, our solution also resolves a fundamental problem with the faithfulness indicator, a commonly used evaluation metric of XAI algorithms that appears to be sensitive to the OoD issue.


title: Performance analysis of a hybrid agent for quantum-accessible reinforcement learning

abstract: In the last decade quantum machine learning has provided fascinating and fundamental improvements to supervised, unsupervised and reinforcement learning. In reinforcement learning, a so-called agent is challenged to solve a task given by some environment. The agent learns to solve the task by exploring the environment and exploiting the rewards it gets from the environment. For some classical task environments, such as deterministic strictly epochal environments, an analogue quantum environment can be constructed which allows to find rewards quadratically faster by applying quantum algorithms. In this paper, we analytically analyze the behavior of a hybrid agent which combines this quadratic speedup in exploration with the policy update of a classical agent. This leads to a faster learning of the hybrid agent compared to the classical agent. We demonstrate that if the classical agent needs on average $\langle J \rangle$ rewards and $\langle T \rangle_c$ epochs to learn how to solve the task, the hybrid agent will take $\langle T \rangle_q \leq \alpha \sqrt{\langle T \rangle_c \langle J \rangle}$ epochs on average. Here, $\alpha$ denotes a constant which is independent of the problem size. Additionally, we prove that if the environment allows for maximally $\alpha_o k_\text{max}$ sequential coherent interactions, e.g. due to noise effects, an improvement given by $\langle T \rangle_q \approx \alpha_o\langle T \rangle_c/4 k_\text{max}$ is still possible.


title: On the Probability of <<The Inhomogeneity of Composition Along the Magnetic Cloud Axis>>

abstract: In the present work, we study the possibility of assessing the inhomogeneities of the ionic composition along the axis of the magnetic cloud using the method that was recently used by Song et al. (2021). Possible violations of the used assumptions do not allow one to draw reliable conclusions.


title: A minimal phase-coupling model for intermittency in turbulent systems

abstract: Turbulent systems exhibit a remarkable multi-scale complexity, in which spatial structures induce scale-dependent statistics with strong departures from Gaussianity. In Fourier space, this is reflected by pronounced phase synchronization. A quantitative relation between real-space structure, statistics, and phase synchronization is currently missing. Here, we address this problem in the framework of a minimal phase-coupling model, which enables a detailed investigation by means of dynamical systems theory and multi-scale high-resolution simulations. We identify the spectral power-law steepness, which controls the phase coupling, as the control parameter for tuning the non-Gaussian properties of the system. Whereas both very steep and very shallow spectra exhibit close-to-Gaussian statistics, the strongest departures are observed for intermediate slopes comparable to the ones in hydrodynamic and Burgers turbulence. We show that the non-Gaussian regime of the model coincides with a collapse of the dynamical system to a lower-dimensional attractor and the emergence of phase synchronization, thereby establishing a dynamical-systems perspective on turbulent intermittency.


title: Sparse estimation for generalized exponential marked Hawkes process

abstract: We have established a sparse estimation method for the generalized exponential marked Hawkes process by the penalized method to the ordinary method (P-O) estimator. Furthermore, we evaluated the probability of correct variable selection. In order to achieve this, we established a framework for a likelihood analysis and the P-O estimation when there might be nuisance parameters and the true value of the parameter could be realized at the boundary of the parameter space. Numerical simulations are given for several important examples.


title: Unveiling quasiparticle dynamics of topological insulators through Bayesian modelling

abstract: Quasiparticle - a key concept to describe interacting particles - characterizes electron-electron interaction in metals (Fermi liquid) and electron pairing in superconductors. While this concept essentially relies on the simplification of hard-to-solve many-body problem into one-particle picture and residual effects, a difficulty in disentangling many-body effects from experimental quasiparticle signature sometimes hinders unveiling intrinsic low-energy dynamics, as highlighted by the fierce controversy on the origin of Dirac-band anomaly in graphene and dispersion kink in high-temperature superconductors. Here, we propose an approach to solve this fundamental problem - the Bayesian modelling of quasiparticles. We have chosen a topological insulator $\mathrm{TlBi(S,Se)_2}$ as a model system to formulate an inverse problem of quasiparticle spectra with semiparametric Bayesian analysis, and successfully extracted one-particle and many-body characteristics, i.e. the intrinsic energy gap and unusual lifetime in Dirac-quasiparticle bands. Our approach is widely applicable to clarify the quasiparticle dynamics of quantum materials.


title: Unified thermal model for photohadronic neutrino production in astrophysical sources

abstract: Astrophysical neutrino fluxes are often modeled as power laws of the energy. This is reasonable in the case of hadronic sources, but it does not capture the behavior in photohadronic sources, where the spectrum depends on the properties of the target photons on which protons collide. This limits the possibility of a unified treatment of different sources. In order to overcome this difficulty, we model the target photons by a blackbody spectrum. This model is sufficiently flexible to reproduce neutrino fluxes from known photohadronic sources; we apply it to study the sensitivity of Dense Neutrino Arrays, Neutrino Telescopes and Neutrino Radio Arrays to photohadronic sources. We also classify the flavor composition of the neutrino spectrum in terms of the parameter space. We discuss the interplay with the experiments, studying the changes in the track-to-shower ratio induced by different flavor compositions, both within and outside the region of the Glashow resonance.


title: Graceful and Strongly Graceful Permutations

abstract: A graceful labelling of a graph G is an injective function f from the set of vertices of G into the set {0,1,...,|EG|} such that if edge uv is assigned the label |f(u)-f(v)| then all edge labels have distinct values. A strong graceful labelling of a tree T with a perfect matching is a graceful labelling of T with the additional property that the sum of the vertex labels of each odd labelled edge add up to |ET|. A lobster or a 2-distant tree is a tree T that contains a path P such that any vertex of T is a distance at most 2 from a vertex of P. In this paper, we define generalised strongly graceful permutations and discover two new permutations in addition to the known permutation that is obtained by replacing each vertex label f(v) by |ET|- f(v). We use these permutations to prove, by induction, that a lobster with a perfect matching that consists of the set of end edges of the lobster, is strongly graceful. Further, we show that there exist strongly graceful labellings that assign the label 0 to four specific vertices of any tree belonging to this family of lobsters. By using the technique developed in this paper we will, further, present a tractable way for proving an equivalent form of Bermond conjecture which states that all lobsters are graceful. Two out of a total of three cases of the proposed equivalent form of Bermond conjecture are completed leaving the third case open for refutation or completion.


title: PhotoNs-GPU:A GPU accelerated cosmological simulation code

abstract: We present a GPU-accelerated cosmological simulation code, PhotoNs-GPU, based on algorithm of Particle Mesh Fast Multipole Method (PM-FMM), and focus on the GPU utilization and optimization. A proper interpolated method for truncated gravity is introduced to speed up the special functions in kernels. We verify the GPU code in mixed precision and different levels of interpolated method on GPU. A run with single precision is roughly two times faster that double precision for current practical cosmological simulations. But it could induce a unbiased small noise in power spectrum. Comparing with the CPU version of PhotoNs and Gadget-2, the efficiency of new code is significantly improved. Activated all the optimizations on the memory access, kernel functions and concurrency management, the peak performance of our test runs achieves 48% of the theoretical speed and the average performance approaches to 35% on GPU.


title: PKSpell: Data-Driven Pitch Spelling and Key Signature Estimation

abstract: We present PKSpell: a data-driven approach for the joint estimation of pitch spelling and key signatures from MIDI files. Both elements are fundamental for the production of a full-fledged musical score and facilitate many MIR tasks such as harmonic analysis, section identification, melodic similarity, and search in a digital music library. We design a deep recurrent neural network model that only requires information readily available in all kinds of MIDI files, including performances, or other symbolic encodings. We release a model trained on the ASAP dataset. Our system can be used with these pre-trained parameters and is easy to integrate into a MIR pipeline. We also propose a data augmentation procedure that helps retraining on small datasets. PKSpell achieves strong key signature estimation performance on a challenging dataset. Most importantly, this model establishes a new state-of-the-art performance on the MuseData pitch spelling dataset without retraining.


title: A quantum complexity approach to the Kirchberg Embedding Problem

abstract: The Kirchberg Embedding Problem (KEP) asks if every C*-algebra embeds into an ultrapower of the Cuntz algebra $\cal O_2$. Motivated by the recent refutation of the Connes Embedding Problem using the quantum complexity result MIP*=RE, we establish two quantum complexity consequences of a positive solution to KEP. Both results involve almost-commuting strategies to nonlocal games.


title: Auxetics-Inspired Tunable Metamaterials for Magnetic Resonance Imaging

abstract: Auxetics refers to structures or materials with a negative Poisson's ratio, thereby capable of exhibiting counter-intuitive behaviors. Herein, auxetic structures are exploited to design mechanically tunable metamaterials in both planar and hemispherical configurations operating at megahertz (MHz) frequencies, optimized for their application to magnetic resonance imaging (MRI). Specially, the reported tunable metamaterials are composed of arrays of inter-jointed unit cells featuring metallic helices, enabling auxetic patterns with a negative Poisson's ratio. The deployable deformation of the metamaterials yields an added degree of freedom with respect to frequency tunability through the resultant modification of the electromagnetic interactions between unit cells. The metamaterials are fabricated using 3D printing technology and a ~20 MHz frequency shift of the resonance mode is enabled during deformation. Experimental validation is performed in a clinical (3.0 Tesla) MRI, demonstrating that the metamaterials enable a marked boost in radiofrequency (RF) field strength under resonance matched conditions, ultimately yielding a dramatic increase in the signal-to-noise ratio (SNR) (~ 4.5X) of MRI. The tunable metamaterials presented herein offer a novel pathway towards the practical utilization of metamaterials in MRI, as well as a range of other emerging applications.


title: QED in the Exact Renormalization Group

abstract: The functional flow equation and the Quantum Master equation are consistently solved in perturbation for the chiral symmetric QED with and without four-fermi interactions. Due to the presence of momentum cutoff, unconventional features related to gauge symmetry are observed even in our perturbative results. In the absence of the four-fermi couplings, one-loop calculation gives us the Ward identity, $Z_{1}=Z_{2}$, and the standard results of anomalous dimensions and the beta function for the gauge coupling. It is a consequence of regularization scheme independence in one-loop computation. We also find a photon mass term. When included, four-fermi couplings contribute to the beta function and the Ward identity is also modified, $Z_{1} \neq Z_{2}$, due to a term proportional to the photon mass multiplied by the four-fermi couplings.


title: Explanatory Journeys: Visualising to Understand and Explain Administrative Justice Paths of Redress

abstract: Administrative justice concerns the relationships between individuals and the state. It includes redress and complaints on decisions of a child's education, social care, licensing, planning, environment, housing and homelessness. However, if someone has a complaint or an issue, it is challenging for people to understand different possible redress paths and explore what path is suitable for their situation. Explanatory visualisation has the potential to display these paths of redress in a clear way, such that people can see, understand and explore their options. The visualisation challenge is further complicated because information is spread across many documents, laws, guidance and policies and requires judicial interpretation. Consequently, there is not a single database of paths of redress. In this work we present how we have co-designed a system to visualise administrative justice paths of redress. Simultaneously, we classify, collate and organise the underpinning data, from expert workshops, heuristic evaluation and expert critical reflection. We make four contributions: (i) an application design study of the explanatory visualisation tool (Artemus), (ii) coordinated and co-design approach to aggregating the data, (iii) two in-depth case studies in housing and education demonstrating explanatory paths of redress in administrative law, and (iv) reflections on the expert co-design process and expert data gathering and explanatory visualisation for administrative justice and law.


title: Overhanging and touching waves in constant vorticity flows

abstract: We show the existence of periodic traveling waves at the free surface of a two dimensional, infinitely deep, and constant vorticity flow, under gravity, whose profiles are overhanging, including one which intersects itself to enclose a bubble of air. Numerical evidence has long suggested such overhanging and touching waves, but a rigorous proof has been elusive. Crapper's celebrated capillary waves in an irrotational flow have recently been shown to yield an exact solution to the problem for zero gravity, and our proof uses the implicit function theorem to construct nearby solutions for weak gravity.


title: HD 183579b: A Warm Sub-Neptune Transiting a Solar Twin Detected by TESS

abstract: We report the discovery and characterization of a transiting warm sub-Neptune planet around the nearby bright ($V=8.75$ mag, $K=7.15$ mag) solar twin HD 183579, delivered by the Transiting Exoplanet Survey Satellite (TESS). The host star is located $56.8\pm0.1$ pc away with a radius of $R_{\ast}=0.97\pm0.02\ R_{\odot}$ and a mass of $M_{\ast}=1.03\pm0.05\ M_{\odot}$. We confirm the planetary nature by combining space and ground-based photometry, spectroscopy, and imaging. We find that HD 183579b (TOI-1055b) has a radius of $R_{p}=3.53\pm0.13\ R_{\oplus}$ on a $17.47$ day orbit with a mass of $M_{p}=11.2\pm5.4\ M_{\oplus}$ ($3\sigma$ mass upper limit of $27.4\ M_{\oplus}$). HD 183579b is the fifth brightest known sub-Neptune planet system in the sky, making it an excellent target for future studies of the interior structure and atmospheric properties. By performing a line-by-line differential analysis using the high resolution and signal-to-noise ratio HARPS spectra, we find that HD 183579 joins the typical solar twin sample, without a statistically significant refractory element depletion.


title: Characterising menotactic behaviours in movement data using hidden Markov models

abstract: 1. Movement is the primary means by which animals obtain resources and avoid hazards. Most movement exhibits directional bias that is related to environmental features (taxis), such as the location of food patches, predators, ocean currents, or wind. Numerous behaviours with directional bias can be characterized by maintaining orientation at an angle relative to the environmental stimuli (menotaxis), including navigation relative to sunlight or magnetic fields and energy-conserving flight across wind. However, no statistical methods exist to flexibly classify and characterise such directional bias. 2. We propose a biased correlated random walk model that can identify menotactic behaviours by predicting turning angle as a trade-off between directional persistence and directional bias relative to environmental stimuli without making a priori assumptions about the angle of bias. We apply the model within the framework of a multi-state hidden Markov model (HMM) and describe methods to remedy information loss associated with coarse environmental data to improve the classification and parameterization of directional bias. 3. Using simulation studies, we illustrate how our method more accurately classifies behavioural states compared to conventional correlated random walk HMMs that do not incorporate directional bias. We illustrate the application of these methods by identifying cross wind olfactory foraging and drifting behaviour mediated by wind-driven sea ice drift in polar bears (Ursus maritimus) from movement data collected by satellite telemetry. 4. The extensions we propose can be readily applied to movement data to identify and characterize behaviours with directional bias toward any angle, and open up new avenues to investigate more mechanistic relationships between animal movement and the environment.


title: The persistence exponents of Gaussian random fields connected by the Lamperti transform

abstract: The (fractional) Brownian sheet is a simplest example of a Gaussian random field X whose covariance is the tensor product of a finite number (d) of nonnegative correlation functions of self-similar Gaussian processes. Let Y be the homogeneous Gaussian field obtained by applying to X the Lamperti transform, which involves the exponential change of time and the amplitude normalization to have unit variance. Under some assumptions, we prove the existence of the persistence exponents for both fields, X and Y, and find the relation between them. The exponent for X is the limit of ln1/P{X(t)<1, t in [0,T]^d}/(lnT)^d, T>>1. In terms of Y it has the form lim ln1/P{Y(t)<0,t in TG}/T^d:=Q, T>>1, where G is a suitable d-simplex and T is a similarity coefficient; G can be selected in form [0,c]^d if d=2 . The exponent Q exists for any continuous Gaussian homogeneous field Y with non-negative covariance when G is bounded region with a regular boundary. The problem of the existence and connection of exponents for X and Y was raised by Li and Shao [Ann. Probab. 32:1, 2004] and originally concerned the Brownian sheet.


title: Light Sterile Neutrinos and a High-Quality Axion from a Holographic Peccei-Quinn Mechanism

abstract: We present a 5D axion-neutrino model that explains the Standard Model fermion mass hierarchy and flavor structure, while simultaneously generating a high-quality axion. The axion and right-handed neutrinos transform under a 5D Peccei-Quinn gauge symmetry, and have highly suppressed profiles on the UV brane where the symmetry is explicitly broken. This setup allows neutrinos to be either Dirac, or Majorana with hierarchically small sterile neutrino masses. The axion decay constant originates from the IR scale, which in the holographically dual 4D description corresponds to the confinement scale of some new strong dynamics with a high-quality global Peccei-Quinn symmetry that produces a composite axion and light, composite sterile neutrinos. The sterile neutrinos could be observed in astrophysical or laboratory experiments, and the model predicts specific axion--neutrino couplings.


title: Who Owns the Data? A Systematic Review at the Boundary of Information Systems and Marketing

abstract: This paper gives a systematic research review at the boundary of the information systems (IS) and marketing disciplines. First, a historical overview of these disciplines is given to put the review into context. This is followed by a bibliographic analysis to select articles at the boundary of IS and marketing. Text analysis is then performed on the selected articles to group them into homogeneous research clusters, which are refined by selecting "distinct" articles that best represent the clusters. The citation asymmetries between IS and marketing are noted and an overall conceptual model is created that describes the "areas of collaboration" between IS and marketing. Forward looking suggestions are made on how academic researchers can better interface with industry and how academic research at the boundary of IS and marketing can be further developed.


title: Three-dimensional lattice ground states for Riesz and Lennard-Jones type energies

abstract: The Riesz potential $f_s(r)=r^{-s}$ is known to be an important building block of many interactions, including Lennard-Jones type potentials $f_{n,m}^{\rm{LJ}}(r):=a r^{-n}-b r^{-m}$, $n>m$ that are widely used in Molecular Simulations. In this paper, we investigate analytically and numerically the minimizers among three-dimensional lattices of Riesz and Lennard-Jones energies. We discuss the minimality of the Body-Centred-Cubic lattice (BCC), Face-Centred-Cubic lattice (FCC), Simple Hexagonal lattices (SH) and Hexagonal Close-Packing structure (HCP), globally and at fixed density. In the Riesz case, new evidence of the global minimality at fixed density of the BCC lattice is shown for $s<0$ and the HCP lattice is computed to have higher energy than the FCC (for $s>3/2$) and BCC (for $s<3/2$) lattices. In the Lennard-Jones case with exponents $3<m<n$, the ground state among lattices is confirmed to be a FCC lattice whereas a HCP phase occurs once added to the investigated structures. Furthermore, phase transitions of type ``FCC-SH" and ``FCC-HCP-SH" (when the HCP lattice is added) as the inverse density $V$ increases are observed for a large spectrum of exponents $(n,m)$. In the SH phase, the variation of the ratio $\Delta$ between the inter-layer distance $d$ and the lattice parameter $a$ is studied as $V$ increases. In the critical region of exponents $0<m<n<3$, the SH phase with an extreme value of the anisotropy parameter $\Delta$ dominates. If one limits oneself to rigid lattices, the BCC-FCC-HCP phase diagram is found. For $-2<m<n<0$, the BCC lattice is the only energy minimizer. Choosing $-4<m<n<-2$, the FCC and SH latices become minimizers.


title: Polynomials shrinkage estimators of a multivariate normal mean

abstract: In this work, the estimation of the multivariate normal mean by different classes of shrinkage estimators is investigated. The risk associated with the balanced loss function is used to compare two estimators. We start by considering estimators that generalize the James-Stein estimator and show that these estimators dominate the maximum likelihood estimator (MLE), therefore are minimax, when the shrinkage function satisfies some conditions. Then, we treat estimators of polynomial form and prove the increase of the degree of the polynomial allows us to build a better estimator from the one previously constructed.


title: Ann wins the nonrepetitive game over four letters and the erase-repetition game over six letters

abstract: We consider two games between two players Ann and Ben who build a word together by adding alternatively a letter at the end of the shared word. In the nonrepetitive game, Ben wins the game if he can create a square of length at least $4$, and Ann wins if she can build an arbitrarily long word before that. In the erase-repetition game, whenever a square occurs the second part of the square is erased and the goal of Ann is still to build an arbitrarily large word (Ben simply wants to limit the size of the word in this game). Grytczuk, Kozik, and Micek showed that Ann has a winning strategy for the nonrepetitive game if the alphabet is of size at least $6$ and for the erase-repetition game is the alphabet is of size at least $8$. In this article, we lower these bounds to respectively $4$ and $6$. The bound obtain by Grytczuk et al. relied on the so-called entropy compression and the previous bound by Pegden relied on some particular version of the Lov\'asz Local Lemma. We recently introduced a counting argument that can be applied to the same set of problems as entropy compression or the Lov\'asz Local Lemma and we use our method here. For these two games, we know that Ben has a winning strategy when the alphabet is of size at most 3, so our result for the nonrepetitive game is optimal, but we are not able to close the gap for the erase-repetition game.


title: Estimating $T_{\rm eff}$, radius and luminosity of M-dwarfs using high resolution optical and NIR spectral features

abstract: We estimate effective temperature ($T_{\rm eff}$), stellar radius, and luminosity for a sample of 271 M-dwarf stars (M0V-M7V) observed as a part of CARMENES (Calar Alto high-Resolution search for M dwarfs with Exo-earths with Near-infrared and optical Echelle Spectrographs) radial-velocity planet survey. For the first time, using the simultaneously observed high resolution (R$\sim90000$) spectra in the optical (0.52 - 0.96 $\mu$m) and near-infrared (0.96 - 1.71 $\mu$m) bands, we derive empirical calibration relationships to estimate the fundamental parameters of these low-mass stars. We select a sample of nearby and bright M-dwarfs as our calibrators for which the physical parameters are acquired from high-precision interferometric measurements. To identify the most suitable indicators of $T_{\rm eff}$, radius, and luminosity (log $L/L_{\odot}$), we inspect a range of spectral features and assess them for reliable correlations. We perform multivariate linear regression and find that the combination of pseudo equivalent widths and equivalent width ratios of the Ca II at 0.854 $\mu$m and Ca II at 0.866 $\mu$m lines in the optical and the Mg I line at 1.57 $\mu$m in the NIR give the best fitting linear functional relations for the stellar parameters with root mean square errors (RMSE) of 99K, 0.06 $R_{\odot}$ and 0.22 dex respectively. We also explore and compare our results with literature values obtained using other different methods for the same sample of M dwarfs.


title: Stochastic Geometric Iterative Method for Loop Subdivision Surface Fitting

abstract: In this paper, we propose a stochastic geometric iterative method to approximate the high-resolution 3D models by finite Loop subdivision surfaces. Given an input mesh as the fitting target, the initial control mesh is generated using the mesh simplification algorithm. Then, our method adjusts the control mesh iteratively to make its finite Loop subdivision surface approximates the input mesh. In each geometric iteration, we randomly select part of points on the subdivision surface to calculate the difference vectors and distribute the vectors to the control points. Finally, the control points are updated by adding the weighted average of these difference vectors. We prove the convergence of our method and verify it by demonstrating error curves in the experiment. In addition, compared with an existing geometric iterative method, our method has a faster fitting speed and higher fitting precision.


title: Addendum to "On triangular Billard"

abstract: Let $n, s, t$ be integers satisfying $(n,s,t)=1$. We classify all cases such that there is no integer $a$ with $n/2<as\bmod n+at\bmod n<3n/2$. This closes a gap in previous work of the author (Comment Math. Helv. 76, 501--505).


title: Dynamic functional time-series forecasts of foreign exchange implied volatility surfaces

abstract: This paper presents static and dynamic versions of univariate, multivariate, and multilevel functional time-series methods to forecast implied volatility surfaces in foreign exchange markets. We find that dynamic functional principal component analysis generally improves out-of-sample forecast accuracy. More specifically, the dynamic univariate functional time-series method shows the greatest improvement. Our models lead to multiple instances of statistically significant improvements in forecast accuracy for daily EUR-USD, EUR-GBP, and EUR-JPY implied volatility surfaces across various maturities, when benchmarked against established methods. A stylised trading strategy is also employed to demonstrate the potential economic benefits of our proposed approach.


title: Hyperbolic Diffusion in Flux Reconstruction: Optimisation through Kernel Fusion within Tensor-Product Elements

abstract: Novel methods are presented in this initial study for the fusion of GPU kernels in the artificial compressibility method (ACM), using tensor product elements with constant Jacobians and flux reconstruction. This is made possible through the hyperbolisation of the diffusion terms, which eliminates the expensive algorithmic steps needed to form the viscous stresses. Two fusion approaches are presented, which offer differing levels of parallelism. This is found to be necessary for the change in workload as the order of accuracy of the elements is increased. Several further optimisations of these approaches are demonstrated, including a generation time memory manager which maximises resource usage. The fused kernels are able to achieve 3-4 times speedup, which compares favourably with a theoretical maximum speedup of 4. In three dimensional test cases, the generated fused kernels are found to reduce total runtime by ${\sim}25\%$, and, when compared to the standard ACM formulation, simulations demonstrate that a speedup of $2.3$ times can be achieved.


title: Estimating Respiratory Rate From Breath Audio Obtained Through Wearable Microphones

abstract: Respiratory rate (RR) is a clinical metric used to assess overall health and physical fitness. An individual's RR can change from their baseline due to chronic illness symptoms (e.g., asthma, congestive heart failure), acute illness (e.g., breathlessness due to infection), and over the course of the day due to physical exhaustion during heightened exertion. Remote estimation of RR can offer a cost-effective method to track disease progression and cardio-respiratory fitness over time. This work investigates a model-driven approach to estimate RR from short audio segments obtained after physical exertion in healthy adults. Data was collected from 21 individuals using microphone-enabled, near-field headphones before, during, and after strenuous exercise. RR was manually annotated by counting perceived inhalations and exhalations. A multi-task Long-Short Term Memory (LSTM) network with convolutional layers was implemented to process mel-filterbank energies, estimate RR in varying background noise conditions, and predict heavy breathing, indicated by an RR of more than 25 breaths per minute. The multi-task model performs both classification and regression tasks and leverages a mixture of loss functions. It was observed that RR can be estimated with a concordance correlation coefficient (CCC) of 0.76 and a mean squared error (MSE) of 0.2, demonstrating that audio can be a viable signal for approximating RR.


title: UNITI Mobile -- EMI-Apps for a Large-Scale European Study on Tinnitus

abstract: More and more observational studies exploit the achievements of mobile technology to ease the overall implementation procedure. Many strategies like digital phenotyping, ecological momentary assessments or mobile crowdsensing are used in this context. Recently, an increasing number of intervention studies makes use of mobile technology as well. For the chronic disorder tinnitus, only few long-running intervention studies exist, which use mobile technology in a larger setting. Tinnitus is characterized by its heterogeneous patient's symptom profiles, which complicates the development of general treatments. In the UNITI project, researchers from different European countries try to unify existing treatments and interventions to cope with this heterogeneity. One study arm (UNITI Mobile) exploits mobile technology to investigate newly implemented interventions types, especially within the pan-European setting. The goals are to learn more about the validity and usefulness of mobile technology in this context. Furthermore, differences among the countries shall be investigated. Practically, two native intervention apps have been developed for UNITI and the mobile study arm, which pose features not presented so far in other apps of the authors. Along the implementation procedure, it is discussed whether these features might leverage similar types of studies in future. Since instruments like the mHealth evidence reporting and assessment checklist (mERA), developed by the WHO mHealth technical evidence review group, indicate that aspects shown for UNITI Mobile are important in the context of health interventions using mobile phones, our findings may be of a more general interest and are therefore being discussed in the work at hand.


title: Variation and oscillation inequalities for operator averages on a complex Hilbert space

abstract: Let $\mathcal{H}$ be a complex Hilbert space and $T:\mathcal{H}\to \mathcal{H}$ be a contraction. Let $$A_nf=\frac{1}{n}\sum_{j=1}^nT^jf$$ for $f\in \mathcal{H}$. Let $(n_k)$ be a sequence satisfying $\beta \geq n_{k+1}/n_k\geq \alpha >1$ for all $k\geq 1$, then there exists a constant $C_1>0$ such that $$\sum_{k=1}^\infty\|A_{n_{k+1}}f-A_{n_k}f\|_{\mathcal{H}}\leq C_1\|f\|_{\mathcal{H}}$$ for all $f\in \mathcal{H}$. Let $(n_k)$ be a sequence satisfying $\beta \geq n_{k+1}/n_k\geq \alpha >1$ for all $k\geq 1$, and let $M$ be any sequence. Then there exists a constant $C_2>0$ such that $$\sum_{k=1}^\infty\sup_{\substack{n_k\leq m< n_{k+1}\\m\in M}}\|A_m(T)f-A_{n_k}(T)f\|_{H}\leq C_2\|f\|_{\mathcal{H}}$$ for all $f\in \mathcal{H}$.


title: Doctrines, modalities and comonads

abstract: Doctrines are categorical structures very apt to study logics of different nature within a unified environment: the 2-category Dtn of doctrines. Modal interior operators are characterised as particular adjoints in the 2-category Dtn. We show that they can be constructed from comonads in Dtn as well as from adjunctions in it, and the two constructions compare. Finally we show the amount of information lost in the passage from a comonad, or from an adjunction, to the modal interior operator. The basis for the present work is provided by some seminal work of John Power.


title: A novel method of computing the volume of hyperspheres in finite and infinite dimensions

abstract: In the present article, the volume of the hypersphere in n-dimensional euclidean space is recalculated in a rather original way by using the theory of generalized functions (tempered distributions). The calculation is performed by applying the integral representation of the Heaviside unit step function and furthermore by using the distributional Fourier transform of general power-law functions. The same method (added by a regularization procedure of the occurring infinite-dimensional integral via the Riemann-zeta function) is applied in the case of infinite dimensions giving rise to some sort of anti-measure of spheres in the Hilbert space of square-summable complex sequences.


title: Temporal-Relational Hypergraph Tri-Attention Networks for Stock Trend Prediction

abstract: Predicting the future price trends of stocks is a challenging yet intriguing problem given its critical role to help investors make profitable decisions. In this paper, we present a collaborative temporal-relational modeling framework for end-to-end stock trend prediction. The temporal dynamics of stocks is firstly captured with an attention-based recurrent neural network. Then, different from existing studies relying on the pairwise correlations between stocks, we argue that stocks are naturally connected as a collective group, and introduce the hypergraph structures to jointly characterize the stock group-wise relationships of industry-belonging and fund-holding. A novel hypergraph tri-attention network (HGTAN) is proposed to augment the hypergraph convolutional networks with a hierarchical organization of intra-hyperedge, inter-hyperedge, and inter-hypergraph attention modules. In this manner, HGTAN adaptively determines the importance of nodes, hyperedges, and hypergraphs during the information propagation among stocks, so that the potential synergies between stock movements can be fully exploited. Extensive experiments on real-world data demonstrate the effectiveness of our approach. Also, the results of investment simulation show that our approach can achieve a more desirable risk-adjusted return. The data and codes of our work have been released at https://github.com/lixiaojieff/HGTAN.