Showing 1–11 of 11 results for author: Zielinski, L

ViCAR: Visualizing Categories with Automated Rewriting in Coq

Authors: Bhakti Shah, William Spencer, Laura Zielinski, Ben Caldwell, Adrian Lehmann, Robert Rand

Abstract: We present ViCAR, a library for working with monoidal categories in the Coq proof assistant. ViCAR provides definitions for categorical structures that users can instantiate with their own verification projects. Upon verifying relevant coherence conditions, ViCAR gives a set of lemmas and tactics for manipulating categorical structures. We also provide a visualizer that can display any composition… ▽ More We present ViCAR, a library for working with monoidal categories in the Coq proof assistant. ViCAR provides definitions for categorical structures that users can instantiate with their own verification projects. Upon verifying relevant coherence conditions, ViCAR gives a set of lemmas and tactics for manipulating categorical structures. We also provide a visualizer that can display any composition and tensor product of morphisms as a string diagram, showing its categorical structure. This enables graphical reasoning and automated rewriting for Coq projects with monoidal structures. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Comments: 13 pages, 10 figures

Subspace-Constrained Continuous Methane Leak Monitoring and Optimal Sensor Placement

Authors: Kashif Rashid, Lukasz Zielinski, Junyi Yuan, Andrew Speck

Abstract: This work presents a procedure that can quickly identify and isolate methane emission sources leading to expedient remediation. Minimizing the time required to identify a leak and the subsequent time to dispatch repair crews can significantly reduce the amount of methane released into the atmosphere. The procedure developed utilizes permanently installed low-cost methane sensors at an oilfield fac… ▽ More This work presents a procedure that can quickly identify and isolate methane emission sources leading to expedient remediation. Minimizing the time required to identify a leak and the subsequent time to dispatch repair crews can significantly reduce the amount of methane released into the atmosphere. The procedure developed utilizes permanently installed low-cost methane sensors at an oilfield facility to continuously monitor leaked gas concentration above background levels. The methods developed for optimal sensor placement and leak inversion in consideration of predefined subspaces and restricted zones are presented. In particular, subspaces represent regions comprising one or more equipment items that may leak, and restricted zones define regions in which a sensor may not be placed due to site restrictions by design. Thus, subspaces constrain the inversion problem to specified locales, while restricted zones constrain sensor placement to feasible zones. The development of synthetic wind models, and those based on historical data, are also presented as a means to accommodate optimal sensor placement under wind uncertainty. The wind models serve as realizations for planning purposes, with the aim of maximizing the mean coverage measure for a given number of sensors. Once the optimal design is established, continuous real-time monitoring permits localization and quantification of a methane leak source. The necessary methods, mathematical formulation and demonstrative test results are presented. △ Less

Submitted 3 August, 2023; originally announced August 2023.

MSC Class: 90

An intent-based approach for creating assistive robots' control systems

Authors: Tomasz Winiarski, Wojciech Dudek, Maciej Stefańczyk, Łukasz Zieliński, Daniel Giełdowski, Dawid Seredyński

Abstract: The current research standards in robotics demand general approaches to robots' controllers development. In the assistive robotics domain, the human-machine interaction plays a substantial role. Especially, the humans generate intents that affect robot control system. In the article an approach is presented for creating control systems for assistive robots, which reacts to users' intents delivered… ▽ More The current research standards in robotics demand general approaches to robots' controllers development. In the assistive robotics domain, the human-machine interaction plays a substantial role. Especially, the humans generate intents that affect robot control system. In the article an approach is presented for creating control systems for assistive robots, which reacts to users' intents delivered by voice commands, buttons, or an operator console. The whole approach was applied to the real system consisting of customised TIAGo robot and additional hardware components. The exemplary experiments performed on the platform illustrate the motivation for diversification of human-machine interfaces in assistive robots. △ Less

Submitted 2 December, 2021; v1 submitted 25 May, 2020; originally announced May 2020.

Comments: 6 pages, 8figures, The work was initially submitted to the 25th International Conference on Methods and Models in Automation and Robotics (MMAR) that was cancelled due to COVID-2019

Oscillatory behavior of large eigenvalues in quantum Rabi models

Authors: Anne Boutet de Monvel, Lech Zielinski

