title: On quadratic Hom-Lie algebras with twist maps in their centroids and their relationship with quadratic Lie algebras

abstract: Hom-Lie algebras having non-invertible twist maps in their centroids are studied. Central extensions of Hom-Lie algebras having these properties are obtained and shown how the same properties are preserved. Conditions are given so that the produced central extension has an invariant metric with respect to its Hom-Lie product making its twist map self-adjoint when the original Hom-Lie algebra has such a metric. This work is focused on algebras with these properties and following Benayadi and Makhloufwe call them quadratic Hom-Lie algebras. It is shown how a quadratic Hom-Lie algebra gives rise to a quadratic Lie algebra and that the Lie algebra associated to the given Hom-Lie central extension is a Lie algebra central extension of it. It is also shown that if the Hom-Lie product is not a Lie product, there exists a non-abelian algebra, which is in general non-associative too, the commutator of whose product is precisely the Hom-Lie product of the Hom-Lie central extension. Moreover, the algebra whose commutator realizes this Hom-Lie product is shown to be simple if the associated Lie algebra is nilpotent. Non-trivial examples are provided.


title: Online Learning for Adaptive Probing and Scheduling in Dense WLANs

abstract: Existing solutions to network scheduling typically assume that the instantaneous link rates are completely known before a scheduling decision is made or consider a bandit setting where the accurate link quality is discovered only after it has been used for data transmission. In practice, the decision maker can obtain (relatively accurate) channel information, e.g., through beamforming in mmWave networks, right before data transmission. However, frequent beamforming incurs a formidable overhead in densely deployed mmWave WLANs. In this paper, we consider the important problem of throughput optimization with joint link probing and scheduling. The problem is challenging even when the link rate distributions are pre-known (the offline setting) due to the necessity of balancing the information gains from probing and the cost of reducing the data transmission opportunity. We develop an approximation algorithm with guaranteed performance when the probing decision is non-adaptive, and a dynamic programming based solution for the more challenging adaptive setting. We further extend our solutions to the online setting with unknown link rate distributions and develop a contextual-bandit based algorithm and derive its regret bound. Numerical results using data traces collected from real-world mmWave deployments demonstrate the efficiency of our solutions.


title: Entanglement Entropy and Causal Set Theory

abstract: We review a formulation of the entanglement entropy of a quantum scalar field in terms of its spacetime two-point correlation functions. We discuss applications of this formulation to studying entanglement entropy in various settings in causal set theory. These settings include sprinklings of causal diamonds in various dimensions in flat spacetime, de Sitter spacetime, massless and massive theories, multiple disjoint regions, and nonlocal quantum field theories.

categories: hep-th cond-mat.stat-mech gr-qc math-ph math.MP


title: Variance Reduction for Score Functions Using Optimal Baselines

abstract: Many problems involve the use of models which learn probability distributions or incorporate randomness in some way. In such problems, because computing the true expected gradient may be intractable, a gradient estimator is used to update the model parameters. When the model parameters directly affect a probability distribution, the gradient estimator will involve score function terms. This paper studies baselines, a variance reduction technique for score functions. Motivated primarily by reinforcement learning, we derive for the first time an expression for the optimal state-dependent baseline, the baseline which results in a gradient estimator with minimum variance. Although we show that there exist examples where the optimal baseline may be arbitrarily better than a value function baseline, we find that the value function baseline usually performs similarly to an optimal baseline in terms of variance reduction. Moreover, the value function can also be used for bootstrapping estimators of the return, leading to additional variance reduction. Our results give new insight and justification for why value function baselines and the generalized advantage estimator (GAE) work well in practice.


title: Promotion and growth diagrams for fans of Dyck paths and vacillating tableaux

abstract: We construct an injection from the set of $r$-fans of Dyck paths (resp. vacillating tableaux) of length $n$ into the set of chord diagrams on $[n]$ that intertwines promotion and rotation. This is done in two different ways, namely as fillings of promotion-evacuation diagrams and in terms of Fomin growth diagrams. Our analysis uses the fact that $r$-fans of Dyck paths and vacillating tableaux can be viewed as highest weight elements of weight zero in crystals of type $B_r$ and $C_r$, respectively, which in turn can be analyzed using virtual crystals. On the level of Fomin growth diagrams, the virtualization process corresponds to the Roby-Krattenthaler blow up construction. One of the motivations for finding rotation invariant diagrammatic bases such as chord diagrams is the cyclic sieving phenomenon. Indeed, we give a cyclic sieving phenomenon on $r$-fans of Dyck paths and vacillating tableaux using the promotion action.


title: Co-supervised learning paradigm with conditional generative adversarial networks for sample-efficient classification

abstract: Classification using supervised learning requires annotating a large amount of classes-balanced data for model training and testing. This has practically limited the scope of applications with supervised learning, in particular deep learning. To address the issues associated with limited and imbalanced data, this paper introduces a sample-efficient co-supervised learning paradigm (SEC-CGAN), in which a conditional generative adversarial network (CGAN) is trained alongside the classifier and supplements semantics-conditioned, confidence-aware synthesized examples to the annotated data during the training process. In this setting, the CGAN not only serves as a co-supervisor but also provides complementary quality examples to aid the classifier training in an end-to-end fashion. Experiments demonstrate that the proposed SEC-CGAN outperforms the external classifier GAN (EC-GAN) and a baseline ResNet-18 classifier. For the comparison, all classifiers in above methods adopt the ResNet-18 architecture as the backbone. Particularly, for the Street View House Numbers dataset, using the 5% of training data, a test accuracy of 90.26% is achieved by SEC-CGAN as opposed to 88.59% by EC-GAN and 87.17% by the baseline classifier; for the highway image dataset, using the 10% of training data, a test accuracy of 98.27% is achieved by SEC-CGAN, compared to 97.84% by EC-GAN and 95.52% by the baseline classifier.


title: Quasibound states of analytic black-hole configurations in three and four dimensions

abstract: In this work we analyze the sound perturbation of Unruh's acoustic effective geometry in both (2+1) and (3+1) spacetime dimensions and present an exact analytical expression for the quasibound states of these idealized black-hole configurations by using a new approach recently developed, which uses the polynomial conditions of the hypergeometric functions. Our main goal is to discuss the effects of having an event horizon in such effective metrics. We also discuss the stability of the systems and present the radial eigenfunctions related to these quasibound state frequencies. These metrics assume just the form it has for a Schwarzschild black hole near the event horizon, and therefore may, in principle, shed some light into the underlying classical and quantum physics of astrophysical black holes through analog acoustic probes.


title: Knowledge-Guided Data-Centric AI in Healthcare: Progress, Shortcomings, and Future Directions

abstract: The success of deep learning is largely due to the availability of large amounts of training data that cover a wide range of examples of a particular concept or meaning. In the field of medicine, having a diverse set of training data on a particular disease can lead to the development of a model that is able to accurately predict the disease. However, despite the potential benefits, there have not been significant advances in image-based diagnosis due to a lack of high-quality annotated data. This article highlights the importance of using a data-centric approach to improve the quality of data representations, particularly in cases where the available data is limited. To address this "small-data" issue, we discuss four methods for generating and aggregating training data: data augmentation, transfer learning, federated learning, and GANs (generative adversarial networks). We also propose the use of knowledge-guided GANs to incorporate domain knowledge in the training data generation process. With the recent progress in large pre-trained language models, we believe it is possible to acquire high-quality knowledge that can be used to improve the effectiveness of knowledge-guided generative methods.


title: A linear programming approach to Fuglede's conjecture in $\mathbb{Z}_p^3$

abstract: We present an approach to Fuglede's conjecture in $\mathbb{Z}_p^3$ using linear programming bounds, obtaining the following partial result: if $A\subseteq\mathbb{Z}_p^3$ with $p^2-p\sqrt{p}+\sqrt{p}<|A|<p^2$, then $A$ is not spectral.


title: Traveling/non-traveling phase transition and non-ergodic properties in the random transverse-field Ising model on the Cayley tree

abstract: We study the random transverse field Ising model on a finite Cayley tree. This enables us to probe key questions arising in other important disordered quantum systems, in particular the Anderson transition and the problem of dirty bosons on the Cayley tree, or the emergence of non-ergodic properties in such systems. We numerically investigate this problem building on the cavity mean-field method complemented by state-of-the art finite-size scaling analysis. Our numerics agree very well with analytical results based on an analogy with the traveling wave problem of a branching random walk in the presence of an absorbing wall. Critical properties and finite-size corrections for the zero-temperature paramagnetic-ferromagnetic transition are studied both for constant and algebraically vanishing boundary conditions. In the later case, we reveal a regime which is reminiscent of the non-ergodic delocalized phase observed in other systems, thus shedding some light on critical issues in the context of disordered quantum systems, such as Anderson transitions, the many-body localization or disordered bosons in infinite dimensions.


title: Hierarchy structures in finite index CMC surfaces

abstract: Given $\varepsilon_0>0$, $I\in \mathbb{N}\cup \{0\}$ and $K_0,H_0\geq0$, let $X$ be a complete Riemannian $3$-manifold with injectivity radius $\mbox{Inj}(X)\geq \varepsilon_0$ and with the supremum of absolute sectional curvature at most $K_0$, and let $M \looparrowright X$ be a complete immersed surface of constant mean curvature $H\in [0,H_0]$ with index at most $I$. For such $M \looparrowright X$, we prove Structure Theorem 1.2 which describes how the interesting ambient geometry of the immersion is organized locally around at most $I$ points of $M$ where the norm of the second fundamental form takes on large local maximum values.


title: Datasets on materials research of hard ferromagnet in TM-Fe-Si (TM=Ti, Zr, Hf, V, Nb, and Ta) ternary systems

