-
Robust Confidence Bands for Stochastic Processes Using Simulation
Authors:
Timothy Chan,
Jangwon Park,
Vahid Sarhangian
Abstract:
We propose a robust optimization approach for constructing confidence bands for stochastic processes using a finite number of simulated sample paths. Our approach can be used to quantify uncertainty in realizations of stochastic processes or validate stochastic simulation models by checking whether historical paths from the actual system fall within the constructed confidence band. Unlike existing…
▽ More
We propose a robust optimization approach for constructing confidence bands for stochastic processes using a finite number of simulated sample paths. Our approach can be used to quantify uncertainty in realizations of stochastic processes or validate stochastic simulation models by checking whether historical paths from the actual system fall within the constructed confidence band. Unlike existing approaches in the literature, our methodology is widely applicable and directly addresses optimization bias within the constraints, producing tight confidence bands with accurate coverage probabilities. It is tractable, being only slightly more complex than the state-of-the-art baseline approach, and easy to use, as it employs standard techniques. Additionally, our approach is also applicable to continuous-time processes after appropriately discretizing time. In our first case study, we show that our approach achieves the desired coverage probabilities with an order-of-magnitude fewer sample paths than the state-of-the-art baseline approach. In our second case study, we illustrate how our approach can be used to validate stochastic simulation models.
△ Less
Submitted 23 August, 2024;
originally announced August 2024.
-
Multi-task Heterogeneous Graph Learning on Electronic Health Records
Authors:
Tsai Hor Chan,
Guosheng Yin,
Kyongtae Bae,
Lequan Yu
Abstract:
Learning electronic health records (EHRs) has received emerging attention because of its capability to facilitate accurate medical diagnosis. Since the EHRs contain enriched information specifying complex interactions between entities, modeling EHRs with graphs is shown to be effective in practice. The EHRs, however, present a great degree of heterogeneity, sparsity, and complexity, which hamper t…
▽ More
Learning electronic health records (EHRs) has received emerging attention because of its capability to facilitate accurate medical diagnosis. Since the EHRs contain enriched information specifying complex interactions between entities, modeling EHRs with graphs is shown to be effective in practice. The EHRs, however, present a great degree of heterogeneity, sparsity, and complexity, which hamper the performance of most of the models applied to them. Moreover, existing approaches modeling EHRs often focus on learning the representations for a single task, overlooking the multi-task nature of EHR analysis problems and resulting in limited generalizability across different tasks. In view of these limitations, we propose a novel framework for EHR modeling, namely MulT-EHR (Multi-Task EHR), which leverages a heterogeneous graph to mine the complex relations and model the heterogeneity in the EHRs. To mitigate the large degree of noise, we introduce a denoising module based on the causal inference framework to adjust for severe confounding effects and reduce noise in the EHR data. Additionally, since our model adopts a single graph neural network for simultaneous multi-task prediction, we design a multi-task learning module to leverage the inter-task knowledge to regularize the training process. Extensive empirical studies on MIMIC-III and MIMIC-IV datasets validate that the proposed method consistently outperforms the state-of-the-art designs in four popular EHR analysis tasks -- drug recommendation, and predictions of the length of stay, mortality, and readmission. Thorough ablation studies demonstrate the robustness of our method upon variations to key components and hyperparameters.
△ Less
Submitted 14 August, 2024;
originally announced August 2024.
-
Realization of time-reversal invariant photonic topological Anderson insulators
Authors:
Xiao-Dong Chen,
Zi-Xuan Gao,
Xiaohan Cui,
Hao-Chang Mo,
Wen-Jie Chen,
Ruo-Yang Zhang,
C. T. Chan,
Jian-Wen Dong
Abstract:
Disorder, which is ubiquitous in nature, has been extensively explored in photonics for understanding the fundamental principles of light diffusion and localization, as well as for applications in functional resonators and random lasers. Recently, the investigation of disorder in topological photonics has led to the realization of topological Anderson insulators characterized by an unexpected diso…
▽ More
Disorder, which is ubiquitous in nature, has been extensively explored in photonics for understanding the fundamental principles of light diffusion and localization, as well as for applications in functional resonators and random lasers. Recently, the investigation of disorder in topological photonics has led to the realization of topological Anderson insulators characterized by an unexpected disorder-induced phase transition. However, the observed photonic topological Anderson insulators so far are limited to the time-reversal symmetry breaking systems. Here, we propose and realize a photonic quantum spin Hall topological Anderson insulator without breaking time-reversal symmetry. The disorder-induced topological phase transition is comprehensively confirmed through the theoretical effective Dirac Hamiltonian, numerical analysis of bulk transmission, and experimental examination of bulk and edge transmissions. We present the convincing evidence for the unidirectional propagation and robust transport of helical edge modes, which are the key features of nontrivial time-reversal invariant topological Anderson insulators. Furthermore, we demonstrate disorder-induced beam steering, highlighting the potential of disorder as a new degree of freedom to manipulate light propagation in magnetic-free systems. Our work not only paves the way for observing unique topological photonic phases but also suggests potential device applications through the utilization of disorder.
△ Less
Submitted 13 August, 2024;
originally announced August 2024.
-
Bulk-spatiotemporal vortex correspondence in gyromagnetic double-zero-index media
Authors:
Ruo-Yang Zhang,
Xiaohan Cui,
Yuan-Song Zeng,
Jin Chen,
Wenzhe Liu,
Mudi Wang,
Dongyang Wang,
Zhao-Qing Zhang,
Neng Wang,
Geng-Bo Wu,
C. T. Chan
Abstract:
Photonic double-zero-index media, distinguished by concurrently zero-valued permittivity and permeability, exhibit extraordinary properties not found in nature. Remarkably, the notion of zero-index can be substantially expanded by generalizing the constitutive parameters from null scalars to nonreciprocal tensors with nonzero matrix elements but zero determinants. Here, we experimentally realize s…
▽ More
Photonic double-zero-index media, distinguished by concurrently zero-valued permittivity and permeability, exhibit extraordinary properties not found in nature. Remarkably, the notion of zero-index can be substantially expanded by generalizing the constitutive parameters from null scalars to nonreciprocal tensors with nonzero matrix elements but zero determinants. Here, we experimentally realize such a new class of gyromagnetic double-zero-index metamaterials possessing both double-zero-index features and nonreciprocal hallmarks. As an intrinsic property, this metamaterial always emerges at a spin-1/2 Dirac point of a topological phase transition. We discover and rigorously prove that a spatiotemporal reflection vortex singularity is always anchored to the metamaterial's Dirac point, with the vortex charge being determined by the topological invariant leap across the phase transition. This establishes a unique bulk-spatiotemporal vortex correspondence that extends the protected boundary effects into the time domain and exclusively characterizes topological phase transition points, setting it apart from any pre-existing bulk-boundary correspondence. Based on this correspondence, we propose and experimentally demonstrate a mechanism to deterministically generate optical spatiotemporal vortex pulses with firmly fixed central frequency and momentum, hence showing unparalleled robustness. Our findings uncover deep connections between zero-refractive-index photonics, topological photonics, and singular optics, opening the avenue for the manipulation of space-time topological light fields via the inherent topology of extreme-parameter metamaterials.
△ Less
Submitted 12 August, 2024;
originally announced August 2024.
-
The Diophantine equation $b (b+1) (b+2) = t a (a + 1) (a + 2)$ and gap principle
Authors:
Tsz Ho Chan
Abstract:
In this article, we are interested in whether a product of three consecutive integers $a (a+1) (a+2)$ divides another such product $b (b+1) (b+2)$. If this happens, we prove that there is some gaps between them, namely $b \gg \frac{a \log a)^{1/6}}{\log \log a)^{1/3}}$. We also consider other polynomial sequences such as $a^2 (a^2 + l)$ dividing $b^2 (b^2 + l)$ for some fixed integer $l$. Our meth…
▽ More
In this article, we are interested in whether a product of three consecutive integers $a (a+1) (a+2)$ divides another such product $b (b+1) (b+2)$. If this happens, we prove that there is some gaps between them, namely $b \gg \frac{a \log a)^{1/6}}{\log \log a)^{1/3}}$. We also consider other polynomial sequences such as $a^2 (a^2 + l)$ dividing $b^2 (b^2 + l)$ for some fixed integer $l$. Our method is based on effective Liouville-Baker-Feldman theorem.
△ Less
Submitted 2 August, 2024;
originally announced August 2024.
-
Fast Static and Dynamic Approximation Algorithms for Geometric Optimization Problems: Piercing, Independent Set, Vertex Cover, and Matching
Authors:
Sujoy Bhore,
Timothy M. Chan
Abstract:
We develop simple and general techniques to obtain faster (near-linear time) static approximation algorithms, as well as efficient dynamic data structures, for four fundamental geometric optimization problems: minimum piercing set (MPS), maximum independent set (MIS), minimum vertex cover (MVC), and maximum-cardinality matching (MCM). Highlights of our results include the following:
* For $n$ ax…
▽ More
We develop simple and general techniques to obtain faster (near-linear time) static approximation algorithms, as well as efficient dynamic data structures, for four fundamental geometric optimization problems: minimum piercing set (MPS), maximum independent set (MIS), minimum vertex cover (MVC), and maximum-cardinality matching (MCM). Highlights of our results include the following:
* For $n$ axis-aligned boxes in any constant dimension $d$, we give an $O(\log \log n)$-approximation algorithm for MPS that runs in $O(n^{1+δ})$ time for an arbitrarily small constant $δ>0$. This significantly improves the previous $O(\log\log n)$-approximation algorithm by Agarwal, Har-Peled, Raychaudhury, and Sintos (SODA~2024), which ran in $O(n^{d/2}\mathop{\rm polylog} n)$ time.
* Furthermore, we show that our algorithm can be made fully dynamic with $O(n^δ)$ amortized update time. Previously, Agarwal et al.~(SODA~2024) obtained dynamic results only in $\mathbb{R}^2$ and achieved only $O(\sqrt{n}\mathop{\rm polylog} n)$ amortized expected update time.
* For $n$ axis-aligned rectangles in $\mathbb{R}^2$, we give an $O(1)$-approximation algorithm for MIS that runs in $O(n^{1+δ})$ time. Our result significantly improves the running time of the celebrated algorithm by Mitchell (FOCS~2021) (which was about $O(n^{21})$), and answers one of his open questions. Our algorithm can also be made fully dynamic with $O(n^δ)$ amortized update time.
* For $n$ (unweighted or weighted) fat objects in any constant dimension, we give a dynamic $O(1)$-approximation algorithm for MIS with $O(n^δ)$ amortized update time.
* For disks in $\mathbb{R}^2$ or hypercubes in any constant dimension, we give the first fully dynamic $(1+\varepsilon)$-approximation algorithms for MVC and MCM with $O(\mathop{\rm polylog}n)$ amortized update time.
△ Less
Submitted 30 July, 2024;
originally announced July 2024.
-
Spin-Orbit-Locking Chiral Bound States in the Continuum
Authors:
Xingqi Zhao,
Jiajun Wang,
Wenzhe Liu,
Zhiyuan Che,
Xinhao Wang,
C. T. Chan,
Lei Shi,
Jian Zi
Abstract:
Bound states in the continuum (BICs), which are confined optical modes exhibiting infinite quality factors and carrying topological polarization configurations in momentum space, have recently sparked significant interest across both fundamental and applied physics.} Here we show that breaking time-reversal symmetry by external magnetic field enables a new form of chiral BICs with spin-orbit locki…
▽ More
Bound states in the continuum (BICs), which are confined optical modes exhibiting infinite quality factors and carrying topological polarization configurations in momentum space, have recently sparked significant interest across both fundamental and applied physics.} Here we show that breaking time-reversal symmetry by external magnetic field enables a new form of chiral BICs with spin-orbit locking. Applying a magnetic field to a magneto-optical photonic crystal slab lifts doubly degenerate BICs into a pair of chiral BICs carrying opposite pseudo-spins and orbital angular momenta. Multipole analysis verifies the non-zero angular momenta and reveals the spin-orbital-locking behaviors. In momentum space, we observe ultrahigh quality factors and near-circular polarization surrounding chiral BICs, enabling potential applications in spin-selective nanophotonics. Compared to conventional BICs, the magnetically-induced chiral BICs revealed here exhibit distinct properties and origins, significantly advancing the topological photonics of BICs by incorporating broken time-reversal symmetry.
△ Less
Submitted 20 July, 2024;
originally announced July 2024.
-
cDP-MIL: Robust Multiple Instance Learning via Cascaded Dirichlet Process
Authors:
Yihang Chen,
Tsai Hor Chan,
Guosheng Yin,
Yuming Jiang,
Lequan Yu
Abstract:
Multiple instance learning (MIL) has been extensively applied to whole slide histopathology image (WSI) analysis. The existing aggregation strategy in MIL, which primarily relies on the first-order distance (e.g., mean difference) between instances, fails to accurately approximate the true feature distribution of each instance, leading to biased slide-level representations. Moreover, the scarcity…
▽ More
Multiple instance learning (MIL) has been extensively applied to whole slide histopathology image (WSI) analysis. The existing aggregation strategy in MIL, which primarily relies on the first-order distance (e.g., mean difference) between instances, fails to accurately approximate the true feature distribution of each instance, leading to biased slide-level representations. Moreover, the scarcity of WSI observations easily leads to model overfitting, resulting in unstable testing performance and limited generalizability. To tackle these challenges, we propose a new Bayesian nonparametric framework for multiple instance learning, which adopts a cascade of Dirichlet processes (cDP) to incorporate the instance-to-bag characteristic of the WSIs. We perform feature aggregation based on the latent clusters formed by the Dirichlet process, which incorporates the covariances of the patch features and forms more representative clusters. We then perform bag-level prediction with another Dirichlet process model on the bags, which imposes a natural regularization on learning to prevent overfitting and enhance generalizability. Moreover, as a Bayesian nonparametric method, the cDP model can accurately generate posterior uncertainty, which allows for the detection of outlier samples and tumor localization. Extensive experiments on five WSI benchmarks validate the superior performance of our method, as well as its generalizability and ability to estimate uncertainties. Codes are available at https://github.com/HKU-MedAI/cDPMIL.
△ Less
Submitted 19 July, 2024; v1 submitted 16 July, 2024;
originally announced July 2024.
-
A neural network for forward and inverse nonlinear Fourier transforms for fiber optic communication
Authors:
Wen Qi Zhang,
Terence H. Chan,
Shahraam Afshar V.
Abstract:
We propose a neural network for both forward and inverse continuous nonlinear Fourier transforms, NFT and INFT respectively. We demonstrate the network's capability to perform NFT and INFT for a random mix of NFDM-QAM signals. The network transformations (NFT and INFT) exhibit true characteristics of these transformations; they are significantly different for low and high-power input pulses. The n…
▽ More
We propose a neural network for both forward and inverse continuous nonlinear Fourier transforms, NFT and INFT respectively. We demonstrate the network's capability to perform NFT and INFT for a random mix of NFDM-QAM signals. The network transformations (NFT and INFT) exhibit true characteristics of these transformations; they are significantly different for low and high-power input pulses. The network shows adequate accuracy with an RMSE of 5e-3 for forward and 3e-2 for inverse transforms. We further show that the trained network can be used to perform general nonlinear Fourier transforms on arbitrary pulses beyond the training pulse types.
△ Less
Submitted 14 July, 2024;
originally announced July 2024.
-
Singular viscoelastic perturbation to soft lubrication
Authors:
Bharti Bharti,
Quentin Ferreira,
Aditya Jha,
Andreas Carlson,
David S. Dean,
Yacine Amarouchene,
Tak Shing Chan,
Thomas Salez
Abstract:
Soft lubrication has been shown to drastically affect the mobility of an object immersed in a viscous fluid in the vicinity of a purely elastic wall. In this theoretical study, we develop a minimal model incorporating viscoelasticity, carrying out a perturbation analysis in both the elastic deformation of the wall and its viscous damping. Our approach reveals the singular-perturbation nature of…
▽ More
Soft lubrication has been shown to drastically affect the mobility of an object immersed in a viscous fluid in the vicinity of a purely elastic wall. In this theoretical study, we develop a minimal model incorporating viscoelasticity, carrying out a perturbation analysis in both the elastic deformation of the wall and its viscous damping. Our approach reveals the singular-perturbation nature of viscoelasticity to soft lubrication. Numerical resolution of the resulting non-linear, singular and coupled equations of motion reveals peculiar effects of viscoelasticity on confined colloidal mobility, opening the way towards the description of complex migration scenarios near realistic polymeric substrates and biological membranes.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
Three-dimensional non-reciprocal transport in photonic topological heterostructure of arbitrary shape
Authors:
Mudi Wang,
Ruo-Yang Zhang,
Chenyu Zhang,
Haoran Xue,
Hongwei Jia,
Jing Hu,
Dongyang Wang,
Tianshu Jiang,
C. T. Chan
Abstract:
Electromagnetic wave propagation in three-dimensional space typically suffers omnidirectional scattering when encountering obstacles. In this study, we employed Chern vectors to construct a topological heterostructure, where large-volume non-reciprocal topological transport in three-dimension is achieved. The shape of the cross-section in the heterostructure can be arbitrary designed, and we exper…
▽ More
Electromagnetic wave propagation in three-dimensional space typically suffers omnidirectional scattering when encountering obstacles. In this study, we employed Chern vectors to construct a topological heterostructure, where large-volume non-reciprocal topological transport in three-dimension is achieved. The shape of the cross-section in the heterostructure can be arbitrary designed, and we experimentally observed the distinctive cross-shaped field pattern transport, non-reciprocal energy harvesting, and most importantly, the remarkable ability of electromagnetic wave to traverse obstacles and abrupt structure changes without encountering reflections in 3D space.
△ Less
Submitted 29 June, 2024;
originally announced July 2024.
-
Symmetric Splendor: Unraveling Universally Closest Refinements and Fisher Market Equilibrium through Density-Friendly Decomposition
Authors:
T-H. Hubert Chan,
Quan Xue
Abstract:
We present a comprehensive framework that unifies several research areas within the context of vertex-weighted bipartite graphs, providing deeper insights and improved solutions. The fundamental solution concept for each problem involves refinement, where vertex weights on one side are distributed among incident edges. The primary objective is to identify a refinement pair with specific optimality…
▽ More
We present a comprehensive framework that unifies several research areas within the context of vertex-weighted bipartite graphs, providing deeper insights and improved solutions. The fundamental solution concept for each problem involves refinement, where vertex weights on one side are distributed among incident edges. The primary objective is to identify a refinement pair with specific optimality conditions that can be verified locally. This framework connects existing and new problems that are traditionally studied in different contexts.
We explore three main problems: (1) density-friendly hypergraph decomposition, (2) universally closest distribution refinements problem, and (3) symmetric Fisher Market equilibrium.
Our framework presents a symmetric view of density-friendly hypergraph decomposition, wherein hyperedges and nodes play symmetric roles. This symmetric decomposition serves as a tool for deriving precise characterizations of optimal solutions for other problems and enables the application of algorithms from one problem to another.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
Gapless dynamic magnetic ground state in the charge-gapped trimer iridate Ba$_4$NbIr$_3$O$_{12}$
Authors:
Abhisek Bandyopadhyay,
S. Lee,
D. T. Adroja,
M. R. Lees,
G. B. G. Stenning,
P. Aich,
Luca Tortora,
C. Meneghini,
G. Cibin,
Adam Berlie,
R. A. Saha,
D. Takegami,
A. Melendez-Sans,
G. Poelchen,
M. Yoshimura,
K. D. Tsuei,
Z. Hu,
Ting-Shan Chan,
S. Chattopadhyay,
G. S. Thakur,
Kwang-Yong Choi
Abstract:
We present an experimental investigation of the magnetic ground state in Ba$_4$NbIr$_3$O$_{12}$, a fractional valent trimer iridate. X-ray absorption and photoemission spectroscopy show that the Ir valence lies between 3+ and 4+ while Nb is pentavalent. Combined dc/ac magnetization, specific heat, and muon spin rotation/relaxation ($μ$SR) measurements reveal no magnetic phase transition down to 0.…
▽ More
We present an experimental investigation of the magnetic ground state in Ba$_4$NbIr$_3$O$_{12}$, a fractional valent trimer iridate. X-ray absorption and photoemission spectroscopy show that the Ir valence lies between 3+ and 4+ while Nb is pentavalent. Combined dc/ac magnetization, specific heat, and muon spin rotation/relaxation ($μ$SR) measurements reveal no magnetic phase transition down to 0.05~K. Despite a significant Weiss temperature ($Θ_{\mathrm{W}} \sim -15$ to $-25$~K) indicating antiferromagnetic correlations, a quantum spin-liquid (QSL) phase emerges and persists down to 0.1~K. This state likely arises from geometric frustration in the edge-sharing equilateral triangle Ir network. Our $μ$SR analysis reveals a two-component depolarization, arising from the coexistence of rapidly (90\%) and slowly (10\%) fluctuating Ir moments. Powder x-ray diffraction and Ir-L$_3$edge x-ray absorption fine structure spectroscopy identify ~8-10\% Nb/Ir site-exchange, reducing frustration within part of the Ir network, and likely leading to the faster muon spin relaxation, while the structurally ordered Ir ions remain highly geometrically frustrated, giving rise to the rapidly spin-fluctuating QSL ground state. At low temperatures, the magnetic specific heat varies as $γT + αT^2$, indicating gapless spinon excitations, and possible Dirac QSL features with linear spinon dispersion, respectively.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
Powered numbers in short intervals II
Authors:
Tsz Ho Chan
Abstract:
In this article, we derive a few more facts concerning powered numbers in short intervals both unconditionally and conditionally on the $abc$-conjecture. We make use of sieve method, a polynomial identity, and a recent breakthrough result on density of sets with no $k$-term arithmetic progression.
In this article, we derive a few more facts concerning powered numbers in short intervals both unconditionally and conditionally on the $abc$-conjecture. We make use of sieve method, a polynomial identity, and a recent breakthrough result on density of sets with no $k$-term arithmetic progression.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
Topological photonic alloy
Authors:
Tiantao Qu,
Mudi Wang,
Xiaoyu Cheng,
Xiaohan Cui,
Ruo-Yang Zhang,
Zhao-Qing Zhang,
Lei Zhang,
Jun Chen,
C. T. Chan
Abstract:
We present the new concept of photonic alloy as a non-periodic topological material. By mixing non-magnetized and magnetized rods in a non-periodic 2D photonic crystal configuration, we realized photonic alloys in the microwave regime. Our experimental findings reveal that the photonic alloy sustains non-reciprocal chiral edge states (CESs) even at very low concentration of magnetized rods. The no…
▽ More
We present the new concept of photonic alloy as a non-periodic topological material. By mixing non-magnetized and magnetized rods in a non-periodic 2D photonic crystal configuration, we realized photonic alloys in the microwave regime. Our experimental findings reveal that the photonic alloy sustains non-reciprocal chiral edge states (CESs) even at very low concentration of magnetized rods. The non-trivial topology and the associated edge states of these non-periodic systems can be characterized by the winding of the reflection phase. Our results indicate that the threshold concentrations for the investigated system within the first non-trivial band gap to exhibit topological behavior approach zero in the thermodynamic limit for substitutional alloys, while the threshold remains non-zero for interstitial alloys. At low concentration, the system exhibits an inhomogeneous structure characterized by isolated patches of non-percolating magnetic domains that are spaced far apart within a topologically trivial photonic crystal. Surprisingly, the system manifests CESs despite a local breakdown of time-reversal symmetry rather than a global one. Photonic alloys represent a new category of disordered topological materials, offering exciting opportunities for exploring topological materials with adjustable gaps.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
Snowflake: A Distributed Streaming Decoder
Authors:
Tim Chan
Abstract:
We design Snowflake, a quantum error correction decoder that runs in a streaming fashion and is capable of a simple, local implementation. In doing so we propose a new method for general stream decoding that eliminates the processing overhead due to window overlap in existing windowing methods. As a first study, we test our local implementation of Snowflake on the surface code under circuit-level…
▽ More
We design Snowflake, a quantum error correction decoder that runs in a streaming fashion and is capable of a simple, local implementation. In doing so we propose a new method for general stream decoding that eliminates the processing overhead due to window overlap in existing windowing methods. As a first study, we test our local implementation of Snowflake on the surface code under circuit-level noise. It recovers roughly 2/3 the accuracy threshold of the Union-Find decoder adapted with a windowing method, with a better mean runtime scaling: subquadratic as opposed to cubic in code distance $d$. We discuss how Snowflake may be implemented on a 2D chip and decode not just quantum memory but lattice surgery-based computation.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Oscillations in neuronal activity: a neuron-centered spatiotemporal model of the Unfolded Protein Response in prion diseases
Authors:
Elliot M. Miller,
Tat Chung D. Chan,
Carlos Montes-Matamoros,
Omar Sharif,
Laurent Pujo-Menjouet,
Michael R. Lindstrom
Abstract:
Many neurodegenerative diseases (NDs) are characterized by the slow spatial spread of toxic protein species in the brain. The toxic proteins can induce neuronal stress, triggering the Unfolded Protein Response (UPR), which slows or stops protein translation and can indirectly reduce the toxic load. However, the UPR may also trigger processes leading to apoptotic cell death and the UPR is implicate…
▽ More
Many neurodegenerative diseases (NDs) are characterized by the slow spatial spread of toxic protein species in the brain. The toxic proteins can induce neuronal stress, triggering the Unfolded Protein Response (UPR), which slows or stops protein translation and can indirectly reduce the toxic load. However, the UPR may also trigger processes leading to apoptotic cell death and the UPR is implicated in the progression of several NDs. In this paper, we develop a novel mathematical model to describe the spatiotemporal dynamics of the UPR mechanism for prion diseases. Our model is centered around a single neuron, with representative proteins P (healthy) and S (toxic) interacting with heterodimer dynamics (S interacts with P to form two S's). The model takes the form of a coupled system of nonlinear reaction-diffusion equations with a delayed, nonlinear flux for P (delay from the UPR). Through the delay, we find parameter regimes that exhibit oscillations in the P- and S-protein levels. We find that oscillations are more pronounced when the S-clearance rate and S-diffusivity are small in comparison to the P-clearance rate and P-diffusivity, respectively. The oscillations become more pronounced as delays in initiating the UPR increase. We also consider quasi-realistic clinical parameters to understand how possible drug therapies can alter the course of a prion disease. We find that decreasing the production of P, decreasing the recruitment rate, increasing the diffusivity of S, increasing the UPR S-threshold, and increasing the S clearance rate appear to be the most powerful modifications to reduce the mean UPR intensity and potentially moderate the disease progression.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
Effective Clustering on Large Attributed Bipartite Graphs
Authors:
Renchi Yang,
Yidu Wu,
Xiaoyang Lin,
Qichen Wang,
Tsz Nam Chan,
Jieming Shi
Abstract:
Attributed bipartite graphs (ABGs) are an expressive data model for describing the interactions between two sets of heterogeneous nodes that are associated with rich attributes, such as customer-product purchase networks and author-paper authorship graphs. Partitioning the target node set in such graphs into k disjoint clusters (referred to as k-ABGC) finds widespread use in various domains, inclu…
▽ More
Attributed bipartite graphs (ABGs) are an expressive data model for describing the interactions between two sets of heterogeneous nodes that are associated with rich attributes, such as customer-product purchase networks and author-paper authorship graphs. Partitioning the target node set in such graphs into k disjoint clusters (referred to as k-ABGC) finds widespread use in various domains, including social network analysis, recommendation systems, information retrieval, and bioinformatics. However, the majority of existing solutions towards k-ABGC either overlook attribute information or fail to capture bipartite graph structures accurately, engendering severely compromised result quality. The severity of these issues is accentuated in real ABGs, which often encompass millions of nodes and a sheer volume of attribute data, rendering effective k-ABGC over such graphs highly challenging.
In this paper, we propose TPO, an effective and efficient approach to k-ABGC that achieves superb clustering performance on multiple real datasets. TPO obtains high clustering quality through two major contributions: (i) a novel formulation and transformation of the k-ABGC problem based on multi-scale attribute affinity specialized for capturing attribute affinities between nodes with the consideration of their multi-hop connections in ABGs, and (ii) a highly efficient solver that includes a suite of carefully-crafted optimizations for sidestepping explicit affinity matrix construction and facilitating faster convergence. Extensive experiments, comparing TPO against 19 baselines over 5 real ABGs, showcase the superior clustering quality of TPO measured against ground-truth labels. Moreover, compared to the state of the arts, TPO is often more than 40x faster over both small and large ABGs.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
VS-Assistant: Versatile Surgery Assistant on the Demand of Surgeons
Authors:
Zhen Chen,
Xingjian Luo,
Jinlin Wu,
Danny T. M. Chan,
Zhen Lei,
Jinqiao Wang,
Sebastien Ourselin,
Hongbin Liu
Abstract:
The surgical intervention is crucial to patient healthcare, and many studies have developed advanced algorithms to provide understanding and decision-making assistance for surgeons. Despite great progress, these algorithms are developed for a single specific task and scenario, and in practice require the manual combination of different functions, thus limiting the applicability. Thus, an intellige…
▽ More
The surgical intervention is crucial to patient healthcare, and many studies have developed advanced algorithms to provide understanding and decision-making assistance for surgeons. Despite great progress, these algorithms are developed for a single specific task and scenario, and in practice require the manual combination of different functions, thus limiting the applicability. Thus, an intelligent and versatile surgical assistant is expected to accurately understand the surgeon's intentions and accordingly conduct the specific tasks to support the surgical process. In this work, by leveraging advanced multimodal large language models (MLLMs), we propose a Versatile Surgery Assistant (VS-Assistant) that can accurately understand the surgeon's intention and complete a series of surgical understanding tasks, e.g., surgical scene analysis, surgical instrument detection, and segmentation on demand. Specifically, to achieve superior surgical multimodal understanding, we devise a mixture of projectors (MOP) module to align the surgical MLLM in VS-Assistant to balance the natural and surgical knowledge. Moreover, we devise a surgical Function-Calling Tuning strategy to enable the VS-Assistant to understand surgical intentions, and thus make a series of surgical function calls on demand to meet the needs of the surgeons. Extensive experiments on neurosurgery data confirm that our VS-Assistant can understand the surgeon's intention more accurately than the existing MLLM, resulting in overwhelming performance in textual analysis and visual tasks. Source code and models will be made public.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
SAM3D: Zero-Shot Semi-Automatic Segmentation in 3D Medical Images with the Segment Anything Model
Authors:
Trevor J. Chan,
Aarush Sahni,
Yijin Fang,
Jie Li,
Alisha Luthra,
Alison Pouch,
Chamith S. Rajapakse
Abstract:
We introduce SAM3D, a new approach to semi-automatic zero-shot segmentation of 3D images building on the existing Segment Anything Model. We achieve fast and accurate segmentations in 3D images with a four-step strategy involving: user prompting with 3D polylines, volume slicing along multiple axes, slice-wide inference with a pretrained model, and recomposition and refinement in 3D. We evaluated…
▽ More
We introduce SAM3D, a new approach to semi-automatic zero-shot segmentation of 3D images building on the existing Segment Anything Model. We achieve fast and accurate segmentations in 3D images with a four-step strategy involving: user prompting with 3D polylines, volume slicing along multiple axes, slice-wide inference with a pretrained model, and recomposition and refinement in 3D. We evaluated SAM3D performance qualitatively on an array of imaging modalities and anatomical structures and quantify performance for specific structures in abdominal pelvic CT and brain MRI. Notably, our method achieves good performance with zero model training or finetuning, making it particularly useful for tasks with a scarcity of preexisting labeled data. By enabling users to create 3D segmentations of unseen data quickly and with dramatically reduced manual input, these methods have the potential to aid surgical planning and education, diagnostic imaging, and scientific research.
△ Less
Submitted 7 August, 2024; v1 submitted 10 May, 2024;
originally announced May 2024.
-
Reverse Forward Curriculum Learning for Extreme Sample and Demonstration Efficiency in Reinforcement Learning
Authors:
Stone Tao,
Arth Shukla,
Tse-kai Chan,
Hao Su
Abstract:
Reinforcement learning (RL) presents a promising framework to learn policies through environment interaction, but often requires an infeasible amount of interaction data to solve complex tasks from sparse rewards. One direction includes augmenting RL with offline data demonstrating desired tasks, but past work often require a lot of high-quality demonstration data that is difficult to obtain, espe…
▽ More
Reinforcement learning (RL) presents a promising framework to learn policies through environment interaction, but often requires an infeasible amount of interaction data to solve complex tasks from sparse rewards. One direction includes augmenting RL with offline data demonstrating desired tasks, but past work often require a lot of high-quality demonstration data that is difficult to obtain, especially for domains such as robotics. Our approach consists of a reverse curriculum followed by a forward curriculum. Unique to our approach compared to past work is the ability to efficiently leverage more than one demonstration via a per-demonstration reverse curriculum generated via state resets. The result of our reverse curriculum is an initial policy that performs well on a narrow initial state distribution and helps overcome difficult exploration problems. A forward curriculum is then used to accelerate the training of the initial policy to perform well on the full initial state distribution of the task and improve demonstration and sample efficiency. We show how the combination of a reverse curriculum and forward curriculum in our method, RFCL, enables significant improvements in demonstration and sample efficiency compared against various state-of-the-art learning-from-demonstration baselines, even solving previously unsolvable tasks that require high precision and control.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
Spontaneous emission decay and excitation in photonic temporal crystals
Authors:
Jagang Park,
Kyungmin Lee,
Ruo-Yang Zhang,
Hee-Chul Park,
Jung-Wan Ryu,
Gil Young Cho,
Min Yeul Lee,
Zhaoqing Zhang,
Namkyoo Park,
Wonju Jeon,
Jonghwa Shin,
C. T. Chan,
Bumki Min
Abstract:
Over the last few decades, the prominent strategies for controlling spontaneous emission has been the use of resonant or space-periodic photonic structures. This approach, initially articulated by Purcell and later expanded upon by Yablonovitch in the context of photonic crystals, leverages the spatial surroundings to modify the spontaneous emission decay rate of atoms or quantum emitters. However…
▽ More
Over the last few decades, the prominent strategies for controlling spontaneous emission has been the use of resonant or space-periodic photonic structures. This approach, initially articulated by Purcell and later expanded upon by Yablonovitch in the context of photonic crystals, leverages the spatial surroundings to modify the spontaneous emission decay rate of atoms or quantum emitters. However, the rise of time-varying photonics has compelled a reevaluation of the spontaneous emission process within dynamically changing environments, especially concerning photonic temporal crystals where optical properties undergo time-periodic modulation. Here, we apply classical light-matter interaction theory along with Floquet analysis to reveal a substantial enhancement in the spontaneous emission decay rate at the momentum gap frequency in photonic temporal crystals. This enhancement is attributed to time-periodicity-induced loss and gain mechanisms, as well as the non-orthogonality of Floquet eigenstates that are inherent to photonic temporal crystals. Intriguingly, our findings also suggest that photonic temporal crystals enable the spontaneous excitation of an atom from its ground state to an excited state, accompanied by the concurrent emission of a photon.
△ Less
Submitted 20 April, 2024;
originally announced April 2024.
-
Learning the Domain Specific Inverse NUFFT for Accelerated Spiral MRI using Diffusion Models
Authors:
Trevor J. Chan,
Chamith S. Rajapakse
Abstract:
Deep learning methods for accelerated MRI achieve state-of-the-art results but largely ignore additional speedups possible with noncartesian sampling trajectories. To address this gap, we created a generative diffusion model-based reconstruction algorithm for multi-coil highly undersampled spiral MRI. This model uses conditioning during training as well as frequency-based guidance to ensure consis…
▽ More
Deep learning methods for accelerated MRI achieve state-of-the-art results but largely ignore additional speedups possible with noncartesian sampling trajectories. To address this gap, we created a generative diffusion model-based reconstruction algorithm for multi-coil highly undersampled spiral MRI. This model uses conditioning during training as well as frequency-based guidance to ensure consistency between images and measurements. Evaluated on retrospective data, we show high quality (structural similarity > 0.87) in reconstructed images with ultrafast scan times (0.02 seconds for a 2D image). We use this algorithm to identify a set of optimal variable-density spiral trajectories and show large improvements in image quality compared to conventional reconstruction using the non-uniform fast Fourier transform. By combining efficient spiral sampling trajectories, multicoil imaging, and deep learning reconstruction, these methods could enable the extremely high acceleration factors needed for real-time 3D imaging.
△ Less
Submitted 10 May, 2024; v1 submitted 18 April, 2024;
originally announced April 2024.
-
Automating REST API Postman Test Cases Using LLM
Authors:
S Deepika Sri,
Mohammed Aadil S,
Sanjjushri Varshini R,
Raja CSP Raman,
Gopinath Rajagopal,
S Taranath Chan
Abstract:
In the contemporary landscape of technological advancements, the automation of manual processes is crucial, compelling the demand for huge datasets to effectively train and test machines. This research paper is dedicated to the exploration and implementation of an automated approach to generate test cases specifically using Large Language Models. The methodology integrates the use of Open AI to en…
▽ More
In the contemporary landscape of technological advancements, the automation of manual processes is crucial, compelling the demand for huge datasets to effectively train and test machines. This research paper is dedicated to the exploration and implementation of an automated approach to generate test cases specifically using Large Language Models. The methodology integrates the use of Open AI to enhance the efficiency and effectiveness of test case generation for training and evaluating Large Language Models. This formalized approach with LLMs simplifies the testing process, making it more efficient and comprehensive. Leveraging natural language understanding, LLMs can intelligently formulate test cases that cover a broad range of REST API properties, ensuring comprehensive testing. The model that is developed during the research is trained using manually collected postman test cases or instances for various Rest APIs. LLMs enhance the creation of Postman test cases by automating the generation of varied and intricate test scenarios. Postman test cases offer streamlined automation, collaboration, and dynamic data handling, providing a user-friendly and efficient approach to API testing compared to traditional test cases. Thus, the model developed not only conforms to current technological standards but also holds the promise of evolving into an idea of substantial importance in future technological advancements.
△ Less
Submitted 16 April, 2024;
originally announced April 2024.
-
Dynamic Transfer Policies for Parallel Queues
Authors:
Timothy C. Y. Chan,
Jangwon Park,
Vahid Sarhangian
Abstract:
We consider the problem of load balancing in parallel queues by transferring customers between them at discrete points in time. Holding costs accrue as customers wait in the queue, while transfer decisions incur both fixed (setup) and variable costs proportional to the number and direction of transfers. Our work is primarily motivated by inter-facility patient transfers between hospitals during a…
▽ More
We consider the problem of load balancing in parallel queues by transferring customers between them at discrete points in time. Holding costs accrue as customers wait in the queue, while transfer decisions incur both fixed (setup) and variable costs proportional to the number and direction of transfers. Our work is primarily motivated by inter-facility patient transfers between hospitals during a surge in demand for hospitalization (e.g., during a pandemic). By analyzing an associated fluid control problem, we show that under fairly general assumptions including time-varying arrivals and convex increasing holding costs, the optimal policy in each period partitions the state-space into a well-defined $\textit{no-transfer region}$ and its complement, such that transferring is optimal if and only if the system is sufficiently imbalanced. In the absence of fixed transfer costs, an optimal policy moves the state to the no-transfer region's boundary; in contrast, with fixed costs, the state is moved to the no-transfer region's relative interior. We further leverage the fluid control problem to provide insights on the trade-off between holding and transfer costs, emphasizing the importance of preventing excessive idleness when transfers are not feasible in continuous-time. Using simulation experiments, we investigate the performance and robustness of the fluid policy for the stochastic system. In particular, our case study calibrated using data during the pandemic in the Greater Toronto Area demonstrates that transferring patients between hospitals could result in up to 27.7% reduction in total cost with relatively few transfers.
△ Less
Submitted 30 March, 2024;
originally announced April 2024.
-
Network Flow Models for Robust Binary Optimization with Selective Adaptability
Authors:
Merve Bodur,
Timothy C. Y. Chan,
Ian Yihang Zhu
Abstract:
Adaptive robust optimization problems have received significant attention in recent years, but remain notoriously difficult to solve when recourse decisions are discrete in nature. In this paper, we propose new reformulation techniques for adaptive robust binary optimization (ARBO) problems with objective uncertainty. Without loss of generality, we focus on ARBO problems with "selective adaptabili…
▽ More
Adaptive robust optimization problems have received significant attention in recent years, but remain notoriously difficult to solve when recourse decisions are discrete in nature. In this paper, we propose new reformulation techniques for adaptive robust binary optimization (ARBO) problems with objective uncertainty. Without loss of generality, we focus on ARBO problems with "selective adaptability", a term we coin to describe a common class of linking constraints between first-stage and second-stage solutions. Our main contribution revolves around a collection of exact and approximate network flow reformulations for the ARBO problem, which we develop by building upon ideas from the decision diagram literature. Our proposed models can generate feasible solutions, primal bounds and dual bounds, while their size and approximation quality can be precisely controlled through user-specified parameters. Furthermore, and in contrast with existing solution methods, these models are easy to implement and can be solved directly with standard off-the-shelf solvers. Through an extensive set of computational experiments, we show that our models can generate high-quality solutions and dual bounds in significantly less time than popular benchmark methods, often by orders of magnitude.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
Convex Polygon Containment: Improving Quadratic to Near Linear Time
Authors:
Timothy M. Chan,
Isaac M. Hair
Abstract:
We revisit a standard polygon containment problem: given a convex $k$-gon $P$ and a convex $n$-gon $Q$ in the plane, find a placement of $P$ inside $Q$ under translation and rotation (if it exists), or more generally, find the largest copy of $P$ inside $Q$ under translation, rotation, and scaling.
Previous algorithms by Chazelle (1983), Sharir and Toledo (1994), and Agarwal, Amenta, and Sharir…
▽ More
We revisit a standard polygon containment problem: given a convex $k$-gon $P$ and a convex $n$-gon $Q$ in the plane, find a placement of $P$ inside $Q$ under translation and rotation (if it exists), or more generally, find the largest copy of $P$ inside $Q$ under translation, rotation, and scaling.
Previous algorithms by Chazelle (1983), Sharir and Toledo (1994), and Agarwal, Amenta, and Sharir (1998) all required $Ω(n^2)$ time, even in the simplest $k=3$ case. We present a significantly faster new algorithm for $k=3$ achieving $O(n$polylog $n)$ running time. Moreover, we extend the result for general $k$, achieving $O(k^{O(1/\varepsilon)}n^{1+\varepsilon})$ running time for any $\varepsilon>0$.
Along the way, we also prove a new $O(k^{O(1)}n$polylog $n)$ bound on the number of similar copies of $P$ inside $Q$ that have 4 vertices of $P$ in contact with the boundary of $Q$ (assuming general position input), disproving a conjecture by Agarwal, Amenta, and Sharir (1998).
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Semialgebraic Range Stabbing, Ray Shooting, and Intersection Counting in the Plane
Authors:
Timothy M. Chan,
Pingan Cheng,
Da Wei Zheng
Abstract:
Polynomial partitioning techniques have recently led to improved geometric data structures for a variety of fundamental problems related to semialgebraic range searching and intersection searching in 3D and higher dimensions (e.g., see [Agarwal, Aronov, Ezra, and Zahl, SoCG 2019; Ezra and Sharir, SoCG 2021; Agarwal, Aronov, Ezra, Katz, and Sharir, SoCG 2022]). They have also led to improved algori…
▽ More
Polynomial partitioning techniques have recently led to improved geometric data structures for a variety of fundamental problems related to semialgebraic range searching and intersection searching in 3D and higher dimensions (e.g., see [Agarwal, Aronov, Ezra, and Zahl, SoCG 2019; Ezra and Sharir, SoCG 2021; Agarwal, Aronov, Ezra, Katz, and Sharir, SoCG 2022]). They have also led to improved algorithms for offline versions of semialgebraic range searching in 2D, via lens-cutting [Sharir and Zahl (2017)]. In this paper, we show that these techniques can yield new data structures for a number of other 2D problems even for online queries:
1. Semialgebraic range stabbing. We present a data structure for $n$ semialgebraic ranges in 2D of constant description complexity with $O(n^{3/2+\varepsilon})$ preprocessing time and space, so that we can count the number of ranges containing a query point in $O(n^{1/4+\varepsilon})$ time, for an arbitrarily small constant $\varepsilon>0$.
2. Ray shooting amid algebraic arcs. We present a data structure for $n$ algebraic arcs in 2D of constant description complexity with $O(n^{3/2+\varepsilon})$ preprocessing time and space, so that we can find the first arc hit by a query (straight-line) ray in $O(n^{1/4+\varepsilon})$ time.
3. Intersection counting amid algebraic arcs. We present a data structure for $n$ algebraic arcs in 2D of constant description complexity with $O(n^{3/2+\varepsilon})$ preprocessing time and space, so that we can count the number of intersection points with a query algebraic arc of constant description complexity in $O(n^{1/2+\varepsilon})$ time. In particular, this implies an $O(n^{3/2+\varepsilon})$-time algorithm for counting intersections between two sets of $n$ algebraic arcs in 2D.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
HDLdebugger: Streamlining HDL debugging with Large Language Models
Authors:
Xufeng Yao,
Haoyang Li,
Tsz Ho Chan,
Wenyi Xiao,
Mingxuan Yuan,
Yu Huang,
Lei Chen,
Bei Yu
Abstract:
In the domain of chip design, Hardware Description Languages (HDLs) play a pivotal role. However, due to the complex syntax of HDLs and the limited availability of online resources, debugging HDL codes remains a difficult and time-intensive task, even for seasoned engineers. Consequently, there is a pressing need to develop automated HDL code debugging models, which can alleviate the burden on har…
▽ More
In the domain of chip design, Hardware Description Languages (HDLs) play a pivotal role. However, due to the complex syntax of HDLs and the limited availability of online resources, debugging HDL codes remains a difficult and time-intensive task, even for seasoned engineers. Consequently, there is a pressing need to develop automated HDL code debugging models, which can alleviate the burden on hardware engineers. Despite the strong capabilities of Large Language Models (LLMs) in generating, completing, and debugging software code, their utilization in the specialized field of HDL debugging has been limited and, to date, has not yielded satisfactory results. In this paper, we propose an LLM-assisted HDL debugging framework, namely HDLdebugger, which consists of HDL debugging data generation via a reverse engineering approach, a search engine for retrieval-augmented generation, and a retrieval-augmented LLM fine-tuning approach. Through the integration of these components, HDLdebugger can automate and streamline HDL debugging for chip design. Our comprehensive experiments, conducted on an HDL code dataset sourced from Huawei, reveal that HDLdebugger outperforms 13 cutting-edge LLM baselines, displaying exceptional effectiveness in HDL code debugging.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
The Contextual Fraction as a Measure of Entanglement
Authors:
Tim Chan,
Andrei Constantin
Abstract:
The contextual fraction introduced by Abramsky and Brandenburger defines a quantitative measure of contextuality associated with empirical models, i.e. tables of probabilities of measurement outcomes in experimental scenarios. In this paper we define a measure of entanglement relying on the contextual fraction. We first show that any separable state is necessarily non-contextual, regardless of the…
▽ More
The contextual fraction introduced by Abramsky and Brandenburger defines a quantitative measure of contextuality associated with empirical models, i.e. tables of probabilities of measurement outcomes in experimental scenarios. In this paper we define a measure of entanglement relying on the contextual fraction. We first show that any separable state is necessarily non-contextual, regardless of the measurement scenario. Then, for bipartite states we associate a distinguished empirical model and show that the corresponding contextual fraction is positively correlated with the entanglement entropy of the state, suggesting that contextuality may be regarded as a refinement of entanglement.
△ Less
Submitted 11 March, 2024;
originally announced March 2024.
-
Novel quantum spin liquid ground state in the trimer rhodate Ba$_4$NbRh$_3$O$_{12}$
Authors:
Abhisek Bandyopadhyay,
S. Lee,
D. T. Adroja,
G. B. G. Stenning,
Adam Berlie,
M. R. Lees,
R. A. Saha,
D. Takegami,
A. Melendez-Sans,
G. Poelchen,
M. Yoshimura,
K. D. Tsuei,
Z. Hu,
Cheng-Wei Kao,
Yu-Cheng Huang,
Ting-Shan Chan,
Kwang-Yong Cho
Abstract:
Frustrated magnets offer a plethora of exotic magnetic ground states, including quantum spin liquids (QSLs), in which enhanced quantum fluctuations prevent a long-range magnetic ordering of the strongly correlated spins down to lowest temperature. Here we have investigated the trimer based mixed valence hexagonal rhodate Ba$_4$NbRh$_3$O$_{12}$ using a combination of dc and ac magnetization, electr…
▽ More
Frustrated magnets offer a plethora of exotic magnetic ground states, including quantum spin liquids (QSLs), in which enhanced quantum fluctuations prevent a long-range magnetic ordering of the strongly correlated spins down to lowest temperature. Here we have investigated the trimer based mixed valence hexagonal rhodate Ba$_4$NbRh$_3$O$_{12}$ using a combination of dc and ac magnetization, electrical resistivity, specific heat, and muon spin rotation/relaxation ($μ$SR) measurements. Despite the substantial antiferromagnetic exchange interactions, as evident from the Weiss temperature ($θ_{\mathrm{W}}\sim -35$ to -45 K), among the Rh-local moments, neither long-range magnetic ordering nor spin-freezing is observed down to at least 50 mK, in ac-susceptibility, specific heat and ZF-$μ$SR measurements (down to 0.26 K). We ascribe the absence of any magnetic transition to enhanced quantum fluctuations as a result of geometrical frustration arising out of the edge-sharing equilateral Rh-triangular network in the structure. Our longitudinal-field $μ$SR result evidences persistent spin fluctuations down to 0.26~K, thus stabilizing a dynamic QSL ground state in Ba$_4$NbRh$_3$O$_{12}$. Furthermore, the magnetic specific heat ($C_{\mathrm{m}}$) data at low-$T$ reveal a significant $T$-linear contribution plus a quadratic $T$-dependence. A $T$-linear behavior is evocative of gapless spin excitations, while the $T^2$-term of $C_{\mathrm{m}}$ may indicate the Dirac QSL phenomenology of the spinon excitations with a linear dispersion.
△ Less
Submitted 11 March, 2024;
originally announced March 2024.
-
IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability
Authors:
Tsz Ho Chan,
Wenyi Xiao,
Junhua Huang,
Huiling Zhen,
Guangji Tian,
Mingxuan Yuan
Abstract:
Boolean Satisfiability problems are vital components in Electronic Design Automation, particularly within the Logic Equivalence Checking process. Currently, SAT solvers are employed for these problems and neural network is tried as assistance to solvers. However, as SAT problems in the LEC context are distinctive due to their predominantly unsatisfiability nature and a substantial proportion of UN…
▽ More
Boolean Satisfiability problems are vital components in Electronic Design Automation, particularly within the Logic Equivalence Checking process. Currently, SAT solvers are employed for these problems and neural network is tried as assistance to solvers. However, as SAT problems in the LEC context are distinctive due to their predominantly unsatisfiability nature and a substantial proportion of UNSAT-core variables, existing neural network assistance has proven unsuccessful in this specialized domain. To tackle this challenge, we propose IB-Net, an innovative framework utilizing graph neural networks and novel graph encoding techniques to model unsatisfiable problems and interact with state-of-the-art solvers. Extensive evaluations across solvers and datasets demonstrate IB-Net's acceleration, achieving an average runtime speedup of 5.0% on industrial data and 8.3% on SAT competition data empirically. This breakthrough advances efficient solving in LEC workflows.
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
Enclosing Points with Geometric Objects
Authors:
Timothy M. Chan,
Qizheng He,
Jie Xue
Abstract:
Let $X$ be a set of points in $\mathbb{R}^2$ and $\mathcal{O}$ be a set of geometric objects in $\mathbb{R}^2$, where $|X| + |\mathcal{O}| = n$. We study the problem of computing a minimum subset $\mathcal{O}^* \subseteq \mathcal{O}$ that encloses all points in $X$. Here a point $x \in X$ is enclosed by $\mathcal{O}^*$ if it lies in a bounded connected component of…
▽ More
Let $X$ be a set of points in $\mathbb{R}^2$ and $\mathcal{O}$ be a set of geometric objects in $\mathbb{R}^2$, where $|X| + |\mathcal{O}| = n$. We study the problem of computing a minimum subset $\mathcal{O}^* \subseteq \mathcal{O}$ that encloses all points in $X$. Here a point $x \in X$ is enclosed by $\mathcal{O}^*$ if it lies in a bounded connected component of $\mathbb{R}^2 \backslash (\bigcup_{O \in \mathcal{O}^*} O)$. We propose two algorithmic frameworks to design polynomial-time approximation algorithms for the problem. The first framework is based on sparsification and min-cut, which results in $O(1)$-approximation algorithms for unit disks, unit squares, etc. The second framework is based on LP rounding, which results in an $O(α(n)\log n)$-approximation algorithm for segments, where $α(n)$ is the inverse Ackermann function, and an $O(\log n)$-approximation algorithm for disks.
△ Less
Submitted 1 March, 2024; v1 submitted 27 February, 2024;
originally announced February 2024.
-
A study guide for the $\ell^2$ decoupling theorem for the paraboloid
Authors:
Ataleshvara Bhargava,
Tiklung Chan,
Zi Li Lim,
Yixuan Pang
Abstract:
This article serves as a study guide for the $\ell^2$ decoupling theorem for the paraboloid originally proved by Bourgain and Demeter. Given its popularity and importance, many expositions about the $\ell^2$ decoupling theorem already exist. Our study guide is intended to complement and combine these existing resources in order to provide a more gentle introduction to the subject.
This article serves as a study guide for the $\ell^2$ decoupling theorem for the paraboloid originally proved by Bourgain and Demeter. Given its popularity and importance, many expositions about the $\ell^2$ decoupling theorem already exist. Our study guide is intended to complement and combine these existing resources in order to provide a more gentle introduction to the subject.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
-
Janus Bound States in the Continuum with Asymmetric Topological Charges and Intrinsic Chirality
Authors:
Meng Kang,
Meng Xiao,
C. T. Chan
Abstract:
We propose a novel topological defect called Janus bound states in the continuum (BICs), featuring asymmetric topological charges in upward and downward radiation channels. Our approach involves a photonic crystal slab (PCS) that initially exhibits both out-of-plane and in-plane mirror symmetry, and this PCS possesses one BIC at the $Γ$ point and two BICs off the $Γ$ point. By introducing perturba…
▽ More
We propose a novel topological defect called Janus bound states in the continuum (BICs), featuring asymmetric topological charges in upward and downward radiation channels. Our approach involves a photonic crystal slab (PCS) that initially exhibits both out-of-plane and in-plane mirror symmetry, and this PCS possesses one BIC at the $Γ$ point and two BICs off the $Γ$ point. By introducing perturbations that break the out-of-plane mirror symmetry, the two off-$Γ$ BICs decompose into four circularly polarized states (C points) with identical topological charges. Then, we selectively manipulate the four C points associated with downward radiation channel to converge at the at-$Γ$ BIC, forming a Janus BIC with Janus topological charges. By further introducing in-plane mirror symmetry perturbation, we can bring two of the C points with the same handedness and identical topological charges for upward radiation to merge into the Janus BIC. This process results in a Janus chiral BIC which exhibits large intrinsic chirality and an infinite Q factor. Janus BICs can induce distinct Pancharatnam-Berry phase singularities in momentum space for different incident channels, providing a new approach to control optical angular momentum. Janus chiral BICs hold promise in enhancing direction-dependent and spin-dependent asymmetric light-matter interaction, opening new pathways for improving chirality-dependent operation for on-chip devices.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
Design and Visual Servoing Control of a Hybrid Dual-Segment Flexible Neurosurgical Robot for Intraventricular Biopsy
Authors:
Jian Chen,
Mingcong Chen,
Qingxiang Zhao,
Shuai Wang,
Yihe Wang,
Ying Xiao,
Jian Hu,
Danny Tat Ming Chan,
Kam Tong Leo Yeung,
David Yuen Chung Chan,
Hongbin Liu
Abstract:
Traditional rigid endoscopes have challenges in flexibly treating tumors located deep in the brain, and low operability and fixed viewing angles limit its development. This study introduces a novel dual-segment flexible robotic endoscope MicroNeuro, designed to perform biopsies with dexterous surgical manipulation deep in the brain. Taking into account the uncertainty of the control model, an imag…
▽ More
Traditional rigid endoscopes have challenges in flexibly treating tumors located deep in the brain, and low operability and fixed viewing angles limit its development. This study introduces a novel dual-segment flexible robotic endoscope MicroNeuro, designed to perform biopsies with dexterous surgical manipulation deep in the brain. Taking into account the uncertainty of the control model, an image-based visual servoing with online robot Jacobian estimation has been implemented to enhance motion accuracy. Furthermore, the application of model predictive control with constraints significantly bolsters the flexible robot's ability to adaptively track mobile objects and resist external interference. Experimental results underscore that the proposed control system enhances motion stability and precision. Phantom testing substantiates its considerable potential for deployment in neurosurgery.
△ Less
Submitted 23 February, 2024; v1 submitted 14 February, 2024;
originally announced February 2024.
-
Mechanism Design for Automated Market Makers
Authors:
T-H. Hubert Chan,
Ke Wu,
Elaine Shi
Abstract:
Blockchains have popularized automated market makers (AMMs). An AMM exchange is an application running on a blockchain which maintains a pool of crypto-assets and automatically trades assets with users governed by some pricing function that prices the assets based on their relative demand/supply. AMMs have created an important challenge commonly known as the Miner Extractable Value (MEV). In parti…
▽ More
Blockchains have popularized automated market makers (AMMs). An AMM exchange is an application running on a blockchain which maintains a pool of crypto-assets and automatically trades assets with users governed by some pricing function that prices the assets based on their relative demand/supply. AMMs have created an important challenge commonly known as the Miner Extractable Value (MEV). In particular, the miners who control the contents and ordering of transactions in a block can extract value by front-running and back-running users' transactions, leading to arbitrage opportunities that guarantee them risk-free returns.
In this paper, we consider how to design AMM mechanisms that eliminate MEV opportunities. Specifically, we propose a new AMM mechanism that processes all transactions contained within a block in a batch. We show that our new mechanism satisfies two tiers of guarantees. First, for legacy blockchains where each block is proposed by a single (possibly rotating) miner, we prove that our mechanism satisfies arbitrage resilience, i.e., a miner cannot gain risk-free profit. Moreover, we also guarantee fair treatment among all transactions within the same block, such that the miner is unable to sell off favorable positions in the block to users or arbitragers. Second, for blockchains where the block proposal process is decentralized and offers sequencing-fairness, we prove a stronger notion called incentive compatibility -- roughly speaking, we guarantee that any individual user's best response is to follow the honest strategy.
△ Less
Submitted 21 April, 2024; v1 submitted 14 February, 2024;
originally announced February 2024.
-
Fully Dynamic Geometric Vertex Cover and Matching
Authors:
Sujoy Bhore,
Timothy M. Chan
Abstract:
In this work, we study two fundamental graph optimization problems, minimum vertex cover (MVC) and maximum-cardinality matching (MCM), for intersection graphs of geometric objects, e.g., disks, rectangles, hypercubes, etc., in $d$-dimensional Euclidean space. We consider the problems in fully dynamic settings, allowing insertions and deletions of objects.
We develop a general framework for dynam…
▽ More
In this work, we study two fundamental graph optimization problems, minimum vertex cover (MVC) and maximum-cardinality matching (MCM), for intersection graphs of geometric objects, e.g., disks, rectangles, hypercubes, etc., in $d$-dimensional Euclidean space. We consider the problems in fully dynamic settings, allowing insertions and deletions of objects.
We develop a general framework for dynamic MVC in intersection graphs, achieving sublinear amortized update time for most natural families of geometric objects. In particular, we show that -
- For a dynamic collection of disks in $\mathbb{R}^2$ or hypercubes in $\mathbb{R}^d$ (for constant $d$), it is possible to maintain a $(1+\varepsilon)$-approximate vertex cover in polylog amortized update time. These results also hold in the bipartite case.
- For a dynamic collection of rectangles in $\mathbb{R}^2$, it is possible to maintain a $(\frac{3}{2}+\varepsilon)$-approximate vertex cover in polylog amortized update time.
Along the way, we obtain the first near-linear time static algorithms for MVC in the above two cases with the same approximation factors.
Next, we turn our attention to the MCM problem. Although our MVC algorithms automatically allow us to approximate the size of the MCM in bipartite geometric intersection graphs, they do not produce a matching. We give another general framework to maintain an approximate maximum matching, and further extend the approach to handle non-bipartite intersection graphs. In particular, we show that -
- For a dynamic collection of (bichromatic or monochromatic) disks in $\mathbb{R}^2$ or hypercubes in $\mathbb{R}^d$ (for constant $d$), it is possible to maintain a $(1+\varepsilon)$-approximate matching in polylog amortized update time.
△ Less
Submitted 13 February, 2024; v1 submitted 12 February, 2024;
originally announced February 2024.
-
Plateau-Rayleigh instability of a soft layer coated on a rigid cylinder
Authors:
Bharti,
Andreas Carlson,
Tak Shing Chan
Abstract:
We study the Plateau-Rayleigh instability of a viscoelastic soft solid layer coated on a rigid cylinder i.e., a soft fibre with a rigid core. The onset of instability is examined using a linear stability analysis. We find that increasing the rigid cylinder radius reduce the growth rate of the fastest growing mode. For each rigid cylinder radius, a critical elastocapillary number is found below whi…
▽ More
We study the Plateau-Rayleigh instability of a viscoelastic soft solid layer coated on a rigid cylinder i.e., a soft fibre with a rigid core. The onset of instability is examined using a linear stability analysis. We find that increasing the rigid cylinder radius reduce the growth rate of the fastest growing mode. For each rigid cylinder radius, a critical elastocapillary number is found below which all wavelengths of disturbances are stable. The critical value for a soft fibre with a thick rigid cylindrical core can be several orders of magnitudes larger than that for a totally soft fibre (no rigid core), which highlights the strong stabilizing effect of the rigid core on the system. Increasing the relaxation timescale of the viscoelastic material also slows down the growth of disturbance, but has no effect on the critical elastocapillary number. Interestingly, the wavelength of the fastest growing mode is independent of the rigid cylinder radius for the purely elastic case.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Dynamic Geometric Connectivity in the Plane with Constant Query Time
Authors:
Timothy M. Chan,
Zhengcheng Huang
Abstract:
We present the first fully dynamic connectivity data structures for geometric intersection graphs achieving constant query time and sublinear amortized update time for most types of geometric objects in 2D. Our data structures can answer connectivity queries between two objects, as well as "global" connectivity queries (e.g., deciding whether the entire graph is connected). Previously, the data st…
▽ More
We present the first fully dynamic connectivity data structures for geometric intersection graphs achieving constant query time and sublinear amortized update time for most types of geometric objects in 2D. Our data structures can answer connectivity queries between two objects, as well as "global" connectivity queries (e.g., deciding whether the entire graph is connected). Previously, the data structure by Afshani and Chan (ESA'06) achieved such bounds only in the special case of axis-aligned line segments or rectangles but did not work for arbitrary line segments or disks, whereas the data structures by Chan, Pătraşcu and Roditty (FOCS'08) worked for more general classes of geometric objects but required $n^{Ω(1)}$ query time and could not handle global connectivity queries. Specifically, we obtain new data structures with $O(1)$ query time and amortized update time near $n^{4/5}$, $n^{7/8}$, and $n^{20/21}$ for axis-aligned line segments, disks, and arbitrary line segments respectively. Besides greatly reducing the query time, our data structures also improve the previous update times for axis-aligned line segments by Afshani and Chan (from near $n^{10/11}$ to $n^{4/5}$) and for disks by Chan, Pătraşcu, and Roditty (from near $n^{20/21}$ to $n^{7/8}$).
△ Less
Submitted 20 March, 2024; v1 submitted 7 February, 2024;
originally announced February 2024.
-
Conformal Inverse Optimization
Authors:
Bo Lin,
Erick Delage,
Timothy C. Y. Chan
Abstract:
Inverse optimization has been increasingly used to estimate unknown parameters in an optimization model based on decision data. We show that such a point estimation is insufficient in a prescriptive setting where the estimated parameters are used to prescribe new decisions. The prescribed decisions may be low-quality and misaligned with human intuition and thus are unlikely to be adopted. To tackl…
▽ More
Inverse optimization has been increasingly used to estimate unknown parameters in an optimization model based on decision data. We show that such a point estimation is insufficient in a prescriptive setting where the estimated parameters are used to prescribe new decisions. The prescribed decisions may be low-quality and misaligned with human intuition and thus are unlikely to be adopted. To tackle this challenge, we propose conformal inverse optimization, which seeks to learn an uncertainty set for the unknown parameters and then solve a robust optimization model to prescribe new decisions. Under mild assumptions, we show that our method enjoys provable guarantees on solution quality, as evaluated using both the ground-truth parameters and the decision maker's perception of the unknown parameters. Our method demonstrates strong empirical performance compared to classic inverse optimization.
△ Less
Submitted 15 May, 2024; v1 submitted 2 February, 2024;
originally announced February 2024.
-
Plateau-Rayleigh instability of a viscous film on a soft fiber
Authors:
Bharti Bharti,
Andreas Carlson,
Tak Shing Chan,
Thomas Salez
Abstract:
We theoretically study the Plateau-Rayleigh instability of a thin viscous film covering a fiber consisting of a rigid cylindrical core coated with a thin compressible elastic layer. We develop a soft-lubrication model, combining the capillary-driven flow in the viscous film to the elastic deformation of the soft coating, within the Winkler-foundation framework. We perform a linear-stability analys…
▽ More
We theoretically study the Plateau-Rayleigh instability of a thin viscous film covering a fiber consisting of a rigid cylindrical core coated with a thin compressible elastic layer. We develop a soft-lubrication model, combining the capillary-driven flow in the viscous film to the elastic deformation of the soft coating, within the Winkler-foundation framework. We perform a linear-stability analysis and derive the dispersion relation. We find that the growth rate is larger when the soft coating is more compliant. As such, softness acts as a destabilising factor. In contrast, increasing the thickness of the soft coating reduces the growth rate, due to the dominating geometrical effect.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
Near-field Spin Chern Number Quantized by Real-space Topology of Optical Structures
Authors:
Tong Fu,
Ruo-Yang Zhang,
Shiqi Jia,
C. T. Chan,
Shubo Wang
Abstract:
The Chern number has been widely used to describe the topological properties of periodic structures in the momentum space. Here, we introduce a real-space spin Chern number for the optical near fields of finite-sized structures. This new spin Chern number is intrinsically quantized and equal to the structure's Euler characteristic. The relationship is robust against continuous deformation of the s…
▽ More
The Chern number has been widely used to describe the topological properties of periodic structures in the momentum space. Here, we introduce a real-space spin Chern number for the optical near fields of finite-sized structures. This new spin Chern number is intrinsically quantized and equal to the structure's Euler characteristic. The relationship is robust against continuous deformation of the structure's geometry and is irrelevant to the specific material constituents or external excitation. Our work enriches topological physics by extending the concept of Chern number to the real space, opening exciting possibilities for exploring the real-space topological properties of light.
△ Less
Submitted 1 May, 2024; v1 submitted 18 December, 2023;
originally announced December 2023.
-
On local holomorphic maps between Kähler manifolds preserving $(p,p)$-forms
Authors:
Shan Tai Chan,
Yuan Yuan
Abstract:
We study local holomorphic maps between Kähler manifolds preserving $(p,p)$-forms. In this direction, we prove that any such local holomorphic map $F$ is a holomorphic isometry up to a scalar constant provided that $p$ is strictly less than the complex dimension of the domain of $F$. We then study local holomorphic maps between finite dimensional complex space forms preserving invariant $(p,p)$-fo…
▽ More
We study local holomorphic maps between Kähler manifolds preserving $(p,p)$-forms. In this direction, we prove that any such local holomorphic map $F$ is a holomorphic isometry up to a scalar constant provided that $p$ is strictly less than the complex dimension of the domain of $F$. We then study local holomorphic maps between finite dimensional complex space forms preserving invariant $(p,p)$-forms. It was proved by Calabi that there does not exist a local holomorphic isometry between complex space forms $M$ and $N$ provided that $M$ and $N$ are of different types. In this article, we generalize this result to local holomorphic maps between complex space forms $M$ and $N$ preserving invariant $(p,p)$-forms whenever $M$ and $N$ are of different types except for the case where the universal covers of $M, N$ are biholomorphic to $\mathbb{C}^m, \mathbb{P}^n$, respectively and $2\le p=m<n$. We also obtain some results in more general settings, including the study on indefinite Kähler manifolds and relatives for Kähler manifolds.
△ Less
Submitted 15 December, 2023;
originally announced December 2023.
-
Privacy Amplification by Iteration for ADMM with (Strongly) Convex Objective Functions
Authors:
T-H. Hubert Chan,
Hao Xie,
Mengshi Zhao
Abstract:
We examine a private ADMM variant for (strongly) convex objectives which is a primal-dual iterative method. Each iteration has a user with a private function used to update the primal variable, masked by Gaussian noise for local privacy, without directly adding noise to the dual variable. Privacy amplification by iteration explores if noises from later iterations can enhance the privacy guarantee…
▽ More
We examine a private ADMM variant for (strongly) convex objectives which is a primal-dual iterative method. Each iteration has a user with a private function used to update the primal variable, masked by Gaussian noise for local privacy, without directly adding noise to the dual variable. Privacy amplification by iteration explores if noises from later iterations can enhance the privacy guarantee when releasing final variables after the last iteration. Cyffers et al. [ICML 2023] explored privacy amplification by iteration for the proximal ADMM variant, where a user's entire private function is accessed and noise is added to the primal variable. In contrast, we examine a private ADMM variant requiring just one gradient access to a user's function, but both primal and dual variables must be passed between successive iterations. To apply Balle et al.'s [NeurIPS 2019] coupling framework to the gradient ADMM variant, we tackle technical challenges with novel ideas. First, we address the non-expansive mapping issue in ADMM iterations by using a customized norm. Second, because the dual variables are not masked with any noise directly, their privacy guarantees are achieved by treating two consecutive noisy ADMM iterations as a Markov operator. Our main result is that the privacy guarantee for the gradient ADMM variant can be amplified proportionally to the number of iterations. For strongly convex objective functions, this amplification exponentially increases with the number of iterations. These amplification results align with the previously studied special case of stochastic gradient descent.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Marangoni spreading on liquid substrates in new media art
Authors:
San To Chan,
Eliot Fried
Abstract:
With the advent of new media art, artists have harnessed fluid dynamics to create captivating visual narratives. A striking technique known as dendritic painting employs mixtures of ink and isopropanol atop paint, yielding intricate tree-like patterns. To unravel the intricacies of that technique, we examine the spread of ink/alcohol droplets over liquid substrates with diverse rheological propert…
▽ More
With the advent of new media art, artists have harnessed fluid dynamics to create captivating visual narratives. A striking technique known as dendritic painting employs mixtures of ink and isopropanol atop paint, yielding intricate tree-like patterns. To unravel the intricacies of that technique, we examine the spread of ink/alcohol droplets over liquid substrates with diverse rheological properties. On Newtonian substrates, the droplet size evolution exhibits two power laws, suggesting an underlying interplay between viscous and Marangoni forces. The leading edge of the droplet spreads as a precursor film with an exponent of 3/8, while its main body spreads with an exponent of 1/4. For a weakly shear-thinning acrylic resin substrate, the same power laws persist, but dendritic structures emerge, and the texture of the precursor film roughens. The observed roughness and growth exponents (3/4 and 3/5) suggest a connection to the quenched Kardar--Parisi--Zhang universality class, hinting at the existence of quenched disorder in the liquid substrate. Mixing the resin with acrylic paint renders it more viscous and shear-thinning, refining the dendrite edges and further roughening the precursor film. At larger paint concentrations, the substrate becomes a power-law fluid. The roughness and growth exponents then approach 1/2 and 3/4, respectively, deviating from known universality classes. The ensuing structures have a fractal dimension of 1.68, characteristic of diffusion-limited aggregation. These findings underscore how the non-linear rheological properties of the liquid substrate, coupled with the Laplacian nature of Marangoni spreading, can overshadow the local kinetic roughening of the droplet interface.
△ Less
Submitted 9 December, 2023;
originally announced December 2023.
-
Fully Dynamic Algorithms for Euclidean Steiner Tree
Authors:
T-H. Hubert Chan,
Gramoz Goranci,
Shaofeng H. -C. Jiang,
Bo Wang,
Quan Xue
Abstract:
The Euclidean Steiner tree problem asks to find a min-cost metric graph that connects a given set of \emph{terminal} points $X$ in $\mathbb{R}^d$, possibly using points not in $X$ which are called Steiner points. Even though near-linear time $(1 + ε)$-approximation was obtained in the offline setting in seminal works of Arora and Mitchell, efficient dynamic algorithms for Steiner tree is still ope…
▽ More
The Euclidean Steiner tree problem asks to find a min-cost metric graph that connects a given set of \emph{terminal} points $X$ in $\mathbb{R}^d$, possibly using points not in $X$ which are called Steiner points. Even though near-linear time $(1 + ε)$-approximation was obtained in the offline setting in seminal works of Arora and Mitchell, efficient dynamic algorithms for Steiner tree is still open. We give the first algorithm that (implicitly) maintains a $(1 + ε)$-approximate solution which is accessed via a set of tree traversal queries, subject to point insertion and deletions, with amortized update and query time $O(\poly\log n)$ with high probability. Our approach is based on an Arora-style geometric dynamic programming, and our main technical contribution is to maintain the DP subproblems in the dynamic setting efficiently. We also need to augment the DP subproblems to support the tree traversal queries.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
A Privacy-preserving Central Bank Ledger for Central Bank Digital Currency
Authors:
Wang Mong Tikvah Chan
Abstract:
Retail central bank digital currency (rCBDC) is seen as a key upgrade of the monetary system in the 21st century. However, privacy concerns are the main impediment to rCBDC's development and roll-out. On the one hand, the rights of people to keep their transactions private should be protected, including against central bank surveillance. On the other hand, the central bank needs to ensure that no…
▽ More
Retail central bank digital currency (rCBDC) is seen as a key upgrade of the monetary system in the 21st century. However, privacy concerns are the main impediment to rCBDC's development and roll-out. On the one hand, the rights of people to keep their transactions private should be protected, including against central bank surveillance. On the other hand, the central bank needs to ensure that no over-issuance of money or other frauds occur, demanding a certain form of knowledge of rCBDC transactions to safeguard against malicious users. This work focuses on rCBDC architectures based on the unspent transaction output (UTXO) data model and tackles the research problem of preserving a sufficient degree of privacy for UTXO transaction records while allowing the central bank to verify their correctness. User privacy is not adequately addressed in the UTXO-based rCBDC architectures. Using evolving public keys as pseudonyms to hide the real identities of users only solves the privacy issue partially. Some information could still be leaked out. This work investigates techniques to address the shortcomings of the pseudonym approach. First, a Pedersen commitment scheme is applied to hide the transaction values of a UTXO transaction while allowing the central bank to verify that no over-issuance of rCBDC has occurred in the transaction.This work uses a Schnorr signature to prove no over-issuance of money, which reduces overheads and enables a non-interactive proof. Then, Coinjoin is applied to aggregate UTXO transactions from different users into one larger UTXO transaction to obfuscate the payer-payee relationship while preserving the correctness of the amount of money flow. This work applies k-anonymity to analyse the privacy guarantee of Coinjoin. By modelling the transaction traffic by a Poisson process, the trade-off between anonymity and transaction confirmation time of Coinjoin is analysed.
△ Less
Submitted 16 August, 2023;
originally announced November 2023.
-
Variance of squarefull numbers in short intervals II
Authors:
Tsz Ho Chan
Abstract:
In this paper, we continue the study on variance of the number of squarefull numbers in short intervals $(x, x + 2 \sqrt{x} H + H^2]$ with $X \le x \le 2X$. We obtain the expected asymptotic for this variance over the range $X^ε\le H \le X^{0.180688...}$ unconditionally and over the optimal range $X^ε\le H \le X^{0.25 - ε}$ conditionally on the Riemann Hypothesis or the Lindelöf Hypothesis.
In this paper, we continue the study on variance of the number of squarefull numbers in short intervals $(x, x + 2 \sqrt{x} H + H^2]$ with $X \le x \le 2X$. We obtain the expected asymptotic for this variance over the range $X^ε\le H \le X^{0.180688...}$ unconditionally and over the optimal range $X^ε\le H \le X^{0.25 - ε}$ conditionally on the Riemann Hypothesis or the Lindelöf Hypothesis.
△ Less
Submitted 22 November, 2023;
originally announced November 2023.
-
Early detection of inflammatory arthritis to improve referrals using multimodal machine learning from blood testing, semi-structured and unstructured patient records
Authors:
Bing Wang,
Weizi Li,
Anthony Bradlow,
Antoni T. Y. Chan,
Eghosa Bazuaye
Abstract:
Early detection of inflammatory arthritis (IA) is critical to efficient and accurate hospital referral triage for timely treatment and preventing the deterioration of the IA disease course, especially under limited healthcare resources. The manual assessment process is the most common approach in practice for the early detection of IA, but it is extremely labor-intensive and inefficient. A large a…
▽ More
Early detection of inflammatory arthritis (IA) is critical to efficient and accurate hospital referral triage for timely treatment and preventing the deterioration of the IA disease course, especially under limited healthcare resources. The manual assessment process is the most common approach in practice for the early detection of IA, but it is extremely labor-intensive and inefficient. A large amount of clinical information needs to be assessed for every referral from General Practice (GP) to the hospitals. Machine learning shows great potential in automating repetitive assessment tasks and providing decision support for the early detection of IA. However, most machine learning-based methods for IA detection rely on blood testing results. But in practice, blood testing data is not always available at the point of referrals, so we need methods to leverage multimodal data such as semi-structured and unstructured data for early detection of IA. In this research, we present fusion and ensemble learning-based methods using multimodal data to assist decision-making in the early detection of IA, and a conformal prediction-based method to quantify the uncertainty of the prediction and detect any unreliable predictions. To the best of our knowledge, our study is the first attempt to utilize multimodal data to support the early detection of IA from GP referrals.
△ Less
Submitted 31 July, 2024; v1 submitted 30 October, 2023;
originally announced October 2023.