title: Obstructions of extension of vector bundles

abstract: In the holomorphic or algebraic setting we consider a vector bundle E on a smooth subvariety X in a smooth variety Y over a field of characteristic zero. Assuming E extends to the l-th neighborhood of X in Y, we study cohomological obstructions to extending it further to the k-th neighborhood, for k > l.


title: Off-resonant modulated driving gate protocols for two-photon ground-Rydberg transition and finite Rydberg blockade strength

abstract: Recently, the notion of two-qubit controlled phase gate via off-resonant modulated driving has been introduced into the neutral atom qubit platform, with respect to both single-photon and two-photon ground-Rydberg transitions. In order to reach a better performance practically, further developments are in need to overcome a few known limitations in previous discussions of this promising method. Here, we thoroughly analyze a variety of modulation styles for two-photon transitions, demonstrating the versatility of off-resonant modulated driving protocols. Furthermore, we show that it is possible to refine the designing process for improved performances for specific finite Rydberg blockade strength values. In particular, a reduced requirement on the blockade strength can be directly linked to an improvement of connectivity in qubit array of neutral atoms. These progress are closely related to the core feature that the atomic wave function acquires a geometric phase from the time evolution, which begins and finishes at the same quantum state. Under reasonable experimental conditions readily available nowadays, we anticipate that the fidelity of such protocols can reach as high as the essential requirement of NISQ even if the effects of technical errors and cold atoms' nonzero temperatures are considered.


title: Extension of Zorn's lemma to arbitrary binary relations

abstract: In this note, the Zorn lemma is extended to arbitrary binary relations and thus the Zorn lemma can do for optimization when the transitivity is broken. Zorn's extended lemma can be used to prove existence theorems of generalized solution concepts for binary relations that do not have maximal elements.


title: Closed cap condition under the cap construction algorithm

abstract: Every polygon $P$ can be companioned by a cap polygon $\hat P$ such that $P$ and $\hat P$ serve as two parts of the boundary surface of a polyhedron $V$. Pairs of vertices on $P$ and $\hat P$ are identified successively to become vertices of $V$. In this paper, we study the cap construction that asserts equal angular defects at these pairings. We exhibit a linear relation that arises from the cap construction algorithm, which in turn demonstrates an abundance of polygons that satisfy the closed cap condition, that is, those that can successfully undergo the cap construction process.


title: Low-mass extension of direct detection bounds on WIMP-quark and WIMP-gluon effective interactions using the Migdal effect

abstract: Updating a previous analysis where we used elastic nuclear recoils we study the Migdal effect to extend to low WIMP masses the direct detection bounds to operators up to dimension 7 of the relativistic effective field theory describing WIMP interactions with quarks and gluons. To this aim we include in our analysis the data of the XENON1T, SuperCDMS, COSINE-100, and DarkSide-50 experiments and assume a standard Maxwellian for the WIMP velocity distribution. We find that the bounds can reach down to a WIMP mass $\simeq$20 MeV, although in the case of higher-dimension operators the energy scale of the ensuing constraints may be inconsistent with the validity of the effective theory.


title: Paradoxes and resolutions for semiparametric fusion of individual and summary data

abstract: Suppose we have available individual data from an internal study and various types of summary statistics from relevant external studies. External summary statistics have been used as constraints on the internal data distribution, which promised to improve the statistical inference in the internal data; however, the additional use of external summary data may lead to paradoxical results: efficiency loss may occur if the uncertainty of summary statistics is not negligible and large estimation bias can emerge even if the bias of external summary statistics is small. We investigate these paradoxical results in a semiparametric framework. We establish the semiparametric efficiency bound for estimating a general functional of the internal data distribution, which is shown to be no larger than that using only internal data. We propose a data-fused efficient estimator that achieves this bound so that the efficiency paradox is resolved. Besides, a debiased estimator is further proposed which has selection consistency property by employing adaptive lasso penalty so that the resultant estimator can achieve the same asymptotic distribution as the oracle one that uses only unbiased summary statistics, which resolves the bias paradox. Simulations and application to a Helicobacter pylori infection dataset are used to illustrate the proposed methods.


title: Integrating Conventional Headway Control with Reinforcement Learning to Avoid Bus Bunching

abstract: Bus bunching is a natural-occurring phenomenon that undermines the efficiency and stability of the public transportation system. The mainstream solutions control the bus to intentionally stay longer at certain stations. Existing control methods include conventional methods that provide a formula to calculate the control time and reinforcement learning (RL) methods that determine the control policy through repeated interactions with the system. In this paper, we propose an integrated proximal policy optimization model with dual-headway (IPPO-DH). IPPO-DH integrates the conventional headway control with reinforcement learning, so that it acquires the advantages of both algorithms -- it is more efficient in normal environments and more stable in harsh ones. To demonstrate such an advantage, we design a bus simulation environment and compare IPPO-DH with RL and several conventional methods. The results show that the proposed model maintains the application value of the conventional method by avoiding the instability of the RL method in certain environments, and improves the efficiency compared with the conventional control, shedding new light on real-world bus transit system optimization.


title: Neurino Cadence of TXS~0506+056 Consistent with Supermassive Binary Origin

abstract: On September 18, 2022, an alert by ceCube indicated that a ~170TeV neutrino arrived in directional coincidence with the blazar TXS 0506+056. This event adds to two previous ones: a neutrino alert from its direction on September 22, 2017, and a 3sigma signature of a dozen neutrinos in 2014/2015. deBruijn 2020 showed that these two previous neutrino emission episodes could be due to a supermassive binary black hole (SMBBH) where jet precession close to final coalescence results in periodic emission. This model predicted a new emission episode consistent with the September 18, 2022 neutrino observation. Here, we show that the neutrino cadence of TXS 0506+056 is consistent with a SMBBH origin with mass ratios q<0.3 for a total black hole mass of M>3e8Msun. For the first time, we calculate the characteristic strain of the gravitational wave emission of the binary, and show that the merger could be detectable by LISA for black hole masses <5e8Msun if the mass ratios are in the range 0.1<q<0.3. We predict that there can be a neutrino flare existing in the still to be analyzed IceCube data peaking some time between 08/2019 and 01/2021 if a precessing jet is responsible for all three detected emission episodes. The next flare is expected to peak in the period 01/2023 to 08/2026. Further observation will make it possible to constrain the mass ratio as a function of the black hole mass more precisely and would open the window toward the preparation of the detection of SMBBH mergers.


title: Digital Library Initiatives in North East India: A Survey

abstract: This is a survey of digital library initiative of North East India. The recent initiative by the government of India towards the digitization is reflected in various digitation programs. The secondary sources of data are used to map the 16 digital library initiatives in eight north east state of India. The study has observed that digital library in true sense is perhaps lacking. Many of the digital libraries are not accessible from the outside and lack regular maintenance. In this context, a national level policy initiative is the need of the hour including various stakeholders from the academics, library professionals etc. The study also comes up with various important observations and policy suggestions which may be helpful for scholar, librarians, policy and decision makers in the government.


title: Learning-Based Adaptive Optimal Control of Linear Time-Delay Systems: A Policy Iteration Approach

abstract: This paper studies the adaptive optimal control problem for a class of linear time-delay systems described by delay differential equations (DDEs). A crucial strategy is to take advantage of recent developments in reinforcement learning and adaptive dynamic programming and develop novel methods to learn adaptive optimal controllers from finite samples of input and state data. In this paper, the data-driven policy iteration (PI) is proposed to solve the infinite-dimensional algebraic Riccati equation (ARE) iteratively in the absence of exact model knowledge. Interestingly, the proposed recursive PI algorithm is new in the present context of continuous-time time-delay systems, even when the model knowledge is assumed known. The efficacy of the proposed learning-based control methods is validated by means of practical applications arising from metal cutting and autonomous driving.


title: Borsuk-Ulam property and Sectional Category

abstract: For a Hausdorff space $X$, a free involution $\tau:X\to X$ and a Hausdorff space $Y$, we discover a connection between the sectional category of the double covers $q:X\to X/\tau$ and $q^Y:F(Y,2)\to D(Y,2)$ from the ordered configuration space $F(Y,2)$ to its unordered quotient $D(Y,2)=F(Y,2)/\Sigma_2$, and the Borsuk-Ulam property (BUP) for the triple $\left((X,\tau);Y\right)$. Explicitly, we demonstrate that the triple $\left((X,\tau);Y\right)$ satisfies the BUP if the sectional category of $q$ is bigger than the sectional category of $q^Y$. This property connects a standard problem in Borsuk-Ulam theory to current research trends in sectional category. As an application of our results, we show that the index of $(X,\tau)$ coincides with the sectional category of the quotient map $q:X\to X/\tau$ minus 1 for any paracompact space $X$. In addition, we present some new results relating Borsuk-Ulam theory and sectional category.


title: India Based Neutrino Observatory, Physics Reach and Status Report

abstract: The India-based Neutrino Observatory (INO) is a proposed underground facility located in India that will primarily house the magnetised Iron CALorimeter (ICAL) detector to study atmospheric neutrinos produced by interactions of cosmic rays with Earth's atmosphere. The physics goal is to to make precision measurements of the neutrino mixing and oscillation parameters through such a study. We present here the results from detailed simulations studies, as well as a status report on the project. In particular, we highlight the sensitivity of ICAL to the open issue of the neutrino mass ordering, which can be determined {\it independent of the CP phase} at ICAL.


title: A minimum semi-degree condition for unpaired many-to-many disjoint path covers in digraphs