Abstract: We investigate the large $n$ asymptotics of the $n$-th eigenvalue for a class of unbounded self-adjoint operators defined by infinite Jacobi matrices with discrete spectrum. In the case of the quantum Rabi model we obtain the first three terms of the asymptotics which determine the parameters of the model. This paper is based on our previous paper [5] that it completes and improves. We investigate the large $n$ asymptotics of the $n$-th eigenvalue for a class of unbounded self-adjoint operators defined by infinite Jacobi matrices with discrete spectrum. In the case of the quantum Rabi model we obtain the first three terms of the asymptotics which determine the parameters of the model. This paper is based on our previous paper [5] that it completes and improves. △ Less

Submitted 12 October, 2018; v1 submitted 9 November, 2017; originally announced November 2017.

Comments: 32 pages, no figure

MSC Class: 47B36 (Primary); 81T10; 81Q10; 47A75; 47A55 (Secondary)

The short pulse equation by a Riemann-Hilbert approach

Authors: Anne Boutet de Monvel, Dmitry Shepelsky, Lech Zielinski

Abstract: We develop a Riemann-Hilbert approach to the inverse scattering transform method for the short pulse (SP) equation $u_{xt}=u+\frac{1}{6}(u^3)_{xx}$ with zero boundary conditions (as $|x|\to\infty$). This approach is directly applied to the Lax pair for the SP equation. It allows us to give a parametric representation of the solution to the Cauchy problem. This representation is then used for study… ▽ More We develop a Riemann-Hilbert approach to the inverse scattering transform method for the short pulse (SP) equation $u_{xt}=u+\frac{1}{6}(u^3)_{xx}$ with zero boundary conditions (as $|x|\to\infty$). This approach is directly applied to the Lax pair for the SP equation. It allows us to give a parametric representation of the solution to the Cauchy problem. This representation is then used for studying the long-time behavior of the solution as well as for retrieving the soliton solutions. Finally, the analysis of the long-time behavior allows us to formulate, in spectral terms, a sufficient condition for the wave breaking. △ Less

Submitted 6 September, 2016; v1 submitted 7 August, 2016; originally announced August 2016.

Comments: 20 pages, no figure

MSC Class: 35Q53 (Primary); 37K15; 35Q15; 35B40; 35Q51; 37K40 (Secondary)

A Riemann-Hilbert Approach for the Novikov Equation

Authors: Anne Boutet de Monvel, Dmitry Shepelsky, Lech Zielinski

Abstract: We develop the inverse scattering transform method for the Novikov equation $u_t-u_{txx}+4u^2u_x=3u u_xu_{xx}+u^2u_{xxx}$ considered on the line $x\in(-\infty,\infty)$ in the case of non-zero constant background. The approach is based on the analysis of an associated Riemann-Hilbert (RH) problem, which in this case is a $3\times 3$ matrix problem. The structure of this RH problem shares many commo… ▽ More We develop the inverse scattering transform method for the Novikov equation $u_t-u_{txx}+4u^2u_x=3u u_xu_{xx}+u^2u_{xxx}$ considered on the line $x\in(-\infty,\infty)$ in the case of non-zero constant background. The approach is based on the analysis of an associated Riemann-Hilbert (RH) problem, which in this case is a $3\times 3$ matrix problem. The structure of this RH problem shares many common features with the case of the Degasperis-Procesi (DP) equation having quadratic nonlinear terms (see [Boutet de Monvel A., Shepelsky D., Nonlinearity 26 (2013), 2081-2107, arXiv:1107.5995]) and thus the Novikov equation can be viewed as a "modified DP equation", in analogy with the relationship between the Korteweg-de Vries (KdV) equation and the modified Korteweg-de Vries (mKdV) equation. We present parametric formulas giving the solution of the Cauchy problem for the Novikov equation in terms of the solution of the RH problem and discuss the possibilities to use the developed formalism for further studying of the Novikov equation. △ Less

Submitted 24 September, 2016; v1 submitted 29 March, 2016; originally announced March 2016.

Comments: The analytic tools proposed in arXiv:1107.5995 are applied and further developed in a new context

MSC Class: 37K15; 35Q15; 35B40; 35Q51; 37K40

Journal ref: SIGMA 12 (2016), 095, 22 pages

Asymptotic behavior of large eigenvalues of Jaynes-Cummings type models

Authors: Anne Boutet de Monvel, Lech Zielinski

Abstract: We consider a class of unbounded self-adjoint operators including the Hamiltonian of the Jaynes-Cummings model without the rotating-wave approximation (RWA). The corresponding operators are defined by infinite Jacobi matrices with discrete spectrum. Our purpose is to give the asymptotic behavior of large eigenvalues. We consider a class of unbounded self-adjoint operators including the Hamiltonian of the Jaynes-Cummings model without the rotating-wave approximation (RWA). The corresponding operators are defined by infinite Jacobi matrices with discrete spectrum. Our purpose is to give the asymptotic behavior of large eigenvalues. △ Less

