Showing 1–50 of 85 results for author: Kieu, T

Efficient Stochastic Routing in Path-Centric Uncertain Road Networks -- Extended Version

Authors: Chenjuan Guo, Ronghui Xu, Bin Yang, Ye Yuan, Tung Kieu, Yan Zhao, Christian S. Jensen

Abstract: The availability of massive vehicle trajectory data enables the modeling of road-network constrained movement as travel-cost distributions rather than just single-valued costs, thereby capturing the inherent uncertainty of movement and enabling improved routing quality. Thus, stochastic routing has been studied extensively in the edge-centric model, where such costs are assigned to the edges in a… ▽ More The availability of massive vehicle trajectory data enables the modeling of road-network constrained movement as travel-cost distributions rather than just single-valued costs, thereby capturing the inherent uncertainty of movement and enabling improved routing quality. Thus, stochastic routing has been studied extensively in the edge-centric model, where such costs are assigned to the edges in a graph representation of a road network. However, as this model still disregards important information in trajectories and fails to capture dependencies among cost distributions, a path-centric model, where costs are assigned to paths, has been proposed that captures dependencies better and provides an improved foundation for routing. Unfortunately, when applied in this model, existing routing algorithms are inefficient due to two shortcomings that we eliminate. First, when exploring candidate paths, existing algorithms only consider the costs of candidate paths from the source to intermediate vertices, while disregarding the costs of travel from the intermediate vertices to the destination, causing many non-competitive paths to be explored. We propose two heuristics for estimating the cost from an intermediate vertex to the destination, thus improving routing efficiency. Second, the edge-centric model relies on stochastic dominance-based pruning to improve efficiency. This pruning assumes that costs are independent and is therefore inapplicable in the path-centric model that takes dependencies into account. We introduce a notion of virtual path that effectively enables stochastic dominance-based pruning in the path-based model, thus further improving efficiency. Empirical studies using two real-world trajectory sets offer insight into the properties of the proposed solution, indicating that it enables efficient stochastic routing in the path-centric model. △ Less

Submitted 9 July, 2024; originally announced July 2024.

QCore: Data-Efficient, On-Device Continual Calibration for Quantized Models -- Extended Version

Authors: David Campos, Bin Yang, Tung Kieu, Miao Zhang, Chenjuan Guo, Christian S. Jensen

Abstract: We are witnessing an increasing availability of streaming data that may contain valuable information on the underlying processes. It is thus attractive to be able to deploy machine learning models on edge devices near sensors such that decisions can be made instantaneously, rather than first having to transmit incoming data to servers. To enable deployment on edge devices with limited storage and… ▽ More We are witnessing an increasing availability of streaming data that may contain valuable information on the underlying processes. It is thus attractive to be able to deploy machine learning models on edge devices near sensors such that decisions can be made instantaneously, rather than first having to transmit incoming data to servers. To enable deployment on edge devices with limited storage and computational capabilities, the full-precision parameters in standard models can be quantized to use fewer bits. The resulting quantized models are then calibrated using back-propagation and full training data to ensure accuracy. This one-time calibration works for deployments in static environments. However, model deployment in dynamic edge environments call for continual calibration to adaptively adjust quantized models to fit new incoming data, which may have different distributions. The first difficulty in enabling continual calibration on the edge is that the full training data may be too large and thus not always available on edge devices. The second difficulty is that the use of back-propagation on the edge for repeated calibration is too expensive. We propose QCore to enable continual calibration on the edge. First, it compresses the full training data into a small subset to enable effective calibration of quantized models with different bit-widths. We also propose means of updating the subset when new streaming data arrives to reflect changes in the environment, while not forgetting earlier training data. Second, we propose a small bit-flip** network that works with the subset to update quantized model parameters, thus enabling efficient continual calibration without back-propagation. An experimental study, conducted with real-world data in a continual learning setting, offers insight into the properties of QCore and shows that it is capable of outperforming strong baseline methods. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Comments: 15 pages. An extended version of "QCore: Data-Efficient, On-Device Continual Calibration for Quantized Models" accepted at PVLDB 2024

On the infinite time horizon approximation for Lévy-driven McKean-Vlasov SDEs with non-globally Lipschitz continuous and super-linearly growth drift and diffusion coefficients

Authors: Ngoc Khue Tran, Trung-Thuy Kieu, Duc-Trong Luong, Hoang-Long Ngo

Abstract: This paper studies the numerical approximation for McKean-Vlasov stochastic differential equations driven by Lévy processes. We propose a tamed-adaptive Euler-Maruyama scheme and consider its strong convergence in both finite and infinite time horizons when applying for some classes of Lévy-driven McKean-Vlasov stochastic differential equations with non-globally Lipschitz continuous and super-line… ▽ More This paper studies the numerical approximation for McKean-Vlasov stochastic differential equations driven by Lévy processes. We propose a tamed-adaptive Euler-Maruyama scheme and consider its strong convergence in both finite and infinite time horizons when applying for some classes of Lévy-driven McKean-Vlasov stochastic differential equations with non-globally Lipschitz continuous and super-linearly growth drift and diffusion coefficients. △ Less

Submitted 8 January, 2024; originally announced January 2024.

Comments: 40 pages, 1 figure

MSC Class: 60H35; 60H10

Quantum Factoring Algorithm using Grover Search

Authors: S. Whitlock, T. D. Kieu

Abstract: We present a quantum algorithm for factoring products of prime numbers which exploits Grover search to factor any $n$-bit biprime using $2n-5$ qubits or less. The algorithm doesn't depend on any properties of the number to be factored, has guaranteed convergence, and doesn't require complex classical pre or post-processing. Large scale simulations confirm a success probability asymptotically reach… ▽ More We present a quantum algorithm for factoring products of prime numbers which exploits Grover search to factor any $n$-bit biprime using $2n-5$ qubits or less. The algorithm doesn't depend on any properties of the number to be factored, has guaranteed convergence, and doesn't require complex classical pre or post-processing. Large scale simulations confirm a success probability asymptotically reaching 100% for $>800$ random biprimes with $5\leq n\leq 35$ (corresponding to $5 - 65$ qubits) with the largest being $30398263859 = 7393\times 4111763$. We also present a variant of the algorithm based on digital adiabatic quantum computing and show that Grover based factorization requires quadratically fewer iteration steps in most cases. △ Less

Submitted 28 December, 2023; v1 submitted 3 December, 2023; originally announced December 2023.

WAVER: Writing-style Agnostic Text-Video Retrieval via Distilling Vision-Language Models Through Open-Vocabulary Knowledge

Authors: Huy Le, Tung Kieu, Anh Nguyen, Ngan Le

Abstract: Text-video retrieval, a prominent sub-field within the domain of multimodal information retrieval, has witnessed remarkable growth in recent years. However, existing methods assume video scenes are consistent with unbiased descriptions. These limitations fail to align with real-world scenarios since descriptions can be influenced by annotator biases, diverse writing styles, and varying textual per… ▽ More Text-video retrieval, a prominent sub-field within the domain of multimodal information retrieval, has witnessed remarkable growth in recent years. However, existing methods assume video scenes are consistent with unbiased descriptions. These limitations fail to align with real-world scenarios since descriptions can be influenced by annotator biases, diverse writing styles, and varying textual perspectives. To overcome the aforementioned problems, we introduce $\texttt{WAVER}$, a cross-domain knowledge distillation framework via vision-language models through open-vocabulary knowledge designed to tackle the challenge of handling different writing styles in video descriptions. $\texttt{WAVER}$ capitalizes on the open-vocabulary properties that lie in pre-trained vision-language models and employs an implicit knowledge distillation approach to transfer text-based knowledge from a teacher model to a vision-based student. Empirical studies conducted across four standard benchmark datasets, encompassing various settings, provide compelling evidence that $\texttt{WAVER}$ can achieve state-of-the-art performance in text-video retrieval task while handling writing-style variations. The code is available at: https://github.com/Fsoft-AIC/WAVER △ Less

Submitted 10 January, 2024; v1 submitted 14 December, 2023; originally announced December 2023.

Comments: Accepted to ICASSP 2024

Anisotropic flows of Forchheimer-type in porous media and their steady states

Authors: Luan Hoang, Thinh Kieu

Abstract: We study the anisotropic Forchheimer-typed flows for compressible fluids in porous media. The first half of the paper is devoted to understanding the nonlinear structure of the anisotropic momentum equations. Unlike the isotropic flows, the important monotonicity properties are not automatically satisfied in this case. Therefore, various sufficient conditions for them are derived and applied to th… ▽ More We study the anisotropic Forchheimer-typed flows for compressible fluids in porous media. The first half of the paper is devoted to understanding the nonlinear structure of the anisotropic momentum equations. Unlike the isotropic flows, the important monotonicity properties are not automatically satisfied in this case. Therefore, various sufficient conditions for them are derived and applied to the experimental data. In the second half of the paper, we prove the existence and uniqueness of the steady state flows subject to a nonhomogeneous Dirichlet boundary condition. It is also established that these steady states, in appropriate functional spaces, have local Hölder continuous dependence on the forcing function and the boundary data. △ Less

