Jacek Cyranka

Jacek Cyranka
University of Warsaw | UW · Institute of Informatics

PhD

About

31
Publications
2,165
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
206
Citations
Introduction
Jacek Cyranka is currently an assistant professor in computer science at University of Warsaw, Poland. His the most up to date research interest is machine learning and reinforcement learning. Previously he was a postdoc researcher at Rutgers University and UCSD. His PhD in applied math from Jagiellonian University considered topics: numerical analysis, partial differential equations and computer assisted proofs. Personal www: cyranka.net Follow on twitter for research updates @jcyranka

Publications

Publications (31)
Preprint
Full-text available
This work is motivated by the following question in data-driven study of dynamical systems: given a dynamical system that is observed via time series of persistence diagrams that encode topological features of solutions snapshots, what conclusions can be drawn about solutions of the original dynamical system? In this paper we provide a definition o...
Preprint
Full-text available
We raise concerns about controllers' robustness in simple reinforcement learning benchmark problems. We focus on neural network controllers and their low neuron and symbolic abstractions. A typical controller reaching high mean return values still generates an abundance of persistent low-return solutions, which is a highly undesirable property, eas...
Chapter
Full-text available
We raise concerns about controllers’ robustness in simple reinforcement learning benchmark problems. We focus on neural network controllers and their low neuron and symbolic abstractions. A typical controller reaching high mean return values still generates an abundance of persistent low-return solutions, which is a highly undesirable property, eas...
Article
In this paper we introduce a new approach to compute rigorously solutions of Cauchy problems for a class of semi-linear parabolic partial differential equations. Expanding solutions with Chebyshev series in time and Fourier series in space, we introduce a zero finding problem F(a)=0 on a Banach algebra X of Fourier-Chebyshev sequences, whose soluti...
Preprint
Full-text available
We study the overparametrization bounds required for the global convergence of stochastic gradient descent algorithm for a class of one hidden layer feed-forward neural networks, considering most of the activation functions used in practice, including ReLU. We improve the existing state-of-the-art results in terms of the required hidden layer width...
Article
Full-text available
We show that Neural ODEs, an emerging class of time-continuous neural networks, can be verified by solving a set of global-optimization problems. For this purpose, we introduce Stochastic Lagrangian Reachability (SLR), an abstraction-based technique for constructing a tight Reachtube (an over-approximation of the set of reachable states over a give...
Preprint
Full-text available
In this paper we introduce a new approach to compute rigorously solutions of Cauchy problems for a class of semi-linear parabolic partial differential equations. Expanding solutions with Chebyshev series in time and Fourier series in space, we introduce a zero finding problem $F(a)=0$ on a Banach algebra $X$ of Fourier-Chebyshev sequences, whose so...
Preprint
Full-text available
We show that Neural ODEs, an emerging class of time-continuous neural networks, can be verified by solving a set of global-optimization problems. For this purpose, we introduce Stochastic Lagrangian Reachability (SLR), an abstraction-based technique for constructing a tight Reachtube (an over-approximation of the set of reachable states over a give...
Preprint
Full-text available
We introduce LRT-NG, a set of techniques and an associated toolset that computes a reachtube (an over-approximation of the set of reachable states over a given time horizon) of a nonlinear dynamical system. LRT-NG significantly advances the state-of-the-art Langrangian Reachability and its associated tool LRT. From a theoretical perspective, LRT-NG...
Article
Full-text available
This work is motivated by the following question in data-driven study of dynamical systems: given a dynamical system that is observed via time series of persistence diagrams that encode topological features of snapshots of solutions, what conclusions can be drawn about solutions of the original dynamical system? We address this challenge in the con...
Preprint
Full-text available
Topological data analysis aims to extract topological quantities from data, which tend to focus on the broader global structure of the data rather than local information. The Mapper method, specifically, generalizes clustering methods to identify significant global mathematical structures, which are out of reach of many other approaches. We propose...
Article
We probe the effectiveness of using topological defects to characterize the leading Lyapunov vector for a high-dimensional chaotic convective flow field. This is accomplished using large-scale parallel numerical simulations of Rayleigh–Bénard convection for experimentally accessible conditions. We quantify the statistical correlations between the s...
Preprint
Full-text available
We explore the chaotic dynamics of Rayleigh-B\'enard convection using large-scale, parallel numerical simulations for experimentally accessible conditions. We quantify the connections between the spatiotemporal dynamics of the leading-order Lyapunov vector and different measures of the flow field pattern's topology and dynamics. We use a range of p...
Preprint
Full-text available
We introduce continuous Lagrangian reachability (CLRT), a new algorithm for the computation of a tight and continuous-time reachtube for the solution flows of a nonlinear, time-variant dynamical system. CLRT employs finite strain theory to determine the deformation of the solution set from time $t_i$ to time $t_{i+1}$. We have developed simple expl...
Article
Full-text available
The paper aims at constructing two different solutions to an elliptic system defined on the two dimensional torus. It can be viewed as an elliptic regularization of the stationary Burgers 2D system. A motivation to consider the above system comes from an examination of unusual propetries of a linear operator. Roughly speaking a term effects in a sp...
Article
Full-text available
The paper studies the issue of stability of solutions to the forced Navier-Stokes and damped Euler systems in periodic boxes. It is shown that for large, but fixed, Grashoff (Reynolds) number the turbulent behavior of all Leray-Hopf weak solutions of the three-dimensional Navier-Stokes equations, in periodic box, is suppressed, when viewed in the r...
Conference Paper
Full-text available
We introduce LRT, a new Lagrangian-based ReachTube computation algorithm that conservatively approximates the set of reachable states of a nonlinear dynamical system. LRT makes use of the Cauchy-Green stretching factor (SF), which is derived from an over-approximation of the gradient of the solution-flows. The SF measures the discrepancy between tw...
Article
Full-text available
We present a computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model of diblock copolymers. The model is a fourth-order parabolic partial differential equation subject to homogeneous Neumann boundary conditions, which contains as a special case the celebrated Cahn-Hilliard equation. While the attractor structu...
Article
We describe a topological method to study the dynamics of dissipative PDEs on a torus with rapidly oscillating forcing terms. We show that a dissipative PDE, which is invariant with respect to the Galilean transformations, with a large average initial velocity can be reduced to a problem with rapidly oscillating forcing terms. We apply the techniqu...
Article
Full-text available
The paper studies the issue of stability of solutions to the Navier-Stokes and damped Euler systems in periodic boxes. We show that under action of fast oscillating-in- time external forces all two dimensional regular solutions converge to a time periodic flow. Unexpectedly, effects of stabilization can be also obtained for systems with stationary...
Article
Full-text available
This version of the paper should be considered as an announcement of results, it is incomplete and we present sketches of proofs. We describe a topological method to study dynamics with rapidly oscillating vector fields. As an example we apply the technique to the Burgers equation with nonautonomous forcing and the periodic boundary conditions. We...
Article
Full-text available
We propose an efficient and generic algorithm for rigorous integration forward in time of partial differential equations written in the Fourier basis. By rigorous integration we mean a procedure which operates on sets and return sets which are guaranteed to contain the exact solution. The presented algorithm generates, in an efficient way, normaliz...
Article
Full-text available
We prove the existence of globally attracting solutions of the viscous Burgers equation with periodic boundary conditions on the line for some particular choices of viscosity and non-autonomous forcing. The attract- ing solution is periodic if the forcing is periodic. The method is general and can be applied to other similar partial differential eq...
Article
Full-text available
We present a computer assisted method for proving the existence of globally attracting fixed points of dissipative PDEs. An application to the viscous Burgers equation with periodic boundary conditions and a forcing function constant in time is presented as a case study. We establish the existence of a locally attracting fixed point by using comput...

Network

Cited By