Showing 1–33 of 33 results for author: Kwan, C

On the Within-perfect Numbers

Authors: Chung-Hang Kwan, Steven J. Miller

Abstract: Motivated by the works of Erdös, Pomerance, Wolke and Harman on the sum-of-divisor function $σ(n)$, we study the distribution of a special class of natural numbers closely related to (multiply) perfect numbers which we term `$(\ell;k)$-within-perfect numbers', where $\ell >1$ is a real number and $k: [1, \infty) \rightarrow (0, \infty)$ is an increasing and unbounded function. Motivated by the works of Erdös, Pomerance, Wolke and Harman on the sum-of-divisor function $σ(n)$, we study the distribution of a special class of natural numbers closely related to (multiply) perfect numbers which we term `$(\ell;k)$-within-perfect numbers', where $\ell >1$ is a real number and $k: [1, \infty) \rightarrow (0, \infty)$ is an increasing and unbounded function. △ Less

Submitted 10 June, 2024; originally announced June 2024.

Comments: Submitted (13 pp). This article together with arXiv:1610.04253v4 (published in Acta Arithmetica 194 (2020), 341-366) supersede arXiv:1610.04253v2

MSC Class: 11A25 (primary); 11N25; 11B83 (secondary)

Spectral Moment Formulae for $GL(3)\times GL(2)$ $L$-functions III: The Twisted Case

Authors: Chung-Hang Kwan