abstract: The datasets presented in this article are related to materials research on hard ferromagnet in TM-Fe-Si (TM=Ti, Zr, Hf, V, Nb, and Ta) ternary systems. The motivation for data collection is based on the research paper entitled "Novel hard magnetic phase with Zr$_{11.5}$Fe$_{53}$Si$_{35.5}$ composition". The datasets are composed of scanning electron microscope images, X-ray diffraction (XRD) patterns, and magnetization data for TM$_{7}$Fe$_{52}$Si$_{41}$ annealed at 1050 $^{\circ}$C. The chemical compositions of constituent phases were determined by an energy dispersive X-ray spectrometer (EDS). The phase analysis was performed using XRD and EDS results. The Curie temperature of each sample was obtained using magnetization data, and the coercive field was determined for hard ferromagnet samples Zr$_{7}$Fe$_{52}$Si$_{41}$ and Hf$_{7}$Fe$_{52}$Si$_{41}$. The datasets would be useful for developing an Fe-based rare-earth-free permanent magnet, which is one of the central issues of materials science.


title: Semi-supervised multiscale dual-encoding method for faulty traffic data detection

abstract: Inspired by the recent success of deep learning in multiscale information encoding, we introduce a variational autoencoder (VAE) based semi-supervised method for detection of faulty traffic data, which is cast as a classification problem. Continuous wavelet transform (CWT) is applied to the time series of traffic volume data to obtain rich features embodied in time-frequency representation, followed by a twin of VAE models to separately encode normal data and faulty data. The resulting multiscale dual encodings are concatenated and fed to an attention-based classifier, consisting of a self-attention module and a multilayer perceptron. For comparison, the proposed architecture is evaluated against five different encoding schemes, including (1) VAE with only normal data encoding, (2) VAE with only faulty data encoding, (3) VAE with both normal and faulty data encodings, but without attention module in the classifier, (4) siamese encoding, and (5) cross-vision transformer (CViT) encoding. The first four encoding schemes adopted the same convolutional neural network (CNN) architecture while the fifth encoding scheme follows the transformer architecture of CViT. Our experiments show that the proposed architecture with the dual encoding scheme, coupled with attention module, outperforms other encoding schemes and results in classification accuracy of 96.4%, precision of 95.5%, and recall of 97.7%.


title: Optimal Regularization for a Data Source

abstract: In optimization-based approaches to inverse problems and to statistical estimation, it is common to augment criteria that enforce data fidelity with a regularizer that promotes desired structural properties in the solution. The choice of a suitable regularizer is typically driven by a combination of prior domain information and computational considerations. Convex regularizers are attractive computationally but they are limited in the types of structure they can promote. On the other hand, nonconvex regularizers are more flexible in the forms of structure they can promote and they have showcased strong empirical performance in some applications, but they come with the computational challenge of solving the associated optimization problems. In this paper, we seek a systematic understanding of the power and the limitations of convex regularization by investigating the following questions: Given a distribution, what is the optimal regularizer for data drawn from the distribution? What properties of a data source govern whether the optimal regularizer is convex? We address these questions for the class of regularizers specified by functionals that are continuous, positively homogeneous, and positive away from the origin. We say that a regularizer is optimal for a data distribution if the Gibbs density with energy given by the regularizer maximizes the population likelihood (or equivalently, minimizes cross-entropy loss) over all regularizer-induced Gibbs densities. As the regularizers we consider are in one-to-one correspondence with star bodies, we leverage dual Brunn-Minkowski theory to show that a radial function derived from a data distribution is akin to a ``computational sufficient statistic'' as it is the key quantity for identifying optimal regularizers and for assessing the amenability of a data source to convex regularization.


title: Sensing-Throughput Tradeoffs with Generative Adversarial Networks for NextG Spectrum Sharing

abstract: Spectrum coexistence is essential for next generation (NextG) systems to share the spectrum with incumbent (primary) users and meet the growing demand for bandwidth. One example is the 3.5 GHz Citizens Broadband Radio Service (CBRS) band, where the 5G and beyond communication systems need to sense the spectrum and then access the channel in an opportunistic manner when the incumbent user (e.g., radar) is not transmitting. To that end, a high-fidelity classifier based on a deep neural network is needed for low misdetection (to protect incumbent users) and low false alarm (to achieve high throughput for NextG). In a dynamic wireless environment, the classifier can only be used for a limited period of time, i.e., coherence time. A portion of this period is used for learning to collect sensing results and train a classifier, and the rest is used for transmissions. In spectrum sharing systems, there is a well-known tradeoff between the sensing time and the transmission time. While increasing the sensing time can increase the spectrum sensing accuracy, there is less time left for data transmissions. In this paper, we present a generative adversarial network (GAN) approach to generate synthetic sensing results to augment the training data for the deep learning classifier so that the sensing time can be reduced (and thus the transmission time can be increased) while keeping high accuracy of the classifier. We consider both additive white Gaussian noise (AWGN) and Rayleigh channels, and show that this GAN-based approach can significantly improve both the protection of the high-priority user and the throughput of the NextG user (more in Rayleigh channels than AWGN channels).


title: Brain Cancer Segmentation Using YOLOv5 Deep Neural Network

abstract: An expansion of aberrant brain cells is referred to as a brain tumor. The brain's architecture is extremely intricate, with several regions controlling various nervous system processes. Any portion of the brain or skull can develop a brain tumor, including the brain's protective coating, the base of the skull, the brainstem, the sinuses, the nasal cavity, and many other places. Over the past ten years, numerous developments in the field of computer-aided brain tumor diagnosis have been made. Recently, instance segmentation has attracted a lot of interest in numerous computer vision applications. It seeks to assign various IDs to various scene objects, even if they are members of the same class. Typically, a two-stage pipeline is used to perform instance segmentation. This study shows brain cancer segmentation using YOLOv5. Yolo takes dataset as picture format and corresponding text file. You Only Look Once (YOLO) is a viral and widely used algorithm. YOLO is famous for its object recognition properties. You Only Look Once (YOLO) is a popular algorithm that has gone viral. YOLO is well known for its ability to identify objects. YOLO V2, V3, V4, and V5 are some of the YOLO latest versions that experts have published in recent years. Early brain tumor detection is one of the most important jobs that neurologists and radiologists have. However, it can be difficult and error-prone to manually identify and segment brain tumors from Magnetic Resonance Imaging (MRI) data. For making an early diagnosis of the condition, an automated brain tumor detection system is necessary. The model of the research paper has three classes. They are respectively Meningioma, Pituitary, Glioma. The results show that, our model achieves competitive accuracy, in terms of runtime usage of M2 10 core GPU.


title: On Ternary $F$-manifold Algebras and their Representations

abstract: We introduce a notion of ternary $F$-manifold algebras which is a generalization of $F$-manifold algebras. We study representation theory of ternary $F$-manifold algebras. In particular, we introduce a notion of dual representation which requires additional conditions similar to the binary case. We then establish a notion of a coherence ternary $F$-manifold algebra. Moreover, we investigate the construction of ternary $F$-manifold algebras using $F$-manifold algebras. Furthermore, we introduce and investigate a notion of a relative Rota-Baxter operator with respect to a representation and use it to construct ternary pre-$F$-manifold algebras.


title: $q$-deformed coherent states associated with the sequence $x_n^{q,\alpha }=(1+\alpha q^{n-1})[n]_q$

abstract: We introduce new generalized $q$-deformed coherent states ($q$-CS) by replacing the $q$-factorial of $[n]_q!$ in the series expansion of the classical $q$-CS by the generalized factorial $x_n^{q,\alpha}!$ where $x_n^{q,\alpha}=(1+\alpha q^{n-1})[n]_q$. We use the shifted operators method based on the sequence $x_n^{q,\alpha}$ to obtain a realization in terms of Al-Salam-Chihara polynomials for the basis vectors of the Fock space carrying the constructed $q$-CS. These new states interpolate between the $q$-CS of Arik-Coon type ($\alpha=0$, $0<q<1$) and a set of coherent states of Barut-Girardello type for the Meixner-Pollaczek oscillator ($\alpha\neq 0$, $q\to 1$). We also discus their associated Bargmann type transforms.


title: Stochastic control of spiking activity bump expansion: monotonic and resonant phenomena

abstract: We consider spatially localized spiking activity patterns, so-called bumps, in ensembles of bistable spiking oscillators. The bistability consists in the coexistence of self-sustained spiking dynamics and quiescent steady-state regime. We show numerically that the processes of growth or contraction of such patterns can be controlled by varying the intensity of multiplicative noise. In particular, the effect of the noise is monotonic in an ensemble of the coupled Hindmarsh-Rose oscillators. On the other hand, in another model proposed by V. Semenov et al. in 2016 (see Ref. [V. Semenov et al., Phys. Rev. E 93, 052210 (2016)]), a resonant noise effect is observed. In that model, stabilization of the activity bump expansion is achieved at an appropriate noise level, and the noise effect reverses with a further increase in noise intensity. Moreover, we show the constructive role of nonlocal coupling which allows to save domains and fronts being totally destroyed due to the action of noise in the case of local coupling.


title: Tuning quantum paramagnetism and d-wave superconductivity in single-layer iron chalcogenides by chemical pressure

abstract: By substituting S into single-layer FeSe/SrTiO3, chemical pressure is applied to tune its paramagnetic state that is modeled as an incoherent superposition of spin-spiral states. The resulting electronic bands resemble an ordered checkerboard antiferromagnetic structure, consistent with angle-resolved photoemission spectroscopy measurements. Scanning tunneling spectroscopy reveals a gap evolving from U-shaped for FeSe to V-shaped for FeS with decreasing size, attributed to a d-wave superconducting state for which nodes emerge once the gap size is smaller than the effective spin-orbit coupling.


title: Foliated Plateau problems and asymptotic counting of surface subgroups

