arXiv research

Characterizes spherical Finsler metrics satisfying a specific condition.

The article proves Randers Poincaré disc satisfies isoperimetric equality.

We prove compactness of solutions of a fully nonlinear Yamabe problem satisfying a lower Ricci curvature bound, when the manifold is not conformally diffeomorphic to the standard sphere. This allows us to prove the existence of solutions when the associated cone $Γ$ satisfies $μ^+_Γ\le 1$, which includes the $σ_k-$Yama…

We study the regularity of the solutions of second order boundary value problems on manifolds with boundary and bounded geometry. We first show that the regularity property of a given boundary value problem $(P, C)$ is equivalent to the uniform regularity of the natural family $(P_x, C_x)$ of associated boundary value …

This work is devoted to the study of a class of Poisson-Lie groups endowed with left invariant metrics. The triples $(G,π,<,>)$ are considered, where $G$ is a simply connected Lie group, ?$π$ is a multiplicative Poisson tensor and $<,>$ is a left invariant riemannian metric such that Hawkins conditions are satisfied. H…

Spacelike surfaces in Generalized Robertson-Walker spacetimes whose mean curvature function satisfies a natural nonlinear inequality are analyzed. Several uniqueness and nonexistence results for such compact spacelike surfaces are proved. In the nonparametric case, new Calabi-Bernstein type problems are solved as a con…

Maximal metric spheres found, related to Sobolev-to-Lipschitz property.

We consider the problem of deforming a one-parameter family of hypersurfaces immersed into closed Riemannian manifolds with positive curvature operator. The hypersurface in this family satisfies mean curvature flow while the ambient metric satisfying the normalized Ricci flow. We prove that if the initial metric of the…

Classifiers can be trained with data-dependent constraints to satisfy fairness goals, reduce churn, achieve a targeted false positive rate, or other policy goals. We study the generalization performance for such constrained optimization problems, in terms of how well the constraints are satisfied at evaluation time, gi…

We develop a new active learning algorithm for the streaming setting satisfying three important properties: 1) It provably works for any classifier representation and classification problem including those with severe noise. 2) It is efficiently implementable with an ERM oracle. 3) It is more aggressive than all previo…

Study on existence of metrics in conformal geometry with constraints on Schouten tensor.

This work proposes an online learning approach to tighten constraints in stochastic control problems.

In this paper we prove that there exists a smooth classical solution to the HJB equation for a large class of constrained problems with utility functions that are not necessarily differentiable or strictly concave. The value function is smooth if admissible controls satisfy an integrability condition or if it is contin…

We consider the quantifier-free languages, Bc and Bc0, obtained by augmenting the signature of Boolean algebras with a unary predicate representing, respectively, the property of being connected, and the property of having a connected interior. These languages are interpreted over the regular closed sets of n-dimension…

MESMOC optimizes constrained multi-objective problems efficiently.

A variant of Gromov's H{ö}lder-equivalence problem, motivated by a pinching problem in Riemannian geometry, is discussed. A partial result is given. The main tool is a general coarea inequality satisfied by packing energies of maps.

We consider Calderon's inverse problem with partial data in dimensions $n \geq 3$. If the inaccessible part of the boundary satisfies a (conformal) flatness condition in one direction, we show that this problem reduces to the invertibility of a broken geodesic ray transform. In Euclidean space, sets satisfying the flat…

Sharp bounds found for Steklov-type eigenvalues on surfaces.

Several algorithms for solving constraint satisfaction problems are based on survey propagation, a variational inference scheme used to obtain approximate marginal probability estimates for variable assignments. These marginals correspond to how frequently each variable is set to true among satisfying assignments, and …

Study geodesic discs with boundary length bounds, finding their closure in metric space.

Unravelling hidden patterns in datasets is a classical problem with many potential applications. In this paper, we present a challenge whose objective is to discover nonlinear relationships in noisy cloud of points. If a set of point satisfies a nonlinear relationship that is unlikely to be due to randomness, we will l…

The paper studies complex space forms via Laplace operators and curvature properties.

