title: Digital Twin: Where do humans fit in?

abstract: Digital Twin (DT) technology is far from being comprehensive and mature, resulting in their piecemeal implementation in practice where some functions are automated by DTs, and others are still performed by humans. This piecemeal implementation of DTs often leaves practitioners wondering what roles (or functions) to allocate to DTs in a work system, and how might it impact humans. A lack of knowledge about the roles that humans and DTs play in a work system can result in significant costs, misallocation of resources, unrealistic expectations from DTs, and strategic misalignments. To alleviate this challenge, this paper answers the research question: When humans work with DTs, what types of roles can a DT play, and to what extent can those roles be automated? Specifically, we propose a two-dimensional conceptual framework, Levels of Digital Twin (LoDT). The framework is an integration of the types of roles a DT can play, broadly categorized under (1) Observer, (2) Analyst, (3) Decision Maker, and (4) Action Executor, and the extent of automation for each of these roles, divided into five different levels ranging from completely manual to fully automated. A particular DT can play any number of roles at varying levels. The framework can help practitioners systematically plan DT deployments, clearly communicate goals and deliverables, and lay out a strategic vision. A case study illustrates the usefulness of the framework.


title: Learning the Relation between Similarity Loss and Clustering Loss in Self-Supervised Learning

abstract: Self-supervised learning enables networks to learn discriminative features from massive data itself. Most state-of-the-art methods maximize the similarity between two augmentations of one image based on contrastive learning. By utilizing the consistency of two augmentations, the burden of manual annotations can be freed. Contrastive learning exploits instance-level information to learn robust features. However, the learned information is probably confined to different views of the same instance. In this paper, we attempt to leverage the similarity between two distinct images to boost representation in self-supervised learning. In contrast to instance-level information, the similarity between two distinct images may provide more useful information. Besides, we analyze the relation between similarity loss and feature-level cross-entropy loss. These two losses are essential for most deep learning methods. However, the relation between these two losses is not clear. Similarity loss helps obtain instance-level representation, while feature-level cross-entropy loss helps mine the similarity between two distinct images. We provide theoretical analyses and experiments to show that a suitable combination of these two losses can get state-of-the-art results. Code is available at https://github.com/guijiejie/ICCL.


title: Exploring the foundation of social diversity and coherence with a novel attraction-repulsion model framework

abstract: One widely-existed state --``harmony with diversity" in which individuals freely express various viewpoints to sustain integration of social diversity, but at the same time shared values ensure social coherence, can be considered as the foundation of social diversity and coherence, however, which has never attracted research attention. Its formation mechanism still remains unclear. To address this issue, this study proposes an attraction-repulsion model based on the general simple assumption that individuals tend to either reach an agreement with shared opinions or to amplify difference from others with distant opinions. It allows us to take account into the three core parameters: interaction strength, individuals' susceptibility and tolerance to others' opinions. We are concerned with the effect of not only time-varying topology but also fixed interactions imposed by static social network, where the tasks of heterogeneous individuals' attributes are also performed. Remarkably, the simple model rules successfully generate the three above phases except for fragmentation, along with three different transitions and the triple points. We find that sufficient susceptibility, intermediate interaction strength and high tolerance can benefit a balance between repulsive and attractive forces, and thus the emergence of "harmony with diversity". However, fixed interactions can introduce cluster-level self-reinforced mechanism which can unexpectedly promote polarization. Heterogeneous susceptibility or tolerance turns out to be an inhibiting factor, which should be avoided. A method to identify the phase boundaries through computing the maximum susceptibility of entropy and stand deviation of opinions, confirmed by numerical simulations, allows us to build phase diagrams and to locate where the triple points are.


title: XDQN: Inherently Interpretable DQN through Mimicking

abstract: Although deep reinforcement learning (DRL) methods have been successfully applied in challenging tasks, their application in real-world operational settings is challenged by methods' limited ability to provide explanations. Among the paradigms for explainability in DRL is the interpretable box design paradigm, where interpretable models substitute inner constituent models of the DRL method, thus making the DRL method "inherently" interpretable. In this paper we explore this paradigm and we propose XDQN, an explainable variation of DQN, which uses an interpretable policy model trained through mimicking. XDQN is challenged in a complex, real-world operational multi-agent problem, where agents are independent learners solving congestion problems. Specifically, XDQN is evaluated in three MARL scenarios, pertaining to the demand-capacity balancing problem of air traffic management. XDQN achieves performance similar to that of DQN, while its abilities to provide global models' interpretations and interpretations of local decisions are demonstrated.


title: A Survey on Transformers in Reinforcement Learning

abstract: Transformer has been considered the dominating neural architecture in NLP and CV, mostly under supervised settings. Recently, a similar surge of using Transformers has appeared in the domain of reinforcement learning (RL), but it is faced with unique design choices and challenges brought by the nature of RL. However, the evolution of Transformers in RL has not yet been well unraveled. In this paper, we seek to systematically review motivations and progress on using Transformers in RL, provide a taxonomy on existing works, discuss each sub-field, and summarize future prospects.


title: Seamless Multimodal Biometrics for Continuous Personalised Wellbeing Monitoring

abstract: Artificially intelligent perception is increasingly present in the lives of every one of us. Vehicles are no exception, (...) In the near future, pattern recognition will have an even stronger role in vehicles, as self-driving cars will require automated ways to understand what is happening around (and within) them and act accordingly. (...) This doctoral work focused on advancing in-vehicle sensing through the research of novel computer vision and pattern recognition methodologies for both biometrics and wellbeing monitoring. The main focus has been on electrocardiogram (ECG) biometrics, a trait well-known for its potential for seamless driver monitoring. Major efforts were devoted to achieving improved performance in identification and identity verification in off-the-person scenarios, well-known for increased noise and variability. Here, end-to-end deep learning ECG biometric solutions were proposed and important topics were addressed such as cross-database and long-term performance, waveform relevance through explainability, and interlead conversion. Face biometrics, a natural complement to the ECG in seamless unconstrained scenarios, was also studied in this work. The open challenges of masked face recognition and interpretability in biometrics were tackled in an effort to evolve towards algorithms that are more transparent, trustworthy, and robust to significant occlusions. Within the topic of wellbeing monitoring, improved solutions to multimodal emotion recognition in groups of people and activity/violence recognition in in-vehicle scenarios were proposed. At last, we also proposed a novel way to learn template security within end-to-end models, dismissing additional separate encryption processes, and a self-supervised learning approach tailored to sequential data, in order to ensure data security and optimal performance. (...)


title: STPrivacy: Spatio-Temporal Privacy-Preserving Action Recognition

abstract: Existing methods of privacy-preserving action recognition (PPAR) mainly focus on frame-level (spatial) privacy removal through 2D CNNs. Unfortunately, they have two major drawbacks. First, they may compromise temporal dynamics in input videos, which are critical for accurate action recognition. Second, they are vulnerable to practical attacking scenarios where attackers probe for privacy from an entire video rather than individual frames. To address these issues, we propose a novel framework STPrivacy to perform video-level PPAR. For the first time, we introduce vision Transformers into PPAR by treating a video as a tubelet sequence, and accordingly design two complementary mechanisms, i.e., sparsification and anonymization, to remove privacy from a spatio-temporal perspective. In specific, our privacy sparsification mechanism applies adaptive token selection to abandon action-irrelevant tubelets. Then, our anonymization mechanism implicitly manipulates the remaining action-tubelets to erase privacy in the embedding space through adversarial learning. These mechanisms provide significant advantages in terms of privacy preservation for human eyes and action-privacy trade-off adjustment during deployment. We additionally contribute the first two large-scale PPAR benchmarks, VP-HMDB51 and VP-UCF101, to the community. Extensive evaluations on them, as well as two other tasks, validate the effectiveness and generalization capability of our framework.


title: Large-scale Global Low-rank Optimization for Computational Compressed Imaging

abstract: Computational reconstruction plays a vital role in computer vision and computational photography. Most of the conventional optimization and deep learning techniques explore local information for reconstruction. Recently, nonlocal low-rank (NLR) reconstruction has achieved remarkable success in improving accuracy and generalization. However, the computational cost has inhibited NLR from seeking global structural similarity, which consequentially keeps it trapped in the tradeoff between accuracy and efficiency and prevents it from high-dimensional large-scale tasks. To address this challenge, we report here the global low-rank (GLR) optimization technique, realizing highly-efficient large-scale reconstruction with global self-similarity. Inspired by the self-attention mechanism in deep learning, GLR extracts exemplar image patches by feature detection instead of conventional uniform selection. This directly produces key patches using structural features to avoid burdensome computational redundancy. Further, it performs patch matching across the entire image via neural-based convolution, which produces the global similarity heat map in parallel, rather than conventional sequential block-wise matching. As such, GLR improves patch grouping efficiency by more than one order of magnitude. We experimentally demonstrate GLR's effectiveness on temporal, frequency, and spectral dimensions, including different computational imaging modalities of compressive temporal imaging, magnetic resonance imaging, and multispectral filter array demosaicing. This work presents the superiority of inherent fusion of deep learning strategies and iterative optimization, and breaks the persistent dilemma of the tradeoff between accuracy and efficiency for various large-scale reconstruction tasks.


title: Invariance of Comparisons: Separation of Item and Person Parameters beyond Rasch Models

abstract: The Rasch model is the most prominent member of the class of latent trait models that are in common use. The main reason is that it can be considered as a measurement model that allows to separate person and item parameters, a feature that is referred to as invariance of comparisons or specific objectivity. It is shown that the property is not an exclusive trait of Rasch type models but is also found in alternative latent trait models. It is distinguished between separability in the theoretical measurement model and empirical separability with empirical separability meaning that parameters can be estimated without reference to the other group of parameters. A new type of pairwise estimator with this property is proposed that can be used also in alternative models. Separability is considered in binary models as well as in polytomous models.


title: AutoAC: Towards Automated Attribute Completion for Heterogeneous Graph Neural Network