abstract: For a digraph $D$, let $\delta^{0}(D) = \min \{\delta^{+}(D), \delta^{-}(D)\}$ be the minimum semi-degree of $D$. A set of $k$ vertex-disjoint paths, $\{P_{1}, \dots, P_{k}\}$, joining a disjoint source set $S = \{s_{1}, \dots, s_{k}\}$ and sink set $T = \{t_{1}, \dots, t_{k}\}$ is called an unpaired many-to-many $k$-disjoint directed path cover ($k$-DDPC for short) of $D$, if each $P_{j}$ joins $s_{j}$ and $t_{\sigma(j)}$ for some permutation $\sigma$ on $\{1, \dots , k\}$ and $\bigcup^{k}_{j=1} V(P_{j}) = V(D)$. In this paper, we give a new proof for the following result that every digraph $D$ with $\delta^{0}(D) \geq \lceil (n+k) / 2 \rceil$ has an unpaired many-to-many $k$-DDPC joining any disjoint source set $S$ and sink set $T$, where $S = \{s_{1}, \dots, s_{k}\}$ and $T = \{t_{1}, \dots, t_{k}\}$. Moreover, we show that the bound on the minimum semi-degree is best possible when $n \geq 3k$.


title: Summing free unitary Brownian motions with applications to quantum information

abstract: Motivated by quantum information theory, we introduce a dynamical random state built out of the sum of $k \geq 2$ independent unitary Brownian motions. In the large size limit, its spectral distribution equals, up to a normalising factor, that of the free Jacobi process associated with a single self-adjoint projection with trace $1/k$. Using free stochastic calculus, we extend this equality to the radial part of the free average of $k$ free unitary Brownian motions and to the free Jacobi process associated with two self-adjoint projections with trace $1/k$, provided the initial distributions coincide. In the single projection case, we derive a binomial-type expansion of the moments of the free Jacobi process which extends to any $k \geq 3$ the one derived in \cite {DHH} in the special case $k=2$. Doing so give rise to a non normal (except for $k=2$) operator arising from the splitting of a self-adjoint projection into the convex sum of $k$ unitary operators. This binomial expansion is then used to derive a pde for the moment generating function of this non normal operator and for which we determine the corresponding characteristic curves.


title: The Cowen-Douglas Theory for Operator Tuples and Similarity

abstract: We are concerned with the similarity problem for Cowen-Douglas operator tuples. The unitary equivalence counterpart was already investigated in the 1970's and geometric concepts including vector bundles and curvature appeared in the description. As the Cowen-Douglas conjecture show, the study of the similarity problem has not been so successful until quite recently. The latest results reveal the close correlation between complex geometry, the corona problem, and the similarity problem for single Cowen-Douglas operators. Without making use of the corona theorems that no longer hold in the multi-variable setting, we prove that the single operator results for similarity remain true for commuting Cowen-Douglas operator tuples as well.


title: Behaviour of the normalized depth function

abstract: Let $I\subset S=K[x_1,\dots,x_n]$ be a squarefree monomial ideal, $K$ a field. The $k$th squarefree power $I^{[k]}$ of $I$ is the monomial ideal of $S$ generated by all squarefree monomials belonging to $I^k$. The biggest integer $k$ such that $I^{[k]}\ne(0)$ is called the monomial grade of $I$ and it is denoted by $\nu(I)$. Let $d_k$ be the minimum degree of the monomials belonging to $I^{[k]}$. Then, $\text{depth}(S/I^{[k]})\ge d_k-1$ for all $1\le k\le\nu(I)$. The normalized depth function of $I$ is defined as $g_{I}(k)=\text{depth}(S/I^{[k]})-(d_k-1)$, $1\le k\le\nu(I)$. It is expected that $g_I(k)$ is a non-increasing function for any $I$. In this article we study the behaviour of $g_{I}(k)$ under various operations on monomial ideals. Our main result characterizes all cochordal graphs $G$ such that for the edge ideal $I(G)$ of $G$ we have $g_{I(G)}(1)=0$. They are precisely all cochordal graphs $G$ whose complementary graph $G^c$ is connected and has a cut vertex. As a far-reaching application, for given integers $1\le s<m$ we construct a graph $G$ such that $\nu(I(G))=m$ and $g_{I(G)}(k)=0$ if and only if $k=s+1,\dots,m$. Finally, we show that any non-increasing function of non-negative integers is the normalized depth function of some squarefree monomial ideal.


title: Boosting Exploration in Actor-Critic Algorithms by Incentivizing Plausible Novel States

abstract: Actor-critic (AC) algorithms are a class of model-free deep reinforcement learning algorithms, which have proven their efficacy in diverse domains, especially in solving continuous control problems. Improvement of exploration (action entropy) and exploitation (expected return) using more efficient samples is a critical issue in AC algorithms. A basic strategy of a learning algorithm is to facilitate indiscriminately exploring all of the environment state space, as well as to encourage exploring rarely visited states rather than frequently visited one. Under this strategy, we propose a new method to boost exploration through an intrinsic reward, based on measurement of a state's novelty and the associated benefit of exploring the state (with regards to policy optimization), altogether called plausible novelty. With incentivized exploration of plausible novel states, an AC algorithm is able to improve its sample efficiency and hence training performance. The new method is verified by extensive simulations of continuous control tasks of MuJoCo environments on a variety of prominent off-policy AC algorithms.


title: Efficient Quantum Agnostic Improper Learning of Decision Trees

abstract: The agnostic setting is the hardest generalization of the PAC model since it is akin to learning with adversarial noise. In this paper, we give a poly$(n,t,{\frac{1}{\varepsilon}})$ quantum algorithm for learning size $t$ decision trees with uniform marginal over instances, in the agnostic setting, without membership queries. Our algorithm is the first algorithm (classical or quantum) for learning decision trees in polynomial time without membership queries. We show how to construct a quantum agnostic weak learner by designing a quantum version of the classical Goldreich-Levin algorithm that works with strongly biased function oracles. We show how to quantize the agnostic boosting algorithm by Kalai and Kanade (NIPS 2009) to obtain the first efficient quantum agnostic boosting algorithm. Our quantum boosting algorithm has a polynomial improvement in the dependence of the bias of the weak learner over all adaptive quantum boosting algorithms while retaining the standard speedup in the VC dimension over classical boosting algorithms. We then use our quantum boosting algorithm to boost the weak quantum learner we obtained in the previous step to obtain a quantum agnostic learner for decision trees. Using the above framework, we also give quantum decision tree learning algorithms for both the realizable setting and random classification noise model, again without membership queries.


title: HyperHawkes: Hypernetwork based Neural Temporal Point Process

abstract: Temporal point process serves as an essential tool for modeling time-to-event data in continuous time space. Despite having massive amounts of event sequence data from various domains like social media, healthcare etc., real world application of temporal point process faces two major challenges: 1) it is not generalizable to predict events from unseen sequences in dynamic environment 2) they are not capable of thriving in continually evolving environment with minimal supervision while retaining previously learnt knowledge. To tackle these issues, we propose \textit{HyperHawkes}, a hypernetwork based temporal point process framework which is capable of modeling time of occurrence of events for unseen sequences. Thereby, we solve the problem of zero-shot learning for time-to-event modeling. We also develop a hypernetwork based continually learning temporal point process for continuous modeling of time-to-event sequences with minimal forgetting. In this way, \textit{HyperHawkes} augments the temporal point process with zero-shot modeling and continual learning capabilities. We demonstrate the application of the proposed framework through our experiments on two real-world datasets. Our results show the efficacy of the proposed approach in terms of predicting future events under zero-shot regime for unseen event sequences. We also show that the proposed model is able to predict sequences continually while retaining information from previous event sequences, hence mitigating catastrophic forgetting for time-to-event data.


title: Orbital Stability of Proposed NY Virginis Exoplanets

abstract: Er et al. (2021) recently proposed a two-planet solution to account for eclipse timing variations (ETVs) observed from the sdB binary NY Virginis. We tested the proposed planetary system for orbit stability using both numerical simulations and chaotic behavior analysis. The best-fit orbits, as well as those with parameters varying by the published uncertainty range in each parameter, were unstable on a timescale much less than the presumed lifetime of the PCEB phase ($\sim$100 Myr). suggesting that the proposed circumbinary companions fail to provide a complete explanation for the observed ETVs.


title: Differentiable Parsing and Visual Grounding of Natural Language Instructions for Object Placement

abstract: We present a new method, PARsing And visual GrOuNding (ParaGon), for grounding natural language in object placement tasks. Natural language generally describes objects and spatial relations with compositionality and ambiguity, two major obstacles to effective language grounding. For compositionality, ParaGon parses a language instruction into an object-centric graph representation to ground objects individually. For ambiguity, ParaGon uses a novel particle-based graph neural network to reason about object placements with uncertainty. Essentially, ParaGon integrates a parsing algorithm into a probabilistic, data-driven learning framework. It is fully differentiable and trained end-to-end from data for robustness against complex, ambiguous language input.


title: Nested Search versus Limited Discrepancy Search

abstract: Limited Discrepancy Search (LDS) is a popular algorithm to search a state space with a heuristic to order the possible actions. Nested Search (NS) is another algorithm to search a state space with the same heuristic. NS spends more time on the move associated to the best heuristic playout while LDS spends more time on the best heuristic move. They both use similar times for the same level of search. We advocate in this paper that it is often better to follow the best heuristic playout as in NS than to follow the heuristic as in LDS.


title: Transposed Poisson structures on Witt type algebras

abstract: We describe $\frac{1}{2}$-derivations, and hence transposed Poisson algebra structures, on Witt type Lie algebras $V(f)$, where $f:\Gamma\to\mathbb C$ is non-trivial and $f(0)=0$. More precisely, if $|f(\Gamma)|\ge 4$, then all the transposed Poisson algebra structures on $V(f)$ are mutations of the group algebra structure $(V(f),\cdot)$ on $V(f)$. If $|f(\Gamma)|=3$, then we obtain the direct sum of $3$ subspaces of $V(f)$, corresponding to cosets of $\Gamma_0$ in $\Gamma$, with multiplications being different mutations of $\cdot$. The case $|f(\Gamma)|=2$ is more complicated, but also deals with certain mutations of $\cdot$. As a consequence, new Lie algebras that admit non-trivial ${\rm Hom}$-Lie algebra structures are found.


title: Diagnostic Quality Assessment for Low-Dimensional ECG Representations