abstract: In [17], Labourie initiated the study of the dynamical properties of the space of $k$-surfaces, that is, suitably complete immersed surfaces of constant extrinsic curvature in $3$-dimensional manifolds, which he presented as a higher-dimensional analogue of the geodesic flow when the ambient manifold is negatively curved. In this paper, following the recent work [5] of Calegari--Marques--Neves, we study the asymptotic counting of surface subgroups in terms of areas of $k$-surfaces. We determine a lower bound, and we prove rigidity when this bound is achieved. Our work differs from that of [5] in two key respects. Firstly, we work with all quasi-Fuchsian subgroups as opposed to merely asymptotically Fuchsian ones. Secondly, as the proof of rigidity in [5] breaks down in the present case, we require a different approach. Following ideas outlined by Labourie in [19], we prove rigidity by solving a general foliated Plateau problem in Cartan--Hadamard manifolds. To this end, we build on Labourie's theory of $k$-surface dynamics, and propose a number of new constructions, conjectures and questions.


title: Vaught's conjecture for theories of discretely ordered structures

abstract: Let $T$ be a countable complete first-order theory with a definable, infinite, discrete linear order. We prove that $T$ has continuum-many countable models. The proof is purely first-order, but raises the question of Borel completeness of $T$.


title: Strictly convex renormings and the diameter 2 property

abstract: A Banach space (or its norm) is said to have the diameter $2$ property (D$2$P in short) if every nonempty relatively weakly open subset of its closed unit ball has diameter $2$. We construct an equivalent norm on $L_1[0,1]$ which is weakly midpoint locally uniformly rotund and has the D$2$P. We also prove that for Banach spaces admitting a norm-one finite-co-dimensional projection it is impossible to be uniformly rotund in every direction and at the same time have the D$2$P.


title: EDoG: Adversarial Edge Detection For Graph Neural Networks

abstract: Graph Neural Networks (GNNs) have been widely applied to different tasks such as bioinformatics, drug design, and social networks. However, recent studies have shown that GNNs are vulnerable to adversarial attacks which aim to mislead the node or subgraph classification prediction by adding subtle perturbations. Detecting these attacks is challenging due to the small magnitude of perturbation and the discrete nature of graph data. In this paper, we propose a general adversarial edge detection pipeline EDoG without requiring knowledge of the attack strategies based on graph generation. Specifically, we propose a novel graph generation approach combined with link prediction to detect suspicious adversarial edges. To effectively train the graph generative model, we sample several sub-graphs from the given graph data. We show that since the number of adversarial edges is usually low in practice, with low probability the sampled sub-graphs will contain adversarial edges based on the union bound. In addition, considering the strong attacks which perturb a large number of edges, we propose a set of novel features to perform outlier detection as the preprocessing for our detection. Extensive experimental results on three real-world graph datasets including a private transaction rule dataset from a major company and two types of synthetic graphs with controlled properties show that EDoG can achieve above 0.8 AUC against four state-of-the-art unseen attack strategies without requiring any knowledge about the attack type; and around 0.85 with knowledge of the attack type. EDoG significantly outperforms traditional malicious edge detection baselines. We also show that an adaptive attack with full knowledge of our detection pipeline is difficult to bypass it.


title: 2-step Nilpotent $L_\infty$-algebras and Hypergraphs

abstract: We describe a procedure to attach a nilpotent strong homotopy Lie algebra to every simple hypergraph and prove that two hypergraphs are isomorphic if and only if the corresponding strong homotopy Lie algebras are isomorphic. As an application, we characterize hypergraphs admitting a system of distinct representatives in terms of symplectic forms on the corresponding strong homotopy Lie algebra. We conclude with a combinatorial description of the cohomology of these strong homotopy Lie algebras in low degree.


title: The Sunflower Conjecture Proven

abstract: This paper proves the sunflower conjecture by confirming that a family ${\mathcal F}$ of sets each of cardinality at most $m$ includes a $k$-sunflower, if $|{\mathcal F}| >[ ck \log (k+1)]^m$ for a constant $c>0$ independent of $m$ and $k$, where $k$-sunflower stands for a family of $k$ different sets with common pair-wise intersections.


title: Bayesian analysis for a class of $\alpha$-attractor inflationary models

abstract: We perform a Bayesian study of a generalization of the basic $\alpha$-attractor T model given by the potential $V(\phi)=V_0\left[1-\text{sech}^{p}\left(\phi/\sqrt{6\alpha}M_{pl}\right)\right]$ where $\phi$ is the inflaton field and the parameter $\alpha$ corresponds to the inverse curvature of the scalar manifold in the conformal or superconformal realizations of the attractor models. Such generalization is characterized by the power $p$ which includes the basic or base model for $p=2$. Once the priors for the parameters of the $\alpha$-attractor potential are set by numerical exploration, we perform the corresponding statistical analysis for the cases $p=1\, , 2\, , 3\, ,4$, and derive posteriors. Considering the original $\alpha$-attractor potential as the base model, we calculate the evidence for our generalization, and conclude that the $p=4$ model is preferred by the CMB data. We also present constraints for the parameter $\alpha$. Interestingly, all the cases studied prefer a specific value for the tensor-to-scalar ratio given by $r\simeq 0.0025$.


title: Hidden costs of La Mancha's production model and drivers of change

abstract: The territory of La Mancha, its rural areas, and its landscapes suffer a kind of atherosclerosis ("the silent killer") because of the increase in artificial surfaces, the fragmentation of the countryside by various infrastructures, the abandonment of small and medium-sized farms and the loss of agricultural, material, and intangible heritage. At the same time, agricultural industrialization hides, behind a supposed productive efficiency, the deterioration of the quantitative and qualitative ecological status of surface and groundwater bodies, and causes air pollution, greenhouse gas emissions, loss of soil fertility, drainage and plowing of wetlands, forgetfulness of the ancestral environmental heritage, of the emergence of uses and customs of collective self-government and reduction of the adaptive capacity of traditional agroecosystems. This work aims, firstly, to shed light on the true costs of the main causes of environmental degradation in the territory of La Mancha, while deteriorating relations between rural and urban areas and determining the loss of territorial identity of La Mancha. the population. In addition, drivers of change toward a more sustainable social, economic, hydrological, environmental, and cultural production model are identified.


title: Conjugate Bayesian analysis of compound-symmetric Gaussian models

abstract: We discuss Bayesian inference for a known-mean Gaussian model with a compound symmetric variance-covariance matrix. Since the space of such matrices is a linear subspace of that of positive definite matrices, we utilize the methods of Pisano (2022) to decompose the usual Wishart conjugate prior and derive a closed-form, three-parameter, bivariate conjugate prior distribution for the compound-symmetric half-precision matrix. The off-diagonal entry is found to have a non-central Kummer-Beta distribution conditioned on the diagonal, which is shown to have a gamma distribution generalized with Gauss's hypergeometric function. Such considerations yield a treatment of maximum a posteriori estimation for such matrices in Gaussian settings, including the Bayesian evidence and flexibility penalty attributable to Rougier and Priebe (2019). We also demonstrate how the prior may be utilized to naturally test for the positivity of a common within-class correlation in a random-intercept model using two data-driven examples.


title: Deep Learning Models for River Classification at Sub-Meter Resolutions from Multispectral and Panchromatic Commercial Satellite Imagery

abstract: Remote sensing of the Earth's surface water is critical in a wide range of environmental studies, from evaluating the societal impacts of seasonal droughts and floods to the large-scale implications of climate change. Consequently, a large literature exists on the classification of water from satellite imagery. Yet, previous methods have been limited by 1) the spatial resolution of public satellite imagery, 2) classification schemes that operate at the pixel level, and 3) the need for multiple spectral bands. We advance the state-of-the-art by 1) using commercial imagery with panchromatic and multispectral resolutions of 30 cm and 1.2 m, respectively, 2) developing multiple fully convolutional neural networks (FCN) that can learn the morphological features of water bodies in addition to their spectral properties, and 3) FCN that can classify water even from panchromatic imagery. This study focuses on rivers in the Arctic, using images from the Quickbird, WorldView, and GeoEye satellites. Because no training data are available at such high resolutions, we construct those manually. First, we use the RGB, and NIR bands of the 8-band multispectral sensors. Those trained models all achieve excellent precision and recall over 90% on validation data, aided by on-the-fly preprocessing of the training data specific to satellite imagery. In a novel approach, we then use results from the multispectral model to generate training data for FCN that only require panchromatic imagery, of which considerably more is available. Despite the smaller feature space, these models still achieve a precision and recall of over 85%. We provide our open-source codes and trained model parameters to the remote sensing community, which paves the way to a wide range of environmental hydrology applications at vastly superior accuracies and 2 orders of magnitude higher spatial resolution than previously possible.


title: On Ambiguity in Linear Inverse Problems: Entrywise Bounds on Nearly Data-Consistent Solutions and Entrywise Condition Numbers

abstract: Ill-posed linear inverse problems appear frequently in various signal processing applications. It can be very useful to have theoretical characterizations that quantify the level of ill-posedness for a given inverse problem and the degree of ambiguity that may exist about its solution. Traditional measures of ill-posedness, such as the condition number of a matrix, provide characterizations that are global in nature. While such characterizations can be powerful, they can also fail to provide full insight into situations where certain entries of the solution vector are more or less ambiguous than others. In this work, we derive novel theoretical lower- and upper-bounds that apply to individual entries of the solution vector, and are valid for all potential solution vectors that are nearly data-consistent. These bounds are agnostic to the noise statistics and the specific method used to solve the inverse problem, and are also shown to be tight. In addition, our results also lead us to introduce an entrywise version of the traditional condition number, which provides a substantially more nuanced characterization of scenarios where certain elements of the solution vector are less sensitive to perturbations than others. Our results are illustrated in an application to magnetic resonance imaging reconstruction, and we include discussions of practical computation methods for large-scale inverse problems, connections between our new theory and the traditional Cram\'{e}r-Rao bound under statistical modeling assumptions, and potential extensions to cases involving constraints beyond just data-consistency.


title: Cache Placement in an NDN Based LEO Satellite Network Constellation

