Showing 1–50 of 190 results for author: Hussain, M

3D Multi-Object Tracking Employing MS-GLMB Filter for Autonomous Driving

Authors: Linh Van Ma, Muhammad Ishfaq Hussain, Kin-Choong Yow, Moongu Jeon

Abstract: The MS-GLMB filter offers a robust framework for tracking multiple objects through the use of multi-sensor data. Building on this, the MV-GLMB and MV-GLMB-AB filters enhance the MS-GLMB capabilities by employing cameras for 3D multi-sensor multi-object tracking, effectively addressing occlusions. However, both filters depend on overlapping fields of view from the cameras to combine complementary i… ▽ More The MS-GLMB filter offers a robust framework for tracking multiple objects through the use of multi-sensor data. Building on this, the MV-GLMB and MV-GLMB-AB filters enhance the MS-GLMB capabilities by employing cameras for 3D multi-sensor multi-object tracking, effectively addressing occlusions. However, both filters depend on overlapping fields of view from the cameras to combine complementary information. In this paper, we introduce an improved approach that integrates an additional sensor, such as LiDAR, into the MS-GLMB framework for 3D multi-object tracking. Specifically, we present a new LiDAR measurement model, along with a multi-camera and LiDAR multi-object measurement model. Our experimental results demonstrate a significant improvement in tracking performance compared to existing MS-GLMB-based methods. Importantly, our method eliminates the need for overlapping fields of view, broadening the applicability of the MS-GLMB filter. Our source code for nuScenes dataset is available at https://github.com/linh-gist/ms-glmb-nuScenes. △ Less

Submitted 19 October, 2024; originally announced October 2024.

Comments: 2024 International Conference on Control, Automation and Information Sciences (ICCAIS), November 26th to 28th, 2024 in Ho Chi Minh City

Prompt Engineering a Schizophrenia Chatbot: Utilizing a Multi-Agent Approach for Enhanced Compliance with Prompt Instructions

Authors: Per Niklas Waaler, Musarrat Hussain, Igor Molchanov, Lars Ailo Bongo, Brita Elvevåg

Abstract: Patients with schizophrenia often present with cognitive impairments that may hinder their ability to learn about their condition. These individuals could benefit greatly from education platforms that leverage the adaptability of Large Language Models (LLMs) such as GPT-4. While LLMs have the potential to make topical mental health information more accessible and engaging, their black-box nature r… ▽ More Patients with schizophrenia often present with cognitive impairments that may hinder their ability to learn about their condition. These individuals could benefit greatly from education platforms that leverage the adaptability of Large Language Models (LLMs) such as GPT-4. While LLMs have the potential to make topical mental health information more accessible and engaging, their black-box nature raises concerns about ethics and safety. Prompting offers a way to produce semi-scripted chatbots with responses anchored in instructions and validated information, but prompt-engineered chatbots may drift from their intended identity as the conversation progresses. We propose a Critical Analysis Filter for achieving better control over chatbot behavior. In this system, a team of prompted LLM agents are prompt-engineered to critically analyze and refine the chatbot's response and deliver real-time feedback to the chatbot. To test this approach, we develop an informational schizophrenia chatbot and converse with it (with the filter deactivated) until it oversteps its scope. Once drift has been observed, AI-agents are used to automatically generate sample conversations in which the chatbot is being enticed to talk about out-of-bounds topics. We manually assign to each response a compliance score that quantifies the chatbot's compliance to its instructions; specifically the rules about accurately conveying sources and being transparent about limitations. Activating the Critical Analysis Filter resulted in an acceptable compliance score (>=2) in 67.0% of responses, compared to only 8.7% when the filter was deactivated. These results suggest that a self-reflection layer could enable LLMs to be used effectively and safely in mental health platforms, maintaining adaptability while reliably limiting their scope to appropriate use cases. △ Less

Submitted 10 October, 2024; originally announced October 2024.

Magnetic Dipolar Quantum Battery with Spin-Orbit Coupling

Authors: Asad Ali, Samira Elghaayda, Saif Al-Kuwari, M. I. Hussain, M. T. Rahim, Hashir Kuniyil, Tim Byrnes, James Q. Quach, Mostafa Mansour, Saeed Haddadi

Abstract: We investigate a magnetic dipolar system influenced by Zeeman splitting, DM interaction, and KSEA exchange interaction, with an initial focus on quantum resource dynamics and a final application in modeling a quantum battery (QB). We analyze the effects of dephasing noise and thermal equilibrium on quantum resources, such as the $l_1$-norm of coherence, quantum discord, and concurrence, by solving… ▽ More We investigate a magnetic dipolar system influenced by Zeeman splitting, DM interaction, and KSEA exchange interaction, with an initial focus on quantum resource dynamics and a final application in modeling a quantum battery (QB). We analyze the effects of dephasing noise and thermal equilibrium on quantum resources, such as the $l_1$-norm of coherence, quantum discord, and concurrence, by solving the Lindblad master equation and evaluating the Gibbs state. Our findings indicate that increased Zeeman splitting diminishes quantum resources under dephasing and thermal equilibrium conditions. However, when we use the Hamiltonian of this system to realize our QB, Zeeman splitting boosts performance metrics such as ergotropy, instantaneous power, capacity, and quantum coherence during cyclic charging. We observe that the axial parameter improves QB performance, with coherence reaching a saturation point, beyond which ergotropy continues to rise, introducing the concept of incoherent ergotropy and highlighting the need to understand its true origin. Both KSEA interaction and the rhombic parameter consistently enhance quantum resources across the dephasing and thermal equilibrium regimes, and thus improve QB performance. The DM interaction improves QB metrics and shields quantum resources against temperature variations in the Gibbs state but remains insensitive during dephasing dynamics. Our work uncovers complex trends, including ergotropy enhancement without quantum coherence, the preferential role of QB capacity over quantum coherence, and the phenomenon of no-work extraction despite the presence of quantum coherence. These findings facilitate a robust foundation for future research on magnetic dipolar QBs, emphasizing non-unitary charging processes, environmental effects, and practical implementations. We show that the NMR platform could be a promising testbed for simulating such QBs. △ Less

Submitted 8 September, 2024; originally announced September 2024.

Comments: 17 pages, 10 figures. All comments are welcome

A Review of Transformer-Based Models for Computer Vision Tasks: Capturing Global Context and Spatial Relationships

Authors: Gracile Astlin Pereira, Muhammad Hussain

Abstract: Transformer-based models have transformed the landscape of natural language processing (NLP) and are increasingly applied to computer vision tasks with remarkable success. These models, renowned for their ability to capture long-range dependencies and contextual information, offer a promising alternative to traditional convolutional neural networks (CNNs) in computer vision. In this review paper,… ▽ More Transformer-based models have transformed the landscape of natural language processing (NLP) and are increasingly applied to computer vision tasks with remarkable success. These models, renowned for their ability to capture long-range dependencies and contextual information, offer a promising alternative to traditional convolutional neural networks (CNNs) in computer vision. In this review paper, we provide an extensive overview of various transformer architectures adapted for computer vision tasks. We delve into how these models capture global context and spatial relationships in images, empowering them to excel in tasks such as image classification, object detection, and segmentation. Analyzing the key components, training methodologies, and performance metrics of transformer-based models, we highlight their strengths, limitations, and recent advancements. Additionally, we discuss potential research directions and applications of transformer-based models in computer vision, offering insights into their implications for future advancements in the field. △ Less

Submitted 27 August, 2024; originally announced August 2024.

Distributed-Memory Parallel Algorithms for Sparse Matrix and Sparse Tall-and-Skinny Matrix Multiplication

Authors: Isuru Ranawaka, Md Taufique Hussain, Charles Block, Gerasimos Gerogiannis, Josep Torrellas, Ariful Azad

Abstract: We consider a sparse matrix-matrix multiplication (SpGEMM) setting where one matrix is square and the other is tall and skinny. This special variant, called TS-SpGEMM, has important applications in multi-source breadth-first search, influence maximization, sparse graph embedding, and algebraic multigrid solvers. Unfortunately, popular distributed algorithms like sparse SUMMA deliver suboptimal per… ▽ More We consider a sparse matrix-matrix multiplication (SpGEMM) setting where one matrix is square and the other is tall and skinny. This special variant, called TS-SpGEMM, has important applications in multi-source breadth-first search, influence maximization, sparse graph embedding, and algebraic multigrid solvers. Unfortunately, popular distributed algorithms like sparse SUMMA deliver suboptimal performance for TS-SpGEMM. To address this limitation, we develop a novel distributed-memory algorithm tailored for TS-SpGEMM. Our approach employs customized 1D partitioning for all matrices involved and leverages sparsity-aware tiling for efficient data transfers. In addition, it minimizes communication overhead by incorporating both local and remote computations. On average, our TS-SpGEMM algorithm attains 5x performance gains over 2D and 3D SUMMA. Furthermore, we use our algorithm to implement multi-source breadth-first search and sparse graph embedding algorithms and demonstrate their scalability up to 512 Nodes (or 65,536 cores) on NERSC Perlmutter. △ Less

Submitted 21 August, 2024; originally announced August 2024.

Parallel Algorithms for Median Consensus Clustering in Complex Networks

Authors: Md Taufique Hussain, Mahantesh Halappanavar, Samrat Chatterjee, Filippo Radicchi, Santo Fortunato, Ariful Azad

Abstract: We develop an algorithm that finds the consensus of many different clustering solutions of a graph. We formulate the problem as a median set partitioning problem and propose a greedy optimization technique. Unlike other approaches that find median set partitions, our algorithm takes graph structure into account and finds a comparable quality solution much faster than the other approaches. For grap… ▽ More We develop an algorithm that finds the consensus of many different clustering solutions of a graph. We formulate the problem as a median set partitioning problem and propose a greedy optimization technique. Unlike other approaches that find median set partitions, our algorithm takes graph structure into account and finds a comparable quality solution much faster than the other approaches. For graphs with known communities, our consensus partition captures the actual community structure more accurately than alternative approaches. To make it applicable to large graphs, we remove sequential dependencies from our algorithm and design a parallel algorithm. Our parallel algorithm achieves 35x speedup when utilizing 64 processing cores for large real-world graphs from single-cell experiments. △ Less

Submitted 21 August, 2024; originally announced August 2024.

Comments: 12 pages

From SAM to SAM 2: Exploring Improvements in Meta's Segment Anything Model

Authors: Athulya Sundaresan Geetha, Muhammad Hussain