abstract: Many real-world data can be modeled as heterogeneous graphs that contain multiple types of nodes and edges. Meanwhile, due to excellent performance, heterogeneous graph neural networks (GNNs) have received more and more attention. However, the existing work mainly focuses on the design of novel GNN models, while ignoring another important issue that also has a large impact on the model performance, namely the missing attributes of some node types. The handcrafted attribute completion requires huge expert experience and domain knowledge. Also, considering the differences in semantic characteristics between nodes, the attribute completion should be fine-grained, i.e., the attribute completion operation should be node-specific. Moreover, to improve the performance of the downstream graph learning task, attribute completion and the training of the heterogeneous GNN should be jointly optimized rather than viewed as two separate processes. To address the above challenges, we propose a differentiable attribute completion framework called AutoAC for automated completion operation search in heterogeneous GNNs. We first propose an expressive completion operation search space, including topology-dependent and topology-independent completion operations. Then, we propose a continuous relaxation schema and further propose a differentiable completion algorithm where the completion operation search is formulated as a bi-level joint optimization problem. To improve the search efficiency, we leverage two optimization techniques: discrete constraints and auxiliary unsupervised graph node clustering. Extensive experimental results on real-world datasets reveal that AutoAC outperforms the SOTA handcrafted heterogeneous GNNs and the existing attribute completion method


title: A lot of fudge around A + B = C

abstract: This paper reports on experiments searching for elliptic curves over Q with large Tamagawa products. The main idea is to look among curves related to good abc-triples.


title: Functors between representation categories. Universal modules

abstract: Let $\mathfrak{g}$ and $\mathfrak{h}$ be two Lie algebras with $\mathfrak{h}$ finite dimensional and consider ${\mathcal A} = {\mathcal A} (\mathfrak{h}, \, \mathfrak{g})$ to be the corresponding universal algebra as introduced in \cite{am20}. Given an ${\mathcal A}$-module $U$ and a Lie $\mathfrak{h}$-module $V$ we show that $U \otimes V$ can be naturally endowed with a Lie $\mathfrak{g}$-module structure. This gives rise to a functor between the category of Lie $\mathfrak{h}$-modules and the category of Lie $\mathfrak{g}$-modules and, respectively, to a functor between the category of ${\mathcal A}$-modules and the category of Lie $\mathfrak{g}$-modules. Under some finite dimensionality assumptions, we prove that the two functors admit left adjoints which leads to the construction of universal ${\mathcal A}$-modules and universal Lie $\mathfrak{h}$-modules as the representation theoretic counterparts of Manin-Tambara's universal coacting objects \cite{Manin, Tambara}.


title: AI Maintenance: A Robustness Perspective

abstract: With the advancements in machine learning (ML) methods and compute resources, artificial intelligence (AI) empowered systems are becoming a prevailing technology. However, current AI technology such as deep learning is not flawless. The significantly increased model complexity and data scale incur intensified challenges when lacking trustworthiness and transparency, which could create new risks and negative impacts. In this paper, we carve out AI maintenance from the robustness perspective. We start by introducing some highlighted robustness challenges in the AI lifecycle and motivating AI maintenance by making analogies to car maintenance. We then propose an AI model inspection framework to detect and mitigate robustness risks. We also draw inspiration from vehicle autonomy to define the levels of AI robustness automation. Our proposal for AI maintenance facilitates robustness assessment, status tracking, risk scanning, model hardening, and regulation throughout the AI lifecycle, which is an essential milestone toward building sustainable and trustworthy AI ecosystems.


title: Ultra-Low-Loss Silicon Nitride Photonics Based on Deposited Films Compatible with Foundries

abstract: The fabrication processes of silicon nitride photonic devices used in foundries require low temperature deposition, which typically leads to high propagation losses. Here, we show that propagation loss as low as 0.42 dB/cm can be achieved using foundry compatible processes by solely reducing waveguide surface roughness. By post-processing the fabricated devices using rapid thermal anneal (RTA) and furnace anneal, we achieve propagation losses down to 0.28 dB/cm and 0.06 dB/cm, respectively. These low losses are comparable to the conventional devices using high temperature, high-stress low-pressure chemical vapor deposition (LPCVD) films. We also tune the dispersion of the devices, and proved that these devices can be used for linear and nonlinear applications. Low threshold parametric oscillation, broadband frequency combs and narrow-linewidth laser are demonstrated. Our work demonstrates the feasibility of scalable photonic systems based on foundries.


title: Prethermal time-crystalline spin ice and monopole confinement in a driven magnet

abstract: Studies on systems far from equilibrium open up new avenues for investigating exotic phases of matter. A driven-dissipative frustrated spin system is examined in this study, and we suggest an out-of-equilibrium non-magnetic phase where the spins do not order but adhere to the ice rule in space and establish a long-range crystalline order in time. In contrast to the conventional spin ice, the dynamics of monopoles is confined due to the nonequilibrium feature of our model. Possible experimental realizations of our model has been discussed.


title: Spectral estimates for free boundary minimal surfaces via Montiel-Ros partitioning methods

abstract: We adapt and extend the Montiel-Ros methodology to compact manifolds with boundary, allowing for mixed (including oblique) boundary conditions and also accounting for the action of a finite group $G$ together with an additional twisting homomorphism $\sigma\colon G\to\operatorname O(1)$. We then apply this machinery in order to obtain quantitative lower and upper bounds on the growth rate of the Morse index of free boundary minimal surfaces with respect to the topological data (i. e. the genus and the number of boundary components) of the surfaces in question. In particular, we compute the exact values of the equivariant Morse index and nullity for two infinite families of examples, with respect to their maximal symmetry groups, and thereby derive explicit two-sided linear bounds when the equivariance constraint is lifted.


title: The State of Human-centered NLP Technology for Fact-checking

abstract: Misinformation threatens modern society by promoting distrust in science, changing narratives in public health, heightening social polarization, and disrupting democratic elections and financial markets, among a myriad of other societal harms. To address this, a growing cadre of professional fact-checkers and journalists provide high-quality investigations into purported facts. However, these largely manual efforts have struggled to match the enormous scale of the problem. In response, a growing body of Natural Language Processing (NLP) technologies have been proposed for more scalable fact-checking. Despite tremendous growth in such research, however, practical adoption of NLP technologies for fact-checking still remains in its infancy today. In this work, we review the capabilities and limitations of the current NLP technologies for fact-checking. Our particular focus is to further chart the design space for how these technologies can be harnessed and refined in order to better meet the needs of human fact-checkers. To do so, we review key aspects of NLP-based fact-checking: task formulation, dataset construction, modeling, and human-centered strategies, such as explainable models and human-in-the-loop approaches. Next, we review the efficacy of applying NLP-based fact-checking tools to assist human fact-checkers. We recommend that future research include collaboration with fact-checker stakeholders early on in NLP research, as well as incorporation of human-centered design practices in model development, in order to further guide technology development for human use and practical adoption. Finally, we advocate for more research on benchmark development supporting extrinsic evaluation of human-centered fact-checking technologies.


title: Characterizing quantile-varying covariate effects under the accelerated failure time model

abstract: An important task in survival analysis is choosing a structure for the relationship between covariates of interest and the time-to-event outcome. For example, the accelerated failure time (AFT) model structures each covariate effect as a constant multiplicative shift in the outcome distribution across all survival quantiles. Though parsimonious, this structure cannot detect or capture effects that differ across quantiles of the distribution, a limitation that is analogous to only permitting proportional hazards in the Cox model. To address this, we propose a general framework for quantile-varying multiplicative effects under the AFT model. Specifically, we embed flexible regression structures within the AFT model, and derive a novel formula for interpretable effects on the quantile scale. A regression standardization scheme based on the g-formula is proposed to enable estimation of both covariate-conditional and marginal effects for an exposure of interest. We implement a user-friendly Bayesian approach for estimation and quantification of uncertainty, while accounting for left truncation and complex censoring. We emphasize the intuitive interpretation of this model through numerical and graphical tools, and illustrate its performance by application to a study of Alzheimer's disease and dementia.


title: Gromov Ellipticity and subellipticity

abstract: We establish the equivalence of Gromov ellipticity and subellipticity in the algebraic category.


title: Eggs in finite projective spaces and unitals in translation planes

abstract: Inspired by the connection between ovoids and unitals arising from the Buekenhout construction in the Andr\'e/Bruck-Bose representation of translation planes of dimension at most two over their kernel, and since eggs of PG(4m-1,q), m>=1, are a generalization of ovoids, we explore the relation between eggs and unitals in translation planes of higher dimension over their kernel. By investigating such a relationship, we construct a unital in the Dickson semifield plane of order 3^{10}, which is represented in PG(20,3) by a cone whose base is a set of points constructed from the dual of the Penttila-Williams egg in PG(19,3). This unital is not polar; so, up to the knowledge of the authors, it seems to be a new unital in such a plane.


title: Thermodynamic correlation inequality

abstract: Trade-off relations place fundamental limits on the operations that physical systems can perform. This Letter presents a trade-off relation that bounds the correlation function, which measures the relationship between a system's current and future states, in Markov processes. The obtained bound, referred to as the thermodynamic correlation inequality, states that the change in the correlation function has an upper bound comprising the dynamical activity, a thermodynamic measure of the activity of a Markov process. Moreover, by applying the obtained relation to the linear response function, it is demonstrated that the effect of perturbation can be bounded from above by the dynamical activity.


title: Quantum interference in the resonance fluorescence of a $J=1/2$-$J'=1/2$ atomic system: Quantum beats, nonclassicality, and non-Gaussianity

