English
Related papers

Related papers: On Solving String Equations via Powers and Parikh …

200 papers

New iterative methods for solving linear equations are presented that are easy to use, generalize good existing methods, and appear to be faster. The new algorithms mix two kinds of linear recurrence formulas. Older methods have either high…

Numerical Analysis · Mathematics 2012-03-13 Joseph F. Grcar

The field equations for a time dependent cylindrical cosmic string coupled to gravity are reformulated in terms of geometrical variables defined on a 2+1-dimensional spacetime by using the method of Geroch decomposition. Unlike the…

General Relativity and Quantum Cosmology · Physics 2009-10-31 K R P Sjodin , U Sperhake , J A Vickers

We present nonuniform vacuum black strings in five and six spacetime dimensions. The conserved charges and the action of these solutions are computed by employing a quasilocal formalism. We find qualitative agreement of the physical…

High Energy Physics - Theory · Physics 2009-11-11 Burkhard Kleihaus , Jutta Kunz , Eugen Radu

Detectability of failures of linear programming (LP) decoding and the potential for improvement by adding new constraints motivate the use of an adaptive approach in selecting the constraints for the underlying LP problem. In this paper, we…

Information Theory · Computer Science 2007-07-13 Mohammad H. Taghavi , Paul H. Siegel

In this paper we study the set of rational solutions of equations defined by power sums symmetric polynomials with coefficients in a finite field. We do this by means of applying a methodology which relies on the study of the geometry of…

Number Theory · Mathematics 2020-02-05 Mariana Perez , Melina Privitelli

In the paper, a Newton-type method for the solution of generalized equations (GEs) is derived, where the linearization concerns both the single-valued and the multi-valued part of the considered GE. The method is based on the new notion of…

Optimization and Control · Mathematics 2019-04-22 H. Gfrerer , J. V. Outrata

A simple iteration methodology for the solution of a set of a linear algebraic equations is presented. The explanation of this method is based on a pure geometrical interpretation and pictorial representation. Convergence using this method…

Computational Physics · Physics 2010-12-30 Avas V. Khugaev , Renat A. Sultanov , D. Guster

We propose an algebraic framework generalizing several variants of Prony's method and explaining their relations. This includes Hankel and Toeplitz variants of Prony's method for the decomposition of multivariate exponential sums,…

Commutative Algebra · Mathematics 2021-05-18 Stefan Kunis , Tim Römer , Ulrich von der Ohe

Solving nonlinear partial differential equations (PDEs) with multiple solutions using neural networks has found widespread applications in various fields such as physics, biology, and engineering. However, classical neural network methods…

Machine Learning · Computer Science 2024-05-24 Wenrui Hao , Xinliang Liu , Yahong Yang

In this paper we introduce the notion of the $P$-sequences and apply their properties in studying representability of real numbers. Another application of $P$-sequences we find in generating the Prouhet-Tarry-Escott pairs.

Number Theory · Mathematics 2007-05-23 Zarko Mijajlovic , Milos Milosevic , Aleksandar Perovic

We provide algorithms computing power series solutions of a large class of differential or $q$-differential equations or systems. Their number of arithmetic operations grows linearly with the precision, up to logarithmic terms.

Symbolic Computation · Computer Science 2013-06-19 Alin Bostan , Muhammad F. I. Chowdhury , Romain Lebreton , Bruno Salvy , Éric Schost

We develop a comprehensive string diagrammatic treatment of electrical circuits. Building on previous, limited case studies, we introduce controlled sources and meters as elements, and the impedance calculus, a powerful toolbox for…

Logic in Computer Science · Computer Science 2022-11-04 Guillaume Boisseau , Paweł Sobociński

We present a general algorithm which permits to construct solutions in string cosmology for heterotic and type-IIB superstrings in four dimensions. Using a chain of transformations applied in sequence: conformal, T-duality and SL(2,R)…

High Energy Physics - Theory · Physics 2009-10-30 A. Feinstein , Ruth Lazkoz , M. A. Vazquez-Mozo

We present a new solver for coupled nonlinear elliptic partial differential equations (PDEs). The solver is based on pseudo-spectral collocation with domain decomposition and can handle one- to three-dimensional problems. It has three…

General Relativity and Quantum Cosmology · Physics 2009-11-07 Harald P. Pfeiffer , Lawrence E. Kidder , Mark A. Scheel , Saul A. Teukolsky

Classical string actions in AdS(3) and dS(3) can be connected to the sinh-Gordon and cosh-Gordon equations through Pohlmeyer reduction. We show that the problem of constructing a classical string solution with a given static or…

High Energy Physics - Theory · Physics 2016-12-15 Ioannis Bakas , Georgios Pastras

We present a method for non-smooth convex minimization which is based on subgradient directions and string-averaging techniques. In this approach, the set of available data is split into sequences (strings) and a given iterate is processed…

Optimization and Control · Mathematics 2016-10-20 Rafael Massambone de Oliveira , Elias Salomão Helou , Eduardo Fontoura Costa

We present techniques to prove termination of cycle rewriting, that is, string rewriting on cycles, which are strings in which the start and end are connected. Our main technique is to transform cycle rewriting into string rewriting and…

Logic in Computer Science · Computer Science 2019-03-14 David Sabel , Hans Zantema

We introduce novel methods for encoding acyclicity and s-t-reachability constraints for propositional formulas with underlying directed graphs. They are based on vertex elimination graphs, which makes them suitable for cases where the…

Artificial Intelligence · Computer Science 2021-05-28 Masood Feyzbakhsh Rankooh , Jussi Rintanen

We develop new polynomial methods for studying systems of word equations. We use them to improve some earlier results and to analyze how sizes of systems of word equations satisfying certain independence properties depend on the lengths of…

Formal Languages and Automata Theory · Computer Science 2011-08-19 Aleksi Saarela

Different authors have done analysis regarding sums of powers References number 1,2 and 3, but systematic approach for solving Diophantine equations having sums of many biquadratics equal to a quartic has not been done before. In this paper…

General Mathematics · Mathematics 2022-06-06 Seiji Tomita , Oliver Couto