abstract: The efforts to replace the successful, albeit aging, TCP/IP Internet architecture with a better suited one have driving research interest to information-centric alternatives. The Named Data Networking (NDN) architecture is probably one of the main contenders to become the network layer of the future Internet thanks to its inbuilt support for mobility, in-network caching, security and, in general, for being better adapted to the needs of current network applications. At the same time, massive satellite constellations are currently being deployed in low Earth orbits (LEO) to provide a backend for network connectivity. It is expected that, very soon, these constellations will function as proper networks thanks to inter-satellite communication links. These new satellite networks will be able to benefit from their greenfield status and the new network architectures. In this paper we analyze how to deploy the network caches of an NDN-based LEO satellite network. In particular, we show how we can jointly select the most appropriate caching nodes for each piece of content and how to forward data across the constellation in two simple alternative ways. Performance results show that the caching and forwarding strategies proposed reduce path lengths up to a third with just a few caching nodes while, simultaneously, helping to spread the load along the network.


title: Automorphisms of algebraic varieties and infinite transitivity

abstract: We survey recent results on multiple transitivity of automorphism groups of affine algebraic varieties. We consider the property of infinite transitivity of the special automorphism group, which is equivalent to flexibility of the corresponding affine variety. These properties have important algebraic and geometric consequences. At the same time they are fulfilled for wide classes of varieties. Also we study situations where infinite transitivity takes place for automorphism groups generated by finitely many one-parameter subgroups. In the appendices to the paper, the results on infinitely transitive actions in complex analysis and in combinatorial group theory are discussed.


title: SVSBI: Sequence-based virtual screening of biomolecular interactions

abstract: Virtual screening (VS) is an essential technique for understanding biomolecular interactions, particularly, drug design and discovery. The best-performing VS models depend vitally on three-dimensional (3D) structures, which are not available in general but can be obtained from molecular docking. However, current docking accuracy is relatively low, rendering unreliable VS models. We introduce sequence-based virtual screening (SVS) as a new generation of VS models for modeling biomolecular interactions. The SVS model utilizes advanced natural language processing (NLP) algorithms and optimizes deep $K$-embedding strategies to encode biomolecular interactions without invoking 3D structure-based docking. We demonstrate the state-of-art performance of SVS for four regression datasets involving protein-ligand binding, protein-protein, protein-nucleic acid binding, and ligand inhibition of protein-protein interactions and five classification datasets for the protein-protein interactions in five biological species. SVS has the potential to dramatically change the current practice in drug discovery and protein engineering.


title: Functorial Statistical Physics: Feynman--Kac Formulae and Information Geometries

abstract: The main results of this paper comprise proofs of the following two related facts: (i) the Feynman--Kac formula is a functor $F_*$, namely, between a stochastic differential equation and a dynamical system on a statistical manifold, and (ii) a statistical manifold is a sheaf generated by this functor with a canonical gluing condition. Using a particular locality property for $F_*$, recognised from functorial quantum field theory as a `sewing law,' we then extend our results to the Chapman--Kolmogorov equation {\it via} a time-dependent generalisation of the principle of maximum entropy. This yields a partial formalisation of a variational principle which takes us beyond Feynman--Kac measures driven by Wiener laws. Our construction offers a robust glimpse at a deeper theory which we argue re-imagines time-dependent statistical physics and information geometry alike.

categories: math-ph cond-mat.stat-mech math.AT math.MP math.PR


title: Almost-Bayesian Quadratic Persuasion (Extended Version)

abstract: In this article, we relax the Bayesianity assumption in the now-traditional model of Bayesian Persuasion introduced by Kamenica & Gentzkow. Unlike preexisting approaches -- which have tackled the possibility of the receiver (Bob) being non-Bayesian by considering that his thought process is not Bayesian yet known to the sender (Alice), possibly up to a parameter -- we let Alice merely assume that Bob behaves 'almost like' a Bayesian agent, in some sense, without resorting to any specific model. Under this assumption, we study Alice's strategy when both utilities are quadratic and the prior is isotropic. We show that, contrary to the Bayesian case, Alice's optimal response may not be linear anymore. This fact is unfortunate as linear policies remain the only ones for which the induced belief distribution is known. What is more, evaluating linear policies proves difficult except in particular cases, let alone finding an optimal one. Nonetheless, we derive bounds that prove linear policies are near-optimal and allow Alice to compute a near-optimal linear policy numerically. With this solution in hand, we show that Alice shares less information with Bob as he departs more from Bayesianity, much to his detriment.


title: Numbers of Generators of Perfect Ideals

abstract: This article is concerned with the number of generators of perfect ideals J in regular local rings (R,m). If J is sufficiently large modulo $m^n$, a bound is established depending only on n and the projective dimension of J. More ambitious conjectures are also introduced with some partial results.


title: Annealing Double-Head: An Architecture for Online Calibration of Deep Neural Networks

abstract: Model calibration, which is concerned with how frequently the model predicts correctly, not only plays a vital part in statistical model design, but also has substantial practical applications, such as optimal decision-making in the real world. However, it has been discovered that modern deep neural networks are generally poorly calibrated due to the overestimation (or underestimation) of predictive confidence, which is closely related to overfitting. In this paper, we propose Annealing Double-Head, a simple-to-implement but highly effective architecture for calibrating the DNN during training. To be precise, we construct an additional calibration head-a shallow neural network that typically has one latent layer-on top of the last latent layer in the normal model to map the logits to the aligned confidence. Furthermore, a simple Annealing technique that dynamically scales the logits by calibration head in training procedure is developed to improve its performance. Under both the in-distribution and distributional shift circumstances, we exhaustively evaluate our Annealing Double-Head architecture on multiple pairs of contemporary DNN architectures and vision and speech datasets. We demonstrate that our method achieves state-of-the-art model calibration performance without post-processing while simultaneously providing comparable predictive accuracy in comparison to other recently proposed calibration methods on a range of learning tasks.


title: A Statistical Inquiry into Gender-Based Income Inequality in Canada

abstract: Income inequality distribution between social groups has been a global challenge. The focus of this study is to investigate the potential impact of female income on family size and purchasing power. Using statistical methods such as simple linear regression, maximum likelihood analysis, and hypothesis testing, I evaluated and investigated the variability of female pre-tax income with respect to family size. The results obtained from this study illustrate that for each additional household member, the average purchasing power decreases. Additionally, the Bayesian analysis indicates that the probability for an individual with a pre-tax income of at least one and two standard deviations above the population mean is female is approximately 1/3 and 1/4, respectively, further highlighting the gender-based income inequality in Canada. This analysis concludes that although female pre-tax income has no statistically significant impact on family size, the female pre-tax income per person has a statistically significant impact on family size.


title: The effects of running gravitational coupling on three dimensional black holes

abstract: In the present work, we investigate the consequences of running gravitational coupling on the properties of the three-dimensional BTZ black hole. We take as starting point the functional form of gravitational coupling obtained in the context of asymptotic safe gravity theory. By using the standard scale setting relation where $k\sim \xi/r^n$, we compute the solution of the Einstein field equations. We get and analyze the horizon and the thermodynamic properties of this new class of black hole solutions. The impact of the scale--dependent parameter $\xi$ on the cosmological "constant" and metric functions are briefly discussed. We find that the null energy condition is also violated in this setup when scale-dependent gravity and Newton's coupling (coming from the asymptotic safety scenario of gravity) are simultaneously taken into account.


title: On an identity of Sylvester

abstract: We discuss an algebraic identity, due to Sylvester, as well as related algebraic identities and applications.


title: Solenoidal force balances in numerical dynamos

abstract: Numerical simulations of the geodynamo (and other planetary dynamos) have made significant progress in recent years. As computing power has advanced, some new models claim to be ever more appropriate for understanding Earth's core dynamics. One measure of the success of such models is the ability to replicate the expected balance between forces operating within the core; Coriolis and Lorentz forces are predicted to be most important. The picture is complicated for an incompressible flow by the existence of the pressure gradient force which renders the gradient parts of all other forces dynamically unimportant. This can confuse the situation, especially when the scale dependence of forces are considered. In this work we investigate force balances through the alternative approach of eliminating gradient parts of each force to form `solenoidal force balances'. We perform a lengthscale dependent analysis for several spherical simulations and find that removal of gradient parts offers an alternative picture of the force balance compared to looking at traditional forces alone. Solenoidal force balances provide some agreement with the results of previous studies but also significant differences. They offer a cleaner overall picture of the dynamics and introduce differences at smaller scales. This has implications for geodynamo models purporting to have reached Earth-like regimes: in order to achieve a meaningful comparison of forces, only the solenoidal part of forces should be considered.


title: LOSDD: Leave-Out Support Vector Data Description for Outlier Detection

abstract: Support Vector Machines have been successfully used for one-class classification (OCSVM, SVDD) when trained on clean data, but they work much worse on dirty data: outliers present in the training data tend to become support vectors, and are hence considered "normal". In this article, we improve the effectiveness to detect outliers in dirty training data with a leave-out strategy: by temporarily omitting one candidate at a time, this point can be judged using the remaining data only. We show that this is more effective at scoring the outlierness of points than using the slack term of existing SVM-based approaches. Identified outliers can then be removed from the data, such that outliers hidden by other outliers can be identified, to reduce the problem of masking. Naively, this approach would require training N individual SVMs (and training $O(N^2)$ SVMs when iteratively removing the worst outliers one at a time), which is prohibitively expensive. We will discuss that only support vectors need to be considered in each step and that by reusing SVM parameters and weights, this incremental retraining can be accelerated substantially. By removing candidates in batches, we can further improve the processing time, although it obviously remains more costly than training a single SVM.


title: Forcing with Urelements

abstract: I first isolate a hierarchy of axioms over ZFC that allows a proper class of urelements. The Collection Principle and Reflection Principle hold precisely when the urelements are arranged in a specific manner. I then turn to forcing with urelements. A new forcing machinery with urelements is proposed to address a problem with the existing approach regarding the property of fullness. Every new forcing relation is full just in case Collection holds in the ground model. Forcing with urelements can preserve, destroy, or recover various axioms within the hierarchy. Ground model definability fails when the ground model contains a proper class of urelements.