Abstract: This is a sequel to our previous articles \cite{Kw23, Kw23a+}. In this work, we apply recent techniques that fall under the banner of `Period Reciprocity' to study moments of $GL(3)\times GL(2)$ $L$-functions in the non-archimedean aspects, with a view towards the `Twisted Moment Conjectures' formulated by CFKRS. This is a sequel to our previous articles \cite{Kw23, Kw23a+}. In this work, we apply recent techniques that fall under the banner of `Period Reciprocity' to study moments of $GL(3)\times GL(2)$ $L$-functions in the non-archimedean aspects, with a view towards the `Twisted Moment Conjectures' formulated by CFKRS. △ Less

Submitted 10 June, 2024; v1 submitted 26 November, 2023; originally announced November 2023.

Comments: Minor edits. Accepted for publication

MSC Class: 11F55 (Primary) 11F72 (Secondary)

Spectral Moment Formulae for $GL(3)\times GL(2)$ $L$-functions II: The Eisenstein Case

Authors: Chung-Hang Kwan

Abstract: This is a sequel to Kwan [Kw23]. We continue our investigations on the spectral moments of $L$-functions of $GL(3)\times GL(2)$-type from the perspective of period integrals. By manipulating an equality between two different periods for the group $GL(3)$, we establish an exact identity of Motohashi type connecting the shifted cubic moment of $GL(2)$ $L$-functions to the shifted fourth moment of… ▽ More This is a sequel to Kwan [Kw23]. We continue our investigations on the spectral moments of $L$-functions of $GL(3)\times GL(2)$-type from the perspective of period integrals. By manipulating an equality between two different periods for the group $GL(3)$, we establish an exact identity of Motohashi type connecting the shifted cubic moment of $GL(2)$ $L$-functions to the shifted fourth moment of $GL(1)$ $L$-functions. Furthermore, we are able to provide an intrinsic, automorphic explanation for the sources and symmetries of the full sets of main terms for both moments. They are shown to be in agreement with the CFKRS Moment Conjectures. This work presents a strategy for accomplishing the aforementioned tasks, distinct from the previous ones in the literature. △ Less

Submitted 13 October, 2023; originally announced October 2023.

Comments: 2nd half of arXiv:2112.08568v3. 1st half of arXiv:2112.08568v3 is now accepted (see arXiv:2112.08568v4)

MSC Class: 11F55 (Primary) 11F72 (Secondary)

Reducing Ambiguities in Line-based Density Plots by Image-space Colorization

Authors: Yumeng Xue, Patrick Paetzold, Rebecca Kehlbeck, Bin Chen, Kin Chung Kwan, Yunhai Wang, Oliver Deussen

Abstract: Line-based density plots are used to reduce visual clutter in line charts with a multitude of individual lines. However, these traditional density plots are often perceived ambiguously, which obstructs the user's identification of underlying trends in complex datasets. Thus, we propose a novel image space coloring method for line-based density plots that enhances their interpretability. Our method… ▽ More Line-based density plots are used to reduce visual clutter in line charts with a multitude of individual lines. However, these traditional density plots are often perceived ambiguously, which obstructs the user's identification of underlying trends in complex datasets. Thus, we propose a novel image space coloring method for line-based density plots that enhances their interpretability. Our method employs color not only to visually communicate data density but also to highlight similar regions in the plot, allowing users to identify and distinguish trends easily. We achieve this by performing hierarchical clustering based on the lines passing through each region and map** the identified clusters to the hue circle using circular MDS. Additionally, we propose a heuristic approach to assign each line to the most probable cluster, enabling users to analyze density and individual lines. We motivate our method by conducting a small-scale user study, demonstrating the effectiveness of our method using synthetic and real-world datasets, and providing an interactive online tool for generating colored line-based density plots. △ Less

Submitted 22 November, 2023; v1 submitted 16 July, 2023; originally announced July 2023.

Comments: Published in IEEE Transactions on Visualization and Computer Graphics (Supplementary Material: https://osf.io/jm5yz/)

Extending support for the centered moments of the low lying zeroes of cuspidal newforms

Authors: Peter Cohen, Justine Dell, Oscar E. González, Geoffrey Iyer, Simran Khunger, Chung-Hang Kwan, Steven J. Miller, Alexander Shashkov, Alicia Smith Reina, Carsten Sprunger, Nicholas Triantafillou, Nhi Truong, Roger Van Peski, Stephen Willis, Yingzi Yang

Abstract: We study low-lying zeroes of $L$-functions and their $n$-level density, which relies on a smooth test function $φ$ whose Fourier transform $\widehatφ$ has compact support. Assuming the generalized Riemann hypothesis, we compute the $n^\text{th}$ centered moments of the $1$-level density of low-lying zeroes of $L$-functions associated with weight $k$, prime level $N$ cuspidal newforms as… ▽ More We study low-lying zeroes of $L$-functions and their $n$-level density, which relies on a smooth test function $φ$ whose Fourier transform $\widehatφ$ has compact support. Assuming the generalized Riemann hypothesis, we compute the $n^\text{th}$ centered moments of the $1$-level density of low-lying zeroes of $L$-functions associated with weight $k$, prime level $N$ cuspidal newforms as $N \to \infty$, where ${\rm supp}(\widehatφ) \subset \left(-2/n, 2/n\right)$. The Katz-Sarnak density conjecture predicts that the $n$-level density of certain families of $L$-functions is the same as the distribution of eigenvalues of corresponding families of orthogonal random matrices. We prove that the Katz-Sarnak density conjecture holds for the $n^\text{th}$ centered moments of the 1-level density for test functions with $\widehatφ$ supported in $\left(-2/n, 2/n\right)$, for families of cuspidal newforms split by the sign of their functional equations. Our work provides better bounds on the percent of forms vanishing to a certain order at the central point. Previous work handled the 1-level for support up to 2 and the $n$-level up to $\min(2/n, 1/(n-1))$; we are able to remove the second restriction on the support and extend the result to what one would expect, based on the 1-level, by finding a tractable vantage to evaluate the combinatorial zoo of terms which emerge. △ Less

Submitted 15 August, 2022; v1 submitted 27 July, 2022; originally announced August 2022.

Comments: 57 pages, updated acknowledgements

Spectral Moment Formulae for $GL(3)\times GL(2)$ $L$-functions I: The Cuspidal Case

Authors: Chung-Hang Kwan

Abstract: Spectral moment formulae of various shapes have proven to be very successful in studying the statistics of central $L$-values. In this article, we establish, in a completely explicit fashion, such formulae for the family of $GL(3)\times GL(2)$ Rankin-Selberg $L$-functions using the period integral method. The Kuznetsov and the Voronoi formulae are not needed in our argument. We also prove the esse… ▽ More Spectral moment formulae of various shapes have proven to be very successful in studying the statistics of central $L$-values. In this article, we establish, in a completely explicit fashion, such formulae for the family of $GL(3)\times GL(2)$ Rankin-Selberg $L$-functions using the period integral method. The Kuznetsov and the Voronoi formulae are not needed in our argument. We also prove the essential analytic properties and explicit formulae for the integral transform of our moment formulae. It is hoped that our method will provide insights into moments of $L$-functions for higher-rank groups. △ Less

Submitted 12 October, 2023; v1 submitted 15 December, 2021; originally announced December 2021.

Comments: Accepted Version; 2nd half of v3 will appear as separate papers

MSC Class: 11F55 (Primary) 11F72 (Secondary)

MCML: A Novel Memory-based Contrastive Meta-Learning Method for Few Shot Slot Tagging

Authors: Hongru Wang, Zezhong Wang, Wai Chung Kwan, Kam-Fai Wong

Abstract: Meta-learning is widely used for few-shot slot tagging in task of few-shot learning. The performance of existing methods is, however, seriously affected by \textit{sample forgetting issue}, where the model forgets the historically learned meta-training tasks while solely relying on support sets when adapting to new tasks. To overcome this predicament, we propose the \textbf{M}emory-based \textbf{C… ▽ More Meta-learning is widely used for few-shot slot tagging in task of few-shot learning. The performance of existing methods is, however, seriously affected by \textit{sample forgetting issue}, where the model forgets the historically learned meta-training tasks while solely relying on support sets when adapting to new tasks. To overcome this predicament, we propose the \textbf{M}emory-based \textbf{C}ontrastive \textbf{M}eta-\textbf{L}earning (aka, MCML) method, including \textit{learn-from-the-memory} and \textit{adaption-from-the-memory} modules, which bridge the distribution gap between training episodes and between training and testing respectively. Specifically, the former uses an explicit memory bank to keep track of the label representations of previously trained episodes, with a contrastive constraint between the label representations in the current episode with the historical ones stored in the memory. In addition, the \emph{adaption-from-memory} mechanism is introduced to learn more accurate and robust representations based on the shift between the same labels embedded in the testing episodes and memory. Experimental results show that the MCML outperforms several state-of-the-art methods on both SNIPS and NER datasets and demonstrates strong scalability with consistent improvement when the number of shots gets greater. △ Less

Submitted 11 September, 2023; v1 submitted 26 August, 2021; originally announced August 2021.

Autocomplete Repetitive Stroking with Image Guidance

Authors: Yilan Chen, Kin Chung Kwan, Li-Yi Wei, Hongbo Fu

Abstract: Image-guided drawing can compensate for the lack of skills but often requires a significant number of repetitive strokes to create textures. Existing automatic stroke synthesis methods are usually limited to predefined styles or require indirect manipulation that may break the spontaneous flow of drawing. We present a method to autocomplete repetitive short strokes during users' normal drawing pro… ▽ More Image-guided drawing can compensate for the lack of skills but often requires a significant number of repetitive strokes to create textures. Existing automatic stroke synthesis methods are usually limited to predefined styles or require indirect manipulation that may break the spontaneous flow of drawing. We present a method to autocomplete repetitive short strokes during users' normal drawing process. Users can draw over a reference image as usual. At the same time, our system silently analyzes the input strokes and the reference to infer strokes that follow users' input style when certain repetition is detected. Users can accept, modify, or ignore the system predictions and continue drawing, thus maintaining the fluid control of drawing. Our key idea is to jointly analyze image regions and operation history for detecting and predicting repetitions. The proposed system can effectively reduce users' workload in drawing repetitive short strokes and facilitates users in creating results with rich patterns. △ Less

Submitted 16 August, 2021; originally announced August 2021.

ACM Class: I.3.8

High-Throughput Precision Phenoty** of Left Ventricular Hypertrophy with Cardiovascular Deep Learning

Authors: Grant Duffy, Paul P Cheng, Neal Yuan, Bryan He, Alan C. Kwan, Matthew J. Shun-Shin, Kevin M. Alexander, Joseph Ebinger, Matthew P. Lungren, Florian Rader, David H. Liang, Ingela Schnittger, Euan A. Ashley, James Y. Zou, Jignesh Patel, Ronald Witteles, Susan Cheng, David Ouyang

Abstract: Left ventricular hypertrophy (LVH) results from chronic remodeling caused by a broad range of systemic and cardiovascular disease including hypertension, aortic stenosis, hypertrophic cardiomyopathy, and cardiac amyloidosis. Early detection and characterization of LVH can significantly impact patient care but is limited by under-recognition of hypertrophy, measurement error and variability, and di… ▽ More Left ventricular hypertrophy (LVH) results from chronic remodeling caused by a broad range of systemic and cardiovascular disease including hypertension, aortic stenosis, hypertrophic cardiomyopathy, and cardiac amyloidosis. Early detection and characterization of LVH can significantly impact patient care but is limited by under-recognition of hypertrophy, measurement error and variability, and difficulty differentiating etiologies of LVH. To overcome this challenge, we present EchoNet-LVH - a deep learning workflow that automatically quantifies ventricular hypertrophy with precision equal to human experts and predicts etiology of LVH. Trained on 28,201 echocardiogram videos, our model accurately measures intraventricular wall thickness (mean absolute error [MAE] 1.4mm, 95% CI 1.2-1.5mm), left ventricular diameter (MAE 2.4mm, 95% CI 2.2-2.6mm), and posterior wall thickness (MAE 1.2mm, 95% CI 1.1-1.3mm) and classifies cardiac amyloidosis (area under the curve of 0.83) and hypertrophic cardiomyopathy (AUC 0.98) from other etiologies of LVH. In external datasets from independent domestic and international healthcare systems, EchoNet-LVH accurately quantified ventricular parameters (R2 of 0.96 and 0.90 respectively) and detected cardiac amyloidosis (AUC 0.79) and hypertrophic cardiomyopathy (AUC 0.89) on the domestic external validation site. Leveraging measurements across multiple heart beats, our model can more accurately identify subtle changes in LV geometry and its causal etiologies. Compared to human experts, EchoNet-LVH is fully automated, allowing for reproducible, precise measurements, and lays the foundation for precision diagnosis of cardiac hypertrophy. As a resource to promote further innovation, we also make publicly available a large dataset of 23,212 annotated echocardiogram videos. △ Less

Submitted 23 June, 2021; originally announced June 2021.

A high performance approach to detecting small targets in long range low quality infrared videos

Authors: Chiman Kwan, Bence Budavari

Abstract: Since targets are small in long range infrared (IR) videos, it is challenging to accurately detect targets in those videos. In this paper, we propose a high performance approach to detecting small targets in long range and low quality infrared videos. Our approach consists of a video resolution enhancement module, a proven small target detector based on local intensity and gradient (LIG), a connec… ▽ More Since targets are small in long range infrared (IR) videos, it is challenging to accurately detect targets in those videos. In this paper, we propose a high performance approach to detecting small targets in long range and low quality infrared videos. Our approach consists of a video resolution enhancement module, a proven small target detector based on local intensity and gradient (LIG), a connected component (CC) analysis module, and a track association module to connect detections from multiple frames. Extensive experiments using actual mid-wave infrared (MWIR) videos in ranges between 3500 m and 5000 m from a benchmark dataset clearly demonstrated the efficacy of the proposed approach. △ Less

Submitted 4 December, 2020; originally announced December 2020.

Comments: Submitted to Journal of Signal, Image and Video Processing

Bound states of two-photon Rabi model at the collapse point

Authors: Chan Ching Kwan

Abstract: This paper presents a proof of the existence of novel bound states of the two-photon quantum Rabi model at the collapse point. The two-photon Rabi model is interesting not only for its important role on non-linear light-matter interaction, but also for the exhibition of many-energy-levels degenerating process called the "spectral collapse". The squeezing property of the two-photon annihilation and… ▽ More This paper presents a proof of the existence of novel bound states of the two-photon quantum Rabi model at the collapse point. The two-photon Rabi model is interesting not only for its important role on non-linear light-matter interaction, but also for the exhibition of many-energy-levels degenerating process called the "spectral collapse". The squeezing property of the two-photon annihilation and creation operators is the origin for this phenomenon which is well studied without the energy-slitting term $ω_0$. However, many numerical studies have pointed out that with the presence of $ω_0$ , some low-level isolated states exist while other high energy states collapse to $E=-\fracω{2}$, which known as incomplete spectral collapse. From the eigenvalue equation in real space, pair of second order differential equations, which are similarly to the Schrodinger equation, are derived at the collapse point. These differential equations provide explanation to the existence of isolated bound states below $E=-\fracω{2}$ with the presence of the spin slitting $ω_0$ and better numerical method to generate those bound states. △ Less

Submitted 9 July, 2020; originally announced July 2020.

Comments: J. Phys. A: Math. Theor (2020)

Unsupervised Pansharpening Based on Self-Attention Mechanism

Authors: Ying Qu, Razieh Kaviani Baghbaderani, Hairong Qi, Chiman Kwan

Abstract: Pansharpening is to fuse a multispectral image (MSI) of low-spatial-resolution (LR) but rich spectral characteristics with a panchromatic image (PAN) of high-spatial-resolution (HR) but poor spectral characteristics. Traditional methods usually inject the extracted high-frequency details from PAN into the up-sampled MSI. Recent deep learning endeavors are mostly supervised assuming the HR MSI is a… ▽ More Pansharpening is to fuse a multispectral image (MSI) of low-spatial-resolution (LR) but rich spectral characteristics with a panchromatic image (PAN) of high-spatial-resolution (HR) but poor spectral characteristics. Traditional methods usually inject the extracted high-frequency details from PAN into the up-sampled MSI. Recent deep learning endeavors are mostly supervised assuming the HR MSI is available, which is unrealistic especially for satellite images. Nonetheless, these methods could not fully exploit the rich spectral characteristics in the MSI. Due to the wide existence of mixed pixels in satellite images where each pixel tends to cover more than one constituent material, pansharpening at the subpixel level becomes essential. In this paper, we propose an unsupervised pansharpening (UP) method in a deep-learning framework to address the above challenges based on the self-attention mechanism (SAM), referred to as UP-SAM. The contribution of this paper is three-fold. First, the self-attention mechanism is proposed where the spatial varying detail extraction and injection functions are estimated according to the attention representations indicating spectral characteristics of the MSI with sub-pixel accuracy. Second, such attention representations are derived from mixed pixels with the proposed stacked attention network powered with a stick-breaking structure to meet the physical constraints of mixed pixel formulations. Third, the detail extraction and injection functions are spatial varying based on the attention representations, which largely improves the reconstruction accuracy. Extensive experimental results demonstrate that the proposed approach is able to reconstruct sharper MSI of different types, with more details and less spectral distortion as compared to the state-of-the-art. △ Less

Submitted 30 August, 2020; v1 submitted 16 June, 2020; originally announced June 2020.

Comments: Accepted by TGRS

A New Approach to Solar Flare Prediction

Authors: Michael L. Goodman, Chiman Kwan, Bulent Ayhan, Eric L. Shang

Abstract: All three components of the current density are required to compute the heating rate due to free magnetic energy dissipation. Here we present a first test of a new model developed to determine if the times of increases in the resistive heating rate in active region (AR) photospheres are correlated with the subsequent occurrence of M and X flares in the corona. A data driven, 3 D, non-force-free ma… ▽ More All three components of the current density are required to compute the heating rate due to free magnetic energy dissipation. Here we present a first test of a new model developed to determine if the times of increases in the resistive heating rate in active region (AR) photospheres are correlated with the subsequent occurrence of M and X flares in the corona. A data driven, 3 D, non-force-free magnetohydrodynamic model restricted to the near-photospheric region is used to compute time series of the complete current density and the resistive heating rate per unit volume $(Q(t))$ in each pixel in neutral line regions (NLRs) of 14 ARs. The model is driven by time series of the magnetic field ${\bf B}$ measured by the Helioseismic & Magnetic Imager on the Solar Dynamics Observatory (SDO) satellite. Spurious Doppler periods due to SDO orbital motion are filtered out of the time series for ${\bf B}$ in every AR pixel. For each AR, the cumulative distribution function (CDF) of the values of the NLR area integral $Q_i(t)$ of $Q(t)$ is found to be a scale invariant power law distribution essentially identical to the observed CDF for the total energy released in coronal flares. This suggests that coronal flares and the photospheric $Q_i$ are correlated, and powered by the same process. The model predicts spikes in $Q_i$ with values orders of magnitude above background values. These spikes are driven by spikes in the non-force free component of the current density. The times of these spikes are plausibly correlated with times of subsequent M or X flares a few hours to a few days later. The spikes occur on granulation scales, and may be signatures of heating in horizontal current sheets. It is also found that the times of relatively large values of the rate of change of the NLR unsigned magnetic flux are also plausibly correlated with the times of subsequent M and X flares, and spikes in $Q_i$. △ Less

Submitted 27 April, 2020; v1 submitted 3 March, 2020; originally announced March 2020.

Comments: 37 pages, 15 figures. Corresponding author - Michael L. Goodman

Journal ref: Frontiers of Physics 15(3), 34601 (2020)

Flexibility of Ga-containing Type-II superlattice for long-wavelength infrared detection

Authors: M. Delmas, D. C. M. Kwan, M. C. Debnath, B. L. Liang, D. L. Huffaker

Abstract: In this paper, the flexibility of long-wavelength Type-II InAs/GaSb superlattice (Ga-containing SL) is explored and investigated from the growth to the device performance. First, several samples with different SL period composition and thickness are grown by molecular beam epitaxy. Nearly strain-compensated SLs on GaSb exhibiting an energy band gap between 105 to 169 meV at 77K are obtained. Secon… ▽ More In this paper, the flexibility of long-wavelength Type-II InAs/GaSb superlattice (Ga-containing SL) is explored and investigated from the growth to the device performance. First, several samples with different SL period composition and thickness are grown by molecular beam epitaxy. Nearly strain-compensated SLs on GaSb exhibiting an energy band gap between 105 to 169 meV at 77K are obtained. Second, from electronic band structure calculation, material parameters are extracted and compared for the different grown SLs. Finally, two p-i-n device structures with different SL periods are grown and their electrical performance compared. Our investigation shows that an alternative SL design could potentially be used to improve the device performance of diffusion-limited devices for long-wavelength infrared detection. △ Less

Submitted 20 August, 2019; originally announced August 2019.

Comments: 8 Figures

Unsupervised and Unregistered Hyperspectral Image Super-Resolution with Mutual Dirichlet-Net

Authors: Ying Qu, Hairong Qi, Chiman Kwan, Naoto Yokoya, Jocelyn Chanussot

Abstract: Hyperspectral images (HSI) provide rich spectral information that contributed to the successful performance improvement of numerous computer vision tasks. However, it can only be achieved at the expense of images' spatial resolution. Hyperspectral image super-resolution (HSI-SR) addresses this problem by fusing low resolution (LR) HSI with multispectral image (MSI) carrying much higher spatial res… ▽ More Hyperspectral images (HSI) provide rich spectral information that contributed to the successful performance improvement of numerous computer vision tasks. However, it can only be achieved at the expense of images' spatial resolution. Hyperspectral image super-resolution (HSI-SR) addresses this problem by fusing low resolution (LR) HSI with multispectral image (MSI) carrying much higher spatial resolution (HR). All existing HSI-SR approaches require the LR HSI and HR MSI to be well registered and the reconstruction accuracy of the HR HSI relies heavily on the registration accuracy of different modalities. This paper exploits the uncharted problem domain of HSI-SR without the requirement of multi-modality registration. Given the unregistered LR HSI and HR MSI with overlapped regions, we design a unique unsupervised learning structure linking the two unregistered modalities by projecting them into the same statistical space through the same encoder. The mutual information (MI) is further adopted to capture the non-linear statistical dependencies between the representations from two modalities (carrying spatial information) and their raw inputs. By maximizing the MI, spatial correlations between different modalities can be well characterized to further reduce the spectral distortion. A collaborative $l_{2,1}$ norm is employed as the reconstruction error instead of the more common $l_2$ norm, so that individual pixels can be recovered as accurately as possible. With this design, the network allows to extract correlated spectral and spatial information from unregistered images that better preserves the spectral information. The proposed method is referred to as unregistered and unsupervised mutual Dirichlet Net ($u^2$-MDN). Extensive experimental results using benchmark HSI datasets demonstrate the superior performance of $u^2$-MDN as compared to the state-of-the-art. △ Less

Submitted 2 August, 2021; v1 submitted 27 April, 2019; originally announced April 2019.

Comments: IEEE Transactions on Remote Sensing and Geoscience

Convex Functions in ACL2(r)

Authors: Carl Kwan, Mark R. Greenstreet

Abstract: This paper builds upon our prior formalisation of R^n in ACL2(r) by presenting a set of theorems for reasoning about convex functions. This is a demonstration of the higher-dimensional analytical reasoning possible in our metric space formalisation of R^n. Among the introduced theorems is a set of equivalent conditions for convex functions with Lipschitz continuous gradients from Yurii Nesterov's… ▽ More This paper builds upon our prior formalisation of R^n in ACL2(r) by presenting a set of theorems for reasoning about convex functions. This is a demonstration of the higher-dimensional analytical reasoning possible in our metric space formalisation of R^n. Among the introduced theorems is a set of equivalent conditions for convex functions with Lipschitz continuous gradients from Yurii Nesterov's classic text on convex optimisation. To the best of our knowledge a full proof of the theorem has yet to be published in a single piece of literature. We also explore "proof engineering" issues, such as how to state Nesterov's theorem in a manner that is both clear and useful. △ Less

Submitted 9 October, 2018; originally announced October 2018.

Comments: In Proceedings ACL2 2018, arXiv:1810.03762

Journal ref: EPTCS 280, 2018, pp. 128-142

Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r)

Authors: Carl Kwan, Mark R. Greenstreet

Abstract: We present a mechanical proof of the Cauchy-Schwarz inequality in ACL2(r) and a formalisation of the necessary mathematics to undertake such a proof. This includes the formalisation of $\mathbb{R}^n$ as an inner product space. We also provide an application of Cauchy-Schwarz by formalising $\mathbb R^n$ as a metric space and exhibiting continuity for some simple functions… ▽ More We present a mechanical proof of the Cauchy-Schwarz inequality in ACL2(r) and a formalisation of the necessary mathematics to undertake such a proof. This includes the formalisation of $\mathbb{R}^n$ as an inner product space. We also provide an application of Cauchy-Schwarz by formalising $\mathbb R^n$ as a metric space and exhibiting continuity for some simple functions $\mathbb R^n\to\mathbb R$. The Cauchy-Schwarz inequality relates the magnitude of a vector to its projection (or inner product) with another: \[|\langle u,v\rangle| \leq \|u\| \|v\|\] with equality iff the vectors are linearly dependent. It finds frequent use in many branches of mathematics including linear algebra, real analysis, functional analysis, probability, etc. Indeed, the inequality is considered to be among "The Hundred Greatest Theorems" and is listed in the "Formalizing 100 Theorems" project. To the best of our knowledge, our formalisation is the first published proof using ACL2(r) or any other first-order theorem prover. △ Less

Submitted 9 October, 2018; originally announced October 2018.

Comments: In Proceedings ACL2 2018, arXiv:1810.03762

Journal ref: EPTCS 280, 2018, pp. 111-127

Unsupervised Sparse Dirichlet-Net for Hyperspectral Image Super-Resolution

Authors: Ying Qu, Hairong Qi, Chiman Kwan

Abstract: In many computer vision applications, obtaining images of high resolution in both the spatial and spectral domains are equally important. However, due to hardware limitations, one can only expect to acquire images of high resolution in either the spatial or spectral domains. This paper focuses on hyperspectral image super-resolution (HSI-SR), where a hyperspectral image (HSI) with low spatial reso… ▽ More In many computer vision applications, obtaining images of high resolution in both the spatial and spectral domains are equally important. However, due to hardware limitations, one can only expect to acquire images of high resolution in either the spatial or spectral domains. This paper focuses on hyperspectral image super-resolution (HSI-SR), where a hyperspectral image (HSI) with low spatial resolution (LR) but high spectral resolution is fused with a multispectral image (MSI) with high spatial resolution (HR) but low spectral resolution to obtain HR HSI. Existing deep learning-based solutions are all supervised that would need a large training set and the availability of HR HSI, which is unrealistic. Here, we make the first attempt to solving the HSI-SR problem using an unsupervised encoder-decoder architecture that carries the following uniquenesses. First, it is composed of two encoder-decoder networks, coupled through a shared decoder, in order to preserve the rich spectral information from the HSI network. Second, the network encourages the representations from both modalities to follow a sparse Dirichlet distribution which naturally incorporates the two physical constraints of HSI and MSI. Third, the angular difference between representations are minimized in order to reduce the spectral distortion. We refer to the proposed architecture as unsupervised Sparse Dirichlet-Net, or uSDN. Extensive experimental results demonstrate the superior performance of uSDN as compared to the state-of-the-art. △ Less

Submitted 15 July, 2018; v1 submitted 13 April, 2018; originally announced April 2018.

Comments: Accepted by The IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2018, Spotlight)

Universal voltage scaling due to self-averaging of the quantum corrections in graphene

Authors: R. Somphonsane, H. Ramamoorthy, G. He, J. Nathawat, S. Yin, J. P. Bird, C. -P. Kwan, N. Arabchigavkani, B. Barut, M. Zhao, Z. **, J. Fransson

Abstract: The differential conductance of graphene is shown to exhibit a zero-bias anomaly at low temperatures, arising from a suppression of the quantum corrections due to weak localization and electron interactions. A simple rescaling of these data, free of any adjustable parameters, shows that this anomaly exhibits a universal, temperature- ($T$) independent form. According to this, the differential cond… ▽ More The differential conductance of graphene is shown to exhibit a zero-bias anomaly at low temperatures, arising from a suppression of the quantum corrections due to weak localization and electron interactions. A simple rescaling of these data, free of any adjustable parameters, shows that this anomaly exhibits a universal, temperature- ($T$) independent form. According to this, the differential conductance is approximately constant at small voltages ($V<k_BT/e$), while at larger voltages it increases logarithmically with the applied bias, reflecting a quenching of the quantum corrections. For theoretical insight into the origins of this behavior, we formulate a model for weak-localization in the presence of nonlinear transport. According to this, the voltage applied under nonequilibrium induces unavoidable dephasing, arising from a self-averaging of the diffusing electron waves responsible for transport. By establishing the manner in which the quantum corrections are suppressed in graphene, our study will be of broad relevance to the investigation of nonequilibrium transport in mesoscopic systems in general. This includes systems implemented from conventional metals and semiconductors, as well as those realized using other two-dimensional semiconductors and topological insulators. △ Less

Submitted 14 March, 2018; v1 submitted 24 February, 2018; originally announced February 2018.

Comments: 12 pages, 7 figures; submitted for publication. arXiv admin note: text overlap with arXiv:1702.06706

On Near Perfect Numbers

Authors: Peter Cohen, Katherine Cordwell, Alyssa Epstein, Chung-Hang Kwan, Adam Lott, Steven J. Miller

Abstract: The study of perfect numbers (numbers which equal the sum of their proper divisors) goes back to antiquity, and is responsible for some of the oldest and most popular conjectures in number theory. We investigate a generalization introduced by Pollack and Shevelev: $k$-near-perfect numbers. These are examples to the well-known pseudoperfect numbers first defined by Sierpiński, and are numbers such… ▽ More The study of perfect numbers (numbers which equal the sum of their proper divisors) goes back to antiquity, and is responsible for some of the oldest and most popular conjectures in number theory. We investigate a generalization introduced by Pollack and Shevelev: $k$-near-perfect numbers. These are examples to the well-known pseudoperfect numbers first defined by Sierpiński, and are numbers such that the sum of all but at most $k$ of its proper divisors equals the number. We establish their asymptotic order for all integers $k\ge 4$, as well as some properties of related quantities. △ Less

Submitted 11 October, 2019; v1 submitted 13 October, 2016; originally announced October 2016.

Comments: To appear in Acta Arithmetica (32 pages)

MSC Class: Primary 11A25; Secondary 11N25; 11B83

On smoothing singularities of elliptic orbital integrals on GL(n) and Beyond Endoscopy

Authors: Oscar E. González, Chung Hang Kwan, Steven J. Miller, Roger Van Peski, Tian An Wong

Abstract: Recent work of Altuğ continues the preliminary analysis of Langlands' Beyond Endoscopy proposal for $GL(2)$ by removing the contribution of the trivial representation to the trace formula using a Poisson summation formula. We show that Altuğ's method of smoothing real elliptic orbital integrals by an approximate functional equation extends to $GL(n)$. We also discuss the case of an arbitrary reduc… ▽ More Recent work of Altuğ continues the preliminary analysis of Langlands' Beyond Endoscopy proposal for $GL(2)$ by removing the contribution of the trivial representation to the trace formula using a Poisson summation formula. We show that Altuğ's method of smoothing real elliptic orbital integrals by an approximate functional equation extends to $GL(n)$. We also discuss the case of an arbitrary reductive group, and remaining obstructions for applying Poisson summation. △ Less

Submitted 13 September, 2017; v1 submitted 21 August, 2016; originally announced August 2016.

Comments: To appear in Journal of Number Theory

MSC Class: 11F72; 11F66

Unconditionally secure credit/debit card chip scheme and physical unclonable function

Authors: Laszlo Bela Kish, Kamran Entesari, Claes-Goran Granqvist, Chiman Kwan

Abstract: The statistical-physics-based Kirchhoff-law-Johnson-noise (KLJN) key exchange offers a new and simple unclonable system for credit/debit card chip authentication and payment. The key exchange, the authentication and the communication are unconditionally secure so that neither mathematics- nor statistics-based attacks are able to crack the scheme. The ohmic connection and the short wiring lengths b… ▽ More The statistical-physics-based Kirchhoff-law-Johnson-noise (KLJN) key exchange offers a new and simple unclonable system for credit/debit card chip authentication and payment. The key exchange, the authentication and the communication are unconditionally secure so that neither mathematics- nor statistics-based attacks are able to crack the scheme. The ohmic connection and the short wiring lengths between the chips in the card and the terminal constitute an ideal setting for the KLJN protocol, and even its simplest versions offer unprecedented security and privacy for credit/debit card chips and applications of physical unclonable functions. △ Less

Submitted 20 July, 2016; v1 submitted 8 May, 2016; originally announced May 2016.

Comments: This version is accepted for publication in Fluctuation and Noise Letters

Detecting Burnscar from Hyperspectral Imagery via Sparse Representation with Low-Rank Interference

Authors: Minh Dao, Xiang Xiang, Bulent Ayhan, Chiman Kwan, Trac D. Tran

Abstract: In this paper, we propose a burnscar detection model for hyperspectral imaging (HSI) data. The proposed model contains two-processing steps in which the first step separate and then suppress the cloud information presenting in the data set using an RPCA algorithm and the second step detect the burnscar area in the low-rank component output of the first step. Experiments are conducted on the public… ▽ More In this paper, we propose a burnscar detection model for hyperspectral imaging (HSI) data. The proposed model contains two-processing steps in which the first step separate and then suppress the cloud information presenting in the data set using an RPCA algorithm and the second step detect the burnscar area in the low-rank component output of the first step. Experiments are conducted on the public MODIS dataset available at NASA official website. △ Less

Submitted 17 May, 2016; v1 submitted 1 May, 2016; originally announced May 2016.

Comments: It is not a publishable version at this point as there is no IP coverage at the moment

Physical uncloneable function hardware keys utilizing Kirchhoff-law-Johnson-noise secure key exchange and noise-based logic

Authors: Laszlo B. Kish, Chiman Kwan

Abstract: Weak physical uncloneable function (WPUF) encryption key means that the manufacturer of the hardware can clone the key but anybody else is unable to so that. Strong physical uncloneable function (SPUF) encryption key means that even the manufacturer of the hardware is unable to clone the key. In this paper, first we introduce a "ultra"-strong PUF with intrinsic dynamical randomness, which is not o… ▽ More Weak physical uncloneable function (WPUF) encryption key means that the manufacturer of the hardware can clone the key but anybody else is unable to so that. Strong physical uncloneable function (SPUF) encryption key means that even the manufacturer of the hardware is unable to clone the key. In this paper, first we introduce a "ultra"-strong PUF with intrinsic dynamical randomness, which is not only not cloneable but it also gets renewed to an independent key (with fresh randomness) during each use via the unconditionally secure key exchange. The solution utilizes the Kirchhoff-law-Johnson-noise (KLJN) method for dynamical key renewal and a one-time-pad secure key for the challenge/response process. The secure key is stored in a flash memory on the chip to provide tamper-resistance and non-volatile storage with zero power requirements in standby mode. Simplified PUF keys are shown: a strong PUF utilizing KLJN protocol during the first run and noise-based logic (NBL) hyperspace vector string verification method for the challenge/response during the rest of its life or until it is re-initialized. Finally, the simplest PUF utilizes NBL without KLJN thus it can be cloned by the manufacturer but not by anybody else. △ Less

Submitted 26 July, 2013; v1 submitted 11 May, 2013; originally announced May 2013.

Comments: some clarifications/enhancements; in publication process

Journal ref: Fluct. Noise Lett. 12, 1350018 (2013)

Accuracy versus speed in fluctuation-enhanced sensing

Authors: P. Makra, Z. Topalian, C. G. Granqvist, L. B. Kish, C. Kwan

Abstract: Fluctuation-enhanced sensing comprises the analysis of the stochastic component of the sensor signal and the utilization of the microscopic dynamics of the interaction between the agent and the sensor. We study the relationship between the measurement time window and the statistical error of the measurement data in the simplest case, when the output is the mean-square value of the stochastic signa… ▽ More Fluctuation-enhanced sensing comprises the analysis of the stochastic component of the sensor signal and the utilization of the microscopic dynamics of the interaction between the agent and the sensor. We study the relationship between the measurement time window and the statistical error of the measurement data in the simplest case, when the output is the mean-square value of the stochastic signal. This situation is relevant at any practical case when the time window is finite, for example, when a sampling of the output of a fluctuation-enhanced array takes place; or a single sensor's activation (temperature, etc) is stepped up; or a single sensor's output is monitored by sampling subsequently in different frequency windows. Our study provides a lower limit of the relative error versus data window size with different types of power density spectra: white noise, 1/f (flicker, pink) noise, and 1/f^2 (red) noise spectra. △ Less

Submitted 30 September, 2011; v1 submitted 9 August, 2011; originally announced August 2011.

Comments: Accepted for publication in Fluctuation and Noise Letters (acceptance in September 2011)

Journal ref: Fluctuation and Noise Letters Vol. 11, No. 2 (2012) 1250010

Binary Fingerprints at Fluctuation-Enhanced Sensing

Authors: Hung-Chih Chang, Laszlo B. Kish, Maria D. King, Chiman Kwan

Abstract: We developed a simple way to generate binary patterns based on spectral slopes in different frequency ranges at fluctuation-enhanced sensing. Such patterns can be considered as binary "fingerprints" of odors. The method has experimentally been demonstrated with a commercial semiconducting metal oxide (Taguchi) sensor exposed to bacterial odors (Escherichia coli and Anthrax-surrogate Bacillus sub… ▽ More We developed a simple way to generate binary patterns based on spectral slopes in different frequency ranges at fluctuation-enhanced sensing. Such patterns can be considered as binary "fingerprints" of odors. The method has experimentally been demonstrated with a commercial semiconducting metal oxide (Taguchi) sensor exposed to bacterial odors (Escherichia coli and Anthrax-surrogate Bacillus subtilis) and processing their stochastic signals. With a single Taguchi sensor, the situations of empty chamber, tryptic soy agar (TSA) medium, or TSA with bacteria could be distinguished with 100% reproducibility. The bacterium numbers were in the range of 25 thousands to 1 million. To illustrate the relevance for ultra-low power consumption, we show that this new type of signal processing and pattern recognition task can be implemented by a simple analog circuitry and a few logic gates with total power consumption in the microWatts range. △ Less

Submitted 28 December, 2009; originally announced December 2009.

Comments: submitted for publication

Journal ref: Sensors 10(1) (2010) 361-373; www.mdpi.com/1424-8220/10/1/361

Fluctuation-Enhanced Sensing for Biological Agent Detection and Identification

Authors: Laszlo B. Kish, Hung C. Chang, Maria D. King, Chiman Kwan, James O. Jensen, Gabor Schmera, Janusz Smulko, Zoltan Gingl, Claes G. Granqvist

Abstract: We survey and show our earlier results about three different ways of fluctuation-enhanced sensing of bio agent, the phage-based method for bacterium detection published earlier; sensing and evaluating the odors of microbes; and spectral and amplitude distribution analysis of noise in light scattering to identify spores based on their diffusion coefficient. We survey and show our earlier results about three different ways of fluctuation-enhanced sensing of bio agent, the phage-based method for bacterium detection published earlier; sensing and evaluating the odors of microbes; and spectral and amplitude distribution analysis of noise in light scattering to identify spores based on their diffusion coefficient. △ Less

Submitted 29 July, 2010; v1 submitted 28 December, 2009; originally announced December 2009.

Comments: Invited paper for a special issue of IEEE Nanotechnology. It was Plenary Talk at the Nanoelectronic Devices for Defense and Security Conference, Fort Lauderdale, FL, October 1, 2009

Journal ref: IEEE Nanotechnology 10 (2011) 1238-42

Identification of Bacteria by Patterns Generated from Odor Spectra

Authors: Hung-Chih Chang, Laszlo B. Kish, Maria D. King, Chiman Kwan

Abstract: We use the power density spectra obtained by fluctuation-enhanced sensing of bacterial odors (Escherichia coli and Anthrax-surrogate Bacillus subtilis) to generate new, highly distinguishable, types of patterns based on the average slope of the spectra in different frequency ranges. Such plots can be considered as "fingerprints" of bacterial odors. Three different ways of pattern generation are… ▽ More We use the power density spectra obtained by fluctuation-enhanced sensing of bacterial odors (Escherichia coli and Anthrax-surrogate Bacillus subtilis) to generate new, highly distinguishable, types of patterns based on the average slope of the spectra in different frequency ranges. Such plots can be considered as "fingerprints" of bacterial odors. Three different ways of pattern generation are tested, including a simple binary version. The obtained patterns are simple enough to identify the situation by the naked eye without a pattern recognizer. △ Less

Submitted 9 February, 2009; originally announced February 2009.

Comments: Continuation of paper arXiv:0901.3100

Journal ref: Sensors and Actuators B 142 (2009) pp. 429-434

Theory and Techniques for Vibration-Induced Conductivity Fluctuation testing of Soils

Authors: Hung-Chih Chang, Laszlo B. Kish, Andrea Kishne, Cristine Morgan, Chiman Kwan

Abstract: First we present and theoretically analyze the phenomenological physical picture behind Vibration-Induced Conductivity Fluctuations. We identify the relevant tensors characterizing the electromechanical response against the vibrations for both longitudinal and transversal responses. We analyze the conductivity response with acceleration type vibrations and a new scheme, measurements with more ad… ▽ More First we present and theoretically analyze the phenomenological physical picture behind Vibration-Induced Conductivity Fluctuations. We identify the relevant tensors characterizing the electromechanical response against the vibrations for both longitudinal and transversal responses. We analyze the conductivity response with acceleration type vibrations and a new scheme, measurements with more advantageous compression type vibrations that are first introduced here. Compression vibrations provide sideband spectral lines shifted by the frequency of the vibration instead of its second harmonics; moreover the application of this method is less problematic with loose electrodes. Concerning geometry and electrodes, the large measurement errors in earlier experiment indicated electrode effects which justify using four-electrode type measurements. We propose and analyze new arrangements for the longitudinal and transversal measurements with both compression vibration and acceleration vibration for laboratory and field conditions. △ Less

Submitted 21 January, 2009; originally announced January 2009.

Journal ref: Fluctuation and Noise Letters 8 (2008) L125-L140

Fluctuation-Enhanced Sensing of Bacterium Odors

Authors: Hung-Chih Chang, Laszlo B. Kish, Maria D. King, Chiman Kwan

Abstract: The goal of this paper is to explore the possibility to detect and identify bacteria by sensing their odor via fluctuation-enhanced sensing with commercial Taguchi sensors. The fluctuations of the electrical resistance during exposure to different bacterial odors, Escherichia coli and anthrax-surrogate Bacillus subtilis, have been measured and analyzed. In the present study, the simplest method,… ▽ More The goal of this paper is to explore the possibility to detect and identify bacteria by sensing their odor via fluctuation-enhanced sensing with commercial Taguchi sensors. The fluctuations of the electrical resistance during exposure to different bacterial odors, Escherichia coli and anthrax-surrogate Bacillus subtilis, have been measured and analyzed. In the present study, the simplest method, the measurement and analysis of power density spectra was used. The sensors were run in the normal heated and the sampling-and-hold working modes, respectively. The results indicate that Taguchi sensors used in these fluctuation-enhanced modes are effective tools of bacterium detection and identification even when they are utilizing only the power density spectrum of the stochastic sensor signal. △ Less

Submitted 22 January, 2009; v1 submitted 20 January, 2009; originally announced January 2009.

Comments: reference error fixed

Fluctuation-enhanced sensing

Authors: L. B. Kish, G. Schmera, Ch. Kwan, J. Smulko, P. Heszler, C. -G. Granqvist

Abstract: We present a short survey on fluctuation-enhanced gas sensing. We compare some of its main characteristics with those of classical sensing. We address the problem of linear response, information channel capacity, missed alarms and false alarms. We present a short survey on fluctuation-enhanced gas sensing. We compare some of its main characteristics with those of classical sensing. We address the problem of linear response, information channel capacity, missed alarms and false alarms. △ Less

Submitted 1 May, 2007; originally announced May 2007.

Comments: Keynote Talk at SPIE's 4th international symposium on Fluctuations and Noise, Conference Noise and Fluctuations in Circuits, Devices and Materials, Florence, Italy, May 20-24, 2007

Fluctuation-Enhanced Sensing of Molecules with Biased Carbon Nanotubes, or Nanowires, and Adsorption-Desorption Fluctuations

Authors: Laszlo B. Kish, Robert Vajtai, Pulickel Ajayan, Chiman Kwan, Gabor Schmera

Abstract: A new nanoscale device for fluctuation-enhanced sensing is proposed. A new nanoscale device for fluctuation-enhanced sensing is proposed. △ Less

Submitted 13 March, 2007; originally announced March 2007.

Comments: first draft

Post-Quantum Key Exchange Protocols

Authors: Xiangdong Li, Lin Leung, Andis Chi-Tung Kwan, Xiaowen Zhang, Dammika Kahanda, Michael Anshel

Abstract: If an eavesdropper Eve is equipped with quantum computers, she can easily break the public key exchange protocols used today. In this paper we will discuss the post-quantum Diffie-Hellman key exchange and private key exchange protocols. If an eavesdropper Eve is equipped with quantum computers, she can easily break the public key exchange protocols used today. In this paper we will discuss the post-quantum Diffie-Hellman key exchange and private key exchange protocols. △ Less

Submitted 20 October, 2006; v1 submitted 25 March, 2006; originally announced March 2006.

Comments: 11 pages, 2 figures. Submitted to SPIE DSS 2006; v2 citation typos fixed; v3 appendix typos corrected

Journal ref: Proc. of SPIE Vol.6244, 62440N, (2006)