Submitted 8 June, 2023; originally announced June 2023.

Comments: 35 pp, submitted for publication

MSC Class: 76S05; 76N10; 35F60

LightTS: Lightweight Time Series Classification with Adaptive Ensemble Distillation -- Extended Version

Authors: David Campos, Miao Zhang, Bin Yang, Tung Kieu, Chenjuan Guo, Christian S. Jensen

Abstract: Due to the swee** digitalization of processes, increasingly vast amounts of time series data are being produced. Accurate classification of such time series facilitates decision making in multiple domains. State-of-the-art classification accuracy is often achieved by ensemble learning where results are synthesized from multiple base models. This characteristic implies that ensemble learning need… ▽ More Due to the swee** digitalization of processes, increasingly vast amounts of time series data are being produced. Accurate classification of such time series facilitates decision making in multiple domains. State-of-the-art classification accuracy is often achieved by ensemble learning where results are synthesized from multiple base models. This characteristic implies that ensemble learning needs substantial computing resources, preventing their use in resource-limited environments, such as in edge devices. To extend the applicability of ensemble learning, we propose the LightTS framework that compresses large ensembles into lightweight models while ensuring competitive accuracy. First, we propose adaptive ensemble distillation that assigns adaptive weights to different base models such that their varying classification capabilities contribute purposefully to the training of the lightweight model. Second, we propose means of identifying Pareto optimal settings w.r.t. model accuracy and model size, thus enabling users with a space budget to select the most accurate lightweight model. We report on experiments using 128 real-world time series sets and different types of base models that justify key decisions in the design of LightTS and provide evidence that LightTS is able to outperform competitors. △ Less

Submitted 24 February, 2023; originally announced February 2023.

Comments: 15 pages. An extended version of "LightTS: Lightweight Time Series Classification with Adaptive Ensemble Distillation" accepted at SIGMOD 2023

Journal ref: Proceedings of the ACM on Management of Data 1, 2 (2023), 171:1-171:27

Topological Nodal Point Superconductivity in Checkerboard Magnet-Superconductor Hybrid Systems

Authors: Tuan Kieu, Eric Mascot, Jasmin Bedow, Roland Wiesendanger, Dirk K. Morr

Abstract: We demonstrate that checkerboard magnet-superconductor hybrid systems possess a rich phase diagram exhibiting both strong topological superconducting (STSC) and topological nodal point superconducting (TNPSC) phases. We show that TNPSC phases exist both for ferromagnetic and antiferromagnetic systems, yielding a plethora of qualitatively different edge mode structures. Checkerboard MSH systems als… ▽ More We demonstrate that checkerboard magnet-superconductor hybrid systems possess a rich phase diagram exhibiting both strong topological superconducting (STSC) and topological nodal point superconducting (TNPSC) phases. We show that TNPSC phases exist both for ferromagnetic and antiferromagnetic systems, yielding a plethora of qualitatively different edge mode structures. Checkerboard MSH systems also facilitate the emergence of STSC phases which can be induced even in the limit of vanishing magnetization. Our results provide a new path for the quantum engineering of topological superconducting phases using atomic manipulation techniques. △ Less

Submitted 26 January, 2023; originally announced January 2023.

A Comparative Study on Unsupervised Anomaly Detection for Time Series: Experiments and Analysis

Authors: Yan Zhao, Liwei Deng, Xuanhao Chen, Chenjuan Guo, Bin Yang, Tung Kieu, Feiteng Huang, Torben Bach Pedersen, Kai Zheng, Christian S. Jensen

Abstract: The continued digitization of societal processes translates into a proliferation of time series data that cover applications such as fraud detection, intrusion detection, and energy management, where anomaly detection is often essential to enable reliability and safety. Many recent studies target anomaly detection for time series data. Indeed, area of time series anomaly detection is characterized… ▽ More The continued digitization of societal processes translates into a proliferation of time series data that cover applications such as fraud detection, intrusion detection, and energy management, where anomaly detection is often essential to enable reliability and safety. Many recent studies target anomaly detection for time series data. Indeed, area of time series anomaly detection is characterized by diverse data, methods, and evaluation strategies, and comparisons in existing studies consider only part of this diversity, which makes it difficult to select the best method for a particular problem setting. To address this shortcoming, we introduce taxonomies for data, methods, and evaluation strategies, provide a comprehensive overview of unsupervised time series anomaly detection using the taxonomies, and systematically evaluate and compare state-of-the-art traditional as well as deep learning techniques. In the empirical study using nine publicly available datasets, we apply the most commonly-used performance evaluation metrics to typical methods under a fair implementation standard. Based on the structuring offered by the taxonomies, we report on empirical studies and provide guidelines, in the form of comparative tables, for choosing the methods most suitable for particular application settings. Finally, we propose research directions for this dynamic field. △ Less

Submitted 10 September, 2022; originally announced September 2022.

Triformer: Triangular, Variable-Specific Attentions for Long Sequence Multivariate Time Series Forecasting--Full Version

Authors: Razvan-Gabriel Cirstea, Chenjuan Guo, Bin Yang, Tung Kieu, Xuanyi Dong, Shirui Pan

Abstract: A variety of real-world applications rely on far future information to make decisions, thus calling for efficient and accurate long sequence multivariate time series forecasting. While recent attention-based forecasting models show strong abilities in capturing long-term dependencies, they still suffer from two key limitations. First, canonical self attention has a quadratic complexity w.r.t. the… ▽ More A variety of real-world applications rely on far future information to make decisions, thus calling for efficient and accurate long sequence multivariate time series forecasting. While recent attention-based forecasting models show strong abilities in capturing long-term dependencies, they still suffer from two key limitations. First, canonical self attention has a quadratic complexity w.r.t. the input time series length, thus falling short in efficiency. Second, different variables' time series often have distinct temporal dynamics, which existing studies fail to capture, as they use the same model parameter space, e.g., projection matrices, for all variables' time series, thus falling short in accuracy. To ensure high efficiency and accuracy, we propose Triformer, a triangular, variable-specific attention. (i) Linear complexity: we introduce a novel patch attention with linear complexity. When stacking multiple layers of the patch attentions, a triangular structure is proposed such that the layer sizes shrink exponentially, thus maintaining linear complexity. (ii) Variable-specific parameters: we propose a light-weight method to enable distinct sets of model parameters for different variables' time series to enhance accuracy without compromising efficiency and memory usage. Strong empirical evidence on four datasets from multiple domains justifies our design choices, and it demonstrates that Triformer outperforms state-of-the-art methods w.r.t. both accuracy and efficiency. This is an extended version of "Triformer: Triangular, Variable-Specific Attentions for Long Sequence Multivariate Time Series Forecasting", to appear in IJCAI 2022 [Cirstea et al., 2022a], including additional experimental results. △ Less

Submitted 28 April, 2022; originally announced April 2022.

Robust and Explainable Autoencoders for Unsupervised Time Series Outlier Detection---Extended Version

Authors: Tung Kieu, Bin Yang, Chenjuan Guo, Christian S. Jensen, Yan Zhao, Feiteng Huang, Kai Zheng

Abstract: Time series data occurs widely, and outlier detection is a fundamental problem in data mining, which has numerous applications. Existing autoencoder-based approaches deliver state-of-the-art performance on challenging real-world data but are vulnerable to outliers and exhibit low explainability. To address these two limitations, we propose robust and explainable unsupervised autoencoder frameworks… ▽ More Time series data occurs widely, and outlier detection is a fundamental problem in data mining, which has numerous applications. Existing autoencoder-based approaches deliver state-of-the-art performance on challenging real-world data but are vulnerable to outliers and exhibit low explainability. To address these two limitations, we propose robust and explainable unsupervised autoencoder frameworks that decompose an input time series into a clean time series and an outlier time series using autoencoders. Improved explainability is achieved because clean time series are better explained with easy-to-understand patterns such as trends and periodicities. We provide insight into this by means of a post-hoc explainability analysis and empirical studies. In addition, since outliers are separated from clean time series iteratively, our approach offers improved robustness to outliers, which in turn improves accuracy. We evaluate our approach on five real-world datasets and report improvements over the state-of-the-art approaches in terms of robustness and explainability. This is an extended version of "Robust and Explainable Autoencoders for Unsupervised Time Series Outlier Detection", to appear in IEEE ICDE 2022. △ Less

Submitted 7 April, 2022; originally announced April 2022.

Comments: This paper has been accepted by IEEE ICDE 2022

