title: The Fermat-Torricelli problem in the case of three-point sets in normed planes

abstract: In the paper the Fermat-Torricelli problem is considered. The problem asks a point minimizing the sum of distances to arbitrarily given points in d-dimensional real normed spaces. Various generalizations of this problem are outlined, current methods of solving and some recent results in this area are presented. The aim of the article is to find an answer to the following question: in what norms on the plane is the solution of the Fermat-Torricelli problem unique for any three points. The uniqueness criterion is formulated and proved in the work, in addition, the application of the criterion on the norms set by regular polygons, the so-called lambda planes, is shown.


title: The magnetic Liouville equation as a semi-classical limit

abstract: The Liouville equation with non-constant magnetic field is obtained as a limit in the Planck constant \hbar of the Heisenberg equation with the same magnetic field. The convergence is with respect to an appropriate semi-classical pseudo distance, and consequently with respect to the Monge-Kantorovich distance. Uniform estimates both in \epsilon and \hbar are proved for the specific 2D case of a magnetic vector potential of the form \frac {1} {\epsilon}x^{\bot}. As an application, an observation inequality for the Heisenberg equation with a magnetic vector potential is obtained. These results are a magnetic variant of the works [7] and [8] respectively.


title: Classification for positive singular solutions to critical sixth order equations

abstract: We classify entire positive singular solutions to a family of critical sixth order equations in the punctured space with a non-removable singularity at the origin. More precisely, we show that when the origin is a non-removable singularity, solutions are given by a singular radial factor times a periodic solution to a sixth order IVP with constant coefficients. On the technical level, we combine integral sliding methods and qualitative analysis of ODEs, based on a conservation of energy result, to perform a topological two-parameter shooting technique. We first use the integral representation of our equation to run a moving spheres technique, which proves that solutions are radially symmetric with respect to the origin. Thus, in Emden--Fowler coordinates, we can reduce our problem to the study of an sixth order autonomous ODE with constant coefficients. The main heuristics behind our arguments is that since all the indicial roots of the ODE operator are positive, it can be decomposed into the composition of three second order operators satisfying a comparison principle. This allows us to define a Hamiltonian energy which is conserved along solutions, from which we extract their qualitative properties, such as uniqueness, boundedness, asymptotic behavior, and classification.


title: DCVQE: A Hierarchical Transformer for Video Quality Assessment

abstract: The explosion of user-generated videos stimulates a great demand for no-reference video quality assessment (NR-VQA). Inspired by our observation on the actions of human annotation, we put forward a Divide and Conquer Video Quality Estimator (DCVQE) for NR-VQA. Starting from extracting the frame-level quality embeddings (QE), our proposal splits the whole sequence into a number of clips and applies Transformers to learn the clip-level QE and update the frame-level QE simultaneously; another Transformer is introduced to combine the clip-level QE to generate the video-level QE. We call this hierarchical combination of Transformers as a Divide and Conquer Transformer (DCTr) layer. An accurate video quality feature extraction can be achieved by repeating the process of this DCTr layer several times. Taking the order relationship among the annotated data into account, we also propose a novel correlation loss term for model training. Experiments on various datasets confirm the effectiveness and robustness of our DCVQE model.


title: Quantum-classical tradeoffs and multi-controlled quantum gate decompositions in variational algorithms

abstract: The computational capabilities of near-term quantum computers are limited by the noisy execution of gate operations and a limited number of physical qubits. Hybrid variational algorithms are well-suited to near-term quantum devices because they allow for a wide range of tradeoffs between the amount of quantum and classical resources used to solve a problem. This paper investigates tradeoffs available at both the algorithmic and hardware levels by studying a specific case -- applying the Quantum Approximate Optimization Algorithm (QAOA) to instances of the Maximum Independent Set (MIS) problem. We consider three variants of the QAOA which offer different tradeoffs at the algorithmic level in terms of their required number of classical parameters, quantum gates, and iterations of classical optimization needed. Since MIS is a constrained combinatorial optimization problem, the QAOA must respect the problem constraints. This can be accomplished by using many multi-controlled gate operations which must be decomposed into gates executable by the target hardware. We study the tradeoffs available at this hardware level, combining the gate fidelities and decomposition efficiencies of different native gate sets into a single metric called the \textit{gate decomposition cost}.


title: Unsupervised Domain Adaptive Fundus Image Segmentation with Few Labeled Source Data

abstract: Deep learning-based segmentation methods have been widely employed for automatic glaucoma diagnosis and prognosis. In practice, fundus images obtained by different fundus cameras vary significantly in terms of illumination and intensity. Although recent unsupervised domain adaptation (UDA) methods enhance the models' generalization ability on the unlabeled target fundus datasets, they always require sufficient labeled data from the source domain, bringing auxiliary data acquisition and annotation costs. To further facilitate the data efficiency of the cross-domain segmentation methods on the fundus images, we explore UDA optic disc and cup segmentation problems using few labeled source data in this work. We first design a Searching-based Multi-style Invariant Mechanism to diversify the source data style as well as increase the data amount. Next, a prototype consistency mechanism on the foreground objects is proposed to facilitate the feature alignment for each kind of tissue under different image styles. Moreover, a cross-style self-supervised learning stage is further designed to improve the segmentation performance on the target images. Our method has outperformed several state-of-the-art UDA segmentation methods under the UDA fundus segmentation with few labeled source data.


title: A general efficiency relation for molecular machines

abstract: Living systems efficiently use chemical fuel to do work, process information, and assemble patterns despite thermal noise. Whether high efficiency arises from general principles or specific fine-tuning is unknown. Here, applying a recent mapping from nonequilibrium systems to battery-resistor circuits, I derive an analytic expression for the efficiency of any dissipative molecular machine driven by one or a series of chemical potential differences. This expression disentangles the chemical potential from the machine's details, whose effect on the efficiency is fully specified by a constant called the load resistance. The efficiency passes through a switch-like inflection point if the balance between chemical potential and load resistance exceeds thermal noise. Therefore, dissipative chemical engines qualitatively differ from heat engines, which lack threshold behavior. This explains all-or-none dynein stepping with increasing ATP concentration observed in single-molecule experiments. These results indicate that biomolecular energy transduction is efficient not because of idosyncratic optimization of the biomolecules themselves, but rather because the concentration of chemical fuel is kept above a threshold level within cells.


title: Mechanism of Structural Colors in Binary Mixtures of Nanoparticle-based Supraballs

abstract: Inspired by structural colors in avian species, various synthetic strategies have been developed to produce non-iridescent, saturated colors using nanoparticle assemblies. Mixtures of nanoparticles varying in particle chemistry (or complex refractive indices) and particle size have additional emergent properties that impact the color produced. For such complex multi-component systems, an understanding of assembled structure along with a robust optical modeling tool can empower scientists to perform intensive structure-color relationship studies and fabricate designer materials with tailored color. Here, we demonstrate how we can reconstruct the assembled structure from small-angle scattering measurements using the computational reverse-engineering analysis for scattering experiments (CREASE) method and then use the reconstructed structure in finite-difference time-domain (FDTD) calculations to predict color. We successfully, quantitatively predict experimentally observed color in mixtures containing strongly absorbing melanin nanoparticles and demonstrate the influence of a single layer of segregated nanoparticles on color produced. The versatile computational approach presented in this work is useful for engineering synthetic materials with desired colors without laborious trial and error experiments.


title: Parameter-Efficient Tuning with Special Token Adaptation

abstract: Parameter-efficient tuning aims at updating only a small subset of parameters when adapting a pretrained model to downstream tasks. In this work, we introduce PASTA, in which we only modify the special token representations (e.g., [SEP] and [CLS] in BERT) before the self-attention module at each layer in Transformer-based models. PASTA achieves comparable performance to full finetuning in natural language understanding tasks including text classification and NER with up to only 0.029% of total parameters trained. Our work not only provides a simple yet effective way of parameter-efficient tuning, which has a wide range of practical applications when deploying finetuned models for multiple tasks, but also demonstrates the pivotal role of special tokens in pretrained language models


title: KAM theorem on modulus of continuity about parameter

abstract: In this paper, we study the Hamiltonian systems $ H\left( {y,x,\xi ,\varepsilon } \right) = \left\langle {\omega \left( \xi \right),y} \right\rangle + \varepsilon P\left( {y,x,\xi ,\varepsilon } \right) $, where $ \omega $ and $ P $ are continuous about $ \xi $. We prove that persistent invariant tori possess the same frequency as the unperturbed tori, under certain transversality condition and weak convexity condition for the frequency mapping $ \omega $. As a direct application, we prove a KAM theorem when the perturbation $P$ holds arbitrary H\"{o}lder continuity with respect to parameter $ \xi $. The infinite dimensional case is also considered. To our knowledge, this is the first approach to the systems with the only continuity in parameter beyond H\"older's type.


title: Numerical Methods and Analysis of Computing Quasiperiodic Systems

abstract: Quasiperiodic systems are important space-filling ordered structures, without decay and translational invariance. How to solve quasiperiodic systems accurately and efficiently is of great challenge. A useful approach, the projection method (PM) [J. Comput. Phys., 256: 428, 2014], has been proposed to compute quasiperiodic systems. Various studies have demonstrated that the PM is an accurate and efficient method to solve quasiperiodic systems. However, there is a lack of theoretical analysis of PM. In this paper, we present a rigorous convergence analysis of the PM by establishing a mathematical framework of quasiperiodic functions and their high-dimensional periodic functions. We also give a theoretical analysis of quasiperiodic spectral method (QSM) based on this framework. Results demonstrate that PM and QSM both have exponential decay, and the QSM (PM) is a generalization of the periodic Fourier spectral (pseudo-spectral) method. Then we analyze the computational complexity of PM and QSM in calculating quasiperiodic systems. The PM can use fast Fourier transform, while the QSM cannot. Moreover, we investigate the accuracy and efficiency of PM, QSM and periodic approximation method in solving the linear time-dependent quasiperiodic Schr\"{o}dinger equation.