abstract: There have been several attempts to quantify the diagnostic distortion caused by algorithms that perform low-dimensional electrocardiogram (ECG) representation. However, there is no universally accepted quantitative measure that allows the diagnostic distortion arising from denoising, compression, and ECG beat representation algorithms to be determined. Hence, the main objective of this work was to develop a framework to enable biomedical engineers to efficiently and reliably assess diagnostic distortion resulting from ECG processing algorithms. We propose a semiautomatic framework for quantifying the diagnostic resemblance between original and denoised/reconstructed ECGs. Evaluation of the ECG must be done manually, but is kept simple and does not require medical training. In a case study, we quantified the agreement between raw and reconstructed (denoised) ECG recordings by means of kappa-based statistical tests. The proposed methodology takes into account that the observers may agree by chance alone. Consequently, for the case study, our statistical analysis reports the "true", beyond-chance agreement in contrast to other, less robust measures, such as simple percent agreement calculations. Our framework allows efficient assessment of clinically important diagnostic distortion, a potential side effect of ECG (pre-)processing algorithms. Accurate quantification of a possible diagnostic loss is critical to any subsequent ECG signal analysis, for instance, the detection of ischemic ST episodes in long-term ECG recordings.


title: Weighted Bergman Kernels on Planar Domains

abstract: For a planar domain $D \subset \mathbb{C}$ and an admissible weight function $\mu$ on it, some aspects of the corresponding weighted Bergman kernel $K_{D, \mu}$ are studied. First, we obtain a precise relation between $K_{D, \mu}$ and the classical Bergman kernel $K_D$ near a smooth boundary point of $D$. Second, the weighted kernel $K_{D, \mu}$ gives rise to weighted metrics in the same way as the classical Bergman kernel does. Motivated by work of Mok, Ng, Chan--Yuan and Chan--Xiao--Yuan among others, we study the nature of holomorphic isometries from the disc $\mathbb{D} \subset \mathbb{C}$ with respect to the weighted Bergman metrics arising from weights of the form $\mu = K_{\mathbb{D}}^{-d}$ for some integer $d \ge 0$. Specific examples that are studied in detail include those in which the isometry takes values in $\mathbb{D}^n$ and $\mathbb{D} \times \mathbb{B}^n$ where each factor admits a weighted Bergman metric as above for possibly different non-negative integers $d$. Finally, the case of isometries between polydisks in possibly different dimensions, in which each factor has a different weighted Bergman metric as above, is also presented.


title: A Dual-Attention Learning Network with Word and Sentence Embedding for Medical Visual Question Answering

abstract: Research in medical visual question answering (MVQA) can contribute to the development of computeraided diagnosis. MVQA is a task that aims to predict accurate and convincing answers based on given medical images and associated natural language questions. This task requires extracting medical knowledge-rich feature content and making fine-grained understandings of them. Therefore, constructing an effective feature extraction and understanding scheme are keys to modeling. Existing MVQA question extraction schemes mainly focus on word information, ignoring medical information in the text. Meanwhile, some visual and textual feature understanding schemes cannot effectively capture the correlation between regions and keywords for reasonable visual reasoning. In this study, a dual-attention learning network with word and sentence embedding (WSDAN) is proposed. We design a module, transformer with sentence embedding (TSE), to extract a double embedding representation of questions containing keywords and medical information. A dualattention learning (DAL) module consisting of self-attention and guided attention is proposed to model intensive intramodal and intermodal interactions. With multiple DAL modules (DALs), learning visual and textual co-attention can increase the granularity of understanding and improve visual reasoning. Experimental results on the ImageCLEF 2019 VQA-MED (VQA-MED 2019) and VQA-RAD datasets demonstrate that our proposed method outperforms previous state-of-the-art methods. According to the ablation studies and Grad-CAM maps, WSDAN can extract rich textual information and has strong visual reasoning ability.


title: Motion-inductive Self-supervised Object Discovery in Videos

abstract: In this paper, we consider the task of unsupervised object discovery in videos. Previous works have shown promising results via processing optical flows to segment objects. However, taking flow as input brings about two drawbacks. First, flow cannot capture sufficient cues when objects remain static or partially occluded. Second, it is challenging to establish temporal coherency from flow-only input, due to the missing texture information. To tackle these limitations, we propose a model for directly processing consecutive RGB frames, and infer the optical flow between any pair of frames using a layered representation, with the opacity channels being treated as the segmentation. Additionally, to enforce object permanence, we apply temporal consistency loss on the inferred masks from randomly-paired frames, which refer to the motions at different paces, and encourage the model to segment the objects even if they may not move at the current time point. Experimentally, we demonstrate superior performance over previous state-of-the-art methods on three public video segmentation datasets (DAVIS2016, SegTrackv2, and FBMS-59), while being computationally efficient by avoiding the overhead of computing optical flow as input.


title: Solving Coupled Differential Equation Groups Using PINO-CDE

abstract: As a fundamental mathmatical tool in many engineering disciplines, coupled differential equation groups are being widely used to model complex structures containing multiple physical quantities. Engineers constantly adjust structural parameters at the design stage, which requires a highly efficient solver. The rise of deep learning technologies has offered new perspectives on this task. Unfortunately, existing black-box models suffer from poor accuracy and robustness, while the advanced methodologies of single-output operator regression cannot deal with multiple quantities simultaneously. To address these challenges, we propose PINO-CDE, a deep learning framework for solving coupled differential equation groups (CDEs) along with an equation normalization algorithm for performance enhancing. Based on the theory of physics-informed neural operator (PINO), PINO-CDE uses a single network for all quantities in a CDEs, instead of training dozens, or even hundreds of networks as in the existing literature. We demonstrate the flexibility and feasibility of PINO-CDE for one toy example and two engineering applications: vehicle-track coupled dynamics (VTCD) and reliability assessment for a four-storey building (uncertainty propagation). The performance of VTCD indicates that PINO-CDE outperforms existing software and deep learning-based methods in terms of efficiency and precision, respectively. For the uncertainty propagation task, PINO-CDE provides higher-resolution results in less than a quarter of the time incurred when using the probability density evolution method (PDEM). This framework integrates engineering dynamics and deep learning technologies and may reveal a new concept for CDEs solving and uncertainty propagation.


title: Contour-Aware Equipotential Learning for Semantic Segmentation

abstract: With increasing demands for high-quality semantic segmentation in the industry, hard-distinguishing semantic boundaries have posed a significant threat to existing solutions. Inspired by real-life experience, i.e., combining varied observations contributes to higher visual recognition confidence, we present the equipotential learning (EPL) method. This novel module transfers the predicted/ground-truth semantic labels to a self-defined potential domain to learn and infer decision boundaries along customized directions. The conversion to the potential domain is implemented via a lightweight differentiable anisotropic convolution without incurring any parameter overhead. Besides, the designed two loss functions, the point loss and the equipotential line loss implement anisotropic field regression and category-level contour learning, respectively, enhancing prediction consistencies in the inter/intra-class boundary areas. More importantly, EPL is agnostic to network architectures, and thus it can be plugged into most existing segmentation models. This paper is the first attempt to address the boundary segmentation problem with field regression and contour learning. Meaningful performance improvements on Pascal Voc 2012 and Cityscapes demonstrate that the proposed EPL module can benefit the off-the-shelf fully convolutional network models when recognizing semantic boundary areas. Besides, intensive comparisons and analysis show the favorable merits of EPL for distinguishing semantically-similar and irregular-shaped categories.


title: Gradient estimates for the porous medium type equations and fast diffusion type equations on complete noncompact metric measure space with compact boundary

abstract: In the paper, we derive Li-Yau gradient estimates and Souplet Zhang type estimates of the following equation \begin{equation*} \begin{split} u_t= \Delta_\xi p+\lambda u+A(u) , \end{split} \end{equation*} on complete noncompact metric measure space $ (M, g,e^{-\xi}dv_g) $ with compact boundary. We will also give the local gradient estimates of the equation \begin{equation*} \Delta_\xi(u^p)+\lambda u+A(u)=0, \end{equation*} on complete noncompact manifold with compact boundary.


title: Displacement smoothness of entropic optimal transport

abstract: The function that maps a family of probability measures to the solution of the dual entropic optimal transport problem is known as the Schr\"odinger map. We prove that when the cost function is $\mathcal{C}^{k+1}$ with $k\in \mathbb{N}^*$ then this map is Lipschitz continuous from the $L^2$-Wasserstein space to the space of $\mathcal{C}^k$ functions. Our result holds on compact domains and covers the multi-marginal case. We also include regularity results under negative Sobolev metrics weaker than Wasserstein under stronger smoothness assumptions on the cost. As applications, we prove displacement smoothness of the entropic optimal transport cost and the well-posedness of certain Wasserstein gradient flows involving this functional, including the Sinkhorn divergence and a multi-species system.


title: Towards Understanding and Mitigating Dimensional Collapse in Heterogeneous Federated Learning

abstract: Federated learning aims to train models collaboratively across different clients without the sharing of data for privacy considerations. However, one major challenge for this learning paradigm is the {\em data heterogeneity} problem, which refers to the discrepancies between the local data distributions among various clients. To tackle this problem, we first study how data heterogeneity affects the representations of the globally aggregated models. Interestingly, we find that heterogeneous data results in the global model suffering from severe {\em dimensional collapse}, in which representations tend to reside in a lower-dimensional space instead of the ambient space. Moreover, we observe a similar phenomenon on models locally trained on each client and deduce that the dimensional collapse on the global model is inherited from local models. In addition, we theoretically analyze the gradient flow dynamics to shed light on how data heterogeneity result in dimensional collapse for local models. To remedy this problem caused by the data heterogeneity, we propose {\sc FedDecorr}, a novel method that can effectively mitigate dimensional collapse in federated learning. Specifically, {\sc FedDecorr} applies a regularization term during local training that encourages different dimensions of representations to be uncorrelated. {\sc FedDecorr}, which is implementation-friendly and computationally-efficient, yields consistent improvements over baselines on standard benchmark datasets. Code: https://github.com/bytedance/FedDecorr.


title: Attention Augmented ConvNeXt UNet For Rectal Tumour Segmentation