abstract: We study theoretically quantum statistical and spectral properties of the resonance fluorescence of a single atom or system with angular momentum $J=1/2 - J'=1/2$ driven by a monochromatic linearly polarized laser field, due to quantum interference among its two antiparallel, $\pi$ transitions. A magnetic field parallel to the laser polarization is applied to break the degeneracy (Zeeman effect). In the nondegenerate case, the $\pi$ transitions evolve at different generalized Rabi frequencies, producing quantum beats in the intensity and the dipole-dipole, intensity-intensity, and quadrature-intensity correlations. For a strong laser and large Zeeman splitting the beats have mean and modulation frequencies given by the average and difference, respectively, of the Rabi frequencies, unlike thebeats studied in many spectroscopic systems, characterized by a modulated exponential-like decay. Further, the Rabi frequencies are those of the pairs of sidebands of the Mollow-like spectrum of the system. In the two-time correlations, the cross contributions, i.e., those with products of probability amplitudes of the two $\pi$ transitions, have a lesser role than those from the interference of the probability densities. In contrast, there are no cross terms in the total intensity. We also consider nonclassical and non-Gaussian properties of the phase-dependent fluorescence for the cases of weak to moderate excitation and in the regime of beats. The fluorescence in the beats regime is nonclassical, mainly from third-order dipole fluctuations, which reveal them to be also strongly non-Gaussian, and their quadrature spectra show complex features around the Rabi frequencies. For small laser and Zeeman detunings, a weak to moderate laser field pumps the system partially to one of the ground states, showing slow decay in the two time correlations and a narrow peak in the quadrature spectra.


title: AnycostFL: Efficient On-Demand Federated Learning over Heterogeneous Edge Devices

abstract: In this work, we investigate the challenging problem of on-demand federated learning (FL) over heterogeneous edge devices with diverse resource constraints. We propose a cost-adjustable FL framework, named AnycostFL, that enables diverse edge devices to efficiently perform local updates under a wide range of efficiency constraints. To this end, we design the model shrinking to support local model training with elastic computation cost, and the gradient compression to allow parameter transmission with dynamic communication overhead. An enhanced parameter aggregation is conducted in an element-wise manner to improve the model performance. Focusing on AnycostFL, we further propose an optimization design to minimize the global training loss with personalized latency and energy constraints. By revealing the theoretical insights of the convergence analysis, personalized training strategies are deduced for different devices to match their locally available resources. Experiment results indicate that, when compared to the state-of-the-art efficient FL algorithms, our learning framework can reduce up to 1.9 times of the training latency and energy consumption for realizing a reasonable global testing accuracy. Moreover, the results also demonstrate that, our approach significantly improves the converged global accuracy.


title: Inflation and Value Creation: An Economic and Philosophic Investigation

abstract: The subject of this study is inflation, a problem that has plagued America and the world over the last several decades. Despite a rich trove of scholarly studies and a wide range of tools developed to deal with inflation, we are nowhere near a solution of this problem. We are now in the middle of the inflation that threatens to become a stagflation or even a full recession; and we have no idea what to prevent this outcome. This investigation explores the real source of inflation. Tracing the problem of inflation to production, it finds that inflation is not a phenomenon intrinsic to economy; rather, it is a result of inefficiencies and waste in our economy. The investigation leads to a conclusion that the solution of the problem of inflation is in achieving full efficiency in production. Our economic production is a result of the evolution that is propelled by the process of creation. In order to end economic inefficiencies, we should model our economic practice on the process that preceded production and has led to its emergence. In addition, the study will outline ways in which our economic theory and practice must be changed to achieve full efficiency of our production. Finally, the study provides a critical overview of the current theories of inflation and remedies that are proposed to deal with it.


title: Deepfake CAPTCHA: A Method for Preventing Fake Calls