title: On the oscillations of the modulus of Rudin-Shapiro polynomials around the middle of their ranges

abstract: Let either $R_k(t) := |P_k(e^{it})|^2$ or $R_k(t) := |Q_k(e^{it})|^2$, where $P_k$ and $Q_k$ are the usual Rudin-Shapiro polynomials of degree $n-1$ with $n=2^k$. The graphs of $R_k$ on the period suggest many zeros of $R_k(t)-n$ in a dense fashion on the period. Let $N(I,R_k-n)$ denote the number of zeros of $R_k-n$ in an interval $I := [\alpha,\beta] \subset [0,2\pi]$. Improving earlier results stated only for $I := [0,2\pi]$, in this paper we show that $$\frac{n|I|}{8\pi} - \frac{2}{\pi} (2n\log n)^{1/2} - 1 \leq N(I,R_k-n) \leq \frac{n|I|}{\pi} + \frac{8}{\pi}(2n\log n)^{1/2}\,,\qquad k \geq 2\,,$$ for every $I := [\alpha,\beta] \subset [0,2\pi]$, where $|I| = \beta-\alpha$ denotes the length of the interval $I$.


title: Dosimetric Evaluation of a New Rotating Gamma System for Stereotactic Radiosurgery

abstract: Purpose: A novel rotating gamma stereotactic radiosurgery (SRS) system (Galaxy RTi) with real-time image guidance technology has been developed for high-precision SRS and frameless fractionated stereotactic radiotherapy (SRT). This work investigated the dosimetric quality of Galaxy by comparing both the machine treatment parameters and plan dosimetry parameters with those of the widely used Leksell Gamma Knife (LGK) systems for SRS. Methods: The Galaxy RTi system uses 30 cobalt-60 sources on a rotating gantry to deliver non-coplanar, non-overlapping arcs simultaneously while the LGK 4C uses 201 static cobalt-60 sources to deliver noncoplanar beams. Ten brain cancer patients were unarchived from our clinical database, which were previously treated on the LGK 4C. The lesion volume for these cases varied from 0.1 cm3 to 15.4 cm3. Galaxy plans were generated using the Prowess TPS (Prowess, Concord, CA) with the same dose constraints and optimization parameters. Treatment quality metrics such as target coverage (%volume receiving the prescription dose), conformity index (CI), cone size, shots number, beam-on time were compared together with DVH curves and dose distributions. Results: Superior treatment plans were generated for the Galaxy system that met our clinical acceptance criteria. For the 10 patients investigated, the mean CI and dose coverage for Galaxy was 1.77 and 99.24 compared to 1.94 and 99.19 for LGK, respectively. The beam-on time for Galaxy was 17.42 minutes compared to 21.34 minutes for LGK (both assuming dose rates at the initial installation). The dose fall-off is much faster for Galaxy, compared with LGK. Conclusion: The Galaxy RTi system can provide dose distributions with similar quality to that of LGK with less beam-on time and faster dose fall-off. The system is also capable of real-time image guidance at treatment position to ensure accurate dose delivery for SRS.


title: Discrete Breathers of Nonlinear Dimer Lattices: Bridging the Anti-continuous and Continuous Limits

abstract: In this work, we study the dynamics of an infinite array of nonlinear dimer oscillators which are linearly coupled as in the classical model of Su, Schrieffer and Heeger (SSH). The ratio of in-cell and out-of-cell couplings of the SSH model defines distinct $\textit{phases}$: topologically trivial and topologically non-trivial. We first consider the case of weak out-of-cell coupling, corresponding to the topologically trivial regime for linear SSH; for any prescribed isolated dimer frequency, $\omega_b$, which satisfies non-resonance and non-degeneracy assumptions, we prove that there are discrete breather solutions for sufficiently small values of the out-of-cell coupling parameter. These states are $2\pi/\omega_b$- periodic in time and exponentially localized in space. We then study the global continuation with respect to this coupling parameter. We first consider the case where $\omega_b$, the seeding discrete breather frequency, is in the (coupling dependent) phonon gap of the underlying linear infinite array. As the coupling is increased, the phonon gap decreases in width and tends to a point (at which the topological transition for linear SSH occurs). In this limit, the spatial scale of the discrete breather grows and its amplitude decreases, indicating the weakly nonlinear long wave regime. Asymptotic analysis shows that in this regime the discrete breather envelope is determined by a vector gap soliton of the limiting envelope equations. We use the envelope theory to describe discrete breathers for SSH- coupling parameters corresponding to topologically trivial and, by exploiting an emergent symmetry, topologically nontrivial regimes, when the spectral gap is small. Our asymptotic theory shows excellent agreement with extensive numerical simulations over a wide range of parameters.


title: Semi-supervised Semantic Segmentation with Prototype-based Consistency Regularization

abstract: Semi-supervised semantic segmentation requires the model to effectively propagate the label information from limited annotated images to unlabeled ones. A challenge for such a per-pixel prediction task is the large intra-class variation, i.e., regions belonging to the same class may exhibit a very different appearance even in the same picture. This diversity will make the label propagation hard from pixels to pixels. To address this problem, we propose a novel approach to regularize the distribution of within-class features to ease label propagation difficulty. Specifically, our approach encourages the consistency between the prediction from a linear predictor and the output from a prototype-based predictor, which implicitly encourages features from the same pseudo-class to be close to at least one within-class prototype while staying far from the other between-class prototypes. By further incorporating CutMix operations and a carefully-designed prototype maintenance strategy, we create a semi-supervised semantic segmentation algorithm that demonstrates superior performance over the state-of-the-art methods from extensive experimental evaluation on both Pascal VOC and Cityscapes benchmarks.


title: DeepMed: Semiparametric Causal Mediation Analysis with Debiased Deep Learning

abstract: Causal mediation analysis can unpack the black box of causality and is therefore a powerful tool for disentangling causal pathways in biomedical and social sciences, and also for evaluating machine learning fairness. To reduce bias for estimating Natural Direct and Indirect Effects in mediation analysis, we propose a new method called DeepMed that uses deep neural networks (DNNs) to cross-fit the infinite-dimensional nuisance functions in the efficient influence functions. We obtain novel theoretical results that our DeepMed method (1) can achieve semiparametric efficiency bound without imposing sparsity constraints on the DNN architecture and (2) can adapt to certain low dimensional structures of the nuisance functions, significantly advancing the existing literature on DNN-based semiparametric causal inference. Extensive synthetic experiments are conducted to support our findings and also expose the gap between theory and practice. As a proof of concept, we apply DeepMed to analyze two real datasets on machine learning fairness and reach conclusions consistent with previous findings.


title: Coherence-based operational nonclassicality criteria

abstract: The nonclassicality of quantum states is a fundamental resource for quantum technologies and quantum information tasks in general. In particular, a pivotal aspect of quantum states lies in their coherence properties, encoded in the nondiagonal terms of their density matrix in the Fock-state bosonic basis. We present operational criteria to detect the nonclassicality of individual quantum coherences that only use data obtainable in experimentally realistic scenarios. We analyze and compare the robustness of the nonclassical coherence aspects when the states pass through lossy and noisy channels. The criteria can be immediately applied to experiments with light, atoms, solid-state systems, and mechanical oscillators, thus providing a toolbox allowing practical experiments to more easily detect the nonclassicality of generated states.


title: Multidimensional probability inequalities via spherical symmetry

abstract: Spherical symmetry arguments are used to produce a general device to convert identities and inequalities for the $p$th absolute moments of real-valued random variables into the corresponding identities and inequalities for the $p$th moments of the norms of random vectors in Hilbert spaces. Particular results include the following: (i) an expression of the $p$th moment of the norm of such a random vector $X$ in terms of the characteristic functional of $X$; (ii) an extension of a previously obtained von~Bahr--Esseen-type inequality for real-valued random variables with the best possible constant factor to random vectors in Hilbert spaces, still with the best possible constant factor; (iii) an extension of a previously obtained inequality between measures of "contrast between populations" and "spread within populations" to random vectors in Hilbert spaces.


title: Multi-material topology optimization of adhesive backing layers via J-integral and strain energy minimizations

abstract: Strong adhesives rely on reduced stress concentrations, often obtained via specific geometry or composition of materials. In many examples in nature and engineering prototypes, the adhesive performance relies on structural rigidity being placed in specific locations. A few design principles have been formulated, based on parametric optimization, while a general design tool is still missing. We propose to use topology optimization to achieve optimal stiffness distribution in a multi-material adhesive backing layer, reducing stress concentration at specified locations. The method involves the minimization of a linear combination of J-integral and strain energy. While the J-integral minimization is aimed at reducing stress concentration, we observe that the combination of these two objectives ultimately provides the best results. We analyze three cases in plane strain conditions, namely (i) double-edged crack and (ii) center crack in tension and (iii) edge crack under shear. Each case evidences a different optimal topology with (i) and (ii) providing similar results. The optimal topology allocates stiffness in regions that are far away from the crack tip, intuitively, but the allocation of softer materials over stiffer ones can be non-trivial. To test our solutions, we plot the contact stress distribution across the interface. In all observed cases, we eliminate the stress singularity at the crack tip. Stress concentrations might arise in locations far away from the crack tip, but the final results are independent of crack size. Our method ultimately provides optimal, flaw tolerant, adhesives where the crack location is known.


title: LAPFormer: A Light and Accurate Polyp Segmentation Transformer

abstract: Polyp segmentation is still known as a difficult problem due to the large variety of polyp shapes, scanning and labeling modalities. This prevents deep learning model to generalize well on unseen data. However, Transformer-based approach recently has achieved some remarkable results on performance with the ability of extracting global context better than CNN-based architecture and yet lead to better generalization. To leverage this strength of Transformer, we propose a new model with encoder-decoder architecture named LAPFormer, which uses a hierarchical Transformer encoder to better extract global feature and combine with our novel CNN (Convolutional Neural Network) decoder for capturing local appearance of the polyps. Our proposed decoder contains a progressive feature fusion module designed for fusing feature from upper scales and lower scales and enable multi-scale features to be more correlative. Besides, we also use feature refinement module and feature selection module for processing feature. We test our model on five popular benchmark datasets for polyp segmentation, including Kvasir, CVC-Clinic DB, CVC-ColonDB, CVC-T, and ETIS-Larib