title: Functional Expansions

abstract: Path dependence is omnipresent in many disciplines such as engineering, system theory and finance. It reflects the influence of the past on the future, often expressed through functionals. However, non-Markovian problems are often infinite-dimensional, thus challenging from a conceptual and computational perspective. In this work, we shed light on expansions of functionals. First, we treat static expansions made around paths of fixed length and propose a generalization of the Wiener series$-$the intrinsic value expansion (IVE). In the dynamic case, we revisit the functional Taylor expansion (FTE). The latter connects the functional It\^o calculus with the signature to quantify the effect in a functional when a "perturbation" path is concatenated with the source path. In particular, the FTE elegantly separates the functional from future trajectories. The notions of real analyticity and radius of convergence are also extended to the path space. We discuss other dynamic expansions arising from Hilbert projections and the Wiener chaos, and finally show financial applications of the FTE to the pricing and hedging of exotic contingent claims.


title: Quantile Risk Control: A Flexible Framework for Bounding the Probability of High-Loss Predictions

abstract: Rigorous guarantees about the performance of predictive algorithms are necessary in order to ensure their responsible use. Previous work has largely focused on bounding the expected loss of a predictor, but this is not sufficient in many risk-sensitive applications where the distribution of errors is important. In this work, we propose a flexible framework to produce a family of bounds on quantiles of the loss distribution incurred by a predictor. Our method takes advantage of the order statistics of the observed loss values rather than relying on the sample mean alone. We show that a quantile is an informative way of quantifying predictive performance, and that our framework applies to a variety of quantile-based metrics, each targeting important subsets of the data distribution. We analyze the theoretical properties of our proposed method and demonstrate its ability to rigorously control loss quantiles on several real-world datasets.


title: Symmetries of Ricci Flows

abstract: In the present work we find the Lie point symmetries of the Ricci flow on an $n$-dimensional manifold. and we introduce a method in order to reutilize these symmetries to obtain the Lie point symmetries of particular metrics. We apply this method to retrieve the Lie point symmetries of the Einstein equations -- seen as a "static" Ricci flow -- , and of some particular types of metrics of interest, such as, on warped products of manifolds. Finally, we use the symmetries found to obtain invariant solutions of the Ricci flow for the particular families of metrics considered.


title: Proceedings of AAAI 2022 Fall Symposium: The Role of AI in Responding to Climate Challenges

abstract: Climate change is one of the most pressing challenges of our time, requiring rapid action across society. As artificial intelligence tools (AI) are rapidly deployed, it is therefore crucial to understand how they will impact climate action. On the one hand, AI can support applications in climate change mitigation (reducing or preventing greenhouse gas emissions), adaptation (preparing for the effects of a changing climate), and climate science. These applications have implications in areas ranging as widely as energy, agriculture, and finance. At the same time, AI is used in many ways that hinder climate action (e.g., by accelerating the use of greenhouse gas-emitting fossil fuels). In addition, AI technologies have a carbon and energy footprint themselves. This symposium brought together participants from across academia, industry, government, and civil society to explore these intersections of AI with climate change, as well as how each of these sectors can contribute to solutions.


title: Multiflagellarity leads to the size-independent swimming speed of peritrichous bacteria

abstract: To swim through a viscous fluid, a flagellated bacterium must overcome the fluid drag on its body by rotating a flagellum or a bundle of multiple flagella. Because the drag increases with the size of bacteria, it is expected theoretically that the swimming speed of a bacterium inversely correlates with its body length. Nevertheless, despite extensive research, the fundamental size-speed relation of flagellated bacteria remains unclear with different experiments reporting conflicting results. Here, by critically reviewing the existing evidence and synergizing our own experiments of large sample sizes, hydrodynamic modeling and simulations, we demonstrate that the average swimming speed of \textit{Escherichia coli}, a premier model of peritrichous bacteria, is independent of their body length. Our quantitative analysis shows that such a counterintuitive relation is the consequence of the collective flagellar dynamics dictated by the linear correlation between the body length and the number of flagella of bacteria. Notably, our study reveals how bacteria utilize the increasing number of flagella to regulate the flagellar motor load. The collective load sharing among multiple flagella results in a lower load on each flagellar motor and therefore faster flagellar rotation, which compensates for the higher fluid drag on the longer bodies of bacteria. Without this balancing mechanism, the swimming speed of monotrichous bacteria generically decreases with increasing body length, a feature limiting the size variation of the bacteria. Altogether, our study resolves a long-standing controversy over the size-speed relation of flagellated bacteria and provides new insights into the functional benefit of multiflagellarity in bacteria.


title: Groupoid actions and Koopman representations

abstract: We study the $C^*$-algebra $C^*(\kappa)$ generated by the Koopman representation $\kappa=\kappa^\mu$ of a locally compact groupoid $G$ acting on a measure space $(X,\mu)$, where $\mu$ is quasi-invariant for the action. We interpret $\kappa$ as an induced representation and we prove that if the groupoid $G\ltimes X$ is amenable, then $\kappa$ is weakly contained in the regular representation $\rho=\rho^\mu$ associated to $\mu$, so we have a surjective homomorphism $C^*_r(G)\to C^*(\kappa)$. We consider the particular case of Renault-Deaconu groupoids $G= G(X,T)$ acting on their unit space $X$ and show that in some cases $C^*(\kappa)\cong C^*(G)$.


title: On the Equivalence of the Weighted Tsetlin Machine and the Perceptron

abstract: Tsetlin Machine (TM) has been gaining popularity as an inherently interpretable machine leaning method that is able to achieve promising performance with low computational complexity on a variety of applications. The interpretability and the low computational complexity of the TM are inherited from the Boolean expressions for representing various sub-patterns. Although possessing favorable properties, TM has not been the go-to method for AI applications, mainly due to its conceptual and theoretical differences compared with perceptrons and neural networks, which are more widely known and well understood. In this paper, we provide detailed insights for the operational concept of the TM, and try to bridge the gap in the theoretical understanding between the perceptron and the TM. More specifically, we study the operational concept of the TM following the analytical structure of perceptrons, showing the resemblance between the perceptrons and the TM. Through the analysis, we indicated that the TM's weight update can be considered as a special case of the gradient weight update. We also perform an empirical analysis of TM by showing the flexibility in determining the clause length, visualization of decision boundaries and obtaining interpretable boolean expressions from TM. In addition, we also discuss the advantages of TM in terms of its structure and its ability to solve more complex problems.


title: Neutrino oscillations in Quantum Field Theory

abstract: We propose a Quantum Field Theory (QFT) approach to neutrino oscillations in vacuum. The neutrino emission and detection are identified with the charged-current vertices of a single second-order Feynman diagram for the underlying process, enclosing neutrino propagation between these two points. The key point of our approach is the definition of the space-time setup typical for neutrino oscillation experiments, implying macroscopically large but finite volumes of the source and detector separated by a sufficiently large distance $L$. We derive an $L$-dependent master formula for the charged lepton production rate, which provides the QFT basis for the analysis of neutrino oscillations. Our formula depends on the underlying process and is not reducible to the conventional approach resorting to the concept of neutrino oscillation probability, which originates from non-relativistic quantum mechanics (QM). We demonstrate that for some particular choice of the underlying process our QFT formula approximately coincides with the conventional one under some assumptions.


title: Quantum hooks and mirror symmetry for flag varieties

abstract: Given a flag variety $Fl(n;r_1, \dots , r_\rho)$, there is natural ring morphism from the symmetric polynomial ring in $r_1$ variables to the quantum cohomology of the flag variety. In this paper, we show that for a large class of partitions $\lambda$, the image of $s_\lambda$ under the ring homomorphism is a Schubert class which is described by partitioning $\lambda$ into a quantum hook (or $q$-hook) and a tuple of smaller partitions. We use this result to show that the Pl\"ucker coordinate mirror of the flag variety describes quantum cohomology relations. This gives new insight into the structure of this superpotential, and the relation between superpotentials of flag varieties and those of Grassmannians (where the superpotential was introduced by Marsh--Rietsch).


title: A Titov-D\'emoulin Type Eruptive Event Generator for $\beta>0$ Plasmas

abstract: We provide exact analytical solutions for the magnetic field produced by prescribed current distributions located inside a toroidal filament of finite thickness. The solutions are expressed in terms of toroidal functions which are modifications of the Legendre functions. In application to the MHD equilibrium of a twisted toroidal current loop in the solar corona, the Grad-Shafranov equation is decomposed into an analytic solution describing an equilibrium configuration against the pinch-effect from its own current and an approximate solution for an external strapping field to balance the hoop force. Our solutions can be employed in numerical simulations of coronal mass ejections. When superimposed on the background solar coronal magnetic field, the excess magnetic energy of the twisted current loop configuration can be made unstable by applying flux cancellation to reduce the strapping field. Such loss of stability accompanied by the formation of an expanding flux rope is typical for the Titov & D\'emoulin (1999) eruptive event generator. The main new features of the proposed model are: (i) The filament is filled with finite $\beta$ plasma with finite mass and energy, (ii) The model describes an equilibrium solution that will spontaneously erupt due to magnetic reconnection of the strapping magnetic field arcade, and (iii) There are analytic expressions connecting the model parameters to the asymptotic velocity and total mass of the resulting CME, providing a way to connect the simulated CME properties to multipoint coronograph observations.


title: Battling the Coronavirus Infodemic Among Social Media Users in Kenya and Nigeria