abstract: It is a challenge to segment the location and size of rectal cancer tumours through deep learning. In this paper, in order to improve the ability of extracting suffi-cient feature information in rectal tumour segmentation, attention enlarged ConvNeXt UNet (AACN-UNet), is proposed. The network mainly includes two improvements: 1) the encoder stage of UNet is changed to ConvNeXt structure for encoding operation, which can not only integrate multi-scale semantic information on a large scale, but al-so reduce information loss and extract more feature information from CT images; 2) CBAM attention mechanism is added to improve the connection of each feature in channel and space, which is conducive to extracting the effective feature of the target and improving the segmentation accuracy.The experiment with UNet and its variant network shows that AACN-UNet is 0.9% ,1.1% and 1.4% higher than the current best results in P, F1 and Miou.Compared with the training time, the number of parameters in UNet network is less. This shows that our proposed AACN-UNet has achieved ex-cellent results in CT image segmentation of rectal cancer.


title: Spherical twists, relations and the center of autoequivalence groups of K3 surfaces

abstract: Homological mirror symmetry predicts that there is a relation between autoequivalence groups of derived categories of coherent sheaves on Calabi-Yau varieties, and the symplectic mapping class groups of symplectic manifolds. In this paper, as an analogue of Dehn twists for closed oriented real surfaces, we study spherical twists for dg-enhanced triangulated categories. We introduce the intersection number and relate it to group-theoretic properties of spherical twists. We show an inequality analogous to a fundamental inequality in the theory of mapping class groups about the behavior of the intersection number via iterations of Dehn twists. We also classify the subgroups generated by two spherical twists using the intersection number. In passing, we prove a structure theorem for finite dimensional dg-modules over the graded dual numbers and use this to describe the autoequivalence group. As an application, we compute the center of autoequivalence groups of derived categories of K3 surfaces.


title: Stability analysis of the perfectly matched layer for the elastic wave equation in layered media

abstract: In this paper, we present the stability analysis of the perfectly matched layer (PML) in two-space dimensional layered elastic media. Using normal mode analysis we prove that all interface wave modes present at a planar interface of bi-material elastic solids are dissipated by the PML. Numerical experiments in two-layer and multi-layer elastic solids corroborate the theoretical analysis.


title: From Intra-Datacenter Interconnects to Metro Networks: Does CV-QKD Need Loss- or Bandwidth-Conscious Receivers?

abstract: We experimentally compare a loss-optimized coherent heterodyne and a bandwidth-blessed intradyne CV-QKD architecture. We find the former to prevail performance-wise for medium/long link reach, while the latter features a 5-9 dB higher secure-key rate over short reach.


title: Unbiased quantum phase estimation

abstract: Quantum phase estimation algorithm (PEA) is one of the most important algorithms in early studies of quantum computation. It is also a key for many other quantum algorithms, such as the quantum counting algorithm and the Shor's integer factorization algorithm. However, we find that the PEA is not an unbiased estimation, which prevents the estimation error from achieving an arbitrarily small level. In this paper, we propose an unbiased phase estimation algorithm (UPEA) based on the original PEA, and study its application in quantum counting. We also show that a maximum likelihood post-processing step can further improve its robustness. In the end, we apply UPEA to quantum counting, and use an additional correction step to make the quantum counting algorithm unbiased.


title: Learnable Distribution Calibration for Few-Shot Class-Incremental Learning

abstract: Few-shot class-incremental learning (FSCIL) faces challenges of memorizing old class distributions and estimating new class distributions given few training samples. In this study, we propose a learnable distribution calibration (LDC) approach, with the aim to systematically solve these two challenges using a unified framework. LDC is built upon a parameterized calibration unit (PCU), which initializes biased distributions for all classes based on classifier vectors (memory-free) and a single covariance matrix. The covariance matrix is shared by all classes, so that the memory costs are fixed. During base training, PCU is endowed with the ability to calibrate biased distributions by recurrently updating sampled features under the supervision of real distributions. During incremental learning, PCU recovers distributions for old classes to avoid `forgetting', as well as estimating distributions and augmenting samples for new classes to alleviate `over-fitting' caused by the biased distributions of few-shot samples. LDC is theoretically plausible by formatting a variational inference procedure. It improves FSCIL's flexibility as the training procedure requires no class similarity priori. Experiments on CUB200, CIFAR100, and mini-ImageNet datasets show that LDC outperforms the state-of-the-arts by 4.64%, 1.98%, and 3.97%, respectively. LDC's effectiveness is also validated on few-shot learning scenarios.


title: Demonstration of 17{\lambda} x 10 Gb/s C-Band Classical / DV-QKD Co-Existence Over Hollow-Core Fiber Link

abstract: We successfully integrate coherent one-way QKD at 1538 nm in a 7.7 km long hollow-core fiber link with 17 EDFA-boosted C-band data channels from 1540.56 to 1558.17 nm, aggregating a power of 11 dBm. QKD operation proves successful despite the wideband layout of classical channels.


title: The Lorentz Process with a Nearly Periodic Distribution of Scatterers

abstract: We consider the Lorentz gas in a distribution of scatterers which microscopically converges to a periodic distribution, and prove that the Lorentz gas in the low density limit satisfies a linear Boltzmann equation. This is in contrast with the periodic Lorentz gas, which does not satisfy the Boltzmann equation in the limit.


title: The maximum length of shortest accepted strings for direction-determinate two-way finite automata

abstract: It is shown that, for every $n \geqslant 2$, the maximum length of the shortest string accepted by an $n$-state direction-determinate two-way finite automaton is exactly $\binom{n}{\lfloor\frac{n}{2}\rfloor}-1$ (direction-determinate automata are those that always remember in the current state whether the last move was to the left or to the right). For two-way finite automata of the general form, a family of $n$-state automata with shortest accepted strings of length $\frac{3}{4} \cdot 2^n - 1$ is constructed.


title: Software system rationalisation: How to get better outcomes through stronger user engagement

abstract: As businesses get more sizable and more mature they now, inevitably accrete more and more software systems. This estate expansion leads not only to greater complexity and expense for the enterprise, but also to fragmentation, inconsistency and siloing of business processes. Because platform rationalisation and system decommissioning never happens spontaneously, a perennial problem for the enterprise then becomes how to simplify their corporate software platforms. Recently, Curlew Research personnel were involved in a software rationalisation program within a large global life sciences company and this paper describes an approach to decommissioning which we developed as part of that project, and which we feel could be of use more widely to help with objective more user-centric system rationalisation. The method derives from a model developed by Noriaki Kano et al to help with determining customer satisfaction and loyalty, and the prioritisation of new, additional functionality, features or "products", for example when looking to enhance software applications. Using a blueprint process for rationalisation, the Curlew-Kano method enables each application to be placed efficiently and objectively into one of four categories - Retain; Review; Remove; Research - thus allowing the enterprise to identify and prioritise quickly those systems which warrant further investigation as part of a decommissioning activity. The key difference of the Curlew-Kano method compared to other application rationalisation methodologies is the fundamental involvement of users in the identification of systems more suitable for rationalisation and possible decommissioning. In our view involving users more fully in system rationalisation leads to better outcomes for the enterprise.


title: Physical interpretation of nonlocal quantum correlation through local description of subsystems

abstract: Characterization and categorization of quantum correlations are both fundamentally and practically important in quantum information science. Although quantum correlations such as non-separability, steerability, and non-locality can be characterized by different theoretical models in different scenarios with either known (trusted) or unknown (untrusted) knowledge of the associated systems, such characterization sometimes lacks unambiguous to experimentalist. In this work, we propose the physical interpretation of nonlocal quantum correlation between two systems. In the absence of {\it complete local description} of one of the subsystems quantified by the {\it local uncertainty relation}, the correlation between subsystems becomes nonlocal. Remarkably, different nonlocal quantum correlations can be discriminated from a single uncertainty relation derived under local hidden state (LHS)-LHS model only. We experimentally characterize the two-qubit Werner state in different scenarios.


title: Contribution of classical correlation and entanglement in the non-classical teleportation fidelity

abstract: It is well known that entanglement is the resource of quantum teleportation. Teleportation can be accomplished using classical correlation (CC) with a teleportation fidelity (TF) upto $2/3$. In the present work we have studied TF, entanglement and CC in the presence of decoherence. We have found that significant increment of CC with respect to the strength of decoherence can lead TF in the non-classical region while entanglement is decreasing. We have also studied the protection of TF and entanglement using the technique of weak measurement and reverse weak measurement (WMRWM). Here we found that maximum protection of entanglement does not optimize the TF and CC. While optimization of TF indicates maximization of CC. Therefore, both entanglement and classical correlation of the shared state take part in the teleportation in a complex manner that needs to be explored in the future.


title: One-connection rule for structural equation models

abstract: Linear structural equation models are multivariate statistical models encoded by mixed graphs. In particular, the set of covariance matrices for distributions belonging to a linear structural equation model for a fixed mixed graph $G=(V, D,B)$ is parameterized by a rational function with parameters for each vertex and edge in $G$. This rational parametrization naturally allows for the study of these models from an algebraic and combinatorial point of view. Indeed, this point of view has led to a collection of results in the literature, mainly focusing on questions related to identifiability and determining relationships between covariances (i.e., finding polynomials in the Gaussian vanishing ideal). So far, a large proportion of these results has focused on the case when $D$, the directed part of the mixed graph $G$, is acyclic. This is due to the fact that in the acyclic case, the parametrization becomes polynomial and there is a description of the entries of the covariance matrices in terms of a finite sum. We move beyond the acyclic case and give a closed form expression for the entries of the covariance matrices in terms of the one-connections in a graph obtained from $D$ through some small operations. This closed form expression then allows us to show that if $G$ is simple, then the parametrization map is generically finite-to-one. Finally, having a closed form expression for the covariance matrices allows for the development of an algorithm for systematically exploring possible polynomials in the Gaussian vanishing ideal.


title: Executable First-Order Queries in the Logic of Information Flows