title: Complete characterization of s-bridge graphs with local antimagic chromatic number 2

abstract: An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $\chi_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, we characterize $s$-bridge graphs with local antimagic chromatic number 2.


title: Note on the dissipation for the general Muskat problem

abstract: We consider the dissipation of the Muskat problem and we give an elementary proof of a surprising inequality of Constantin-Cordoba-Gancedo-Strain which holds in greater generality.


title: On the paving size of a subfactor

abstract: Given an inclusion of II$_1$ factors $N\subset M$ with finite Jones index, $[M:N]<\infty$, we prove that for any $F\subset M$ finite and $\varepsilon >0$, there exists a partition of $1$ with $r\leq \lceil 16\varepsilon^{-2}\rceil$ $\cdot \lceil 4 [M:N]\varepsilon^{-2}\rceil$ projections $p_1, ..., p_r\in N$ such that $\|\sum_{i=1}^r p_ixp_i - E_{N'\cap M}(x)\|\leq \varepsilon \|x-E_{N'\cap M}(x)\|$, $\forall x\in F$ (where $\lceil \beta \rceil$ denotes the least integer $\geq \beta$). We consider a series of related invariants for $N\subset M$, generically called {\it paving size}.


title: Energy-efficient Reactive and Predictive Connected Cruise Control

abstract: In this paper, we propose a framework for the longitudinal control of connected and automated vehicles traveling in mixed traffic consisting of connected and non-connected human-driven vehicles. Reactive and predictive controllers are proposed. Reactive controllers are given by explicit feedback control laws. In predictive controllers, the control input is optimized in a receding-horizon fashion, which depends on the predictions of motions of preceding vehicles. Beyond-line-of-sight information is obtained via vehicle-to-vehicle (V2V) communication, and is utilized in the proposed reactive and predictive controllers. Simulations utilizing real traffic data are used to show that connectivity can bring significant energy savings.


title: Scaling Up Probabilistic Circuits by Latent Variable Distillation

abstract: Probabilistic Circuits (PCs) are a unified framework for tractable probabilistic models that support efficient computation of various probabilistic queries (e.g., marginal probabilities). One key challenge is to scale PCs to model large and high-dimensional real-world datasets: we observe that as the number of parameters in PCs increases, their performance immediately plateaus. This phenomenon suggests that the existing optimizers fail to exploit the full expressive power of large PCs. We propose to overcome such bottleneck by latent variable distillation: we leverage the less tractable but more expressive deep generative models to provide extra supervision over the latent variables of PCs. Specifically, we extract information from Transformer-based generative models to assign values to latent variables of PCs, providing guidance to PC optimizers. Experiments on both image and language modeling benchmarks (e.g., ImageNet and WikiText-2) show that latent variable distillation substantially boosts the performance of large PCs compared to their counterparts without latent variable distillation. In particular, on the image modeling benchmarks, PCs achieve competitive performance against some of the widely-used deep generative models, including variational autoencoders and flow-based models, opening up new avenues for tractable generative modeling.


title: Deep Learning for Logo Detection: A Survey

abstract: When logos are increasingly created, logo detection has gradually become a research hotspot across many domains and tasks. Recent advances in this area are dominated by deep learning-based solutions, where many datasets, learning strategies, network architectures, etc. have been employed. This paper reviews the advance in applying deep learning techniques to logo detection. Firstly, we discuss a comprehensive account of public datasets designed to facilitate performance evaluation of logo detection algorithms, which tend to be more diverse, more challenging, and more reflective of real life. Next, we perform an in-depth analysis of the existing logo detection strategies and the strengths and weaknesses of each learning strategy. Subsequently, we summarize the applications of logo detection in various fields, from intelligent transportation and brand monitoring to copyright and trademark compliance. Finally, we analyze the potential challenges and present the future directions for the development of logo detection to complete this survey.


title: Focus Plus: Detect Learner's Distraction by Web Camera in Distance Teaching

abstract: Distance teaching has become popular these years because of the COVID-19 epidemic. However, both students and teachers face several challenges in distance teaching, like being easy to distract. We proposed Focus+, a system designed to detect learners' status with the latest AI technology from their web camera to solve such challenges. By doing so, teachers can know students' status, and students can regulate their learning experience. In this research, we will discuss the expected model's design for training and evaluating the AI detection model of Focus+.


title: Polarisation of magnetospheric curvature radiation in repeating fast radio bursts

abstract: Fast radio busts (FRBs) can exhibit a wide variety of polarisation properties, not only between sources but also from burst to burst for a same one. In this work, we revisit the polarisation characters of coherent curvature radiation from a bulk of charged bunches in the magnetosphere of a highly magnetized neutron star. FRBs have been observed to have a variety of polarisation features, such as high levels of circular polarisation or a sign change of circular polarisation. High linear polarisation would appear when the line of sight is inside the emission beam (the on-beam geometry), whereas high circular polarisation would be present when it is outside (the off-beam geometry). By considering two scenarios of the ``bulk shapes'' (thick vs. thin), we apply the model to explain the polarisation features of three repeating FRBs (FRB 20201124A, FRB 20190520B and FRB 20121102A). Most bursts are dominated by linear polarisation and negligible events have sign changes in circular polarisation, suggesting that such FRBs are most likely to be emitted by the ``thin'' bulks with large opening angles. The higher probability of ``thin'' bulks could be meaningful for understanding repeating FRB central engine, i.e., the sparking dynamics to produce different bulks of energetic bunches on a neutron star surface.


title: Contrastive Bayesian Analysis for Deep Metric Learning

abstract: Recent methods for deep metric learning have been focusing on designing different contrastive loss functions between positive and negative pairs of samples so that the learned feature embedding is able to pull positive samples of the same class closer and push negative samples from different classes away from each other. In this work, we recognize that there is a significant semantic gap between features at the intermediate feature layer and class labels at the final output layer. To bridge this gap, we develop a contrastive Bayesian analysis to characterize and model the posterior probabilities of image labels conditioned by their features similarity in a contrastive learning setting. This contrastive Bayesian analysis leads to a new loss function for deep metric learning. To improve the generalization capability of the proposed method onto new classes, we further extend the contrastive Bayesian loss with a metric variance constraint. Our experimental results and ablation studies demonstrate that the proposed contrastive Bayesian metric learning method significantly improves the performance of deep metric learning in both supervised and pseudo-supervised scenarios, outperforming existing methods by a large margin.


title: Minimum critical velocity of a Gaussian obstacle in a Bose-Einstein condensate

abstract: When a superfluid flows past an obstacle, quantized vortices can be created in the wake above a certain critical velocity. In the experiment by Kwon et al. [Phys. Rev. A 91, 053615 (2015)], the critical velocity $v_c$ was measured for atomic Bose-Einstein condensates (BECs) using a moving repulsive Gaussian potential and $v_c$ was minimized when the potential height $V_0$ of the obstacle was close to the condensate chemical potential $\mu$. Here we numerically investigate the evolution of the critical vortex shedding in a two-dimensional BEC with increasing $V_0$ and show that the minimum $v_c$ at the critical strength $V_{0c}\approx \mu$ results from the local density reduction and vortex pinning effect of the repulsive obstacle. The spatial distribution of the superflow around the moving obstacle just below $v_c$ is examined. The particle density at the tip of the obstacle decreases as $V_0$ increases to $V_{c0}$ and at the critical strength, a vortex dipole is suddenly formed and dragged by the moving obstacle, indicating the onset of vortex pinning. The minimum $v_c$ exhibits power-law scaling with the obstacle size $\sigma$ as $v_c\sim \sigma^{-\gamma}$ with $\gamma\approx 1/2$.


title: Modeling and Mining Multi-Aspect Graphs With Scalable Streaming Tensor Decomposition

abstract: Graphs emerge in almost every real-world application domain, ranging from online social networks all the way to health data and movie viewership patterns. Typically, such real-world graphs are big and dynamic, in the sense that they evolve over time. Furthermore, graphs usually contain multi-aspect information i.e. in a social network, we can have the "means of communication" between nodes, such as who messages whom, who calls whom, and who comments on whose timeline and so on. How can we model and mine useful patterns, such as communities of nodes in that graph, from such multi-aspect graphs? How can we identify dynamic patterns in those graphs, and how can we deal with streaming data, when the volume of data to be processed is very large? In order to answer those questions, in this thesis, we propose novel tensor-based methods for mining static and dynamic multi-aspect graphs. In general, a tensor is a higher-order generalization of a matrix that can represent high-dimensional multi-aspect data such as time-evolving networks, collaboration networks, and spatio-temporal data like Electroencephalography (EEG) brain measurements. The thesis is organized in two synergistic thrusts: First, we focus on static multi-aspect graphs, where the goal is to identify coherent communities and patterns between nodes by leveraging the tensor structure in the data. Second, as our graphs evolve dynamically, we focus on handling such streaming updates in the data without having to re-compute the decomposition, but incrementally update the existing results.


title: Finite-time self-similar rupture in a generalized elastohydrodynamic lubrication model

abstract: Thin film rupture is a type of nonlinear instability that causes the solution to touch down to zero at finite time. We investigate the finite-time rupture behavior of a generalized elastohydrodynamic lubrication model. This model features the interplay between destabilizing disjoining pressure and stabilizing elastic bending pressure and surface tension. The governing equation is a sixth-order nonlinear degenerate parabolic partial differential equation parameterized by exponents in the mobility function and the disjoining pressure, respectively. Asymptotic self-similar finite-time rupture solutions governed by a sixth-order leading-order equation are analyzed. In the weak elasticity limit, transient self-similar dynamics governed by a fourth-order similarity equation are also identified.


title: Predicting Blossom Date of Cherry Tree With Support Vector Machine and Recurrent Neural Network

