-
Efficient approximations of matrix multiplication using truncated decompositions
Authors:
Suvendu Kar,
Hariprasad M.,
Sai Gowri J. N.,
Murugesan Venkatapathi
Abstract:
We exploit the truncated singular value decomposition and the recently proposed circulant decomposition for an efficient first-order approximation of the multiplication of large dense matrices. A decomposition of each matrix into a sum of a sparse matrix with relatively few dominant entries and a dense residue can also use the above approach, and we present methods for multiplication using a Fouri…
▽ More
We exploit the truncated singular value decomposition and the recently proposed circulant decomposition for an efficient first-order approximation of the multiplication of large dense matrices. A decomposition of each matrix into a sum of a sparse matrix with relatively few dominant entries and a dense residue can also use the above approach, and we present methods for multiplication using a Fourier decomposition and a cycle decomposition-based sparsifications. The proposed methods scale as $\mathcal{O}(n^2 \log n)$ in arithmetic operations for $n \times n$ matrices for usable tolerances in relative error $\sim$ 1\%. Note that different decompositions for the two matrices $A$ and $B$ in the product $AB$ are also possible in this approach, using efficient a priori evaluations for suitability, to improve further on the error tolerances demonstrated here.
△ Less
Submitted 30 June, 2025; v1 submitted 27 April, 2025;
originally announced April 2025.
-
Strang splitting in combination with rank-$1$ and rank-$r$ lattices for the time-dependent Schrödinger equation
Authors:
Yuya Suzuki,
Gowri Suryanarayana,
Dirk Nuyens
Abstract:
We approximate the solution for the time dependent Schrödinger equation (TDSE) in two steps. We first use a pseudo-spectral collocation method that uses samples of functions on rank-1 or rank-r lattice points with unitary Fourier transforms. We then get a system of ordinary differential equations in time, which we solve approximately by stepping in time using the Strang splitting method. We prove…
▽ More
We approximate the solution for the time dependent Schrödinger equation (TDSE) in two steps. We first use a pseudo-spectral collocation method that uses samples of functions on rank-1 or rank-r lattice points with unitary Fourier transforms. We then get a system of ordinary differential equations in time, which we solve approximately by stepping in time using the Strang splitting method. We prove that the numerical scheme proposed converges quadratically with respect to the time step size, given that the potential is in a Korobov space with the smoothness parameter greater than $9/2$. Particularly, we prove that the required degree of smoothness is independent of the dimension of the problem. We demonstrate our new method by comparing with results using sparse grids from [12], with several numerical examples showing large advantage for our new method and pushing the examples to higher dimensionality. The proposed method has two distinctive features from a numerical perspective: (i) numerical results show the error convergence of time discretization is consistent even for higher-dimensional problems; (ii) by using the rank-$1$ lattice points, the solution can be efficiently computed (and further time stepped) using only $1$-dimensional Fast Fourier Transforms.
△ Less
Submitted 30 June, 2020; v1 submitted 20 August, 2018;
originally announced August 2018.
-
Tent-transformed lattice rules for integration and approximation of multivariate non-periodic functions
Authors:
Ronald Cools,
Frances Y. Kuo,
Dirk Nuyens,
Gowri Suryanarayana
Abstract:
We develop algorithms for multivariate integration and approximation in the weighted half-period cosine space of smooth non-periodic functions. We use specially constructed tent-transformed rank-1 lattice points as cubature nodes for integration and as sampling points for approximation. For both integration and approximation, we study the connection between the worst-case errors of our algorithms…
▽ More
We develop algorithms for multivariate integration and approximation in the weighted half-period cosine space of smooth non-periodic functions. We use specially constructed tent-transformed rank-1 lattice points as cubature nodes for integration and as sampling points for approximation. For both integration and approximation, we study the connection between the worst-case errors of our algorithms in the cosine space and the worst-case errors of some related algorithms in the well-known weighted Korobov space of smooth periodic functions. By exploiting this connection, we are able to obtain constructive worst-case error bounds with good convergence rates for the cosine space.
△ Less
Submitted 2 June, 2016;
originally announced June 2016.
-
Construction of quasi-Monte Carlo rules for multivariate integration in spaces of permutation-invariant functions
Authors:
Dirk Nuyens,
Gowri Suryanarayana,
Markus Weimar
Abstract:
We study multivariate integration of functions that are invariant under the permutation (of a subset) of their arguments. Recently, in Nuyens, Suryanarayana, and Weimar (Adv. Comput. Math. (2016), 42(1):55--84), the authors derived an upper estimate for the $n$th minimal worst case error for such problems, and showed that under certain conditions this upper bound only weakly depends on the dimensi…
▽ More
We study multivariate integration of functions that are invariant under the permutation (of a subset) of their arguments. Recently, in Nuyens, Suryanarayana, and Weimar (Adv. Comput. Math. (2016), 42(1):55--84), the authors derived an upper estimate for the $n$th minimal worst case error for such problems, and showed that under certain conditions this upper bound only weakly depends on the dimension. We extend these results by proposing two (semi-) explicit construction schemes. We develop a component-by-component algorithm to find the generating vector for a shifted rank-$1$ lattice rule that obtains a rate of convergence arbitrarily close to $\mathcal{O}(n^{-α})$, where $α>1/2$ denotes the smoothness of our function space and $n$ is the number of cubature nodes. Further, we develop a semi-constructive algorithm that builds on point sets which can be used to approximate the integrands of interest with a small error; the cubature error is then bounded by the error of approximation. Here the same rate of convergence is achieved while the dependence of the error bounds on the dimension $d$ is significantly improved.
△ Less
Submitted 28 November, 2016; v1 submitted 29 July, 2015;
originally announced July 2015.
-
Rank-1 lattice rules for multivariate integration in spaces of permutation-invariant functions: Error bounds and tractability
Authors:
Dirk Nuyens,
Gowri Suryanarayana,
Markus Weimar
Abstract:
We study multivariate integration of functions that are invariant under permutations (of subsets) of their arguments. We find an upper bound for the $n$th minimal worst case error and show that under certain conditions, it can be bounded independent of the number of dimensions. In particular, we study the application of unshifted and randomly shifted rank-$1$ lattice rules in such a problem settin…
▽ More
We study multivariate integration of functions that are invariant under permutations (of subsets) of their arguments. We find an upper bound for the $n$th minimal worst case error and show that under certain conditions, it can be bounded independent of the number of dimensions. In particular, we study the application of unshifted and randomly shifted rank-$1$ lattice rules in such a problem setting. We derive conditions under which multivariate integration is polynomially or strongly polynomially tractable with the Monte Carlo rate of convergence $O(n^{-1/2})$. Furthermore, we prove that those tractability results can be achieved with shifted lattice rules and that the shifts are indeed necessary. Finally, we show the existence of rank-$1$ lattice rules whose worst case error on the permutation- and shift-invariant spaces converge with (almost) optimal rate. That is, we derive error bounds of the form $O(n^{-λ/2})$ for all $1 \leq λ< 2 α$, where $α$ denotes the smoothness of the spaces.
Keywords: Numerical integration, Quadrature, Cubature, Quasi-Monte Carlo methods, Rank-1 lattice rules.
△ Less
Submitted 6 March, 2015; v1 submitted 13 May, 2014;
originally announced May 2014.
-
Multilevel Monte Carlo simulation for Levy processes based on the Wiener-Hopf factorisation
Authors:
Albert Ferreiro-Castilla,
Andreas E. Kyprianou,
Robert Scheichl,
Gowri Suryanarayana
Abstract:
In Kuznetsov et al. (2011) a new Monte Carlo simulation technique was introduced for a large family of Levy processes that is based on the Wiener-Hopf decomposition. We pursue this idea further by combining their technique with the recently introduced multilevel Monte Carlo methodology. Moreover, we provide here for the first time a theoretical analysis of the new Monte Carlo simulation technique…
▽ More
In Kuznetsov et al. (2011) a new Monte Carlo simulation technique was introduced for a large family of Levy processes that is based on the Wiener-Hopf decomposition. We pursue this idea further by combining their technique with the recently introduced multilevel Monte Carlo methodology. Moreover, we provide here for the first time a theoretical analysis of the new Monte Carlo simulation technique in Kuznetsov et al. (2011) and of its multilevel variant for computing expectations of functions depending on the historical trajectory of a Levy process. We derive rates of convergence for both methods and show that they are uniform with respect to the "jump activity" (e.g. characterised by the Blumenthal-Getoor index). We also present a modified version of the algorithm in Kuznetsov et al. (2011) which combined with the multilevel methodology obtains the optimal rate of convergence for general Levy processes and Lipschitz functionals. This final result is only a theoretical one at present, since it requires independent sampling from a triple of distributions which is currently only possible for a limited number of processes.
△ Less
Submitted 12 April, 2013; v1 submitted 22 October, 2012;
originally announced October 2012.
-
A New Computationally Efficient Measure of Topological Redundancy of Biological and Social Networks
Authors:
Reka Albert,
Bhaskar DasGupta,
Anthony Gitter,
Gamze Gursoy,
Rashmi Hegde,
Pradyut Paul,
Gowri Sangeetha Sivanathan,
Eduardo Sontag
Abstract:
It is well-known that biological and social interaction networks have a varying degree of redundancy, though a consensus of the precise cause of this is so far lacking. In this paper, we introduce a topological redundancy measure for labeled directed networks that is formal, computationally efficient and applicable to a variety of directed networks such as cellular signaling, metabolic and social…
▽ More
It is well-known that biological and social interaction networks have a varying degree of redundancy, though a consensus of the precise cause of this is so far lacking. In this paper, we introduce a topological redundancy measure for labeled directed networks that is formal, computationally efficient and applicable to a variety of directed networks such as cellular signaling, metabolic and social interaction networks. We demonstrate the computational efficiency of our measure by computing its value and statistical significance on a number of biological and social networks with up to several thousands of nodes and edges. Our results suggest a number of interesting observations: (1) social networks are more redundant that their biological counterparts, (2) transcriptional networks are less redundant than signaling networks, (3) the topological redundancy of the C. elegans metabolic network is largely due to its inclusion of currency metabolites, and (4) the redundancy of signaling networks is highly (negatively) correlated with the monotonicity of their dynamics.
△ Less
Submitted 5 November, 2011; v1 submitted 30 August, 2011;
originally announced August 2011.
-
Guaranteeing Convergence of Iterative Skewed Voting Algorithms for Image Segmentation
Authors:
Doru C. Balcan,
Gowri Srinivasa,
Matthew Fickus,
Jelena Kovacevic
Abstract:
In this paper we provide rigorous proof for the convergence of an iterative voting-based image segmentation algorithm called Active Masks. Active Masks (AM) was proposed to solve the challenging task of delineating punctate patterns of cells from fluorescence microscope images. Each iteration of AM consists of a linear convolution composed with a nonlinear thresholding; what makes this process spe…
▽ More
In this paper we provide rigorous proof for the convergence of an iterative voting-based image segmentation algorithm called Active Masks. Active Masks (AM) was proposed to solve the challenging task of delineating punctate patterns of cells from fluorescence microscope images. Each iteration of AM consists of a linear convolution composed with a nonlinear thresholding; what makes this process special in our case is the presence of additive terms whose role is to "skew" the voting when prior information is available. In real-world implementation, the AM algorithm always converges to a fixed point. We study the behavior of AM rigorously and present a proof of this convergence. The key idea is to formulate AM as a generalized (parallel) majority cellular automaton, adapting proof techniques from discrete dynamical systems.
△ Less
Submitted 20 February, 2011; v1 submitted 13 February, 2011;
originally announced February 2011.
-
On the number of extreme measures with fixed marginals
Authors:
M. G. Nadkarni,
K. Gowri Navada
Abstract:
In this paper we give an improved upper bound, as compared to the one given in [3] for the number of extreme points of the convex set of all G-invariant probability measures on X*Y with given marginals of full support.
In this paper we give an improved upper bound, as compared to the one given in [3] for the number of extreme points of the convex set of all G-invariant probability measures on X*Y with given marginals of full support.
△ Less
Submitted 16 March, 2010; v1 submitted 6 June, 2008;
originally announced June 2008.
-
A note on three dimensional good sets
Authors:
K. Gowri Navada
Abstract:
We show that as in the case of n- fold Cartesian product for n greater than or equal to 4, even in 3-fold Cartesian product, a related component of a good set need not be a full component.
We show that as in the case of n- fold Cartesian product for n greater than or equal to 4, even in 3-fold Cartesian product, a related component of a good set need not be a full component.
△ Less
Submitted 26 February, 2008;
originally announced February 2008.
-
Some further remarks on good sets
Authors:
K Gowri Navada
Abstract:
We show that in n-fold cartesian product, n >= 4, a related component need not be a full component. We also prove that when n >= 4, uniform boundedness of lengths of geodesics is not a necessary condition for boundedness of solutions of (1) for bounded function f.
We show that in n-fold cartesian product, n >= 4, a related component need not be a full component. We also prove that when n >= 4, uniform boundedness of lengths of geodesics is not a necessary condition for boundedness of solutions of (1) for bounded function f.
△ Less
Submitted 13 July, 2007;
originally announced July 2007.
-
Banach space valued mean periodic functions
Authors:
K. Gowri Navada
Abstract:
Here we give a necessary and sufficient condition for a Banach space to be separable.
Here we give a necessary and sufficient condition for a Banach space to be separable.
△ Less
Submitted 9 September, 2006;
originally announced September 2006.
-
Some remarks on good sets
Authors:
K Gowri Navada
Abstract:
It is shown that (1) if a good set has finitely many related components, then they are full, (2) loops correspond one-to-one to extreme points of a convex set. Some other properties of good sets are discussed.
It is shown that (1) if a good set has finitely many related components, then they are full, (2) loops correspond one-to-one to extreme points of a convex set. Some other properties of good sets are discussed.
△ Less
Submitted 5 March, 2005;
originally announced March 2005.