Abstract: The Segment Anything Model (SAM), introduced to the computer vision community by Meta in April 2023, is a groundbreaking tool that allows automated segmentation of objects in images based on prompts such as text, clicks, or bounding boxes. SAM excels in zero-shot performance, segmenting unseen objects without additional training, stimulated by a large dataset of over one billion image masks. SAM 2… ▽ More The Segment Anything Model (SAM), introduced to the computer vision community by Meta in April 2023, is a groundbreaking tool that allows automated segmentation of objects in images based on prompts such as text, clicks, or bounding boxes. SAM excels in zero-shot performance, segmenting unseen objects without additional training, stimulated by a large dataset of over one billion image masks. SAM 2 expands this functionality to video, leveraging memory from preceding and subsequent frames to generate accurate segmentation across entire videos, enabling near real-time performance. This comparison shows how SAM has evolved to meet the growing need for precise and efficient segmentation in various applications. The study suggests that future advancements in models like SAM will be crucial for improving computer vision technology. △ Less

Submitted 12 August, 2024; originally announced August 2024.

Ergotropy and Capacity Optimization in Heisenberg Spin Chain Quantum Batteries

Authors: Asad Ali, Saif Al-Kuwari, M. I. Hussain, Tim Byrnes, M. T. Rahim, James Q. Quach, Mehrdad Ghominejad, Saeed Haddadi

Abstract: This study examines the performance of finite spin quantum batteries (QBs) using Heisenberg spin models with Dzyaloshinsky-Moriya (DM) and Kaplan--Shekhtman--Entin-Wohlman--Aharony (KSEA) interactions. The QBs are modeled as interacting quantum spins in local inhomogeneous magnetic fields, inducing variable Zeeman splitting. We derive analytical expressions for the maximal extractable work, ergotr… ▽ More This study examines the performance of finite spin quantum batteries (QBs) using Heisenberg spin models with Dzyaloshinsky-Moriya (DM) and Kaplan--Shekhtman--Entin-Wohlman--Aharony (KSEA) interactions. The QBs are modeled as interacting quantum spins in local inhomogeneous magnetic fields, inducing variable Zeeman splitting. We derive analytical expressions for the maximal extractable work, ergotropy and the capacity of QBs, as recently examined by Yang et al. [Phys. Rev. Lett. 131, 030402 (2023)]. These quantities are analytically linked through certain quantum correlations, as posited in the aforementioned study. Different Heisenberg spin chain models exhibit distinct behaviors under varying conditions, emphasizing the importance of model selection for optimizing QB performance. In antiferromagnetic (AFM) systems, maximum ergotropy occurs with a Zeeman splitting field applied to either spin, while ferromagnetic (FM) systems benefit from a uniform Zeeman field. Temperature significantly impacts QB performance, with ergotropy in the AFM case being generally more robust against temperature increases compared to the FM case. Incorporating DM and KSEA couplings can significantly enhance the capacity and ergotropy extraction of QBs. However, there exists a threshold beyond which additional increases in these interactions cause a sharp decline in capacity and ergotropy. This behavior is influenced by temperature and quantum coherence, which signal the occurrence of a sudden phase transition. The resource theory of quantum coherence proposed by Baumgratz et al. [Phys. Rev. Lett. 113, 140401 (2014)] plays a crucial role in enhancing ergotropy and capacity. However, ergotropy is limited by both the system's capacity and the amount of coherence. These findings support the theoretical framework of spin-based QBs and may benefit future research on quantum energy storage devices. △ Less

Submitted 31 July, 2024; originally announced August 2024.

Comments: 13 pages, 11 figures

What is YOLOv5: A deep look into the internal features of the popular object detector

Authors: Rahima Khanam, Muhammad Hussain

Abstract: This study presents a comprehensive analysis of the YOLOv5 object detection model, examining its architecture, training methodologies, and performance. Key components, including the Cross Stage Partial backbone and Path Aggregation-Network, are explored in detail. The paper reviews the model's performance across various metrics and hardware platforms. Additionally, the study discusses the transiti… ▽ More This study presents a comprehensive analysis of the YOLOv5 object detection model, examining its architecture, training methodologies, and performance. Key components, including the Cross Stage Partial backbone and Path Aggregation-Network, are explored in detail. The paper reviews the model's performance across various metrics and hardware platforms. Additionally, the study discusses the transition from Darknet to PyTorch and its impact on model development. Overall, this research provides insights into YOLOv5's capabilities and its position within the broader landscape of object detection and why it is a popular choice for constrained edge deployment scenarios. △ Less

Submitted 30 July, 2024; originally announced July 2024.

A Comparative Analysis of YOLOv5, YOLOv8, and YOLOv10 in Kitchen Safety

Authors: Athulya Sundaresan Geetha, Muhammad Hussain

Abstract: Knife safety in the kitchen is essential for preventing accidents or injuries with an emphasis on proper handling, maintenance, and storage methods. This research presents a comparative analysis of three YOLO models, YOLOv5, YOLOv8, and YOLOv10, to detect the hazards involved in handling knife, concentrating mainly on ensuring fingers are curled while holding items to be cut and that hands should… ▽ More Knife safety in the kitchen is essential for preventing accidents or injuries with an emphasis on proper handling, maintenance, and storage methods. This research presents a comparative analysis of three YOLO models, YOLOv5, YOLOv8, and YOLOv10, to detect the hazards involved in handling knife, concentrating mainly on ensuring fingers are curled while holding items to be cut and that hands should only be in contact with knife handle avoiding the blade. Precision, recall, F-score, and normalized confusion matrix are used to evaluate the performance of the models. The results indicate that YOLOv5 performed better than the other two models in identifying the hazard of ensuring hands only touch the blade, while YOLOv8 excelled in detecting the hazard of curled fingers while holding items. YOLOv5 and YOLOv8 performed almost identically in recognizing classes such as hand, knife, and vegetable, whereas YOLOv5, YOLOv8, and YOLOv10 accurately identified the cutting board. This paper provides insights into the advantages and shortcomings of these models in real-world settings. Moreover, by detailing the optimization of YOLO architectures for safe knife handling, this study promotes the development of increased accuracy and efficiency in safety surveillance systems. △ Less

Submitted 30 July, 2024; originally announced July 2024.

Measurement of the $^8$B Solar Neutrino Flux Using the Full SNO+ Water Phase

Authors: SNO+ Collaboration, :, A. Allega, M. R. Anderson, S. Andringa, M. Askins, D. J. Auty, A. Bacon, J. Baker, F. Barão, N. Barros, R. Bayes, E. W. Beier, A. Bialek, S. D. Biller, E. Blucher, E. Caden, E. J. Callaghan, M. Chen, S. Cheng, B. Cleveland, D. Cookman, J. Corning, M. A. Cox, R. Dehghani , et al. (93 additional authors not shown)

Abstract: The SNO+ detector operated initially as a water Cherenkov detector. The implementation of a sealed covergas system midway through water data taking resulted in a significant reduction in the activity of $^{222}$Rn daughters in the detector and allowed the lowest background to the solar electron scattering signal above 5 MeV achieved to date. This paper reports an updated SNO+ water phase $^8$B sol… ▽ More The SNO+ detector operated initially as a water Cherenkov detector. The implementation of a sealed covergas system midway through water data taking resulted in a significant reduction in the activity of $^{222}$Rn daughters in the detector and allowed the lowest background to the solar electron scattering signal above 5 MeV achieved to date. This paper reports an updated SNO+ water phase $^8$B solar neutrino analysis with a total livetime of 282.4 days and an analysis threshold of 3.5 MeV. The $^8$B solar neutrino flux is found to be $\left(2.32^{+0.18}_{-0.17}\text{(stat.)}^{+0.07}_{-0.05}\text{(syst.)}\right)\times10^{6}$ cm$^{-2}$s$^{-1}$ assuming no neutrino oscillations, or $\left(5.36^{+0.41}_{-0.39}\text{(stat.)}^{+0.17}_{-0.16}\text{(syst.)} \right)\times10^{6}$ cm$^{-2}$s$^{-1}$ assuming standard neutrino oscillation parameters, in good agreement with both previous measurements and Standard Solar Model Calculations. The electron recoil spectrum is presented above 3.5 MeV. △ Less

Submitted 24 July, 2024; originally announced July 2024.

YOLOv5, YOLOv8 and YOLOv10: The Go-To Detectors for Real-time Vision

Authors: Muhammad Hussain

Abstract: This paper presents a comprehensive review of the evolution of the YOLO (You Only Look Once) object detection algorithm, focusing on YOLOv5, YOLOv8, and YOLOv10. We analyze the architectural advancements, performance improvements, and suitability for edge deployment across these versions. YOLOv5 introduced significant innovations such as the CSPDarknet backbone and Mosaic Augmentation, balancing s… ▽ More This paper presents a comprehensive review of the evolution of the YOLO (You Only Look Once) object detection algorithm, focusing on YOLOv5, YOLOv8, and YOLOv10. We analyze the architectural advancements, performance improvements, and suitability for edge deployment across these versions. YOLOv5 introduced significant innovations such as the CSPDarknet backbone and Mosaic Augmentation, balancing speed and accuracy. YOLOv8 built upon this foundation with enhanced feature extraction and anchor-free detection, improving versatility and performance. YOLOv10 represents a leap forward with NMS-free training, spatial-channel decoupled downsampling, and large-kernel convolutions, achieving state-of-the-art performance with reduced computational overhead. Our findings highlight the progressive enhancements in accuracy, efficiency, and real-time performance, particularly emphasizing their applicability in resource-constrained environments. This review provides insights into the trade-offs between model complexity and detection accuracy, offering guidance for selecting the most appropriate YOLO version for specific edge computing applications. △ Less

Submitted 3 July, 2024; originally announced July 2024.

YOLOv1 to YOLOv10: A comprehensive review of YOLO variants and their application in the agricultural domain

Authors: Mujadded Al Rabbani Alif, Muhammad Hussain

Abstract: This survey investigates the transformative potential of various YOLO variants, from YOLOv1 to the state-of-the-art YOLOv10, in the context of agricultural advancements. The primary objective is to elucidate how these cutting-edge object detection models can re-energise and optimize diverse aspects of agriculture, ranging from crop monitoring to livestock management. It aims to achieve key objecti… ▽ More This survey investigates the transformative potential of various YOLO variants, from YOLOv1 to the state-of-the-art YOLOv10, in the context of agricultural advancements. The primary objective is to elucidate how these cutting-edge object detection models can re-energise and optimize diverse aspects of agriculture, ranging from crop monitoring to livestock management. It aims to achieve key objectives, including the identification of contemporary challenges in agriculture, a detailed assessment of YOLO's incremental advancements, and an exploration of its specific applications in agriculture. This is one of the first surveys to include the latest YOLOv10, offering a fresh perspective on its implications for precision farming and sustainable agricultural practices in the era of Artificial Intelligence and automation. Further, the survey undertakes a critical analysis of YOLO's performance, synthesizes existing research, and projects future trends. By scrutinizing the unique capabilities packed in YOLO variants and their real-world applications, this survey provides valuable insights into the evolving relationship between YOLO variants and agriculture. The findings contribute towards a nuanced understanding of the potential for precision farming and sustainable agricultural practices, marking a significant step forward in the integration of advanced object detection technologies within the agricultural sector. △ Less