abstract: Our project probes the relationship between temperatures and the blossom date of cherry trees. Through modeling, future flowering will become predictive, helping the public plan travels and avoid pollen season. To predict the date when the cherry trees will blossom exactly could be viewed as a multiclass classification problem, so we applied the multi-class Support Vector Classifier (SVC) and Recurrent Neural Network (RNN), particularly Long Short-term Memory (LSTM), to formulate the problem. In the end, we evaluate and compare the performance of these approaches to find out which one might be more applicable in reality.


title: Probing Formation of Double Neutron Star Binaries around 1mHz with LISA

abstract: We propose a novel method to examine whether Galactic double neutron star binaries are formed in the LISA band. In our method, we assign an effective time fraction $\tau$ to each double neutron star binary detected by LISA. This fraction is given as a function of the observed orbital period and eccentricity and should be uniformly distributed in the absence of in-band binary formation. Applying statistical techniques such as the Kolmogorov-Smirnov test to the actual list of $\tau$, we can inspect the signature of the in-band binary formation. We discuss the prospects of this method, paying close attention to the available sample number of Galactic double neutron star binaries around 1mHz.


title: Andreev processes in mesoscopic multi-terminal graphene Josephson junctions

abstract: There is growing interest in using multi-terminal Josephson junctions (MTJJs) as a platform to artificially emulate topological phases and to investigate complex superconducting mechanisms such as quartet and multiplet Cooper pairings. Current experimental signatures in MTJJs have led to conflicting interpretations of the salient features. In this work, we report a collaborative experimental and theoretical investigation of graphene-based four-terminal Josephson junctions. We observe resonant features in the differential resistance maps that resemble those ascribed to multiplet Cooper pairings. To understand these features, we model our junctions using a circuit network of coupled two-terminal resistively and capacitively shunted junctions (RCSJs). Under appropriate bias current, the model predicts that a current flowing between two diagonal terminals in a four-terminal geometry may be represented as a sinusoidal function of a weighted sum of the superconducting phases. We show that starting from a semi-classical model with diffusive current-phase relations, the MTJJ effectively emulates a general form of the expected current-phase relation for multiplet Cooper pairings. Our study therefore suggests that differential resistance measurements alone are insufficient to conclusively distinguish resonant Andreev reflection processes from semi-classical circuit-network effects.


title: When to encourage using Gaussian regression for feature selection tasks with time-to-event outcome

abstract: IMPORTANCE: Feature selection with respect to time-to-event outcomes is one of the fundamental problems in clinical trials and biomarker discovery studies. But it's unclear which statistical methods should be used when sample size is small or some of the key covariates are not measured. DESIGN: In this simulation study, the true models are multivariate Cox proportional hazards models with 10 covariates. It's assumed that only 5 out the 10 true features are observed/measured for all model fitting, along with 5 random noise features. Each sample size scenario is explored using 10,000 simulation datasets. Eight regression models are applied to each dataset to estimate feature effects, including both regularized Gaussian regression (elastic net penalty) and regularized Cox regression (glmnet Cox). RESULTS: If the covariates are highly correlated Gaussian, the Gaussian regression of log-transformed survival time with only two covariates outperforms all tested Cox regression models when total number of events <500.


title: Accelerating the Delivery of Data Services over Uncertain Mobile Crowdsensing Networks

abstract: The challenge of exchanging and processing of big data over mobile crowdsensing (MCS) networks calls for designing seamless data service provisioning mechanisms to enable utilization of resources of mobile devices/users for crowdsensing tasks. Although conventional onsite spot trading of resources based on real-time network conditions can facilitate data sharing, it often suffers from prohibitively long service provisioning delays and unavoidable trading failures due to requiring timely analysis of dynamic network environment. These limitations motivate us to investigate an integrated forward and spot trading mechanism (iFAST), which entails a novel hybrid data trading protocol with time efficiency, over uncertain MCS ecosystems. In iFAST, the sellers (i.e., mobile devices who can contribute data) can provide long-term or temporary sensing services to the buyers (i.e., sensing tasks). Specifically, it enables signing long-term contracts in advance of future transactions through a forward trading mode, via analyzing historical statistics of the network/market, for which the notion of overbooking is introduced and promoted. iFAST further encourages the buyers with unsatisfying service quality to recruit temporary sellers through a spot trading mode, considering the current network/market conditions. We analyze the fundamental blocks of iFAST and provide a case study to demonstrate its performance. Inspirations for future research directions of next-generation sensing and communication are summarized.


title: Simulations of Surface X-ray Diffraction from a Monolayer 4He Film Adsorbed on Graphite

abstract: We carried out simulations of crystal truncation rod (CTR) scatterings, i.e., one of the surface X-ray diffraction techniques with atomic resolution, from a monolayer He film adsorbed on graphite. Our simulations reveal that the 00L rod scatterings from the He monolayer exhibit notable intensity modifications for those from a graphite surface in the ranges of approximately L = 0.6 - 1.7 and L = 2.2 - 3.5. The height of the He monolayer from the graphite surface largely affects the CTR scattering profiles, indicating that CTR scatterings have enough sensitivities to determine the surface structure of the various phases in the He layer. In particular, in the incommensurate solid phase, our preliminary experimental data show the intensity modulations that are expected from the present simulations.


title: Non-Bloch bands in two-dimensional non-Hermitian systems

abstract: The non-Bloch band theory can describe energy bands in a one-dimensional (1D) non-Hermitian system. On the other hand, whether the non-Bloch band theory can be extended to higher-dimensional non-Hermitian systems is nontrivial. In this work, we construct the non-Bloch band theory in two classes of two-dimensional non-Hermitian systems, by reducing the problem to that for a 1D non-Hermitian model. In these classes of systems, we get the generalized Brillouin zone for a complex wavevector and investigate topological properties. In the model of the non-Hermitian Chern insulator, as an example, we show the bulk-edge correspondence between the Chern number defined from the generalized Brillouin zone and the appearance of the edge states.


title: Asynchronous Collaborative Autoscanning with Mode Switching for Multi-Robot Scene Reconstruction

abstract: When conducting autonomous scanning for the online reconstruction of unknown indoor environments, robots have to be competent at exploring scene structure and reconstructing objects with high quality. Our key observation is that different tasks demand specialized scanning properties of robots: rapid moving speed and far vision for global exploration and slow moving speed and narrow vision for local object reconstruction, which are referred as two different scanning modes: explorer and reconstructor, respectively. When requiring multiple robots to collaborate for efficient exploration and fine-grained reconstruction, the questions on when to generate and how to assign those tasks should be carefully answered. Therefore, we propose a novel asynchronous collaborative autoscanning method with mode switching, which generates two kinds of scanning tasks with associated scanning modes, i.e., exploration task with explorer mode and reconstruction task with reconstructor mode, and assign them to the robots to execute in an asynchronous collaborative manner to highly boost the scanning efficiency and reconstruction quality. The task assignment is optimized by solving a modified Multi-Depot Multiple Traveling Salesman Problem (MDMTSP). Moreover, to further enhance the collaboration and increase the efficiency, we propose a task-flow model that actives the task generation and assignment process immediately when any of the robots finish all its tasks with no need to wait for all other robots to complete the tasks assigned in the previous iteration. Extensive experiments have been conducted to show the importance of each key component of our method and the superiority over previous methods in scanning efficiency and reconstruction quality.


title: Fractional and scaled Brownian motion on the sphere: The effects of long-time correlations on navigation strategies

abstract: We analyze \emph{fractional Brownian motion} and \emph{scaled Brownian motion} on the two-dimensional sphere $\mathbb{S}^{2}$. We find that the intrinsic long time correlations that characterize fractional Brownian motion collude with the specific dynamics (\emph{navigation strategies}) carried out on the surface giving rise to rich transport properties. We focus our study on two classes of navigation strategies: one induced by a specific set of coordinates chosen for $\mathbb{S}^2$ (we have chosen the spherical ones in the present analysis), for which we find that contrary to what occurs in the absence of such long-time correlations, \emph{non-equilibrium stationary distributions} are attained. These results resemble those reported in confined flat spaces in one and two dimensions [Guggenberger {\it et al.} New J. Phys. 21 022002 (2019), Vojta {\it et al.} Phys. Rev. E 102, 032108 (2020)], however in the case analyzed here, there are no boundaries that affects the motion on the sphere. In contrast, when the navigation strategy chosen corresponds to a frame of reference moving with the particle (a Frenet-Serret reference system), then the \emph{equilibrium} \emph{distribution} on the sphere is recovered in the long-time limit. For both navigation strategies, the relaxation times towards the stationary distribution depend on the particular value of the Hurst parameter. We also show that on $\mathbb{S}^{2}$, scaled Brownian motion, distinguished by a time-dependent diffusion coefficient with a power-scaling, is independent of the navigation strategy finding a good agreement between the analytical calculations obtained from the solution of a time-dependent diffusion equation on $\mathbb{S}^{2}$, and the numerical results obtained from our numerical method to generate ensemble of trajectories.


title: Superconducting transmon qubit-resonator quantum battery

abstract: Quantum battery (QB) is the miniature energy storage and release device and plays a crucial role in future quantum technology. Here, an implementation scheme of a QB is proposed on a superconducting circuit which is composed by $N$ coupled transmon qubits and a one-dimensional transmission line resonator. We derive the Hamiltonian of the QB system and investigate its charging performance by considering three decay channels. We find that the presence of the decay channels suppresses the high oscillation of the energy storage process, thereby realizing a stable and powerful QB. In particular, compared with the resonator decay and the qubit relaxation, the qubit dephasing shows a counterintuitive advantage in our QB. We show that the nearest neighbor interaction always have a positive impact on the stable energy and the coupling only significantly influences the maximum charging power in the fully nondegenerate ground state region. We also demonstrate the feasibility of our approach by evaluating the QB performance under experimental parameters.


title: A Spectral Classification System for Hydrogen-deficient Carbon Stars