Towards Spatio-Temporal Aware Traffic Time Series Forecasting--Full Version

Authors: Razvan-Gabriel Cirstea, Bin Yang, Chenjuan Guo, Tung Kieu, Shirui Pan

Abstract: Traffic time series forecasting is challenging due to complex spatio-temporal dynamics time series from different locations often have distinct patterns; and for the same time series, patterns may vary across time, where, for example, there exist certain periods across a day showing stronger temporal correlations. Although recent forecasting models, in particular deep learning based models, show p… ▽ More Traffic time series forecasting is challenging due to complex spatio-temporal dynamics time series from different locations often have distinct patterns; and for the same time series, patterns may vary across time, where, for example, there exist certain periods across a day showing stronger temporal correlations. Although recent forecasting models, in particular deep learning based models, show promising results, they suffer from being spatio-temporal agnostic. Such spatio-temporal agnostic models employ a shared parameter space irrespective of the time series locations and the time periods and they assume that the temporal patterns are similar across locations and do not evolve across time, which may not always hold, thus leading to sub-optimal results. In this work, we propose a framework that aims at turning spatio-temporal agnostic models to spatio-temporal aware models. To do so, we encode time series from different locations into stochastic variables, from which we generate location-specific and time-varying model parameters to better capture the spatio-temporal dynamics. We show how to integrate the framework with canonical attentions to enable spatio-temporal aware attentions. Next, to compensate for the additional overhead introduced by the spatio-temporal aware model parameter generation process, we propose a novel window attention scheme, which helps reduce the complexity from quadratic to linear, making spatio-temporal aware attentions also have competitive efficiency. We show strong empirical evidence on four traffic time series datasets, where the proposed spatio-temporal aware attentions outperform state-of-the-art methods in term of accuracy and efficiency. This is an extended version of "Towards Spatio-Temporal Aware Traffic Time Series Forecasting", to appear in ICDE 2022 [1], including additional experimental results. △ Less

Submitted 5 April, 2022; v1 submitted 29 March, 2022; originally announced March 2022.

Comments: Accepted at ICDE 2022

Quantum Central Limit Theorems, Emergence of Classicality and Time-dependent Differential Entropy

Authors: Tien D. Kieu

Abstract: We derive some Quantum Central Limit Theorems for expectation values of macroscopically coarse-grained observables, which are functions of coarse-grained hermitean operators. Thanks to the hermicity constraints, we obtain positive-definite distribution for the expectation values of observables. These probability distributions open some pathway for an emergence of classical behaviours in the limit… ▽ More We derive some Quantum Central Limit Theorems for expectation values of macroscopically coarse-grained observables, which are functions of coarse-grained hermitean operators. Thanks to the hermicity constraints, we obtain positive-definite distribution for the expectation values of observables. These probability distributions open some pathway for an emergence of classical behaviours in the limit of infinitely large number of identical and non-interacting quantum constituents. This is in contradistinction to other mechanisms of classicality emergence due to environmental decoherence and consistent histories. The probability distributions so derived also enable us to evaluate the nontrivial time-dependence of certain differential entropies. △ Less

Submitted 4 February, 2022; originally announced February 2022.

Comments: 23 pages

Journal ref: Entropy 2023, 25(4), 600

Unsupervised Time Series Outlier Detection with Diversity-Driven Convolutional Ensembles -- Extended Version

Authors: David Campos, Tung Kieu, Chenjuan Guo, Feiteng Huang, Kai Zheng, Bin Yang, Christian S. Jensen

Abstract: With the swee** digitalization of societal, medical, industrial, and scientific processes, sensing technologies are being deployed that produce increasing volumes of time series data, thus fueling a plethora of new or improved applications. In this setting, outlier detection is frequently important, and while solutions based on neural networks exist, they leave room for improvement in terms of b… ▽ More With the swee** digitalization of societal, medical, industrial, and scientific processes, sensing technologies are being deployed that produce increasing volumes of time series data, thus fueling a plethora of new or improved applications. In this setting, outlier detection is frequently important, and while solutions based on neural networks exist, they leave room for improvement in terms of both accuracy and efficiency. With the objective of achieving such improvements, we propose a diversity-driven, convolutional ensemble. To improve accuracy, the ensemble employs multiple basic outlier detection models built on convolutional sequence-to-sequence autoencoders that can capture temporal dependencies in time series. Further, a novel diversity-driven training method maintains diversity among the basic models, with the aim of improving the ensemble's accuracy. To improve efficiency, the approach enables a high degree of parallelism during training. In addition, it is able to transfer some model parameters from one basic model to another, which reduces training time. We report on extensive experiments using real-world multivariate time series that offer insight into the design choices underlying the new approach and offer evidence that it is capable of improved accuracy and efficiency. This is an extended version of "Unsupervised Time Series Outlier Detection with Diversity-Driven Convolutional Ensembles", to appear in PVLDB 2022. △ Less

Submitted 22 November, 2021; originally announced November 2021.

Comments: 14 pages. An extended version of "Unsupervised Time Series Outlier Detection with Diversity-Driven Convolutional Ensembles", to appear in PVLDB 2022

Journal ref: Proceedings of the VLDB Endowment, 15, 3 (2022), 611-623

A Mixed Finite Element Approximation for Fluid Flows of Mixed Regimes in Porous Media

Authors: John Cummings, Matthew Hamilton, Thinh Kieu

Abstract: In this paper, we consider the complex flows when all three regimes pre-Darcy, Darcy and post-Darcy may be present in different portions of a same domain. We unify all three flow regimes under mathematics formulation. We describe the flow of a single-phase fluid in $\R^d, d\ge 2$ by a nonlinear degenerate system of density and momentum. A mixed finite element method is proposed for the approximati… ▽ More In this paper, we consider the complex flows when all three regimes pre-Darcy, Darcy and post-Darcy may be present in different portions of a same domain. We unify all three flow regimes under mathematics formulation. We describe the flow of a single-phase fluid in $\R^d, d\ge 2$ by a nonlinear degenerate system of density and momentum. A mixed finite element method is proposed for the approximation of the solution of the above system. The stability of the approximations are proved; the error estimates are derived for the numerical approximations for both continuous and discrete time procedures. The continuous dependence of numerical solutions on physical parameters are demonstrated. Experimental studies are presented regarding convergence rates and showing the dependence of the solution on the physical parameters. △ Less

Submitted 23 June, 2021; originally announced June 2021.

Comments: arXiv admin note: text overlap with arXiv:1606.03379

Studying a doubly nonlinear model of slightly compressible Forchheimer flows in rotating porous media

Authors: Emine Celik, Luan Hoang, Thinh Kieu

Abstract: We study the generalized Forchheimer flows of slightly compressible fluids in rotating porous media. In the problem's model, the varying density in the Coriolis force is fully accounted for without any simplifications. It results in a doubly nonlinear parabolic equation for the density. We derive a priori estimates for the solutions in terms of the initial, boundary data and physical parameters, e… ▽ More We study the generalized Forchheimer flows of slightly compressible fluids in rotating porous media. In the problem's model, the varying density in the Coriolis force is fully accounted for without any simplifications. It results in a doubly nonlinear parabolic equation for the density. We derive a priori estimates for the solutions in terms of the initial, boundary data and physical parameters, emphasizing on the case of unbounded data. Weighted Poincaré-Sobolev inequalities suitable to the equation's nonlinearity, adapted Moser's iteration and maximum principle are used and combined to obtain different types of estimates. △ Less

Submitted 22 June, 2021; originally announced June 2021.

Comments: 35 pages

MSC Class: 76S05; 76U60; 86A05; 35K20; 35K65

Infinite series asymptotic expansions for decaying solutions of dissipative differential equations with non-smooth nonlinearity

Authors: Dat Cao, Luan Hoang, Thinh Kieu

Abstract: We study the precise asymptotic behavior of a non-trivial solution that converges to zero, as time tends to infinity, of dissipative systems of nonlinear ordinary differential equations. The nonlinear term of the equations may not possess a Taylor series expansion about the origin. This absence technically cripples previous proofs in establishing an asymptotic expansion, as an infinite series, for… ▽ More We study the precise asymptotic behavior of a non-trivial solution that converges to zero, as time tends to infinity, of dissipative systems of nonlinear ordinary differential equations. The nonlinear term of the equations may not possess a Taylor series expansion about the origin. This absence technically cripples previous proofs in establishing an asymptotic expansion, as an infinite series, for such a decaying solution. In the current paper, we overcome this limitation and obtain an infinite series asymptotic expansion, as time goes to infinity. This series expansion provides large time approximations for the solution with the errors decaying exponentially at any given rates. The main idea is to shift the center of the Taylor expansions for the nonlinear term to a non-zero point. Such a point turns out to come from the non-trivial asymptotic behavior of the solution, which we prove by a new and simple method. Our result applies to different classes of non-linear equations that have not been dealt with previously. △ Less

