title: Study on the Concept and Development of a Mobile Incubator

abstract: Creating the best possible conditions is essential for proper cell growth. Incubators, a type of biotechnological instrument, are used to simulate this condition and maintain the cells within them. The processes involved in creating a mobile incubator, which are essential for monitoring a cell culture's physiological parameters, are outlined in this article. The goal is to keep image-taking during cell development from compromising data accuracy. The cell culture is prone to contamination once it has been removed from the incubation environment for further monitoring. The proposed approach allows for on-the-go monitoring of the cell culture. Moreover, it enables constant monitoring.


title: Fuse and Attend: Generalized Embedding Learning for Art and Sketches

abstract: While deep Embedding Learning approaches have witnessed widespread success in multiple computer vision tasks, the state-of-the-art methods for representing natural images need not necessarily perform well on images from other domains, such as paintings, cartoons, and sketch. This is because of the huge shift in the distribution of data from across these domains, as compared to natural images. Domains like sketch often contain sparse informative pixels. However, recognizing objects in such domains is crucial, given multiple relevant applications leveraging such data, for instance, sketch to image retrieval. Thus, achieving an Embedding Learning model that could perform well across multiple domains is not only challenging, but plays a pivotal role in computer vision. To this end, in this paper, we propose a novel Embedding Learning approach with the goal of generalizing across different domains. During training, given a query image from a domain, we employ gated fusion and attention to generate a positive example, which carries a broad notion of the semantics of the query object category (from across multiple domains). By virtue of Contrastive Learning, we pull the embeddings of the query and positive, in order to learn a representation which is robust across domains. At the same time, to teach the model to be discriminative against examples from different semantic categories (across domains), we also maintain a pool of negative embeddings (from different categories). We show the prowess of our method using the DomainBed framework, on the popular PACS (Photo, Art painting, Cartoon, and Sketch) dataset.


title: An Approach of Adjusting the Switch Probability based on Dimension Size: A Case Study for Performance Improvement of the Flower Pollination Algorithm

abstract: Numerous meta-heuristic algorithms have been influenced by nature. Over the past couple of decades, their quantity has been significantly escalating. The majority of these algorithms attempt to emulate natural biological and physical phenomena. This research concentrates on the Flower Pollination algorithm, which is one of several bio-inspired algorithms. The original approach was suggested for pollen grain exploration and exploitation in confined space using a specific global pollination and local pollination strategy. As a "swarm intelligence" meta-heuristic algorithm, its strength lies in locating the vicinity of the optimum solution rather than identifying the minimum. A modification to the original method is detailed in this work. This research found that by changing the specific value of "switch probability" with dynamic values of different dimension sizes and functions, the outcome was mainly improved over the original flower pollination method.


title: Search for pair-produced vector-like leptons in final states with third-generation leptons and at least three b quark jets in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: The first search is presented for vector-like leptons (VLLs) in the context of the "4321 model", an ultraviolet-complete model with the potential to explain existing B physics measurements that are in tension with standard model predictions. The analyzed data, corresponding to an integrated luminosity of 96.5 fb$^{-1}$, were recorded in 2017 and 2018 with the CMS detector at the LHC in proton-proton collisions at $\sqrt{s}$ = 13 TeV. Final states with ${\geq}$ 3 b-tagged jets and two third-generation leptons ($\tau\tau$, $\tau\nu_\tau$, or $\nu_\tau\nu_\tau$) are considered. Upper limits are derived on the VLL production cross section in the VLL mass range 500-1050 GeV. The maximum likelihood fit prefers the presence of signal at the level of 2.8 standard deviations, for a representative VLL mass point of 600 GeV. As a consequence, the observed upper limits are approximately double the expected limits.


title: On the equivalence issue of a class of $2$-dimensional linear Maximum Rank Distance codes

abstract: In [A. Neri, P. Santonastaso, F. Zullo. Extending two families of maximum rank distance codes], the authors extended the family of $2$-dimensional $\mathbb{F}_{q^{2t}}$-linear MRD codes recently found in [G. Longobardi, G. Marino, R. Trombetti, Y. Zhou. A large family of maximum scattered linear sets of $\mathrm{PG}(1,q^n)$ and their associated MRD codes]. Also, for $t \geq 5$ they determined equivalence classes of the elements in this new family and provided the exact number of inequivalent codes in it. In this article, we complete the study of the equivalence issue removing the restriction $t \geq 5$. Moreover, we prove that in the case when $t=4$, the linear sets of the projective line $\mathrm{PG}(1,q^{8})$ ensuing from codes in the relevant family, are not equivalent to any one known so far.


title: Minimizing Visible Edges in Polyhedra

abstract: We prove that, given a polyhedron $\mathcal P$ in $\mathbb{R}^3$, every point in $\mathbb R^3$ that does not see any vertex of $\mathcal P$ must see eight or more edges of $\mathcal P$, and this bound is tight. More generally, this remains true if $\mathcal P$ is any finite arrangement of internally disjoint polygons in $\mathbb{R}^3$. We also prove that every point in $\mathbb{R}^3$ can see six or more edges of $\mathcal{P}$ (possibly only the endpoints of some these edges) and every point in the interior of $\mathcal{P}$ can see a positive portion of at least six edges of $\mathcal{P}$. These bounds are also tight.


title: SnowFormer: Context Interaction Transformer with Scale-awareness for Single Image Desnowing