Submitted 14 June, 2024; originally announced June 2024.

Comments: 31 pages

Initial measurement of reactor antineutrino oscillation at SNO+

Authors: SNO+ Collaboration, :, A. Allega, M. R. Anderson, S. Andringa, M. Askins, D. J. Auty, A. Bacon, J. Baker, F. Barão, N. Barros, R. Bayes, E. W. Beier, T. S. Bezerra, A. Bialek, S. D. Biller, E. Blucher, E. Caden, E. J. Callaghan, M. Chen, S. Cheng, B. Cleveland, D. Cookman, J. Corning, M. A. Cox , et al. (96 additional authors not shown)

Abstract: The SNO+ collaboration reports its first spectral analysis of long-baseline reactor antineutrino oscillation using 114 tonne-years of data. Fitting the neutrino oscillation probability to the observed energy spectrum yields constraints on the neutrino mass-squared difference $Δm^2_{21}$. In the ranges allowed by previous measurements, the best-fit $Δm^2_{21}$ is (8.85$^{+1.10}_{-1.33}$) $\times$ 1… ▽ More The SNO+ collaboration reports its first spectral analysis of long-baseline reactor antineutrino oscillation using 114 tonne-years of data. Fitting the neutrino oscillation probability to the observed energy spectrum yields constraints on the neutrino mass-squared difference $Δm^2_{21}$. In the ranges allowed by previous measurements, the best-fit $Δm^2_{21}$ is (8.85$^{+1.10}_{-1.33}$) $\times$ 10$^{-5}$ eV$^2$. This measurement is continuing in the next phases of SNO+ and is expected to surpass the present global precision on $Δm^2_{21}$ with about three years of data. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Measure theoretic properties of large products of consecutive partial quotients

Authors: Adam Brown-Sarre, Gerardo González Robert, Mumtaz Hussain

Abstract: The theory of uniform approximation of real numbers motivates the study of products of consecutive partial quotients in regular continued fractions. For any non-decreasing positive function $\varphi:\mathbb{N}\to\mathbb{R}_{>0}$ and $\ell\in \mathbb{N}$, we determine the Lebesgue measure and Hausdorff dimension of the set $\mathcal{F}_{\ell}(\varphi)$ of irrational numbers $x$ whose regular contin… ▽ More The theory of uniform approximation of real numbers motivates the study of products of consecutive partial quotients in regular continued fractions. For any non-decreasing positive function $\varphi:\mathbb{N}\to\mathbb{R}_{>0}$ and $\ell\in \mathbb{N}$, we determine the Lebesgue measure and Hausdorff dimension of the set $\mathcal{F}_{\ell}(\varphi)$ of irrational numbers $x$ whose regular continued fraction $x~=~[a_1(x),a_2(x),\ldots]$ is such that for infinitely many $n\in\mathbb{N}$ there are two numbers $1\leq j<k \leq n$ satisfying \[ a_{k}(x)\cdots a_{k+\ell-1}(x)\geq \varphi(n), \; a_{j}(x)\cdots a_{j+\ell-1}(x)\geq \varphi(n). \] One of the consequences of the results is that the strong law of large numbers for products of $\ell$ consecutive partial quotients is impossible even if the block with the largest product is removed. △ Less

Submitted 17 May, 2024; originally announced May 2024.

Comments: 26 pages

MSC Class: 11K55 (Primary) 11J83; 28A80 (Secondary)

Enhancing Data Integrity and Traceability in Industry Cyber Physical Systems (ICPS) through Blockchain Technology: A Comprehensive Approach

Authors: Mohammad Ikbal Hossain, Tanja Steigner, Muhammad Imam Hussain, Afroja Akther

Abstract: Blockchain technology, heralded as a transformative innovation, has far-reaching implications beyond its initial application in cryptocurrencies. This study explores the potential of blockchain in enhancing data integrity and traceability within Industry Cyber-Physical Systems (ICPS), a crucial aspect in the era of Industry 4.0. ICPS, integrating computational and physical components, is pivotal i… ▽ More Blockchain technology, heralded as a transformative innovation, has far-reaching implications beyond its initial application in cryptocurrencies. This study explores the potential of blockchain in enhancing data integrity and traceability within Industry Cyber-Physical Systems (ICPS), a crucial aspect in the era of Industry 4.0. ICPS, integrating computational and physical components, is pivotal in managing critical infrastructure like manufacturing, power grids, and transportation networks. However, they face challenges in security, privacy, and reliability. With its inherent immutability, transparency, and distributed consensus, blockchain presents a groundbreaking approach to address these challenges. It ensures robust data reliability and traceability across ICPS, enhancing transaction transparency and facilitating secure data sharing. This research unearths various blockchain applications in ICPS, including supply chain management, quality control, contract management, and data sharing. Each application demonstrates blockchain's capacity to streamline processes, reduce fraud, and enhance system efficiency. In supply chain management, blockchain provides real-time auditing and compliance. For quality control, it establishes tamper-proof records, boosting consumer confidence. In contract management, smart contracts automate execution, enhancing efficiency. Blockchain also fosters secure collaboration in ICPS, which is crucial for system stability and safety. This study emphasizes the need for further research on blockchain's practical implementation in ICPS, focusing on challenges like scalability, system integration, and security vulnerabilities. It also suggests examining blockchain's economic and organizational impacts in ICPS to understand its feasibility and long-term advantages. △ Less

Submitted 8 May, 2024; originally announced May 2024.

S-box Security Analysis of NIST Lightweight Cryptography Candidates: A Critical Empirical Study

Authors: Mahnoor Naseer, Sundas Tariq, Naveed Riaz, Naveed Ahmed, Mureed Hussain

Abstract: In the resource-constrained world of the digital landscape, lightweight cryptography plays a critical role in safeguarding information and ensuring the security of various systems, devices, and communication channels. Its efficient and resource-friendly nature makes it the ideal solution for applications where computational power is limited. In response to the growing need for platform-specific im… ▽ More In the resource-constrained world of the digital landscape, lightweight cryptography plays a critical role in safeguarding information and ensuring the security of various systems, devices, and communication channels. Its efficient and resource-friendly nature makes it the ideal solution for applications where computational power is limited. In response to the growing need for platform-specific implementations, NIST issued a call for standardization of Lightweight cryptography algorithms in 2018. Ascon emerged as the winner of this competition. NIST initially established general evaluation criteria for a standard lightweight scheme including security strength, mitigation against side-channel and fault-injection attacks, and implementation efficiency. To verify the security claims, evaluating the individual components used in any cryptographic algorithm is a crucial step. The quality of a substitution box (S-box) significantly impacts the overall security of a cryptographic primitive. This paper analyzes the S-boxes of six finalists in the NIST Lightweight Cryptography (LWC) standardization process. We evaluate them based on well-established cryptographic properties. Our analysis explores how these properties influence the S-boxes' resistance against known cryptanalytic attacks and potential implementation-specific vulnerabilities, thus reflecting on their compliance with NIST's security requirements. △ Less

Submitted 9 April, 2024; originally announced April 2024.

Towards Automated Generation of Smart Grid Cyber Range for Cybersecurity Experiments and Training

Authors: Daisuke Mashima, Muhammad M. Roomi, Bennet Ng, Zbigniew Kalbarczyk, S. M. Suhail Hussain, Ee-chien Chang

Abstract: Assurance of cybersecurity is crucial to ensure dependability and resilience of smart power grid systems. In order to evaluate the impact of potential cyber attacks, to assess deployability and effectiveness of cybersecurity measures, and to enable hands-on exercise and training of personals, an interactive, virtual environment that emulates the behaviour of a smart grid system, namely smart grid… ▽ More Assurance of cybersecurity is crucial to ensure dependability and resilience of smart power grid systems. In order to evaluate the impact of potential cyber attacks, to assess deployability and effectiveness of cybersecurity measures, and to enable hands-on exercise and training of personals, an interactive, virtual environment that emulates the behaviour of a smart grid system, namely smart grid cyber range, has been demanded by industry players as well as academia. A smart grid cyber range is typically implemented as a combination of cyber system emulation, which allows interactivity, and physical system (i.e., power grid) simulation that are tightly coupled for consistent cyber and physical behaviours. However, its design and implementation require intensive expertise and efforts in cyber and physical aspects of smart power systems as well as software/system engineering. While many industry players, including power grid operators, device vendors, research and education sectors are interested, availability of the smart grid cyber range is limited to a small number of research labs. To address this challenge, we have developed a framework for modelling a smart grid cyber range using an XML-based language, called SG-ML, and for "compiling" the model into an operational cyber range with minimal engineering efforts. The modelling language includes standardized schema from IEC 61850 and IEC 61131, which allows industry players to utilize their existing configurations. The SG-ML framework aims at making a smart grid cyber range available to broader user bases to facilitate cybersecurity R\&D and hands-on exercises. △ Less

Submitted 31 March, 2024; originally announced April 2024.

Comments: Published at DSN 2023 Industry Track

On the Folklore set and Dirichlet spectrum for matrices

Authors: Mumtaz Hussain, Johannes Schleischitz, Benjamin Ward

Abstract: We study the Folklore set of Dirichlet improvable matrices in $\mathbb R^{m\times n}$ which are neither singular nor badly approximable. We prove the non-emptiness for all positive integer pairs $m,n$ apart from $\{m,n\}=\{ 1,1\}$ and $\{m,n\}=\{ 2,3\}$ in a constructive way. For a wide range of integer pairs $(m,n)$ we construct subsets of the Folklore set with an exact prescribed Dirichlet const… ▽ More We study the Folklore set of Dirichlet improvable matrices in $\mathbb R^{m\times n}$ which are neither singular nor badly approximable. We prove the non-emptiness for all positive integer pairs $m,n$ apart from $\{m,n\}=\{ 1,1\}$ and $\{m,n\}=\{ 2,3\}$ in a constructive way. For a wide range of integer pairs $(m,n)$ we construct subsets of the Folklore set with an exact prescribed Dirichlet constant (in some right neighbourhood of $0$). This enables us to provide information on the Dirichlet Spectrum of matrices. The key technique of our construction is to build certain $2$-dimensional simultaneously approximable very singular vectors, and then `lift' these vectors to higher dimensions by `glueing' them to a large set of well-behaved matrices. Our technique is also applicable to arbitrary norms. As a corollary, we obtain lower bounds on the Hausdorff dimension of these sets. These statements complement previous results of the middle-named author (Selecta Math. 2023), Beresnevich et. al. (Adv. Math. 2023), and Das et. al. (Adv. Math. 2024). △ Less