abstract: Stellar spectral classification has been highly useful in the study of stars. While there is a currently accepted spectral classification system for carbon stars, the subset of Hydrogen-deficient Carbon (HdC) stars has not been well described by such a system, due predominantly to their rarity and their variability. Here we present the first system for the classification of HdCs based on their spectra, which is made wholly on their observable appearance. We use a combination of dimensionality reduction and clustering algorithms with human classification to create such a system with eight total classes corresponding to temperature, and an additional second axis corresponding to the carbon molecular band strength. We classify over half of the known sample of HdC stars using this, and roughly calibrate the temperatures of each class using their colors. Additionally, we express trends in the occurrence of certain spectral peculiarities such as the presence of Hydrogen and Lithium lines. We also present three previously unpublished spectra, report the discovery of two new Galactic dustless HdC (dLHdC) stars and additionally discuss one especially unique star that appears to border between the hottest HdCs and the coolest Extreme Helium (EHe) stars.


title: Self-explaining Hierarchical Model for Intraoperative Time Series

abstract: Major postoperative complications are devastating to surgical patients. Some of these complications are potentially preventable via early predictions based on intraoperative data. However, intraoperative data comprise long and fine-grained multivariate time series, prohibiting the effective learning of accurate models. The large gaps associated with clinical events and protocols are usually ignored. Moreover, deep models generally lack transparency. Nevertheless, the interpretability is crucial to assist clinicians in planning for and delivering postoperative care and timely interventions. Towards this end, we propose a hierarchical model combining the strength of both attention and recurrent models for intraoperative time series. We further develop an explanation module for the hierarchical model to interpret the predictions by providing contributions of intraoperative data in a fine-grained manner. Experiments on a large dataset of 111,888 surgeries with multiple outcomes and an external high-resolution ICU dataset show that our model can achieve strong predictive performance (i.e., high accuracy) and offer robust interpretations (i.e., high transparency) for predicted outcomes based on intraoperative time series.


title: Making Information More Valuable

abstract: We study what changes to an agent's decision problem increase her value for information. We prove that information becomes more valuable if and only if the agent's reduced-form payoff in her belief becomes more convex. When the transformation corresponds to the addition of an action, the requisite increase in convexity occurs if and only if a simple geometric condition holds, which extends in a natural way to the addition of multiple actions. We apply these findings to two scenarios: a monopolistic screening problem in which the good is information and delegation with information acquisition.


title: Gluing simple-minded collections in triangulated categories

abstract: We provide a technique to glue simple-minded collections along a recollement of Hom-finite Krull-Schmidt triangulated categories over a field. This gluing technique for simple-minded collections is shown to be compatible with those for gluing bounded $t$-structures, silting objects, and co-$t$-structures in the literature. Furthermore, it also enjoys the properties of preserving partial order and commuting with the operation of mutation.


title: Whittaker coefficients of geometric Eisenstein series

abstract: Geometric Langlands predicts an isomorphism between Whittaker coefficients of Eisenstein series and functions on the moduli space of $\check{N}$-local systems. We prove this formula by interpreting Whittaker coefficients of Eisenstein series as factorization homology and then invoking Beilinson and Drinfeld's formula for chiral homology of a chiral enveloping algebra.


title: Quantification of Pollen Viability in Lantana camara By Digital Holographic Microscopy

abstract: Pollen grains represent the male gametes of seed plants and their viability is critical for efficient sexual reproduction in the plant life cycle. Pollen analysis is used in diverse research thematics to address a range of botanical, ecological and geological questions. More recently it has been recognized that pollen may also be a vector for transgene escape from genetically modified crops, and the importance of pollen viability in invasion biology has also been emphasized. In this work, we analyse and report an efficient visual method for assessing the viability of pollen using digital holographic microscopy (DHM). We test this method on pollen grains of the invasive Lantana camara, a well known plant invader known to most of the tropical world. We image pollen grains and show that the quantitative phase information provided by the DHM technique can be readily related to the chromatin content of the individual cells and thereby to pollen viability. Our results offer a new technique for pollen viability assessment that does not require staining, and can be applied to a number of emerging areas in plant science.


title: Expertise diversity of teams predicts originality and long-term impact in science and technology

abstract: Despite the growing importance of teams in producing innovative and high-impact science and technology, it remains unclear how expertise diversity among team members relates to the originality and impact of the work they produce. Here, we develop a new method to quantify the expertise distance of researchers based on their prior career histories and apply it to 23 million scientific publications and 4 million patents. We find that across science and technology, expertise-diverse teams tend to produce work with greater originality. Teams with more diverse expertise have no significant impact advantage in the short- (2 years) or mid-term (5 years). Instead, they exhibit substantially higher long-term impact (10 years), increasingly attracting larger cross-disciplinary influence. This impact premium of expertise diversity among team members becomes especially pronounced when other dimensions of team diversity are missing, as teams within the same institution or country appear to disproportionately reap the benefits of expertise diversity. While gender-diverse teams have relatively higher impact on average, teams with varied levels of gender diversity all seem to benefit from increased expertise diversity. Given the growing knowledge demands on individual researchers, implementation of incentives for original research, and the tradeoffs between short-term and long-term impacts, these results may have implications for funding, assembling, and retaining teams with originality and long-lasting impacts.


title: Computational Search for Two-Dimensional Photocatalysts

abstract: To overcome current serious energy and environmental issues, photocatalytic water splitting holds great promise because it requires only solar energy as an energy input to produce hydrogen. Two-dimensional (2D) semiconductors and heterostructures possess several inherent advantages which are more suitable for boosting solar energy than their bulk counterparts. In this work, by performing high-throughput first-principles calculations combined with a semiempirical van der Waals dispersion correction, we first provided the periodic table of band alignment type for van der Waals heterostructures when packing any two of the 260 semiconductor monolayers obtained from our 2D semiconductor database (2DSdb) (https://materialsdb.cn/2dsdb/index.html). Based on the rules of thumb for photocatalytic water splitting, we have further screened dozens of potential semiconductors and thousands of heterostructures which are promising for photocatalytic water splitting. The resulting database would provide a useful guidance for experimentalists to design suitable 2D vdWHs and photocatalysts according to desired applications.


title: Spanning bipartite quadrangulations of triangulations of the projective plane

abstract: We completely characterize triangulations of the projective plane that have a spanning bipartite quadrangulation subgraph. This is an affirmative answer to a question by K\"undgen and Ramamurthi (J Combin Theory Ser B 85, 307--337, 2002) for the projective planar case.


title: Mixed neutron-star-plus-wormhole systems: Rotating configurations

abstract: We present rapidly rotating neutron stars featuring wormholes in their centers. They arise in general relativity in the presence of a ghost scalar field. The nuclear matter is described by a polytropic equation of state, yielding realistic masses and radii for the neutron stars. The wormholes possess small circumferential radii of size up to 3 km. With increasing wormhole size, the masses and radii of the stars decrease, while the domain of existence of these rotating mixed neutron-star-plus-wormhole systems retains the characteristic properties of a rotating neutron star domain. The question of stability of the mixed configurations under consideration is briefly discussed.


title: Mapping the Pathways of Photo-induced Ion Migration in Organic-inorganic Hybrid Halide Perovskites

abstract: Organic-inorganic hybrid perovskites (OIHPs) exhibiting exceptional photovoltaic and optoelectronic properties are of fundamental and practical interest, owing to their tunability and low manufacturing cost. For practical applications, however, challenges such as material instability and the photocurrent hysteresis occurring in perovskite solar cells under light exposure need to be understood and addressed. While extensive investigations have suggested that ion migration is a plausible origin of these detrimental effects, detailed understanding of the ion migration pathways remains elusive. Here, we report the characterization of photo-induced ion migration in OIHPs using \textit{in situ} laser illumination inside a scanning electron microscope, coupled with secondary electron imaging, energy-dispersive X-ray spectroscopy and cathodoluminescence with varying primary electron energies. Using methylammonium lead iodide (MAPbI$_3$), formamidinium lead iodide (FAPbI$_3$) and hybrid formamidinium-methylammonium lead iodide as model systems, we observed photo-induced long-range migration of halide ions over hundreds of micrometers and elucidated the transport pathways of various ions both near the surface and inside the bulk of the OIHPs, including a surprising finding of the vertical migration of lead ions. Our study provides insights into ion migration processes in OIHPs that can aid OIHP material design and processing in future applications.


title: Asymmetric Temperature Scaling Makes Larger Networks Teach Well Again

abstract: Knowledge Distillation (KD) aims at transferring the knowledge of a well-performed neural network (the {\it teacher}) to a weaker one (the {\it student}). A peculiar phenomenon is that a more accurate model doesn't necessarily teach better, and temperature adjustment can neither alleviate the mismatched capacity. To explain this, we decompose the efficacy of KD into three parts: {\it correct guidance}, {\it smooth regularization}, and {\it class discriminability}. The last term describes the distinctness of {\it wrong class probabilities} that the teacher provides in KD. Complex teachers tend to be over-confident and traditional temperature scaling limits the efficacy of {\it class discriminability}, resulting in less discriminative wrong class probabilities. Therefore, we propose {\it Asymmetric Temperature Scaling (ATS)}, which separately applies a higher/lower temperature to the correct/wrong class. ATS enlarges the variance of wrong class probabilities in the teacher's label and makes the students grasp the absolute affinities of wrong classes to the target class as discriminative as possible. Both theoretical analysis and extensive experimental results demonstrate the effectiveness of ATS. The demo developed in Mindspore is available at https://gitee.com/lxcnju/ats-mindspore and will be available at https://gitee.com/mindspore/models/tree/master/research/cv/ats.


title: A Simple Baseline that Questions the Use of Pretrained-Models in Continual Learning

abstract: With the success of pretraining techniques in representation learning, a number of continual learning methods based on pretrained models have been proposed. Some of these methods design continual learning mechanisms on the pre-trained representations and only allow minimum updates or even no updates of the backbone models during the training of continual learning. In this paper, we question whether the complexity of these models is needed to achieve good performance by comparing them to a simple baseline that we designed. We argue that the pretrained feature extractor itself can be strong enough to achieve a competitive or even better continual learning performance on Split-CIFAR100 and CoRe 50 benchmarks. To validate this, we conduct a very simple baseline that 1) use the frozen pretrained model to extract image features for every class encountered during the continual learning stage and compute their corresponding mean features on training data, and 2) predict the class of the input based on the nearest neighbor distance between test samples and mean features of the classes; i.e., Nearest Mean Classifier (NMC). This baseline is single-headed, exemplar-free, and can be task-free (by updating the means continually). This baseline achieved 88.53% on 10-Split-CIFAR-100, surpassing most state-of-the-art continual learning methods that are all initialized using the same pretrained transformer model. We hope our baseline may encourage future progress in designing learning systems that can continually add quality to the learning representations even if they started from some pretrained weights.