Submitted 2 July, 2021; v1 submitted 14 September, 2020; originally announced September 2020.

Comments: In press

MSC Class: 34E05; 41A60

Journal ref: Qualitative Theory of Dynamical Systems, 2021

Learning Neural Textual Representations for Citation Recommendation

Authors: Binh Thanh Kieu, Inigo Jauregi Unanue, Son Bao Pham, Hieu Xuan Phan, Massimo Piccardi

Abstract: With the rapid growth of the scientific literature, manually selecting appropriate citations for a paper is becoming increasingly challenging and time-consuming. While several approaches for automated citation recommendation have been proposed in the recent years, effective document representations for citation recommendation are still elusive to a large extent. For this reason, in this paper we p… ▽ More With the rapid growth of the scientific literature, manually selecting appropriate citations for a paper is becoming increasingly challenging and time-consuming. While several approaches for automated citation recommendation have been proposed in the recent years, effective document representations for citation recommendation are still elusive to a large extent. For this reason, in this paper we propose a novel approach to citation recommendation which leverages a deep sequential representation of the documents (Sentence-BERT) cascaded with Siamese and triplet networks in a submodular scoring function. To the best of our knowledge, this is the first approach to combine deep representations and submodular selection for a task of citation recommendation. Experiments have been carried out using a popular benchmark dataset - the ACL Anthology Network corpus - and evaluated against baselines and a state-of-the-art approach using metrics such as the MRR and F1-at-k score. The results show that the proposed approach has been able to outperform all the compared approaches in every measured metric. △ Less

Submitted 8 July, 2020; originally announced July 2020.

Comments: Accepted in ICPR 2020

Differential Recurrent Neural Network and its Application for Human Activity Recognition

Authors: Naifan Zhuang, Guo-Jun Qi, The Duc Kieu, Kien A. Hua

Abstract: The Long Short-Term Memory (LSTM) recurrent neural network is capable of processing complex sequential information since it utilizes special gating schemes for learning representations from long input sequences. It has the potential to model any sequential time-series data, where the current hidden state has to be considered in the context of the past hidden states. This property makes LSTM an ide… ▽ More The Long Short-Term Memory (LSTM) recurrent neural network is capable of processing complex sequential information since it utilizes special gating schemes for learning representations from long input sequences. It has the potential to model any sequential time-series data, where the current hidden state has to be considered in the context of the past hidden states. This property makes LSTM an ideal choice to learn the complex dynamics present in long sequences. Unfortunately, the conventional LSTMs do not consider the impact of spatio-temporal dynamics corresponding to the given salient motion patterns, when they gate the information that ought to be memorized through time. To address this problem, we propose a differential gating scheme for the LSTM neural network, which emphasizes on the change in information gain caused by the salient motions between the successive video frames. This change in information gain is quantified by Derivative of States (DoS), and thus the proposed LSTM model is termed as differential Recurrent Neural Network (dRNN). In addition, the original work used the hidden state at the last time-step to model the entire video sequence. Based on the energy profiling of DoS, we further propose to employ the State Energy Profile (SEP) to search for salient dRNN states and construct more informative representations. The effectiveness of the proposed model was demonstrated by automatically recognizing human actions from the real-world 2D and 3D single-person action datasets. We point out that LSTM is a special form of dRNN. As a result, we have introduced a new family of LSTMs. Our study is one of the first works towards demonstrating the potential of learning complex time-series representations via high-order derivatives of states. △ Less

Submitted 9 May, 2019; originally announced May 2019.

Comments: arXiv admin note: substantial text overlap with arXiv:1504.06678, arXiv:1804.04192

Slightly Compressible Forchheimer Flows in Rotating Porous Media

Authors: Emine Celik, Luan Hoang, Thinh Kieu

Abstract: We formulate the the generalized Forchheimer equations for the three-dimensional fluid flows in rotating porous media. By implicitly solving the momentum in terms of the pressure's gradient, we derive a degenerate parabolic equation for the density in the case of slightly compressible fluids and study its corresponding initial, boundary value problem. We investigate the nonlinear structure of the… ▽ More We formulate the the generalized Forchheimer equations for the three-dimensional fluid flows in rotating porous media. By implicitly solving the momentum in terms of the pressure's gradient, we derive a degenerate parabolic equation for the density in the case of slightly compressible fluids and study its corresponding initial, boundary value problem. We investigate the nonlinear structure of the parabolic equation. The maximum principle is proved and used to obtain the maximum estimates for the solution. Various estimates are established for the solution's gradient, in the Lebesgue norms of any order, in terms of the initial and boundary data. All estimates contain explicit dependence on key physical parameters including the angular speed. △ Less

Submitted 1 June, 2021; v1 submitted 18 April, 2019; originally announced April 2019.

Comments: 48 pages, there has been a slight change in the title and minor improvements in the presentation with this replacement

MSC Class: 76S05; 76U60; 86A05; 35K20; 35K65

Solvability of the mixed formulation for generalized Forchheimer flows of isentropic gases

Authors: Thinh Kieu

Abstract: This paper is focused on the generalized Forchheimer flows of isentropic gas, described by a system of two nonlinear degenerating differential equations of first order. We prove the existence and uniqueness of the Dirichlet problem for stationary problem. The technique of semi-discretization in time is used to prove the existence for the time-dependent problem. This paper is focused on the generalized Forchheimer flows of isentropic gas, described by a system of two nonlinear degenerating differential equations of first order. We prove the existence and uniqueness of the Dirichlet problem for stationary problem. The technique of semi-discretization in time is used to prove the existence for the time-dependent problem. △ Less

Submitted 19 March, 2019; v1 submitted 28 February, 2019; originally announced March 2019.

Comments: arXiv admin note: substantial text overlap with arXiv:1804.01409; substantial text overlap with arXiv:1608.08829 by other authors

A Factorisation Algorithm in Adiabatic Quantum Computation

Authors: Tien D. Kieu

Abstract: The problem of factorising positive integer $N$ into two integer factors $x$ and $y$ is first reformulated as an optimisation problem over the positive integer domain of either of the Diophantine polynomials $Q_N(x,y)=N^2(N-xy)^2 + x(x-y)^2$ or $R_N(x,y) = N^2(N-xy)^2 + (x-y)^2 + x$, of each of which the optimal solution is unique with $x\le \sqrt{N} \le y$, and $x=1$ if and only if $N$ is prime.… ▽ More The problem of factorising positive integer $N$ into two integer factors $x$ and $y$ is first reformulated as an optimisation problem over the positive integer domain of either of the Diophantine polynomials $Q_N(x,y)=N^2(N-xy)^2 + x(x-y)^2$ or $R_N(x,y) = N^2(N-xy)^2 + (x-y)^2 + x$, of each of which the optimal solution is unique with $x\le \sqrt{N} \le y$, and $x=1$ if and only if $N$ is prime. An algorithm in the context of Adiabatic Quantum Computation is then proposed for the general factorisation problem. △ Less

Submitted 28 February, 2019; v1 submitted 8 August, 2018; originally announced August 2018.

Comments: 11 pages, 3 figures

Journal ref: Journal of Physics Communications 3, 2025014 (2019)

Deep Differential Recurrent Neural Networks

Authors: Naifan Zhuang, The Duc Kieu, Guo-Jun Qi, Kien A. Hua

Abstract: Due to the special gating schemes of Long Short-Term Memory (LSTM), LSTMs have shown greater potential to process complex sequential information than the traditional Recurrent Neural Network (RNN). The conventional LSTM, however, fails to take into consideration the impact of salient spatio-temporal dynamics present in the sequential input data. This problem was first addressed by the differential… ▽ More Due to the special gating schemes of Long Short-Term Memory (LSTM), LSTMs have shown greater potential to process complex sequential information than the traditional Recurrent Neural Network (RNN). The conventional LSTM, however, fails to take into consideration the impact of salient spatio-temporal dynamics present in the sequential input data. This problem was first addressed by the differential Recurrent Neural Network (dRNN), which uses a differential gating scheme known as Derivative of States (DoS). DoS uses higher orders of internal state derivatives to analyze the change in information gain caused by the salient motions between the successive frames. The weighted combination of several orders of DoS is then used to modulate the gates in dRNN. While each individual order of DoS is good at modeling a certain level of salient spatio-temporal sequences, the sum of all the orders of DoS could distort the detected motion patterns. To address this problem, we propose to control the LSTM gates via individual orders of DoS and stack multiple levels of LSTM cells in an increasing order of state derivatives. The proposed model progressively builds up the ability of the LSTM gates to detect salient dynamical patterns in deeper stacked layers modeling higher orders of DoS, and thus the proposed LSTM model is termed deep differential Recurrent Neural Network (d2RNN). The effectiveness of the proposed model is demonstrated on two publicly available human activity datasets: NUS-HGA and Violent-Flows. The proposed model outperforms both LSTM and non-LSTM based state-of-the-art algorithms. △ Less