Submitted 30 April, 2024; v1 submitted 20 February, 2024; originally announced February 2024.

Comments: 43 pages, 1 figure, comments welcome. The main results are strengthened and new results have been added

A Novel Technique to Parameterize Congestion Control in 6TiSCH IIoT Networks

Authors: Kushal Chakraborty, Aritra Kumar Dutta, Mohammad Avesh Hussain, Syed Raafay Mohiuddin, Nikumani Choudhury, Rakesh Matam, Mithun Mukherjee

Abstract: The Industrial Internet of Things (IIoT) refers to the use of interconnected smart devices, sensors, and other technologies to create a network of intelligent systems that can monitor and manage industrial processes. 6TiSCH (IPv6 over the Time Slotted Channel Hopping mode of IEEE 802.15.4e) as an enabling technology facilitates low-power and low-latency communication between IoT devices in industr… ▽ More The Industrial Internet of Things (IIoT) refers to the use of interconnected smart devices, sensors, and other technologies to create a network of intelligent systems that can monitor and manage industrial processes. 6TiSCH (IPv6 over the Time Slotted Channel Hopping mode of IEEE 802.15.4e) as an enabling technology facilitates low-power and low-latency communication between IoT devices in industrial environments. The Routing Protocol for Low power and lossy networks (RPL), which is used as the de-facto routing protocol for 6TiSCH networks is observed to suffer from several limitations, especially during congestion in the network. Therefore, there is an immediate need for some modifications to the RPL to deal with this problem. Under traffic load which keeps on changing continuously at different instants of time, the proposed mechanism aims at finding the appropriate parent for a node that can forward the packet to the destination through the least congested path with minimal packet loss. This facilitates congestion management under dynamic traffic loads. For this, a new metric for routing using the concept of exponential weighting has been proposed, which takes the number of packets present in the queue of the node into account when choosing the parent at a particular instance of time. Additionally, the paper proposes a parent selection and swapping mechanism for congested networks. Performance evaluations are carried out in order to validate the proposed work. The results show an improvement in the performance of RPL under heavy and dynamic traffic loads. △ Less

Submitted 11 February, 2024; originally announced February 2024.

Comments: The paper has been submitted, accepted, and presented at the 2023 IEEE Global Communications Conference: Next-Generation Networking and Internet, with plans for publication. It was delivered during the IEEE Global Communications Conference held on December 6th, 2023, in Kuala Lumpur, Malaysia

Triplet Interaction Improves Graph Transformers: Accurate Molecular Graph Learning with Triplet Graph Transformers

Authors: Md Shamim Hussain, Mohammed J. Zaki, Dharmashankar Subramanian

Abstract: Graph transformers typically lack third-order interactions, limiting their geometric understanding which is crucial for tasks like molecular geometry prediction. We propose the Triplet Graph Transformer (TGT) that enables direct communication between pairs within a 3-tuple of nodes via novel triplet attention and aggregation mechanisms. TGT is applied to molecular property prediction by first pred… ▽ More Graph transformers typically lack third-order interactions, limiting their geometric understanding which is crucial for tasks like molecular geometry prediction. We propose the Triplet Graph Transformer (TGT) that enables direct communication between pairs within a 3-tuple of nodes via novel triplet attention and aggregation mechanisms. TGT is applied to molecular property prediction by first predicting interatomic distances from 2D graphs and then using these distances for downstream tasks. A novel three-stage training procedure and stochastic inference further improve training efficiency and model performance. Our model achieves new state-of-the-art (SOTA) results on open challenge benchmarks PCQM4Mv2 and OC20 IS2RE. We also obtain SOTA results on QM9, MOLPCBA, and LIT-PCBA molecular property prediction benchmarks via transfer learning. We also demonstrate the generality of TGT with SOTA results on the traveling salesman problem (TSP). △ Less

Submitted 9 June, 2024; v1 submitted 6 February, 2024; originally announced February 2024.

Comments: ICML'24 Accepted Version, 25 pages, 10 figures, 18 tables

Restricted slowly growing digits for infinite iterated function systems

Authors: Gerardo González Robert, Mumtaz Hussain, Nikita Shulga, Hiroki Takahasi

Abstract: For an infinite iterated function system $\mathbf{f}$ on $[0,1]$ with an attractor $Λ(\mathbf{f})$ and for an infinite subset $D\subseteq \mathbb{N}$, consider the set \[ \mathbb E(\mathbf{f},D)= \{ x \in Λ(\mathbf{f}): a_n(x)\in D \text{ for all }n\in\mathbb N \text{ and }\lim_{n\to\infty} a_n=\infty\}. \] For a function $\varphi:\mathbb{N}\to [\min D, \infty)$ such that $\varphi(n)\to\infty$ as… ▽ More For an infinite iterated function system $\mathbf{f}$ on $[0,1]$ with an attractor $Λ(\mathbf{f})$ and for an infinite subset $D\subseteq \mathbb{N}$, consider the set \[ \mathbb E(\mathbf{f},D)= \{ x \in Λ(\mathbf{f}): a_n(x)\in D \text{ for all }n\in\mathbb N \text{ and }\lim_{n\to\infty} a_n=\infty\}. \] For a function $\varphi:\mathbb{N}\to [\min D, \infty)$ such that $\varphi(n)\to\infty$ as $n\to\infty$, we compute the Hausdorff dimension of the set $$ S(\mathbf{f},D,\varphi) = \left\{ x\in \E(\mathbf{f},D) : a_n(x)\leq \varphi(n) \text{ for all } n\in\mathbb N \right\}. $$ We prove that the Hausdorff dimension stays the same no matter how slowly the function $\varphi$ grows. One of the consequences of our result is the recent work of Takahasi (2023), which only dealt with regular continued fraction expansions. We further extend our result to slowly growing products of (not necessarily consecutive) digits. △ Less

Submitted 28 December, 2023; originally announced December 2023.

Comments: 14 pages, 2 figures

BANSpEmo: A Bangla Emotional Speech Recognition Dataset

Authors: Md Gulzar Hussain, Mahmuda Rahman, Babe Sultana, Ye Shiren

Abstract: In the field of audio and speech analysis, the ability to identify emotions from acoustic signals is essential. Human-computer interaction (HCI) and behavioural analysis are only a few of the many areas where the capacity to distinguish emotions from speech signals has an extensive range of applications. Here, we are introducing BanSpEmo, a corpus of emotional speech that only consists of audio re… ▽ More In the field of audio and speech analysis, the ability to identify emotions from acoustic signals is essential. Human-computer interaction (HCI) and behavioural analysis are only a few of the many areas where the capacity to distinguish emotions from speech signals has an extensive range of applications. Here, we are introducing BanSpEmo, a corpus of emotional speech that only consists of audio recordings and has been created specifically for the Bangla language. This corpus contains 792 audio recordings over a duration of more than 1 hour and 23 minutes. 22 native speakers took part in the recording of two sets of sentences that represent the six desired emotions. The data set consists of 12 Bangla sentences which are uttered in 6 emotions as Disgust, Happy, Sad, Surprised, Anger, and Fear. This corpus is not also gender balanced. Ten individuals who either have experience in related field or have acting experience took part in the assessment of this corpus. It has a balanced number of audio recordings in each emotion class. BanSpEmo can be considered as a useful resource to promote emotion and speech recognition research and related applications in the Bangla language. The dataset can be found here: https://data.mendeley.com/datasets/rdwn4bs5ky and might be employed for academic research. △ Less

Submitted 21 December, 2023; originally announced December 2023.

Single-ion optical autocorrelator

Authors: M. I. Hussain, M. Guevara-Bertsch, E. Torrontegui, J. J. Garcıa-Ripoll, R. Blatt, C. F. Roos

Abstract: Well isolated quantum systems are exquisite sensors of electromagnetic fields. In this work, we use a single trapped ion for characterizing chirped ultraviolet (UV) picosecond laser pulses. The frequency swept pulses resonantly drive a strong dipole transition via rapid adiabatic passage, resulting in near deterministic population exchange caused by absorption or stimulated emission of photons. Wh… ▽ More Well isolated quantum systems are exquisite sensors of electromagnetic fields. In this work, we use a single trapped ion for characterizing chirped ultraviolet (UV) picosecond laser pulses. The frequency swept pulses resonantly drive a strong dipole transition via rapid adiabatic passage, resulting in near deterministic population exchange caused by absorption or stimulated emission of photons. When subjecting an ion to counterpropagating pulse pairs, we observe the loss and revival of atomic coherence as a function of the pulse pair spatial overlap enabling quantification of the temporal pulse broadening caused by a frequency chirp in shaped UV pulses with a very low peak power. We find good agreement between measured and applied chirp. The ultrafast population exchange imparts an impulsive force where the estimated change in the mean phonon numbers of 0.5 is measured for two pairs of pulses. The resonant ultrafast kicks could be applied to matter wave interferometry experiments and present a step towards ultrafast entanglement operations in trapped ions. △ Less

Submitted 6 December, 2023; originally announced December 2023.

Adaptive Confidence Threshold for ByteTrack in Multi-Object Tracking

Authors: Linh Van Ma, Muhammad Ishfaq Hussain, JongHyun Park, Jeongbae Kim, Moongu Jeon

Abstract: We investigate the application of ByteTrack in the realm of multiple object tracking. ByteTrack, a simple tracking algorithm, enables the simultaneous tracking of multiple objects by strategically incorporating detections with a low confidence threshold. Conventionally, objects are initially associated with high confidence threshold detections. When the association between objects and detections b… ▽ More We investigate the application of ByteTrack in the realm of multiple object tracking. ByteTrack, a simple tracking algorithm, enables the simultaneous tracking of multiple objects by strategically incorporating detections with a low confidence threshold. Conventionally, objects are initially associated with high confidence threshold detections. When the association between objects and detections becomes ambiguous, ByteTrack extends the association to lower confidence threshold detections. One notable drawback of the existing ByteTrack approach is its reliance on a fixed threshold to differentiate between high and low-confidence detections. In response to this limitation, we introduce a novel and adaptive approach. Our proposed method entails a dynamic adjustment of the confidence threshold, leveraging insights derived from overall detections. Through experimentation, we demonstrate the effectiveness of our adaptive confidence threshold technique while maintaining running time compared to ByteTrack. △ Less

Submitted 5 December, 2023; v1 submitted 4 December, 2023; originally announced December 2023.

Comments: The 12th International Conference on Control, Automation and Information Sciences (ICCAIS 2023), November 27th to 29th, 2023 in Hanoi