title: DeepHS-HDRVideo: Deep High Speed High Dynamic Range Video Reconstruction

abstract: Due to hardware constraints, standard off-the-shelf digital cameras suffers from low dynamic range (LDR) and low frame per second (FPS) outputs. Previous works in high dynamic range (HDR) video reconstruction uses sequence of alternating exposure LDR frames as input, and align the neighbouring frames using optical flow based networks. However, these methods often result in motion artifacts in challenging situations. This is because, the alternate exposure frames have to be exposure matched in order to apply alignment using optical flow. Hence, over-saturation and noise in the LDR frames results in inaccurate alignment. To this end, we propose to align the input LDR frames using a pre-trained video frame interpolation network. This results in better alignment of LDR frames, since we circumvent the error-prone exposure matching step, and directly generate intermediate missing frames from the same exposure inputs. Furthermore, it allows us to generate high FPS HDR videos by recursively interpolating the intermediate frames. Through this work, we propose to use video frame interpolation for HDR video reconstruction, and present the first method to generate high FPS HDR videos. Experimental results demonstrate the efficacy of the proposed framework against optical flow based alignment methods, with an absolute improvement of 2.4 PSNR value on standard HDR video datasets [1], [2] and further benchmark our method for high FPS HDR video generation.


title: Mirror of Orbifold Singularities in the Hitchin Fibration: the case $(\text{SL}_n,\text{PGL}_n)$

abstract: We study the geometry of singular $\text{SL}_n$-Hitchin fibres over the elliptic locus. We show that orbifold singularities appear in the $\text{PGL}_n$-moduli space $M^{ell}(\text{PGL}_n)$ exactly when the $\text{SL}_n$ side $M^{ell}(\text{SL}_n)$ has a reducible Hitchin fibre. Our main theorem shows that the Fourier-Mukai transform of a skyscraper sheaf supported at an orbifold singularity in $M^{ell}(\text{PGL}_n)$ satisfies a version of the fractional Hecke eigenproperty, as conjectured by Frenkel and Witten.


title: Scientific Machine Learning for Modeling and Simulating Complex Fluids

abstract: The formulation of rheological constitutive equations -- models that relate internal stresses and deformations in complex fluids -- is a critical step in the engineering of systems involving soft materials. While data-driven models provide accessible alternatives to expensive first-principles models and less accurate empirical models in many engineering disciplines, the development of similar models for complex fluids has lagged. The diversity of techniques for characterizing non-Newtonian fluid dynamics creates a challenge for classical machine learning approaches, which require uniformly structured training data. Consequently, early machine learning constitutive equations have not been portable between different deformation protocols or mechanical observables. Here, we present a data-driven framework that resolves such issues, allowing rheologists to construct learnable models that incorporate essential physical information, while remaining agnostic to details regarding particular experimental protocols or flow kinematics. These scientific machine learning models incorporate a universal approximator within a materially objective tensorial constitutive framework. By construction, these models respect physical constraints, such as frame-invariance and tensor symmetry, required by continuum mechanics. We demonstrate that this framework facilitates the rapid discovery of accurate constitutive equations from limited data, and that the learned models may be used to describe more kinematically complex flows. This inherent flexibility admits the application of these 'digital fluid twins' to a range of material systems and engineering problems. We illustrate this flexibility by deploying a trained model within a multidimensional computational fluid dynamics simulation -- a task that is not achievable using any previously developed data-driven rheological equation of state.


title: Spectral Geometric Verification: Re-Ranking Point Cloud Retrieval for Metric Localization

abstract: In large-scale metric localization, an incorrect result during retrieval will lead to an incorrect pose estimate or loop closure. Re-ranking methods propose to take into account all the top retrieval candidates and re-order them to increase the likelihood of the top candidate being correct. However, state-of-the-art re-ranking methods are inefficient when re-ranking many potential candidates due to their need for resource intensive point cloud registration between the query and each candidate. In this work, we propose an efficient spectral method for geometric verification (named SpectralGV) that does not require registration. We demonstrate how the optimal inter-cluster score of the correspondence compatibility graph of two point clouds represents a robust fitness score measuring their spatial consistency. This score takes into account the subtle geometric differences between structurally similar point clouds and therefore can be used to identify the correct candidate among potential matches retrieved by global similarity search. SpectralGV is deterministic, robust to outlier correspondences, and can be computed in parallel for all potential candidates. We conduct extensive experiments on 5 large-scale datasets to demonstrate that SpectralGV outperforms other state-of-the-art re-ranking methods and show that it consistently improves the recall and pose estimation of 3 state-of-the-art metric localization architectures while having a negligible effect on their runtime. The open-source implementation and trained models are available at: https://github.com/csiro-robotics/SpectralGV.


title: Taming "McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H(@)

abstract: In the present article, we extend the fragment of inductive formulas for the hybrid language L(@) in [8] including a McKinsey-like formula, and show that every formula in the extended class has a first-order correspondent, by modifying the algorithm hybrid-ALBA in [8]. We also identify a subclass of this extended inductive fragment, namely the extended skeletal formulas, which extend the class of skeletal formulas in [8], each formula in which axiomatize a complete hybrid logic. Our proof method here is proof-theoretic, following [10, 19] and [3, Chapter 14], in contrast to the algebraic proof in [8].


title: Improving Code Review with GitHub Issue Tracking

abstract: Software quality is an important problem for technology companies, since it substantially impacts the efficiency, usefulness, and maintainability of the final product; hence, code review is a must-do activity for software developers. During the code review process, senior engineers monitor other developers' work to spot possible problems and enforce coding standards. One of the most widely used open-source software platforms, GitHub, attracts millions of developers who use it to store their projects. This study aims to analyze code quality on GitHub from the standpoint of code reviews. We examined the code review process using GitHub's Issues Tracker, which allows team members to evaluate, discuss, and share their opinions on the proposed code before it is approved. Based on our analysis, we present a novel approach for improving the code review process by promoting regularity and community involvement.


title: Creating a Dynamic Quadrupedal Robotic Goalkeeper with Reinforcement Learning

abstract: We present a reinforcement learning (RL) framework that enables quadrupedal robots to perform soccer goalkeeping tasks in the real world. Soccer goalkeeping using quadrupeds is a challenging problem, that combines highly dynamic locomotion with precise and fast non-prehensile object (ball) manipulation. The robot needs to react to and intercept a potentially flying ball using dynamic locomotion maneuvers in a very short amount of time, usually less than one second. In this paper, we propose to address this problem using a hierarchical model-free RL framework. The first component of the framework contains multiple control policies for distinct locomotion skills, which can be used to cover different regions of the goal. Each control policy enables the robot to track random parametric end-effector trajectories while performing one specific locomotion skill, such as jump, dive, and sidestep. These skills are then utilized by the second part of the framework which is a high-level planner to determine a desired skill and end-effector trajectory in order to intercept a ball flying to different regions of the goal. We deploy the proposed framework on a Mini Cheetah quadrupedal robot and demonstrate the effectiveness of our framework for various agile interceptions of a fast-moving ball in the real world.


title: Motion Compensated Self Supervised Deep Learning for Highly Accelerated 3D Ultrashort Echo Time Pulmonary MRI

abstract: Purpose: To investigate motion compensated, self-supervised, model based deep learning (MBDL) as a method to reconstruct free breathing, 3D Pulmonary ultrashort echo time (UTE) acquisitions. Theory and Methods: A self-supervised eXtra Dimension MBDL architecture (XD-MBDL) was developed that combined respiratory states to reconstruct a single high-quality 3D image. Non-rigid, GPU based motion fields were incorporated into this architecture by estimating motion fields from a low resolution motion resolved (XD-GRASP) iterative reconstruction. Motion Compensated XD-MBDL was evaluated on lung UTE datasets with and without contrast and was compared to constrained reconstructions and variants of self-supervised MBDL that do not consider respiratory motion. Results: Images reconstructed using XD-MBDL demonstrate improved image quality as measured by apparent SNR, CNR and visual assessment relative to self-supervised MBDL approaches that do not account for dynamic respiratory states, XD-GRASP and a recently proposed motion compensated iterative reconstruction strategy (iMoCo). Additionally, XD-MBDL reduced reconstruction time relative to both XD-GRASP and iMoCo. Conclusion: A method was developed to allow self-supervised MBDL to combine multiple respiratory states to reconstruct a single image. This method was combined with GPU-based image registration to further improve reconstruction quality. This approach showed promising results reconstructing a user-selected respiratory phase from free breathing 3D pulmonary UTE acquisitions.


title: The SCUBA-2 Cosmology Legacy Survey: The EGS deep field -- III. The evolution of faint submillimeter galaxies at $z<4$