abstract: The logic of information flows (LIF) has recently been proposed as a general framework in the field of knowledge representation. In this framework, tasks of procedural nature can still be modeled in a declarative, logic-based fashion. In this paper, we focus on the task of query processing under limited access patterns, a well-studied problem in the database literature. We show that LIF is well-suited for modeling this task. Toward this goal, we introduce a variant of LIF called "forward" LIF (FLIF), in a first-order setting. FLIF takes a novel graph-navigational approach; it is an XPath-like language that nevertheless turns out to be equivalent to the "executable" fragment of first-order logic defined by Nash and Lud\"ascher. One can also classify the variables in FLIF expressions as inputs and outputs. Expressions where inputs and outputs are disjoint, referred to as io-disjoint FLIF expressions, allow a particularly transparent translation into algebraic query plans that respect the access limitations. Finally, we show that general FLIF expressions can always be put into io-disjoint form.


title: Surface modulation of metal-organic frameworks for on-demand photochromism in the solid state

abstract: Organic photoswitchable molecules have struggled in solid state form to fulfill their remarkable potential, in terms of photoswitching performance and long-term stability when compared to their inorganic counterparts. We report the concept of non-electron deficient host's surface with optimal porosity and hydrophobicity, as a priori strategy to design photoefficient organic solid-state photochromic materials with outstanding mechanical robustness. When exposed to a light stimulus including natural sunlight, the photoswitchable nanocomposite changes color promptly and reversibly, in a matter of seconds along with excellent photo-fatigue resistance, which are on a par with inorganic photochromes. Exemplars of commercially viable prototypes that are optically clear, comprising smart windows, complex photochromic sculptures, and self-erasing rewritable devices, were engineered by direct blending with resilient polymers; particularly, the use of high-stiffness polymer (> 2 GPa) is no longer an insurmountable challenge. Finally, photochromic films with anticounterfeiting features could be manufactured through precision inkjet printing of nanocrystals.


title: Causal Effect of Functional Treatment

abstract: Functional data often arise in the areas where the causal treatment effect is of interest. However, research concerning the effect of a functional variable on an outcome is typically restricted to exploring the association rather than the casual relationship. The generalized propensity score, often used to calibrate the selection bias, is not directly applicable to a functional treatment variable due to a lack of definition of probability density function for functional data. Based on the functional linear model for the average dose-response functional, we propose three estimators, namely, the functional stabilized weight estimator, the outcome regression estimator and the doubly robust estimator, each of which has its own merits. We study their theoretical properties, which are corroborated through extensive numerical experiments. A real data application on electroencephalography data and disease severity demonstrates the practical value of our methods.


title: An experimental study of algorithms for obtaining a singly connected subgraph

abstract: A directed graph G = (V,E) is singly connected if for any two vertices v, u of V, the directed graph G contains at most one simple path from v to u. In this paper, we study different algorithms to find a feasible but necessarily optimal solution to the following problem. Given a directed acyclic graph G = (V, E), find a subset H of E of minimum size such that the subgraph (V, E-H) is singly connected. Moreover, we prove that this problem can be solved in polynomial time for a special kind of directed graphs.


title: On The Relative Error of Random Fourier Features for Preserving Kernel Distance