Submitted 11 April, 2018; originally announced April 2018.

Principle of Unattainability of Absolute Zero Temperature, the Third Law of Thermodynamics, and Projective Quantum Measurements

Authors: Tien D. Kieu

Abstract: The Principle of Unattainability rules out the attainment of absolute zero temperature by any finite physical means, no matter how idealised they could be. Nevertheless, we clarify that the Third Law of Thermodynamics, as defined by Nernst's heat theorem statement, is distinct from the Principle of Unattainability in the sense that the Third Law is mathematically equivalent only to the unattainabi… ▽ More The Principle of Unattainability rules out the attainment of absolute zero temperature by any finite physical means, no matter how idealised they could be. Nevertheless, we clarify that the Third Law of Thermodynamics, as defined by Nernst's heat theorem statement, is distinct from the Principle of Unattainability in the sense that the Third Law is mathematically equivalent only to the unattainability of absolute zero temperature by {\em quasi-static adiabatic} processes. This, on the one hand, leaves open the possibility of attainability of absolute zero by non-adiabatic means, without violating the Third Law. On the other hand, we point out some apparent incompatibility between the Postulate of Projective Measurement in quantum mechanics and the Principle of Unattainability in that projective measurements of energy could result in zero temperature. △ Less

Submitted 16 August, 2019; v1 submitted 11 April, 2018; originally announced April 2018.

Comments: 12 pages, 1 figure

Journal ref: Phys Lett A 383 (2019) 125848

Existence of a solution for generalized Forchheimer flow in porous media

Authors: Thinh Kieu

Abstract: This paper is focused on the generalized Forchheimer flows for slightly compressible fluids. We prove the existence and uniqueness of the differential system for stationary problem. The technique of semi-discretization in time is used to prove the existence of solution for the transient problem. This paper is focused on the generalized Forchheimer flows for slightly compressible fluids. We prove the existence and uniqueness of the differential system for stationary problem. The technique of semi-discretization in time is used to prove the existence of solution for the transient problem. △ Less

Submitted 2 April, 2018; originally announced April 2018.

Comments: arXiv admin note: substantial text overlap with arXiv:1608.08829 by other authors

MSC Class: 35Q35; 35D30; 35K55; 76S05

The Travelling Salesman Problem and Adiabatic Quantum Computation: An Algorithm

Authors: Tien D. Kieu

Abstract: An explicit algorithm for the travelling salesman problem is constructed in the framework of adiabatic quantum computation, AQC. The initial Hamiltonian for the AQC process admits canonical coherent states as the ground state, and the target Hamiltonian has the shortest tour as the desirable ground state. Some estimates/bounds are also given for the computational complexity of the algorithm with p… ▽ More An explicit algorithm for the travelling salesman problem is constructed in the framework of adiabatic quantum computation, AQC. The initial Hamiltonian for the AQC process admits canonical coherent states as the ground state, and the target Hamiltonian has the shortest tour as the desirable ground state. Some estimates/bounds are also given for the computational complexity of the algorithm with particular emphasis on the required energy resources, besides the space and time complexity, for the physical process of (quantum) computation in general. △ Less

Submitted 28 February, 2019; v1 submitted 23 January, 2018; originally announced January 2018.

Comments: 23 pages, 9 figures

Journal ref: Quantum Inf Process (2019) 18: 90

A Class of Time-Energy Uncertainty Relations for Time-dependent Hamiltonians

Authors: Tien D. Kieu

Abstract: A new class of time-energy uncertainty relations is directly derived from the Schrödinger equations for time-dependent Hamiltonians. Only the initial states and the Hamiltonians, but neither the instantaneous eigenstates nor the full time-dependent wave functions, which would demand a full solution for a time-dependent Hamiltonian, are required for our time-energy relations. Explicit results are t… ▽ More A new class of time-energy uncertainty relations is directly derived from the Schrödinger equations for time-dependent Hamiltonians. Only the initial states and the Hamiltonians, but neither the instantaneous eigenstates nor the full time-dependent wave functions, which would demand a full solution for a time-dependent Hamiltonian, are required for our time-energy relations. Explicit results are then presented for particular subcases of interest for time-independent Hamiltonians and also for time-varying Hamiltonians employed in adiabatic quantum computation. Some estimates of the lower bounds on computational time are given for general adiabatic quantum algorithms, with Grover's search as an illustration. We particularly emphasise the role of required energy resources, besides the space and time complexity, for the physical process of (quantum) computation in general. △ Less

Submitted 27 June, 2019; v1 submitted 2 February, 2017; originally announced February 2017.

Comments: 15 pages. arXiv admin note: substantial text overlap with arXiv:1801.07859

Journal ref: Proc Roy Soc A 475 (2019) 20190148

A mixed finite element approximation for Darcy-Forchheimer flows of slightly compressible fluids

Authors: Thinh Kieu

Abstract: In this paper, we consider the generalized Forchheimer flows for slightly compressible fluids in porous media. Using Muskat's and Ward's general form of Forchheimer equations, we describe the flow of a single-phase fluid in $\mathbb R^d, d\ge 2$ by a nonlinear degenerate system of density and momentum. A mixed finite element method is proposed for the approximation of the solution of the above sys… ▽ More In this paper, we consider the generalized Forchheimer flows for slightly compressible fluids in porous media. Using Muskat's and Ward's general form of Forchheimer equations, we describe the flow of a single-phase fluid in $\mathbb R^d, d\ge 2$ by a nonlinear degenerate system of density and momentum. A mixed finite element method is proposed for the approximation of the solution of the above system. The stability of the approximations are proved; the error estimates are derived for the numerical approximations for both continuous and discrete time procedures. The continuous dependence of numerical solutions on physical parameters are demonstrated. Experimental studies are presented regarding convergence rates and showing the dependence of the solution on the physical parameters. △ Less

Submitted 10 June, 2016; originally announced June 2016.

Fluid Flows of Mixed Regimes in Porous Media

Authors: Emine Celik, Luan Hoang, Akif Ibragimov, Thinh Kieu

Abstract: In porous media, there are three known regimes of fluid flows, namely, pre-Darcy, Darcy and post-Darcy. Because of their different natures, these are usually treated separately in literature. To study complex flows when all three regimes may be present in different portions of a same domain, we use a single equation of motion to unify them. Several scenarios and models are then considered for slig… ▽ More In porous media, there are three known regimes of fluid flows, namely, pre-Darcy, Darcy and post-Darcy. Because of their different natures, these are usually treated separately in literature. To study complex flows when all three regimes may be present in different portions of a same domain, we use a single equation of motion to unify them. Several scenarios and models are then considered for slightly compressible fluids. A nonlinear parabolic equation for the pressure is derived, which is degenerate when the pressure gradient is either small or large. We estimate the pressure and its gradient for all time in terms of initial and boundary data. We also obtain their particular bounds for large time which depend on the asymptotic behavior of the boundary data but not on the initial one. Moreover, the continuous dependence of the solutions on initial and boundary data, and the structural stability for the equation are established. △ Less

Submitted 30 March, 2016; originally announced March 2016.

Comments: 33 pages

Doubly nonlinear parabolic equations for a general class of Forchheimer gas flows in porous media

Authors: Emine Celik, Luan Hoang, Thinh Kieu

Abstract: This paper is focused on the generalized Forchheimer flows of compressible fluids in porous media. The gravity effect and other general nonlinear forms of the source terms and boundary fluxes are integrated into the model. It covers isentropic gas flows, ideal gases and slightly compressible fluids. We derive a doubly nonlinear parabolic equation for the so-called pseudo-pressure, and study the co… ▽ More This paper is focused on the generalized Forchheimer flows of compressible fluids in porous media. The gravity effect and other general nonlinear forms of the source terms and boundary fluxes are integrated into the model. It covers isentropic gas flows, ideal gases and slightly compressible fluids. We derive a doubly nonlinear parabolic equation for the so-called pseudo-pressure, and study the corresponding initial boundary value problem. The maximum estimates of the solution are established by using suitable trace theorem and adapting appropriately the Moser's iteration. The gradient estimates are obtained under a theoretical condition which, indeed, is relevant to the fluid flows in applications. △ Less

Submitted 4 January, 2016; originally announced January 2016.

Numerical analysis for generalized Forchheimer flows of slightly compressible fluids in porous media

Authors: Thinh Kieu

