papers

Publications (24)

math-ph2011

New Semi-Hamiltonian hierarchy related to integrable magnetic flows on surfaces

Michael, Bialy, Andrey Mironov

We consider magnetic geodesic flows on the 2-torus. We prove that the question of existence of polynomial in momenta first integrals on one energy level leads to a Semi-Hamiltonian…

math.DG2014

Integrable geodesic flows on 2-torus: formal solutions and variational principle

Michael, Bialy, Andrey E. Mironov

In this paper we study quasi-linear system of partial differential equations which describes the existence of the polynomial in momenta first integral of the integrable geodesic fl…

cs.NE2007

Constructing Bio-molecular Databases on a DNA-based Computer

Weng-Long Chang, Michael, Ho +1

Codd [Codd 1970] wrote the first paper in which the model of a relational database was proposed. Adleman [Adleman 1994] wrote the first paper in which DNA strands in a test tube we…

math.OC2026

Real-Time Dynamic N-1 Screening: Identifying High-Risk Lines and Transformers After Common Faults

Ayrton Almada, Laurent Pagnier, Igal Goldshtein +3

Power system operators routinely perform N-1 contingency analysis, yet conventional tools provide limited guidance on which lines or transformers deserve heightened attention durin…

math.AP2012

Smooth solutions for a -system of mixed type

Michael, Bialy

In this note we analyze smooth solutions of a -system of the \textit{mixed} type. Motivating example for this is a 2-components reduction of the Benney moments chain which appea…

math-ph2017

In search of periodic solutions for a reduction of the Benney chain

Michael, Bialy, Andrey Mironov

We search for smooth periodic solutions for the system of quasi-linear PDEs known as the Lax dispersionless reduction of the Benney moments chain. It is naturally related to the ex…

cs.CL2024

GPT-4 Technical Report

OpenAI, Josh Achiam, Steven Adler +278

We report the development of GPT-4, a large-scale, multimodal model which can accept image and text inputs and produce text outputs. While less capable than humans in many real-wor…

math.DS2025

Real-Time Stochastic Assessment of Dynamic N-1 Grid Contingencies

Ayrton Almada, Laurent Pagnier, Igal Goldshtein +3

Power system operators need tools for rapid, real-time counterfactual assessments of grid security under fast-changing conditions. Traditional N-1 contingency analysis lacks dynami…

cs.LG2025

Apple Intelligence Foundation Language Models: Tech Report 2025

Ethan Li, Anders Boesen Lindbo Larsen, Chen Zhang +395

We introduce two multilingual, multimodal foundation language models that power Apple Intelligence features across Apple devices and services: i a 3B-parameter on-device model opti…

math.AP2011

Richness or Semi-Hamiltonicity of quasi-linear systems which are not in evolution form

Michael, Bialy

The aim of this paper is to consider quasi-linear systems which are not in the form of evolution equations. We propose new condition of Richness or Semi-Hamiltonicity for such a sy…

math.SG2008

On Periodic solutions for a reduction of Benney chain

Michael, Bialy

We study periodic solutions for a quasi-linear system, which is the so called dispersionless Lax reduction of the Benney moments chain. This question naturally arises in search of…

math.DG2016

Algebraic Birkhoff conjecture for billiards on Sphere and Hyperbolic plane

Michael, Bialy, Andrey E. Mironov

We consider a convex curve lying on the Sphere or Hyperbolic plane. We study the problem of existence of polynomial in velocities integrals for Birkhoff billiard inside the do…

math.DS2014

Effective bounds in E.Hopf rigidity for billiards and geodesic flows

Michael, Bialy

In this paper we show that in some cases the E.Hopf rigidity phenomenon admits quantitative interpretation. More precisely we estimate from above the measure of the set $\mathcal{M…

cs.CV2026

Robust Cross-Domain Generalization Using Unlabeled Target Data with Source-Domain Supervision

Yuyue Zhou, Shrimanti Ghosh, Michael +7

It is often desirable to generalize medical imaging AI models trained with dense annotations to data acquired from different ultrasound scanners or clinical sites; however, retrain…

math.DS2015

On Newton equations which are totally integrable at infinity

Michael, Bialy

In this paper Hamiltonian system of time dependent periodic Newton equations is studied. It is shown that for dimensions and higher the following rigidity results holds true: I…

math.DG2013

A remark on the number of invisible directions for a smooth Riemannian metric

Michael, Bialy

In this note we give a construction of a smooth Riemannian metric on R^n which is standard Euclidean outside a compact set K and such that it has N = n(n + 1)=2 invisible direction…

math.DS2018

A survey on Polynomial in momenta integrals for billiard problems

Michael, Bialy, Andrey E. Mironov

In this paper we give a short survey of recent results on algebraic version of the Birkhoff conjecture for integrable billiards on surfaces of constant curvature. We also discuss i…

math.DS2016

Integrable magnetic geodesic flows on 2-torus: new example via quasi-linear system of PDEs

Sergey V. Agapov, Michael, Bialy +1

The only one example has been known of magnetic geodesic flow on the 2-torus which has a polynomial in momenta integral independent of the Hamiltonian. In this example the integral…

math.DG2013

Cubic and Quartic integrals for geodesic flow on 2-torus via system of Hydrodynamic type

Michael, Bialy, Andrey Mironov

In this paper we deal with the classical question of existence of polynomial in momenta integrals for geodesic flows on the 2-torus. For the quasi-linear system on coefficients of…

cs.RO2023

Perceptive Locomotion with Controllable Pace and Natural Gait Transitions Over Uneven Terrains

Daniel Chee Hian Tan, Jenny Zhang, Michael +2

This work developed a learning framework for perceptive legged locomotion that combines visual feedback, proprioceptive information, and active gait regulation of foot-ground conta…

math.DG2012

Hopf rigidity for convex billiards on the hemisphere and hyperbolic plane

Michael, Bialy

This paper deals with Hopf type rigidity for convex billiards on surfaces of constant curvature. We prove that the only convex billiard without conjugate points on the Hyperbolic p…

math.LO2019

Hereditary Interval Algebras and Cardinal Characteristics of the Continuum

Michael, Hrušák, Carlos +3

An interval algebra is a Boolean algebra which is isomorphic to the algebra of finite unions of half-open intervals, of a linearly ordered set. An interval algebra is hereditary if…

math.DS2012

On Totally integrable magnetic billiards on constant curvature surface

Michael, Bialy

We consider billiard ball motion in a convex domain of a constant curvature surface influenced by the constant magnetic field. We prove that if the billiard map is totally integrab…

math.DG2016

Algebraic non-integrability of magnetic billiards

Michael, Bialy, Andrey E. Mironov

We consider billiard ball motion in a convex domain of the Euclidean plane bounded by a piece-wise smooth curve influenced by the constant magnetic field. We show that if there exi…