abstract: The method of random Fourier features (RFF), proposed in a seminal paper by Rahimi and Recht (NIPS'07), is a powerful technique to find approximate low-dimensional representations of points in (high-dimensional) kernel space, for shift-invariant kernels. While RFF has been analyzed under various notions of error guarantee, the ability to preserve the kernel distance with \emph{relative} error is less understood. We show that for a significant range of kernels, including the well-known Laplacian kernels, RFF cannot approximate the kernel distance with small relative error using low dimensions. We complement this by showing as long as the shift-invariant kernel is analytic, RFF with $\mathrm{poly}(\epsilon^{-1} \log n)$ dimensions achieves $\epsilon$-relative error for pairwise kernel distance of $n$ points, and the dimension bound is improved to $\mathrm{poly}(\epsilon^{-1}\log k)$ for the specific application of kernel $k$-means. Finally, going beyond RFF, we make the first step towards data-oblivious dimension-reduction for general shift-invariant kernels, and we obtain a similar $\mathrm{poly}(\epsilon^{-1} \log n)$ dimension bound for Laplacian kernels. We also validate the dimension-error tradeoff of our methods on simulated datasets, and they demonstrate superior performance compared with other popular methods including random-projection and Nystr\"{o}m methods.


title: Uniqueness for 2-Intersecting Families of Permutations and Perfect Matchings

abstract: We give a characterization of the largest $2$-intersecting families of permutations of $\{1,2,\ldots,n\}$ and of perfect matchings of the complete graph $K_{2n}$ for all $n \geq 2$.


title: Polyubles, Poisson homogeneous spaces and multi-flag varieties

abstract: A polyuble of a Manin triple can be regarded as the ``$n$-th power'' of it, which plays an important rule in the study of Poisson geometry, mathematical physics and Lie theory. In this paper, we first construct an isomorphism between the $mn$-ble and the $n$-ubles of $m$-uble by colored graph and point out it is unique. Then, we construct a class of Poisson homogeneous spaces and obtain a class of Poisson homeomorphisms between them based on the first main result. Last, we apply first two main results to multi-flag varieties as well as multi-double flag varieties and construct a class of global Poisson isomorphisms between them as well as their $T$-leaves.


title: Evolutionary behavior in a two-locus system

abstract: In this short note we study a dynamical system generated by a two-parametric quadratic operator mapping 3-dimensional simplex to itself. This is an evolution operator of the frequencies of gametes in a two-locus system. We find the set of all (a continuum set) fixed points and show that each fixed point is non-hyperbolic. We completely describe the set of all limit points of the dynamical system. Namely, for any initial point (taken from the 3-dimensional simplex) we find an invariant set containing the initial point and a unique fixed point of the operator, such that the trajectory of the initial point converges to this fixed point.


abstract: Inspired by the success of contrastive learning (CL) in computer vision and natural language processing, graph contrastive learning (GCL) has been developed to learn discriminative node representations on graph datasets. However, the development of GCL on Heterogeneous Information Networks (HINs) is still in the infant stage. For example, it is unclear how to augment the HINs without substantially altering the underlying semantics, and how to design the contrastive objective to fully capture the rich semantics. Moreover, early investigations demonstrate that CL suffers from sampling bias, whereas conventional debiasing techniques are empirically shown to be inadequate for GCL. How to mitigate the sampling bias for heterogeneous GCL is another important problem. To address the aforementioned challenges, we propose a novel Heterogeneous Graph Contrastive Multi-view Learning (HGCML) model. In particular, we use metapaths as the augmentation to generate multiple subgraphs as multi-views, and propose a contrastive objective to maximize the mutual information between any pairs of metapath-induced views. To alleviate the sampling bias, we further propose a positive sampling strategy to explicitly select positives for each node via jointly considering semantic and structural information preserved on each metapath view. Extensive experiments demonstrate HGCML consistently outperforms state-of-the-art baselines on five real-world benchmark datasets.


title: Semi r-ideals of commutative rings

abstract: For commutative rings with identity, we introduce and study the concept of semi $r$-ideals which is a kind of generalization of both $r$-ideals and semiprime ideals. A proper ideal $I$ of a commutative ring $R$ is called semi $r$-ideal if whenever $a^{2}\in I$ and $Ann_{R}(a)=0$, then $a\in I$. Several properties and characterizations of this class of ideals are determined. In particular, we investigate semi $r$-ideal under various contexts of constructions such as direct products, localizations, homomorphic images, idealizations and amalagamations rings. We extend semi $r$-ideals of rings to semi $r$-submodules of modules and clarify some of their properties. Moreover, we define submodules satisfying the $D$-annihilator condition and justify when they are semi $r$-submodules.


title: Quantum Stirling heat engine with squeezed thermal reservoir

abstract: We analyze the performance of a quantum Stirling heat engine (QSHE), using a two level system and the harmonic oscillator as the working medium, that contacts with a squeezed thermal reservoir and a cold reservoir. First, we derive closed-form expressions for the produced work and efficiency which strongly depends on the squeezing parameter $r_h$. Then, we prove that the effect of squeezing heats the working medium to a higher effective temperature which leads to better overall performance. In particular, the efficiency increases with the degree of squeezing surpassing the standard Carnot limit, when the ratio of temperatures of hot and cold reservoir is small. Furthermore, we derive the analytical expressions for the efficiency at maximum work and the maximum produced work in the high and low temperature regime and we find that at extreme temperatures the squeezing parameter $r_h$ does not affect the performance of the QSHE. Finally, the performance of the QSHE depends on the nature of the working medium.


title: Some Unipotent Arthur Packets for Reductive $p$-adic Groups

abstract: Let $k$ be a $p$-adic field and let $\mathbf{G}(k)$ be the $k$-points of a connected reductive group, inner to split. The set of Aubert-Zelevinsky duals of the constituents of a tempered L-packet form an Arthur packet for $\mathbf{G}(k)$. In this paper, we give an alternative characterization of such Arthur packets in terms of the wavefront set, proving in some instances a conjecture of Jiang-Liu and Shahidi. Pursuing an analogy with real and complex groups, we define some special unions of Arthur packets which we call \emph{weak} Arthur packets and describe their constituents in terms of their Langlands parameters.


title: Blindly Deconvolving Super-noisy Blurry Image Sequences

abstract: Image blur and image noise are imaging artifacts intrinsically arising in image acquisition. In this paper, we consider multi-frame blind deconvolution (MFBD), where image blur is described by the convolution of an unobservable, undeteriorated image and an unknown filter, and the objective is to recover the undeteriorated image from a sequence of its blurry and noisy observations. We present two new methods for MFBD, which, in contrast to previous work, do not require the estimation of the unknown filters. The first method is based on likelihood maximization and requires careful initialization to cope with the non-convexity of the loss function. The second method circumvents this requirement and exploits that the solution of likelihood maximization emerges as an eigenvector of a specifically constructed matrix, if the signal subspace spanned by the observations has a sufficiently large dimension. We describe a pre-processing step, which increases the dimension of the signal subspace by artificially generating additional observations. We also propose an extension of the eigenvector method, which copes with insufficient dimensions of the signal subspace by estimating a footprint of the unknown filters (that is a vector of the size of the filters, only one is required for the whole image sequence). We have applied the eigenvector method to synthetically generated image sequences and performed a quantitative comparison with a previous method, obtaining strongly improved results.


title: Riemannian Levenberg-Marquardt Method with Global and Local Convergence Properties

abstract: We extend the Levenberg-Marquardt method on Euclidean spaces to Riemannian manifolds. Although a Riemannian Levenberg-Marquardt (RLM) method was produced by Peeters in 1993, to the best of our knowledge, there has been no analysis of theoretical guarantees for global and local convergence properties. As with the Euclidean LM method, how to update a specific parameter known as the damping parameter has significant effects on its performances. We propose a trust-region-like approach for determining the parameter. We evaluate the worst-case iteration complexity to reach an epsilon-stationary point, and also prove that it has desirable local convergence properties under the local error-bound condition. Finally, we demonstrate the efficiency of our proposed algorithm by numerical experiments.


title: On the triple tensor product of generalized Heisenberg Lie superalgebra of rank $\leq2$

abstract: In this article, we compute the Schur multiplier of all generalized Heisenberg Lie superalgebras of rank $2$. We discuss the structure of $\otimes^3H$ and $\wedge^3H$ where $H$ is a generalized Heisenberg Lie superalgebra of rank $\leq2$. Moreover, we prove that if $L$ is an $(m\mid n)$-dimensional non-abelian nilpotent Lie superalgebra with derived subalgebra of dimension $(r\mid s)$, then $\dim\otimes^3L \leq (m+n)(m+n - (r+s))^2$. In particular, for $r=1,s=0$ the equality holds if and only if $L \cong H(1\mid 0)$.


title: Cascaded Multi-Modal Mixing Transformers for Alzheimer's Disease Classification with Incomplete Data

abstract: Accurate medical classification requires a large number of multi-modal data, and in many cases, different feature types. Previous studies have shown promising results when using multi-modal data, outperforming single-modality models when classifying diseases such as Alzheimer's Disease (AD). However, those models are usually not flexible enough to handle missing modalities. Currently, the most common workaround is discarding samples with missing modalities which leads to considerable data under-utilization. Adding to the fact that labeled medical images are already scarce, the performance of data-driven methods like deep learning can be severely hampered. Therefore, a multi-modal method that can handle missing data in various clinical settings is highly desirable. In this paper, we present Multi-Modal Mixing Transformer (3MAT), a disease classification transformer that not only leverages multi-modal data but also handles missing data scenarios. In this work, we test 3MT for AD and Cognitively normal (CN) classification and mild cognitive impairment (MCI) conversion prediction to progressive MCI (pMCI) or stable MCI (sMCI) using clinical and neuroimaging data. The model uses a novel Cascaded Modality Transformer architecture with cross-attention to incorporate multi-modal information for more informed predictions. We propose a novel modality dropout mechanism to ensure an unprecedented level of modality independence and robustness to handle missing data scenarios. The result is a versatile network that enables the mixing of arbitrary numbers of modalities with different feature types and also ensures full data utilization missing data scenarios. The model is trained and evaluated on the ADNI dataset with the SOTRA performance and further evaluated with the AIBL dataset with missing data.


title: Remarks on extremals of sharp Sobolev trace inequalities on the unit balls

abstract: We show explicit forms for extremals of some fourth-order sharp trace inequalities on the unit balls recently proved by Ache-Chang. We also give a classification result of the bi-harmonic equation on $\mathbb{R}^4_+$ with some conformally covariant boundary conditions.


title: Some progress in the Dixmier Conjecture

abstract: Let $p$ and $q$, where $pq-qp=1$, be the standard generators of the first Weyl algebra $A_1$ over a field of characteristic zero. Then the spectrum of the inner derivation $ad(pq)$ on $A_1$ are exactly the set of integers. The algebra $A_1$ is a $\mathbb{Z}$-graded algebra with each $i$-component being the $i$-eigenspace of $ad(pq)$, where $i\in \mathbb{Z}$. The Dixmier Conjecture says that if some elements $z$ and $w$ of $A_1$ satisfy $zw-wz=1$, then they generate $A_1$. We show that if either $z$ or $w$ possesses no component belonging to the negative spectrum of $ad(pq)$, then the Dixmier Conjecture holds. We give some generalization of this result, and some other useful criterions for $z$ and $w$ to generate $A_1$. An important tool in our proof is the Newton polygon for elements in $A_1$.


title: Primal-dual regression approach for Markov decision processes with general state and action space

abstract: We develop a regression based primal-dual martingale approach for solving finite time horizon MDPs with general state and action space. As a result, our method allows for the construction of tight upper and lower biased approximations of the value functions, and, provides tight approximations to the optimal policy. In particular, we prove tight error bounds for the estimated duality gap featuring polynomial dependence on the time horizon, and sublinear dependence on the cardinality/dimension of the possibly infinite state and action space.From a computational point of view the proposed method is efficient since, in contrast to usual duality-based methods for optimal control problems in the literature, the Monte Carlo procedures here involved do not require nested simulations.


title: Pre-trained Speech Representations as Feature Extractors for Speech Quality Assessment in Online Conferencing Applications

abstract: Speech quality in online conferencing applications is typically assessed through human judgements in the form of the mean opinion score (MOS) metric. Since such a labor-intensive approach is not feasible for large-scale speech quality assessments in most settings, the focus has shifted towards automated MOS prediction through end-to-end training of deep neural networks (DNN). Instead of training a network from scratch, we propose to leverage the speech representations from the pre-trained wav2vec-based XLS-R model. However, the number of parameters of such a model exceeds task-specific DNNs by several orders of magnitude, which poses a challenge for resulting fine-tuning procedures on smaller datasets. Therefore, we opt to use pre-trained speech representations from XLS-R in a feature extraction rather than a fine-tuning setting, thereby significantly reducing the number of trainable model parameters. We compare our proposed XLS-R-based feature extractor to a Mel-frequency cepstral coefficient (MFCC)-based one, and experiment with various combinations of bidirectional long short term memory (Bi-LSTM) and attention pooling feedforward (AttPoolFF) networks trained on the output of the feature extractors. We demonstrate the increased performance of pre-trained XLS-R embeddings in terms a reduced root mean squared error (RMSE) on the ConferencingSpeech 2022 MOS prediction task.


title: Localized RBF methods for modeling infiltration using the Kirchhoff-transformed Richards equation

abstract: We develop a new approach to solve the nonlinear Richards equation based on the Kirchhoff transformation and localized radial basis function (LRBF) techniques. Our aim is to reduce the nonlinearity of the governing equation and apply LRBF methods for modeling unsaturated flow through heterogeneous soils. In our methodology, we propose special techniques which deal with the heterogeneity of the medium in order to apply the Kirchhoff transformation where we used the Brooks and Corey model for the capillary pressure function and a power-law relation in saturation for the relative permeability function. The new approach allows us to avoid the technical issues encountered in the Kirchhoff transformation due to soil heterogeneity in order to reduce the nonlinearity of the model equation. The resulting Kirchhoff-transformed Richards equation is solved using LRBF methods which have advantages in terms of computational cost since they don't require mesh generation. Furthermore, these LRBF techniques lead to a system with a sparse matrix which allows us to avoid ill-conditioned issues. To validate the developed approach for predicting the dynamics of unsaturated flow in porous media, numerical experiments are performed in one, two, and three-dimensional soils. The numerical results demonstrate the efficiency and accuracy of the proposed techniques for modeling infiltration through heterogeneous soils.


title: Tyranny-of-the-minority regression adjustment in randomized experiments

abstract: Regression adjustment is widely used for the analysis of randomized experiments to improve the estimation efficiency of the treatment effect. This paper reexamines a weighted regression adjustment method termed as tyranny-of-the-minority (ToM), wherein units in the minority group are given greater weights. We demonstrate that the ToM regression adjustment is more robust than Lin 2013's regression adjustment with treatment-covariate interactions, even though these two regression adjustment methods are asymptotically equivalent in completely randomized experiments. Moreover, we extend ToM regression adjustment to stratified randomized experiments, completely randomized survey experiments, and cluster randomized experiments. We obtain design-based properties of the ToM regression-adjusted average treatment effect estimator under such designs. In particular, we show that ToM regression-adjusted estimator improves the asymptotic estimation efficiency compared to the unadjusted estimator even when the regression model is misspecified, and is optimal in the class of linearly adjusted estimators. We also study the asymptotic properties of various heteroscedasticity-robust standard error estimators and provide recommendations for practitioners. Simulation studies and real data analysis demonstrate ToM regression adjustment's superiority over existing methods.


title: Frequency Estimation of Evolving Data Under Local Differential Privacy

abstract: Collecting and analyzing evolving longitudinal data has become a common practice. One possible approach to protect the users' privacy in this context is to use local differential privacy (LDP) protocols, which ensure the privacy protection of all users even in the case of a breach or data misuse. Existing LDP data collection protocols such as Google's RAPPOR and Microsoft's dBitFlipPM can have longitudinal privacy linear to the domain size k, which is excessive for large domains, such as Internet domains. To solve this issue, in this paper we introduce a new LDP data collection protocol for longitudinal frequency monitoring named LOngitudinal LOcal HAshing (LOLOHA) with formal privacy guarantees. In addition, the privacy-utility trade-off of our protocol is only linear with respect to a reduced domain size $2\leq g \ll k$. LOLOHA combines a domain reduction approach via local hashing with double randomization to minimize the privacy leakage incurred by data updates. As demonstrated by our theoretical analysis as well as our experimental evaluation, LOLOHA achieves a utility competitive to current state-of-the-art protocols, while substantially minimizing the longitudinal privacy budget consumption by up to k/g orders of magnitude.


title: Fine-tuning Wav2vec for Vocal-burst Emotion Recognition

abstract: The ACII Affective Vocal Bursts (A-VB) competition introduces a new topic in affective computing, which is understanding emotional expression using the non-verbal sound of humans. We are familiar with emotion recognition via verbal vocal or facial expression. However, the vocal bursts such as laughs, cries, and signs, are not exploited even though they are very informative for behavior analysis. The A-VB competition comprises four tasks that explore non-verbal information in different spaces. This technical report describes the method and the result of SclabCNU Team for the tasks of the challenge. We achieved promising results compared to the baseline model provided by the organizers.


title: zkBridge: Trustless Cross-chain Bridges Made Practical

abstract: Blockchains have seen growing traction with cryptocurrencies reaching a market cap of over 1 trillion dollars, major institution investors taking interests, and global impacts on governments, businesses, and individuals. Also growing significantly is the heterogeneity of the ecosystem where a variety of blockchains co-exist. Cross-chain bridge is a necessary building block in this multi-chain ecosystem. Existing solutions, however, either suffer from performance issues or rely on trust assumptions of committees that significantly lower the security. Recurring attacks against bridges have cost users more than 1.5 billion USD. In this paper, we introduce zkBridge, an efficient cross-chain bridge that guarantees strong security without external trust assumptions. With succinct proofs, zkBridge not only guarantees correctness, but also significantly reduces on-chain verification cost. We propose novel succinct proof protocols that are orders-of-magnitude faster than existing solutions for workload in zkBridge. With a modular design, zkBridge enables a broad spectrum of use cases and capabilities, including message passing, token transferring, and other computational logic operating on state changes from different chains. To demonstrate the practicality of zkBridge, we implemented a prototype bridge from Cosmos to Ethereum, a particularly challenging direction that involves large proof circuits that existing systems cannot efficiently handle. Our evaluation shows that zkBridge achieves practical performance: proof generation takes less than 20 seconds, while verifying proofs on-chain costs less than 230K gas. For completeness, we also implemented and evaluated the direction from Ethereum to other EVM-compatible chains (such as BSC) which involves smaller circuits and incurs much less overhead.


title: The completion of $d$-abelian categories

abstract: Let $A$ be a finite-dimensional algebra, and $\mathfrak{M}$ be a $d$-cluster tilting subcategory of mod$A$. From the viewpoint of higher homological algebra, a natural question to ask is when $\mathfrak{M}$ induces a $d$-cluster tilting subcategory in Mod$A$. In this paper, we investigate this question in a more general form. Let $\mathcal{M}$ be a small $d$-abelian category of an abelian category $\mathcal{A}$. The completion of $\mathcal{M}$, denoted by Ind$(\mathcal{M})$, is defined as the universal completion of $\mathcal{M}$ with respect to filtered colimits. We explore Ind$(\mathcal{M})$ and demonstrate its equivalence to the full subcategory $\mathcal{L}_d(\mathcal{M})$ of Mod$\mathcal{M}$, comprising left $d$-exact functors. Notably, while Ind$(\mathcal{M})$ as a subcategory of $\frac{Mod\mathcal{M}}{Eff(\mathcal{M})}$, satisfies all properties of a $d$-cluster tilting subcategory except $d$-rigidity, it falls short of being a $d$-cluster tilting category. For a $d$-cluster tilting subcategory $\mathfrak{M}$ of mod$A$, $\overrightarrow{\mathfrak{M}}$, consists of all filtered colimits of objects from $\mathfrak{M}$, is a generating-cogenerating, functorially finite subcategory of Mod$A$. The question of whether $\mathfrak{M}$ is a $d$-rigid subcategory remains unanswered. However, if it is indeed $d$-rigid, it qualifies as a $d$-cluster tilting subcategory. In the case $d=2$, employing cotorsion theory, we establish that $\overrightarrow{\mathfrak{M}}$ is a $2$-cluster tilting subcategory if and only if $\mathfrak{M}$ is of finite type. Thus, the question regarding whether $\overrightarrow{\mathfrak{M}}$ is a $d$-cluster tilting subcategory of Mod$ A$ appears to be equivalent to the Iyama's qestion about the finiteness of $\mathfrak{M}$.


title: Long-Tailed Class Incremental Learning

abstract: In class incremental learning (CIL) a model must learn new classes in a sequential manner without forgetting old ones. However, conventional CIL methods consider a balanced distribution for each new task, which ignores the prevalence of long-tailed distributions in the real world. In this work we propose two long-tailed CIL scenarios, which we term ordered and shuffled LT-CIL. Ordered LT-CIL considers the scenario where we learn from head classes collected with more samples than tail classes which have few. Shuffled LT-CIL, on the other hand, assumes a completely random long-tailed distribution for each task. We systematically evaluate existing methods in both LT-CIL scenarios and demonstrate very different behaviors compared to conventional CIL scenarios. Additionally, we propose a two-stage learning baseline with a learnable weight scaling layer for reducing the bias caused by long-tailed distribution in LT-CIL and which in turn also improves the performance of conventional CIL due to the limited exemplars. Our results demonstrate the superior performance (up to 6.44 points in average incremental accuracy) of our approach on CIFAR-100 and ImageNet-Subset. The code is available at https://github.com/xialeiliu/Long-Tailed-CIL


title: RIS Design for CRB Optimization in Source Localization with Electromagnetic Interference

abstract: Reconfigurable Intelligent Surface (RIS) plays an important role in enhancing source localization accuracy. Based on the information inequality of Fisher information analyses, the Cram\'{e}r-Rao Bound (CRB) of the localization error can be used to evaluate the localization accuracy for a given set of RIS coefficients. In this paper, we adopt the manifold optimization method to derive the optimal RIS coefficients that minimize the CRB of the localization error with the presence of electromagnetic interference (EMI), where the RIS coefficients are restricted to lie on the complex circle manifold. Simulation results are provided to validate the proposed studies under various circumstances.


title: Joint Mobility Control and MEC Offloading for Hybrid Satellite-Terrestrial-Network-Enabled Robots

abstract: Benefiting from the fusion of communication and intelligent technologies, network-enabled robots have become important to support future machine-assisted and unmanned applications. To provide high-quality services for robots in wide areas, hybrid satellite-terrestrial networks are a key technology. Through hybrid networks, computation-intensive and latency-sensitive tasks can be offloaded to mobile edge computing (MEC) servers. However, due to the mobility of mobile robots and unreliable wireless network environments, excessive local computations and frequent service migrations may significantly increase the service delay. To address this issue, this paper aims to minimize the average task completion time for MEC-based offloading initiated by satellite-terrestrial-network-enabled robots. Different from conventional mobility-aware schemes, the proposed scheme makes the offloading decision by jointly considering the mobility control of robots. A joint optimization problem of task offloading and velocity control is formulated. Using Lyapunov optimization, the original optimization is decomposed into a velocity control subproblem and a task offloading subproblem. Then, based on the Markov decision process (MDP), a dual-agent reinforcement learning (RL) algorithm is proposed. The convergence and complexity of the improved RL algorithm are theoretically analyzed, and the simulation results show that the proposed scheme can effectively reduce the offloading delay.


title: Solar Power Time Series Forecasting Utilising Wavelet Coefficients

abstract: Accurate and reliable prediction of Photovoltaic (PV) power output is critical to electricity grid stability and power dispatching capabilities. However, Photovoltaic (PV) power generation is highly volatile and unstable due to different reasons. The Wavelet Transform (WT) has been utilised in time series applications, such as Photovoltaic (PV) power prediction, to model the stochastic volatility and reduce prediction errors. Yet the existing Wavelet Transform (WT) approach has a limitation in terms of time complexity. It requires reconstructing the decomposed components and modelling them separately and thus needs more time for reconstruction, model configuration and training. The aim of this study is to improve the efficiency of applying Wavelet Transform (WT) by proposing a new method that uses a single simplified model. Given a time series and its Wavelet Transform (WT) coefficients, it trains one model with the coefficients as features and the original time series as labels. This eliminates the need for component reconstruction and training numerous models. This work contributes to the day-ahead aggregated solar Photovoltaic (PV) power time series prediction problem by proposing and comprehensively evaluating a new approach of employing WT. The proposed approach is evaluated using 17 months of aggregated solar Photovoltaic (PV) power data from two real-world datasets. The evaluation includes the use of a variety of prediction models, including Linear Regression, Random Forest, Support Vector Regression, and Convolutional Neural Networks. The results indicate that using a coefficients-based strategy can give predictions that are comparable to those obtained using the components-based approach while requiring fewer models and less computational time.


title: ML for Location Prediction Using RSSI On WiFi 2.4 GHZ Frequency Band

abstract: For decades, the determination of an objects location has been implemented utilizing different technologies. Despite GPS (Global Positioning System) provides a scalable efficient and cost effective location services however the satellite emitted signals cannot be exploited indoor to effectively determine the location. In contrast to GPS which is a cost effective localization technology for outdoor locations several technologies have been studied for indoor localization. These include Wireless Fidelity (Wi-Fi) Bluetooth Low Energy (BLE) and Received Signal Strength Indicator (RSSI) etc. This paper presents an enhanced method of using RSSI as a mean to determine an objects location by applying some Machine Learning (ML) concepts. The binary classification is defined by considering the adjacency of the coordinates denoting objects locations. The proposed features were tested empirically via multiple classifiers that achieved a maximum of 96 percent accuracy.


title: Numerical study of a confined vesicle in shear flow at finite temperature

abstract: The dynamics and rheology of a vesicle confined in a channel under shear flow are studied at finite temperature. The effect of finite temperature on vesicle motion and system viscosity is investigated. A two-dimensional numerical model, which includes thermal fluctuations and is based on a combination of molecular dynamics and mesoscopic hydrodynamics, is used to perform a detailed analysis in a wide range of the Peclet numbers (the ratio of the shear rate to the rotational diffusion coefficient). The suspension viscosity is found to be a monotonous increasing function of the viscosity contrast (the ratio of the viscosity of the encapsulated fluid to that of the surrounding fluid) both in the tank-treading and the tumbling regime due to the interplay of different temperature-depending mechanisms. Thermal effects induce shape and inclination fluctuations of the vesicle which experiences also Brownian diffusion across the channel increasing the viscosity. These effects reduces when increasing the Peclet number.


title: FINDE: Neural Differential Equations for Finding and Preserving Invariant Quantities

abstract: Many real-world dynamical systems are associated with first integrals (a.k.a. invariant quantities), which are quantities that remain unchanged over time. The discovery and understanding of first integrals are fundamental and important topics both in the natural sciences and in industrial applications. First integrals arise from the conservation laws of system energy, momentum, and mass, and from constraints on states; these are typically related to specific geometric structures of the governing equations. Existing neural networks designed to ensure such first integrals have shown excellent accuracy in modeling from data. However, these models incorporate the underlying structures, and in most situations where neural networks learn unknown systems, these structures are also unknown. This limitation needs to be overcome for scientific discovery and modeling of unknown systems. To this end, we propose first integral-preserving neural differential equation (FINDE). By leveraging the projection method and the discrete gradient method, FINDE finds and preserves first integrals from data, even in the absence of prior knowledge about underlying structures. Experimental results demonstrate that FINDE can predict future states of target systems much longer and find various quantities consistent with well-known first integrals in a unified manner.


title: Revisit the Poynting vector in PT-symmetric coupled waveguides

abstract: We show that the time-averaged Poynting vector in parity-time (PT ) symmetric coupled waveguides is always positive and cannot explain the stopped light at exceptional points (EPs). In order to solve this paradox, we must accept the fact that the fields E and H and the Poynting vector in non-Hermitian systems are in general complex. Based on the original definition of the instantaneous Poynting vector, a formula on the group velocity is proposed, which agrees perfectly well with that calculated directly from the dispersion curves. It explains not only the stopped light at EPs, but also the fast-light effect near it. This investigation bridges a gap between the classic electrodynamics and the non-Hermitian physics, and highlights the novelty of non-Hermitian optics.


title: SUSY-QCD corrections to squark annihilation into gluons and light quarks

abstract: We calculate the full one-loop SUSY-QCD corrections to stop annihilation into gluons and light quarks including the Sommerfeld enhancement effect and discuss their impact on the neutralino relic density in the MSSM.


title: Offline Handwritten Amharic Character Recognition Using Few-shot Learning

abstract: Few-shot learning is an important, but challenging problem of machine learning aimed at learning from only fewer labeled training examples. It has become an active area of research due to deep learning requiring huge amounts of labeled dataset, which is not feasible in the real world. Learning from a few examples is also an important attempt towards learning like humans. Few-shot learning has proven a very good promise in different areas of machine learning applications, particularly in image classification. As it is a recent technique, most researchers focus on understanding and solving the issues related to its concept by focusing only on common image datasets like Mini-ImageNet and Omniglot. Few-shot learning also opens an opportunity to address low resource languages like Amharic. In this study, offline handwritten Amharic character recognition using few-shot learning is addressed. Particularly, prototypical networks, the popular and simpler type of few-shot learning, is implemented as a baseline. Using the opportunities explored in the nature of Amharic alphabet having row-wise and column-wise similarities, a novel way of augmenting the training episodes is proposed. The experimental results show that the proposed method outperformed the baseline method. This study has implemented few-shot learning for Amharic characters for the first time. More importantly, the findings of the study open new ways of examining the influence of training episodes in few-shot learning, which is one of the important issues that needs exploration. The datasets used for this study are collected from native Amharic language writers using an Android App developed as a part of this study.


title: Electromagnetic Channel Model for Near Field MIMO Systems in The Half Space

abstract: In most multiple-input multiple-output (MIMO) communication systems, the amount of information that can be transmitted reliably depends on the effective degrees of freedom (EDoF) of the wireless channel. Conventionally, one can model the channel matrix and study the EDoF, based on an electromagnetic (EM) channel model that is built with the free space Green's function. However, the EDoF of free-space channel model may not fit the practical scenario when EM waves only transmit above the ground. In this paper, we analyze the EDoF for both discrete and continuous aperture MIMO systems in the half space. We also propose an approach to quickly calculate the Green function in the half space from the Sommerfeld identity. Simulation results show that the difference between the EDoF in the half space and that in the free space is non-negligible for the near field communications, which indicates that the ground exerts noticeable influence on EDoF. The proposed study establishes a fundamental electromagnetic framework for MIMO wireless communication in the half space.


title: Spontaneous symmetry breaking and ghost states supported by the fractional nonlinear Schr\"odinger equation with focusing saturable nonlinearity and PT-symmetric potential

abstract: We report a novel spontaneous symmetry breaking phenomenon and ghost states existed in the framework of the fractional nonlinear Schr\"odinger (FNLS) equation with focusing saturable nonlinearity and PT-symmetric potential. The continuous asymmetric soliton branch bifurcates from the fundamental symmetric one as the power exceeds some critical value. Intriguingly, the symmetry of fundamental solitons is broken into two branches of asymmetry solitons (alias ghost states) with complex conjugate propagation constants, which is solely in fractional media. Besides, the dipole (antisymmetry) and tripole solitons are also studied numerically. Moreover, we analyze the influences of fractional L\'evy index and saturable nonlinear parameters on the symmetry breaking of solitons in detail. And the stability of fundamental soliton, asymmetric, dipole and tripole solitons are explored via the linear stability analysis and direct propagations. Moreover, we explore the elastic/semi-elastic collision phenomena between symmetric and asymmetric solitons. Meanwhile, we find the stable excitations from the fractional diffraction with saturation nonlinearity to integer-order diffraction with Kerr nonlinearity via the adiabatic excitations of parameters. These results will provide some theoretical basis for the study of spontaneous symmetry breaking phenomena and related physical experiments in the fractional media with PT-symmetric potentials.


title: Det-SLAM: A semantic visual SLAM for highly dynamic scenes using Detectron2

abstract: According to experts, Simultaneous Localization and Mapping (SLAM) is an intrinsic part of autonomous robotic systems. Several SLAM systems with impressive performance have been invented and used during the last several decades. However, there are still unresolved issues, such as how to deal with moving objects in dynamic situations. Classic SLAM systems depend on the assumption of a static environment, which becomes unworkable in highly dynamic situations. Several methods have been presented to tackle this issue in recent years, but each has its limitations. This research combines the visual SLAM systems ORB-SLAM3 and Detectron2 to present the Det-SLAM system, which employs depth information and semantic segmentation to identify and eradicate dynamic spots to accomplish semantic SLAM for dynamic situations. Evaluation of public TUM datasets indicates that Det-SLAM is more resilient than previous dynamic SLAM systems and can lower the estimated error of camera posture in dynamic indoor scenarios.


title: Failure-informed adaptive sampling for PINNs

abstract: Physics-informed neural networks (PINNs) have emerged as an effective technique for solving PDEs in a wide range of domains. It is noticed, however, the performance of PINNs can vary dramatically with different sampling procedures. For instance, a fixed set of (prior chosen) training points may fail to capture the effective solution region (especially for problems with singularities). To overcome this issue, we present in this work an adaptive strategy, termed the failure-informed PINNs (FI-PINNs), which is inspired by the viewpoint of reliability analysis. The key idea is to define an effective failure probability based on the residual, and then, with the aim of placing more samples in the failure region, the FI-PINNs employs a failure-informed enrichment technique to adaptively add new collocation points to the training set, such that the numerical accuracy is dramatically improved. In short, similar as adaptive finite element methods, the proposed FI-PINNs adopts the failure probability as the posterior error indicator to generate new training points. We prove rigorous error bounds of FI-PINNs and illustrate its performance through several problems.


title: Pinwheels as Lagrangian barriers

abstract: The complex projective plane CP^2 contains certain Lagrangian CW-complexes called pinwheels, which have interesting rigidity properties related to solutions of the Markov equation. We compute the Gromov width of the complement of pinwheels and show that it is strictly smaller than the Gromov width of CP^2, meaning that pinwheels are Lagrangian barriers in the sense of Biran. The accumulation points of the set of these Gromov widths are in a simple bijection with the Lagrange spectrum below 3.


title: Arithmetic progressions among powerful numbers

abstract: In this paper, we study $k$-term arithmetic progressions $N, N+d, ..., N+(k-1)d$ of powerful numbers. Under the $abc$-conjecture, we obtain $d \gg_\epsilon N^{1/2 - \epsilon}$. On the other hand, there exist infinitely many $3$-term arithmetic progressions of powerful numbers with $d \ll N^{1/2}$ unconditionally. We also prove some partial results when $k \ge 4$ and pose some open questions.


title: Construction and Evaluation of a Self-Attention Model for Semantic Understanding of Sentence-Final Particles

abstract: Sentence-final particles serve an essential role in spoken Japanese because they express the speaker's mental attitudes toward a proposition and/or an interlocutor. They are acquired at early ages and occur very frequently in everyday conversation. However, there has been little proposal for a computational model of acquiring sentence-final particles. This paper proposes Subjective BERT, a self-attention model that takes various subjective senses in addition to language and images as input and learns the relationship between words and subjective senses. An evaluation experiment revealed that the model understands the usage of "yo", which expresses the speaker's intention to communicate new information, and that of "ne", which denotes the speaker's desire to confirm that some information is shared.


title: Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs

abstract: We provide a framework for probabilistic reasoning in Vadalog-based Knowledge Graphs (KGs), satisfying the requirements of ontological reasoning: full recursion, powerful existential quantification, expression of inductive definitions. Vadalog is a Knowledge Representation and Reasoning (KRR) language based on Warded Datalog+/-, a logical core language of existential rules, with a good balance between computational complexity and expressive power. Handling uncertainty is essential for reasoning with KGs. Yet Vadalog and Warded Datalog+/- are not covered by the existing probabilistic logic programming and statistical relational learning approaches for several reasons, including insufficient support for recursion with existential quantification, and the impossibility to express inductive definitions. In this work, we introduce Soft Vadalog, a probabilistic extension to Vadalog, satisfying these desiderata. A Soft Vadalog program induces what we call a Probabilistic Knowledge Graph (PKG), which consists of a probability distribution on a network of chase instances, structures obtained by grounding the rules over a database using the chase procedure. We exploit PKGs for probabilistic marginal inference. We discuss the theory and present MCMC-chase, a Monte Carlo method to use Soft Vadalog in practice. We apply our framework to solve data management and industrial problems, and experimentally evaluate it in the Vadalog system. Under consideration in Theory and Practice of Logic Programming (TPLP).