Submitted 11 September, 2016; v1 submitted 19 March, 2015; originally announced March 2015.

Comments: 47 pages, no figure

MSC Class: Primary 47B36; Secondary 47A10; 47A75; 15A42; 47A55

Robin boundary condition and shock problem for the focusing nonlinear Schrödinger equation

Authors: Spyridon Kamvissis, Dmitry Shepelsky, Lech Zielinski

Abstract: We consider the initial boundary value (IBV) problem for the focusing nonlinear Schrödinger equation in the quarter plane $x>0,t>0$ in the case of periodic initial data (at $t=0$) and a Robin boundary condition at $x=0$. Our approach is based on the simultaneous spectral analysis of the Lax pair equations combined with symmetry considerations for the corresponding Riemann-Hilbert problems. A conne… ▽ More We consider the initial boundary value (IBV) problem for the focusing nonlinear Schrödinger equation in the quarter plane $x>0,t>0$ in the case of periodic initial data (at $t=0$) and a Robin boundary condition at $x=0$. Our approach is based on the simultaneous spectral analysis of the Lax pair equations combined with symmetry considerations for the corresponding Riemann-Hilbert problems. A connection between the original IBV problem and an associated initial value (IV) problem is established. △ Less

Submitted 24 December, 2014; originally announced December 2014.

Comments: 25 pages

MSC Class: 35Q55; 35Q15; 35B40; 35Q51; 37Q15

Asymptotics of large eigenvalues for a class of band matrices

Authors: Anne Boutet de Monvel, Jan Janas, Lech Zielinski

Abstract: We investigate the asymptotic behaviour of large eigenvalues for a class of finite difference self-adjoint operators with compact resolvent in $l^2$. We investigate the asymptotic behaviour of large eigenvalues for a class of finite difference self-adjoint operators with compact resolvent in $l^2$. △ Less

Submitted 8 June, 2012; originally announced June 2012.

MSC Class: 47B36 (Primary) 47A10; 47A75; 47A55; 47B25 (Secondary)

Sharp semiclassical estimates for the number of eigenvalues below a degenerate critical level

Authors: Lech Zielinski

Abstract: We consider the semiclassical asymptotic behaviour of the number of eigenvalues smaller than $E$ for elliptic operators in $L\sp 2 ({\bf R}\sp d)$. We describe a method of finding remainder estimates related to the volume of the region of the phase space in which the principal symbol takes values belonging to the interval $[E'-h; E'+h]$, where $E'$ is close to $E$. This method allows to derive r… ▽ More We consider the semiclassical asymptotic behaviour of the number of eigenvalues smaller than $E$ for elliptic operators in $L\sp 2 ({\bf R}\sp d)$. We describe a method of finding remainder estimates related to the volume of the region of the phase space in which the principal symbol takes values belonging to the interval $[E'-h; E'+h]$, where $E'$ is close to $E$. This method allows to derive remainder estimates $O(h\sp {1-d})$ for a class of symbols with critical points and non-smooth coefficients. △ Less

Submitted 22 February, 2007; originally announced February 2007.

Comments: 33 pages

MSC Class: 35P20

Classical Advection of Guiding Centers in a Random Magnetic Field

Authors: L. Zielinski, K. Chaltikian, K. Birnbaum, C. M. Marcus, K. Campman, A. C. Gossard

Abstract: We investigate theoretically and experimentally classical advective transport in a 2D electron gas in a random magnetic field. For uniform external perpendicular magnetic fields large compared to the random field we observe a strong enhancement of conductance compared to the ordinary Drude value. This can be understood as resulting from advection of cyclotron guiding centers. For low disorder th… ▽ More We investigate theoretically and experimentally classical advective transport in a 2D electron gas in a random magnetic field. For uniform external perpendicular magnetic fields large compared to the random field we observe a strong enhancement of conductance compared to the ordinary Drude value. This can be understood as resulting from advection of cyclotron guiding centers. For low disorder this enhancement shows non-trivial scaling as a function of scattering time, with consistency between theory and experiment. △ Less

Submitted 23 February, 1998; v1 submitted 7 April, 1997; originally announced April 1997.

Comments: 4 pages, 4 eps figures; Revised. To appear in Europhysics Letters