abstract: How can we induce social media users to be discerning when sharing information during a pandemic? An experiment on Facebook Messenger with users from Kenya (n = 7,498) and Nigeria (n = 7,794) tested interventions designed to decrease intentions to share COVID-19 misinformation without decreasing intentions to share factual posts. The initial stage of the study incorporated: (i) a factorial design with 40 intervention combinations; and (ii) a contextual adaptive design, increasing the probability of assignment to treatments that worked better for previous subjects with similar characteristics. The second stage evaluated the best-performing treatments and a targeted treatment assignment policy estimated from the data. We precisely estimate null effects from warning flags and related article suggestions, tactics used by social media platforms. However, nudges to consider information's accuracy reduced misinformation sharing relative to control by 4.9% (estimate = -2.3 pp, s.e. = 1.0 , Z = -2.31, p = 0.021, 95% CI = [-4.2 , -0.35]). Such low-cost scalable interventions may improve the quality of information circulating online.


title: Holographic thermal propagator for arbitrary scale dimensions

abstract: Using the AdS/CFT correspondence we model the behaviour of the two point correlator of an operator with arbitrary scale dimension $\Delta$ in arbitrary spacetime dimension $d$ for small but non-zero temperature. The obtained propagator coincides in the low temperature regime with the known result for $d=4$ for large $\Delta$ at the order $T^d$ as well as with the $T^d$ and $T^{2d}$ terms of the exact all order result for $d=2$. Furthermore, for arbitrary $d$ we explicitly write down the expression for the order $T^{d}$ of the propagator for arbitrary $\Delta$, and present a conjecture for the order $T^{2d}$ in the large $\Delta$ limit.


title: Action of the Mazur pattern up to topological concordance

abstract: In the '80s, Freedman showed that the Whitehead doubling operator acts trivally up to topological concordance. On the other hand, Akbulut showed that the Whitehead doubling operator acts nontrivially up to smooth concordance. The Mazur pattern is a natural candidate for a satellite operator which acts by the identity up to topological but not smooth concordance. Recently there has been a resurgence of study of the action of the Mazur pattern up to concordance in the smooth and topological categories. Examples showing that the Mazur pattern does not act by the identity up to smooth concordance have been given by Cochran-Franklin-Hedden-Horn and Collins. In this paper, we give evidence that the Mazur pattern acts by the identity up to topological concordance. In particular, we show that two satellite operators $P_{K_0,\eta_0}$ and $P_{K_1,\eta_1}$ with $\eta_0$ and $\eta_1$ freely homotopic have the same action on the topological concordance group modulo the subgroup of $(1)$-solvable knots, which gives evidence that they act in the same way up to topological concordance. In particular, the Mazur pattern and the identity operator are related in this way, and so this is evidence for the topological side of the analogy to the Whitehead doubling operator. We give additional evidence that they have the same action on the full topological concordance group by showing that up to topological concordance they cannot be distinguished by Casson-Gordon signatures or metabelian $\rho$-invariants.


title: A Universal Difference-in-Differences Approach for Causal Inference

abstract: Difference-in-differences (DiD) is a popular method to evaluate treatment effects of real-world policy interventions. Several approaches have previously developed under alternative identifying assumptions in settings where pre- and post-treatment outcome measurements are available. However, these approaches suffer from several limitations, either (i) they only apply to continuous outcomes and the average treatment effect on the treated, or (ii) they depend on the scale of outcome, or (iii) they assume the absence of unmeasured confounding given pre-treatment covariate and outcome measurements, or (iv) they lack semiparametric efficiency theory. In this paper, we develop a new framework for causal identification and inference in DiD settings that satisfies (i)-(iv), making it universally applicable, unlike existing DiD methods. Key to our framework is an odds ratio equi-confounding (OREC) assumption, which states that the generalized odds ratio relating treatment and treatment-free potential outcome is stable across pre- and post-treatment periods. Under the OREC assumption, we establish nonparametric identification for any potential treatment effect on the treated in view, which in principle would be identifiable under the stronger assumption of no unmeasured confounding. Moreover, we develop a consistent, asymptotically linear, and semiparametric efficient estimator of treatment effects on the treated by leveraging recent learning theory. We illustrate our framework with extensive simulation studies and two well-established real-world applications in labor economics and traffic safety evaluation.


title: Stability mapping of bipartite tight-binding graphs with losses and gain: ${\cal PT}-$symmetry and beyond

abstract: We consider bipartite tight-binding graphs composed by $N$ nodes split into two sets of equal size: one set containing nodes with on-site loss, the other set having nodes with on-site gain. The nodes are connected randomly with probability $p$. We give a rationale for the relevance of such "throttle/brake" coupled systems (physically open systems) to grasp the stability issues of complex networks in areas such as biochemistry, neurons or economy, for which their modelling in terms of non-hermitian Hamiltonians is still in infancy. Specifically, we measure the connectivity between the two sets with the parameter $\alpha$, which is the ratio of current adjacent pairs over the total number of possible adjacent pairs between the sets. For general undirected-graph setups, the non-hermitian Hamiltonian $H(\gamma,\alpha,N)$ of this model presents pseudo-Hermiticity, where $\gamma$ is the loss/gain strength. However, we show that for a given graph setup $H(\gamma,\alpha,N)$ becomes ${\cal PT}-$symmetric. In both scenarios (pseudo-Hermiticity and ${\cal PT}-$symmetric), depending on the parameter combination, the spectra of $H(\gamma,\alpha,N)$ can be real even when it is non-hermitian. Thus, we numerically characterize the average fractions of real and imaginary eigenvalues of $H(\gamma,\alpha,N)$ as a function of the parameter set $\{\gamma,\alpha,N\}$. We demonstrate, for both setups, that there is a well defined sector of the $\gamma\alpha-$plane (which grows with $N$) where the spectrum of $H(\gamma,\alpha,N)$ is predominantly real.


title: Understanding Business Users' Data-Driven Decision-Making: Practices, Challenges, and Opportunities

abstract: Business users perform data analysis to inform decisions for improving business processes and outcomes despite having limited formal technical training. While earlier work has focused on data analysts' and data scientists' practices and challenges, little is known about business users' decision-making practices and how they incorporate data and visual analytics into their workflows. To address this gap, we first conduct an interview study with 22 business users to understand the general practices and challenges in their data-driven decision-making processes. We contribute an end-to-end model of business users' data-driven decision-making processes elaborating the tasks, tools, and challenges at each stage. We find that business users analyze data without relying on data analysts due to various practical constraints and considerations. However, their existing tools are inadequate, particularly in helping understand the relationship between data variables and business goals and facilitating the exploration of what-if scenarios. These findings suggest a need for advanced predictive and prescriptive analytics (PPA) tools to support what-if analysis. Motivated by this need, we perform a follow-up, task-based study to understand PPA's role and potential in business users' decision-making processes. We find that PPA helps improve efficiency and confidence in decision-making. However, business users also believe that PPA-powered what-if analysis tools are currently in their nascent stages and report improvements before fully integrating them into their decision-making processes. Building upon these findings, we discuss the opportunities and challenges in incorporating PPA into data-driven decision-making and its implications for future data and visual analytics systems.


title: From Asymptotic Symmetries to the Corner Proposal

abstract: These notes are a transcript of lectures given by the author in the XVIII Modave summer school in mathematical physics. The introduction is devoted to a detailed review of the literature on asymptotic symmetries, flat holography, and the corner proposal. It covers much more material than needed, for it is meant as a lamppost to help the reader in navigating the vast existing literature. The notes then consist of three main parts. The first is devoted to Noether's theorems and their underlying framework, the covariant phase space formalism, with special focus on gauge theories. The surface-charges algebra is shown to projectively represent the asymptotic symmetry algebra. Issues arising in the gravitational case, such as conservation, finiteness, and integrability, are addressed. In the second part, we introduce the geometric concept of corners, and show the existence of a universal asymptotic symmetry group at corners. A careful treatment of corner embeddings provides a resolution to the issue of integrability, by extending the phase space. In the last part we bridge asymptotic symmetries and corners by formulating the corner proposal. In essence, the latter focuses on the central question of extracting from classical gravity universal results that are expected to hold in the quantum realm. After reviewing the coadjoint orbit method and Atiyah Lie algebroids, we apply these concepts to the corner proposal. Exercises are solved in the notes, to elucidate the arguments exposed.


title: Novel Approach to Structural Relaxation of Materials in Optically Excited States

abstract: We present a first-principles method for relaxing a material's geometry in an optically excited state. This method, based on the Bethe-Salpeter equation, consists of solving coupled equations for exciton wavefunctions and atomic displacements. Our approach allows for structural relaxation of excited states to be achieved through a single iteration. As results, one obtains not only energy and wavefunction of the thus modified, i.e. self-trapped, exciton, but also the mechanism of relaxation in terms of atomic displacements in the respective phonon eigenmodes. We demonstrate and evaluate our formalism with the example of the three molecules CO, H$_{2}$O, and NH$_{3}$.


title: On the failure of linearization for germs of $C^1$ hyperbolic vector fields in dimension one

abstract: We investigate conjugacy classes of germs of hyperbolic 1-dimensional vector fields at the origin in low regularity. We show that the classical linearization theorem of Sternberg strongly fails in this setting by providing explicit uncountable families of mutually non-conjugate flows with the same multipliers, where conjugacy is considered in the bi-Lipschitz, $C^1$ and $C^{1+ac}$ settings.


title: Does Big Data Require Complex Systems? A Performance Comparison Between Spark and Unicage Shell Scripts

abstract: The paradigm of big data is characterized by the need to collect and process data sets of great volume, arriving at the systems with great velocity, in a variety of formats. Spark is a widely used big data processing system that can be integrated with Hadoop to provide powerful abstractions to developers, such as distributed storage through HDFS and resource management through YARN. When all the required configurations are made, Spark can also provide quality attributes, such as scalability, fault tolerance, and security. However, all of these benefits come at the cost of complexity, with high memory requirements, and additional latency in processing. An alternative approach is to use a lean software stack, like Unicage, that delegates most control back to the developer. In this work we evaluated the performance of big data processing with Spark versus Unicage, in a cluster environment hosted in the IBM Cloud. Two sets of experiments were performed: batch processing of unstructured data sets, and query processing of structured data sets. The input data sets were of significant size, ranging from 64 GB to 8192 GB in volume. The results show that the performance of Unicage scripts is superior to Spark for search workloads like grep and select, but that the abstractions of distributed storage and resource management from the Hadoop stack enable Spark to execute workloads with inter-record dependencies, such as sort and join, with correct outputs.