We define a new Hurwitz problem which is essentially a small core of the simple Hurwitz problem. The corresponding Hurwitz numbers have simpler formulae, satisfy effective recursion relations and determine the simple Hurwitz numbers. We also apply this idea of finding a smaller simpler enumerative problem to orbifold H…

We study the asymptotic Dirichlet and Plateau problems on Cartan-Hadamard manifolds satisfying the so-called Strict Convexity (abbr. SC) condition. The main part of the paper consists in studying the SC condition on a manifold whose sectional curvatures are bounded from above and below by certain functions depending on…

Algorithm finds real line mapping from points under ordinal constraints.

New method combines RBMs to solve complex combinatorial optimization problems.

We study the triple $(G,π,\prs)$ where $G$ is a connected and simply connected Lie group, $π$ and $\prs$ are, respectively, a multiplicative Poisson tensor and a left invariant Riemannian metric on $G$ such that the necessary conditions, introduced by Hawkins, to the existence of a non commutative deformation (in the d…

We consider the fractional Nirenberg problem on the standard sphere $\mathbb{S}^n$ with $n\geq 4$. Using the theory of critical points at infinity, we establish an Euler-Hopf type formula and obtain some existence results for curvature satisfying assumptions of Bahri-Coron type.

We study the geometry and topology of immersed surfaces in Euclidean 3-space whose Gauss map satisfies a certain two-piece-property, and solve the ``shadow problem" formulated by H. Wente.

We present a multi-objective Bayesian optimisation algorithm that allows the user to express preference-order constraints on the objectives of the type "objective A is more important than objective B". These preferences are defined based on the stability of the obtained solutions with respect to preferred objective fun…

Study shows existence and uniqueness of periodic pseudospherical surfaces from Cauchy problems.

We give a solution to the equivalence and the embedding problems for smooth CR-submanifolds of complex spaces (and, more generally, for abstract CR-manifolds) in terms of complete differential systems in jet bundles satisfied by all CR-equivalences or CR-embeddings respectively (local and global). For the equivalence p…

The projective metrizability problem can be formulated as follows: under what conditions the geodesics of a given spray coincide with the geodesics of some Finsler space, as oriented curves. In Theorem 3.8 we reformulate the projective metrizability problem for a spray in terms of a first-order partial differential ope…

Algorithm safely learns from sub-optimal baseline policies while satisfying constraints.

Paper solves Dirichlet problem for $p$-convex hypersurfaces with curvature constraints.

We solve the following problem for $n=2:$ Is any n-dimensional Finsler manifold $(M, F)$ with a function $f$ which is nonconstant and smooth on $M$ satisfying $\dfrac{\partial g^{ij}}{\partial y^k}\dfrac{\partial f}{\partial x^i}=0,$ a Riemannian manifold? The problem for $n>2$ remains open.

We show that any subgroup of a (virtually) nilpotent-by-polycyclic group satisfies the bounded packing property of Hruska-Wise. In particular, the same is true about metabelian groups and linear solvable groups. However, we find an example of a finitely generated solvable group of derived length 3 which admits a finite…

A theorem proves a surface evolution graph satisfies a PDE under specific conditions.

Neural networks can learn optimal auction mechanisms and satisfy mode connectivity.

Reasoning models generate differently based on problem difficulty, not just length.

It is shown that the non-homogeneous Dirichlet and Neuman problems for the $2^{nd}$-order Seiberg-Witten equation admit a regular solution once the $\mathcal{H}$-condition (described in the article) is satisfied. The approach consist in applying the elliptic techniques to the variational setting of the Seiberg-Witten e…

Solves curvature problems on manifolds with negative curvature.

The study defines a boundary problem for Lagrangian submanifolds and proves a theorem.

DC3 uses deep learning to solve hard-constrained optimization problems efficiently.

In this paper, we examine higher order difference problems. Using the "squeezing" argument, we derive both Euler's condition and the transversality condition. In order to derive the two conditions, two needed assumptions are identified. A counterexample, in which the transversality condition is not satisfied without th…

BAICS identifies best arm with fairness constraints on subpopulations.

The paper proves existence of solutions to a Loewner-Nirenberg problem on Riemannian manifolds.

Study finds solutions for complex problems on non-compact manifolds.