abstract: Due to various and complicated snow degradations, single image desnowing is a challenging image restoration task. As prior arts can not handle it ideally, we propose a novel transformer, SnowFormer, which explores efficient cross-attentions to build local-global context interaction across patches and surpasses existing works that employ local operators or vanilla transformers. Compared to prior desnowing methods and universal image restoration methods, SnowFormer has several benefits. Firstly, unlike the multi-head self-attention in recent image restoration Vision Transformers, SnowFormer incorporates the multi-head cross-attention mechanism to perform local-global context interaction between scale-aware snow queries and local-patch embeddings. Second, the snow queries in SnowFormer are generated by the query generator from aggregated scale-aware features, which are rich in potential clean cues, leading to superior restoration results. Third, SnowFormer outshines advanced state-of-the-art desnowing networks and the prevalent universal image restoration transformers on six synthetic and real-world datasets. The code is released in \url{https://github.com/Ephemeral182/SnowFormer}.


title: Barcode of a pair of compact exact Lagrangians in a punctured exact two-dimensional symplectic manifold

abstract: In this article, we modify the classical Floer complex $CF(L_0,L_1)$ of a pair of two compact exact Lagrangian submanifolds $L_0,L_1$ of an exact symplectic 2-manifold $M$ into a $\mathbb{Z}_2[T]$-complex $CF_h(L_0,L_1)$, whose differential keeps track of how many times a pseudo-holomorphic strip passes through a distinguished point $h\in M$. We show that this complex is invariant under Hamiltonian isotopy, and we prove that its barcode, if it exists, is the same as both barcodes $\mathcal{B}(CF(L_0,L_1;M))$ and $\mathcal{B}(CF(L_0,L_1;M\setminus \{h \}))$. This allows us to extend a conjecture of Viterbo, which states that for every Hamiltonian isotopy $\phi^1_H(L)$ in $D^* L$, the spectral norm $\gamma(L,\phi^1_H(L))$ remains bounded independently of $H$, to the case of $D^* L$ with a point removed.


title: gBuilder: A Scalable Knowledge Graph Construction System for Unstructured Corpus

abstract: We design a user-friendly and scalable knowledge graph construction (KGC) system for extracting structured knowledge from the unstructured corpus. Different from existing KGC systems, gBuilder provides a flexible and user-defined pipeline to embrace the rapid development of IE models. More built-in template-based or heuristic operators and programmable operators are available for adapting to data from different domains. Furthermore, we also design a cloud-based self-adaptive task scheduling for gBuilder to ensure its scalability on large-scale knowledge graph construction. Experimental evaluation demonstrates the ability of gBuilder to organize multiple information extraction models for knowledge graph construction in a uniform platform, and confirms its high scalability on large-scale KGC tasks.


title: Dual Space Coupling Model Guided Overlap-Free Scatterplot

abstract: The overdraw problem of scatterplots seriously interferes with the visual tasks. Existing methods, such as data sampling, node dispersion, subspace mapping, and visual abstraction, cannot guarantee the correspondence and consistency between the data points that reflect the intrinsic original data distribution and the corresponding visual units that reveal the presented data distribution, thus failing to obtain an overlap-free scatterplot with unbiased and lossless data distribution. A dual space coupling model is proposed in this paper to represent the complex bilateral relationship between data space and visual space theoretically and analytically. Under the guidance of the model, an overlap-free scatterplot method is developed through integration of the following: a geometry-based data transformation algorithm, namely DistributionTranscriptor; an efficient spatial mutual exclusion guided view transformation algorithm, namely PolarPacking; an overlap-free oriented visual encoding configuration model and a radius adjustment tool, namely $f_{r_{draw}}$. Our method can ensure complete and accurate information transfer between the two spaces, maintaining consistency between the newly created scatterplot and the original data distribution on global and local features. Quantitative evaluation proves our remarkable progress on computational efficiency compared with the state-of-the-art methods. Three applications involving pattern enhancement, interaction improvement, and overdraw mitigation of trajectory visualization demonstrate the broad prospects of our method.


title: Quantum Field Theories, Topological Materials, and Topological Quantum Computing

abstract: A quantum computer can perform exponentially faster than its classical counterpart. It works on the principle of superposition. But due to the decoherence effect, the superposition of a quantum state gets destroyed by the interaction with the environment. It is a real challenge to completely isolate a quantum system to make it free of decoherence. This problem can be circumvented by the use of topological quantum phases of matter. These phases have quasiparticles excitations called anyons. The anyons are charge-flux composites and show exotic fractional statistics. When the order of exchange matters, then the anyons are called non-Abelian anyons. Majorana fermions in topological superconductors and quasiparticles in some quantum Hall states are non-Abelian anyons. Such topological phases of matter have a ground state degeneracy. The fusion of two or more non-Abelian anyons can result in a superposition of several anyons. The topological quantum gates are implemented by braiding and fusion of the non-Abelian anyons. The fault-tolerance is achieved through the topological degrees of freedom of anyons. Such degrees of freedom are non-local, hence inaccessible to the local perturbations. Ternary logic gates are more compact than their binary counterparts and naturally arise in a type of anyonic model called the metaplectic anyons. The mathematical model, for the fusion and braiding matrices of metaplectic anyons, is the quantum deformation of the recoupling theory. In this dissertation, we gave comprehensive background of topological quantum computation. Topology and knot theory, geometric phases, topological materials, topological quantum field theories, recoupling theory, and category theory are discussed. We proposed that the existing quantum ternary arithmetic gates can be realized by braiding and topological charge measurement of the metaplectic anyons.


title: DenseShift: Towards Accurate and Efficient Low-Bit Power-of-Two Quantization

abstract: Efficiently deploying deep neural networks on low-resource edge devices is challenging due to their ever-increasing resource requirements. To address this issue, researchers have proposed multiplication-free neural networks, such as Power-of-Two quantization, or also known as Shift networks, which aim to reduce memory usage and simplify computation. However, existing low-bit Shift networks are not as accurate as their full-precision counterparts, typically suffering from limited weight range encoding schemes and quantization loss. In this paper, we propose the DenseShift network, which significantly improves the accuracy of Shift networks, achieving competitive performance to full-precision networks for vision and speech applications. In addition, we introduce a method to deploy an efficient DenseShift network using non-quantized floating-point activations, while obtaining 1.6X speed-up over existing methods. To achieve this, we demonstrate that zero-weight values in low-bit Shift networks do not contribute to model capacity and negatively impact inference computation. To address this issue, we propose a zero-free shifting mechanism that simplifies inference and increases model capacity. We further propose a sign-scale decomposition design to enhance training efficiency and a low-variance random initialization strategy to improve the model's transfer learning performance. Our extensive experiments on various computer vision and speech tasks demonstrate that DenseShift outperforms existing low-bit multiplication-free networks and achieves competitive performance compared to full-precision networks. Furthermore, our proposed approach exhibits strong transfer learning performance without a drop in accuracy. Our code was released on GitHub.


title: BSpell: A CNN-Blended BERT Based Bangla Spell Checker

abstract: Bangla typing is mostly performed using English keyboard and can be highly erroneous due to the presence of compound and similarly pronounced letters. Spelling correction of a misspelled word requires understanding of word typing pattern as well as the context of the word usage. A specialized BERT model named BSpell has been proposed in this paper targeted towards word for word correction in sentence level. BSpell contains an end-to-end trainable CNN sub-model named SemanticNet along with specialized auxiliary loss. This allows BSpell to specialize in highly inflected Bangla vocabulary in the presence of spelling errors. Furthermore, a hybrid pretraining scheme has been proposed for BSpell that combines word level and character level masking. Comparison on two Bangla and one Hindi spelling correction dataset shows the superiority of our proposed approach. BSpell is available as a Bangla spell checking tool via GitHub: https://github.com/Hasiburshanto/Bangla-Spell-Checker


title: Adversarial contamination of networks in the setting of vertex nomination: a new trimming method

abstract: As graph data becomes more ubiquitous, the need for robust inferential graph algorithms to operate in these complex data domains is crucial. In many cases of interest, inference is further complicated by the presence of adversarial data contamination. The effect of the adversary is frequently to change the data distribution in ways that negatively affect statistical and algorithmic performance. We study this phenomenon in the context of vertex nomination, a semi-supervised information retrieval task for network data. Here, a common suite of methods relies on spectral graph embeddings, which have been shown to provide both good algorithmic performance and flexible settings in which regularization techniques can be implemented to help mitigate the effect of an adversary. Many current regularization methods rely on direct network trimming to effectively excise the adversarial contamination, although this direct trimming often gives rise to complicated dependency structures in the resulting graph. We propose a new trimming method that operates in model space which can address both block structure contamination and white noise contamination (contamination whose distribution is unknown). This model trimming is more amenable to theoretical analysis while also demonstrating superior performance in a number of simulations, compared to direct trimming.


title: Improving Multilayer-Perceptron(MLP)-based Network Anomaly Detection with Birch Clustering on CICIDS-2017 Dataset

abstract: Machine learning algorithms have been widely used in intrusion detection systems, including Multi-layer Perceptron (MLP). In this study, we proposed a two-stage model that combines the Birch clustering algorithm and MLP classifier to improve the performance of network anomaly multi-classification. In our proposed method, we first apply Birch or Kmeans as an unsupervised clustering algorithm to the CICIDS-2017 dataset to pre-group the data. The generated pseudo-label is then added as an additional feature to the training of the MLP-based classifier. The experimental results show that using Birch and K-Means clustering for data pre-grouping can improve intrusion detection system performance. Our method can achieve 99.73% accuracy in multi-classification using Birch clustering, which is better than similar researches using a stand-alone MLP model.


title: The R-Process Alliance: Chemo-Dynamically Tagged Groups II. An Extended Sample of Halo $r$-Process-Enhanced Stars

abstract: Orbital characteristics based on Gaia Early Data Release 3 astrometric parameters are analyzed for ${\sim} 1700$ $r$-process-enhanced (RPE; [Eu/Fe] $> +0.3$) metal-poor stars ([Fe/H] $\leq -0.8$) compiled from the $R$-Process Alliance, the GALactic Archaeology with HERMES (GALAH) DR3 survey, and additional literature sources. We find dynamical clusters of these stars based on their orbital energies and cylindrical actions using the \HDBSCAN ~unsupervised learning algorithm. We identify $36$ Chemo-Dynamically Tagged Groups (CDTGs) containing between $5$ and $22$ members; $17$ CDTGs have at least $10$ member stars. Previously known Milky Way (MW) substructures such as Gaia-Sausage-Enceladus, the Splashed Disk, the Metal-Weak Thick Disk, the Helmi Stream, LMS-1 (Wukong), and Thamnos are re-identified. Associations with MW globular clusters are determined for $7$ CDTGs; no recognized MW dwarf galaxy satellites were associated with any of our CDTGs. Previously identified dynamical groups are also associated with our CDTGs, adding structural determination information and possible new identifications. Carbon-Enhanced Metal-Poor RPE (CEMP-$r$) stars are identified among the targets; we assign these to morphological groups in the Yoon-Beers $A$(C)$_{c}$ vs. [Fe/H] Diagram. Our results confirm previous dynamical analyses that showed RPE stars in CDTGs share common chemical histories, influenced by their birth environments.


title: Similarities between characteristics of convective turbulence in confined and extended domains

abstract: To understand turbulent convection at very high Rayleigh numbers typical of natural phenomena, computational studies in slender cells are an option if the needed resources have to be optimized within available limits. However, the accompanying horizontal confinement affects some properties of the flow. Here, we explore the characteristics of turbulent fluctuations in the velocity and temperature fields in a cylindrical convection cell of aspect ratio 0.1 by varying the Prandtl number $Pr$ between 0.1 and 200 at a fixed Rayleigh number $Ra = 3 \times 10^{10}$, and find that the fluctuations weaken with increasing $Pr$, quantitatively as in aspect ratio 25. The probability density function (PDF) of temperature fluctuations in the bulk region of the slender cell remains mostly Gaussian, but increasing departures occur as $Pr$ increases beyond unity. We assess the intermittency of the velocity field by computing the PDFs of velocity derivatives and of the kinetic energy dissipation rate, and find increasing intermittency as $Pr$ decreases. In the bulk region of convection, a common result applicable to the slender cell, large aspect ratio cells, as well as in 2D convection, is that the turbulent Prandtl number decreases as $Pr^{-1/3}$.


title: A hybrid classical-quantum algorithm for digital image processing

abstract: A hybrid classical-quantum approach for evaluation of multi-dimensional Walsh-Hadamard transforms and its applications to quantum image processing are proposed. In this approach, multidimensional Walsh-Hadamard transforms are obtained using quantum Hadamard gates (along with state-preparation, shifting, scaling and measurement operations). The proposed approach for evaluation of multidimensional Walsh-Hadamard transform has a considerably lower computational complexity (involving $O(N^d)$ operations) in contrast to classical Fast Walsh-Hadamard transform (involving $O(N^d~\log_2 N^d)$ operations), where $d$ and $N$ denote the number of dimensions and degrees of freedom along each dimension. Unlike many other quantum image representation and quantum image processing frameworks, our proposed approach makes efficient use of qubits, where only $\log_2 N $ qubits are sufficient for sequential processing of an image of $ N \times N $ pixels. Selected applications of the proposed approach (for $ d=2 $) are demonstrated via computational examples relevant to basic image filtering and periodic banding noise removal and the results were found to be satisfactory.


title: Wolfies at SemEval-2022 Task 8: Feature extraction pipeline with transformers for Multi-lingual news article similarity

abstract: This work is about finding the similarity between a pair of news articles. There are seven different objective similarity metrics provided in the dataset for each pair and the news articles are in multiple different languages. On top of the pre-trained embedding model, we calculated cosine similarity for baseline results and feed-forward neural network was then trained on top of it to improve the results. We also built separate pipelines for each similarity metric for feature extraction. We could see significant improvement from baseline results using feature extraction and feed-forward neural network.


title: zk-PCN: A Privacy-Preserving Payment Channel Network Using zk-SNARKs

abstract: Payment channel network (PCN) is a layer-two scaling solution that enables fast off-chain transactions but does not involve on-chain transaction settlement. PCNs raise new privacy issues including balance secrecy, relationship anonymity and payment privacy. Moreover, protecting privacy causes low transaction success rates. To address this dilemma, we propose zk-PCN, a privacy-preserving payment channel network using zk-SNARKs. We prevent from exposing true balances by setting up \textit{public balances} instead. Using public balances, zk-PCN can guarantee high transaction success rates and protect PCN privacy with zero-knowledge proofs. Additionally, zk-PCN is compatible with the existing routing algorithms of PCNs. To support such compatibility, we propose zk-IPCN to improve zk-PCN with a novel proof generation (RPG) algorithm. zk-IPCN reduces the overheads of storing channel information and lowers the frequency of generating zero-knowledge proofs. Finally, extensive simulations demonstrate the effectiveness and efficiency of zk-PCN in various settings.


title: Learning Primitive-aware Discriminative Representations for Few-shot Learning

abstract: Few-shot learning (FSL) aims to learn a classifier that can be easily adapted to recognize novel classes with only a few labeled examples. Some recent work about FSL has yielded promising classification performance, where the image-level feature is used to calculate the similarity among samples for classification. However, the image-level feature ignores abundant fine-grained and structural in-formation of objects that may be transferable and consistent between seen and unseen classes. How can humans easily identify novel classes with several sam-ples? Some study from cognitive science argues that humans can recognize novel categories through primitives. Although base and novel categories are non-overlapping, they can share some primitives in common. Inspired by above re-search, we propose a Primitive Mining and Reasoning Network (PMRN) to learn primitive-aware representations based on metric-based FSL model. Concretely, we first add Self-supervision Jigsaw task (SSJ) for feature extractor parallelly, guiding the model to encode visual pattern corresponding to object parts into fea-ture channels. To further mine discriminative representations, an Adaptive Chan-nel Grouping (ACG) method is applied to cluster and weight spatially and se-mantically related visual patterns to generate a group of visual primitives. To fur-ther enhance the discriminability and transferability of primitives, we propose a visual primitive Correlation Reasoning Network (CRN) based on graph convolu-tional network to learn abundant structural information and internal correlation among primitives. Finally, a primitive-level metric is conducted for classification in a meta-task based on episodic training strategy. Extensive experiments show that our method achieves state-of-the-art results on six standard benchmarks.


title: Sub-Newtonian coalescence in polymeric fluids

abstract: We present a theoretical framework for capturing the coalescence of a pendant drop with a sessile drop in polymeric fluids. The framework is based on the unification of various constitutive laws under high Weissenberg creeping flow limit. Our results suggests that the phenomenon comes under a new regime namely, the sub-Newtonian regime followed by the limiting case of arrested coalescence with the arrest angle $\theta_{arrest}\propto Ec^{-1/2}$, where $Ec$ is the Elasto-capillary number. Further, we propose a new time scale $T^*$ integrating the continuum variable $Ec$ and the macromolecular parameter $N_e$, the entanglement density to describe the liquid neck evolution. Finally, we validate the framework with high speed imaging experiments performed across different molecular weights of Poly(ethylene oxide) (PEO).


title: Cognitive Modeling of Semantic Fluency Using Transformers

abstract: Can deep language models be explanatory models of human cognition? If so, what are their limits? In order to explore this question, we propose an approach called hyperparameter hypothesization that uses predictive hyperparameter tuning in order to find individuating descriptors of cognitive-behavioral profiles. We take the first step in this approach by predicting human performance in the semantic fluency task (SFT), a well-studied task in cognitive science that has never before been modeled using transformer-based language models (TLMs). In our task setup, we compare several approaches to predicting which word an individual performing SFT will utter next. We report preliminary evidence suggesting that, despite obvious implementational differences in how people and TLMs learn and use language, TLMs can be used to identify individual differences in human fluency task behaviors better than existing computational models, and may offer insights into human memory retrieval strategies -- cognitive process not typically considered to be the kinds of things TLMs can model. Finally, we discuss the implications of this work for cognitive modeling of knowledge representations.


title: Computations and observations on congruence covering systems

abstract: A $\textit{covering system}$ is a collection of integer congruences such that every integer satisfies at least one congruence in the collection. A covering system is called $\textit{distinct}$ if all of its moduli are distinct. An expansive literature has developed on covering systems since their introduction by Erd\H{o}s. Here we provide a full classification of distinct covering systems with at most ten moduli, which we group together based on two forms of equivalence. As a consequence, we determine the minimum cardinality of a distinct covering system with all moduli exceeding $2$, which is $11$.


title: Solutions of the $sl_2$ qKZ equations modulo an integer

abstract: We study the qKZ difference equations with values in the $n$-th tensor power of the vector $sl_2$ representation $V$, variables $z_1,\dots,z_n$ and integer step $\kappa$. For any integer $N$ relatively prime to the step $\kappa$, we construct a family of polynomials $f_r(z)$ in variables $z_1,\dots,z_n$ with values in $V^{\otimes n}$ such that the coordinates of these polynomials with respect to the standard basis of $V^{\otimes n}$ are polynomials with integer coefficients. We show that the polynomials $f_r(z)$ satisfy the qKZ equations modulo $N$. Polynomials $f_r(z)$ are modulo $N$ analogs of the hypergeometric solutions of the \qKZ/ equations given in the form of multidimensional Barnes integrals.


title: How robustly can you predict the future?

abstract: Hardin and Taylor \cite{MR2384262} proved that any function on the reals -- even a nowhere continuous one -- can be correctly predicted, based solely on its past behavior, at almost every point in time. They showed in \cite{MR3100500} that one could even arrange for the predictors to be robust with respect to simple time shifts, and asked whether they could be robust with respect to other, more complicated time distortions. This question was partially answered by Bajpai and Velleman \cite{MR3552748}, who provided upper and lower frontiers (in the subgroup lattice of $\text{Homeo}^+(\mathbb{R})$) on how robust a predictor can possibly be. We improve both frontiers, some of which reduce ultimately to consequences of H\"older's Theorem (that every Archimedean group is abelian).


title: Matrix Completion with Cross-Concentrated Sampling: Bridging Uniform Sampling and CUR Sampling

abstract: While uniform sampling has been widely studied in the matrix completion literature, CUR sampling approximates a low-rank matrix via row and column samples. Unfortunately, both sampling models lack flexibility for various circumstances in real-world applications. In this work, we propose a novel and easy-to-implement sampling strategy, coined Cross-Concentrated Sampling (CCS). By bridging uniform sampling and CUR sampling, CCS provides extra flexibility that can potentially save sampling costs in applications. In addition, we also provide a sufficient condition for CCS-based matrix completion. Moreover, we propose a highly efficient non-convex algorithm, termed Iterative CUR Completion (ICURC), for the proposed CCS model. Numerical experiments verify the empirical advantages of CCS and ICURC against uniform sampling and its baseline algorithms, on both synthetic and real-world datasets.


title: Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation

abstract: Semiconic idempotent logic sCI is a common generalization of intuitionistic logic, semilinear idempotent logic sLI, and in particular relevance logic with mingle. We establish the projective Beth definability property and the deductive interpolation property for many extensions of sCI, and identify extensions where these properties fail. We achieve these results by studying the (strong) amalgamation property and the epimorphism-surjectivity property for the corresponding algebraic semantics, viz. semiconic idempotent residuated lattices. Our study is made possible by the structural decomposition of conic idempotent models achieved in the prequel, as well as a detailed analysis of the structure of idempotent residuated chains serving as index sets in this decomposition. Here we study the latter on two levels: as certain enriched Galois connections and as enhanced monoidal preorders. Using this, we show that although conic idempotent residuated lattices do not have the amalgamation property, the natural class of rigid and conjunctive conic idempotent residuated lattices has the strong amalgamation property, and thus has surjective epimorphisms. This extends to the variety generated by rigid and conjunctive conic idempotent residuated lattices, and we establish the (strong) amalgamation and epimorphism-surjectivity properties for several important subvarieties. Using the algebraizability of sCI, this yields the deductive interpolation property and the projective Beth definability property for the corresponding substructural logics extending sCI.


title: On Robustness in Nonconvex Optimization with Application to Defense Planning

abstract: In the context of structured nonconvex optimization, we estimate the increase in minimum value for a decision that is robust to parameter perturbations as compared to the value of a nominal problem. The estimates rely on detailed expressions for subgradients and local Lipschitz moduli of min-value functions in nonconvex robust optimization and require only the solution of the nominal problem. The theoretical results are illustrated by examples from military operations research involving mixed-integer optimization models. Across 54 cases examined, the median error in estimating the increase in minimum value is 12%. Therefore, the derived expressions for subgradients and local Lipschitz moduli may accurately inform analysts about the possibility of obtaining cost-effective, parameter-robust decisions in nonconvex optimization.


title: Permutation-Invariance in Koml\'os' Theorem for Non-negative Random Variables

abstract: We provide a permutation-invariant version of the Koml\'os' theorem for non-negative random variables. The proof is quite elementary in the sense that it did not use the Axiom of Choice, and was based on a recent result in [3].


title: Lost at C: A User Study on the Security Implications of Large Language Model Code Assistants

abstract: Large Language Models (LLMs) such as OpenAI Codex are increasingly being used as AI-based coding assistants. Understanding the impact of these tools on developers' code is paramount, especially as recent work showed that LLMs may suggest cybersecurity vulnerabilities. We conduct a security-driven user study (N=58) to assess code written by student programmers when assisted by LLMs. Given the potential severity of low-level bugs as well as their relative frequency in real-world projects, we tasked participants with implementing a singly-linked 'shopping list' structure in C. Our results indicate that the security impact in this setting (low-level C with pointer and array manipulations) is small: AI-assisted users produce critical security bugs at a rate no greater than 10% more than the control, indicating the use of LLMs does not introduce new security risks.


title: Planning routes in road freight minimizing logistical costs and accident risks

abstract: The Vehicle Routing Problem (VRP) has been widely studied throughout its history as a way of optimizing routes by minimizing distances, and the issue of risk in VRP has been received less attention, which is essential to increase transport safety, to reduce accident costs and to improve delivery reliability. In this way, this paper aims to support decision makers to plan routes for a road freight company considering both, i.e. logistics cost and safety. An analytical approach based on statistics was developed in which official government data of accidents occurrences and data from cargo insurance companies were used to estimate the risk cost of routes using the Monte Carlo simulation. The Capacitated Vehicle Routing Problem (CVRP) was employed and logistics and risk costs were minimized by varying a specific safety level coefficient and the model generated solutions with safer routes, reducing risk cost by up to approximately 18%. The accidents probabilities and risk costs of each route represented values as expected and the main contributions of this paper is the applicability of the approach to support decision markers to choose routes considering safety and logistics costs, and to be a simple and adaptable methodology for any VRP model. In addition Knime Analytics Platform was also used to estimate the accidents probabilities and to simplify data exploration, analysis, visualization and interpretation.


title: On Kummer extensions with one place at infinity

abstract: Let $K$ be the algebraic closure of $\mathbb{F}_{q}$. We provide an explicit description of the Weierstrass semigroup $H(Q_\infty)$ at the only place at infinity $Q_{\infty}$ of the curve $\mathcal{X}$ defined by the Kummer extension with equation $y^m=f(x)$, where $f(x)\in K[x]$ is a polynomial satisfying $\gcd (m, \text{deg} f)=1$. As a consequence, we determine the Frobenius number and the multiplicity of $H(Q_{\infty})$ in some cases, and we discuss sufficient conditions for the Weierstrass semigroup $H(Q_{\infty})$ to be symmetric. Finally, we characterize certain maximal Castle curves of type $(\mathcal{X}, Q_{\infty})$.


title: Bacterial biofilms use chiral branches to escape crowded environments by tracking oxygen gradient

abstract: Bacterial biofilms collectively develop distinct and ordered structures, including fibers, bundles, and branches. Often, it is unclear how these structural motifs convey specific advantages to bacterial strains under challenging conditions. In oxygen-limited environments, dense bacterial aggregates generally deplete oxygen, which leads to arrest of bacterial growth. However, we observed that biofilm-forming Bacillus subtilis could use branching patterns to escape from these crowded regions by tracking the oxygen gradient. The process depends on the chain-forming ability of the biofilm. As a result of collective branching triggered by bending and mechanical buckling, bacteria can extend from the oxygen-depleted biofilm core to the oxygen available periphery. Remarkably, these bacterial branches are strongly chiral and curve in a clockwise direction. Our analysis revealed that the surface friction and axial rotation of the twisting cell wall break left-right symmetry on solid surfaces and drive chiral bending of bacterial chains. We further observed that the chirality of individual branches could propagate across a large scale and shape the macroscopic morphology of the colony under a limited spatiotemporal growth profile. Taken together, our results provide new insights into how simple physical interactions lead to bacterial collaboration and promote the survival of biofilm-forming strains in challenging environments.


title: Solving systems of linear equations through zero forcing set and application to lights out

abstract: Let $\mathbb{F}$ be any field, we consider solving $Ax=b$ repeatedly for a matrix $A\in\mathbb{F}^{n\times n}$ of $m$ non-zero elements, and multiple different $b\in\mathbb{F}^{n}$. If we are given a zero forcing set of $A$ of size $k$, we can then build a data structure in $O(mk)$ time, such that each instance of $Ax=b$ can be solved in $O(k^2+m)$ time. As an application, we show how the lights out game in an $n\times n$ grid is solved in $O(n^3)$ time, and then improve the running time to $O(n^\omega\log n)$ by exploiting the repeated structure in grids.


title: Notes on tug-of-war games and the p-Laplace equation

abstract: The objective is the interplay between stochastic processes and partial differential equations. To be more precise, we focus on the connection between the nonlinear p-Laplace equation, and the stochastic game called tug-of-war with noise. The connection in this context was discovered roughly 15 years ago, and has provided novel insight and approaches ever since. These lecture notes provide a short introduction to the topic and to more research oriented literature. We also introduce the parabolic case side by side with the elliptic one, and cover some parts of the regularity theory.


title: Equivalent non-rational extensions of the harmonic oscillator, their ladder operators and coherent states

abstract: In this work, we generate a family of quantum potentials that are non-rational extensions of the harmonic oscillator. Such a family can be obtained via two different but equivalent supersymmetric transformations. We construct ladder operators for these extensions as the product of the intertwining operators of both transformations. Then, we generate families of Barut-Girardello coherent states and analyze some of their properties as temporal stability, continuity on the label, and completeness relation. Moreover, we calculate mean-energy values, time-dependent probability densities, Wigner functions, and the Mandel Q-parameter to uncover a general non-classical behavior of these states.


title: A Multi-Head Model for Continual Learning via Out-of-Distribution Replay

abstract: This paper studies class incremental learning (CIL) of continual learning (CL). Many approaches have been proposed to deal with catastrophic forgetting (CF) in CIL. Most methods incrementally construct a single classifier for all classes of all tasks in a single head network. To prevent CF, a popular approach is to memorize a small number of samples from previous tasks and replay them during training of the new task. However, this approach still suffers from serious CF as the parameters learned for previous tasks are updated or adjusted with only the limited number of saved samples in the memory. This paper proposes an entirely different approach that builds a separate classifier (head) for each task (called a multi-head model) using a transformer network, called MORE. Instead of using the saved samples in memory to update the network for previous tasks/classes in the existing approach, MORE leverages the saved samples to build a task specific classifier (adding a new classification head) without updating the network learned for previous tasks/classes. The model for the new task in MORE is trained to learn the classes of the task and also to detect samples that are not from the same data distribution (i.e., out-of-distribution (OOD)) of the task. This enables the classifier for the task to which the test instance belongs to produce a high score for the correct class and the classifiers of other tasks to produce low scores because the test instance is not from the data distributions of these classifiers. Experimental results show that MORE outperforms state-of-the-art baselines and is also naturally capable of performing OOD detection in the continual learning setting.


title: How a Small Amount of Data Sharing Benefits Distributed Optimization and Learning

abstract: Distributed optimization algorithms have been widely used in machine learning. While those algorithms have the merits in parallel processing and protecting data security, they often suffer from slow convergence. This paper focuses on how a small amount of data sharing could benefit distributed optimization and learning. Specifically, we examine higher-order optimization algorithms including distributed multi-block alternating direction method of multipliers (ADMM) and preconditioned conjugate gradient method (PCG). The contribution of this paper is three-folded. First, in theory, we answer when and why distributed optimization algorithms are slow by identifying the worst data structure. Surprisingly, while PCG algorithm converges slowly under heterogeneous data structure, for distributed ADMM, data homogeneity leads to the worst performance. This result challenges the common belief that data heterogeneity hurts convergence, highlighting the need for a universal approach on altering data structure for different algorithms. Second, in practice, we propose a meta-algorithm of data sharing, with its tailored applications in multi-block ADMM and PCG methods. By only sharing a small amount of prefixed data (e.g. 1%), our algorithms provide good quality estimators in different machine learning tasks within much fewer iterations, while purely distributed optimization algorithms may take hundreds more times of iterations to converge. Finally, in philosophy, we argue that even minimal collaboration can have huge synergy, which is a concept that extends beyond the realm of optimization analysis. We hope that the discovery resulting from this paper would encourage even a small amount of data sharing among different regions to combat difficult global learning problems.


title: C$^{2}$IMUFS: Complementary and Consensus Learning-based Incomplete Multi-view Unsupervised Feature Selection

abstract: Multi-view unsupervised feature selection (MUFS) has been demonstrated as an effective technique to reduce the dimensionality of multi-view unlabeled data. The existing methods assume that all of views are complete. However, multi-view data are usually incomplete, i.e., a part of instances are presented on some views but not all views. Besides, learning the complete similarity graph, as an important promising technology in existing MUFS methods, cannot achieve due to the missing views. In this paper, we propose a complementary and consensus learning-based incomplete multi-view unsupervised feature selection method (C$^{2}$IMUFS) to address the aforementioned issues. Concretely, C$^{2}$IMUFS integrates feature selection into an extended weighted non-negative matrix factorization model equipped with adaptive learning of view-weights and a sparse $\ell_{2,p}$-norm, which can offer better adaptability and flexibility. By the sparse linear combinations of multiple similarity matrices derived from different views, a complementary learning-guided similarity matrix reconstruction model is presented to obtain the complete similarity graph in each view. Furthermore, C$^{2}$IMUFS learns a consensus clustering indicator matrix across different views and embeds it into a spectral graph term to preserve the local geometric structure. Comprehensive experimental results on real-world datasets demonstrate the effectiveness of C$^{2}$IMUFS compared with state-of-the-art methods.


title: Dyonic Matter Equations, Exact Point-Source Solutions, and Charged Black Holes in Generalized Born--Infeld Theory

abstract: We derive the equations of motion governing static dyonic matters, described in terms of two real scalar fields, in nonlinear electrodynamics of the Born--Infeld theory type. We then obtain exact finite-energy solutions of these equations in the quadratic and logarithmic nonlinearity cases subject to dyonic point-charge sources and construct dyonically charged black holes with relegated curvature singularities. In the case of quadratic nonlinearity, which is the core model of this work, we show that dyonic solutions enable us to restore electromagnetic symmetry, which is known to be broken in non-dyonic situations by exclusion of monopoles. We further demonstrate that in the context of k-essence cosmology the nonlinear electrodynamics models possess their own distinctive signatures in light of the underlying equations of state of the cosmic fluids they represent. In this context, the quadratic and logarithmic models are shown to resolve a density-pressure inconsistency issue exhibited by the original Born--Infeld model k-essence action function as well as by all of its fractional-powered extensions. Moreover, it is shown that the quadratic model is uniquely positioned to give rise to a radiation-dominated era in the early universe among all the polynomial models and other examples considered.


title: Automorphism groups of rigid affine surfaces: the identity component

abstract: It is known that the identity component of the automorphism group of a projective algebraic variety is an algebraic group. This is not true in general for quasi-projective varieties. In this note we address the question: given an affine algebraic surface $Y$, as to when the identity component ${\rm Aut}^0 (Y)$ of the automorphism group ${\rm Aut} (Y)$ is an algebraic group? We show that this happens if and only if $Y$ admits no effective action of the additive group. In the latter case, ${\rm Aut}^0 (Y)$ is an algebraic torus of rank $\le 2$.


title: What do gravitational wave detectors say about polymer quantum effects?

abstract: We compute the expected response of detector arms of gravitational wave observatories to polymerized gravitational waves. The mathematical and theoretical features of these waves were discussed in our previous work. In the present manuscript, we find both perturbative analytical, and full nonperturbative numerical solutions to the equations of motion of the detector arms using the method of geodesic deviations. These results show the modifications to both frequency and amplitude of the signal measured by the detector. Furthermore, we study the detectability of these signals in LISA by analyzing the modes in the frequency space.


title: Just-in-Time Aggregation for Federated Learning

abstract: The increasing number and scale of federated learning (FL) jobs necessitates resource efficient scheduling and management of aggregation to make the economics of cloud-hosted aggregation work. Existing FL research has focused on the design of FL algorithms and optimization, and less on the efficacy of aggregation. Existing FL platforms often employ aggregators that actively wait for model updates. This wastes computational resources on the cloud, especially in large scale FL settings where parties are intermittently available for training. In this paper, we propose a new FL aggregation paradigm -- "just-in-time" (JIT) aggregation that leverages unique properties of FL jobs, especially the periodicity of model updates, to defer aggregation as much as possible and free compute resources for other FL jobs or other datacenter workloads. We describe a novel way to prioritize FL jobs for aggregation, and demonstrate using multiple datasets, models and FL aggregation algorithms that our techniques can reduce resource usage by 60+\% when compared to eager aggregation used in existing FL platforms. We also demonstrate that using JIT aggregation has negligible overhead and impact on the latency of the FL job.


title: Sensor Security: Current Progress, Research Challenges, and Future Roadmap

abstract: Sensors are one of the most pervasive and integral components of today's safety-critical systems. Sensors serve as a bridge between physical quantities and connected systems. The connected systems with sensors blindly believe the sensor as there is no way to authenticate the signal coming from a sensor. This could be an entry point for an attacker. An attacker can inject a fake input signal along with the legitimate signal by using a suitable spoofing technique. As the sensor's transducer is not smart enough to differentiate between a fake and legitimate signal, the injected fake signal eventually can collapse the connected system. This type of attack is known as the transduction attack. Over the last decade, several works have been published to provide a defense against the transduction attack. However, the defenses are proposed on an ad-hoc basis; hence, they are not well-structured. Our work begins to fill this gap by providing a checklist that a defense technique should always follow to be considered as an ideal defense against the transduction attack. We name this checklist as the Golden reference of sensor defense. We provide insights on how this Golden reference can be achieved and argue that sensors should be redesigned from the transducer level to the sensor electronics level. We point out that only hardware or software modification is not enough; instead, a hardware/software (HW/SW) co-design approach is required to ride on this future roadmap to the robust and resilient sensor.


title: Subluminality of relativistic quantum tunneling

abstract: We prove that the classical Dirac equation in the presence of an external (nondynamical) electromagnetic field is a relativistically causal theory. As a corollary, we show that it is impossible to use quantum tunneling to transmit particles or information faster than light. When an electron tunnels through a barrier, it is bound to remain within its future light cone. In conclusion, the relativistic quantum tunneling (if modeled using the Dirac equation) is an entirely subluminal process, and it is not instantaneous.


title: Where Shall I Touch? Vision-Guided Tactile Poking for Transparent Object Grasping

abstract: Picking up transparent objects is still a challenging task for robots. The visual properties of transparent objects such as reflection and refraction make the current grasping methods that rely on camera sensing fail to detect and localise them. However, humans can handle the transparent object well by first observing its coarse profile and then poking an area of interest to get a fine profile for grasping. Inspired by this, we propose a novel framework of vision-guided tactile poking for transparent objects grasping. In the proposed framework, a segmentation network is first used to predict the horizontal upper regions named as poking regions, where the robot can poke the object to obtain a good tactile reading while leading to minimal disturbance to the object's state. A poke is then performed with a high-resolution GelSight tactile sensor. Given the local profiles improved with the tactile reading, a heuristic grasp is planned for grasping the transparent object. To mitigate the limitations of real-world data collection and labelling for transparent objects, a large-scale realistic synthetic dataset was constructed. Extensive experiments demonstrate that our proposed segmentation network can predict the potential poking region with a high mean Average Precision (mAP) of 0.360, and the vision-guided tactile poking can enhance the grasping success rate significantly from 38.9% to 85.2%. Thanks to its simplicity, our proposed approach could also be adopted by other force or tactile sensors and could be used for grasping of other challenging objects. All the materials used in this paper are available at https://sites.google.com/view/tactilepoking.


title: A Neural Approach to Spatio-Temporal Data Release with User-Level Differential Privacy

abstract: Several companies (e.g., Meta, Google) have initiated "data-for-good" projects where aggregate location data are first sanitized and released publicly, which is useful to many applications in transportation, public health (e.g., COVID-19 spread) and urban planning. Differential privacy (DP) is the protection model of choice to ensure the privacy of the individuals who generated the raw location data. However, current solutions fail to preserve data utility when each individual contributes multiple location reports (i.e., under user-level privacy). To offset this limitation, public releases by Meta and Google use high privacy budgets (e.g., $\epsilon$=10-100), resulting in poor privacy. We propose a novel approach to release spatio-temporal data privately and accurately. We employ the pattern recognition power of neural networks, specifically variational auto-encoders (VAE), to reduce the noise introduced by DP mechanisms such that accuracy is increased, while the privacy requirement is still satisfied. Our extensive experimental evaluation on real datasets shows the clear superiority of our approach compared to benchmarks.


title: On compactifications of $\mathcal{M}_{g,n}$ with colliding markings

abstract: In this paper, we study all ways of constructing modular compactifications of the moduli space $\mathcal{M}_{g,n}$ of $n$-pointed smooth algebraic curves of genus $g$ by allowing markings to collide. We find that for any such compactification, collisions of markings are controlled by a simplicial complex which we call the collision complex. Conversely, we identify modular compactifications of $\mathcal{M}_{g,n}$ with essentially arbitrary collision complexes, including complexes not associated to any space of weighted pointed stable curves. These moduli spaces classify the modular compactifications of $\mathcal{M}_{g,n}$ by nodal curves with smooth markings as well as the modular compactifications of $\mathcal{M}_{1,n}$ with Gorenstein curves and smooth markings. These compactifications generalize previous constructions given by Hassett, Smyth, and Bozlee--Kuo--Neff.


title: Classification and double commutant property for dual pairs in an orthosymplectic Lie supergroup

abstract: In this paper, we obtain a full classification of reductive dual pairs in a, real or complex, Lie superalgebra $\mathfrak{spo}(E)$ and Lie supergroup $\textbf{SpO}(E)$. Moreover, by looking at the natural action of the orthosymplectic Lie supergroup $\textbf{SpO}(E)$ on the Weyl-Clifford algebra $\textbf{WC}(E)$, we prove that for a reductive dual pair $(\mathscr{G}\,, \mathscr{G}') = ((G\,, \mathfrak{g})\,, (G'\,, \mathfrak{g}'))$ in $\textbf{SpO}(E)$, the superalgebra $\textbf{WC}(E)^{\mathscr{G}}$ consisting of $\mathscr{G}$-invariant elements in $\textbf{WC}(E)$ is generated by the Lie superalgebra $\mathfrak{g}'$. We obtain a full classification of reductive dual pairs in the (real or complex) Lie superalgebra $\mathfrak{spo}(\mathrm E)$ and the Lie supergroup $\textbf{SpO}(\mathrm E)$. Using this classification we prove that for a reductive dual pair $(\mathscr{G}\,, \mathscr{G}') = ((\mathrm G\,, \mathfrak{g})\,, (\mathrm G'\,, \mathfrak{g}'))$ in $\textbf{SpO}(\mathrm E)$, the superalgebra $\textbf{WC}(\mathrm E)^{\mathscr{G}}$ consisting of $\mathscr{G}$-invariant elements in the Weyl-Clifford algebra $\textbf{WC}(\mathrm E)$, equipped with the natural action of the orthosymplectic Lie supergroup $\textbf{SpO}(\mathrm E)$, is generated by the Lie superalgebra $\mathfrak{g}'$. As an application, we prove that Howe duality holds for the dual pairs $({\textbf{SpO}}(2n|1)\,, {\textbf{OSp}}(2k|2l)) \subseteq {\textbf{SpO}}(\mathbb{C}^{2k|2l} \otimes \mathbb{C}^{2n|1})$.


title: Near-Optimal $\Phi$-Regret Learning in Extensive-Form Games

abstract: In this paper, we establish efficient and uncoupled learning dynamics so that, when employed by all players in multiplayer perfect-recall imperfect-information extensive-form games, the trigger regret of each player grows as $O(\log T)$ after $T$ repetitions of play. This improves exponentially over the prior best known trigger-regret bound of $O(T^{1/4})$, and settles a recent open question by Bai et al. (2022). As an immediate consequence, we guarantee convergence to the set of extensive-form correlated equilibria and coarse correlated equilibria at a near-optimal rate of $\frac{\log T}{T}$. Building on prior work, at the heart of our construction lies a more general result regarding fixed points deriving from rational functions with polynomial degree, a property that we establish for the fixed points of (coarse) trigger deviation functions. Moreover, our construction leverages a refined regret circuit for the convex hull, which -- unlike prior guarantees -- preserves the RVU property introduced by Syrgkanis et al. (NIPS, 2015); this observation has an independent interest in establishing near-optimal regret under learning dynamics based on a CFR-type decomposition of the regret.


title: A 40Gb/s Linear Redriver with Multi-Band Equalization in 130nm SiGe BiCMOS

abstract: A linear redriver circuit implements multi-band equalization techniques to efficiently compensate for high-frequency channel loss and extend high-speed wireline link reach. Input and output stage emitter-follower buffers with dual AC and DC paths provide programmable low-frequency peaking for channel skin effect, while a continuous-time linear equalizer (CTLE) utilizes RC degeneration in the input stage for mid-band peaking and a subsequent feedback structure contributes to additional high-frequency peaking to compensate for the additional dielectric loss effects. A variable-gain amplifier (VGA) stage provides up to 7.1dB tunable gain and utilizes negative capacitive loads for bandwidth extension. Input and output return loss of -11.0dB and -12.2dB is respectively achieved at 20GHz with input and output T-coil stages that distribute the ESD circuitry capacitance. Fabricated in a 130nm SiGe BiCMOS process, the redriver achieves 23.5dB max peaking at 20GHz and supports a 1Vppd linear output swing. Per-channel power consumption is 115.2mW from a 1.8V supply.


title: Strategic Communication with Cost-Dependent Decoders via the Gray-Wyner Network

abstract: In decentralized decision-making problems, communicating agents choose their actions based on locally available information and knowledge about decision rules or strategies of other agents. In this work, we consider a strategic communication game between an informed encoder and two decoders communicating via a Gray-Wyner network. All three agents are assumed to be rational and endowed with distinct objectives captured by non-aligned cost functions. The encoder selects and announces beforehand the compression scheme to be implemented. Then, it transmits three signals: a public signal, and a private signal to each decoder inducing a Bayesian game among the decoders. Our goal is to characterize the encoder's minimal long-run cost function subject to the optimal compression scheme that satisfies both decoders incentives constraints.


title: Soliton metacrystals: topology and chirality

abstract: Designing metamaterials with the required band structure, topology and chirality using nano-fabrication technology revolutionises modern science and impacts daily life. The approach of this work is, however, different. We take a periodic sequence, i.e., metacrystal, of the dissipative optical solitons rotating in a single ring microresonator and demonstrate its properties as of the electromagnetic metamaterial acting in the radio to terahertz frequency range. The metacrystal unit cell consists of the bound pair of solitons, and the distance between them is used as a control parameter. We are reporting the soliton metacrystal band structure and its topological properties. The latter is confirmed by the existence of the $\pi$ steps experienced by the crystal phonons' geometrical (Zak) phase. Furthermore, we found the phononic edge states in the metacrystals with defects made by removing several solitons. Optical frequency combs corresponding to the soliton metacrystals reveal the spectral butterfly pattern serving as a signature of the spatio-temporal chirality and bearing a resemblance to the butterfly wings illustrating natural occurrences of chirality.


title: MLExchange: A web-based platform enabling exchangeable machine learning workflows for scientific studies

abstract: Machine learning (ML) algorithms are showing a growing trend in helping the scientific communities across different disciplines and institutions to address large and diverse data problems. However, many available ML tools are programmatically demanding and computationally costly. The MLExchange project aims to build a collaborative platform equipped with enabling tools that allow scientists and facility users who do not have a profound ML background to use ML and computational resources in scientific discovery. At the high level, we are targeting a full user experience where managing and exchanging ML algorithms, workflows, and data are readily available through web applications. Since each component is an independent container, the whole platform or its individual service(s) can be easily deployed at servers of different scales, ranging from a personal device (laptop, smart phone, etc.) to high performance clusters (HPC) accessed (simultaneously) by many users. Thus, MLExchange renders flexible using scenarios -- users could either access the services and resources from a remote server or run the whole platform or its individual service(s) within their local network.


title: On meandric permutations

abstract: We give a bijection between meanders and special sorts of Gauss diagrams which aroused from the Thurston generators of braid groups. It allows us to give an algorithm to construct such diagrams and to code meanders by matrices which are exactly incident matrices of the corresponding adjacency graphs of the diagrams. Finally, we show that these matrices are idempotent over the field $\mathsf{GF}(2)$, and obtain a criterion for a permutation to be meandric.


title: A Modified Trapezoidal Rule for a Class of Weakly Singular Integrals in n Dimensions

abstract: In this paper we propose and analyze a general arbitrarily high-order modified trapezoidal rule for a class of weakly singular integrals of the forms $I = \int_{\mathbb{R}^n}\phi(x)s(x)dx$ in $n$ dimensions, where $\phi\in C_c^N(\mathbb{R}^n)$ for some sufficiently large $N$ and $s$ is the weakly singular kernel. The admissible class of weakly singular kernel requires $s$ satisfies dilation and symmetry properties and is large enough to contain functions of the form $\frac{P(x)}{|x|^r}$ where $r > 0$ and $P(x)$ is any monomials such that $\text{deg} P < r < \text{deg} P + n$. The modified trapezoidal rule is the singularity-punctured trapezoidal rule added by correction terms involving the correction weights for grid points around singularity. Correction weights are determined by enforcing the quadrature rule exactly evaluates some monomials and solving corresponding linear systems. A long-standing difficulty of these type of methods is establishing the non-singularity of the linear system, despite strong numerical evidences. By using an algebraic-combinatorial argument, we show the non-singularity always holds and prove the general order of convergence of the modified quadrature rule. We present numerical experiments to validate the order of convergence.


title: FLIS: Clustered Federated Learning via Inference Similarity for Non-IID Data Distribution

abstract: Classical federated learning approaches yield significant performance degradation in the presence of Non-IID data distributions of participants. When the distribution of each local dataset is highly different from the global one, the local objective of each client will be inconsistent with the global optima which incur a drift in the local updates. This phenomenon highly impacts the performance of clients. This is while the primary incentive for clients to participate in federated learning is to obtain better personalized models. To address the above-mentioned issue, we present a new algorithm, FLIS, which groups the clients population in clusters with jointly trainable data distributions by leveraging the inference similarity of clients' models. This framework captures settings where different groups of users have their own objectives (learning tasks) but by aggregating their data with others in the same cluster (same learning task) to perform more efficient and personalized federated learning. We present experimental results to demonstrate the benefits of FLIS over the state-of-the-art benchmarks on CIFAR-100/10, SVHN, and FMNIST datasets. Our code is available at https://github.com/MMorafah/FLIS.


title: Global Dynamics and Photon Loss in the Kompaneets Equation

abstract: The Kompaneets equation governs dynamics of the photon energy spectrum in certain high temperature (or low density) plasmas. We prove several results concerning the long-time convergence of solutions to Bose--Einstein equilibria and the failure of photon conservation. In particular, we show the total photon number can decrease with time via an outflux of photons at the zero-energy boundary. The ensuing accumulation of photons at zero energy is analogous to Bose--Einstein condensation. We provide two conditions that guarantee that photon loss occurs, and show that once loss is initiated then it persists forever. We prove that as $t\to \infty$, solutions necessarily converge to equilibrium and we characterize the limit in terms of the total photon loss. Additionally, we provide a few results concerning the behavior of the solution near the zero-energy boundary, an Oleinik inequality, a comparison principle, and show that the solution operator is a contraction in $L^1$. None of these results impose a boundary condition at the zero-energy boundary.


title: Artifact-Based Domain Generalization of Skin Lesion Models

abstract: Deep Learning failure cases are abundant, particularly in the medical area. Recent studies in out-of-distribution generalization have advanced considerably on well-controlled synthetic datasets, but they do not represent medical imaging contexts. We propose a pipeline that relies on artifacts annotation to enable generalization evaluation and debiasing for the challenging skin lesion analysis context. First, we partition the data into levels of increasingly higher biased training and test sets for better generalization assessment. Then, we create environments based on skin lesion artifacts to enable domain generalization methods. Finally, after robust training, we perform a test-time debiasing procedure, reducing spurious features in inference images. Our experiments show our pipeline improves performance metrics in biased cases, and avoids artifacts when using explanation methods. Still, when evaluating such models in out-of-distribution data, they did not prefer clinically-meaningful features. Instead, performance only improved in test sets that present similar artifacts from training, suggesting models learned to ignore the known set of artifacts. Our results raise a concern that debiasing models towards a single aspect may not be enough for fair skin lesion analysis.


title: Collective excitations of a charged Fermi superfluid in the BCS-BEC crossover

abstract: We consider collective excitations in the superfluid state of Fermi condensed charged gases. The dispersion and damping of collective excitations at nonzero temperatures are examined, and the coexistence and interaction of different branches of collective excitations: plasma oscillations, pair-breaking Higgs modes, and Carlson-Goldman phonon-like excitations are taken into account. The path integral methods for superfluid Fermi gases and for Coulomb gas are combined into a unified formalism that extends the Gaussian fluctuation approximation to account for plasmonic modes. This approximation of Gaussian pair and density fluctuations is able to describe all branches of collective excitations existing in a charged superfluid. The spectra of collective excitations are determined in two ways: from the spectral functions and from the complex poles of the fluctuation propagator. A resonant avoided crossing of different modes is shown. It is accompanied by resonant enhancement of the response provided by the pair-breaking modes due to their interaction with plasma oscillations. This may facilitate the experimental observation of the pair-breaking modes.


title: Equivalence between finite state stochastic machine, non-dissipative and dissipative tight-binding and Schroedinger model

abstract: The mathematical equivalence between finite state stochastic machine and non-dissipative and dissipative quantum tight-binding and Schroedinger model is derived. Stochastic Finite state machine is also expressed by classical epidemic model and can reproduce the quantum entanglement emerging in the case of electrostatically coupled qubits described by von-Neumann entropy both in non-dissipative and dissipative case. The obtained results shows that quantum mechanical phenomena might be simulated by classical statistical model as represented by finite state stochastic machine. It includes the quantum like entanglement and superposition of states. Therefore coupled epidemic models expressed by classical systems in terms of classical physics can be the base for possible incorporation of quantum technologies and in particular for quantum like computation and quantum like communication. The classical density matrix is derived and described by the equation of motion in terms of anticommutator. Existence of Rabi like oscillations is pointed in classical epidemic model. Furthermore the existence of Aharonov-Bohm effect in quantum systems can also be reproduced by the classical epidemic model or in broader sense by finite state stochastic machine. Every quantum system made from quantum dots and described by simplistic tight-binding model by use of position-based qubits can be effectively described by classical statistical model encoded in finite stochastic state machine with very specific structure of S matrix that has twice bigger size as it is the case of quantum matrix Hamiltonian. Furthermore the description of linear and non-linear stochastic finite state machine is mapped to tight-binding and Schroedinger model. The concept of N dimensional complex time is incorporated into tight-binding model, so the description of dissipation in most general case is possible.


title: ReckOn: A 28nm Sub-mm2 Task-Agnostic Spiking Recurrent Neural Network Processor Enabling On-Chip Learning over Second-Long Timescales

abstract: A robust real-world deployment of autonomous edge devices requires on-chip adaptation to user-, environment- and task-induced variability. Due to on-chip memory constraints, prior learning devices were limited to static stimuli with no temporal contents. We propose a 0.45-mm$^2$ spiking RNN processor enabling task-agnostic online learning over seconds, which we demonstrate for navigation, gesture recognition, and keyword spotting within a 0.8-% memory overhead and a <150-$\mu$W training power budget.


title: Quasi-polynomial growth of numerical and affine semigroups with constrained gaps

abstract: A common tool in the theory of numerical semigroups is to interpret a desired class of semigroups as the integer lattice points in a rational polyhedron in order to leverage computational and enumerative techniques from polyhedral geometry. Most arguments of this type make use of a parametrization of numerical semigroups with fixed multiplicity $m$ in terms of their $m$-Ap\'{e}ry sets, giving a representation called Kunz coordinates which obey a collection of inequalities defining the Kunz polyhedron. In this work, we introduce a new class of polyhedra describing numerical semigroups in terms of a truncated addition table of their sporadic elements. Applying a classical theorem of Ehrhart to slices of these polyhedra, we prove that the number of numerical semigroups with $n$ sporadic elements and Frobenius number $f$ is polynomial up to periodicity, or quasi-polynomial, as a function of $f$ for fixed $n$. We also generalize this approach to higher dimensions to demonstrate quasi-polynomial growth of the number of affine semigroups with a fixed number of elements, and all gaps, contained in an integer dilation of a fixed polytope.


title: Continuous Family of Equilibria of the 3D Axisymmetric Relativistic Vlasov-Maxwell System

abstract: We consider the relativistic Vlasov-Maxwell system (RVM) on a general axisymmetric spatial domain with perfect conducting boundary which reflects particles specularly, assuming axisymmetry in the problem. We construct continuous global parametric solution sets for the time-independent RVM. The solutions in these sets have arbitrarily large electromagnetic field and the particle density functions have the form $f^\pm = \mu^\pm (e^\pm (x, v), p^\pm (x, v))$, where $e^\pm$ and $p^\pm$ are the particle energy and angular momentum, respectively. In particular, for a certain class of examples, we show that the spectral stability changes as the parameter varies from $0$ to $\infty$.


title: Some improved bounds in sampling discretization of integral norms

abstract: The paper addresses a problem of sampling discretization of integral norms of elements of finite-dimensional subspaces satisfying some conditions. We prove sampling discretization results under a standard assumption formulated in terms of the Nikol'skii-type inequality. {In particular, we obtain} some upper bounds on the number of sample points sufficient for good discretization of the integral $L_p$ norms, $1\le p<2$, of functions from finite-dimensional subspaces of continuous functions. Our new results improve upon the known results in this direction. We use a new technique based on deep results of Talagrand from functional analysis.


title: The Point of No Return: Evolution of Excess Mutation Rate is Possible Even for Simple Mutation Models

abstract: Under constant selection, each trait has a fixed fitness, and small mutation rates allow populations to efficiently exploit the optimal trait. Therefore it is reasonable to expect mutation rates will evolve downwards. However, we find this need not be the case, examining several models of mutation. While upwards evolution of mutation rate has been found with frequency or time dependent fitness, we demonstrate its possibility in a much simpler context. This work uses adaptive dynamics to study the evolution of mutation rate, and the replicator-mutator equation to model trait evolution. Our approach differs from previous studies by considering a wide variety of methods to represent mutation. We use a finite string approach inspired by genetics, as well as a model of local mutation on a discretization of the unit intervals, handling mutation beyond the endpoints in three ways. The main contribution of this work is a demonstration that the evolution of mutation rate can be significantly more complicated than what is usually expected in relatively simple models.


title: GAIROSCOPE: Injecting Data from Air-Gapped Computers to Nearby Gyroscopes

abstract: It is known that malware can leak data from isolated, air-gapped computers to nearby smartphones using ultrasonic waves. However, this covert channel requires access to the smartphone's microphone, which is highly protected in Android OS and iOS, and might be non-accessible, disabled, or blocked. In this paper we present `GAIROSCOPE,' an ultrasonic covert channel that doesn't require a microphone on the receiving side. Our malware generates ultrasonic tones in the resonance frequencies of the MEMS gyroscope. These inaudible frequencies produce tiny mechanical oscillations within the smartphone's gyroscope, which can be demodulated into binary information. Notably, the gyroscope in smartphones is considered to be a 'safe' sensor that can be used legitimately from mobile apps and javascript. We introduce the adversarial attack model and present related work. We provide the relevant technical background and show the design and implementation of GAIROSCOPE. We present the evaluation results and discuss a set of countermeasures to this threat. Our experiments show that attackers can exfiltrate sensitive information from air-gapped computers to smartphones located a few meters away via Speakers-to-Gyroscope covert channel.


title: Injection locking and coupling the emitters of large VCSEL arrays via diffraction in an external cavity

abstract: Networks of optically coupled semiconductor lasers are of high interest for fundamental investigations and for enabling numerous technological applications in material processing, lighting and information processing. Still, experimental realizations of large networks of such elements employing a scalable concepts have so far been been lacking. Here, we present a network 22 of the vertical-cavity surface-emitting lasers in a $5 \times 5$ square lattice array via. Crucially, the array allows individual control over each laser's pump current, which we leverage spectrally align the array. Leveraging diffractive coupling through an external cavity, 22 lasers are mutually injection locked, and, furthermore, we demonstrate their simultaneous phase locking to an external injection laser. The VCSEL network is a promising platform for experimental investigations of complex systems and has direct applications as a photonic neural network. The scalability of the concept opens future possibilities for systems comprising many more individual lasers.


title: Direct Nano-Imaging of Light-Matter Interactions in Nanoscale Excitonic Emitters

abstract: Strong light-matter interactions in localized nano-emitters when placed near metallic mirrors have been widely reported via spectroscopic studies in the optical far-field. Here, we report a near-field nano-spectroscopic study of the localized nanoscale emitters on a flat Au substrate. We observe strong-coupling of the excitonic dipoles in quasi 2-dimensional CdSe/CdxZnS1-xS nanoplatelets with gap mode plasmons formed between the Au tip and substrate. We also observe directional propagation on the Au substrate of surface plasmon polaritons launched from the excitons of the nanoplatelets as wave-like fringe patterns in the near-field photoluminescence maps. These fringe patterns were confirmed via extensive electromagnetic wave simulations to be standing-waves formed between the tip and the emitter on the substrate plane. We further report that both light confinement and the in-plane emission can be engineered by tuning the surrounding dielectric environment of the nanoplatelets. Our results lead to renewed understanding of in-plane, near-field electromagnetic signal transduction from the localized nano-emitters with profound implications in nano and quantum photonics as well as resonant optoelectronics.

categories: physics.optics cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph


title: (3+1)D-printed adiabatic 1-to-N broadband couplers

abstract: We report single-mode 3D optical couplers leveraging adiabatic power transfer towards up to 4 output ports. We use the CMOS compatible additive (3+1)D \emph{flash}-TPP printing for fast and scalable fabrication. Coupling optical losses of such devices are reduced below $\sim$~0.06~dB by tailoring the coupling and waveguides geometry, and we demonstrate almost octave-spanning broadband functionality from 520~nm to 980~nm.


title: A theory of singular values for finite free probability

abstract: We introduce a finite version of free probability for rectangular matrices that amounts to operations on singular values of polynomials. We show that we can replicate the transforms from free probability, and that asymptotically there is convergence from rectangular finite free probability to rectangular free probability. Lastly, we show that classical distribution results such as a law of large numbers or a central limit theorem can be made explicit in this new framework where random variables are replaced by polynomials.


title: Epsilon-strongly graded rings: Azumaya algebras and partial crossed products

abstract: The main purpose of this paper is to investigate epsilon-strongly graded rings that are partial crossed products. Let $G$ be a group, $A=\oplus_{g\in G}\,A_g$ an epsilon-strongly graded ring and ${\bf pic}{R}$ the Picard semigroup of $R:=A_1$. We prove that the isomorphism class $[A_g]$ is an element of ${\bf pic}{R}$, for all $g\in G$. Thus, the association $g\mapsto [A_g]$ determines a partial representation of $G$ on ${\bf pic}{R}$ which induces a partial action $\gamma$ of $G$ on the center $Z(R)$ of $R$. Sufficient conditions for $A$ to be an Azumaya $R^{\gamma}$-algebra are presented in the case that $R$ is commutative. We study when $B$ is a partial crossed product in the following cases: $B=\operatorname{M}_n(A)$ is the ring of matrices with entries in $A$, or $B={\bf grm}{M}=\bigoplus_{l \in G}{\bf Mor}_A(M,M)_l$ is the direct sum of graded endomorphisms of left graded $A$-module $M$ with degree $l$, or $B={\bf grm}{M}$ where $M=A\otimes_{R}N$ is the induced module of a left $R$-module $N$. Finally, assuming that $R$ is semiperfect, we prove that there exists an epsilon-strongly graded subring of $A$ which is graded equivalent to a partial crossed product.


title: Z-Code++: A Pre-trained Language Model Optimized for Abstractive Summarization

abstract: This paper presents Z-Code++, a new pre-trained language model optimized for abstractive text summarization. The model extends the state of the art encoder-decoder model using three techniques. First, we use a two-phase pre-training process to improve model's performance on low-resource summarization tasks. The model is first pre-trained using text corpora for language understanding, and then is continually pre-trained on summarization corpora for grounded text generation. Second, we replace self-attention layers in the encoder with disentangled attention layers, where each word is represented using two vectors that encode its content and position, respectively. Third, we use fusion-in-encoder, a simple yet effective method of encoding long sequences in a hierarchical manner. Z-Code++ creates new state of the art on 9 out of 13 text summarization tasks across 5 languages. Our model is parameter-efficient in that it outperforms the 600x larger PaLM-540B on XSum, and the finetuned 200x larger GPT3-175B on SAMSum. In zero-shot and few-shot settings, our model substantially outperforms the competing models.


title: Global conserved quantities and unfree gauge symmetry

abstract: We consider a class of theories with unfree gauge symmetry, whose gauge parameters are restricted by differential equations. We demonstrate that such theories admit global conserved quantities, whose on-shell values are defined by asymptotics of the fields rather than Cauchy data. The global conserved quantities can be deduced proceeding from the equations restricting gauge parameters, and they are treated differently by two BRST complexes corresponding to a system with unfree gauge symmetry.


title: Optical Fingerprint of Flat Substrate Surface and Marker-free Lateral Displacement Detection with Angstrom-level Precision

abstract: We report that flat substrates such as glass coverslips with surface roughness well below 0.5 nm feature notable speckle patterns when observed with high-sensitivity interference microscopy. We uncover that these speckle patterns unambiguously originate from the subnanometer surface undulations, and develop an intuitive model to illustrate how subnanometer non-resonant dielectric features could generate pronounced interference contrast in the far field. We introduce the concept of optical fingerprint for the deterministic speckle pattern associated with a particular substrate surface area and intentionally enhance the speckle amplitudes for potential applications. We demonstrate such optical fingerprints can be leveraged for reproducible position identification and marker-free lateral displacement detection with an experimental precision of 0.22 nm. The reproducible position identification allows us to detect new nanoscopic features developed during laborious processes performed outside of the microscope. The demonstrated capability for ultrasensitive displacement detection may find applications in the semiconductor industry and super-resolution optical microscopy.


title: Skew Howe duality for Types $\mathbf{BD}$ via $q$-Clifford algebras

abstract: We extend a quantized skew Howe duality result for Type $\mathbf{A}$ algebras to orthogonal types via a seesaw. We develop an operator commutant version of the First Fundamental Theorem of invariant theory for $U_q(\mathfrak{so}_n)$ using a double centralizer property inside a quantized Clifford algebra. We obtain a multiplicity-free decomposition of tensor powers of the $U_q(\mathfrak{so}_{2n})$ spin representation by explicitly computing joint highest weights with respect to an action of $U_q(\mathfrak{so}_{2n}) \otimes U_q'(\mathfrak{so}_m)$. Clifford algebras are an essential feature of our work: they provide a unifying framework for classical and quantized skew Howe duality results that can be extended to include orthogonal algebras of types $\mathbf{BD}$.


title: Non-differentiable angular dispersion as an optical resource

abstract: Introducing angular dispersion into a pulsed field associates each frequency with a particular angle with respect to the propagation axis. A perennial yet implicit assumption is that the propagation angle is differentiable with respect to the frequency. Recent work has shown that the existence of a frequency at which the derivative of the propagation angle does not exist -- which we refer to as non-differentiable angular dispersion -- allows for the optical field to exhibit unique and useful characteristics that are unattainable by endowing optical fields with conventional angular dispersion. Because these novel features are retained in principle even when the specific non-differentiable frequency is not part of the selected spectrum, the question arises as to the impact of the proximity of the spectrum to this frequency. We show here that operating in the vicinity of the non-differentiable frequency is imperative to reduce the deleterious impact of (1) errors in implementing the angular-dispersion profile, and (2) the spectral uncertainty intrinsic to finite-energy wave packets in any realistic system. Non-differential angular dispersion can then be viewed as a resource -- quantified by a Schmidt number -- that is maximized in the vicinity of the non-differentiable frequency. These results will be useful in designing novel phase-matching of nonlinear interactions in dispersive media.


title: Visualising Model Training via Vowel Space for Text-To-Speech Systems

abstract: With the recent developments in speech synthesis via machine learning, this study explores incorporating linguistics knowledge to visualise and evaluate synthetic speech model training. If changes to the first and second formant (in turn, the vowel space) can be seen and heard in synthetic speech, this knowledge can inform speech synthesis technology developers. A speech synthesis model trained on a large General American English database was fine-tuned into a New Zealand English voice to identify if the changes in the vowel space of synthetic speech could be seen and heard. The vowel spaces at different intervals during the fine-tuning were analysed to determine if the model learned the New Zealand English vowel space. Our findings based on vowel space analysis show that we can visualise how a speech synthesis model learns the vowel space of the database it is trained on. Perception tests confirmed that humans could perceive when a speech synthesis model has learned characteristics of the speech database it is training on. Using the vowel space as an intermediary evaluation helps understand what sounds are to be added to the training database and build speech synthesis models based on linguistics knowledge.


title: Privacy-Preserving Protocols for Smart Cameras and Other IoT Devices

abstract: Millions of consumers depend on smart camera systems to remotely monitor their homes and businesses. However, the architecture and design of popular commercial systems require users to relinquish control of their data to untrusted third parties, such as service providers (e.g., the cloud). Third parties therefore can (and in some instances have) access the video footage without the users' knowledge or consent -- violating the core tenet of user privacy. In this paper, we introduce CaCTUs, a privacy-preserving smart camera system that returns control to the user; the root of trust begins with the user and is maintained through a series of cryptographic protocols designed to support popular features, such as sharing, deleting, and viewing videos live. In so doing, we demonstrate that it is feasible to implement a performant smart-camera system that leverages the convenience of a cloud-based model while retaining the ability to control access to (private) data. We then discuss how our techniques and protocols can also be extended to privacy-preserving designs of other IoT devices recording time series data.


title: JVLDLoc: a Joint Optimization of Visual-LiDAR Constraints and Direction Priors for Localization in Driving Scenario

abstract: The ability for a moving agent to localize itself in environment is the basic demand for emerging applications, such as autonomous driving, etc. Many existing methods based on multiple sensors still suffer from drift. We propose a scheme that fuses map prior and vanishing points from images, which can establish an energy term that is only constrained on rotation, called the direction projection error. Then we embed these direction priors into a visual-LiDAR SLAM system that integrates camera and LiDAR measurements in a tightly-coupled way at backend. Specifically, our method generates visual reprojection error and point to Implicit Moving Least Square(IMLS) surface of scan constraints, and solves them jointly along with direction projection error at global optimization. Experiments on KITTI, KITTI-360 and Oxford Radar Robotcar show that we achieve lower localization error or Absolute Pose Error (APE) than prior map, which validates our method is effective.


title: The Development of a Labelled te reo M\=aori-English Bilingual Database for Language Technology

abstract: Te reo M\=aori (referred to as M\=aori), New Zealand's indigenous language, is under-resourced in language technology. M\=aori speakers are bilingual, where M\=aori is code-switched with English. Unfortunately, there are minimal resources available for M\=aori language technology, language detection and code-switch detection between M\=aori-English pair. Both English and M\=aori use Roman-derived orthography making rule-based systems for detecting language and code-switching restrictive. Most M\=aori language detection is done manually by language experts. This research builds a M\=aori-English bilingual database of 66,016,807 words with word-level language annotation. The New Zealand Parliament Hansard debates reports were used to build the database. The language labels are assigned using language-specific rules and expert manual annotations. Words with the same spelling, but different meanings, exist for M\=aori and English. These words could not be categorised as M\=aori or English based on word-level language rules. Hence, manual annotations were necessary. An analysis reporting the various aspects of the database such as metadata, year-wise analysis, frequently occurring words, sentence length and N-grams is also reported. The database developed here is a valuable tool for future language and speech technology development for Aotearoa New Zealand. The methodology followed to label the database can also be followed by other low-resourced language pairs.


title: Robust Node Classification on Graphs: Jointly from Bayesian Label Transition and Topology-based Label Propagation

abstract: Node classification using Graph Neural Networks (GNNs) has been widely applied in various real-world scenarios. However, in recent years, compelling evidence emerges that the performance of GNN-based node classification may deteriorate substantially by topological perturbation, such as random connections or adversarial attacks. Various solutions, such as topological denoising methods and mechanism design methods, have been proposed to develop robust GNN-based node classifiers but none of these works can fully address the problems related to topological perturbations. Recently, the Bayesian label transition model is proposed to tackle this issue but its slow convergence may lead to inferior performance. In this work, we propose a new label inference model, namely LInDT, which integrates both Bayesian label transition and topology-based label propagation for improving the robustness of GNNs against topological perturbations. LInDT is superior to existing label transition methods as it improves the label prediction of uncertain nodes by utilizing neighborhood-based label propagation leading to better convergence of label inference. Besides, LIndT adopts asymmetric Dirichlet distribution as a prior, which also helps it to improve label inference. Extensive experiments on five graph datasets demonstrate the superiority of LInDT for GNN-based node classification under three scenarios of topological perturbations.


title: Multiple and Asymmetric Scalings in Explosive Percolation

abstract: Explosive percolation in the Achlioptas process has recently attracted much research attention. From extensive simulations in an event-based ensemble, we find that, in dimensions from $2$ to $6$ and on random graphs, the Achlioptas processes all have two scaling windows and multiple fractal structures. The mixing of these multiple scalings successfully explains the previously observed anomalous phenomena in the conventional ensemble, and, moreover, correct critical exponents are now determined with a high precision by the event-based method. The multiple scalings and the ensemble inequivalence may bring new insights for other statistical systems.


title: Co-Optimizing Distributed Energy Resources in Linear Complexity under Net Energy Metering

abstract: The co-optimization of behind-the-meter distributed energy resources is considered for prosumers under the net energy metering tariff. The distributed energy resources considered include renewable generations, flexible demands, and battery energy storage systems. An energy management system co-optimizes the consumptions and battery storage based on locally available stochastic renewables by solving a stochastic dynamic program that maximizes the expected operation surplus. To circumvent the exponential complexity of the dynamic program solution, we propose a closed-form and linear computation complexity co-optimization algorithm based on a relaxation-projection approach to a constrained stochastic dynamic program. Sufficient conditions for optimality for the proposed solution are obtained. Numerical studies demonstrate orders of magnitude reduction of computation costs and significantly reduced optimality gap.