abstract: Deep learning technology has made it possible to generate realistic content of specific individuals. These `deepfakes' can now be generated in real-time which enables attackers to impersonate people over audio and video calls. Moreover, some methods only need a few images or seconds of audio to steal an identity. Existing defenses perform passive analysis to detect fake content. However, with the rapid progress of deepfake quality, this may be a losing game. In this paper, we propose D-CAPTCHA: an active defense against real-time deepfakes. The approach is to force the adversary into the spotlight by challenging the deepfake model to generate content which exceeds its capabilities. By doing so, passive detection becomes easier since the content will be distorted. In contrast to existing CAPTCHAs, we challenge the AI's ability to create content as opposed to its ability to classify content. In this work we focus on real-time audio deepfakes and present preliminary results on video. In our evaluation we found that D-CAPTCHA outperforms state-of-the-art audio deepfake detectors with an accuracy of 91-100% depending on the challenge (compared to 71% without challenges). We also performed a study on 41 volunteers to understand how threatening current real-time deepfake attacks are. We found that the majority of the volunteers could not tell the difference between real and fake audio.


title: Probing Cosmology beyond $\Lambda$CDM using the SKA

abstract: The cosmological principle states that the Universe is statistically homogeneous and isotropic at large distance scales. There currently exist many observations which indicate a departure from this principle. It has been shown that many of these observations can be explained by invoking superhorizon cosmological perturbations and may be consistent with the Big Bang paradigm. Remarkably, these modes simultaneously explain the observed Hubble tension, i.e., the discrepancy between the direct and indirect measurements of the Hubble parameter. We propose several tests of the cosmological principle using SKA. In particular, we can reliably extract the signal of dipole anisotropy in the distribution of radio galaxies. The superhorizon perturbations also predict a significant redshift dependence of the dipole signal which can be nicely tested by the study of signals of reionization and the dark ages using SKA. We also propose to study the alignment of radio galaxy axes as well as their integrated polarization vectors over distance scales ranging from a few Mpc to Gpc. We discuss data analysis techniques that can reliably extract these signals from data.


title: Impacts of momentum dependent interaction, symmetry energy and near-threshold $NN\to N\Delta$ cross sections on isospin sensitive flow and pion observables

abstract: Based on the ultra-relativistic quantum molecular dynamics (UrQMD) model, the impacts of momentum dependent interaction, symmetry energy and near-threshold $NN\to N\Delta$ cross sections on isospin sensitive collective flow and pion observables are investigated. Our results confirm that the elliptic flow of neutrons and charged particles, i.e. $v_2^n$ and $v_2^{ch}$, are sensitive to the strength of momentum dependence interaction and the elliptic flow ratio, i.e., $v_2^n/v_2^{ch}$, is sensitive to the stiffness of symmetry energy. For describing the pion multiplicity near the threshold energy, accurate $NN\to N\Delta$ cross sections are crucial. With the updated momentum dependent interaction and $NN\to N\Delta$ cross sections in UrQMD model, seven observables, such as directed flow and elliptic flow of neutrons and charged particles, the elliptic flow ratio of neutrons to charged particles, charged pion multiplicity and its ratio $\pi^-/\pi^+$, can be well described by the parameter sets with the slope of symmetry energy from 5 MeV to 70 MeV. To describe the constraints of symmetry energy at the densities probed by the collective flow and pion observables, the named characteristic density is investigated and used. Our analysis found that the flow characteristic density is around 1.2$\rho_0$ and pion characteristic density is around 1.5$\rho_0$, and we got the constrains of symmetry energy at characteristic densities are $S(1.2\rho_0)=34\pm 4$ MeV and $S(1.5\rho_0)=36\pm 8$ MeV. These results are consistent with previous analysis by using pion and flow observable with different transport models, and demonstrate a reasonable description of symmetry energy constraint should be presented at the characteristic density of isospin sensitive observables.


title: Neutron stars in the context of $f$($\mathbb{T}$,$\mathcal{T}$) gravity

abstract: In this work, we investigate the existence of neutron stars (NS) in the framework of $f$($\mathbb{T}$,$\mathcal{T}$) gravity, where $\mathbb{T}$ is the torsion tensor and $\mathcal{T}$ is the trace of the energy-momentum tensor. The hydrostatic equilibrium equations are obtained, however, with $p$ and $\rho$ quantities passed on by effective quantities $\bar{p}$ and $\bar{\rho}$, whose mass-radius diagrams are obtained using modern equations of state (EoS) of nuclear matter derived from relativistic mean field models and compared with the ones computed by the Tolman-Oppenheimer-Volkoff (TOV) equations. Substantial changes in the mass-radius profiles of NS are obtained even for small changes in the free parameter of this modified theory. The results indicate that the use of $f$($\mathbb{T}$,$\mathcal{T}$) gravity in the study of NS provides good results for the masses and radii of some important astrophysical objects, as for example, the low-mass X-ray binary (LMXB) NGC 6397 and the pulsar of millisecond PSR J0740+6620. In addition, radii results inferred from the Lead Radius EXperiment (PREX-2) can also be described for certain parameter values.


title: Limiting Magnitudes of the Wide Field Survey Telescope (WFST)

abstract: Expected to be of the highest survey power telescope in the northern hemisphere, the Wide Field Survey Telescope (WFST) will begin its routine observations of the northern sky since 2023. WFST will produce a lot of scientific data to support the researches of time-domain astronomy, asteroids and the solar system, galaxy formation and cosmology and so on. We estimated that the 5 $\sigma$ limiting magnitudes of WFST with 30 second exposure are $u=22.31$ mag, $g=23.42$ mag, $r=22.95$ mag, $i=22.43$ mag, $z=21.50$ mag, $w=23.61$ mag. The above values are calculated for the conditions of $airmass=1.2$, seeing = 0.75 arcsec, precipitable water vapour (PWV) = 2.5 mm and Moon-object separation = $45^{\circ}$ at the darkest New Moon night of the Lenghu site (V=22.30 mag, Moon phase $\theta=0^{\circ}$). The limiting magnitudes in different Moon phase conditions are also calculated. The calculations are based on the empirical transmittance data of WFST optics, the vendor provided CCD quantum efficiency, the atmospherical model transmittance and spectrum of the site. In the absence of measurement data such as sky transmittance and spectrum, we use model data.


title: Exact Hydrodynamic Manifolds for the Linearized Three-Dimensional Boltzmann BGK Equation

abstract: We perform a complete spectral analysis of the linear three-dimensional Boltzmann BGK operator resulting in an explicit transcendental equation for the eigenvalues. Using the theory of finite-rank perturbations, we prove that there exists a critical wave number $k_{crit}$ which limits the number of hydrodynamic modes in the frequency space. This implies that there are only finitely many isolated eigenvalues above the essential spectrum, thus showing the existence of a finite-dimensional, well-separated linear hydrodynamic manifold as a combination of invariant eigenspaces. The obtained results can serve as a benchmark for validating approximate theories of hydrodynamic closures and moment methods.


title: Relegation-free closed-form perturbation theory and the domain of secular motions in the Restricted 3-Body Problem

abstract: We propose a closed-form (i.e. without expansion in the orbital eccentricities) scheme for computations in perturbation theory in the restricted three-body problem (R3BP) when the massless particle is in an orbit exterior to the one of the primary perturber. Starting with a multipole expansion of the barycentric (Jacobi-reduced) Hamiltonian, we carry out a sequence of normalizations in Delaunay variables by Lie series, leading to a secular Hamiltonian model without use of relegation. To this end, we introduce a book-keeping analogous to the one proposed in Cavallari and Efthymiopoulos (2022) for test particle orbits interior to the one of the primary perturber, but here adapted, instead, to the case of exterior orbits. We give numerical examples of the performance of the method in both the planar circular and the spatial elliptic restricted three-body problem, for parameters pertinent to the Sun-Jupiter system. In particular, we demonstrate the method's accuracy in terms of reproducibility of the orbital elements' variations far from mean-motion resonances. As a basic outcome of the method, we show how, using as criterion the size of the series' remainder, we reach to obtain an accurate semi-analytical estimate of the boundary (in the space of orbital elements) where the secular Hamiltonian model arrived at after eliminating the particle's fast degree of freedom provides a valid approximation of the true dynamics.


title: Curves of Constant Breadth According to Darboux Frame in a Strict Walker 3-Manifold

abstract: In this paper, we investigate the differential geometry properties of curves of constant breadth according to Darboux frame in a given strict Walker 3-manifold. The considered curves are lying on a timelike surface in the Walker 3-manifold.


title: Bipartite unique-neighbour expanders via Ramanujan graphs

abstract: We construct an infinite family of bounded-degree bipartite unique-neighbour expander graphs with arbitrarily unbalanced sides. Although weaker than the lossless expanders constructed by Capalbo et al., our construction is simpler and may be closer to be implementable in practice due to the smaller constants. We construct these graphs by composing bipartite Ramanujan graphs with a fixed-size gadget in a way that generalizes the construction of unique neighbour expanders by Alon and Capalbo. For the analysis of our construction we prove a strong upper bound on average degrees in small induced subgraphs of bipartite Ramanujan graphs. Our bound generalizes Kahale's average degree bound to bipartite Ramanujan graphs, and may be of independent interest. Surprisingly, our bound strongly relies on the exact Ramanujan-ness of the graph and is not known to hold for nearly-Ramanujan graphs.


title: Detection of He++ ion in the star-forming ring of the Cartwheel using MUSE data and ionizing mechanisms

abstract: We here report the detection of the nebular HeII4686 line in 32 HII regions in the metal-poor collisional ring galaxy Cartwheel using the Multi-Unit Spectroscopic Explorer (MUSE) dataset. The measured I(HeII4686)/I(Hbeta) ratio varies from 0.004 to 0.07, with a mean value of 0.010+/-0.003. Ten of these 32 HII regions are coincident with the location of an Ultra Luminous X-ray (ULX) source. We used the flux ratios of important diagnostic lines and results of photoionization by Simple Stellar Populations (SSPs) to investigate the likely physical mechanisms responsible for the ionization of He+. We find that the majority of the regions (27) are consistent with photoionization by star clusters in their Wolf-Rayet (WR) phase with initial ionization parameter -3.5<logU<-2.0. Blue Bump (BB), the characteristic feature of the WR stars, however, is not detected in any of the spectra. We demonstrate that this non-detection is due to the relatively low equivalent width (EW) of the BB in metal-poor SSPs, in spite of containing sufficient number of WR stars to reproduce the observed I(HeII4686)/I(Hbeta) ratio of 1.5% at the Cartwheel metallicity of Z=0.004. The HII regions in the WR phase that are coincident with a ULX source do not show line ratios characteristic of ionization by X-ray sources. However, the ULX sources may have a role to play in the ionization of He+ in two (#99, 144) of the five regions that are not in the WR phase. Ionization by radiative shocks along with the presence of channels for the selective leakage of ionizing photons are the likely scenarios in #17 and #148, the two regions with the highest observed I(HeII4686)/I(Hbeta) ratio.


title: SeedTree: A Dynamically Optimal and Local Self-Adjusting Tree

abstract: We consider the fundamental problem of designing a self-adjusting tree, which efficiently and locally adapts itself towards the demand it serves (namely accesses to the items stored by the tree nodes), striking a balance between the benefits of such adjustments (enabling faster access) and their costs (reconfigurations). This problem finds applications, among others, in the context of emerging demand-aware and reconfigurable datacenter networks and features connections to self-adjusting data structures. Our main contribution is SeedTree, a dynamically optimal self-adjusting tree which supports local (i.e., greedy) routing, which is particularly attractive under highly dynamic demands. SeedTree relies on an innovative approach which defines a set of unique paths based on randomized item addresses, and uses a small constant number of items per node. We complement our analytical results by showing the benefits of SeedTree empirically, evaluating it on various synthetic and real-world communication traces.


title: Construction of Fractal Functions Using Kannan Mappings and Smoothness Analysis

abstract: Let T be a self-map on a metric space (X, d). Then T is called the Kannan map if there exists \alpha, 0 < \alpha < 1/2, such that d(T(x), T(y)) <= \alpha[d(x, T(x)) + d(y, T(y))], for all x, y in X. This paper aims to introduce a new method to construct fractal functions using Kannan mappings. First, we give the rigorous construction of fractal functions with the help of the Kannan iterated function system (IFS). We also show the existence of a Borel probability measure supported on the attractor of the Kannan IFS satisfying the strong separation condition. Moreover, we study the smoothness of the constructed fractal functions. We end the paper with some examples and graphical illustrations.


title: Decomposition of the static potential in SU(3) gluodynamics

abstract: After fixing the Maximal Abelian gauge in SU(3) lattice gluodynamics we decompose the nonabelian gauge field into the Abelian field created by Abelian monopoles and the modified nonabelian field with monopoles removed. We then calculate respective static potentials in the fundamental representation and show that the sum of these potentials approximates the nonabelian static potential with good precision at all distances considered. Comparison with other ways of decomposition is made.


title: Stochastic Langevin Monte Carlo for (weakly) log-concave posterior distributions

abstract: In this paper, we investigate a continuous time version of the Stochastic Langevin Monte Carlo method, introduced in [WT11], that incorporates a stochastic sampling step inside the traditional over-damped Langevin diffusion. This method is popular in machine learning for sampling posterior distribution. We will pay specific attention in our work to the computational cost in terms of $n$ (the number of observations that produces the posterior distribution), and $d$ (the dimension of the ambient space where the parameter of interest is living). We derive our analysis in the weakly convex framework, which is parameterized with the help of the Kurdyka-\L ojasiewicz (KL) inequality, that permits to handle a vanishing curvature settings, which is far less restrictive when compared to the simple strongly convex case. We establish that the final horizon of simulation to obtain an $\varepsilon$ approximation (in terms of entropy) is of the order $( d \log(n)^2 )^{(1+r)^2} [\log^2(\varepsilon^{-1}) + n^2 d^{2(1+r)} \log^{4(1+r)}(n) ]$ with a Poissonian subsampling of parameter $\left(n ( d \log^2(n))^{1+r}\right)^{-1}$, where the parameter $r$ is involved in the KL inequality and varies between $0$ (strongly convex case) and $1$ (limiting Laplace situation).


title: Structural tuning magnetism and topology in a magnetic topological insulator

abstract: To date, the most widely-studied quantum anomalous Hall insulator (QAHI) platform is achieved by dilute doping of magnetic ions into thin films of the alloyed tetradymite topological insulator (TI) (Bi$_{1-x}$Sb$_x$)$_2$Te$_3$ (BST). In these films, long-range magnetic ordering of the transition metal substituants opens an exchange gap $\Delta$ in the topological surface states, stabilizing spin-polarized, dissipationless edge channels with a nonzero Chern number $\mathcal{C}$. The long-range ordering of the spatially separated magnetic ions is itself mediated by electronic states in the host TI, leading to a sophisticated feedback between magnetic and electronic properties. Here we present a study of the electronic and magnetic response of a BST-based QAHI system to structural tuning via hydrostatic pressure. We identify a systematic closure of the topological gap under compressive strain accompanied by a simultaneous enhancement in the magnetic ordering strength. Combining these experimental results with first-principle calculations we identify structural deformation as a strong tuning parameter to traverse a rich topological phase space and modify magnetism in the magnetically doped BST system.


title: Lp simulation for measures

abstract: Being motivated by general interest as well as by certain concrete problems of Fourier Analysis, we construct analogs of the Lp spaces for measures. It turns out that most of standard properties of the usual Lp spaces for functions are extended to the measure setting. We illustrate the obtained results by examples and apply them to obtain a version of the uncertainty principle and an integrability result for the Fourier transform of a function of bounded variation.


title: Perron-Frobenius operator filter for stochastic dynamical systems

abstract: The filtering problems are derived from a sequential minimization of a quadratic function representing a compromise between model and data. In this paper, we use the Perron-Frobenius operator in stochastic process to develop a Perron-Frobenius operator filter. The proposed method belongs to Bayesian filtering and works for non-Gaussian distributions for nonlinear stochastic dynamical systems. The recursion of the filtering can be characterized by the composition of Perron-Frobenius operator and likelihood operator. This gives a significant connection between the Perron-Frobenius operator and Bayesian filtering. We numerically fulfil the recursion through approximating the Perron-Frobenius operator by Ulam's method. In this way, the posterior measure is represented by a convex combination of the indicator functions in Ulam's method. To get a low rank approximation for the Perron-Frobenius operator filter, we take a spectral decomposition for the posterior measure by using the eigenfunctions of the discretized Perron-Frobenius operator. A convergence analysis is carried out and shows that the Perron-Frobenius operator filter achieves a higher convergence rate than the particle filter, which uses Dirac measures for the posterior. The proposed method is explored for the data assimilation of the stochastic dynamical systems. A few numerical examples are presented to illustrate the advantage of the Perron-Frobenius operator filter over particle filter and extend Kalman filter.


title: Automatic Diagnosis of Carotid Atherosclerosis Using a Portable Freehand 3D Ultrasound Imaging System

abstract: The objective of this study is to develop a deep-learning based detection and diagnosis technique for carotid atherosclerosis using a portable freehand 3D ultrasound (US) imaging system. A total of 127 3D carotid artery scans were acquired using a portable 3D US system which consisted of a handheld US scanner and an electromagnetic tracking system. A U-Net segmentation network was firstly applied to extract the carotid artery on 2D transverse frame, then a novel 3D reconstruction algorithm using fast dot projection (FDP) method with position regularization was proposed to reconstruct the carotid artery volume. Furthermore, a convolutional neural network was used to classify healthy and diseased cases qualitatively. 3D volume analysis methods including longitudinal image acquisition and stenosis grade measurement were developed to obtain the clinical metrics quantitatively. The proposed system achieved sensitivity of 0.714, specificity of 0.851 and accuracy of 0.803 respectively for diagnosis of carotid atherosclerosis. The automatically measured stenosis grade illustrated good correlation (r=0.762) with the experienced expert measurement. The developed technique based on 3D US imaging can be applied to the automatic diagnosis of carotid atherosclerosis. The proposed deep-learning based technique was specially designed for a portable 3D freehand US system, which can provide more convenient carotid atherosclerosis examination and decrease the dependence on clinician's experience.


title: On the Exponential Decay of Strongly Interacting Cold Atoms from a Double-Well Potential

abstract: In this article, we study an exponential decay for the gas of bosons with strong repulsive delta interactions from a double-well potential. We consider an exactly solvable model comprising an infinite wall and two Dirac delta barriers. We explore its features both within the exact method and with the resonance expansion approach. The study reveals the effect of the splitting barrier on the decay rate in dependence on the number of particles. Among other things, we find that the effect of the splitting barrier on the decay rate is most pronounced in systems with odd particle numbers. During exponential decay, the spatial correlations in an internal region are well captured by the "radiating state".


title: Relative Cuntz--Pimsner algebras: classification of gauge-equivariant representations: a simple and complete picture

abstract: We give a simple and complete picture on the classification of relative Cuntz--Pimsner algebras (and so also of gauge-equivariant representations) using their intuitive parametrisation by kernel--covariance pairs.


title: Dynamic Binary Search Trees: Improved Lower Bounds for the Greedy-Future Algorithm

abstract: Binary search trees (BSTs) are one of the most basic and widely used data structures. The best static tree for serving a sequence of queries (searches) can be computed by dynamic programming. In contrast, when the BSTs are allowed to be dynamic (i.e. change by rotations between searches), we still do not know how to compute the optimal algorithm (OPT) for a given sequence. One of the candidate algorithms whose serving cost is suspected to be optimal up-to a (multiplicative) constant factor is known by the name Greedy Future (GF). In an equivalent geometric way of representing queries on BSTs, GF is in fact equivalent to another algorithm called Geometric Greedy (GG). Most of the results on GF are obtained using the geometric model and the study of GG. Despite this intensive recent fruitful research, the best lower bound we have on the competitive ratio of GF is $\frac{4}{3}$. Furthermore, it has been conjectured that the additive gap between the cost of GF and OPT is only linear in the number of queries. In this paper we prove a lower bound of $2$ on the competitive ratio of GF, and we prove that the additive gap between the cost of GF and OPT can be $\Omega(m \cdot \log\log n)$ where $n$ is the number of items in the tree and $m$ is the number of queries.


title: Granger causality test for heteroskedastic and structural-break time series using generalized least squares

abstract: This paper proposes a novel method (GLS Granger test) to determine causal relationships between time series based on the estimation of the autocovariance matrix and generalized least squares. We show the effectiveness of proposed autocovariance matrix estimator (the sliding autocovariance matrix) and we compare the proposed method with the classical Granger F-test with via a synthetic dataset and a real dataset composed by cryptocurrencies. The simulations show that the proposed GLS Granger test captures causality more accurately than Granger F-tests in the cases of heteroskedastic or structural-break residuals. Finally, we use the proposed method to unravel unknown causal relationships between cryptocurrencies.


title: Synergy between NP and HEP research goals and efforts in fundamental symmetries and interactions

abstract: The aim of this white paper is to highlight several areas for which the Department of Energy's Office of Nuclear Physics has primary stewardship or significant investment and expertise, and for which there is also significant interest and expertise within the HEP community. These areas of overlap offer exciting opportunities for collaboration.


title: Bivariate binomial conditionals distributions with positive and negative correlations: A statistical study

abstract: In this article, we discuss a bivariate distribution whose conditionals are univariate binomial distributions and the marginals are not binomial that exhibits negative correlation. Some useful structural properties of this distribution namely marginals, moments, generating functions, stochastic ordering are investigated. Simple proofs of negative correlation, marginal over-dispersion, distribution of sum and conditional given the sum are also derived. The distribution is shown to be a member of the multi-parameter exponential family and some natural but useful consequences are also outlined. The proposed distribution tends to a recently investigated conditional Poisson distribution studied by Ghosh et al. (2020). Finally, the distribution is fitted to two bivariate count data sets with an inherent negative correlation to illustrate its suitability.


title: A Verification Framework for Component-Based Modeling and Simulation Putting the pieces together

abstract: In this thesis a comprehensive verification framework is proposed to contend with some important issues in composability verification and a verification process is suggested to verify composability of different kinds of systems models, such as reactive, real-time and probabilistic systems. With an assumption that all these systems are concurrent in nature in which different composed components interact with each other simultaneously, the requirements for the extensive techniques for the structural and behavioral analysis becomes increasingly challenging. The proposed verification framework provides methods, techniques and tool support for verifying composability at its different levels. These levels are defined as foundations of consistent model composability. Each level is discussed in detail and an approach is presented to verify composability at that level. In particular we focus on the Dynamic-Semantic Composability level due to its significance in the overall composability correctness and also due to the level of difficulty it poses in the process. In order to verify composability at this level we investigate the application of three different approaches namely (i) Petri Nets based Algebraic Analysis (ii) Colored Petri Nets (CPN) based State-space Analysis and (iii) Communicating Sequential Processes based Model Checking. All three approaches attack the problem of verifying dynamic-semantic composability in different ways however they all share the same aim i.e., to confirm the correctness of a composed model with respect to its requirement specifications.


title: Links in orthoplicial Apollonian packings

abstract: In this paper, we establish a connection between Apollonian packings and knot theory. We introduce new representations of links realized in the tangency graph of the regular crystallographic sphere packings. Particularly, we prove that any algebraic link can be realized in the cubic section of the orthoplicial Apollonian packing. We use these representations to improve the upper bound on the ball number of an infinite family of alternating algebraic links. Furthermore, the later allow us to reinterpret the correspondence of rational tangles and rational numbers and to reveal geometrically primitive solutions for the Diophantine equation $x^4 + y^4 + z^4 = 2t^2$.


title: 3D modeling of the molecular gas kinematics in optically-selected jellyfish galaxies

abstract: Cluster galaxies are subject to the ram pressure exerted by the intracluster medium, which can perturb or even strip away their gas while leaving the stars undisturbed. We model the distribution and kinematics of the stars and the molecular gas in four late-type cluster galaxies (JO201, JO204, JO206, and JW100), which show tails of atomic and ionized gas indicative of ongoing ram pressure stripping. We analyze MUSE@VLT data and CO data from ALMA searching for signatures of radial gas flows, ram pressure stripping, and other perturbations. We find that all galaxies, with the possible exception of JW100, host stellar bars. Signatures of ram pressure are found in JO201 and JO206, which also shows clear indications of ongoing stripping in the molecular disk outskirts. The stripping affects the whole molecular gas disk of JW100. The molecular gas kinematics in JO204 is instead dominated by rotation rather than ram pressure. We also find indications of enhanced turbulence of the molecular gas compared to field galaxies. Large-scale radial flows of molecular gas are present in JO204 and JW100, but more uncertain in JO201 and JO206. We show that our sample follows the molecular gas mass-size relation, confirming that it is essentially independent of environment even for the most extreme cases of stripping. Our findings are consistent with the molecular gas being affected by the ram pressure on different timescales and less severely than the atomic and ionized gas phases, likely because the molecular gas is denser and more gravitationally bound to the galaxy.


title: New multiple AGN systems with sub-arcsec separation: confirmation of candidates selected via the novel GMP method

abstract: The existence of multiple active galactic nuclei (AGN) at small projected distances on the sky is due to either the presence of multiple, in-spiraling SMBHs, or to gravitational lensing of a single AGN. Both phenomena allow us to address important astrophysical and cosmological questions. However, few kpc-separation multiple AGN are currently known. Recently, the newly-developed Gaia Multi peak (GMP) method provided numerous new candidate members of these populations. We present spatially resolved, integral-field spectroscopy of a sample of four GMP-selected multiple AGNs candidates. In all of these systems, we detect two or more components with sub-arcsec separations. We find that two of the systems are dual AGNs, one is either an intrinsic triple or a lensed dual AGN, while the last system is a chance AGN/star alignment. Our observations double the number of confirmed multiple AGNs at projected separations below 7 kpc at z > 0.5, present the first detection of a possible triple AGN in a single galaxy at z > 0.5, and successfully test the GMP method as a novel technique to discover previously unknown multiple AGNs.


title: Deep Injective Prior for Inverse Scattering

abstract: In electromagnetic inverse scattering, the goal is to reconstruct object permittivity using scattered waves. While deep learning has shown promise as an alternative to iterative solvers, it is primarily used in supervised frameworks which are sensitive to distribution drift of the scattered fields, common in practice. Moreover, these methods typically provide a single estimate of the permittivity pattern, which may be inadequate or misleading due to noise and the ill-posedness of the problem. In this paper, we propose a data-driven framework for inverse scattering based on deep generative models. Our approach learns a low-dimensional manifold as a regularizer for recovering target permittivities. Unlike supervised methods that necessitate both scattered fields and target permittivities, our method only requires the target permittivities for training; it can then be used with any experimental setup. We also introduce a Bayesian framework for approximating the posterior distribution of the target permittivity, enabling multiple estimates and uncertainty quantification. Extensive experiments with synthetic and experimental data demonstrate that our framework outperforms traditional iterative solvers, particularly for strong scatterers, while achieving comparable reconstruction quality to state-of-the-art supervised learning methods like the U-Net.


title: Prognosis and Treatment Prediction of Type-2 Diabetes Using Deep Neural Network and Machine Learning Classifiers

abstract: Type 2 Diabetes is a fast-growing, chronic metabolic disorder due to imbalanced insulin activity.The motion of this research is a comparative study of seven machine learning classifiers and an artificial neural network method to prognosticate the detection and treatment of diabetes with high accuracy,in order to identify and treat diabetes patients at an early age.Our training and test dataset is an accumulation of 9483 diabetes patients information.The training dataset is large enough to negate overfitting and provide for highly accurate test performance.We use performance measures such as accuracy and precision to find out the best algorithm deep ANN which outperforms with 95.14% accuracy among all other tested machine learning classifiers.We hope our high-performing model can be used by hospitals to predict diabetes and drive research into more accurate prediction models.


title: A Divide-Align-Conquer Strategy for Program Synthesis

abstract: A major bottleneck in search-based program synthesis is the exponentially growing search space which makes learning large programs intractable. Humans mitigate this problem by leveraging the compositional nature of the real world: In structured domains, a logical specification can often be decomposed into smaller, complementary solution programs. We show that compositional segmentation can be applied in the programming by examples setting to divide the search for large programs across multiple smaller program synthesis problems. For each example, we search for a decomposition into smaller units which maximizes the reconstruction accuracy in the output under a latent task program. A structural alignment of the constituent parts in the input and output leads to pairwise correspondences used to guide the program synthesis search. In order to align the input/output structures, we make use of the Structure-Mapping Theory (SMT), a formal model of human analogical reasoning which originated in the cognitive sciences. We show that decomposition-driven program synthesis with structural alignment outperforms Inductive Logic Programming (ILP) baselines on string transformation tasks even with minimal knowledge priors. Unlike existing methods, the predictive accuracy of our agent monotonically increases for additional examples and achieves an average time complexity of $\mathcal{O}(m)$ in the number $m$ of partial programs for highly structured domains such as strings. We extend this method to the complex setting of visual reasoning in the Abstraction and Reasoning Corpus (ARC) for which ILP methods were previously infeasible.


title: MEGAnno: Exploratory Labeling for NLP in Computational Notebooks

abstract: We present MEGAnno, a novel exploratory annotation framework designed for NLP researchers and practitioners. Unlike existing labeling tools that focus on data labeling only, our framework aims to support a broader, iterative ML workflow including data exploration and model development. With MEGAnno's API, users can programmatically explore the data through sophisticated search and automated suggestion functions and incrementally update task schema as their project evolve. Combined with our widget, the users can interactively sort, filter, and assign labels to multiple items simultaneously in the same notebook where the rest of the NLP project resides. We demonstrate MEGAnno's flexible, exploratory, efficient, and seamless labeling experience through a sentiment analysis use case.


title: Concentration bounds for sampling without replacement and Hoeffding statistics

abstract: We prove a Bennett-type concentration bound for suprema of empirical processes based on sampling without replacement and a corresponding bound in the case of an arbitrary Hoeffding statistics. We improve on the previous results of such type, providing a sharper concentration profile.


title: Real-Time Walking Pattern Generation of Quadrupedal Dynamic-Surface Locomotion based on a Linear Time-Varying Pendulum Model

abstract: This study introduces an analytically tractable and computationally efficient model of the legged robot dynamics associated with locomotion on a dynamic rigid surface (DRS), and develops a real-time motion planner based on the proposed model and its analytical solution. This study first theoretically extends the classical linear inverted pendulum (LIP) model from legged locomotion on a static surface to DRS locomotion, by relaxing the LIP's underlying assumption that the surface is static. The resulting model, which we call "DRS-LIP", is explicitly time-varying. After converting the DRS-LIP into Mathieu's equation, an approximate analytical solution of the DRS-LIP is obtained, which is reasonably accurate with a low computational cost. Furthermore, to illustrate the practical uses of the analytical results, they are exploited to develop a hierarchical motion planner that efficiently generates physically feasible trajectories for DRS locomotion. Finally, the effectiveness of the proposed theoretical results and motion planner is demonstrated both through PyBullet simulations and experimentally on a Laikago quadrupedal robot that walks on a rocking treadmill. The videos of simulations and hardware experiments are available at https://youtu.be/u2Q_u2pR99c.


title: Comprehensive Mapping of Continuous/Switching Circuits in CCM and DCM to Machine Learning Domain using Homogeneous Graph Neural Networks

abstract: This paper proposes a method of transferring physical continuous and switching/converter circuits working in continuous conduction mode (CCM) and discontinuous conduction mode (DCM) to graph representation, independent of the connection or the number of circuit components, so that machine learning (ML) algorithms and applications can be easily applied. Such methodology is generalized and is applicable to circuits with any number of switches, components, sources and loads, and can be useful in applications such as artificial intelligence (AI) based circuit design automation, layout optimization, circuit synthesis and performance monitoring and control. The proposed circuit representation and feature extraction methodology is applied to seven types of continuous circuits, ranging from second to fourth order and it is also applied to three of the most common converters (Buck, Boost, and Buck-boost) operating in CCM or DCM. A classifier ML task can easily differentiate between circuit types as well as their mode of operation, showing classification accuracy of 97.37% in continuous circuits and 100% in switching circuits


title: Fully Dynamic Online Selection through Online Contention Resolution Schemes

abstract: We study fully dynamic online selection problems in an adversarial/stochastic setting that includes Bayesian online selection, prophet inequalities, posted price mechanisms, and stochastic probing problems subject to combinatorial constraints. In the classical ``incremental'' version of the problem, selected elements remain active until the end of the input sequence. On the other hand, in the fully dynamic version of the problem, elements stay active for a limited time interval, and then leave. This models, for example, the online matching of tasks to workers with task/worker-dependent working times, and sequential posted pricing of perishable goods. A successful approach to online selection problems in the adversarial setting is given by the notion of Online Contention Resolution Scheme (OCRS), that uses a priori information to formulate a linear relaxation of the underlying optimization problem, whose optimal fractional solution is rounded online for any adversarial order of the input sequence. Our main contribution is providing a general method for constructing an OCRS for fully dynamic online selection problems. Then, we show how to employ such OCRS to construct no-regret algorithms in a partial information model with semi-bandit feedback and adversarial inputs.


title: Cut-off of transverse waves through the solar transition region

abstract: Context. Transverse oscillations are ubiquitously observed in the solar corona, both in coronal loops and open magnetic flux tubes. Numerical simulations suggest that their dissipation could heat coronal loops, counterbalancing radiative losses. These models rely on a continuous driver at the footpoint of the loops. However, analytical works predict that transverse waves are subject to a cut-off in the transition region. It is thus unclear whether they can reach the corona, and indeed heat coronal loops. Aims. Our aims are to determine how the cut-off of kink waves affects their propagation into the corona, and to characterize the variation of the cut-off frequency with altitude. Methods. Using 3D magnetohydrodynamic simulations, we modelled the propagation of kink waves in a magnetic flux tube, embedded in a realistic atmosphere with thermal conduction, that starts in the chromosphere and extends into the corona. We drove kink waves at four different frequencies, and determined whether they experienced a cut-off. We then calculated the altitude at which the waves were cut-off, and compared it to the prediction of several analytical models. Results. We show that kink waves indeed experience a cut-off in the transition region, and we identified the analytical model that gives the best predictions. In addition, we show that waves with periods shorter than approximately 500 s can still reach the corona by tunnelling through the transition region, with little to no attenuation of their amplitude. This means that such waves can still propagate from the footpoints of loop, and result in heating in the corona.


title: Massive MIMO and NOMA Bits-per-Antenna Efficiency under Power Allocation Policies

abstract: A comparative resource allocation analysis in terms of received bits-per-antenna spectral efficiency (SE) and energy efficiency (EE) in downlink (DL) single-cell massive multiple-input multiple-output (mMIMO) and non-orthogonal multiple access (NOMA) systems considering a BS equipped with many ($M$) antennas, while $K$ devices {operate} with a single-antenna, and {the loading of devices} $\rho = \frac{K}{M}$ ranging in $0<\rho\leq 2$ is carried out under three different \ac{PA} strategies: the inverse of the channel power allocation (PICPA), a modified water-filling ($\Delta$-WF) allocation method, and the equal power allocation (EPA) reference method. Since the two devices per cluster are overlapped in the power domain in the NOMA system, the channel matrix requires transformation to perform the zero-forcing (ZF) precoding adopted in mMIMO. Hence, NOMA operating under many antennas can favor a group of devices with higher array gain, overcoming the mMIMO and operating conveniently in the higher loading range $0.6<\rho<2.0$. In such a scenario, a more realistic and helpful metric consists of {evaluating} the area under SE and EE curves, by measuring the bit-per-antenna and bit-per-antenna-per-watt efficiency, respectively. Our numerical results confirm a superiority of NOMA w.r.t. mMIMO of an order of 3x for the SE-area and 2x for the EE-area metric.


title: Towards Open World NeRF-Based SLAM

abstract: Neural Radiance Fields (NeRFs) offer versatility and robustness in map representations for Simultaneous Localization and Mapping (SLAM) tasks. This paper extends NICE-SLAM, a recent state-of-the-art NeRF-based SLAM algorithm capable of producing high quality NeRF maps. However, depending on the hardware used, the required number of iterations to produce these maps often makes NICE-SLAM run at less than real time. Additionally, the estimated trajectories fail to be competitive with classical SLAM approaches. Finally, NICE-SLAM requires a grid covering the considered environment to be defined prior to runtime, making it difficult to extend into previously unseen scenes. This paper seeks to make NICE-SLAM more open-world-capable by improving the robustness and tracking accuracy, and generalizing the map representation to handle unconstrained environments. This is done by improving measurement uncertainty handling, incorporating motion information, and modelling the map as having an explicit foreground and background. It is shown that these changes are able to improve tracking accuracy by 85% to 97% depending on the available resources, while also improving mapping in environments with visual information extending outside of the predefined grid.


title: A Multi-Site Accelerator-Rich Processing Fabric for Scalable Brain-Computer Interfacing

abstract: Hull is an accelerator-rich distributed implantable Brain-Computer Interface (BCI) that reads biological neurons at data rates that are 2-3 orders of magnitude higher than the prior state of art, while supporting many neuroscientific applications. Prior approaches have restricted brain interfacing to tens of megabits per second in order to meet two constraints necessary for effective operation and safe long-term implantation -- power dissipation under tens of milliwatts and response latencies in the tens of milliseconds. Hull also adheres to these constraints, but is able to interface with the brain at much higher data rates, thereby enabling, for the first time, BCI-driven research on and clinical treatment of brain-wide behaviors and diseases that require reading and stimulating many brain locations. Central to Hull's power efficiency is its realization as a distributed system of BCI nodes with accelerator-rich compute. Hull balances modular system layering with aggressive cross-layer hardware-software co-design to integrate compute, networking, and storage. The result is a lesson in designing networked distributed systems with hardware accelerators from the ground up.


title: On varieties with Ulrich twisted tangent bundles

abstract: We study varieties $X \subseteq \mathbb P^N$ of dimension $n$ such that $T_X(k)$ is an Ulrich vector bundle for some $k \in \mathbb Z$. First we give a sharp bound for $k$ in the case of curves. Then we show that $k \le n+1$ if $2 \le n \le 12$. We classify the pairs $(X,\mathcal O_X(1))$ for $k=1$ and we show that, for $n \ge 4$, the case $k=2$ does not occur.


title: Finite group actions on 4-manifolds and equivariant bundles

abstract: Given a 4-manifold with a homologically trivial and locally-linear cyclic group action, we obtain necessary and sufficient conditions for the existence of equivariant bundles. The conditions are derived from the twisted signature formula and are in the form of congruence relations between the fixed point data and the isotropy representations.


title: (1+1) dimensional scalar field theory on q-deformed space

abstract: We study scalar field theory in one space and one time dimensions on a q-deformed space with static background. We write the Lagrangian and the equation of motion and solve it to the first order in $q-1$ where $q$ is the deformation parameter of the space.


title: The $q$-neighbor Ising model on multiplex networks with partial overlap of nodes

abstract: The $q$-neighbor Ising model for the opinion formation on multiplex networks with two layers in the form of random graphs (duplex networks), the partial overlap of nodes, and LOCAL\&AND spin update rule was investigated by means of the pair approximation and approximate Master equations as well as Monte Carlo simulations. Both analytic and numerical results show that for different fixed sizes of the $q$-neighborhood and finite mean degrees of nodes within the layers the model exhibits qualitatively similar critical behavior as the analogous model on multiplex networks with layers in the form of complete graphs. However, as the mean degree of nodes is decreased the discontinuous ferromagnetic transition, the tricritical point separating it from the continuous transition and the possible coexistence of the paramagnetic and ferromagnetic phases at zero temperature occur for smaller relative sizes of the overlap. Predictions of the simple homogeneous pair approximation concerning the critical behavior of the model under study show good qualitative agreement with numerical results; predictions based on the approximate Master equations are usually quantitatively more accurate, but yet not exact. Two versions of the heterogeneous pair approximation are also derived for the model under study, which, surprisingly, yield predictions only marginally different or even identical to those of the simple homogeneous pair approximation. In general, predictions of all approximations show better agreement with the results of Monte Carlo simulations in the case of continuous than discontinuous ferromagnetic transition.


title: Fields and strings on non commutative q-deformed spaces

abstract: We study scalar field and string theory on non commutative q-deformed spaces. We define a product of functions on a non commutative algebra of functions resulting from the q-deformation analogue to the Moyal product for canonically non commutative spaces. We then give the general procedure to define scalar field and classical string theories on the mentioned spaces, we argue that the resulting theories will have enlarged sets of both spacetime and internal symmetries which can be used to study gravitational effects due to the q-deformation.


title: Cinematic Techniques in Narrative Visualization

abstract: The many genres of narrative visualization (e.g. data comics, data videos) each offer a unique set of affordances and constraints. To better understand a genre that we call cinematic visualizations-3D visualizations that make highly deliberate use of a camera to convey a narrative-we gathered 50 examples and analyzed their traditional cinematic aspects to identify the benefits and limitations of the form. While the cinematic visualization approach can violate traditional rules of visualization, we find that through careful control of the camera, cinematic visualizations enable immersion in data-driven, anthropocentric environments, and can naturally incorporate in-situ narrators, concrete scales, and visual analogies. Our analysis guides our design of a series of cinematic visualizations, created for NASA's Earth Science Communications team. We present one as a case study to convey design guidelines covering cinematography, lighting, set design, and sound, and discuss challenges in creating cinematic visualizations.


title: RobArch: Designing Robust Architectures against Adversarial Attacks

abstract: Adversarial Training is the most effective approach for improving the robustness of Deep Neural Networks (DNNs). However, compared to the large body of research in optimizing the adversarial training process, there are few investigations into how architecture components affect robustness, and they rarely constrain model capacity. Thus, it is unclear where robustness precisely comes from. In this work, we present the first large-scale systematic study on the robustness of DNN architecture components under fixed parameter budgets. Through our investigation, we distill 18 actionable robust network design guidelines that empower model developers to gain deep insights. We demonstrate these guidelines' effectiveness by introducing the novel Robust Architecture (RobArch) model that instantiates the guidelines to build a family of top-performing models across parameter capacities against strong adversarial attacks. RobArch achieves the new state-of-the-art AutoAttack accuracy on the RobustBench ImageNet leaderboard. The code is available at $\href{https://github.com/ShengYun-Peng/RobArch}{\text{this url}}$.


title: Stochastic Reservoir Calculations

abstract: Prabhu (1958) obtained the stationary distribution of storage level $Z_{t}$ in a reservoir of finite volume $v$, given an inflow $X_{t}$ and an outflow $Y_{t}$. Time $t$ is assumed to be discrete, $X_{t} \sim$ Gamma$(p,\mu)$ are independent and $p$ is a positive integer. The mean inflow is $p/\mu$; the target outflow is $m$ (constant). We attempt to clarify intricate details, often omitted in the literature, by working through several examples. Of special interest are the probabilities of depletion ($Z_{t}=0$) and spillage ($Z_{t}=v$). For prescribed {$v,p,\mu$}, what value of $m$ minimizes both of these?


title: Periodic Cyclic Homology over Q

abstract: Let $X$ be a derived scheme over an animated commutative ring of characteristic 0. We give a complete description of the periodic cyclic homology of $X$ in terms of the Hodge completed derived de Rham complex of $X$. In particular this extends earlier computations of Loday-Quillen to non-smooth algebras. Moreover, we get an explicit condition on the Hodge completed derived de Rham complex, that makes the HKR-filtration on periodic cyclic homology constructed by Antieau and Bhatt-Lurie exhaustive.


title: Randomized Block-Coordinate Optimistic Gradient Algorithms for Root-Finding Problems

abstract: In this paper, we develop two new randomized block-coordinate optimistic gradient algorithms to approximate a solution of nonlinear equations in large-scale settings, which are called root-finding problems. Our first algorithm is non-accelerated with constant stepsizes, and achieves $\mathcal{O}(1/k)$ best-iterate convergence rate on $\mathbb{E}[ \Vert Gx^k\Vert^2]$ when the underlying operator $G$ is Lipschitz continuous and satisfies a weak Minty solution condition, where $\mathbb{E}[\cdot]$ is the expectation and $k$ is the iteration counter. Our second method is a new accelerated randomized block-coordinate optimistic gradient algorithm. We establish both $\mathcal{O}(1/k^2)$ and $o(1/k^2)$ last-iterate convergence rates on both $\mathbb{E}[ \Vert Gx^k\Vert^2]$ and $\mathbb{E}[ \Vert x^{k+1} - x^{k}\Vert^2]$ for this algorithm under the co-coerciveness of $G$. In addition, we prove that the iterate sequence $\{x^k\}$ converges to a solution almost surely, and $\Vert Gx^k\Vert^2$ attains a $o(1/k)$ almost sure convergence rate. Then, we apply our methods to a class of large-scale finite-sum inclusions, which covers prominent applications in machine learning, statistical learning, and network optimization, especially in federated learning. We obtain two new federated learning-type algorithms and their convergence rate guarantees for solving this problem class.


title: Lepton-Nucleus Scattering Measurements for Neutrino Interactions and Oscillations

abstract: Currently running and forthcoming precision neutrino oscillation experiments aim to unambiguously determine the neutrino mass ordering, the charge-parity violating phase in the lepton sector and the possible existence of physics Beyond the Standard Model. To have an understanding of all the effects necessary for the success of these experiments, lepton-nucleus interactions must be modeled in unprecedented detail. With this thesis, expertise in both neutrino and electron cross-section modeling and analysis was leveraged in order to make fundamental and critical improvements to our understanding of these interactions. The outlined work takes a significant step towards this high-precision measurement era with three complementary approaches. Cross sections are reported using neutrino data sets from the MicroBooNE liquid argon time projection chamber detector at Fermi National Laboratory, as well as electron scattering data from the CLAS detector at Thomas Jefferson National Laboratory. Furthermore, the modeling development of the commonly used GENIE event generator is presented.


title: Discovery of Hydrogen Radio Recombination Lines at z=0.89 towards PKS 1830-211

abstract: We report the detection of stimulated hydrogen radio recombination line (RRL) emission from ionized gas in a $z=0.89$ galaxy using 580--1670 MHz observations from the MeerKAT Absorption Line Survey (MALS). The RRL emission originates in a galaxy that intercepts and strongly lenses the radio blazar PKS 1830-211 ($z=2.5$). This is the second detection of RRLs outside of the local universe and the first clearly associated with hydrogen. We detect effective H144$\alpha$ (and H163$\alpha$) transitions at observed frequencies of 1156 (798) MHz by stacking 17 (27) RRLs with 21$\sigma$ (14$\sigma$) significance. The RRL emission contains two main velocity components and is coincident in velocity with HI 21 cm and OH 18 cm absorption. We use the RRL spectral line energy distribution and a Bayesian analysis to constrain the density ($n_e$) and the volume-averaged pathlength ($\ell$) of the ionized gas. We determine $\log( n_e ) = 2.0_{-0.7}^{+1.0}$ cm$^{-3}$ and $\log( \ell ) = -0.7_{-1.1}^{+1.1}$ pc towards the north east (NE) lensed image, likely tracing the diffuse thermal phase of the ionized ISM in a thin disk. Towards the south west (SW) lensed image, we determine $\log( n_e ) = 3.2_{-1.0}^{+0.4}$ cm$^{-3}$ and $\log( \ell ) = -2.7_{-0.2}^{+1.8}$ pc, tracing gas that is more reminiscent of H II regions. We estimate a star formation (surface density) rate of $\Sigma_{\mathrm{SFR}} \sim 0.6$ M$_{\odot}$ yr$^{-1}$ kpc$^{-2}$ or SFR $\sim 50$ M$_{\odot}$ yr$^{-1}$, consistent with a star-forming main sequence galaxy of $M_{\star} \sim 10^{11}$ M$_{\odot}$. The discovery presented here opens up the possibility of studying ionized gas at high redshifts using RRL observations from current and future (e.g., SKA and ngVLA) radio facilities.


title: Unsupervised Learning for Combinatorial Optimization Needs Meta-Learning

abstract: A general framework of unsupervised learning for combinatorial optimization (CO) is to train a neural network (NN) whose output gives a problem solution by directly optimizing the CO objective. Albeit with some advantages over traditional solvers, the current framework optimizes an averaged performance over the distribution of historical problem instances, which misaligns with the actual goal of CO that looks for a good solution to every future encountered instance. With this observation, we propose a new objective of unsupervised learning for CO where the goal of learning is to search for good initialization for future problem instances rather than give direct solutions. We propose a meta-learning-based training pipeline for this new objective. Our method achieves good empirical performance. We observe that even just the initial solution given by our model before fine-tuning can significantly outperform the baselines under various evaluation settings including evaluation across multiple datasets, and the case with big shifts in the problem scale. The reason we conjecture is that meta-learning-based training lets the model be loosely tied to each local optima for a training instance while being more adaptive to the changes of optimization landscapes across instances.


title: Dihadron Production in DIS at Small $x$ at Next to Leading Order: Transverse Photons

abstract: We calculate the next to leading order corrections to dihadron production in Deep Inelastic Scattering (DIS) at small x using the Color Glass Condensate formalism for the case when the virtual photon is transverse polarized. Similar to the case of longitudinal photon exchange all UV and soft singularities cancel while the collinear divergences are absorbed into quark and antiquarkhadron fragmentation functions. Rapidity divergences lead to JIMWLK evolution of dipoles and quadrupoles which describe multiple-scatterings of the quark antiquark dipole on the target proton/ nucleus and contain all the QCD dynamics of the target leading to a finite final result for the dihadron production cross section.


title: Facial Misrecognition Systems: Simple Weight Manipulations Force DNNs to Err Only on Specific Persons

abstract: In this paper, we describe how to plant novel types of backdoors in any facial recognition model based on the popular architecture of deep Siamese neural networks. These backdoors force the system to err only on natural images of specific persons who are preselected by the attacker, without controlling their appearance or inserting any triggers. For example, we show how such a backdoored system can classify any two images of a particular person as different people, or any two images of a particular pair of persons as the same person, with almost no effect on the correctness of its decisions for other persons. Surprisingly, we show that both types of backdoors can be implemented by applying linear transformations to the model's last weight matrix, with no additional training or optimization, using only images of the backdoor identities. A unique property of our attack is that multiple backdoors can be independently installed in the same model by multiple attackers, who may not be aware of each other's existence, with almost no interference. We have experimentally verified the attacks on a SOTA facial recognition system. When we tried to individually anonymize ten celebrities, the network failed to recognize two of their images as being the same person in $97.02\%$ to $98.31\%$ of the time. When we tried to confuse between the extremely different-looking Morgan Freeman and Scarlett Johansson, for example, their images were declared to be the same person in $98.47 \%$ of the time. For each type of backdoor, we sequentially installed multiple backdoors with minimal effect on the performance of each other (for example, anonymizing all ten celebrities on the same model reduced the success rate for each celebrity by no more than $1.01\%$). In all of our experiments, the benign accuracy of the network on other persons barely degraded (in most cases, it degraded by less than $0.05\%$).


title: Automatic Generation of German Drama Texts Using Fine Tuned GPT-2 Models

abstract: This study is devoted to the automatic generation of German drama texts. We suggest an approach consisting of two key steps: fine-tuning a GPT-2 model (the outline model) to generate outlines of scenes based on keywords and fine-tuning a second model (the generation model) to generate scenes from the scene outline. The input for the neural model comprises two datasets: the German Drama Corpus (GerDraCor) and German Text Archive (Deutsches Textarchiv or DTA). In order to estimate the effectiveness of the proposed method, our models are compared with baseline GPT-2 models. Our models perform well according to automatic quantitative evaluation, but, conversely, manual qualitative analysis reveals a poor quality of generated texts. This may be due to the quality of the dataset or training inputs.


title: On generating r-uniform subspaces with the isometric mapping method

abstract: We propose a compositional approach to construct subspaces consisting entirely of r-uniform states, including the ones in heterogeneous systems. The approach allows one to construct new objects from old ones: it combines encoding isometries of pure quantum error correcting codes with entangled multipartite states and subspaces. The presented methods can be also used to construct new pure quantum error correcting codes from certain combinations of old ones. The approach is illustrated with various examples including constructions of 2-, 3-, 4-, 5-uniform subspaces. The results are then compared with analogous constructions obtained with the use of orthogonal arrays.


title: AdS/BCFT correspondence and Horndeski gravity in the presence of gauge fields: holographic paramagnetism/ferromagnetism phase transition

abstract: This paper presents a dual gravity model for a (2+1)-dimensional system with a limit on finite charge density and temperature, which will be used to study the properties of the holographic phase transition to paramagnetism-ferromagnetism in the presence of Horndeski gravity terms. In our model, the non-zero charge density is supported by a magnetic field. As a result, the radius $\rho/B$ indicates a localized condensate, as we increase the Horndeski gravity parameter, that is represented by $\gamma$. Furthermore, such condensate shows quantum Hall-type behavior. This radius is also inversely related to the total action coefficients of our model. It was observed that increasing the Horndeski parameter decreases the critical temperature of the holographic model and leads to the harder formation of the magnetic moment at the bottom of the black hole. However, when removing the magnetic field, the ferromagnetic material presents a disorder of its magnetic moments, which is observed through the entropy of the system. We also found that at low temperatures, spontaneous magnetization and ferromagnetic phase transition.


title: Nusselt number scaling in horizontal convection

abstract: We report a numerical study of horizontal convection (HC) at Prandtl number $Pr = 1$, with both no-slip and free-slip boundary conditions. We obtain 2D and 3D solutions and determine the relation between the Rayleigh number $Ra$ and the Nusselt number $Nu$. In 2D we vary $Ra$ between $0$ and $10^{14}$. In the range $10^6 \le Ra \le 10^{10}$ the $Nu$-$Ra$ relation is $Nu \sim Ra^{1/5}$. With $Ra$ greater than about $10^{11}$ we find a 2D regime with $Nu \sim Ra^{1/4}$ over three decades, up to the highest 2D $Ra$. In 3D, with maximum $Ra = 10^{11.5}$, we find only $Nu \sim Ra^{1/5}$. These results apply to both free slip and no slip boundary conditions. The $Nu \sim Ra^{1/4}$ regime has a double boundary layer (BL): there is a thin BL with thickness $\sim Ra^{-1/4}$ nested inside a thicker BL with thickness $\sim Ra^{-1/5}$. The $Ra^{-1/4}$ BL thickness, which determines $Nu$, coincides with the Kolmogorov and Batchelor scales of HC. Numerical and theoretical results indicate that 3D HC is qualitatively and quantitatively similar to 2D HC. At the same $Ra$, the 3D $Nu$ exceeds the 2D $Nu$ by less than $20$%, i.e., there is very little 3D enhancement of heat transport. Boundary conditions are more important than dimensionality: the 2D free-slip solutions have larger $Nu$ than 3D no-slip solutions. Using the mechanical energy power integral of HC we show that the mean square vorticity of 3D HC is nearly equal to that of 2D HC at the same $Ra$. Thus vorticity amplification by strain-mediated vortex stretching does not operate in 3D HC.


title: Lax colimits of posets with structure sheaves: applications to descent

abstract: We consider categories of posets with $\mathfrak{C}$-valued structure sheaves for any category $\mathfrak{C}$ and see how they possess poset-indexed lax colimits that are both easy to describe and "weakly equivalent" to their ordinary colimits in a certain sense. We employ this construction to study descent problems on schematic spaces -- a particular scheme-like kind of ringed poset -- , proving a general Seifert-Van Kampen Theorem for their \'etale fundamental group that recovers and generalizes the homonym result for schemes to the topology of flat monomorphisms. The techniques are general enough to consider their applications in many other frameworks.


title: The COVID-19 vaccination, preventive behaviors and pro-social motivation: panel data analysis from Japan

abstract: The COVID-19 vaccine reduces infection risk: even if one contracts COVID-19, the probability of complications like death or hospitalization is lower. However, vaccination may prompt people to decrease preventive behaviors, such as staying indoors, handwashing, and wearing a mask. Thereby, if vaccinated people pursue only their self-interest, the vaccine's effect may be lower than expected. However, if vaccinated people are pro-social (motivated toward benefit for the whole society), they might maintain preventive behaviors to reduce the spread of infection.