Abstract: In this paper, we will consider the generalized Forchheimer flows for slightly compressible fluids. Using Muskat's and Ward's general form of Forchheimer equations, we describe the fluid dynamics by a nonlinear degenerate parabolic equation for density. The long time numerical approximation of the nonlinear degenerate parabolic equation with time dependent boundary conditions is studied. The stabi… ▽ More In this paper, we will consider the generalized Forchheimer flows for slightly compressible fluids. Using Muskat's and Ward's general form of Forchheimer equations, we describe the fluid dynamics by a nonlinear degenerate parabolic equation for density. The long time numerical approximation of the nonlinear degenerate parabolic equation with time dependent boundary conditions is studied. The stability for all positive time is established in both a continuous time scheme and a discrete backward Euler scheme. A Gronwall's inequality-type is used to study the asymptotic behavior of the solution. Error estimates for the solution are derived for both continuous and discrete time procedures. Numerical experiments confirm the theoretical analysis regarding convergence rates. △ Less

Submitted 12 December, 2015; originally announced December 2015.

Comments: arXiv admin note: text overlap with arXiv:1508.00294

Galerkin finite element method for generalized Forchheimer equation of slightly compressible fluid in porous media

Authors: Thinh Kieu

Abstract: We consider the generalized Forchheimer flows for slightly compressible fluids. Using Muskat's and Ward's general form of Forchheimer equations, we describe the fluid dynamics by a nonlinear degenerate parabolic equation for the density. We study Galerkin finite elements method for the initial boundary value problem. The existence and uniqueness of the approximation are proved. The prior estimates… ▽ More We consider the generalized Forchheimer flows for slightly compressible fluids. Using Muskat's and Ward's general form of Forchheimer equations, we describe the fluid dynamics by a nonlinear degenerate parabolic equation for the density. We study Galerkin finite elements method for the initial boundary value problem. The existence and uniqueness of the approximation are proved. The prior estimates for the solutions in $L^\infty(0,T;L^q(Ω)), q\ge 2$, time derivative in $L^\infty(0,T;L^2(Ω))$ and gradient in $L^\infty(0,T;W^{1,2-a}(Ω)),$ with $a\in (0,1)$ are established. Error estimates for the density variable are derived in several norms for both continuous and discrete time procedures. Numerical experiments using backward Euler scheme confirm the theoretical analysis regarding convergence rates. △ Less

Submitted 2 August, 2015; originally announced August 2015.

Generalized Forchheimer flows of isentropic gases

Authors: Emine Celik, Luan Hoang, Thinh Kieu

Abstract: We consider generalized Forchheimer flows of either isentropic gases or slightly compressible fluids in porous media. By using Muskat's and Ward's general form of the Forchheimer equations, we describe the fluid dynamics by a doubly nonlinear parabolic equation for the appropriately defined pseudo-pressure. The volumetric flux boundary condition is converted to a time-dependent Robin-type boundary… ▽ More We consider generalized Forchheimer flows of either isentropic gases or slightly compressible fluids in porous media. By using Muskat's and Ward's general form of the Forchheimer equations, we describe the fluid dynamics by a doubly nonlinear parabolic equation for the appropriately defined pseudo-pressure. The volumetric flux boundary condition is converted to a time-dependent Robin-type boundary condition for this pseudo-pressure. We study the corresponding initial boundary value problem, and estimate the $L^\infty$ and $W^{1,2-a}$ (with $0<a<1$) norms for the solution on the entire domain in terms of the initial and boundary data. It is carried out by using a suitable trace theorem and an appropriate modification of Moser's iteration. △ Less

Submitted 3 April, 2015; originally announced April 2015.

Global Estimates for Generalized Forchheimer Flows of Slightly Compressible Fluids

Authors: Luan Hoang, Thinh Kieu

Abstract: This paper is focused on the generalized Forchheimer flows of slightly compressible fluids in porous media. They are reformulated as a degenerate parabolic equation for the pressure. The initial boundary value problem is studied with time-dependent Dirichlet boundary data. The estimates up to the boundary and for all time are derived for the $L^\infty$-norm of the pressure, its gradient and time d… ▽ More This paper is focused on the generalized Forchheimer flows of slightly compressible fluids in porous media. They are reformulated as a degenerate parabolic equation for the pressure. The initial boundary value problem is studied with time-dependent Dirichlet boundary data. The estimates up to the boundary and for all time are derived for the $L^\infty$-norm of the pressure, its gradient and time derivative. Large-time estimates are established to be independent of the initial data. Particularly, thanks to the special structure of the pressure's nonlinear equation, the global gradient estimates are obtained in a relatively simple way, avoiding complicated calculations and a prior requirement of Hölder estimates. △ Less

Submitted 1 October, 2015; v1 submitted 16 February, 2015; originally announced February 2015.

Comments: arXiv admin note: text overlap with arXiv:1404.6517

The expanded mixed finite element method for generalized Forchheimer flows in porous media

Authors: Akif Ibragimov, Thinh T. Kieu

Abstract: We study the expanded mixed finite element method applied to degenerate parabolic equations with the Dirichlet boundary condition. The equation is considered a prototype of the nonlinear Forchheimer equation, a inverted to the nonlinear Darcy equation with permeability coefficient depending on pressure gradient, for slightly compressible fluid flow in porous media. The bounds for the solutions are… ▽ More We study the expanded mixed finite element method applied to degenerate parabolic equations with the Dirichlet boundary condition. The equation is considered a prototype of the nonlinear Forchheimer equation, a inverted to the nonlinear Darcy equation with permeability coefficient depending on pressure gradient, for slightly compressible fluid flow in porous media. The bounds for the solutions are established. In both continuous and discrete time procedures, utilizing the monotonicity properties of Forchheimer equation and boundedness of solutions we prove the optimal error estimates in $L^2$-norm for solution. The error bounds are established for the solution and divergence of the vector variable in Lebesgue norms and Sobolev norms under some additional regularity assumptions. A numerical example using the lowest order Raviart-Thomas ($RT_0$) mixed element are provided agreement with our theoretical analysis. △ Less

Submitted 27 September, 2014; originally announced September 2014.

Comments: arXiv admin note: substantial text overlap with arXiv:1409.7821

Analysis of expanded mixed finite element methods for the generalized Forchheimer equations

Authors: Thinh T. Kieu

Abstract: The nonlinear Forchheimer equations are used to describe the dynamics of fluid flows in porous media when Darcy's law is not applicable. In this article, we consider the generalized Forchheimer flows for slightly compressible fluids, and then study the expanded mixed finite element method applied to the initial boundary value problem for the resulting degenerate parabolic equation for pressure. Th… ▽ More The nonlinear Forchheimer equations are used to describe the dynamics of fluid flows in porous media when Darcy's law is not applicable. In this article, we consider the generalized Forchheimer flows for slightly compressible fluids, and then study the expanded mixed finite element method applied to the initial boundary value problem for the resulting degenerate parabolic equation for pressure. The bounds for the solutions, time derivative and gradient of solutions are established. Utilizing the monotonicity properties of Forchheimer equation and boundedness of solutions, a {\it priori } error estimates for solution are obtained in $L^2$-norm, $L^\infty$-norm as well as for its gradient in $L^{2-a}$-norm for all $a\in (0,1)$. Optimal $L^2$-error estimates are shown for solutions under some additional regularity assumptions. Numerical results using the lowest order Raviart-Thomas mixed element confirm the theoretical analysis regarding convergence rates. △ Less

Submitted 27 September, 2014; originally announced September 2014.

Properties of Generalized Forchheimer Flows in Porous Media

Authors: Luan T. Hoang, Thinh T. Kieu, Tuoc V. Phan

Abstract: The nonlinear Forchheimer equations are used to describe the dynamics of fluid flows in porous media when Darcy's law is not applicable. In this article, we consider the generalized Forchheimer flows for slightly compressible fluids and study the initial boundary value problem for the resulting degenerate parabolic equation for pressure with the time-dependent flux boundary condition. We estimate… ▽ More The nonlinear Forchheimer equations are used to describe the dynamics of fluid flows in porous media when Darcy's law is not applicable. In this article, we consider the generalized Forchheimer flows for slightly compressible fluids and study the initial boundary value problem for the resulting degenerate parabolic equation for pressure with the time-dependent flux boundary condition. We estimate $L^\infty$-norm for pressure and its time derivative, as well as other Lebesgue norms for its gradient and second spatial derivatives. The asymptotic estimates as time tends to infinity are emphasized. We then show that the solution (in interior $L^\infty$-norms) and its gradient (in interior $L^{2-δ}$-norms) depend continuously on the initial and boundary data, and coefficients of the Forchheimer polynomials. These are proved for both finite time intervals and time infinity. The De Giorgi and Ladyzhenskaya-Uraltseva iteration techniques are combined with uniform Gronwall-type estimates, specific monotonicity properties, suitable parabolic Sobolev embeddings and a new fast geometric convergence result. △ Less