abstract: We present a demographic analysis of the physical and morphological properties of $450/850~\mu\rm m$-selected galaxies from the deep observations of the SCUBA-2 Cosmology Legacy Survey in the Extended Groth Strip that are detected below the classical submillimeter-galaxy regime ($S_{850 \mu\rm m}\lesssim 6~\rm mJy$/beam) and compare them with a sample of optically-selected star-forming galaxies detected in the Cosmic Assembly Near-infrared Deep Extragalactic Legacy Survey in the same field. We derive the evolution of the main sequence of star-forming galaxies, finding a steeper specific star formation rate versus stellar mass at $z>2.5$ than previous studies. Most faint submillimeter-galaxies fall within $3\sigma$ of the main sequence, but 40~per cent are classified as starbursts. Faint submillimeter galaxies have 50~per cent larger sizes at $2<z<3$ than optically-selected star-forming galaxies of the same mass range. This is also the redshift bin where we find the largest fraction of starbursts, and hence we could be witnessing merging processes, as confirmed by the preference for visual-morphology classifications of these systems as irregular disk galaxies and mergers. Both populations show an increment towards lower redshifts ($z<2$) of their concentration in $H$-band morphology, but faint submillimeter galaxies on average show larger concentration values at later times. These findings support the claim that faint submillimeter galaxies are mostly a population of massive dust-obscured disk-like galaxies that develop larger bulge components at later epochs. While the similarities are great, the median sizes, starburst numbers and $H$-band concentration of faint submillimeter galaxies differ from those of optically-selected star-forming galaxies of the same stellar mass.


title: Weighted Berwald's Inequality

abstract: The inequality of Berwald is a reverse-H\"older like inequality for the $p$th average, $p\in (-1,\infty),$ of a non-negative, concave function over a convex body in $\mathbb{R}^n.$ We prove Berwald's inequality for averages of functions with respect to measures that have some concavity conditions, e.g. $s$-concave measures, $s\in \mathbb{R}.$ We also obtain equality conditions; in particular, this provides a new proof for the equality conditions of the classical inequality of Berwald. As applications, we generalize a number of classical bounds for the measure of the intersection of a convex body with a half-space and also the concept of radial means bodies and the projection body of a convex body.


title: The Heisenberg covering of the Fermat curve

abstract: For $N$ integer $\ge1$, K. Murty and D. Ramakrishnan defined the $N$-th Heisenberg curve, as the compactified quotient $X'_N$ of the upper half-plane by a certain non-congruence subgroup of the modular group. They ask whether the Manin-Drinfeld principle holds, namely if the divisors supported on the cusps of those curves are torsion in the Jacobian. We give a model over ${\bf Z}[\mu_N,1/N]$ of the $N$-th Heisenberg curve as covering of the $N$-th Fermat curve. We show that the Manin-Drinfeld principle holds for $N=3$, but not for $N=5$. We show that the description by generator and relations due to Rohrlich of the cuspidal subgroup of the Fermat curve is explained by the Heisenberg covering, together with a higher covering of a similar nature. The curves $X_N$ and the classical modular curves $X(n)$, for $n$ even integer, both dominate $X(2)$, which produces a morphism between jacobians $J_N\rightarrow J(n)$. We prove that the latter has image $0$ or an elliptic curve of $j$-invariant $0$. In passing, we give a description of the homology of $X'_{N}$.


title: An Approximation-Based Regularized Extra-Gradient Method for Monotone Variational Inequalities

abstract: In this paper, we propose a general extra-gradient scheme for solving monotone variational inequalities (VI), referred to here as Approximation-based Regularized Extra-gradient method (ARE). The first step of ARE solves a VI subproblem with an approximation operator satisfying a $p^{th}$-order Lipschitz bound with respect to the original mapping, further coupled with the gradient of a $(p+1)^{th}$-order regularization. The optimal global convergence is guaranteed by including an additional extra-gradient step, while a $p^{th}$-order superlinear local convergence is shown to hold if the VI is strongly monotone. The proposed ARE is inclusive and general, in the sense that a variety of solution methods can be formulated within this framework as different manifestations of approximations, and their iteration complexities would follow through in a unified fashion. The ARE framework relates to the first-order methods, while opening up possibilities to developing higher-order methods specifically for structured problems that guarantee the optimal iteration complexity bounds.


title: Fault-Tolerant Strassen-Like Matrix Multiplication

abstract: In this study, we propose a simple method for fault-tolerant Strassen-like matrix multiplications. The proposed method is based on using two distinct Strassen-like algorithms instead of replicating a given one. We have realized that using two different algorithms, new check relations arise resulting in more local computations. These local computations are found using computer aided search. To improve performance, special parity (extra) sub-matrix multiplications (PSMMs) are generated (two of them) at the expense of increasing communication/computation cost of the system. Our preliminary results demonstrate that the proposed method outperforms a Strassen-like algorithm with two copies and secures a very close performance to three copy version using only 2 PSMMs, reducing the total number of compute nodes by around 24\% i.e., from 21 to 16.


title: DPAR: Decoupled Graph Neural Networks with Node-Level Differential Privacy

abstract: Graph Neural Networks (GNNs) have achieved great success in learning with graph-structured data. Privacy concerns have also been raised for the trained models which could expose the sensitive information of graphs including both node features and the structure information. In this paper, we aim to achieve node-level differential privacy (DP) for training GNNs so that a node and its edges are protected. Node DP is inherently difficult for GNNs because all direct and multi-hop neighbors participate in the calculation of gradients for each node via layer-wise message passing and there is no bound on how many direct and multi-hop neighbors a node can have, so existing DP methods will result in high privacy cost or poor utility due to high node sensitivity. We propose a Decoupled GNN with Differentially Private Approximate Personalized PageRank (DPAR) for training GNNs with an enhanced privacy-utility tradeoff. The key idea is to decouple the feature projection and message passing via a DP PageRank algorithm which learns the structure information and uses the top-$K$ neighbors determined by the PageRank for feature aggregation. By capturing the most important neighbors for each node and avoiding the layer-wise message passing, it bounds the node sensitivity and achieves improved privacy-utility tradeoff compared to layer-wise perturbation based methods. We theoretically analyze the node DP guarantee for the two processes combined together and empirically demonstrate better utilities of DPAR with the same level of node DP compared with state-of-the-art methods.


title: Don't Copy the Teacher: Data and Model Challenges in Embodied Dialogue

abstract: Embodied dialogue instruction following requires an agent to complete a complex sequence of tasks from a natural language exchange. The recent introduction of benchmarks (Padmakumar et al., 2022) raises the question of how best to train and evaluate models for this multi-turn, multi-agent, long-horizon task. This paper contributes to that conversation, by arguing that imitation learning (IL) and related low-level metrics are actually misleading and do not align with the goals of embodied dialogue research and may hinder progress. We provide empirical comparisons of metrics, analysis of three models, and make suggestions for how the field might best progress. First, we observe that models trained with IL take spurious actions during evaluation. Second, we find that existing models fail to ground query utterances, which are essential for task completion. Third, we argue evaluation should focus on higher-level semantic goals.


title: Vector valued Beurling algebra analogues of Wiener's Theorem

abstract: Let $0<p\leq 1$, $\omega$ be a weight on $\mathbb Z$, and let $\mathcal A$ be a unital Banach algebra. If $f$ is a continuous function from the unit circle $\mathbb T$ to $\mathcal A$ such that $\sum_{n\in \mathbb Z} \|\widehat f(n)\|^p \omega(n)^p<\infty$ and $f(z)$ is left invertible for all $z \in \mathbb T$, then there is a weight $\nu$ on $\mathbb Z$ and a continuous function $g:\mathbb T \to \mathcal A$ such that $1\leq \nu \leq \omega$, $\nu$ is constant if and only if $\omega$ is constant, $g$ is a left inverse of $f$ and $\sum_{n\in \mathbb Z}\|\widehat g(n)\|^p\nu(n)^p<\infty$. We shall obtain a similar result when $\omega$ is an almost monotone algebra weight and $1<p<\infty$. We shall obtain an analogue of this result on the real line. We shall apply these results to obtain $p-$power weighted analogues of the results of off diagonal decay of infinite matrices of operators.


title: Enumerating Stable Nanopores in Graphene and their Geometrical Properties Using the Combinatorics of Hexagonal Lattices

abstract: Nanopores in two-dimensional (2D) materials, including graphene, can be used for a variety of applications, such as gas separations, water desalination, and DNA sequencing. So far, however, all plausible isomeric shapes of graphene nanopores have not been enumerated. Instead, a probabilistic approach has been followed to predict nanopore shapes in 2D materials, due to the exponential increase in the number of nanopores as the size of the vacancy increases. For example, there are 12 possible isomers when N=6 atoms are removed, a number that theoretically increases to 11.7 million when N=20 atoms are removed from the graphene lattice. The development of a smaller, exhaustive dataset of stable nanopore shapes can help future experimental and theoretical studies focused on using nanoporous 2D materials in various applications. In this work, we use the theory of 2D triangular "lattice animals" to create a library of all stable graphene nanopore shapes based on a modification of a well-known algorithm in the mathematical combinatorics of polyforms known as Redelmeier's algorithm. We show that there exists a correspondence between graphene nanopores and triangular polyforms (called polyiamonds) as well as hexagonal polyforms (called polyhexes). We develop the concept of a polyiamond ID to identify unique nanopore isomers. We also use concepts from polyiamond and polyhex geometry to eliminate unstable nanopores containing dangling atoms, bonds, and moieties. The exclusion of such unstable nanopores leads to a remarkable reduction in the possible nanopores from 11.7 million for N=20 to only 0.184 million nanopores, thereby indicating that the number of stable nanopores is almost two orders of magnitude lower and is much more tractable. Not only that, by extracting the polyhex outline, our algorithm allows searching for nanopores with dimensions and shape factors in a specified range.


title: Dimensional synthesis of spatial manipulators for velocity and force transmission for operation around a specified task point

abstract: Dimensional synthesis refers to design of the dimensions of manipulators by optimising different kinds of performance indices. The motivation of this study is to perform dimensional synthesis for a wide set of spatial manipulators by optimising the manipulability of each manipulator around a pre-defined task point in the workspace and to finally give a prescription of manipulators along with their dimensions optimised for velocity and force transmission. A systematic method to formulate Jacobian matrix of a manipulator is presented. Optimisation of manipulability is performed for manipulation of the end-effector around a chosen task point for 96 1-DOF manipulators, 645 2-DOF manipulators, 8 3-DOF manipulators and 15 4-DOF manipulators taken from the result of enumeration of manipulators that is done in its companion paper devoted to enumeration of possible manipulators up to a number of links. Prescriptions for these sets of manipulators are presented along with their scaled condition numbers and their ordered indices. This gives the designer a prescription of manipulators with their optimised dimensions that reflects the performance of the end-effector around the given task point for velocity and force transmission.