Journal ref: The 12th International Conference on Control, Automation and Information Sciences (ICCAIS 2023)

Isospin Decomposition of D Mesons

Authors: Shakeel Mahmood, Mudassir Hussain, Abrar Ahmad

Abstract: This work focuses on decomposition of isospin amplitude of D meson non-leptonic decays. Isospin vector algebra is used to show the equivalency of two amplitude decompositions. We restrict to the transitions involving only Del I = 1 and Del I = 0: The isospin symmetry is relating charge channel (D+ -> K+,Pi+ Pi-; D+ -> K+, Pi0, Pi0 and D+-> K0, Pi0,Pi+); and neutral channel (D0 -> K0,Pi+,Pi- D0 ->… ▽ More This work focuses on decomposition of isospin amplitude of D meson non-leptonic decays. Isospin vector algebra is used to show the equivalency of two amplitude decompositions. We restrict to the transitions involving only Del I = 1 and Del I = 0: The isospin symmetry is relating charge channel (D+ -> K+,Pi+ Pi-; D+ -> K+, Pi0, Pi0 and D+-> K0, Pi0,Pi+); and neutral channel (D0 -> K0,Pi+,Pi- D0 -> K0, Pi0, Pi0 and D0 -> K+, Pi0, Pi-) with each other. Equivalent triangle relations are obtained for both channels. △ Less

Submitted 24 November, 2023; originally announced November 2023.

Comments: 9 Pages , 5 Figures

Identifying Alzheimer Disease Dementia Levels Using Machine Learning Methods

Authors: Md Gulzar Hussain, Ye Shiren

Abstract: Dementia, a prevalent neurodegenerative condition, is a major manifestation of Alzheimer's disease (AD). As the condition progresses from mild to severe, it significantly impairs the individual's ability to perform daily tasks independently, necessitating the need for timely and accurate AD classification. Machine learning or deep learning models have emerged as effective tools for this purpose. I… ▽ More Dementia, a prevalent neurodegenerative condition, is a major manifestation of Alzheimer's disease (AD). As the condition progresses from mild to severe, it significantly impairs the individual's ability to perform daily tasks independently, necessitating the need for timely and accurate AD classification. Machine learning or deep learning models have emerged as effective tools for this purpose. In this study, we suggested an approach for classifying the four stages of dementia using RF, SVM, and CNN algorithms, augmented with watershed segmentation for feature extraction from MRI images. Our results reveal that SVM with watershed features achieves an impressive accuracy of 96.25%, surpassing other classification methods. The ADNI dataset is utilized to evaluate the effectiveness of our method, and we observed that the inclusion of watershed segmentation contributes to the enhanced performance of the models. △ Less

Submitted 2 November, 2023; originally announced November 2023.

Transcendence and normality of complex numbers via Hurwitz continued fractions

Authors: Felipe García-Ramos, Gerardo González Robert, Mumtaz Hussain

Abstract: We study the topological, dynamical, and descriptive set theoretic properties of Hurwitz continued fractions. Hurwitz continued fractions associate an infinite sequence of Gaussian integers to every complex number which is not a Gaussian rational. The resulting space of sequences of Gaussian integers $Ω$ is not closed. By means of an algorithm, we show that $Ω$ contains a natural subset whose clos… ▽ More We study the topological, dynamical, and descriptive set theoretic properties of Hurwitz continued fractions. Hurwitz continued fractions associate an infinite sequence of Gaussian integers to every complex number which is not a Gaussian rational. The resulting space of sequences of Gaussian integers $Ω$ is not closed. By means of an algorithm, we show that $Ω$ contains a natural subset whose closure $\overline{\mathsf{R}}$ encodes continued fraction expansions of complex numbers which are not Gaussian rationals. We prove that $(\overline{\mathsf{R}}, σ)$ is a subshift with a feeble specification property. As an application, we determine the rank in the Borel hierarchy of the set of Hurwitz normal numbers with respect to the complex Gauss measure. We also construct a family of complex transcendental numbers with bounded partial quotients. △ Less

Submitted 14 August, 2024; v1 submitted 30 October, 2023; originally announced October 2023.

Comments: Several typos were fixed. Aiming towards clarity, additional details were added in the proofs and some paragraphs were rephrased. Figures 1, 2, and 3 were added. The title was changed

MSC Class: 11J70 (Primary) 03E15; 11J81; 11K16 (Secondary)

Complex numbers with a prescribed order of approximation and Zaremba's conjecture

Authors: Gerardo González Robert, Mumtaz Hussain, Nikita Shulga

Abstract: Given $b=-A\pm i$ with $A$ being a positive integer, we can represent any complex number as a power series in $b$ with coefficients in $\mathcal A=\{0,1,\ldots, A^2\}$. We prove that, for any real $τ\geq 2$ and any non-empty proper subset $J(b)$ of $\mathcal A$, there are uncountably many complex numbers (including transcendental numbers) that can be expressed as a power series in $b$ with coeffic… ▽ More Given $b=-A\pm i$ with $A$ being a positive integer, we can represent any complex number as a power series in $b$ with coefficients in $\mathcal A=\{0,1,\ldots, A^2\}$. We prove that, for any real $τ\geq 2$ and any non-empty proper subset $J(b)$ of $\mathcal A$, there are uncountably many complex numbers (including transcendental numbers) that can be expressed as a power series in $b$ with coefficients in $J(b)$ and with the irrationality exponent (in terms of Gaussian integers) equal to $τ$. One of the key ingredients in our construction is the `Folding Lemma' applied to Hurwitz continued fractions. This motivates a Hurwitz continued fraction analogue of the well-known Zaremba's conjecture. We prove several results in support of this conjecture. △ Less

Submitted 18 October, 2023; originally announced October 2023.

Comments: 15 pages

Liminf approximation sets for abstract rationals

Authors: Mumtaz Hussain, Ben Ward

Abstract: The Jarník-Besicovitch theorem is a fundamental result in metric number theory which concerns the Hausdorff dimension for certain limsup sets. We discuss the analogous problem for liminf sets. Consider an infinite sequence of positive integers, $S=\{q_{n}\}_{n\in\mathbb{N}}$, exhibiting exponential growth. For a given $n$-tuple of functions denoted as $Ψ:=~(ψ_1, \ldots,ψ_n)$, each of the form… ▽ More The Jarník-Besicovitch theorem is a fundamental result in metric number theory which concerns the Hausdorff dimension for certain limsup sets. We discuss the analogous problem for liminf sets. Consider an infinite sequence of positive integers, $S=\{q_{n}\}_{n\in\mathbb{N}}$, exhibiting exponential growth. For a given $n$-tuple of functions denoted as $Ψ:=~(ψ_1, \ldots,ψ_n)$, each of the form $ψ_{i}(q)=q^{-τ_{i}}$ for $(τ_{1},\dots,τ_{n})\in\mathbb{R}^{n}_{+}$, we calculate the Hausdorff dimension of the set of points that can be $Ψ$-approximated for all sufficiently large $q\in S$. We prove this result in the generalised setting of approximation by abstract rationals as recently introduced by Koivusalo, Fraser, and Ramirez (LMS, 2023). Some of the examples of this setting include the real weighted inhomogeneous approximation, $p$-adic weighted approximation, Diophantine approximation over complex numbers, and approximation on missing digit sets. △ Less

Submitted 23 September, 2023; originally announced September 2023.

Comments: 24 pages

MSC Class: 11J13; 11J83

Metrical properties of exponentially growing partial quotients

Authors: Mumtaz Hussain, Nikita Shulga

Abstract: A fundamental challenge within the metric theory of continued fractions involves quantifying sets of real numbers, when represented using continued fractions, exhibit partial quotients that grow at specific rates. For any positive function $Φ$, Wang-Wu theorem (2008) comprehensively describes the Hausdorff dimension of the set \begin{equation*} \EE_1(Φ):=\left\{x\in [0, 1): a_n(x)\geq Φ(n) \ {\rm… ▽ More A fundamental challenge within the metric theory of continued fractions involves quantifying sets of real numbers, when represented using continued fractions, exhibit partial quotients that grow at specific rates. For any positive function $Φ$, Wang-Wu theorem (2008) comprehensively describes the Hausdorff dimension of the set \begin{equation*} \EE_1(Φ):=\left\{x\in [0, 1): a_n(x)\geq Φ(n) \ {\rm for \ infinitely \ many} \ n\in \N\right\}. \end{equation*} Various generalisations of this set exist, such as substituting one partial quotient with the product of consecutive partial quotients in the aforementioned set which has connections with the improvements to Dirichlet's theorem, and many other sets of similar nature. Establishing the upper bound of the Hausdorff dimension of such sets is significantly easier than proving the lower bound. In this paper, we present a unified approach to get an optimal lower bound for many known setups, including results by Wang-Wu [Adv. Math., 2008], Huang-Wu-Xu [Israel J. Math. 2020], Bakhtawar-Bos-Hussain [Nonlinearity 2020], and several others, and also provide a new theorem derived as an application of our main result. We do this by finding an exact Hausdorff dimension of the set $$S_m(A_0,\ldots,A_{m-1}) \defeq \left\{ x\in[0,1): \, c_i A_i^n \le a_{n+i}(x) < 2c_i A_i^n,0 \le i \le m-1 \ \text{for infinitely many } n\in\N \right\},$$ where each partial quotient grows exponentially and the base is given by a parameter $A_i>1$. For proper choices of $A_i$'s, this set serves as a subset for sets under consideration, providing an optimal lower bound of Hausdorff dimension in all of them. The crux of the proof lies in introducing of multiple probability measures consistently distributed over the Cantor-type subset of $S_m(A_0,\ldots,A_{m-1})$. △ Less

Submitted 19 September, 2023; originally announced September 2023.

Comments: 22

Event-by-Event Direction Reconstruction of Solar Neutrinos in a High Light-Yield Liquid Scintillator

Authors: A. Allega, M. R. Anderson, S. Andringa, J. Antunes, M. Askins, D. J. Auty, A. Bacon, J. Baker, N. Barros, F. Barão, R. Bayes, E. W. Beier, T. S. Bezerra, A. Bialek, S. D. Biller, E. Blucher, E. Caden, E. J. Callaghan, M. Chen, S. Cheng, B. Cleveland, D. Cookman, J. Corning, M. A. Cox, R. Dehghani , et al. (94 additional authors not shown)

Abstract: The direction of individual $^8$B solar neutrinos has been reconstructed using the SNO+ liquid scintillator detector. Prompt, directional Cherenkov light was separated from the slower, isotropic scintillation light using time information, and a maximum likelihood method was used to reconstruct the direction of individual scattered electrons. A clear directional signal was observed, correlated with… ▽ More The direction of individual $^8$B solar neutrinos has been reconstructed using the SNO+ liquid scintillator detector. Prompt, directional Cherenkov light was separated from the slower, isotropic scintillation light using time information, and a maximum likelihood method was used to reconstruct the direction of individual scattered electrons. A clear directional signal was observed, correlated with the solar angle. The observation was aided by a period of low primary fluor concentration that resulted in a slower scintillator decay time. This is the first time that event-by-event direction reconstruction in high light-yield liquid scintillator has been demonstrated in a large-scale detector. △ Less

Submitted 10 April, 2024; v1 submitted 12 September, 2023; originally announced September 2023.

Comments: 6 pages, 6 figures. Accepted manuscript by PRD

Advancements in Upper Body Exoskeleton: Implementing Active Gravity Compensation with a Feedforward Controller

Authors: Muhammad Ayaz Hussain, Ioannis Iossifidis

Abstract: In this study, we present a feedforward control system designed for active gravity compensation on an upper body exoskeleton. The system utilizes only positional data from internal motor sensors to calculate torque, employing analytical control equations based on Newton-Euler Inverse Dynamics. Compared to feedback control systems, the feedforward approach offers several advantages. It eliminates t… ▽ More In this study, we present a feedforward control system designed for active gravity compensation on an upper body exoskeleton. The system utilizes only positional data from internal motor sensors to calculate torque, employing analytical control equations based on Newton-Euler Inverse Dynamics. Compared to feedback control systems, the feedforward approach offers several advantages. It eliminates the need for external torque sensors, resulting in reduced hardware complexity and weight. Moreover, the feedforward control exhibits a more proactive response, leading to enhanced performance. The exoskeleton used in the experiments is lightweight and comprises 4 Degrees of Freedom, closely mimicking human upper body kinematics and three-dimensional range of motion. We conducted tests on both hardware and simulations of the exoskeleton, demonstrating stable performance. The system maintained its position over an extended period, exhibiting minimal friction and avoiding undesired slewing. △ Less

Submitted 9 September, 2023; originally announced September 2023.

ACM Class: B.m; B.1; I.6

Metrical properties of finite product of partial quotients in arithmetic progressions

Authors: Mumtaz Hussain, Nikita Shulga

Abstract: We investigate the dynamics of continued fractions and explore the ergodic behaviour of the products of mixed partial quotients in continued fractions of real numbers. For any function $Φ:\mathbb N\to [2,+\infty)$ and any integer $d\geq 1$, we determine the Lebesgue measure and Hausdorff dimension of the set of real numbers for which the product of partial quotients in arithmetic progressions sati… ▽ More We investigate the dynamics of continued fractions and explore the ergodic behaviour of the products of mixed partial quotients in continued fractions of real numbers. For any function $Φ:\mathbb N\to [2,+\infty)$ and any integer $d\geq 1$, we determine the Lebesgue measure and Hausdorff dimension of the set of real numbers for which the product of partial quotients in arithmetic progressions satisfy $a_n(x)a_{2n}(x)\cdots a_{dn}(x)\geq Φ(n)$ for infinitely many positive integers $n$. Our findings shed light on the size of the set of exceptions to Bourgain's (1988) and Host and Kra's (2005) theorems concerning the convergence of multiple ergodic averages for Gauss dynamical systems. By exploring the Hausdorff dimension of these sets, we gain valuable insights into the behaviour of such exceptions. Overall, our research contributes to a deeper understanding of the dynamics of continued fractions and their connection to the convergence properties of ergodic averages in Gauss dynamical systems. △ Less

Submitted 26 February, 2024; v1 submitted 2 September, 2023; originally announced September 2023.

Comments: 29 pages, To appear: Annali della Scuola Normale Superiore di Pisa, Classe di Scienze

Metrical properties of the product of partial quotients with geometric mean in continued fractions

Authors: Mumtaz Hussain, Bixuan Li, Nikita Shulga

Abstract: The theory of uniform Diophantine approximation concerns the study of Dirichlet improvable numbers and the metrical aspect of this theory leads to the study of the product of consecutive partial quotients in continued fractions. It is known that the dimension of the set of Dirichlet non-improvable numbers depends upon the number of partial quotients in the product string. However, one can see that… ▽ More The theory of uniform Diophantine approximation concerns the study of Dirichlet improvable numbers and the metrical aspect of this theory leads to the study of the product of consecutive partial quotients in continued fractions. It is known that the dimension of the set of Dirichlet non-improvable numbers depends upon the number of partial quotients in the product string. However, one can see that the Hausdorff dimension is the same for any number of consecutive partial quotients with a constant gap. This paper is aimed at a detailed analysis on how the Hausdorff dimension changes when there is a linear gap in indices and the number of partial quotients in the product grows. More precisely, let $d\in \N_{\ge 1}, t\in\Z_{\geq 0}$ and $f(n)=dn+t$, we present the detailed Hausdorff dimension analysis of the set\begin{equation*} E_{f}(ψ):=\left\{x\in [0, 1): \sqrt[n]{a_{f(n)}(x)a_{2f(n)}(x)\cdots a_{nf(n)}(x)}\geq ψ(n) \ {\rm for \ infinitely \ many} \ n\in \N\right\}. \end{equation*} It is seen that the dimension is larger if $d$ is larger and $t$ has no contribution to the dimension. △ Less

Submitted 1 September, 2023; originally announced September 2023.

Comments: 28 pages, comments welcome

Weighted approximation for limsup sets

Authors: Gerardo González Robert, Mumtaz Hussain, Nikita Shulga, Benjamin Ward

Abstract: Theorems of Khintchine, Groshev, Jarník, and Besicovitch in Diophantine approximation are fundamental results on the metric properties of $Ψ$-well approximable sets. These foundational results have since been generalised to the framework of weighted Diophantine approximation for systems of real linear forms (matrices). In this article, we prove analogues of these weighted results in a range of set… ▽ More Theorems of Khintchine, Groshev, Jarník, and Besicovitch in Diophantine approximation are fundamental results on the metric properties of $Ψ$-well approximable sets. These foundational results have since been generalised to the framework of weighted Diophantine approximation for systems of real linear forms (matrices). In this article, we prove analogues of these weighted results in a range of settings including the $p$-adics (Theorems 7 and 8), complex numbers (Theorems 9 and 10), quaternions (Theorems 11 and 12), and formal power series (Theorems 13 and 14). We also consider approximation by uniformly distributed sequences. Under some assumptions on the approximation functions, we prove a 0-1 dichotomy law (Theorem 15). We obtain divergence results for any approximation function under some natural restrictions on the discrepancy (Theorems 16, 17, and 19). The key tools in proving the main parts of these results are the weighted ubiquitous systems and weighted mass transference principle introduced recently by Kleinbock and Wang [Adv. Math. 428 (2023), Paper No. 109154], and Wang and Wu [Math. Ann. 381 (2021), no. 1-2, 243--317] respectively. △ Less

Submitted 7 December, 2023; v1 submitted 31 August, 2023; originally announced August 2023.

Comments: 74 pages, Some minor typos have been fixed

Dual $p$-adic Diophantine approximation on manifolds

Authors: Mumtaz Hussain, Johannes Schleischitz, Benjamin Ward

Abstract: The Generalised Baker-Schmidt Problem (1970) concerns the Hausdorff measure of the set of $ψ$-approximable points on a nondegenerate manifold. Beresnevich-Dickinson-Velani (in 2006, for the homogeneous setting) and Badziahin-Beresnevich-Velani (in 2013, for the inhomogeneous setting) proved the divergence part of this problem for dual approximation on arbitrary nondegenerate manifolds. The diverge… ▽ More The Generalised Baker-Schmidt Problem (1970) concerns the Hausdorff measure of the set of $ψ$-approximable points on a nondegenerate manifold. Beresnevich-Dickinson-Velani (in 2006, for the homogeneous setting) and Badziahin-Beresnevich-Velani (in 2013, for the inhomogeneous setting) proved the divergence part of this problem for dual approximation on arbitrary nondegenerate manifolds. The divergence part has also been resolved for the $p$-adic setting by Datta-Ghosh in 2022 for the inhomogeneous setting. The corresponding convergence counterpart represents a challenging open problem. In this paper, we prove the homogeneous $p$-adic convergence result for hypersurfaces of dimension at least three with some mild regularity condition, as well as for some other classes of manifolds satisfying certain conditions. We provide similar, slightly weaker results for the inhomogeneous setting. We do not restrict to monotonic approximation functions. △ Less

Submitted 28 August, 2023; originally announced August 2023.

Comments: 19 pages, comments welcome

Switched auxiliary loss for robust training of transformer models for histopathological image segmentation

Authors: Mustaffa Hussain, Saharsh Barve

Abstract: Functional tissue Units (FTUs) are cell population neighborhoods local to a particular organ performing its main function.The FTUs provide crucial information to the pathologist in understanding the disease affecting a particular organ by providing information at the cellular level.In our research, we have developed a model to segment multi-organ FTUs across 5 organs namely: the kidney, large inte… ▽ More Functional tissue Units (FTUs) are cell population neighborhoods local to a particular organ performing its main function.The FTUs provide crucial information to the pathologist in understanding the disease affecting a particular organ by providing information at the cellular level.In our research, we have developed a model to segment multi-organ FTUs across 5 organs namely: the kidney, large intestine, lung, prostate and spleen by utilizing the 'HuBMAP + HPA - Hacking the Human Body' competition dataset.We propose adding switched auxiliary loss for training models like the transformers to overcome the diminishing gradient problem which poses a challenge towards optimal training of deep models.Overall, our model achieved a dice score of 0.793 on the public dataset and 0.778 on the private dataset.The results supports the robustness of the proposed training methodology.The findings also bolster the use of transformers models for dense prediction tasks in the field of medical image analysis.The study assists in understanding the relationships between cell and tissue organization thereby providing a useful medium to look at the impact of cellular functions on human health. △ Less

Submitted 14 August, 2024; v1 submitted 21 August, 2023; originally announced August 2023.

Weighted twisted inhomogeneous Diophantine approximation

Authors: Mumtaz Hussain, Benjamin Ward

Abstract: We prove a multidimensional weighted analogue of the well-known theorem of Kurzweil (1955) in the metric theory of inhomogeneous Diophantine approximation. Let $A$ be matrix of real numbers, $Ψ$ an $n$-tuple of monotonic decreasing functions, and let $W_{A}(Ψ)$ be the set of points that infinitely often lie in a $Ψ(q)$-neighbourhood of the sequence $\{Aq\}_{q\in\mathbb{N}}$. We prove that the set… ▽ More We prove a multidimensional weighted analogue of the well-known theorem of Kurzweil (1955) in the metric theory of inhomogeneous Diophantine approximation. Let $A$ be matrix of real numbers, $Ψ$ an $n$-tuple of monotonic decreasing functions, and let $W_{A}(Ψ)$ be the set of points that infinitely often lie in a $Ψ(q)$-neighbourhood of the sequence $\{Aq\}_{q\in\mathbb{N}}$. We prove that the set $ W_{A}(Ψ)$ has zero-full Lebesgue measure under convergent-divergent sum conditions with some mild assumptions on $A$ and the approximating functions $Ψ$. We also prove the Hausdorff dimension results for this set. Along with some geometric arguments, the main ingredients are weighted ubiquity and weighted mass transference principle introduced recently by Kleinbock & Wang (Adv. Math. 2023), and Wang & Wu (Math. Ann. 2021) respectively. △ Less

Submitted 24 July, 2023; originally announced July 2023.

Comments: 17 pages

MSC Class: 11J13; 11J83; 11J71

Metrical properties of Hurwitz Continued Fractions

Authors: Yann Bugeaud, Gerardo Gonzalez Robert, Mumtaz Hussain

Abstract: We develop the geometry of Hurwitz continued fractions -- a major tool in understanding the approximation properties of complex numbers by ratios of Gaussian integers. We obtain a detailed description of the shift space associated with Hurwitz continued fractions and, as a consequence, we contribute significantly in establishing the metrical theory of Hurwitz continued fractions, analogous to the… ▽ More We develop the geometry of Hurwitz continued fractions -- a major tool in understanding the approximation properties of complex numbers by ratios of Gaussian integers. We obtain a detailed description of the shift space associated with Hurwitz continued fractions and, as a consequence, we contribute significantly in establishing the metrical theory of Hurwitz continued fractions, analogous to the well-established theory of regular continued fractions for real numbers. Let $Φ:\mathbb N\to \mathbb R_{>0}$ be any function and $a_n(z)$ denote the $n$th partial quotient in the Hurwitz continued fraction of a complex number $z$. The main result of the paper is the Hausdorff dimension analysis of the set \[E(Φ) \colon= \left\{ z\in \mathbb C: |a_n(z)|\geq Φ(n) \text{ for infinitely many }n\in\mathbb{N} \right\}. \] This study is the complex analogue of a well-known result of Wang and Wu [Adv. Math. 218 (2008), no. 5, 1319--1339]. △ Less

Submitted 14 June, 2023; originally announced June 2023.

Comments: 80 pages, 11 figures, comments for improvement are appreciated

Metrical properties of weighted products of consecutive Lüroth digits

Authors: Adam Brown-Sarre, Gerardo González Robert, Mumtaz Hussain

Abstract: The Lüroth expansion of a real number $x\in (0,1]$ is the series \[ x= \frac{1}{d_1} + \frac{1}{d_1(d_1-1)d_2} + \frac{1}{d_1(d_1-1)d_2(d_2-1)d_3} + \cdots, \] with $d_j\in\mathbb{N}_{\geq 2}$ for all $j\in\mathbb{N}$. Given $m\in \mathbb{N}$, $\mathbf{t}=(t_0,\ldots, t_{m-1})\in\mathbb{R}_{>0}^{m-1}$ and any function $Ψ:\mathbb{N}\to (1,\infty)$, define \[ \mathcal{E}_{\mathbf{t}}(Ψ)\colon= \left… ▽ More The Lüroth expansion of a real number $x\in (0,1]$ is the series \[ x= \frac{1}{d_1} + \frac{1}{d_1(d_1-1)d_2} + \frac{1}{d_1(d_1-1)d_2(d_2-1)d_3} + \cdots, \] with $d_j\in\mathbb{N}_{\geq 2}$ for all $j\in\mathbb{N}$. Given $m\in \mathbb{N}$, $\mathbf{t}=(t_0,\ldots, t_{m-1})\in\mathbb{R}_{>0}^{m-1}$ and any function $Ψ:\mathbb{N}\to (1,\infty)$, define \[ \mathcal{E}_{\mathbf{t}}(Ψ)\colon= \left\{ x\in (0,1]: d_n^{t_0} \cdots d_{n+m}^{t_{m-1}}\geq Ψ(n) \text{ for infinitely many} \ n \in\mathbb{N} \right\}. \] We establish a Lebesgue measure dichotomy statement (a zero-one law) for $\mathcal{E}_{\mathbf{t}}(Ψ)$ under a natural non-removable condition $\liminf_{n\to\infty} Ψ(n)>~1$. Let $B$ be given by \[ \log B \colon= \liminf_{n\to\infty} \frac{\log(Ψ(n))}{n}. \] For any $m\in\mathbb{N}$, we compute the Hausdorff dimension of $\mathcal{E}_{\mathbf{t}}(Ψ)$ when either $B=1$ or $B=\infty$. We also compute the Hausdorff dimension of $\mathcal{E}_{\mathbf{t}}(Ψ)$ when $1<B< \infty$ for $m=2$. △ Less

Submitted 12 June, 2023; originally announced June 2023.

Comments: 24 pages. Working paper. We will keep updating by adding new related results

MSC Class: 11J70; 11J83

The Information Pathways Hypothesis: Transformers are Dynamic Self-Ensembles

Authors: Md Shamim Hussain, Mohammed J. Zaki, Dharmashankar Subramanian

Abstract: Transformers use the dense self-attention mechanism which gives a lot of flexibility for long-range connectivity. Over multiple layers of a deep transformer, the number of possible connectivity patterns increases exponentially. However, very few of these contribute to the performance of the network, and even fewer are essential. We hypothesize that there are sparsely connected sub-networks within… ▽ More Transformers use the dense self-attention mechanism which gives a lot of flexibility for long-range connectivity. Over multiple layers of a deep transformer, the number of possible connectivity patterns increases exponentially. However, very few of these contribute to the performance of the network, and even fewer are essential. We hypothesize that there are sparsely connected sub-networks within a transformer, called information pathways which can be trained independently. However, the dynamic (i.e., input-dependent) nature of these pathways makes it difficult to prune dense self-attention during training. But the overall distribution of these pathways is often predictable. We take advantage of this fact to propose Stochastically Subsampled self-Attention (SSA) - a general-purpose training strategy for transformers that can reduce both the memory and computational cost of self-attention by 4 to 8 times during training while also serving as a regularization method - improving generalization over dense training. We show that an ensemble of sub-models can be formed from the subsampled pathways within a network, which can achieve better performance than its densely attended counterpart. We perform experiments on a variety of NLP, computer vision and graph learning tasks in both generative and discriminative settings to provide empirical evidence for our claims and show the effectiveness of the proposed method. △ Less

Submitted 2 June, 2023; originally announced June 2023.

Comments: KDD23 preprint, 12 pages, 7 figures, 10 tables

Securing Safety in Collaborative Cyber-Physical Systems through Fault Criticality Analysis

Authors: Manzoor Hussain, Nazakat Ali, Jang-Eui Hong

Abstract: Collaborative Cyber-Physical Systems (CCPS) are systems that contain tightly coupled physical and cyber components, massively interconnected subsystems, and collaborate to achieve a common goal. The safety of a single Cyber-Physical System (CPS) can be achieved by following the safety standards such as ISO 26262 and IEC 61508 or by applying hazard analysis techniques. However, due to the complex,… ▽ More Collaborative Cyber-Physical Systems (CCPS) are systems that contain tightly coupled physical and cyber components, massively interconnected subsystems, and collaborate to achieve a common goal. The safety of a single Cyber-Physical System (CPS) can be achieved by following the safety standards such as ISO 26262 and IEC 61508 or by applying hazard analysis techniques. However, due to the complex, highly interconnected, heterogeneous, and collaborative nature of CCPS, a fault in one CPS's components can trigger many other faults in other collaborating CPSs. Therefore, a safety assurance technique based on fault criticality analysis would require to ensure safety in CCPS. This paper presents a Fault Criticality Matrix (FCM) implemented in our tool called CPSTracer, which contains several data such as identified fault, fault criticality, safety guard, etc. The proposed FCM is based on composite hazard analysis and content-based relationships among the hazard analysis artifacts, and ensures that the safety guard controls the identified faults at design time; thus, we can effectively manage and control the fault at the design phase to ensure the safe development of CPSs. To validate our approach, we introduce a case study on the Platooning system (a collaborative CPS). We perform the criticality analysis of the Platooning system using FCM in our developed tool. After the detailed fault criticality analysis, we investigate the results to check the appropriateness and effectiveness with two research questions. Also, by performing simulation for the Platooning, we showed that the rate of collision of the Platooning system without using FCM was quite high as compared to the rate of collisions of the system after analyzing the fault criticality using FCM. △ Less

Submitted 10 March, 2023; originally announced March 2023.

Comments: This paper is an extended version of an article submitted to KCSE-2021

Journal ref: KIPS Transactions on Software and Data Engineering, vol. 10, no. 8, pp. 287-300, 2021

An exponentially shrinking problem

Authors: Mumtaz Hussain, Junjie Shi

Abstract: The Jarník-Besicovitch theorem is a fundamental result in metric number theory which gives the Hausdorff dimension for limsup sets. We investigate a related problem of estimating the Hausdorff dimension of a liminf set. Let $h>0, τ\geq 1$, and for any $j\geq 1$ define the integer sequence $q_{j+1}=q_j^h$. We prove the Hausdorff dimension of the set… ▽ More The Jarník-Besicovitch theorem is a fundamental result in metric number theory which gives the Hausdorff dimension for limsup sets. We investigate a related problem of estimating the Hausdorff dimension of a liminf set. Let $h>0, τ\geq 1$, and for any $j\geq 1$ define the integer sequence $q_{j+1}=q_j^h$. We prove the Hausdorff dimension of the set $$Λ^\bftheta_d(τ)=\left\{\xx\in[0, 1)^d: \|q_jx_i-θ_i\|<q_j^{-τ} \ \text{for all } j\geq 1, i=1,2,\cdots,d\right\},$$ where $\left\|\star\right\|$ denotes the distance to the nearest integer and $\bftheta\in [0, 1)^d$ is fixed. We also give some heuristics for the Hausdorff dimension of the corresponding multiplicative set $$\MM_d^\bftheta(τ)=\left\{\xx\in[0, 1)^d:\prod_{i=1}^d \|q_jx_i-θ_i\|<q_j^{-τ} \ \text{for all } j\geq 1\right\}.$$ △ Less

Submitted 18 May, 2023; v1 submitted 20 February, 2023; originally announced February 2023.

Comments: 8 pages, any comments for improvement will be appreciated

The Baker-Schmidt problem for dual approximation and some classes of functions

Authors: Mumtaz Hussain, Johannes Schleischitz

Abstract: The Generalised Baker-Schmidt Problem (1970) concerns the Hausdorff $f$-measure of the set of $Ψ$-approximable points on a nondegenerate manifold. We refine and extend our previous work [Int. Math. Res. Not. IMRN 2021, no. 12, 8845--8867] in which we settled the problem (for dual approximation) for hypersurfaces. We verify the GBSP for certain classes of nondegenerate submanifolds of codimension g… ▽ More The Generalised Baker-Schmidt Problem (1970) concerns the Hausdorff $f$-measure of the set of $Ψ$-approximable points on a nondegenerate manifold. We refine and extend our previous work [Int. Math. Res. Not. IMRN 2021, no. 12, 8845--8867] in which we settled the problem (for dual approximation) for hypersurfaces. We verify the GBSP for certain classes of nondegenerate submanifolds of codimension greater than $1$. Concretely, for codimension two or three, we provide examples of manifolds where the dependent variables can be chosen as quadratic forms. Our method requires the manifold to have even dimension at least the minimum of four and half the dimension of the ambient space. We conjecture that these restrictions on the dimension of the manifold are sufficient to provide similar examples in general. △ Less

Submitted 20 February, 2023; originally announced February 2023.

Comments: 12 pages, any comments for improvement will be appreciated

Neuro-Symbolic World Models for Adapting to Open World Novelty

Authors: Jonathan Balloch, Zhiyu Lin, Robert Wright, Xiangyu Peng, Mustafa Hussain, Aarun Srinivas, Julia Kim, Mark O. Riedl

Abstract: Open-world novelty--a sudden change in the mechanics or properties of an environment--is a common occurrence in the real world. Novelty adaptation is an agent's ability to improve its policy performance post-novelty. Most reinforcement learning (RL) methods assume that the world is a closed, fixed process. Consequentially, RL policies adapt inefficiently to novelties. To address this, we introduce… ▽ More Open-world novelty--a sudden change in the mechanics or properties of an environment--is a common occurrence in the real world. Novelty adaptation is an agent's ability to improve its policy performance post-novelty. Most reinforcement learning (RL) methods assume that the world is a closed, fixed process. Consequentially, RL policies adapt inefficiently to novelties. To address this, we introduce WorldCloner, an end-to-end trainable neuro-symbolic world model for rapid novelty adaptation. WorldCloner learns an efficient symbolic representation of the pre-novelty environment transitions, and uses this transition model to detect novelty and efficiently adapt to novelty in a single-shot fashion. Additionally, WorldCloner augments the policy learning process using imagination-based adaptation, where the world model simulates transitions of the post-novelty environment to help the policy adapt. By blending ''imagined'' transitions with interactions in the post-novelty environment, performance can be recovered with fewer total environment interactions. Using environments designed for studying novelty in sequential decision-making problems, we show that the symbolic world model helps its neural policy adapt more efficiently than model-based and model-based neural-only reinforcement learning methods. △ Less

Submitted 16 January, 2023; originally announced January 2023.

Comments: 9 pages, 8 figures, Extended Abstract accepted for presentation at AAMAS 2023

Biomedical image analysis competitions: The state of current participation practice

Authors: Matthias Eisenmann, Annika Reinke, Vivienn Weru, Minu Dietlinde Tizabi, Fabian Isensee, Tim J. Adler, Patrick Godau, Veronika Cheplygina, Michal Kozubek, Sharib Ali, Anubha Gupta, Jan Kybic, Alison Noble, Carlos Ortiz de Solórzano, Samiksha Pachade, Caroline Petitjean, Daniel Sage, Donglai Wei, Elizabeth Wilden, Deepak Alapatt, Vincent Andrearczyk, Ujjwal Baid, Spyridon Bakas, Niranjan Balu, Sophia Bano , et al. (331 additional authors not shown)

Abstract: The number of international benchmarking competitions is steadily increasing in various fields of machine learning (ML) research and practice. So far, however, little is known about the common practice as well as bottlenecks faced by the community in tackling the research questions posed. To shed light on the status quo of algorithm development in the specific field of biomedical imaging analysis,… ▽ More The number of international benchmarking competitions is steadily increasing in various fields of machine learning (ML) research and practice. So far, however, little is known about the common practice as well as bottlenecks faced by the community in tackling the research questions posed. To shed light on the status quo of algorithm development in the specific field of biomedical imaging analysis, we designed an international survey that was issued to all participants of challenges conducted in conjunction with the IEEE ISBI 2021 and MICCAI 2021 conferences (80 competitions in total). The survey covered participants' expertise and working environments, their chosen strategies, as well as algorithm characteristics. A median of 72% challenge participants took part in the survey. According to our results, knowledge exchange was the primary incentive (70%) for participation, while the reception of prize money played only a minor role (16%). While a median of 80 working hours was spent on method development, a large portion of participants stated that they did not have enough time for method development (32%). 25% perceived the infrastructure to be a bottleneck. Overall, 94% of all solutions were deep learning-based. Of these, 84% were based on standard architectures. 43% of the respondents reported that the data samples (e.g., images) were too large to be processed at once. This was most commonly addressed by patch-based training (69%), downsampling (37%), and solving 3D analysis tasks as a series of 2D tasks. K-fold cross-validation on the training set was performed by only 37% of the participants and only 50% of the participants performed ensembling based on multiple identical models (61%) or heterogeneous models (39%). 48% of the respondents applied postprocessing steps. △ Less

Submitted 12 September, 2023; v1 submitted 16 December, 2022; originally announced December 2022.

Evidence of Antineutrinos from Distant Reactors using Pure Water at SNO+

Authors: SNO+ Collaboration, :, A. Allega, M. R. Anderson, S. Andringa, J. Antunes, M. Askins, D. J. Auty, A. Bacon, N. Barros, F. Barao, R. Bayes, E. W. Beier, T. S. Bezerra, A. Bialek, S. D. Biller, E. Blucher, E. Caden, E. J. Callaghan, S. Cheng, M. Chen, B. Cleveland, D. Cookman, J. Corning, M. A. Cox , et al. (92 additional authors not shown)

Abstract: The SNO+ Collaboration reports the first evidence of reactor antineutrinos in a Cherenkov detector. The nearest nuclear reactors are located 240~km away in Ontario, Canada. This analysis uses events with energies lower than in any previous analysis with a large water Cherenkov detector. Two analytical methods are used to distinguish reactor antineutrinos from background events in 190 days of data… ▽ More The SNO+ Collaboration reports the first evidence of reactor antineutrinos in a Cherenkov detector. The nearest nuclear reactors are located 240~km away in Ontario, Canada. This analysis uses events with energies lower than in any previous analysis with a large water Cherenkov detector. Two analytical methods are used to distinguish reactor antineutrinos from background events in 190 days of data and yield consistent evidence for antineutrinos with a combined significance of 3.5$σ$. △ Less

Submitted 28 March, 2023; v1 submitted 25 October, 2022; originally announced October 2022.

Comments: v2: add missing author, add link to supplemental material v3: minor updates to match PRL publication

Journal ref: Phys.Rev.Lett. 130 (2023) 9, 091801

A Hausdorff dimension analysis of sets with the product of consecutive vs single partial quotients in continued fractions

Authors: Mumtaz Hussain, Bixuan Li, Nikita Shulga

Abstract: We present a detailed Hausdorff dimension analysis of the set of real numbers where the product of consecutive partial quotients in their continued fraction expansion grow at a certain rate but the growth of the single partial quotient is at a different rate. We consider the set \begin{equation*} \FF(Φ_1,Φ_2) \defeq \EE(Φ_1) \backslash \EE(Φ_2)=\left\{x\in[0,1): \begin{split} a_n(x)a_{n+1}(x) &… ▽ More We present a detailed Hausdorff dimension analysis of the set of real numbers where the product of consecutive partial quotients in their continued fraction expansion grow at a certain rate but the growth of the single partial quotient is at a different rate. We consider the set \begin{equation*} \FF(Φ_1,Φ_2) \defeq \EE(Φ_1) \backslash \EE(Φ_2)=\left\{x\in[0,1): \begin{split} a_n(x)a_{n+1}(x) & \geqΦ_1(n) \text{\,\, for infinitely many } n\in\N a_{n+1}(x) & <Φ_2(n) \text{\,\, for all sufficiently large } n\in\N \end{split} \right\}, \end{equation*} where $Φ_i:\N\to(0,\infty)$ are any functions such that $\lim\limits_{n\to\infty} Φ_i(n)=\infty$. We obtain some surprising results including the situations when $\FF(Φ_1,Φ_2)$ is empty for various non-trivial choices of $Φ_i$'s. Our results contribute to the metrical theory of continued fractions by generalising several known results including the main result of [Nonlinearity, 33(6):2615--2639, 2020]. To obtain some of the results, we consider an alternate generalised set, which may be of independent interest, and calculate its Hausdorff dimension. One of the main ingredients is in the usage of the classical mass distribution principle; specifically a careful distribution of the mass on the Cantor subset by introducing a new idea of two different types of probability measures. △ Less

Submitted 18 August, 2022; originally announced August 2022.

Comments: 26 pages, any comments for improvement are appreciated

MSC Class: 11K50; 11A55; 11J83; 28A78; 28A80

Self-probed ptychography from semiconductor high-harmonic generation

Authors: Sven Fröhlich, Xu Liu, Aimrane Hamdou, Alric Meunier, Mukhtar Hussain, Mathieu Carole, Shatha Kaassamani, Marie Froidevaux, Laure Lavoute, Dmitry Gaponov, Nicolas Ducros, Sebastien Fevrier, Philippe Zeitoun, Milutin Kovacev, Marta Fajardo, Willem Boutu, David Gauthier, Hamed Merdji

Abstract: We demonstrate a method to image an object using a self-probing approach based on semiconductor high-harmonic generation. On one hand, ptychography enables high-resolution imaging from the coherent light diffracted by an object. On the other hand, high-harmonic generation from crystals is emerging as a new source of extreme-ultraviolet ultrafast coherent light. We combine these two techniques by p… ▽ More We demonstrate a method to image an object using a self-probing approach based on semiconductor high-harmonic generation. On one hand, ptychography enables high-resolution imaging from the coherent light diffracted by an object. On the other hand, high-harmonic generation from crystals is emerging as a new source of extreme-ultraviolet ultrafast coherent light. We combine these two techniques by performing ptychography measurements with nano-patterned crystals serving as the object as well as the generation medium of the harmonics. We demonstrate that this strong field in situ approach can provide structural information about the object. With the future developments of crystal high harmonics as a compact short-wavelength light source, our demonstration can be an innovative approach for nanoscale imaging of photonic and electronic devices in research and industry. △ Less

Submitted 16 June, 2022; originally announced June 2022.