Submitted 27 May, 2014; originally announced May 2014.

Comments: 63 pages

Interior Estimates for Generalized Forchheimer Flows of Slightly Compressible Fluids

Authors: Luan T. Hoang, Thinh T. Kieu

Abstract: The generalized Forchheimer flows are studied for slightly compressible fluids in porous media with time-dependent Dirichlet boundary data for the pressure. No restrictions on the degree of the Forchheimer polynomial are imposed. We derive, for all time, the interior $L^\infty$-estimates for the pressure and its partial derivatives, and the interior $L^2$-estimates for its Hessian. The De Giorgi a… ▽ More The generalized Forchheimer flows are studied for slightly compressible fluids in porous media with time-dependent Dirichlet boundary data for the pressure. No restrictions on the degree of the Forchheimer polynomial are imposed. We derive, for all time, the interior $L^\infty$-estimates for the pressure and its partial derivatives, and the interior $L^2$-estimates for its Hessian. The De Giorgi and Ladyzhenskaya-Uraltseva iteration techniques are used taking into account the special structures of the equations for both pressure and its gradient. These are combined with the uniform Gronwall-type bounds in establishing the asymptotic estimates when time tends to infinity. △ Less

Submitted 1 October, 2015; v1 submitted 25 April, 2014; originally announced April 2014.

A family of steady two-phase generalized Forchheimer flows and their linear stability analysis

Authors: Luan T. Hoang, Akif Ibragimov, Thinh T. Kieu

Abstract: We model multi-dimensional two-phase flows of incompressible fluids in porous media using generalized Forchheimer equations and the capillary pressure. Firstly, we find a family of steady state solutions whose saturation and pressure are radially symmetric and velocities are rotation-invariant. Their properties are investigated based on relations between the capillary pressure, each phase's relati… ▽ More We model multi-dimensional two-phase flows of incompressible fluids in porous media using generalized Forchheimer equations and the capillary pressure. Firstly, we find a family of steady state solutions whose saturation and pressure are radially symmetric and velocities are rotation-invariant. Their properties are investigated based on relations between the capillary pressure, each phase's relative permeability and Forchheimer polynomial. Secondly, we analyze the linear stability of those steady states. The linearized system is derived and reduced to a parabolic equation for the saturation. This equation has a special structure depending on the steady states which we exploit to prove two new forms of the lemma of growth of Landis-type in both bounded and unbounded domains. Using these lemmas, qualitative properties of the solution of the linearized equation are studied in details. In bounded domains, we show that the solution decays exponentially in time. In unbounded domains, in addition to their stability, the solution decays to zero as the spatial variables tend to infinity. The Bernstein △ Less

Submitted 21 October, 2013; originally announced October 2013.

Comments: 33 pages

Loan and nonloan flows in the Australian interbank network

Authors: Andrey Sokolov, Rachel Webster, Andrew Melatos, Tien Kieu

Abstract: High-value transactions between Australian banks are settled in the Reserve Bank Information and Transfer System (RITS) administered by the Reserve Bank of Australia. RITS operates on a real-time gross settlement (RTGS) basis and settles payments sourced from the SWIFT, the Austraclear, and the interbank transactions entered directly into RITS. In this paper, we analyse a dataset received from the… ▽ More High-value transactions between Australian banks are settled in the Reserve Bank Information and Transfer System (RITS) administered by the Reserve Bank of Australia. RITS operates on a real-time gross settlement (RTGS) basis and settles payments sourced from the SWIFT, the Austraclear, and the interbank transactions entered directly into RITS. In this paper, we analyse a dataset received from the Reserve Bank of Australia that includes all interbank transactions settled in RITS on an RTGS basis during five consecutive weekdays from 19 February 2007 inclusive, a week of relatively quiescent market conditions. The source, destination, and value of each transaction are known, which allows us to separate overnight loans from other transactions (nonloans) and reconstruct monetary flows between banks for every day in our sample. We conduct a novel analysis of the flow stability and examine the connection between loan and nonloan flows. Our aim is to understand the underlying causal mechanism connecting loan and nonloan flows. We find that the imbalances in the banks' exchange settlement funds resulting from the daily flows of nonloan transactions are almost exactly counterbalanced by the flows of overnight loans. The correlation coefficient between loan and nonloan imbalances is about -0.9 on most days. Some flows that persist over two consecutive days can be highly variable, but overall the flows are moderately stable in value. The nonloan network is characterised by a large fraction of persistent flows, whereas only half of the flows persist over any two consecutive days in the loan network. Moreover, we observe an unusual degree of coherence between persistent loan flow values on Tuesday and Wednesday. We probe static topological properties of the Australian interbank network and find them consistent with those observed in other countries. △ Less

Submitted 14 February, 2012; originally announced February 2012.

Journal ref: Physica A 391 (2012) 2867-2882

A note on the theory of fast money flow dynamics

Authors: Andrey Sokolov, Tien Kieu, Andrew Melatos

Abstract: The gauge theory of arbitrage was introduced by Ilinski in [arXiv:hep-th/9710148] and applied to fast money flows in [arXiv:cond-mat/9902044]. The theory of fast money flow dynamics attempts to model the evolution of currency exchange rates and stock prices on short, e.g.\ intra-day, time scales. It has been used to explain some of the heuristic trading rules, known as technical analysis, that are… ▽ More The gauge theory of arbitrage was introduced by Ilinski in [arXiv:hep-th/9710148] and applied to fast money flows in [arXiv:cond-mat/9902044]. The theory of fast money flow dynamics attempts to model the evolution of currency exchange rates and stock prices on short, e.g.\ intra-day, time scales. It has been used to explain some of the heuristic trading rules, known as technical analysis, that are used by professional traders in the equity and foreign exchange markets. A critique of some of the underlying assumptions of the gauge theory of arbitrage was presented by Sornette in [arXiv:cond-mat/9804045]. In this paper, we present a critique of the theory of fast money flow dynamics, which was not examined by Sornette. We demonstrate that the choice of the input parameters used in [arXiv:cond-mat/9902044] results in sinusoidal oscillations of the exchange rate, in conflict with the results presented in [arXiv:cond-mat/9902044]. We also find that the dynamics predicted by the theory are generally unstable in most realistic situations, with the exchange rate tending to zero or infinity exponentially. △ Less

Submitted 14 June, 2010; originally announced June 2010.

Comments: accepted for publication in The European Physical Journal B

Laplace transform analysis of a multiplicative asset transfer model

Authors: Andrey Sokolov, Andrew Melatos, Tien Kieu

Abstract: We analyze a simple asset transfer model in which the transfer amount is a fixed fraction $f$ of the giver's wealth. The model is analyzed in a new way by Laplace transforming the master equation, solving it analytically and numerically for the steady-state distribution, and exploring the solutions for various values of $f\in(0,1)$. The Laplace transform analysis is superior to agent-based simulat… ▽ More We analyze a simple asset transfer model in which the transfer amount is a fixed fraction $f$ of the giver's wealth. The model is analyzed in a new way by Laplace transforming the master equation, solving it analytically and numerically for the steady-state distribution, and exploring the solutions for various values of $f\in(0,1)$. The Laplace transform analysis is superior to agent-based simulations as it does not depend on the number of agents, enabling us to study entropy and inequality in regimes that are costly to address with simulations. We demonstrate that Boltzmann entropy is not a suitable (e.g. non-monotonic) measure of disorder in a multiplicative asset transfer system and suggest an asymmetric stochastic process that is equivalent to the asset transfer model. △ Less

Submitted 28 April, 2010; originally announced April 2010.

Journal ref: Physica A 389 (2010) 2782-2792

Finite temperature correlations in the Bose-Hubbard model: application of the Gauge $P$ representation

Authors: Saeed Ghanbari, Joel F. Corney, Tien D. Kieu

Abstract: We study ultracold Bose gases in periodic potentials as described by the Bose-Hubbard model. In 1D and at finite temperature, we simulate ultracold Bose gases in imaginary time with the gauge $P$ representation. We study various quantities including the Luttinger parameter $K$, which is important for locating the boundaries of the Mott insulator lobes, and find a simple relation for the kinetic… ▽ More We study ultracold Bose gases in periodic potentials as described by the Bose-Hubbard model. In 1D and at finite temperature, we simulate ultracold Bose gases in imaginary time with the gauge $P$ representation. We study various quantities including the Luttinger parameter $K$, which is important for locating the boundaries of the Mott insulator lobes, and find a simple relation for the kinetic energy part of the Bose-Hubbard Hamiltonian. We show that for J=0, the stepwise pattern of the average number of particles per lattice site versus the chemical potential vanishes at temperatures above $T \approx 0.1 U$. Also, at chemical potential $μ=0.5 U$ and temperature $T=0.5 U$ by increasing $J$, the relative value of the number fluctuation decreases and approaches that of a coherent state. △ Less

