-
Quantum Ising Spin-Glass Otto Engine
Authors:
Aslı Tuncer,
Batu Yalçın
Abstract:
We investigate a quantum Otto engine with a quantum Ising spin glass as the working medium to explore the scaling behavior of work output and thermodynamic performance concerning system size, particularly near the critical point. Specifically, we explore the two operating modes of the Otto engine, namely the heat engine and refrigerator modes. We observe a double-peaked structure in the heat engin…
▽ More
We investigate a quantum Otto engine with a quantum Ising spin glass as the working medium to explore the scaling behavior of work output and thermodynamic performance concerning system size, particularly near the critical point. Specifically, we explore the two operating modes of the Otto engine, namely the heat engine and refrigerator modes. We observe a double-peaked structure in the heat engine regime, leading to superlinear scaling in both work output and thermodynamic performance near the critical point. Additionally, in the refrigerator regime, superlinear scaling in refrigerator efficiency can be achieved at high and low temperatures, significantly outperforming models with uniform Ising interactions. These findings suggest that disorder and frustration in quantum Ising spin-glass systems could significantly impact thermodynamic performance in quantum heat engines and refrigerators, potentially opening up new avenues for improvement.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
Translators of the Mean Curvature Flow in Hyperbolic Einstein's Static Universe
Authors:
Miguel Ortega,
Buse Yalçın
Abstract:
In this study, we deal with non-degenerate translators of the mean curvature flow in the well-known hyperbolic Einstein's static universe. We classify translators foliated by horospheres and rotationally invariant ones, both space-like and time-like. For space-like translators, we show a uniqueness theorem as well as a result to extend an isometry of the boundary of the domain to the whole transla…
▽ More
In this study, we deal with non-degenerate translators of the mean curvature flow in the well-known hyperbolic Einstein's static universe. We classify translators foliated by horospheres and rotationally invariant ones, both space-like and time-like. For space-like translators, we show a uniqueness theorem as well as a result to extend an isometry of the boundary of the domain to the whole translator, under simple conditions. As an application, we obtain a characterization of the the bowl when the boundary is a ball, and of certain translators foliated by horospheres whose boundary is a rectangle.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
DRIFT: Deep Reinforcement Learning for Intelligent Floating Platforms Trajectories
Authors:
Matteo El-Hariry,
Antoine Richard,
Vivek Muralidharan,
Baris Can Yalcin,
Matthieu Geist,
Miguel Olivares-Mendez
Abstract:
This investigation introduces a novel deep reinforcement learning-based suite to control floating platforms in both simulated and real-world environments. Floating platforms serve as versatile test-beds to emulate microgravity environments on Earth. Our approach addresses the system and environmental uncertainties in controlling such platforms by training policies capable of precise maneuvers amid…
▽ More
This investigation introduces a novel deep reinforcement learning-based suite to control floating platforms in both simulated and real-world environments. Floating platforms serve as versatile test-beds to emulate microgravity environments on Earth. Our approach addresses the system and environmental uncertainties in controlling such platforms by training policies capable of precise maneuvers amid dynamic and unpredictable conditions. Leveraging state-of-the-art deep reinforcement learning techniques, our suite achieves robustness, adaptability, and good transferability from simulation to reality. Our Deep Reinforcement Learning (DRL) framework provides advantages such as fast training times, large-scale testing capabilities, rich visualization options, and ROS bindings for integration with real-world robotic systems. Beyond policy development, our suite provides a comprehensive platform for researchers, offering open-access at https://github.com/elharirymatteo/RANS/tree/ICRA24.
△ Less
Submitted 6 October, 2023;
originally announced October 2023.
-
Mobility Strategy of Multi-Limbed Climbing Robots for Asteroid Exploration
Authors:
Warley F. R. Ribeiro,
Kentaro Uno,
Masazumi Imai,
Koki Murase,
Barış Can Yalçın,
Matteo El Hariry,
Miguel A. Olivares-Mendez,
Kazuya Yoshida
Abstract:
Mobility on asteroids by multi-limbed climbing robots is expected to achieve our exploration goals in such challenging environments. We propose a mobility strategy to improve the locomotion safety of climbing robots in such harsh environments that picture extremely low gravity and highly uneven terrain. Our method plans the gait by decoupling the base and limbs' movements and adjusting the main bo…
▽ More
Mobility on asteroids by multi-limbed climbing robots is expected to achieve our exploration goals in such challenging environments. We propose a mobility strategy to improve the locomotion safety of climbing robots in such harsh environments that picture extremely low gravity and highly uneven terrain. Our method plans the gait by decoupling the base and limbs' movements and adjusting the main body pose to avoid ground collisions. The proposed approach includes a motion planning that reduces the reactions generated by the robot's movement by optimizing the swinging trajectory and distributing the momentum. Lower motion reactions decrease the pulling forces on the grippers, avoiding the slippage and flotation of the robot. Dynamic simulations and experiments demonstrate that the proposed method could improve the robot's mobility on the surface of asteroids.
△ Less
Submitted 22 June, 2023; v1 submitted 13 June, 2023;
originally announced June 2023.
-
Exact Recovery for System Identification with More Corrupt Data than Clean Data
Authors:
Baturalp Yalcin,
Haixiang Zhang,
Javad Lavaei,
Murat Arcak
Abstract:
This paper investigates the system identification problem for linear discrete-time systems under adversaries and analyzes two lasso-type estimators. We examine both asymptotic and non-asymptotic properties of these estimators in two separate scenarios, corresponding to deterministic and stochastic models for the attack times. Since the samples collected from the system are correlated, the existing…
▽ More
This paper investigates the system identification problem for linear discrete-time systems under adversaries and analyzes two lasso-type estimators. We examine both asymptotic and non-asymptotic properties of these estimators in two separate scenarios, corresponding to deterministic and stochastic models for the attack times. Since the samples collected from the system are correlated, the existing results on lasso are not applicable. We prove that when the system is stable and attacks are injected periodically, the sample complexity for exact recovery of the system dynamics is linear in terms of the dimension of the states. When adversarial attacks occur at each time instance with probability p, the required sample complexity for exact recovery scales polynomially in the dimension of the states and the probability p. This result implies almost sure convergence to the true system dynamics under the asymptotic regime. As a by-product, our estimators still learn the system correctly even when more than half of the data is compromised. We highlight that the attack vectors are allowed to be correlated with each other in this work, whereas we make some assumptions about the times at which the attacks happen. This paper provides the first mathematical guarantee in the literature on learning from correlated data for dynamical systems in the case when there is less clean data than corrupt data.
△ Less
Submitted 24 April, 2024; v1 submitted 17 May, 2023;
originally announced May 2023.
-
Stoichiometric Control and Optical Properties of BaTiO3 Thin Films Grown by Hybrid MBE
Authors:
Benazir Fazlioglu Yalcin,
Albert Suceava,
Tatiana Kuznetsova,
Ke Wang,
Venkatraman Gopalan,
Roman Engel-Herbert
Abstract:
BaTiO3 is a technologically relevant material in the perovskite oxide class with above room temperature ferroelectricity and a very large electro optical coefficient, making it highly suitable for emerging electronic and photonic devices. An easy, robust, straightforward, and scalable growth method is required to synthesize epitaxial BaTiO3 thin films with sufficient control over the film stoichio…
▽ More
BaTiO3 is a technologically relevant material in the perovskite oxide class with above room temperature ferroelectricity and a very large electro optical coefficient, making it highly suitable for emerging electronic and photonic devices. An easy, robust, straightforward, and scalable growth method is required to synthesize epitaxial BaTiO3 thin films with sufficient control over the film stoichiometry to achieve reproducible thin film properties. Here we report the growth of BaTiO3 thin films by hybrid molecular beam epitaxy. A self regulated growth window is identified using complementary information obtained from reflection high energy electron diffraction, the intrinsic film lattice parameter, film surface morphology, and scanning transmission electron microscopy. Subsequent optical characterization of the BaTiO3 films by spectroscopic ellipsometry revealed refractive index and extinction coefficient values closely resembling those of stoichiometric bulk BaTiO3 crystals for films grown inside the growth window. Even in the absence of a lattice parameter change of BaTiO3 thin films, degradation of optical properties was observed, accompanied by the appearance of a wide optical absorption peak in the infrared spectrum, attributed to optical transitions involving defect states present. Therefore, the optical properties of BaTiO3 can be utilized as a much finer and more straightforward probe to determine the stoichiometry level present in BaTiO3 films.
△ Less
Submitted 22 December, 2022;
originally announced December 2022.
-
Atomic-scale modeling of the thermal decomposition of titanium(IV)-isopropoxide
Authors:
Benazir Fazlioglu Yalcin,
Dundar E. Yilmaz,
Adri CT van Duin,
Roman Engel-Herbert
Abstract:
The metal-organic (MO) compound titanium(IV)-isopropoxide (Ti(OiPr)4, TTIP) has tremendous technological relevance for thin film growth and coating technologies, offering a low-temperature deposition route for titania and titanium-oxide-based compounds. Thermal decomposition via the release of organic ligands, a key process in any TTIP-based synthesis approach, is commonly assumed to take place on…
▽ More
The metal-organic (MO) compound titanium(IV)-isopropoxide (Ti(OiPr)4, TTIP) has tremendous technological relevance for thin film growth and coating technologies, offering a low-temperature deposition route for titania and titanium-oxide-based compounds. Thermal decomposition via the release of organic ligands, a key process in any TTIP-based synthesis approach, is commonly assumed to take place only via the beta-hydride elimination process. Here, we present reactive force field molecular dynamics (ReaxFF-MD) and metadynamics simulations that challenge this conventionally assumed scenario by revealing different, energetically preferred reaction pathways. The complete reaction scheme for the TTIP thermolysis, along with the statistics for the different ligand liberation steps and the associated reaction barriers for the bond dissociation events is presented. ReaxFF-MD simulations performed in the dilute limit realistically capture typical thin film deposition conditions, which in combination with metadynamics data, which produces free energies, constitutes a very powerful tool to quantitatively analyze the reaction dynamics of MO-based thin film growth processes and provide an atomic-scale understanding of how the remaining organic ligands detach from different titanium-containing MO fragments. The approach presented here allows for effective and straightforward identification of the undesirable temperature biasing effects in ReaxFF-MD and represents a predictive framework to identify chemical reaction pathways relevant to film growth processes at the atomic scale under realistic, experimentally relevant conditions. It enables computationally informed engineering of MO molecules with tailored decomposition and reaction pathways, and thus rapid and cost-effective advancements in MO molecule design for existing and future applications of thin film deposition and coating processes.
△ Less
Submitted 22 December, 2022;
originally announced December 2022.
-
Learning of Dynamical Systems under Adversarial Attacks -- Null Space Property Perspective
Authors:
Han Feng,
Baturalp Yalcin,
Javad Lavaei
Abstract:
We study the identification of a linear time-invariant dynamical system affected by large-and-sparse disturbances modeling adversarial attacks or faults. Under the assumption that the states are measurable, we develop necessary and sufficient conditions for the recovery of the system matrices by solving a constrained lasso-type optimization problem. In addition, we provide an upper bound on the es…
▽ More
We study the identification of a linear time-invariant dynamical system affected by large-and-sparse disturbances modeling adversarial attacks or faults. Under the assumption that the states are measurable, we develop necessary and sufficient conditions for the recovery of the system matrices by solving a constrained lasso-type optimization problem. In addition, we provide an upper bound on the estimation error whenever the disturbance sequence is a combination of small noise values and large adversarial values. Our results depend on the null space property that has been widely used in the lasso literature, and we investigate under what conditions this property holds for linear time-invariant dynamical systems. Lastly, we further study the conditions for a specific probabilistic model and support the results with numerical experiments.
△ Less
Submitted 5 October, 2022; v1 submitted 4 October, 2022;
originally announced October 2022.
-
Semidefinite Programming versus Burer-Monteiro Factorization for Matrix Sensing
Authors:
Baturalp Yalcin,
Ziye Ma,
Javad Lavaei,
Somayeh Sojoudi
Abstract:
Many fundamental low-rank optimization problems, such as matrix completion, phase synchronization/retrieval, power system state estimation, and robust PCA, can be formulated as the matrix sensing problem. Two main approaches for solving matrix sensing are based on semidefinite programming (SDP) and Burer-Monteiro (B-M) factorization. The SDP method suffers from high computational and space complex…
▽ More
Many fundamental low-rank optimization problems, such as matrix completion, phase synchronization/retrieval, power system state estimation, and robust PCA, can be formulated as the matrix sensing problem. Two main approaches for solving matrix sensing are based on semidefinite programming (SDP) and Burer-Monteiro (B-M) factorization. The SDP method suffers from high computational and space complexities, whereas the B-M method may return a spurious solution due to the non-convexity of the problem. The existing theoretical guarantees for the success of these methods have led to similar conservative conditions, which may wrongly imply that these methods have comparable performances. In this paper, we shed light on some major differences between these two methods. First, we present a class of structured matrix completion problems for which the B-M methods fail with an overwhelming probability, while the SDP method works correctly. Second, we identify a class of highly sparse matrix completion problems for which the B-M method works and the SDP method fails. Third, we prove that although the B-M method exhibits the same performance independent of the rank of the unknown solution, the success of the SDP method is correlated to the rank of the solution and improves as the rank increases. Unlike the existing literature that has mainly focused on those instances of matrix sensing for which both SDP and B-M work, this paper offers the first result on the unique merit of each method over the alternative approach.
△ Less
Submitted 15 August, 2022;
originally announced August 2022.
-
A New Complexity Metric for Nonconvex Rank-one Generalized Matrix Completion
Authors:
Haixiang Zhang,
Baturalp Yalcin,
Javad Lavaei,
Somayeh Sojoudi
Abstract:
In this work, we develop a new complexity metric for an important class of low-rank matrix optimization problems in both symmetric and asymmetric cases, where the metric aims to quantify the complexity of the nonconvex optimization landscape of each problem and the success of local search methods in solving the problem. The existing literature has focused on two complexity bounds. The RIP constant…
▽ More
In this work, we develop a new complexity metric for an important class of low-rank matrix optimization problems in both symmetric and asymmetric cases, where the metric aims to quantify the complexity of the nonconvex optimization landscape of each problem and the success of local search methods in solving the problem. The existing literature has focused on two complexity bounds. The RIP constant is commonly used to characterize the complexity of matrix sensing problems. On the other hand, the incoherence and the sampling rate are used when analyzing matrix completion problems. The proposed complexity metric has the potential to generalize these two notions and also applies to a much larger class of problems. To mathematically study the properties of this metric, we focus on the rank-$1$ generalized matrix completion problem and illustrate the usefulness of the new complexity metric on three types of instances, namely, instances with the RIP condition, instances obeying the Bernoulli sampling model, and a synthetic example. We show that the complexity metric exhibits a consistent behavior in the three cases, even when other existing conditions fail to provide theoretical guarantees. These observations provide a strong implication that the new complexity metric has the potential to generalize various conditions of optimization complexity proposed for different applications. Furthermore, we establish theoretical results to provide sufficient and necessary conditions for the existence of spurious solutions in terms of the proposed complexity metric. This contrasts with the RIP and incoherence conditions that fail to provide any necessary condition.
△ Less
Submitted 21 July, 2023; v1 submitted 5 April, 2022;
originally announced April 2022.
-
Factorization Approach for Low-complexity Matrix Completion Problems: Exponential Number of Spurious Solutions and Failure of Gradient Methods
Authors:
Baturalp Yalcin,
Haixiang Zhang,
Javad Lavaei,
Somayeh Sojoudi
Abstract:
It is well-known that the Burer-Monteiro (B-M) factorization approach can efficiently solve low-rank matrix optimization problems under the RIP condition. It is natural to ask whether B-M factorization-based methods can succeed on any low-rank matrix optimization problems with a low information-theoretic complexity, i.e., polynomial-time solvable problems that have a unique solution. In this work,…
▽ More
It is well-known that the Burer-Monteiro (B-M) factorization approach can efficiently solve low-rank matrix optimization problems under the RIP condition. It is natural to ask whether B-M factorization-based methods can succeed on any low-rank matrix optimization problems with a low information-theoretic complexity, i.e., polynomial-time solvable problems that have a unique solution. In this work, we provide a negative answer to the above question. We investigate the landscape of B-M factorized polynomial-time solvable matrix completion (MC) problems, which are the most popular subclass of low-rank matrix optimization problems without the RIP condition. We construct an instance of polynomial-time solvable MC problems with exponentially many spurious local minima, which leads to the failure of most gradient-based methods. Based on those results, we define a new complexity metric that potentially measures the solvability of low-rank matrix optimization problems based on the B-M factorization approach. In addition, we show that more measurements of the ground truth matrix can deteriorate the landscape, which further reveals the unfavorable behavior of the B-M factorization on general low-rank matrix optimization problems.
△ Less
Submitted 19 October, 2021;
originally announced October 2021.