title: CrowdChecked: Detecting Previously Fact-Checked Claims in Social Media

abstract: While there has been substantial progress in developing systems to automate fact-checking, they still lack credibility in the eyes of the users. Thus, an interesting approach has emerged: to perform automatic fact-checking by verifying whether an input claim has been previously fact-checked by professional fact-checkers and to return back an article that explains their decision. This is a sensible approach as people trust manual fact-checking, and as many claims are repeated multiple times. Yet, a major issue when building such systems is the small number of known tweet--verifying article pairs available for training. Here, we aim to bridge this gap by making use of crowd fact-checking, i.e., mining claims in social media for which users have responded with a link to a fact-checking article. In particular, we mine a large-scale collection of 330,000 tweets paired with a corresponding fact-checking article. We further propose an end-to-end framework to learn from this noisy data based on modified self-adaptive training, in a distant supervision scenario. Our experiments on the CLEF'21 CheckThat! test set show improvements over the state of the art by two points absolute. Our code and datasets are available at https://github.com/mhardalov/crowdchecked-claims


title: Strong Variational Sufficiency for Nonlinear Semidefinite Programming and its Implications

abstract: Strong variational sufficiency is a newly proposed property, which turns out to be of great use in the convergence analysis of multiplier methods. However, what this property implies for non-polyhedral problems remains a puzzle. In this paper, we prove the equivalence between the strong variational sufficiency and the strong second order sufficient condition (SOSC) for nonlinear semidefinite programming (NLSDP), without requiring the uniqueness of multiplier or any other constraint qualifications. Based on this characterization, the local convergence property of the augmented Lagrangian method (ALM) for NLSDP can be established under strong SOSC in the absence of constraint qualifications. Moreover, under the strong SOSC, we can apply the semi-smooth Newton method to solve the ALM subproblems of NLSDP as the positive definiteness of the generalized Hessian of augmented Lagrangian function is satisfied.


title: RTSDF: Generating Signed Distance Fields in Real Time for Soft Shadow Rendering

abstract: Signed Distance Fields (SDFs) for surface representation are commonly generated offline and subsequently loaded into interactive applications like games. Since they are not updated every frame, they only provide a rigid surface representation. While there are methods to generate them quickly on GPU, the efficiency of these approaches is limited at high resolutions. This paper showcases a novel technique that combines jump flooding and ray tracing to generate approximate SDFs in real-time for soft shadow approximation, achieving prominent shadow penumbras while maintaining interactive frame rates.


title: Height moduli on cyclotomic stacks and counting elliptic curves over function fields

abstract: For proper stacks, unlike schemes, there is a distinction between rational and integral points. Moreover, rational points have extra automorphism groups. We show that these distinctions exactly account for the lower order main terms appearing in precise counts of elliptic curves over function fields, answering a question of Venkatesh in this case. More generally, using the theory of twisted stable maps and the stacky height functions recently introduced by Ellenberg, Zureick-Brown, and the third author, we construct finite type moduli spaces which parametrize rational points of fixed height on a large class of stacks, so-called cyclotomic stacks. The main tool is a correspondence between rational points, twisted maps and weighted linear series. Along the way, we obtain the Northcott property as well as a generalization of Tate's algorithm for cyclotomic stacks, and compute the exact motives of these moduli spaces for weighted projective stacks.


title: Self-move and Other-move: Quantum Categorical Foundations of Japanese

abstract: The purpose of this work is to contribute toward the larger goal of creating a Quantum Natural Language Processing (QNLP) translator program. This work contributes original diagrammatic representations of the Japanese language based on prior work that accomplished on the English language based on category theory. The germane differences between the English and Japanese languages are emphasized to help address English language bias in the current body of research. Additionally, topological principles of these diagrams and many potential avenues for further research are proposed. Why is this endeavor important? Hundreds of languages have developed over the course of millennia coinciding with the evolution of human interaction across time and geographic location. These languages are foundational to human survival, experience, flourishing, and living the good life. They are also, however, the strongest barrier between people groups. Over the last several decades, advancements in Natural Language Processing (NLP) have made it easier to bridge the gap between individuals who do not share a common language or culture. Tools like Google Translate and DeepL make it easier than ever before to share our experiences with people globally. Nevertheless, these tools are still inadequate as they fail to convey our ideas across the language barrier fluently, leaving people feeling anxious and embarrassed. This is particularly true of languages born out of substantially different cultures, such as English and Japanese. Quantum computers offer the best chance to achieve translation fluency in that they are better suited to simulating the natural world and natural phenomenon such as natural speech. Keywords: category theory, DisCoCat, DisCoCirc, Japanese grammar, English grammar, translation, topology, Quantum Natural Language Processing, Natural Language Processing


title: Bounds for canonical Green's functions at cusps

abstract: Let $\Gamma$ be a cofinite Fuchsian subgroup. The canonical Green's function associated with $\Gamma$ arises in Arakelov theory when establishing asymptotics for Arakelov invariants of the modular curve associated with some congruence subgroup of level $N$ with a positive integer $N$. More precisely, in the known cases, canonical Green's functions at certain cusps contribute to the analytic part of the asymptotics for the self-intersection of the relative dualizing sheaf. In this article, we prove canonical Green's function of a cofinite Fuchsian subgroup at cusps bounded by the scattering constants, the Kronecker limit functions, and the Selberg zeta function of the group $\Gamma$. Then as an application, we prove an asymptotic expression of the canonical Green's function associated with $\Gamma_0(N)$, for any positive integer $N$.


title: Deep Learning in Spatially Resolved Transcriptomics: A Comprehensive Technical View

abstract: Spatially resolved transcriptomics (SRT) has evolved rapidly through various technologies, enabling scientists to investigate both morphological contexts and gene expression profiling at single-cell resolution in parallel. SRT data are complex and multi-modal, comprising gene expression matrices, spatial information, and often high-resolution histology images. Because of this complexity and multi-modality, sophisticated computational algorithms are required to accurately analyze SRT data. Most efforts in this domain have been made to utilize conventional machine learning and statistical approaches, exhibiting sub-optimal results due to the complicated nature of SRT datasets. To address these shortcomings, researchers have recently employed deep learning algorithms including various state-of-the-art methods mainly in spatial clustering, spatially variable gene identification, and alignment. While great progress has been made in developing deep learning-based models for SRT data analysis, further improvement is still needed to create more biologically aware models that consider aspects such as phylogeny-aware clustering or the analysis of small histology image patches. Additionally, strategies for batch effect removal, normalization, and handling overdispersion and zero inflation patterns of gene expression are still needed in the analysis of SRT data using deep learning methods. In this paper, we provide a comprehensive overview of these deep learning methods, including their strengths and limitations. We also highlight new frontiers, current challenges, limitations, and open questions in this field. Also, we provide a comprehensive list of all available SRT databases that can be used as an extensive resource for future studies.


title: The Generalized Lipkin-Meshkov-Glick Model and the Modified Algebraic Bethe Ansatz

abstract: We show that the Lipkin-Meshkov-Glick $2N$-fermion model is a particular case of one-spin Gaudin-type model in an external magnetic field corresponding to a limiting case of non-skew-symmetric elliptic $r$-matrix and to an external magnetic field directed along one axis. We propose an exactly-solvable generalization of the Lipkin-Meshkov-Glick fermion model based on the Gaudin-type model corresponding to the same $r$-matrix but arbitrary external magnetic field. This model coincides with the quantization of the classical Zhukovsky-Volterra gyrostat. We diagonalize the corresponding quantum Hamiltonian by means of the modified algebraic Bethe ansatz. We explicitly solve the corresponding Bethe-type equations for the case of small fermion number $N=1,2$.


title: Degeneration of Kahler polarizations to mixed polarizations on toric varieties

abstract: Let $(X, \omega, J)$ be a toric variety of dimension $2n$ determined by a Delzant polytope. In this paper, we first construct the polarizations $\shP_{k}$ by the Hamiltonian $T^{k}$-action on $X$ (see Theorem 3.11). We will show that $\shP_{k}$ is a singular mixed polarization for $1\le k < n$, and $\shP_{n}$ is a singular real polarization which coincides with the real polarization studied in \cite{BFMN} on the open dense subset of $X$. Then for each $1\le k \le n$, we will find a one-parameter family of K\"ahler polarizations $\shP_{k,t}$ on $X$ that converges to $\shP_{k}$ (see Theorem 3.12). Finally, we will show that $\shH_{k,t}^{T}$ the space of $T^{k}$-invariant $J_{k,t}$-holomorphic sections converges to $\shH_{k}^{0}$ (see Theorem 3.18).


title: The Guilty (Silicon) Mind: Blameworthiness and Liability in Human-Machine Teaming

abstract: As human science pushes the boundaries towards the development of artificial intelligence (AI), the sweep of progress has caused scholars and policymakers alike to question the legality of applying or utilising AI in various human endeavours. For example, debate has raged in international scholarship about the legitimacy of applying AI to weapon systems to form lethal autonomous weapon systems (LAWS). Yet the argument holds true even when AI is applied to a military autonomous system that is not weaponised: how does one hold a machine accountable for a crime? What about a tort? Can an artificial agent understand the moral and ethical content of its instructions? These are thorny questions, and in many cases these questions have been answered in the negative, as artificial entities lack any contingent moral agency. So what if the AI is not alone, but linked with or overseen by a human being, with their own moral and ethical understandings and obligations? Who is responsible for any malfeasance that may be committed? Does the human bear the legal risks of unethical or immoral decisions by an AI? These are some of the questions this manuscript seeks to engage with.