title: On the Finkelberg-Ginzburg Mirabolic Monodromy Conjecture

abstract: We compute the monodromy of the mirabolic Harish-Chandra D-module for all values of the parameters (theta,c) in rank 1, and outside an explicit codimension 2 set of values in ranks 2 and higher. This shows in particular that the Finkelberg-Ginzburg conjecture, which is known to hold for generic values of (theta,c), fails at special values even in rank 1. Our main tools are Opdam's shift operators and intertwiners for the extended affine Weyl group, which allow for the resolution of resonances outside the codimension two set.


title: Why adiabatic quantum annealing is unlikely to yield speed-up

abstract: We study quantum annealing for combinatorial optimization with Hamiltonian $H = z H_f + H_0$ where $H_f$ is diagonal, $H_0=-|\phi \rangle \langle \phi|$ is the equal superposition state projector and $z$ the annealing parameter. We analytically compute the minimal spectral gap as $\mathcal{O}(1/\sqrt{N})$ with $N$ the total number of states and its location $z_*$. We show that quantum speed-up requires an annealing schedule which demands a precise knowledge of $z_*$, which can be computed only if the density of states of the optimization problem is known. However, in general the density of states is intractable to compute, making quadratic speed-up unfeasible for any practical combinatoric optimization problems. We conjecture that it is likely that this negative result also applies for any other instance independent transverse Hamiltonians such as $H_0 = -\sum_{i=1}^n \sigma_i^x$.


title: Sharp uniqueness and stability of solution for an inverse source problem for the Schr\"odinger equation

abstract: The manuscript is concerned with uniqueness and stability for inverse source problem of determining spatially varying factor $f(x)$ of a source term given by $R(t)f(x)$ with suitable given $R(t)$ in the right hand side of the Schr\"odinger equation with time independent coefficients. In order to establish these results we provide a simple proof of a logarithmic conditional stability of the Cauchy problem for the Schr\"odinger equation with time-independent coefficients and the zero Dirichlet boundary conditions on the whole boundary and a proof of uniqueness of solution to the Cauchy problem for the Schr\"odinger equation with data on an arbitrary small part of a lateral boundary. We do not assume any geometrical constraints on subboundary and a time interval is arbitrary. The key is an integral transform, with a kernel solving a null controllability problem for the 1-D Schr\"odinger, which changes a solution of the Schr\"odinger equation to a solution of an elliptic equation.


title: Predictive Precoder Design for OTFS-Enabled URLLC: A Deep Learning Approach

abstract: This paper investigates the orthogonal time frequency space (OTFS) transmission for enabling ultra-reliable low-latency communications (URLLC). To guarantee excellent reliability performance, pragmatic precoder design is an effective and indispensable solution. However, the design requires accurate instantaneous channel state information at the transmitter (ICSIT) which is not always available in practice. Motivated by this, we adopt a deep learning (DL) approach to exploit implicit features from estimated historical delay-Doppler domain channels (DDCs) to directly predict the precoder to be adopted in the next time frame for minimizing the frame error rate (FER), that can further improve the system reliability without the acquisition of ICSIT. To this end, we first establish a predictive transmission protocol and formulate a general problem for the precoder design where a closed-form theoretical FER expression is derived serving as the objective function to characterize the system reliability. Then, we propose a DL-based predictive precoder design framework which exploits an unsupervised learning mechanism to improve the practicability of the proposed scheme. As a realization of the proposed framework, we design a DDCs-aware convolutional long short-term memory (CLSTM) network for the precoder design, where both the convolutional neural network and LSTM modules are adopted to facilitate the spatial-temporal feature extraction from the estimated historical DDCs to further enhance the precoder performance. Simulation results demonstrate that the proposed scheme facilitates a flexible reliability-latency tradeoff and achieves an excellent FER performance that approaches the lower bound obtained by a genie-aided benchmark requiring perfect ICSI at both the transmitter and receiver.


title: Fiber-based photon pair generation: a tutorial

abstract: The purpose of this tutorial paper is to present a broad overview of photon-pair generation through the spontaneous four wave mixing (SFWM) process in optical fibers. Progress in optical fiber technology means that today we have at our disposal a wide variety of types of fiber, which together with the fact that SFWM uses two pump fields, implies a truly remarkable versatility in the resulting possible photon-pair properties. We discuss how the interplay of the frequency, transverse mode, and polarization degrees of freedom, the first linked to the latter two through fiber dispersion, leads to interesting entanglement properties both in individual degrees of freedom and also permitting hybrid and hyper entanglement in combinations of degrees of freedom. This tutorial covers methods for photon pair factorability, frequency tunability, and SFWM bandwidth control, the effect of frequency non-degenerate and counter-propagating pumps, as well methods for characterizing photon pairs generated in optical fibers.


title: Taming the 11D pure spinor b-ghost

abstract: We provide an alternative compact expression for the 11D pure spinor b-ghost by introducing a new set of negative ghost number operators made out of non-minimal pure spinor variables. Using the algebraic properties satisfied by these operators, it will be straightforwardly shown that $\{Q, b\}={P^2\over 2}$, as well as $\{b,b\} = Q\Omega$. As an application of this novel formulation, the ghost number two vertex operator will easily be obtained in a completely covariant manner from a standard descent relation, the ghost number three vertex operator will be shown to satisfy the generalized Siegel gauge condition, and the 11D supergravity two-particle superfield will be constructed in a quite simple way.


title: Large-scale single-photon imaging

abstract: Benefiting from its single-photon sensitivity, single-photon avalanche diode (SPAD) array has been widely applied in various fields such as fluorescence lifetime imaging and quantum computing. However, large-scale high-fidelity single-photon imaging remains a big challenge, due to the complex hardware manufacture craft and heavy noise disturbance of SPAD arrays. In this work, we introduce deep learning into SPAD, enabling super-resolution single-photon imaging over an order of magnitude, with significant enhancement of bit depth and imaging quality. We first studied the complex photon flow model of SPAD electronics to accurately characterize multiple physical noise sources, and collected a real SPAD image dataset (64 $\times$ 32 pixels, 90 scenes, 10 different bit depth, 3 different illumination flux, 2790 images in total) to calibrate noise model parameters. With this real-world physical noise model, we for the first time synthesized a large-scale realistic single-photon image dataset (image pairs of 5 different resolutions with maximum megapixels, 17250 scenes, 10 different bit depth, 3 different illumination flux, 2.6 million images in total) for subsequent network training. To tackle the severe super-resolution challenge of SPAD inputs with low bit depth, low resolution, and heavy noise, we further built a deep transformer network with a content-adaptive self-attention mechanism and gated fusion modules, which can dig global contextual features to remove multi-source noise and extract full-frequency details. We applied the technique on a series of experiments including macroscopic and microscopic imaging, microfluidic inspection, and Fourier ptychography. The experiments validate the technique's state-of-the-art super-resolution SPAD imaging performance, with more than 5 dB superiority on PSNR compared to the existing methods.


title: Electric-Gas Infrastructure Planning for Deep Decarbonization of Energy Systems

abstract: The transition to a deeply decarbonized energy system requires coordinated planning of infrastructure investments and operations serving multiple end-uses while considering technology and policy-enabled interactions across sectors. Electricity and natural gas (NG), which are vital vectors of today's energy system, are likely to be coupled in different ways in the future, resulting from increasing electrification, adoption of variable renewable energy (VRE) generation in the power sector and policy factors such as cross-sectoral emissions trading. This paper develops a least-cost investment and operations model for joint planning of electricity and NG infrastructures that considers a wide range of available and emerging technology options across the two vectors, including carbon capture and storage (CCS) equipped power generation, low-carbon drop-in fuels (LCDF) as well as long-duration energy storage (LDES). The model incorporates the main operational constraints of both systems and allows each system to operate under different temporal resolutions consistent with their typical scheduling timescales. We apply the modeling framework to evaluate power-NG system outcomes for the U.S. New England region under different technology, decarbonization goals, and demand scenarios. Under a global emissions constraint, ranging between 80-95\% emissions reduction compared to 1990 levels, the least-cost solution disproportionately relies on using the available emissions budget to serve non-power NG demand and results in the power sector using only 15-43\% of the emissions budget.


title: Smart meter data processing: a showcase for simple and efficient textual processing

abstract: The increase in the production and collection of data from devices is an ongoing trend due to the roll-out of more cyber-physical applications. Smart meters, because of their importance in power grids, are a class of such devices whose produced data requires meticulous processing. In this paper, we use Unicage, a data processing system based on classic Unix shell scripting, that delivers excellent performance in a simple package. We use this methodology to process smart meter data in XML format, subjected to the constraints posed by a real use case. We develop a solution that parses, validates and performs a simple aggregation of 27 million XML files in less than 10 minutes. We present a study of the solution as well as the benefits of its adoption.


title: BioSFQ circuit family for neuromorphic computing: Bridging digital and analog domains of superconductor technologies

