title: Microstructure Characterization and Reconstruction in Python: MCRpy

abstract: Microstructure characterization and reconstruction (MCR) is an important prerequisite for empowering and accelerating integrated computational materials engineering. Much progress has been made in MCR recently, however, in absence of a flexible software platform it is difficult to use ideas from other researchers and to develop them further. To address this issue, this work presents MCRpy for easy-to-use, extensible and flexible MCR. The software platform that can be used as a program with graphical user interface, as a command line tool and as a Python library. The central idea is that microstructure reconstruction is formulated as a modular and extensible optimization problem. In this way, any descriptors can be used for characterization and any loss function combining any descriptors can be minimized using any optimizer for reconstruction. With stochastic optimizers, this leads to variations of the well-known Yeong-Torquato algorithm. Furthermore, MCRpy features automatic differentiation, enabling the utilization of gradient-based optimizers. In this work, after a brief introduction to the underlying concepts, the capabilities of MCRpy are demonstrated by exemplarily applying it to typical MCR tasks. Finally, it is shown how to extend MCRpy by defining a new microstructure descriptor and readily using it for reconstruction without additional implementation effort.


title: Millisecond Cadence Radio Frequency Interference Filters

abstract: Radio Frequency Interference (RFI) greatly reduces sensitivity of radio observations to astrophysical signals and creates false positive candidates in searches for radio transients. Real signals are missed while considerable computational and human resources are needed to remove RFI candidates. In the context of transient astrophysics, this makes effective RFI removal vital to effective searches for fast radio bursts and pulsars. Radio telescopes typically sample at rates that are high enough for there to be tens to hundreds of samples along the transient's pulse. Mitigation techniques should excise RFI on this timescale to account for a changing radio frequency environment. We evaluate the effectiveness of three filters, as well as a composite of the three, that excises RFI at the cadence that the data are recorded. Each of these filters operates in a different domain and thus excises as a different RFI morphology. We analyze the performance of these four filters in three different situations: (I) synthetic pulses in Gaussian noise; (II) synthetic pulses injected into real data; (III) four pulsar observations. From these tests, we gain insight into how the filters affect both the pulse and the noise level. This allows use to outline which and how the filters should be used based on the RFI present and the characteristics of the source signal. We show by flagging a small percentage of the spectrum we can substantially improve the quality of transit observations.


title: TUJU21: nuclear PDFs with electroweak-boson data at NNLO

abstract: Nuclear parton distribution functions (nPDFs) can be determined in a global QCD analysis using a wide range of experimental data. In addition to older fixed-target deep inelastic scattering and Drell-Yan (DY) dilepton production data, several analyses from p+Pb collisions at the LHC provide further constraints and extend the kinematic reach of applicable data. Here we present an update of our previous TUJU19 analysis where we now include also electroweak-boson production data recently measured by ATLAS and CMS. For the first time, LHC data are included in a nPDF analysis performed at next-to-next-to-leading order (NNLO) in perturbative QCD. As before, our setup is based on the open-source analysis framework xFitter and we fit our own proton baseline, ensuring a fully consistent setup. We find good agreement with the applied data and that the resulting $\chi^2/N_{\mathrm{df}}$ is significantly smaller in case of the NNLO analysis (0.84) compared to our NLO analysis (0.94). Also, we present comparisons between our NNLO calculations and electroweak-boson production data in Pb+Pb collisions from ATLAS and CMS and DY data recently measured by CMS where NNLO corrections are found significant.


title: Personalizing Federated Medical Image Segmentation via Local Calibration

abstract: Medical image segmentation under federated learning (FL) is a promising direction by allowing multiple clinical sites to collaboratively learn a global model without centralizing datasets. However, using a single model to adapt to various data distributions from different sites is extremely challenging. Personalized FL tackles this issue by only utilizing partial model parameters shared from global server, while keeping the rest to adapt to its own data distribution in the local training of each site. However, most existing methods concentrate on the partial parameter splitting, while do not consider the \textit{inter-site in-consistencies} during the local training, which in fact can facilitate the knowledge communication over sites to benefit the model learning for improving the local accuracy. In this paper, we propose a personalized federated framework with \textbf{L}ocal \textbf{C}alibration (LC-Fed), to leverage the inter-site in-consistencies in both \textit{feature- and prediction- levels} to boost the segmentation. Concretely, as each local site has its alternative attention on the various features, we first design the contrastive site embedding coupled with channel selection operation to calibrate the encoded features. Moreover, we propose to exploit the knowledge of prediction-level in-consistency to guide the personalized modeling on the ambiguous regions, e.g., anatomical boundaries. It is achieved by computing a disagreement-aware map to calibrate the prediction. Effectiveness of our method has been verified on three medical image segmentation tasks with different modalities, where our method consistently shows superior performance to the state-of-the-art personalized FL methods. Code is available at https://github.com/jcwang123/FedLC.


title: Topic-Grained Text Representation-based Model for Document Retrieval

abstract: Document retrieval enables users to find their required documents accurately and quickly. To satisfy the requirement of retrieval efficiency, prevalent deep neural methods adopt a representation-based matching paradigm, which saves online matching time by pre-storing document representations offline. However, the above paradigm consumes vast local storage space, especially when storing the document as word-grained representations. To tackle this, we present TGTR, a Topic-Grained Text Representation-based Model for document retrieval. Following the representation-based matching paradigm, TGTR stores the document representations offline to ensure retrieval efficiency, whereas it significantly reduces the storage requirements by using novel topicgrained representations rather than traditional word-grained. Experimental results demonstrate that compared to word-grained baselines, TGTR is consistently competitive with them on TREC CAR and MS MARCO in terms of retrieval accuracy, but it requires less than 1/10 of the storage space required by them. Moreover, TGTR overwhelmingly surpasses global-grained baselines in terms of retrieval accuracy.


title: Local well-posedness for the Zakharov-Kuznetsov equation in Sobolev spaces

abstract: The initial value problem for two-dimensional Zakharov-Kuznetsov equation on periodic boundary setting is shown to be locally well-posed in the cylinder for 9/10 < s < 1. We prove this theorem by using bilinear estimates thinking separetely the first variable and the second variable of space.


title: Automatic Quantization for Physics-Based Simulation

abstract: Quantization has proven effective in high-resolution and large-scale simulations, which benefit from bit-level memory saving. However, identifying a quantization scheme that meets the requirement of both precision and memory efficiency requires trial and error. In this paper, we propose a novel framework to allow users to obtain a quantization scheme by simply specifying either an error bound or a memory compression rate. Based on the error propagation theory, our method takes advantage of auto-diff to estimate the contributions of each quantization operation to the total error. We formulate the task as a constrained optimization problem, which can be efficiently solved with analytical formulas derived for the linearized objective function. Our workflow extends the Taichi compiler and introduces dithering to improve the precision of quantized simulations. We demonstrate the generality and efficiency of our method via several challenging examples of physics-based simulation, which achieves up to 2.5x memory compression without noticeable degradation of visual quality in the results. Our code and data are available at https://github.com/Hanke98/AutoQuantizer.


title: Speaker consistency loss and step-wise optimization for semi-supervised joint training of TTS and ASR using unpaired text data

abstract: In this paper, we investigate the semi-supervised joint training of text to speech (TTS) and automatic speech recognition (ASR), where a small amount of paired data and a large amount of unpaired text data are available. Conventional studies form a cycle called the TTS-ASR pipeline, where the multispeaker TTS model synthesizes speech from text with a reference speech and the ASR model reconstructs the text from the synthesized speech, after which both models are trained with a cycle-consistency loss. However, the synthesized speech does not reflect the speaker characteristics of the reference speech and the synthesized speech becomes overly easy for the ASR model to recognize after training. This not only decreases the TTS model quality but also limits the ASR model improvement. To solve this problem, we propose improving the cycleconsistency-based training with a speaker consistency loss and step-wise optimization. The speaker consistency loss brings the speaker characteristics of the synthesized speech closer to that of the reference speech. In the step-wise optimization, we first freeze the parameter of the TTS model before both models are trained to avoid over-adaptation of the TTS model to the ASR model. Experimental results demonstrate the efficacy of the proposed method.


title: SummScore: A Comprehensive Evaluation Metric for Summary Quality Based on Cross-Encoder

abstract: Text summarization models are often trained to produce summaries that meet human quality requirements. However, the existing evaluation metrics for summary text are only rough proxies for summary quality, suffering from low correlation with human scoring and inhibition of summary diversity. To solve these problems, we propose SummScore, a comprehensive metric for summary quality evaluation based on CrossEncoder. Firstly, by adopting the original-summary measurement mode and comparing the semantics of the original text, SummScore gets rid of the inhibition of summary diversity. With the help of the text-matching pre-training Cross-Encoder, SummScore can effectively capture the subtle differences between the semantics of summaries. Secondly, to improve the comprehensiveness and interpretability, SummScore consists of four fine-grained submodels, which measure Coherence, Consistency, Fluency, and Relevance separately. We use semi-supervised multi-rounds of training to improve the performance of our model on extremely limited annotated data. Extensive experiments show that SummScore significantly outperforms existing evaluation metrics in the above four dimensions in correlation with human scoring. We also provide the quality evaluation results of SummScore on 16 mainstream summarization models for later research.


title: Investigation of Rocket Effect in Bright-Rimmed Clouds using Gaia EDR3

abstract: Bright-rimmed clouds (BRCs) are excellent laboratories to explore the radiation-driven implosion mode of star formation because they show evidence of triggered star formation. In our previous study, BRC 18 has been found to accelerate away from the direction of the ionizing Hii region because of the well known "Rocket Effect". Based on the assumption that both BRC 18 and the candidate young stellar objects (YSOs) are kinematically coupled and using the latest Gaia EDR3 measurements, we found that the relative proper motions of the candidate YSOs exhibit a tendency of moving away from the ionizing source. Using BRC 18 as a prototype, we made our further analysis for 21 more BRCs, a majority of which showed a similar trend. For most of the BRCs, the median angle of the relative proper motion of the candidate YSOs is similar to the angle of on-sky direction from the ionizing source to the central IRAS source of the BRC. Based on Pearson's and Spearman's correlation coefficients, we found a strong correlation between these two angles, which is further supported by the Kolmogorov-Smirnov (K-S) test on them. The strong correlation between these two angles supports the "Rocket Effect" in the BRCs on the plane-of-sky.