Submitted 25 February, 2010; originally announced February 2010.

Comments: 14 pages, 11 figures

A class of permanent magnetic lattices for ultracold atoms

Authors: Saeed Ghanbari, Tien D Kieu, Peter Hannaford

Abstract: We report on a class of configurations of permanent magnets on an atom chip for producing 1D and 2D periodic arrays of magnetic microtraps with non-zero potential minima and variable barrier height for trap** and manipulating ultracold atoms and quantum degenerate gases. We present analytical expressions for the relevant physical quantities and compare them with our numerical results and with… ▽ More We report on a class of configurations of permanent magnets on an atom chip for producing 1D and 2D periodic arrays of magnetic microtraps with non-zero potential minima and variable barrier height for trap** and manipulating ultracold atoms and quantum degenerate gases. We present analytical expressions for the relevant physical quantities and compare them with our numerical results and with some previous numerical calculations. In one of the configurations of permanent magnets, we show how it is possible by changing the angle between the crossed periodic arrays of magnets to go from a 1D array of 2D microtraps to a 2D array of 3D microtraps and thus to continuously vary the barrier heights between the microtraps. This suggests the possibility of performing a type of `mechanical' BEC to Mott insulator quantum phase transition in a magnetic lattice. We also discuss a configuration of magnets which could realize a two-qubit quantum gate in a magnetic lattice. △ Less

Submitted 20 November, 2006; originally announced November 2006.

Comments: 18 pages

Reply to Andrew Hodges

Authors: Tien D. Kieu

Abstract: We separate the criticisms of Hodges \cite{Hodges2005} and others into those against the algorithm itself and those against its physical implementation. We then point out that {\em all} those against the algorithm are either misleading or misunderstanding, and that the algorithm is self consistent. The only central argument against physical implementations of the algorithm, on the other hand, is… ▽ More We separate the criticisms of Hodges \cite{Hodges2005} and others into those against the algorithm itself and those against its physical implementation. We then point out that {\em all} those against the algorithm are either misleading or misunderstanding, and that the algorithm is self consistent. The only central argument against physical implementations of the algorithm, on the other hand, is based on an assumption that its Hamiltonians cannot be effectively constructed due to a lack of infinite precision. However, so far there is no known physical principle dictating why that cannot be done. To show that the criticism may not be a forgone conclusion, we point out the virtually unknown fact that, on the contrary, simple instances of Diophantine equations with apparently {\em infinitely precisely} integer coefficients have {\em already} been realised in experiments for certain quantum phase transitions. We also speculate on how central limit theorem of statistics might be of some help in the effective implementation of the required Hamiltonians. △ Less

Submitted 28 February, 2006; v1 submitted 26 February, 2006; originally announced February 2006.

Comments: now 9 pages

A mathematical proof for a ground-state identification criterion

Authors: Tien D. Kieu

Abstract: We give a mathematical proof for an identification criterion by a probability measure for the ground state among an infinite number of available states, or a finitely truncated number with appropriate boundary conditions, in a quantum adiabatic algorithm for Hilbert's tenth problem. We give a mathematical proof for an identification criterion by a probability measure for the ground state among an infinite number of available states, or a finitely truncated number with appropriate boundary conditions, in a quantum adiabatic algorithm for Hilbert's tenth problem. △ Less

Submitted 19 February, 2006; v1 submitted 17 February, 2006; originally announced February 2006.

Comments: 5 pages, no figure

On the identification of the ground state based on occupation probabilities: An investigation of Smith's apparent counterexamples

Authors: Tien D. Kieu

Abstract: We study a set of truncated matrices, given by Smith~\cite{Smith2005}, in connection to an identification criterion for the ground state in our proposed quantum adiabatic algorithm for Hilbert's tenth problem. We identify the origin of the trouble for this truncated example and show that for a suitable choice of some parameter it can always be removed. We also argue that it is only an artefact o… ▽ More We study a set of truncated matrices, given by Smith~\cite{Smith2005}, in connection to an identification criterion for the ground state in our proposed quantum adiabatic algorithm for Hilbert's tenth problem. We identify the origin of the trouble for this truncated example and show that for a suitable choice of some parameter it can always be removed. We also argue that it is only an artefact of the truncation of the underlying Hilbert spaces, through showing its sensitivity to different boundary conditions available for such a truncation. It is maintained that the criterion, in general, should be applicable provided certain conditions are satisfied. We also point out that, apart from this one, other criteria serving the same identification purpose may also be available. △ Less

Submitted 19 February, 2006; v1 submitted 17 February, 2006; originally announced February 2006.

Comments: This is an edited version, with updated references, of an earlier reply to Smith in July, 2005. 9 pages and 12 figures

Quantum Adiabatic Computation and the Travelling Salesman Problem

Authors: Tien D. Kieu

Abstract: The NP-complete problem of the travelling salesman (TSP) is considered in the framework of quantum adiabatic computation (QAC). We first derive a remarkable lower bound for the computation time for adiabatic algorithms in general as a function of the energy involved in the computation. Energy, and not just time and space, must thus be considered in the evaluation of algorithm complexity, in perf… ▽ More The NP-complete problem of the travelling salesman (TSP) is considered in the framework of quantum adiabatic computation (QAC). We first derive a remarkable lower bound for the computation time for adiabatic algorithms in general as a function of the energy involved in the computation. Energy, and not just time and space, must thus be considered in the evaluation of algorithm complexity, in perfect accordance with the understanding that all computation is physical. We then propose, with oracular Hamiltonians, new quantum adiabatic algorithms of which not only the lower bound in time but also the energy requirement do not increase exponentially in the size of the input. Such an improvement in both time and energy complexity, as compared to all other existing algorithms for TSP, is apparently due to quantum entanglement. We also appeal to the general theory of Diophantine equations in a speculation on physical implementation of those oracular Hamiltonians. △ Less

Submitted 29 March, 2006; v1 submitted 23 January, 2006; originally announced January 2006.

Comments: 7 pages. Explanation added for the derivation of the lower bound on computation time

Permanent magnetic lattices for ultracold atoms and quantum degenerate gases

Authors: Saeed Ghanbari, Tien D. Kieu, Andrei Sidorov, Peter Hannaford

Abstract: We propose the use of periodic arrays of permanent magnetic films for producing magnetic lattices of microtraps for confining, manipulating and controlling small clouds of ultracold atoms and quantum degenerate gases. Using analytical expressions and numerical calculations we show that periodic arrays of magnetic films can produce one-dimensional (1D) and two-dimensional (2D) magnetic lattices w… ▽ More We propose the use of periodic arrays of permanent magnetic films for producing magnetic lattices of microtraps for confining, manipulating and controlling small clouds of ultracold atoms and quantum degenerate gases. Using analytical expressions and numerical calculations we show that periodic arrays of magnetic films can produce one-dimensional (1D) and two-dimensional (2D) magnetic lattices with non-zero potential minima, allowing ultracold atoms to be trapped without losses due to spin flips. In particular, we show that two crossed layers of periodic arrays of parallel rectangular magnets plus bias fields, or a single layer of periodic arrays of square-shaped magnets with three different thicknesses plus bias fields, can produce 2D magnetic lattices of microtraps having non-zero potential minima and controllable trap depth. For arrays with micron-scale periodicity, the magnetic microtraps can have very large trap depths ($\sim$0.5 mK for the realistic parameters chosen for the 2D lattice) and very tight confinement. △ Less

Submitted 18 December, 2005; v1 submitted 16 December, 2005; originally announced December 2005.

Comments: 15 pages, 7 figures, to appear in Journal of Physics B: Atomic, Molecular and Optical Physics

Journal ref: 2006 J. Phys. B: At. Mol. Opt. Phys. 39 847-860

The second law, Maxwell's daemon and work derivable from quantum heat engines

Authors: Tien D. Kieu

Abstract: With a class of quantum heat engines which consists of two-energy-eigenstate systems undergoing, respectively, quantum adiabatic processes and energy exchanges with heat baths at different stages of a cycle, we are able to clarify some important aspects of the second law of thermodynamics. The quantum heat engines also offer a practical way, as an alternative to Szilard's engine, to physically r… ▽ More With a class of quantum heat engines which consists of two-energy-eigenstate systems undergoing, respectively, quantum adiabatic processes and energy exchanges with heat baths at different stages of a cycle, we are able to clarify some important aspects of the second law of thermodynamics. The quantum heat engines also offer a practical way, as an alternative to Szilard's engine, to physically realise Maxwell's daemon. While respecting the second law on the average, they are also capable of extracting more work from the heat baths than is otherwise possible in thermal equilibrium. △ Less

Submitted 22 August, 2005; originally announced August 2005.

Journal ref: Phys. Rev. Lett. 93 (2004) 140403