abstract: Superconductor single flux quantum (SFQ) technology is attractive for neuromorphic computing due to low energy dissipation and high, potentially up to 100 GHz, clock rates. We have recently suggested a new family of bioSFQ circuits (V.K. Semenov et al., IEEE TAS, vol. 32, no. 4, 1400105, 2022) where information is stored as a value of current in a superconducting loop and transferred as a rate of SFQ pulses propagating between the loops. This approach, in the simplest case dealing with positive numbers, requires single-line transfer channels. In the more general case of bipolar numbers, it requires dual-rail transfer channels. To address this need, we have developed a new comparator with a dual-rail output. This comparator is an essential part of a bipolar multiplier that has been designed, fabricated, and tested. We discuss bioSFQ circuits for implementing an analog bipolar divide operation $Y/X$ and a square root operation $X^{1/2}$. We discuss strategic advantages of the suggested bioSFQ approach, e.g., an inherently asynchronous character of bioSFQ cells which do not require explicit clock signals. As a result, bioSFQ circuits are free of racing errors and tolerant to occasional collision of propagating SFQ pulses. This tolerance is due to stochastic nature of data signals generated by comparators operating within their gray zone. The circuits were fabricated in the eight-niobium-layer fabrication process SFQ5ee developed for superconductor electronics at MIT Lincoln Laboratory.


title: A remark on the Lagrangian formulation of optimal transport with a non-convex cost

abstract: We study the Lagrangian formulation of a class of the Monge-Kantorovich optimal transportation problem. It can be considered a stochastic optimal transportation problem for absolutely continuous stochastic processes. A cost function and stochastic processes under consideration is not convex and have essentially bounded time derivatives almost surely, respectively. This paper is a continuation of the second author's master thesis.


title: Latent Discretization for Continuous-time Sequence Compression

abstract: Neural compression offers a domain-agnostic approach to creating codecs for lossy or lossless compression via deep generative models. For sequence compression, however, most deep sequence models have costs that scale with the sequence length rather than the sequence complexity. In this work, we instead treat data sequences as observations from an underlying continuous-time process and learn how to efficiently discretize while retaining information about the full sequence. As a consequence of decoupling sequential information from its temporal discretization, our approach allows for greater compression rates and smaller computational complexity. Moreover, the continuous-time approach naturally allows us to decode at different time intervals. We empirically verify our approach on multiple domains involving compression of video and motion capture sequences, showing that our approaches can automatically achieve reductions in bit rates by learning how to discretize.


title: NeMo: 3D Neural Motion Fields from Multiple Video Instances of the Same Action

abstract: The task of reconstructing 3D human motion has wideranging applications. The gold standard Motion capture (MoCap) systems are accurate but inaccessible to the general public due to their cost, hardware and space constraints. In contrast, monocular human mesh recovery (HMR) methods are much more accessible than MoCap as they take single-view videos as inputs. Replacing the multi-view Mo- Cap systems with a monocular HMR method would break the current barriers to collecting accurate 3D motion thus making exciting applications like motion analysis and motiondriven animation accessible to the general public. However, performance of existing HMR methods degrade when the video contains challenging and dynamic motion that is not in existing MoCap datasets used for training. This reduces its appeal as dynamic motion is frequently the target in 3D motion recovery in the aforementioned applications. Our study aims to bridge the gap between monocular HMR and multi-view MoCap systems by leveraging information shared across multiple video instances of the same action. We introduce the Neural Motion (NeMo) field. It is optimized to represent the underlying 3D motions across a set of videos of the same action. Empirically, we show that NeMo can recover 3D motion in sports using videos from the Penn Action dataset, where NeMo outperforms existing HMR methods in terms of 2D keypoint detection. To further validate NeMo using 3D metrics, we collected a small MoCap dataset mimicking actions in Penn Action,and show that NeMo achieves better 3D reconstruction compared to various baselines.


title: Cost-minimization predictive energy management of a postal-delivery fuel cell electric vehicle with intelligent battery State-of-Charge Planner

abstract: Fuel cell electric vehicles have earned substantial attentions in recent decades due to their high-efficiency and zero-emission features, while the high operating costs remain the major barrier towards their large-scale commercialization. In such context, this paper aims to devise an energy management strategy for an urban postal-delivery fuel cell electric vehicle for operating cost mitigation. First, a data-driven dual-loop spatial-domain battery state-of-charge reference estimator is designed to guide battery energy depletion, which is trained by real-world driving data collected in postal delivery missions. Then, a fuzzy C-means clustering enhanced Markov speed predictor is constructed to project the upcoming velocity. Lastly, combining the state-of-charge reference and the forecasted speed, a model predictive control-based cost-optimization energy management strategy is established to mitigate vehicle operating costs imposed by energy consumption and power-source degradations. Validation results have shown that 1) the proposed strategy could mitigate the operating cost by 4.43% and 7.30% in average versus benchmark strategies, denoting its superiority in term of cost-reduction and 2) the computation burden per step of the proposed strategy is averaged at 0.123ms, less than the sampling time interval 1s, proving its potential of real-time applications.


title: On high Taylor number Taylor vortices

abstract: Axisymmetric steady solutions of Taylor-Couette flow at high Taylor numbers are studied numerically and theoretically. As the axial period of the solution shortens from about one gap length, the Nusselt number goes through two peaks before returning to laminar flow. In this process, the asymptotic nature of the solution changes in four stages, as revealed by the asymptotic analysis. When the aspect ratio of the roll cell is about unity, the solution captures quantitatively the characteristics of the classical turbulence regime. Theoretically, the Nusselt number of the solution is proportional to the quarter power of the Taylor number. The maximised Nusselt number obtained by shortening the axial period can reach the experimental value around the onset of the ultimate turbulence regime, although at higher Taylor numbers the theoretical predictions eventually underestimate the experimental values. An important consequence of the asymptotic analyses is that the mean angular momentum should become uniform in the core region unless the axial wavelength is too short. The theoretical scaling laws deduced for the steady solutions can be carried over to Rayleigh-B\'enard convection.


title: Review: Simulational Tests of the Rouse Model

abstract: The file is a Chapter from my review volume "Polymer Physics: Phenomenology of Polymeric Fluid Simulations". The chapter treats literature tests of the Rouse model, which is widely invoked as a description of polymer motion in melts. In summary: The literature conclusively demonstrates that the Rouse model does not describe polymer motion in melts. Simulations find that the temporal autocorrelation function of a single Rouse amplitude is a stretched exponential in time, not the pure exponential predicted by the Rouse model. Also, the mean-square amplitude of the Rouse modes <(X_p (0) X_p (0) > deviates from the model's prediction, at least for p > 3. Furthermore, the relaxation time of <(X_p (0) X_p (t) > depends on p, but not as predicted by the Rouse model. According to the Rouse model, bead displacements are driven by independent Gaussian random processes. Accordingly, the intermediate structure factor g(q,t) is predicted to be accurately described by the Gaussian approximation. Doob's theorem then guarantees that g(q,t) decays as a single exponential in time. Simulations show that these predictions of the Rouse model are incorrect.


title: Measurement of radon emanation and impurity adsorption from argon gas using ultralow radioactive zeolite

abstract: The amount of radioactive impurities contaminated in the detector gases is required to be kept at a very low level for rare event particle physics such as dark matter and neutrino observation experiments. Zeolite is a well-known class of materials and is one of the possible candidates for removing impurities from these gases. At the same time, the amount of radioactive impurities released from the adsorbent material needs to be sufficiently small. In this paper, a development of a new ultralow radioactive zeolite as a product of the selection of ultralow radioactive materials is reported. Results on the radon emanation and impurity adsorption from argon gas measurements are also described.


title: Sharp depletion of radial distribution function of particles due to collision and coagulation inside turbulent flow

abstract: We perform direct numerical simulation (DNS) to study the clustering of small, heavy, monodisperse particles subject to collision-coagulation in turbulent flow (i.e., colliding particles always coagulate (coalesce) into large ones). We find that collision-coagulation causes the radial distribution function (RDF) of the particles to decrease strongly at particle separation distances $r$ close to the particle diameter $d$. However, the RDF do not decrease indefinitely but approach a finite value in the limit of $r\to d$. We study how the characteristics of this "depletion zone" relate to the particle Stokes number (St), particle diameter, and the Reynolds number of the turbulent flow. A collision-induced modulation factor $\gamma_{c}$ is defined to represent the degree of RDF depletion due to collisions-coagulation. In the region where $\gamma_c(r)$ is a quasi-power-law, the corresponding power-law exponent $\tilde{c}_1$ only depends weakly on $St$. The overall trend of $\tilde{c}_1$ with respect to $St$ is similar to that of the classical power-law exponent $c_{1}$ appearing in the RDF of non-colliding particles, i.e., the exponent increase at small $St$, peak around $St \approx 0.7$, and decrease thereafter. The same qualitative trend is also observed for the limiting values of $\gamma_c$ at $r\to d$. A complementary investigation on the Stokes number trend of the full RDF in the depletion zone is conducted. The slope of RDF appears constant for $St\ll1$ but is changing when $St$ is getting large. The position where the RDF starts to decrease is found to be $St$-dependent. The depletion zone is insensitive to the flow Reynolds number and $\gamma_c$ of different $Re_{\lambda}$ overlap. With changing particle diameter $d$, the reduction of RDF occurs at scales that shift accordingly and always starts at around $2.4d-3d$. The shape of $\gamma_c(r)$ is independent of changes in $d$.


title: Reconfigurable Holographic Surface: A New Paradigm to Implement Holographic Radio

abstract: Ultra-massive multiple-input multiple-output (MIMO) is one of the key enablers in the forthcoming 6G networks to provide high-speed data services by exploiting spatial diversity. In this article, we consider a new paradigm termed holographic radio for ultra-massive MIMO, where numerous tiny and inexpensive antenna elements are integrated to realize high directive gain with low hardware cost. We propose a practical way to enable holographic radio by a novel metasurface-based antenna, i.e., reconfigurable holographic surface (RHS). Specifically, RHSs incorporating densely packed tunable metamaterial elements are capable of holographic beamforming. Based on the working principle and hardware design of RHSs, we conduct full-wave analyses of RHSs and build an RHS-aided point-to-point communication platform supporting real-time data transmission. Both simulated and experimental results show that the RHS has great potential to achieve high directive gain with a limited size, thereby substantiating the feasibility of RHS-enabled holographic radio. Moreover, future research directions for RHS-enabled holographic radio are also discussed.