title: An extremal problem for the Bergman kernel of orthogonal polynomials

abstract: Let $\Gamma \subset \mathbb C$ be a curve of class $C(2,\alpha)$. For $z_{0}$ in the unbounded component of ${\mathbb C}\setminus \Gamma$, and for $n=1,2,...$, let $\nu_n$ be a probability measure with supp$(\nu_{n})\subset \Gamma$ which minimizes the Bergman function $B_{n}(\nu,z):=\sum_{k=0}^{n}|q_{k}^{\nu}(z)|^{2}$ at $z_{0}$ among all probability measures $\nu$ on $\Gamma$ (here, $\{q_{0}^{\nu},\ldots,q_{n}^{\nu}\}$ are an orthonormal basis in $L^2(\nu)$ for the holomorphic polynomials of degree at most $n$). We show that $\{\nu_{n}\}_n$ tends weak-* to $\hat\delta_{z_{0}}$, the balayage of the point mass at $z_0$ onto $\Gamma$, by relating this to an optimization problem for probability measures on the unit circle. Our proof makes use of estimates for Faber polynomials associated to $\Gamma$.


title: An Ultra-low Power TinyML System for Real-time Visual Processing at Edge

abstract: Tiny machine learning (TinyML), executing AI workloads on resource and power strictly restricted systems, is an important and challenging topic. This brief firstly presents an extremely tiny backbone to construct high efficiency CNN models for various visual tasks. Then, a specially designed neural co-processor (NCP) is interconnected with MCU to build an ultra-low power TinyML system, which stores all features and weights on chip and completely removes both of latency and power consumption in off-chip memory access. Furthermore, an application specific instruction-set is further presented for realizing agile development and rapid deployment. Extensive experiments demonstrate that the proposed TinyML system based on our model, NCP and instruction set yields considerable accuracy and achieves a record ultra-low power of 160mW while implementing object detection and recognition at 30FPS. The demo video is available on \url{https://www.youtube.com/watch?v=mIZPxtJ-9EY}.


title: Robust finite element discretization and solvers for distributed elliptic optimal control problems

abstract: We consider standard tracking-type, distributed elliptic optimal control problems with $L^2$ regularization, and their finite element discretization. We are investigating the $L^2$ error between the finite element approximation $u_{\varrho h}$ of the state $u_\varrho$ and the desired state (target) $\bar{u}$ in terms of the regularization parameter $\varrho$ and the mesh size $h$ that leads to the optimal choice $\varrho = h^4$. It turns out that, for this choice of the regularization parameter, we can devise simple Jacobi-like preconditioned MINRES or Bramble-Pasciak CG methods that allow us to solve the reduced discrete optimality system in asymptotically optimal complexity with respect to the arithmetical operations and memory demand. The theoretical results are confirmed by several benchmark problems with targets of various regularities including discontinuous targets.


title: Prikry-type forcings after collapsing a huge cardinal

abstract: Some models of combinatorial principles have been obtained by collapsing a huge cardinal in the case of the successors of regular cardinals. For example, saturated ideals, Chang's conjecture, polarized partition relations, and transfer principles for chromatic numbers of graphs. In this paper, we study these in the case of the successors of singular cardinals. In particular, we show that Prikry forcing preserves the centeredness of ideals but kills the layeredness. We also study $\binom{\mu^{++}}{\mu^{+}}\to\binom{\kappa}{\mu^{+}}_{\mu}$ and $\mathrm{Tr}_{\mathrm{Chr}}(\mu^{+++},\mu^{+})$ in the extension by Prikry forcing at $\mu$.


title: Improved bounds on the gain coefficients for digital nets in prime power base

abstract: We study randomized quasi-Monte Carlo integration by scrambled nets. The scrambled net quadrature has long gained its popularity because it is an unbiased estimator of the true integral, allows for a practical error estimation, achieves a high order decay of the variance for smooth functions, and works even for $L^p$-functions with any $p\geq 1$. The variance of the scrambled net quadrature for $L^2$-functions can be evaluated through the set of the so-called gain coefficients. In this paper, based on the system of Walsh functions and the concept of dual nets, we provide improved upper bounds on the gain coefficients for digital nets in general prime power base. Our results explain the known bound by Owen (1997) for Faure sequences, the recently improved bound by Pan and Owen (2021) for digital nets in base 2 (including Sobol' sequences as a special case), and their finding that all the nonzero gain coefficients for digital nets in base 2 must be powers of two, all in a unified way.


title: Heat and Martin kernel estimates for Schr\"{o}dinger operators with critical Hardy potentials

abstract: Let $\Omega$ be a bounded domain in $\mathbb{R}^N$ with $C^2$ boundary and let $K\subset\partial\Omega$ be either a $C^2$ submanifold of the boundary of codimension $k<N$ or a point. In this article we study various problems related to the Schr\"odinger operator $L_{\mu} =-\Delta - \mu d_K^{-2}$ where $d_K$ denotes the distance to $K$ and $\mu\leq k^2/4$. We establish parabolic boundary Harnack inequalities as well as related two-sided heat kernel and Green function estimates. We construct the associated Martin kernel and prove existence and uniqueness for the corresponding boundary value problem with data given by measures. Next we apply the results to the study of $L_\mu u+g(u) = 0$ and establish existence and uniqueness under suitable assumptions on the function $g$. To prove our results we introduce among other things a suitable notion of boundary trace. This trace is different from the one used by Marcus and Nguyen \cite{MT} thus allowing us to cover the whole range $\mu\leq k^2/4$.


title: A Secure Fingerprinting Framework for Distributed Image Classification

abstract: The deep learning (DL) technology has been widely used for image classification in many scenarios, e.g., face recognition and suspect tracking. Such a highly commercialized application has given rise to intellectual property protection of its DL model. To combat that, the mainstream method is to embed a unique watermark into the target model during the training process. However, existing efforts focus on detecting copyright infringement for a given model, while rarely consider the problem of traitors tracking. Moreover, the watermark embedding process can incur privacy issues for the training data in a distributed manner. In this paper, we propose SECUREMARK-DL, a novel fingerprinting framework to address the above two problems in a distributed learning environment. It embeds a unique fingerprint into the target model for each customer, which can be extracted and verified from any suspicious model once a dispute arises. In addition, it adopts a new privacy partitioning technique in the training process to protect the training data privacy. Extensive experiments demonstrate the robustness of SECUREMARK-DL against various attacks, and its high classification accuracy (> 95%) even if a long-bit (304-bit) fingerprint is embedded into an input image.


title: Antipodal Angular Correlations of Inflationary Stochastic Gravitational Wave Background

abstract: The measurement of the inflationary stochastic gravitational-wave background (SGWB) is one of the main goals of future GW experiments. In direct GW experiments, an obstacle to achieving it is the isolation of the inflationary SGWB from the other types of SGWB. In this paper, as a distinguishable signature of the inflationary SGWB, we argue the detectability of its universal property: antipodal correlations, i.e., correlations of GWs from the opposite directions, as a consequence of the horizon re-entry. A phase-coherent method has been known to be of no use for detecting the angular correlations in SGWB due to a problematic phase factor that erases the signal. We thus investigate whether we can construct a phase-incoherent estimator of the antipodal correlations in the intensity map. We found that the conclusion depends on whether the inflationary GWs have statistical isotropy or not. In the standard inflationary models with statistical homogeneity and isotropy, there is no estimator that is sensitive to the antipodal correlations but does not suffer from the problematic phase factor. On the other hand, it is possible to find a non-vanishing estimator of the antipodal correlations for inflationary models with statistical anisotropy. SGWB from anisotropic inflation is distinguishable from the other components.


title: Experimental realization of a high precision tunable hexagonal optical lattice

abstract: Hexagonal optical lattices offer a tunable platform to study exotic orbital physics in solid state materials. Here, we present a versatile high-precision scheme to implement a hexagonal optical lattice potential, which is engineered by overlapping two independent triangular optical sublattices generated by laser beams with slightly different wavelengths around 1064 nm. This enables us to precisely control the detailed structure of the hexagonal lattice by adjusting the relative position and the relative lattice depth of the two triangular optical sublattices. Taking advantage of the sensitive dependence of the second Bloch band on small lattice deformations, we propose a strategy to optimize the optical lattice geometry with an extremely high precision. This method can also be extended to other lattice configurations involving more than two sublattices. Our work provides the experimental requirements in the search for novel orbital physics of ultracold atoms, for example, in the flat $p$-band of the hexagonal optical lattice.


title: Localization of smooth p-power torsion representations of GL_2(Q_p)

abstract: We show that the category of smooth representations of GL_2(Q_p) on p-power torsion modules localizes over a certain projective scheme, and give some applications.


title: No Language Left Behind: Scaling Human-Centered Machine Translation

abstract: Driven by the goal of eradicating language barriers on a global scale, machine translation has solidified itself as a key focus of artificial intelligence research today. However, such efforts have coalesced around a small subset of languages, leaving behind the vast majority of mostly low-resource languages. What does it take to break the 200 language barrier while ensuring safe, high quality results, all while keeping ethical considerations in mind? In No Language Left Behind, we took on this challenge by first contextualizing the need for low-resource language translation support through exploratory interviews with native speakers. Then, we created datasets and models aimed at narrowing the performance gap between low and high-resource languages. More specifically, we developed a conditional compute model based on Sparsely Gated Mixture of Experts that is trained on data obtained with novel and effective data mining techniques tailored for low-resource languages. We propose multiple architectural and training improvements to counteract overfitting while training on thousands of tasks. Critically, we evaluated the performance of over 40,000 different translation directions using a human-translated benchmark, Flores-200, and combined human evaluation with a novel toxicity benchmark covering all languages in Flores-200 to assess translation safety. Our model achieves an improvement of 44% BLEU relative to the previous state-of-the-art, laying important groundwork towards realizing a universal translation system. Finally, we open source all contributions described in this work, accessible at https://github.com/facebookresearch/fairseq/tree/nllb.


title: Learning Spatial and Temporal Variations for 4D Point Cloud Segmentation

abstract: LiDAR-based 3D scene perception is a fundamental and important task for autonomous driving. Most state-of-the-art methods on LiDAR-based 3D recognition tasks focus on single frame 3D point cloud data, and the temporal information is ignored in those methods. We argue that the temporal information across the frames provides crucial knowledge for 3D scene perceptions, especially in the driving scenario. In this paper, we focus on spatial and temporal variations to better explore the temporal information across the 3D frames. We design a temporal variation-aware interpolation module and a temporal voxel-point refiner to capture the temporal variation in the 4D point cloud. The temporal variation-aware interpolation generates local features from the previous and current frames by capturing spatial coherence and temporal variation information. The temporal voxel-point refiner builds a temporal graph on the 3D point cloud sequences and captures the temporal variation with a graph convolution module. The temporal voxel-point refiner also transforms the coarse voxel-level predictions into fine point-level predictions. With our proposed modules, the new network TVSN achieves state-of-the-art performance on SemanticKITTI and SemantiPOSS. Specifically, our method achieves 52.5\% in mIoU (+5.5% against previous best approaches) on the multiple scan segmentation task on SemanticKITTI, and 63.0% on SemanticPOSS (+2.8% against previous best approaches).


title: CAMS: An Annotated Corpus for Causal Analysis of Mental Health Issues in Social Media Posts

abstract: Research community has witnessed substantial growth in the detection of mental health issues and their associated reasons from analysis of social media. We introduce a new dataset for Causal Analysis of Mental health issues in Social media posts (CAMS). Our contributions for causal analysis are two-fold: causal interpretation and causal categorization. We introduce an annotation schema for this task of causal analysis. We demonstrate the efficacy of our schema on two different datasets: (i) crawling and annotating 3155 Reddit posts and (ii) re-annotating the publicly available SDCNL dataset of 1896 instances for interpretable causal analysis. We further combine these into the CAMS dataset and make this resource publicly available along with associated source code: https://github.com/drmuskangarg/CAMS. We present experimental results of models learned from CAMS dataset and demonstrate that a classic Logistic Regression model outperforms the next best (CNN-LSTM) model by 4.9\% accuracy.


title: COO: Comic Onomatopoeia Dataset for Recognizing Arbitrary or Truncated Texts

abstract: Recognizing irregular texts has been a challenging topic in text recognition. To encourage research on this topic, we provide a novel comic onomatopoeia dataset (COO), which consists of onomatopoeia texts in Japanese comics. COO has many arbitrary texts, such as extremely curved, partially shrunk texts, or arbitrarily placed texts. Furthermore, some texts are separated into several parts. Each part is a truncated text and is not meaningful by itself. These parts should be linked to represent the intended meaning. Thus, we propose a novel task that predicts the link between truncated texts. We conduct three tasks to detect the onomatopoeia region and capture its intended meaning: text detection, text recognition, and link prediction. Through extensive experiments, we analyze the characteristics of the COO. Our data and code are available at \url{https://github.com/ku21fan/COO-Comic-Onomatopoeia}.


title: The HCCL System for the NIST SRE21

abstract: This paper describes the systems developed by the HCCL team for the NIST 2021 speaker recognition evaluation (NIST SRE21).We first explore various state-of-the-art speaker embedding extractors combined with a novel circle loss to obtain discriminative deep speaker embeddings. Considering that cross-channel and cross-linguistic speaker recognition are the key challenges of SRE21, we introduce several techniques to reduce the cross-domain mismatch. Specifically, Codec and speech enhancement are directly applied to the raw speech to eliminate the codecs and the environment noise mismatch. We denote the methods that work directly on speech to eliminate the relatively explicit mismatches collectively as data adaptation methods. Experiments show that data adaption methods achieve 15\% improvements over our baseline. Furthermore, some popular back-ends domain adaptation algorithms are deployed on speaker embeddings to alleviate speaker performance degradation caused by the implicit mismatch. Score calibration is a major failure for us in SRE21. The reason is that score calibration with too many parameters easily lead to overfitting problems.


title: Space of solutions of the Ashtekar-Olmedo-Singh effective black hole model

abstract: We consider a general choice of integration constants in the resolution of the dynamical equations derived from a recently proposed effective model that describes black hole spacetimes in the context of loop quantum cosmology. The interest of our analysis is twofold. On the one hand, it allows for a study of the entire space of solutions of the model, which is absent in the literature and is fundamental for understanding the relation with any underlying quantum theory. On the other hand, choices of integration constants that generalize the type of solutions considered so far may lead to exotic behaviors in the effective black hole geometry, as well as modified thermodynamical properties. With these motivations in mind, we discuss the interior and exterior geometries, and present the conditions that a satisfactory matching at the horizons imposes. Then, we turn our attention to the Hawking temperature associated with the black horizon of the model, which we find to be affected by the freedom of choice of integration constants. Finally, we briefly comment on the asymptotic structure of the general solution and compare different notions of mass.


title: The proportion of non-degenerate complementary subspaces in classical spaces

abstract: Given positive integers $e_1,e_2$, let $X_i$ denote the set of $e_i$-dimensional subspaces of a fixed finite vector space $V=(\mathbb{F}_q)^{e_1+e_2}$. Let $Y_i$ be a non-empty subset of $X_i$ and let $\alpha_i=|Y_i|/|X_i|$. We give a positive lower bound, depending only on $\alpha_1,\alpha_2,e_1,e_2,q$, for the proportion of pairs $(S_1,S_2)\in Y_1\times Y_2$ which intersect trivially. As an application, we bound the proportion of pairs of non-degenerate subspaces of complementary dimensions in a finite classical space that intersect trivially. This problem is motivated by an algorithm for recognizing classical groups. By using techniques from algebraic graph theory, we are able to handle orthogonal groups over the field of order 2, a case which had eluded Niemeyer, Praeger, and the first author.


title: Novel Transceiver Design in Wideband Massive MIMO for Beam Squint Minimization

abstract: When using ultra-wideband (UWB) signaling on massive multiple-input multiple-output (mMIMO) systems, the electromagnetic wave at each array element incurs an extra propagation delay comparable to (or larger than) the symbol duration, producing a shift in beam direction known as beam squint. The beam squinting problem degrades the array gain and reduces the system capacity. This letter proposes a novel transceiver design based on lens antenna subarray (LAS) and analog subband filters to compensate for the beam squinting effect. In particular, the proposed design aims to divide the UWB signal into narrowband beams and control them with a simplified exhaustive search-based precoding that is proposed to align the beam angle to the target direction. The design is analyzed in terms of beam gain, complexity, power consumption, and capacity, demonstrating significant performance enhancement with respect to the conventional system with uncompensated beam squinting problem.


title: Towards Scale-Aware, Robust, and Generalizable Unsupervised Monocular Depth Estimation by Integrating IMU Motion Dynamics

abstract: Unsupervised monocular depth and ego-motion estimation has drawn extensive research attention in recent years. Although current methods have reached a high up-to-scale accuracy, they usually fail to learn the true scale metric due to the inherent scale ambiguity from training with monocular sequences. In this work, we tackle this problem and propose DynaDepth, a novel scale-aware framework that integrates information from vision and IMU motion dynamics. Specifically, we first propose an IMU photometric loss and a cross-sensor photometric consistency loss to provide dense supervision and absolute scales. To fully exploit the complementary information from both sensors, we further drive a differentiable camera-centric extended Kalman filter (EKF) to update the IMU preintegrated motions when observing visual measurements. In addition, the EKF formulation enables learning an ego-motion uncertainty measure, which is non-trivial for unsupervised methods. By leveraging IMU during training, DynaDepth not only learns an absolute scale, but also provides a better generalization ability and robustness against vision degradation such as illumination change and moving objects. We validate the effectiveness of DynaDepth by conducting extensive experiments and simulations on the KITTI and Make3D datasets.


title: Mixed topologies on Saks spaces of vector-valued functions

abstract: We study Saks spaces of functions with values in a normed space and the associated mixed topologies. We are interested in properties of such Saks spaces and mixed topologies which are relevant for applications in the theory of bi-continuous semigroups. In particular, we are interested if such Saks spaces are complete, semi-Montel, C-sequential or a (strong) Mackey space with respect to the mixed topology. Further, we consider the question whether the mixed and the submixed topology coincide on such Saks spaces and seek for explicit systems of seminorms that generate the mixed topology.


title: Target space entanglement in quantum mechanics of fermions at finite temperature

abstract: We consider the target space entanglement in quantum mechanics of non-interacting fermions at finite temperature. Unlike pure states investigated in arXiv:2105.13726, the (R\'enyi) entanglement entropy for thermal states does not follow a simple bound because all states in the infinite-dimensional Hilbert space are involved. We investigate a general formula of the target space R\'enyi entropy for $N$ fermions at finite temperature, and present numerical results of the entropy in a one-dimensional model. We also argue the large $N$ behaviors with a comparison to the grand canonical ensemble.


title: Estimating the Future Need of Balancing Power Based on Long-Term Power System Market Simulations

abstract: With increasing penetration of variable renewable energy sources (vRES) and a higher rate of electrification in the society, there will be future challenges in maintaining a continuous balance between electricity supply and demand. To investigate the possibility of different technologies to provide balancing services, to dimension future balancing services and design technical requirements for future balancing services, the future need of balancing power must first be known. Future power systems are often analysed by performing simulations capturing the energy produced, consumed or transmitted for different power system components with resolution of one trading period (TP), here called TP energy simulations. However, these simulations do not fully capture the continuous intra-TP power balance that must be kept at every time instance. In this paper, we propose a model to perform high-resolution intra-TP simulations to estimate the need of balancing power based on TP energy simulations. The model is applied to the Swedish system operator (SO) Svenska kraftn\"at's TP energy simulations of a scenario with high vRES penetration and a highly electrified society in year 2045. The results show that a considerable need of balancing power will occur frequently, where faster ramping of components tend to increase the need of balancing power while assuming that the transmission reliability margin (TRM) is used to net imbalances clearly decreases the need of balancing power.


title: Deep Squared Euclidean Approximation to the Levenshtein Distance for DNA Storage

abstract: Storing information in DNA molecules is of great interest because of its advantages in longevity, high storage density, and low maintenance cost. A key step in the DNA storage pipeline is to efficiently cluster the retrieved DNA sequences according to their similarities. Levenshtein distance is the most suitable metric on the similarity between two DNA sequences, but it is inferior in terms of computational complexity and less compatible with mature clustering algorithms. In this work, we propose a novel deep squared Euclidean embedding for DNA sequences using Siamese neural network, squared Euclidean embedding, and chi-squared regression. The Levenshtein distance is approximated by the squared Euclidean distance between the embedding vectors, which is fast calculated and clustering algorithm friendly. The proposed approach is analyzed theoretically and experimentally. The results show that the proposed embedding is efficient and robust.


title: Finite Element Method for a Nonlinear PML Helmholtz Equation with High Wave Number

abstract: A nonlinear Helmholtz equation (NLH) with high wave number and Sommerfeld radiation condition is approximated by the perfectly matched layer (PML) technique and then discretized by the linear finite element method (FEM). Wave-number-explicit stability and regularity estimates and the exponential convergence are proved for the nonlinear truncated PML problem. Preasymptotic error estimates are obtained for the FEM, where the logarithmic factors in h required by the previous results for the NLH with impedance boundary condition are removed in the case of two dimensions. Moreover, local quadratic convergences of the Newton's methods are derived for both the NLH with PML and its FEM. Numerical examples are presented to verify the accuracy of the FEM, which demonstrate that the pollution errors may be greatly reduced by applying the interior penalty technique with proper penalty parameters to the FEM. The nonlinear phenomenon of optical bistability can be successfully simulated.


title: (Nearly) Optimal Private Linear Regression via Adaptive Clipping

abstract: We study the problem of differentially private linear regression where each data point is sampled from a fixed sub-Gaussian style distribution. We propose and analyze a one-pass mini-batch stochastic gradient descent method (DP-AMBSSGD) where points in each iteration are sampled without replacement. Noise is added for DP but the noise standard deviation is estimated online. Compared to existing $(\epsilon, \delta)$-DP techniques which have sub-optimal error bounds, DP-AMBSSGD is able to provide nearly optimal error bounds in terms of key parameters like dimensionality $d$, number of points $N$, and the standard deviation $\sigma$ of the noise in observations. For example, when the $d$-dimensional covariates are sampled i.i.d. from the normal distribution, then the excess error of DP-AMBSSGD due to privacy is $\frac{\sigma^2 d}{N}(1+\frac{d}{\epsilon^2 N})$, i.e., the error is meaningful when number of samples $N= \Omega(d \log d)$ which is the standard operative regime for linear regression. In contrast, error bounds for existing efficient methods in this setting are: $\mathcal{O}\big(\frac{d^3}{\epsilon^2 N^2}\big)$, even for $\sigma=0$. That is, for constant $\epsilon$, the existing techniques require $N=\Omega(d\sqrt{d})$ to provide a non-trivial result.


title: Spontaneous Charge Oscillations in Dielectric Confined Quasi-2D Systems

abstract: We report spontaneous electric field and charge oscillations in dielectric confined Quasi-2D charged systems. A simple relationship is found for the oscillation wave number, which is solely determined by the dielectric mismatch and the length scale of confinement. We analytically show that the emergence of charge/field oscillation is due to the arising of a first-order pole in the quasi-2D Green's function. The oscillatory behavior is further validated numerically, and its influence on collective behaviors of the confined particles is studied via computer simulations. Interestingly, the substrate permittivity alone can trigger spontaneous formations of lattice structures, which may provide new insights in the study of Quasi-2D systems and the design of future nanodevices.


title: Activity networks determine project performance

abstract: Projects are characterised by activity networks with a critical path, a sequence of activities from start to end, that must be finished on time to complete the project on time. Watching over the critical path is the project manager's strategy to ensure timely project completion. This intense focus on a single path contrasts the broader complex structure of the activity network, and is due to our poor understanding on how that structure influences this critical path. Here, we use a generative model and detailed data from 77 real world projects (plus 10 billion dollars total budget) to demonstrate how this network structure forces us to look beyond the critical path. We introduce a duplication-split model of project schedules that yields (i) identical power-law in- and-out degree distributions and (ii) a vanishing fraction of critical path activities with schedule size. These predictions are corroborated in real projects. We demonstrate that the incidence of delayed activities in real projects is consistent with the expectation from percolation theory in complex networks. We conclude that delay propagation in project schedules is a network property and it is not confined to the critical path.


title: Domains without parabolic minimal submanifolds and weakly hyperbolic domains

abstract: We show that if $\Omega$ is an $m$-convex domain in $\mathbb R^n$ for some $2\le m<n$ whose boundary $b\Omega$ has a tubular neighbourhood of positive radius and is not $m$-flat near infinity, then $\Omega$ does not contain any immersed parabolic minimal submanifold of dimension $\ge m$. In particular, if $M$ is a properly embedded nonflat minimal hypersurface in $\mathbb R^n$ with a tubular neighbourhood of positive radius then every immersed parabolic hypersurface in $\mathbb R^n$ intersects $M$. In dimension $n=3$ this holds if $M$ has bounded Gaussian curvature. We also introduce the class of weakly hyperbolic domains $\Omega$ in $\mathbb R^n$ characterised by the property that every conformal harmonic map $\mathbb C\to\Omega$ is constant, and we elucidate their relationship with hyperbolic domains and domains without parabolic minimal surfaces.


title: Dynamic Budget Throttling in Repeated Second-Price Auctions

abstract: In today's online advertising markets, a crucial requirement for an advertiser is to control her total expenditure within a time horizon under some budget. Among various budget control methods, throttling has emerged as a popular choice, managing an advertiser's total expenditure by selecting only a subset of auctions to participate in. This paper provides a theoretical panorama of a single advertiser's dynamic budget throttling process in repeated second-price auctions. We first establish a lower bound on the regret and an upper bound on the asymptotic competitive ratio for any throttling algorithm, respectively, when the advertiser's values are stochastic and adversarial. Regarding the algorithmic side, we propose the OGD-CB algorithm, which guarantees a near-optimal expected regret with stochastic values. On the other hand, when values are adversarial, we prove that this algorithm also reaches the upper bound on the asymptotic competitive ratio. We further compare throttling with pacing, another widely adopted budget control method, in repeated second-price auctions. In the stochastic case, we demonstrate that pacing is generally superior to throttling for the advertiser, supporting the well-known result that pacing is asymptotically optimal in this scenario. However, in the adversarial case, we give an exciting result indicating that throttling is also an asymptotically optimal dynamic bidding strategy. Our results bridge the gaps in theoretical research of throttling in repeated auctions and comprehensively reveal the ability of this popular budget-smoothing strategy.


title: Performance Bounds for Cooperative Localisation in the Starlink Network

abstract: Mega-constellations in Low Earth Orbit have the potential to revolutionise worldwide internet access. The concomitant potential of these mega-constellations to impact space sustainability, however, has prompted concern from space actors as well as provoking concern in the ground-based astronomy community. Increasing the knowledge of the orbital state of satellites in mega-constellations improves space situations awareness, reducing the need for collision avoidance manoeuvres and allowing astronomers to prepare better observational mitigation strategies. In this paper, we create a model of Phase 1 of Starlink, one of the more well-studied megaconstellations, and investigate the potential of cooperative localisation using time-ofarrival measurements from the optical inter-satellite links in the constellation. To this end, we study the performance of any unbiased estimator for localisation, by calculating the instantaneous Cram$\acute{\text{e}}$r-Rao bound for two situations; one in which inter-satellite measurements and measurements from ground stations were considered, and one in which only relative navigation from inter-satellite measurements were considered. Our results show that localisation determined from a combination of inter-satellite measurements and ground stations can have at best an an average RMSE of approximately 10.15 metres over the majority of a satellite's orbit. Relative localisation using only inter-satellite measurements has a slightly poorer performance with an average RMSE of 10.68 metres. The results show that both anchored and anchorless inter-satellite cooperative localisation are dependent on the constellation's geometry and the characteristics of the inter-satellite links, both of which could inform the use of relative navigation in large satellite constellations in future.


title: PUF-Phenotype: A Robust and Noise-Resilient Approach to Aid Intra-Group-based Authentication with DRAM-PUFs Using Machine Learning

abstract: As the demand for highly secure and dependable lightweight systems increases in the modern world, Physically Unclonable Functions (PUFs) continue to promise a lightweight alternative to high-cost encryption techniques and secure key storage. While the security features promised by PUFs are highly attractive for secure system designers, they have been shown to be vulnerable to various sophisticated attacks - most notably Machine Learning (ML) based modelling attacks (ML-MA) which attempt to digitally clone the PUF behaviour and thus undermine their security. More recent ML-MA have even exploited publicly known helper data required for PUF error correction in order to predict PUF responses without requiring knowledge of response data. In response to this, research is beginning to emerge regarding the authentication of PUF devices with the assistance of ML as opposed to traditional PUF techniques of storage and comparison of pre-known Challenge-Response pairs (CRPs). In this article, we propose a classification system using ML based on a novel `PUF-Phenotype' concept to accurately identify the origin and determine the validity of noisy memory derived (DRAM) PUF responses as an alternative to helper data-reliant denoising techniques. To our best knowledge, we are the first to perform classification over multiple devices per model to enable a group-based PUF authentication scheme. We achieve up to 98\% classification accuracy using a modified deep convolutional neural network (CNN) for feature extraction in conjunction with several well-established classifiers. We also experimentally verified the performance of our model on a Raspberry Pi device to determine the suitability of deploying our proposed model in a resource-constrained environment.


title: Exploring Contextual Relationships for Cervical Abnormal Cell Detection

abstract: Cervical abnormal cell detection is a challenging task as the morphological discrepancies between abnormal and normal cells are usually subtle. To determine whether a cervical cell is normal or abnormal, cytopathologists always take surrounding cells as references to identify its abnormality. To mimic these behaviors, we propose to explore contextual relationships to boost the performance of cervical abnormal cell detection. Specifically, both contextual relationships between cells and cell-to-global images are exploited to enhance features of each region of interest (RoI) proposals. Accordingly, two modules, dubbed as RoI-relationship attention module (RRAM) and global RoI attention module (GRAM), are developed and their combination strategies are also investigated. We establish a strong baseline by using Double-Head Faster R-CNN with feature pyramid network (FPN) and integrate our RRAM and GRAM into it to validate the effectiveness of the proposed modules. Experiments conducted on a large cervical cell detection dataset reveal that the introduction of RRAM and GRAM both achieves better average precision (AP) than the baseline methods. Moreover, when cascading RRAM and GRAM, our method outperforms the state-of-the-art (SOTA) methods. Furthermore, we also show the proposed feature enhancing scheme can facilitate both image-level and smear-level classification. The code and trained models are publicly available at https://github.com/CVIU-CSU/CR4CACD.


title: $1^{-+}$ Hybrid in $J/\psi$ Radiative Decays from Lattice QCD

abstract: We present the first theoretical prediction of the production rate of $1^{-+}$ light hybrid meson $\eta_1$ in $J/\psi$ radiative decays. In the $N_f=2$ lattice QCD formalism with the pion mass $m_\pi\approx 350$ MeV, the related electromagnetic multipole form factors are extracted from the three-point functions that involve necessarily quark annihilation diagrams, which are calculated through the distillation method. The partial width of $J/\psi\to \gamma \eta_1$ is determined to be $2.29(77)~\mathrm{eV}$ at the $\eta_1$ mass $m_{\eta_1}=2.23(4)$ GeV. If $\eta_1$ corresponds to the recently observed $\eta_1(1855)$ in the process $J/\psi\to \gamma\eta_1(1855)\to \gamma \eta\eta'$ by BESIII, then the branching fraction $\mathrm{Br}(J/\psi\to \gamma\eta_1(1855))$ is estimated to be $6.2(2.2)\times 10^{-5}$, which implies $\mathrm{Br}(\eta_1(1855)\to \eta\eta')\sim 4.3\%$.


title: 2D Beam Domain Statistical CSI Estimation for Massive MIMO Uplink

abstract: In this paper, we investigate the beam domain statistical channel state information (CSI) estimation for the two dimensional (2D) beam based statistical channel model (BSCM) in massive MIMO systems.The problem is to estimate the beam domain channel power matrices (BDCPMs) based on multiple receive pilot signals. A receive model shows the relation between the statistical property of the receive pilot signals and the BDCPMs is derived from the 2D-BSCM. On the basis of the receive model,we formulate an optimization problem with the Kullback-Leibler (KL) divergence. By solving the optimization problem, a novel method to estimate the statistical CSI without involving instantaneous CSI is proposed. The proposed method has much lower complexity than the MMV focal underdetermined system solver (M-FOCUSS) algorithm. We further reduce the complexity of the proposed method by utilizing the circulant structures of particular matrices in the algorithm. We also showed the generality of the proposed method by introducing another application. Simulations results show that the proposed method works well and bring significant performance gain when used in channel estimation.


title: Generation of maximally-entangled long-lived states with giant atoms in a waveguide

abstract: In this paper we show how to generate efficiently entanglement between two artificial giant atoms with photon-mediated interactions in a waveguide. Taking advantage of the adjustable decay processes of giant atoms into the waveguide, and of the interference processes, spontaneous sudden birth of entanglement can be strongly enhanced with giant atoms. Highly entangled states can also be generated in the steady-state regime when the system is driven by a resonant classical field. We show that the statistics of the light emitted by the system can be used as a witness of the presence of entanglement in the system, since giant photon bunching is observed close to the regime of maximal entanglement. Given the degree of quantum correlations incoherently generated in this system, our results open a broad avenue for the generation of quantum correlations and manipulation of photon statistics in systems of giant atoms.


title: Multi-level Fusion of Wav2vec 2.0 and BERT for Multimodal Emotion Recognition

abstract: The research and applications of multimodal emotion recognition have become increasingly popular recently. However, multimodal emotion recognition faces the challenge of lack of data. To solve this problem, we propose to use transfer learning which leverages state-of-the-art pre-trained models including wav2vec 2.0 and BERT for this task. Multi-level fusion approaches including coattention-based early fusion and late fusion with the models trained on both embeddings are explored. Also, a multi-granularity framework which extracts not only frame-level speech embeddings but also segment-level embeddings including phone, syllable and word-level speech embeddings is proposed to further boost the performance. By combining our coattention-based early fusion model and late fusion model with the multi-granularity feature extraction framework, we obtain result that outperforms best baseline approaches by 1.3% unweighted accuracy (UA) on the IEMOCAP dataset.


title: Numerical computing in engineering mathematics

abstract: The rapid advances in technology over the last decade have significantly altered the nature of engineering knowledge and skills required in the modern industries. In response to the changing professional requirements, engineering institutions have updated their curriculum and pedagogical practices. However, most of the changes in the curriculum have been focused on the core engineering courses without much consideration for the auxiliary courses in mathematics and sciences. In this paper, we aim to propose a new, augmented mathematics curriculum aimed at meeting the requirements of the modern, technology-based engineering workplace. The proposed updates require minimal resources and can be seamlessly integrated into the existing curriculum.


title: Small data global well-posedness for the inhomogeneous biharmonic NLS in Sobolev spaces

abstract: In this paper, we study the Cauchy problem for the inhomogeneous biharmonic nonlinear Schr\"{o}dinger equation (IBNLS) \[iu_{t} +\Delta^{2} u=\lambda |x|^{-b}|u|^{\sigma}u,u(0)=u_{0} \in H^{s} (\mathbb R^{d}),\] where $\lambda \in \mathbb R$, $d\in \mathbb N$, $0<s<\min \{2+\frac{d}{2},\frac{3}{2}d\}$ and $0<b<\min\{4,d,\frac{3}{2}d-s,\frac{d}{2}+2-s\}$. Under some regularity assumption for the nonlinear term, we prove that the IBNLS equation is globally well-posed in $H^{s}(\mathbb R^{d})$ if $\frac{8-2b}{d}<\sigma< \sigma_{c}(s)$ and the initial data is sufficiently small, where $\sigma_{c}(s)=\frac{8-2b}{d-2s}$ if $s<\frac{d}{2}$, and $\sigma_{c}(s)=\infty$ if $s\ge \frac{d}{2}$.


title: Arithmetic Wavefront Sets and Generic $L$-packets

abstract: Let $G$ be a classical group defined over a local field $F$ of characteristic zero. Let $\pi$ be an irreducible admissible representation $\pi$ of $G(F)$, which is of Casselman-Wallach type if $F$ is archimedean. If $\pi$ has a generic local $L$-parameter, we define the arithmetic wavefront set ${\rm WF_{ari}}(\pi)$ of $\pi$, which is a subset of $F$-rational nilpotent orbits of the Lie algebra $\mathfrak{g}(F)$ of $G(F)$, by means of the arithmetic structures of the enhanced $L$-parameter $(\varphi,\chi)$ of $\pi$. Those arithmetic structures are discovered by using our method of consecutive descents of enhanced $L$-parameters, based on the rationality of the local Langlands correspondence and the local Gan-Gross-Prasad conjecture. We study the basic structure of ${\rm WF_{ari}(\pi)}$ and prove that it is an invariant of $\pi$ (Theorem 5.10). The basic structures of ${\rm WF_{ari}(\pi)^{max}}$ are described by Conjecture 1.3, which asserts that the $F$-rational structure of ${\rm WF_{ari}(\pi)^{max}}$ can be completely determined by our method of consecutive descents of enhanced $L$-parameters. When $F$ is archimedean, Theorems 1.4 and 1.5 confirm much refined $F$-rational structure on ${\rm WF_{ari}(\pi)^{max}}$ than what Conjecture 1.3 says. Based on the local Langlands reciprocity, Conjecture 1.2 asserts that the wavefront sets on the $L$-parameter side should be closed related to those on the representation side, namely, \[ {\rm WF_{wm}(\pi)^{max}}={\rm WF_{ari}(\pi)^{max}}={\rm WF_{tr}(\pi)^{max}} \] when $\pi$ has a generic local $L$-parameter, where the algebraic wavefront set ${\rm WF_{wm}}(\pi)$ is defined by Moeglin and Waldspurger [MW87] using generalized Whittaker models, and the analytic wavefront set ${\rm WF_{tr}}(\pi)$ is defined by Howe [H81, Hd85] using distribution characters, and also by [H74, HC78, BV80]. Conjecture 1.2 is verified for families of interesting cases.


title: Spectral radius and edge-disjoint spanning trees

abstract: The spanning tree packing number of a graph $G$, denoted by $\tau(G)$, is the maximum number of edge-disjoint spanning trees contained in $G$. The study of $\tau(G)$ is one of the classic problems in graph theory. Cioab\u{a} and Wong initiated to investigate $\tau(G)$ from spectral perspectives in 2012 and since then, $\tau(G)$ has been well studied using the second largest eigenvalue of the adjacency matrix in the past decade. In this paper, we further extend the results in terms of the number of edges and the spectral radius, respectively; and prove tight sufficient conditions to guarantee $\tau(G)\geq k$ with extremal graphs characterized. Moreover, we confirm a conjecture of Ning, Lu and Wang on characterizing graphs with the maximum spectral radius among all graphs with a given order as well as fixed minimum degree and fixed edge connectivity. Our results have important applications in rigidity and nowhere-zero flows. We conclude with some open problems in the end.


title: Colour evolution of Betelgeuse and Antares over two millennia, derived from historical records, as a new constraint on mass and age

abstract: After core hydrogen burning, massive stars evolve from blue-white dwarfs to red supergiants by expanding, brightening, and cooling within few millennia. We discuss a previously neglected constraint on mass, age, and evolutionary state of Betelgeuse and Antares, namely their observed colour evolution over historical times: We place all 236 stars bright enough for their colour to be discerned by the unaided eye (V$\le$3.3 mag) on the colour-magnitude-diagram (CMD), and focus on those in the Hertzsprung gap. We study pre-telescopic records on star colour with historically-critical methods to find stars that have evolved noticeably in colour within the last millennia. Our main result is that Betelgeuse was recorded with a colour significantly different (non-red) than today (red, B$-$V=$1.78 \pm 0.05$ mag). Hyginus (Rome) and Sima Qian (China) independently report it two millennia ago as appearing like Saturn (B$-$V=$1.09 \pm 0.16$ mag) in colour and `yellow' (quantifiable as B$-$V=$0.95 \pm 0.35$ mag), respectively (together, 5.1$\sigma$ different from today). The colour change of Betelgeuse is a new, tight constraint for single-star theoretical evolutionary models (or merger models). It is most likely located less than one millennium past the bottom of the red giant branch, before which rapid colour evolution is expected. Evolutionary tracks from MIST consistent with both its colour evolution and its location on the CMD suggest a mass of $\sim$14M$_{\odot}$ at $\sim$14 Myr. The (roughly) constant colour of Antares for the last three millennia also constrains its mass and age. Wezen was reported white historically, but is now yellow.


title: Don't Start From Scratch: Leveraging Prior Data to Automate Robotic Reinforcement Learning

abstract: Reinforcement learning (RL) algorithms hold the promise of enabling autonomous skill acquisition for robotic systems. However, in practice, real-world robotic RL typically requires time consuming data collection and frequent human intervention to reset the environment. Moreover, robotic policies learned with RL often fail when deployed beyond the carefully controlled setting in which they were learned. In this work, we study how these challenges can all be tackled by effective utilization of diverse offline datasets collected from previously seen tasks. When faced with a new task, our system adapts previously learned skills to quickly learn to both perform the new task and return the environment to an initial state, effectively performing its own environment reset. Our empirical results demonstrate that incorporating prior data into robotic reinforcement learning enables autonomous learning, substantially improves sample-efficiency of learning, and enables better generalization. Project website: https://sites.google.com/view/ariel-berkeley/


title: The word problem for polycyclic groups and nilpotent associative algebras

abstract: The word problem is an old and central problem in (computational) group theory. It is well-known that the word problem is undecidable in general, but decidable for specific types of presentations. Consistent polycyclic presentations are an important class of group presentations with solvable word problem. These presentations play a fundamental role in the algorithmic theory of polycyclic groups. Problems analogous to the word problem arise when computing with other algebraic structures. Various aspects of this topic are considered in the literature. The aim of this paper is to provide a general approach to the topic including polycyclic groups and nilpotent associative algebras as examples.


title: Plurisigned hermitian metrics

abstract: Let $(X,\omega)$ be a compact hermitian manifold of dimension $n$. We study the asymptotic behavior of Monge-Amp\`ere volumes $\int_X (\omega+dd^c \varphi)^n$, when $\omega+dd^c \varphi$ varies in the set of hermitian forms that are $dd^c$-cohomologous to $\omega$. We show that these Monge-Amp\`ere volumes are uniformly bounded if $\omega$ is "strongly pluripositive", and that they are uniformly positive if $\omega$ is "strongly plurinegative". This motivates the study of the existence of such plurisigned hermitian metrics. We analyze several classes of examples (complex parallelisable manifolds, twistor spaces, Vaisman manifolds) admitting such metrics, showing that they cannot coexist. We take a close look at $6$-dimensional nilmanifolds which admit a left-invariant complex structure, showing that each of them admit a plurisigned hermitian metric, while only few of them admit a pluriclosed metric. We also study $6$-dimensional solvmanifolds with trivial canonical bundle.


title: What Your Wearable Devices Revealed About You and Possibilities of Non-Cooperative 802.11 Presence Detection During Your Last IPIN Visit

abstract: The focus on privacy-related measures regarding wireless networks grew in last couple of years. This is especially important with technologies like Wi-Fi or Bluetooth, which are all around us and our smartphones use them not just for connection to the internet or other devices, but for localization purposes as well. In this paper, we analyze and evaluate probe request frames of 802.11 wireless protocol captured during the 11th international conference on Indoor Positioning and Indoor Navigation (IPIN) 2021. We explore the temporal occupancy of the conference space during four days of the conference as well as non-cooperatively track the presence of devices in the proximity of the session rooms using 802.11 management frames, with and without using MAC address randomization. We carried out this analysis without trying to identify/reveal the identity of the users or in any way reverse the MAC address randomization. As a result of the analysis, we detected that there are still many devices not adopting MAC randomization, because either it is not implemented, or users disabled it. In addition, many devices can be easily tracked despite employing MAC randomization.


title: On a formation of singularities of solutions to soliton equations represented by L,A,B-triples

abstract: We discuss the mechanism of formation of singularities of solutions to the Novikov-Veselov, modified Novikov-Veselov, and Davey-Stewartson II (DSII) equations obtained by the Moutard type transformations. These equations admit the L,A,B-triple presentation, the generalization of the L,A-pairs for 2+1-soliton equations. We relate the blow-up of solutions to the non-conservation of the zero level of discrete spectrum of the L-operator. We also present a class of exact solutions, of the DSII system, which depend on two functional parameters, and show that all possible singularities of solutions to DSII equation obtained by the Moutard transformation are indeterminancies, i.e., points when approaching which in different spatial directions the solution has different limits.


title: Convective inhibition with an atmosphere, I: super-critical cores on sub-Neptune/super-Earths

abstract: In this work we generalize the notion of convective inhibition to apply in cases where there is an infinite reservoir of condensible species (i.e., an ocean). We propose a new model for the internal structure and thermal evolution of super-Earths with hydrogen envelopes. We derive the criterion for convective inhibition in a generalizes phase mixture from first principles thermodynamics. We then investigate the global ocean case using a water-hydrogen system, for which we have data, as an example. We then extend our arguments to apply to a system of hydrogen and silicate vapor. We then employ a simple atmospheric model to apply our findings to super-Earths and to make predictions about their internal structures and thermal evolution. For hydrogen envelope masses roughly in the range between 0.1-10% Earth's mass, convective contact between the envelope and core may shut down because of the compositional gradient that arises from silicate partial vaporization. For envelope hydrogen masses that cause the associated basal pressure to exceed the critical pressure of pure silicate (of order a couple kilobars), the base of that envelope and top of the core lie on the critical line of the two-phase hydrogen-silicate phase diagram. The corresponding temperature is much higher than convective models would suggest. The core then cools inefficiently, with intrinsic heat fluxes potentially comparable to the Earth's internal heat flux today. This low heat flux may allow the core to remain in a high entropy supercritical state for billions of years, but the details of this depend on the nature of the two-component phase diagram at high pressure, something that is currently unknown. A supercritical core thermodynamically permits the dissolution of large quantities of hydrogen into the core.


title: A Baselined Gated Attention Recurrent Network for Request Prediction in Ridesharing

abstract: Ridesharing has received global popularity due to its convenience and cost efficiency for both drivers and passengers and its strong potential to contribute to the implementation of the UN Sustainable Development Goals. As a result, recent years have witnessed an explosion of research interest in the RSODP (Origin-Destination Prediction for Ridesharing) problem with the goal of predicting the future ridesharing requests and providing schedules for vehicles ahead of time. Most of the existing prediction models utilise Deep Learning. However, they fail to effectively consider both spatial and temporal dynamics. In this paper the Baselined Gated Attention Recurrent Network (BGARN), is proposed, which uses graph convolution with multi-head gated attention to extract spatial features, a recurrent module to extract temporal features, and a baselined transferring layer to calculate the final results. The model is implemented with PyTorch and DGL (Deep Graph Library) and is experimentally evaluated using the New York Taxi Demand Dataset. The results show that BGARN outperforms all the other existing models in terms of prediction accuracy.


title: Weighted simplicial complexes and their representation power of higher-order network data and topology

abstract: Hypergraphs and simplical complexes both capture the higher-order interactions of complex systems, ranging from higher-order collaboration networks to brain networks. One open problem in the field is what should drive the choice of the adopted mathematical framework to describe higher-order networks starting from data of higher-order interactions. Unweighted simplicial complexes typically involve a loss of information of the data, though having the benefit to capture the higher-order topology of the data. In this work we show that weighted simplicial complexes allow to circumvent all the limitations of unweighted simplicial complexes to represent higher-order interactions. In particular, weighted simplicial complexes can represent higher-order networks without loss of information, allowing at the same time to capture the weighted topology of the data. The higher-order topology is probed by studying the spectral properties of suitably defined weighted Hodge Laplacians displaying a normalized spectrum. The higher-order spectrum of (weighted) normalized Hodge Laplacians is here studied combining cohomology theory with information theory. In the proposed framework, we quantify and compare the information content of higher-order spectra of different dimension using higher-order spectral entropies and spectral relative entropies. The proposed methodology is tested on real higher-order collaboration networks and on the weighted version of the simplicial complex model "Network Geometry with Flavor".

categories: physics.soc-ph cond-mat.dis-nn cs.CG cs.SI math.AT


title: Matching Normalizing Flows and Probability Paths on Manifolds

abstract: Continuous Normalizing Flows (CNFs) are a class of generative models that transform a prior distribution to a model distribution by solving an ordinary differential equation (ODE). We propose to train CNFs on manifolds by minimizing probability path divergence (PPD), a novel family of divergences between the probability density path generated by the CNF and a target probability density path. PPD is formulated using a logarithmic mass conservation formula which is a linear first order partial differential equation relating the log target probabilities and the CNF's defining vector field. PPD has several key benefits over existing methods: it sidesteps the need to solve an ODE per iteration, readily applies to manifold data, scales to high dimensions, and is compatible with a large family of target paths interpolating pure noise and data in finite time. Theoretically, PPD is shown to bound classical probability divergences. Empirically, we show that CNFs learned by minimizing PPD achieve state-of-the-art results in likelihoods and sample quality on existing low-dimensional manifold benchmarks, and is the first example of a generative model to scale to moderately high dimensional manifolds.


title: On the Age of Information for AMP based Grant-Free Random Access

abstract: With the rapid development of Internet of Things (IoT), massive devices are deployed, which poses severe challenges on access networks due to limited communication resources. When massive users contend for access, the information freshness gets worse caused by increasing collisions. It could be fatal for information freshness sensing scenarios, such as remote monitoring systems or self-driving systems, in which information freshness plays a critical part. In this paper, by taking the Age of Information (AoI) as the primary performance indicator, the information freshness using AMP-based grant-free scheme is investigated and compared with grant-based scheme. Base on the analysis, a user scheduling strategy with sleep threshold and forcing active threshold is proposed to further reduce average AoI (AAoI). Numerical results reveal that the AMP-based grant-free scheme can provide sufficient access capability with less pilot resources, and it is robust to the fluctuation of the number of active users. That ensures that the AMP-based grant-free scheme can keep the AAoI at a low level. It is also shown that the proposed threshold strategy can effectively improve the information freshness.


title: GMN: Generative Multi-modal Network for Practical Document Information Extraction

abstract: Document Information Extraction (DIE) has attracted increasing attention due to its various advanced applications in the real world. Although recent literature has already achieved competitive results, these approaches usually fail when dealing with complex documents with noisy OCR results or mutative layouts. This paper proposes Generative Multi-modal Network (GMN) for real-world scenarios to address these problems, which is a robust multi-modal generation method without predefined label categories. With the carefully designed spatial encoder and modal-aware mask module, GMN can deal with complex documents that are hard to serialized into sequential order. Moreover, GMN tolerates errors in OCR results and requires no character-level annotation, which is vital because fine-grained annotation of numerous documents is laborious and even requires annotators with specialized domain knowledge. Extensive experiments show that GMN achieves new state-of-the-art performance on several public DIE datasets and surpasses other methods by a large margin, especially in realistic scenes.


title: Criterion for Vestigial Order above a Nematic Superconductor

abstract: A nematic superconductor can in principle support a vestigial order phase above its superconducting transition temperature, with rotational symmetry spontaneously broken while remain nonsuperconducting. We examine the condition for this vestigial nematic order to occur, within a Ginzburg-Landau theory with order parameter fluctuations included. Contrary to prior theoretical results, we found that this vestigial order actually requires very stringent conditions to be met: the material must be sufficiently deep in the nematic regime (i.e. far away from the boundary separating the nematic and chiral superconducting phases) to possibly exhibit a vestigial nematic order.


title: Generalized Levi currents and singular loci for families of plurisubharmonic functions

abstract: We show how the formalism of Levi currents on complex manifolds, as introduced by Sibony, can be used to study the analytic structure of singular sets associated to families of plurisubharmonic functions, in the sense of Slodkowski.


title: PowerDuck: A GOOSE Data Set of Cyberattacks in Substations

abstract: Power grids worldwide are increasingly victims of cyberattacks, where attackers can cause immense damage to critical infrastructure. The growing digitalization and networking in power grids combined with insufficient protection against cyberattacks further exacerbate this trend. Hence, security engineers and researchers must counter these new risks by continuously improving security measures. Data sets of real network traffic during cyberattacks play a decisive role in analyzing and understanding such attacks. Therefore, this paper presents PowerDuck, a publicly available security data set containing network traces of GOOSE communication in a physical substation testbed. The data set includes recordings of various scenarios with and without the presence of attacks. Furthermore, all network packets originating from the attacker are clearly labeled to facilitate their identification. We thus envision PowerDuck improving and complementing existing data sets of substations, which are often generated synthetically, thus enhancing the security of power grids.


title: Analysis of risk propagation using the world trade network

abstract: An economic system is an exemplar of a complex system in which all agents interact simultaneously. Interactions between countries have generally been studied using the flow of resources across diverse trade networks, in which the degree of dependence between two countries is typically measured based on the trade volume. However, indirect influences may not be immediately apparent. Herein, we compared a direct trade network to a trade network constructed using the personalized PageRank (PPR) encompassing indirect influences. By analyzing the correlation of the gross domestic product (GDP) between countries, we discovered that the PPR trade network has greater explanatory power on the propagation of economic events than direct trade by analyzing the GDP correlation between countries. To further validate our observations, an agent-based model of the spreading economic crisis was implemented for the Russia-Ukraine war of 2022. The model also demonstrates that the PPR explains the actual impact more effectively than the direct trade network. Our research highlights the significance of indirect and long-range relationships, which have often been overlooked


title: Physical Attack on Monocular Depth Estimation with Optimal Adversarial Patches

abstract: Deep learning has substantially boosted the performance of Monocular Depth Estimation (MDE), a critical component in fully vision-based autonomous driving (AD) systems (e.g., Tesla and Toyota). In this work, we develop an attack against learning-based MDE. In particular, we use an optimization-based method to systematically generate stealthy physical-object-oriented adversarial patches to attack depth estimation. We balance the stealth and effectiveness of our attack with object-oriented adversarial design, sensitive region localization, and natural style camouflage. Using real-world driving scenarios, we evaluate our attack on concurrent MDE models and a representative downstream task for AD (i.e., 3D object detection). Experimental results show that our method can generate stealthy, effective, and robust adversarial patches for different target objects and models and achieves more than 6 meters mean depth estimation error and 93% attack success rate (ASR) in object detection with a patch of 1/9 of the vehicle's rear area. Field tests on three different driving routes with a real vehicle indicate that we cause over 6 meters mean depth estimation error and reduce the object detection rate from 90.70% to 5.16% in continuous video frames.


title: Identifying public values and spatial conflicts in urban planning

abstract: Identifying the diverse and often competing values of citizens, and resolving the consequent public value conflicts, are of significant importance for inclusive and integrated urban development. Scholars have highlighted that relational, value-laden urban space gives rise to many diverse conflicts that vary both spatially and temporally. Although notions of public value conflicts have been conceived in theory, there are very few empirical studies that identify such values and their conflicts in urban space. Building on public value theory and using a case-study mixed-methods approach, this paper proposes a new approach to empirically investigate public value conflicts in urban space. Using unstructured participatory data of 4,528 citizen contributions from a Public Participation Geographic Information Systems in Hamburg, Germany, natural language processing and spatial clustering techniques are used to identify areas of potential value conflicts. Four expert workshops assess and interpret these quantitative findings. Integrating both quantitative and qualitative results, 19 general public values and a total of 9 archetypical conflicts are identified. On the basis of these results, this paper proposes a new conceptual tool of Public Value Spheres that extends the theoretical notion of public-value conflicts and helps to further account for the value-laden nature of urban space.


title: Two-time alternative to the Ashtekar-Olmedo-Singh black hole interior

abstract: We investigate the viability of a recently proposed generalization of the Ashtekar-Olmedo-Singh spacetime for the effective description of the interior region of a Schwarzschild black hole within the framework of loop quantum cosmology. The approach is based on a choice of polymerization parameters that is more general than the ones previously considered in the literature and that results in the natural appearance of two times to describe the solutions. If one is interested in examining the physics derived from this model, it is fundamental to ensure that one can attain a well-defined effective geometry in the whole region under consideration, in particular as regards the redundancy of the two times, which one needs to express in terms of a single time coordinate. In order to determine whether this requirement is met, we analyze the definition of these times and their relation. We show that one can reach an acceptable interior spacetime geometry by exploiting the freedom to define the origins of the two times independently.


title: Hybrid Skip: A Biologically Inspired Skip Connection for the UNet Architecture

abstract: In this work we introduce a biologically inspired long-range skip connection for the UNet architecture that relies on the perceptual illusion of hybrid images, being images that simultaneously encode two images. The fusion of early encoder features with deeper decoder ones allows UNet models to produce finer-grained dense predictions. While proven in segmentation tasks, the network's benefits are down-weighted for dense regression tasks as these long-range skip connections additionally result in texture transfer artifacts. Specifically for depth estimation, this hurts smoothness and introduces false positive edges which are detrimental to the task due to the depth maps' piece-wise smooth nature. The proposed HybridSkip connections show improved performance in balancing the trade-off between edge preservation, and the minimization of texture transfer artifacts that hurt smoothness. This is achieved by the proper and balanced exchange of information that Hybrid-Skip connections offer between the high and low frequency, encoder and decoder features, respectively.


title: Relativistic Bethe logarithm for triplet states of helium-like ions

abstract: We report a calculation of relativistic corrections of order $m\alpha^7$ to the Bethe logarithm for the $2^3S$ and $2^3P$ states of helium-like ions. The calculation is required for improving the accuracy of theoretical energies of helium-like ions and for checking the evaluation of the $m\alpha^7$ effects in helium performed in [V. Patk\'o\v{s}, V. A. Yerokhin, K. Pachucki, Phys. Rev. A 103, 042809 (2021)], where a significant discrepancy with experimental results was found. The large-$Z$ limit of the relativistic Bethe logarithm is determined numerically, in excellent agreement with the analytical results obtained from the hydrogen theory.


title: Pulsar death line revisited -- II. 'The death valley'

abstract: In this paper, which is the second in a series of papers, we analyse what parameters can determine the width of the radio pulsar 'death valley' in the $P$-${\dot P}$ diagram. Using exact expression for the maximum potential drop, which can be realised over magnetic polar caps and the corresponding threshold for the secondary plasma production determined in Paper I, we analyse in detail the observed distribution of pulsars taking into account all the possible parameters (radius $R$ and moment of inertia of a neutron star $I_{\rm r}$, high-energy tail in the $\gamma$-quanta energy distribution giving rise to secondary particles, etc.) which could broaden 'the death line'. We show that the consistent allowance for all these effects leads to a sufficiently wide of 'the death valley' containing all the observed pulsars even for dipole magnetic field of a neutron star.


title: Interpretability by design using computer vision for behavioral sensing in child and adolescent psychiatry

abstract: Observation is an essential tool for understanding and studying human behavior and mental states. However, coding human behavior is a time-consuming, expensive task, in which reliability can be difficult to achieve and bias is a risk. Machine learning (ML) methods offer ways to improve reliability, decrease cost, and scale up behavioral coding for application in clinical and research settings. Here, we use computer vision to derive behavioral codes or concepts of a gold standard behavioral rating system, offering familiar interpretation for mental health professionals. Features were extracted from videos of clinical diagnostic interviews of children and adolescents with and without obsessive-compulsive disorder. Our computationally-derived ratings were comparable to human expert ratings for negative emotions, activity-level/arousal and anxiety. For the attention and positive affect concepts, our ML ratings performed reasonably. However, results for gaze and vocalization indicate a need for improved data quality or additional data modalities.


title: Classification of Fermi-LAT unidentified gamma-ray sources using CatBoost gradient boosting decision trees

abstract: The latest $\textit{Fermi}$-LAT gamma-ray catalog, 4FGL-DR3, presents a large fraction of sources without clear association to known counterparts, i.e., unidentified sources (unIDs). In this paper, we aim to classify them using machine learning algorithms, which are trained with the spectral characteristics of associated sources to predict the class of the unID population. With the state-of-the-art $\texttt{CatBoost}$ algorithm, based on gradient boosting decision trees, we are able to reach a 67% accuracy on a 23-class dataset. Removing a single of these classes -- blazars of uncertain type -- increases the accuracy to 81%. If interested only in a binary AGN/pulsar distinction, the model accuracy is boosted up to 99%. Additionally, we perform an unsupervised search among both known and unID population, and try to predict the number of clusters of similar sources, without prior knowledge of their classes. The full code used to perform all calculations is provided as an interactive Python notebook.


title: On the Convergence of the Backward Reachable Sets of Robust Controlled Invariant Sets For Discrete-time Linear Systems

abstract: This paper considers discrete-time linear systems with bounded additive disturbances, and studies the convergence properties of the backward reachable sets of robust controlled invariant sets (RCIS). Under a simple condition, we prove that the backward reachable sets of an RCIS are guaranteed to converge to the maximal RCIS in Hausdorff distance, with an exponential convergence rate. When all sets are represented by polytopes, this condition can be checked numerically via a linear program. We discuss how the developed condition generalizes the existing conditions in the literature for (controlled) invariant sets of systems without disturbances (or without control inputs).


title: Agro-ecological control of a pest-host system: preventing spreading

abstract: We consider an agro-ecologically motivated coupling between a prey-predator system and a vector-borne epidemic system. The coupled system contains one ODE, two reaction-diffusion PDEs and one reaction-diffusionadvection PDE; it has no complete variational or monotonic structure and coefficients are spatially heterogeneous. We study the long-time behavior of solutions of the Cauchy-Neumann problem, which turns out to be largely decided by a linear stability criterion but still involves nonlinear subtleties. Then we consider an optimal control problem. Although it remains elusive analytically, we show numerically the variety of outcomes and the strong impact of the initial conditions.


title: DUG Insight: A software package for big-data analysis and visualisation, and its demonstration for passive radar space situational awareness using radio telescopes

abstract: As the demand for software to support the processing and analysis of massive radio astronomy datasets increases in the era of the SKA, we demonstrate the interactive workflow building, data mining, processing, and visualisation capabilities of DUG Insight. We test the performance and flexibility of DUG Insight by processing almost 68,000 full sky radio images produced from the Engineering Development Array (EDA2) over the course of a three day period. The goal of the processing was to passively detect and identify known Resident Space Objects (RSOs: satellites and debris in orbit) and investigate how radio interferometry could be used to passively monitor aircraft traffic. These signals are observable due to both terrestrial FM radio signals reflected back to Earth and out-of-band transmission from RSOs. This surveillance of the low Earth orbit and airspace environment is useful as a contribution to space situational awareness and aircraft tracking technology. From the observations, we made 40 detections of 19 unique RSOs within a range of 1,500 km from the EDA2. This is a significant improvement on a previously published study of the same dataset and showcases the flexible features of DUG Insight that allow the processing of complex datasets at scale. Future enhancements of our DUG Insight workflow will aim to realise real-time acquisition, detect unknown RSOs, and continue to process data from SKA-relevant facilities.


title: Distance to a constitutive tensor isotropy stratum by Lasserre polynomial optimization method

abstract: We give a detailed description of a polynomial optimization method allowing to solve a problem in continuum mechanics: the determination of the elasticity or the piezoelectricity tensor of a specific isotropy stratum the closest to a given experimental tensor, and the calculation of the distance to the given tensor from the considered isotropy stratum. We take advantage of the fact that the isotropy strata are semialgebraic sets to show that the method, developed by Lasserre and coworkers which consists in solving polynomial optimization problems with semialgebraic constraints, successfully applies.


title: Multimodal Multi-objective Optimization: Comparative Study of the State-of-the-Art

abstract: Multimodal multi-objective problems (MMOPs) commonly arise in real-world problems where distant solutions in decision space correspond to very similar objective values. To obtain all solutions for MMOPs, many multimodal multi-objective evolutionary algorithms (MMEAs) have been proposed. For now, few studies have encompassed most of the recently proposed representative MMEAs and made a comparative comparison. In this study, we first review the related works during the last two decades. Then, we choose 12 state-of-the-art algorithms that utilize different diversity-maintaining techniques and compared their performance on existing test suites. Experimental results indicate the strengths and weaknesses of different techniques on different types of MMOPs, thus providing guidance on how to select/design MMEAs in specific scenarios.


title: Skew category algebras and modules on ringed finite sites

abstract: Let $\mathcal{C}$ be a small category. We investigate ringed sites $(\mathbf{C},\mathfrak{R})$ on $\mathcal{C}$ and the resulting module categories $\mathfrak{M}{\rm od}\text{-}\mathfrak{R}$. When $\mathcal{C}$ is finite, based on Grothendieck and Verdier's classification of finite topoi, we prove that each $\mathfrak{M}{\rm od}\text{-}\mathfrak{R}$ is equivalent to ${\rm Mod}\text{-}\mathfrak{R}|_{\mathcal{D}}[\mathcal{D}]$, where $\mathfrak{R}|_{\mathcal{D}}[\mathcal{D}]$ is the skew category algebra, canonically defined on $(\mathbf{C},\mathfrak{R})$, for a uniquely determined full subcategory $\mathcal{D}\subset\mathcal{C}$ and the restriction $\mathfrak{R}|_{\mathcal{D}}$ of $\mathfrak{R}$ to $\mathcal{D}$.


title: Multi-peak solutions for singularly perturbed nonlinear Dirichlet problems involving critical growth

abstract: We consider the following singularly perturbed elliptic problem \[ - {\varepsilon ^2}\Delta u + u = f(u){\text{ in }}\Omega ,{\text{ }}u > 0{\text{ in }}\Omega ,{\text{ }}u = 0{\text{ on }}\partial \Omega , \] where $\Omega$ is a domain in ${\mathbb{R}^N}(N \ge 3)$, not necessarily bounded, with boundary $\partial \Omega \in {C^2}$ and the nonlinearity $f$ is of critical growth. In this paper, we construct a family of multi-peak solutions to the equation given above which concentrate around any prescribed finite sets of local maxima of the distance function from the boundary $\partial \Omega$.


title: Collaborative Load Management in Smart Home Area Network

abstract: An efficient Home Area Network (HAN) acts as a base of an Advanced Metering Infrastructure (AMI). A HAN not only facilitates AMI with efficient real-time monitoring of the electricity consumption but also manages the load profile of the whole system. However, the existing works on implementing HAN are mostly centralized and suffer from well-known problems. In this work, we propose an IoT-based efficient decentralized strategy using synchronous transmission to practically realize HAN. An inter-device coordination strategy is proposed to minimize the peak load as well as reduce the sudden changes in the overall system without compromising the users requirements. Through experiments over IoT-testbeds, we demonstrate that the proposed strategy can reduce the peak load upto 50% and reduce the load variations upto 58% for even a high and random rate of requests for execution of power-hungry house appliances.


title: Cut finite element method for divergence free approximation of incompressible flow: a Lagrange multiplier approach

abstract: In this note we design a cut finite element method for a low order divergence free element applied to a boundary value problem subject to Stokes' equations. For the imposition of Dirichlet boundary conditions we consider either Nitsche's method or a stabilized Lagrange multiplier method. In both cases the normal component of the velocity is constrained using a multiplier, different from the standard pressure approximation. The divergence of the approximate velocities is pointwise zero over the whole mesh domain, and we derive optimal error estimates for the velocity and pressures, where the error constant is independent of how the physical domain intersects the computational mesh, and of the regularity of the pressure multiplier imposing the divergence free condition.


title: A Miniature 3-DoF Flexible Parallel Robotic Wrist Using NiTi Wires for Gastrointestinal Endoscopic Surgery

abstract: Gastrointestinal endoscopic surgery (GES) has high requirements for instruments' size and distal dexterity, because of the narrow endoscopic channel and long, tortuous human gastrointestinal tract. This paper utilized Nickel-Titanium (NiTi) wires to develop a miniature 3-DoF (pitch-yaw-translation) flexible parallel robotic wrist (FPRW). Additionally, we assembled an electric knife on the wrist's connection interface and then teleoperated it to perform an endoscopic submucosal dissection (ESD) on porcine stomachs. The effective performance in each ESD workflow proves that the designed FPRW has sufficient workspace, high distal dexterity, and high positioning accuracy.


title: Randomized Kaczmarz Method for Single Particle X-ray Image Phase Retrieval

abstract: In this paper, we investigate phase retrieval algorithm for the single particle X-ray imaging data. We present a variance-reduced randomized Kaczmarz (VR-RK) algorithm for phase retrieval. The VR-RK algorithm is inspired by the randomized Kaczmarz method and the Stochastic Variance Reduce Gradient Descent (SVRG) algorithm. Numerical experiments show that the VR-RK algorithm has a faster convergence rate than randomized Kaczmarz algorithm and the iterative projection phase retrieval methods, such as the hybrid input output (HIO) and the relaxed averaged alternating reflections (RAAR) methods. The VR-RK algorithm can recover the phases with higher accuracy, and is robust at the presence of noise. Experimental results on the scattering data from individual particles show that the VR-RK algorithm can recover phases and improve the single particle image identification.


title: A versatile stochastic dissemination model

abstract: This paper consider a highly general dissemination model that keeps track of the stochastic evolution of the distribution of wealth over a set of agents. There are two types of events: (i) units of wealth externally arrive, and (ii) units of wealth are redistributed among the agents, while throughout Markov modulation is allowed. We derive a system of coupled differential equations describing the joint transient distribution of the agents' wealth values, which translate into linear differential equations when considering the corresponding means and (co-)variances. While our model uses the (economic) terminology of wealth being distributed over agents, we illustrate through a series of examples that it can be used considerably more broadly. Indeed, it also facilitates the analysis of the spread of opinions over a population (thus generalizing existing opinion dynamics models), and the analysis of the dynamics of a file storage system (thus allowing the assessment of the efficacy of storage policies).