We study natural additional structures on real algebraic surfaces with trivial first homology mod 2 of the complexification. If the set of real points realizes the zero of the second homology mod 2 of the complexification, then the set of real points is equipped with a pair of opposite orientations and a Spin structure…
Study rationality of meromorphic functions between real algebraic sets in the plane.
problem Understanding rationality of meromorphic functions mapping real algebraic sets to complex algebraic sets.
method Using Schwarz reflection functions and theory of meromorphic functions.
result For certain real algebraic sets, meromorphic functions are rational.
Study real line subbundles on curves, extending classical work.
problem Understanding real line subbundles in real bundles on curves.
method Application of Atiyah's techniques and work of Lange-Narasimhan.
result Describes the Galois action on the set of lines through a real point in the moduli space of such bundles.
Study of real polytopes with group and symplectic involutions.
problem Understanding Kirwan's real polytopes in real settings.
method Combining and completing previous preprints.
result Completion of understanding Kirwan's real polytopes.
We construct a compact convex generating set Cn of the moduli set of closed connected projective special real manifolds of fixed dimension n. We show that a closed connected projective special real manifold corresponds to an inner point of Cn if and only if it has regular boundary behaviour.…
New real algebraic maps with prescribed images and compositions are constructed locally like moment maps.
problem Constructing real algebraic maps with specific properties and compositions.
method Explicit construction of real algebraic hypersurfaces and maps with prescribed images and compositions.
result Explicit families of functions represented as compositions of constructed maps with canonical projections.
Study complex slices on real algebraic varieties and their properties.
problem Understanding the properties and bounds of complex slices on real algebraic varieties.
method Analyzing intersections and cohomology classes of complex subvarieties with real subvarieties.
result Proved an upper bound for the linking number of certain slices.
The paper classifies orbits of semisimple elements in real semisimple Lie algebras.
problem Classifying orbits of semisimple elements in real semisimple Lie algebras.
method Case by case analysis of complex numbers and Galois cohomology for real numbers.
result Characterization of orbits with real representatives.
Study real logarithms of semi-simple matrices, focusing on differential structure.
problem Understanding the differential structure of real logarithms of semi-simple matrices.
method Examines the differential structure of real logarithms of semi-simple matrices under specific matrix types.
result Characterizes the differential structure of real logarithms of semi-simple matrices.
Operators on the ring of algebraically constructible functions are used to compute local obstructions for a four-dimensional semialgebraic set to be homeomorphic to a real algebraic set. The link operator and arithmetic operators yield 243−43 independent characteristic numbers mod 2, which generalize the Akbulut-K…
Real bordered Floer homology computes 3-manifolds with involution.
problem Computing real Heegaard Floer homology for 3-manifolds with involution.
method Using bordered Heegaard Floer algebra modules, a practical algorithm is given.
result Computes real Heegaard Floer homology for real 3-manifolds with connected fixed set.
A new method learns from synthetic data without needing real-world examples.
problem Learning robust classifiers from limited real-world data.
method A novel setting and algorithm exploiting synthetic data independence.
result Robust classifiers trained on synthetic data generalize well to real-world domains.
New model detects crying in real-world settings with improved accuracy.
problem Generalization of cry detection models to real-world environments.
method Evaluated machine learning approaches on a novel dataset of real-world infant crying.
result Improved F1 score of 0.613 for crying event recognition in real-world settings.
Whitney type examples of maps f∈Ck(ℜm,ℜn) for a maximal possible real k, and multidimensional space-filling curves with special properties are constructed.
Ever growing volume and velocity of data coupled with decreasing attention span of end users underscore the critical need for real-time analytics. In this regard, anomaly detection plays a key role as an application as well as a means to verify data fidelity. Although the subject of anomaly detection has been researche…
Moduli spaces of semi-stable real and quaternionic vector bundles of a fixed topological type admit a presentation as Lagrangian quotients, and can be embedded into the symplectic quotient corresponding to the moduli variety of semi-stable holomorphic vector bundles of fixed rank and degree on a smooth complex projecti…
We explicitly compute the intrinsic volume of the set of real (and real symmetric) matrices of Frobenius norm one and given corank (the case of matrices with zero determinant as a special case). We give asymptotic formulas for our computations and we discuss several examples and applications.
This paper provides a stratification of semi-algebraic sets in the plane with finitely many geodesic segments.
problem How to stratify semi-algebraic sets in the plane with finitely many geodesic segments.
method Develops a semi-algebraic stratification of a real semi-algebraic set in the plane with open cells having the finiteness property.
result Provides insights for high-dimensional stratifications of semi-algebraic sets in connection with geodesics.
We determine the expected curvature polynomial of random real projective varieties given as the zero set of independent random polynomials with Gaussian distribution, whose distribution is invariant under the action of the orthogonal group. In particular, the expected Euler characteristic of such random real projective…
Data set tracks real-time election results for 4 hours post-October 2019 Portuguese elections.
problem Real-time tracking of election results for predictive modeling.
method Real-time data collection and interval-based analysis.
result Data set supports various predictive modeling tasks including numerical forecasting.
Study solves inverse problems for real principal type operators using unique data sets and ray transforms.
problem Determining coefficients in real principal type equations from boundary data.
method Unique data sets, bicharacteristic ray transforms, and propagation of singularities.
result Global uniqueness results for determining coefficients in nonlinear real principal type equations.
We give a systematic treatment of the stability theory for action of a real reductive Lie group G on a topological space. More precisely, we introduce an abstract setting for actions of non-compact real reductive Lie groups on topological spaces that admit functions similar to the Kempf-Ness function. The point of this…
In this paper we study the set of projective maps between compact proper convex real projective manifolds. We show that this set contains only finitely many distinct homotopy classes and each homotopy class has the structure of a real projective manifold. When the target manifold is strictly convex, our results imply t…
For generic torus-invariant metrics, eigenspaces are 2D and nodal sets are connected hypersurfaces.
problem Understanding spectral multiplicity and nodal sets for generic torus-invariant metrics.
method Analyzing real Δg-eigenspaces and nodal sets for generic T-invariant metrics. result For generic T-invariant metrics, real Δg-eigenspaces are irreducible and have dimension at most 2, and nodal sets are connected hypersurfaces with specific properties. Dividing local Gaussian processes improve real-time prediction efficiency.
problem Efficient online prediction for large data sets.
method Iterative data-driven division of input space for sublinear computational complexity.
result Sublinear computational complexity in real-time prediction.
The paper analyzes heat trace asymptotics for de Rham and Dolbeault complexes in both real and complex settings.
problem Examining heat trace asymptotics for de Rham and Dolbeault complexes in different geometric settings.
method Analyzing the derived heat trace asymptotics for generalized Witten perturbations in both real and complex settings.
result The integral of the local density for the derived heat trace asymptotics is related to the Euler characteristic and characteristic numbers of the tangent and twisting vector bundles.
We begin by showing that every real analytic orbifold has a real analytic Riemannian metric. It follows that every reduced real analytic orbifold can be expressed as a quotient of a real analytic manifold by a real analytic almost free action of a compact Lie group. We then extend a well-known result of Nomizu and Ozek…
This work shows how to use simulators to learn efficient exploration in real-world RL.
problem Sample complexity of real-world reinforcement learning.
method Coupling exploratory policies learned in simulators with practical approaches.
result Polynomial sample complexity in real world, exponential improvement over direct sim2real transfer.
This paper speeds up SVC clustering by compressing data while preserving key properties.
problem Efficiently clustering large-scale real-world data sets.
method Spectrum-preserving data compression for fast support vector clustering.
result Achieved 100X and 115X speedups on real-world data sets while maintaining clustering quality.
Two groups with specific limit sets in hyperbolic spaces are identified.
problem Identifying convex cocompact subgroups with specific limit sets in real hyperbolic spaces.
method Examples of subgroups generated by reflections and rotations with limit sets as Pontryagin spheres and Menger curves.
result Examples of convex cocompact subgroups with limit sets as Pontryagin spheres and Menger curves are found.
We prove that the set of non-properness of a polynomial mapping of the three dimensional space which is a local homeomorphism cannot be homeomorphic to the real line R.
Study evaluates scalability and real-world impact of disentangled representations.
problem Scalability and real-world impact of disentangled representations.
method New high-resolution dataset and architectures for disentangled representation learning.
result Disentanglement predicts out-of-distribution task performance.
Study derives error decay rates for kernel classification under source and capacity conditions.
problem Understanding prediction error decay rates for real data sets.
method Derived decay rates for misclassification error under Gaussian design for SVM and ridge classification.
result Rates accurately describe learning curves for data sets satisfying source and capacity conditions.
Study robust regression learning under adversarial attacks.
problem Understanding which function classes are learnable in the presence of adversarial attacks.
method Introduced a novel agnostic sample compression scheme and used fat-shattering dimension to construct adversarially robust sample compression schemes.
result Finite fat-shattering dimension classes are learnable in both realizable and agnostic settings.
Transforms uniquely determine Higgs fields on real-analytic manifolds.
problem Determining Higgs fields from transforms on manifolds.
method Matrix-weighted real-analytic double fibration transforms.
result Higgs fields can be uniquely determined from transforms.
Extends Tanimoto kernel to real-valued functions.
problem Measuring similarity between real-valued functions.
method Unified representation of real-valued functions via sets, derived general form of the kernel, explicit feature representation, and smooth approximation.
result General Tanimoto kernel for real-valued functions.
In this paper, we determine the bifurcation set of a real polynomial function of two variables for non-degenerate case in the sense of Newton polygons by using a toric compactification. We also count the number of singular phenomena at infinity, called "cleaving" and "vanishing" in the same setting. Finally, we give an…
We classify torsion-free real-analytic affine connections on compact oriented real-analytic surfaces which are locally homogeneous on a nontrivial open set, without being locally homogeneous on all of the surface. In particular, we prove that such connections exist. This classification relies in a local result that cla…
MPS selects models for nonstationary time series in real-time.
problem Model selection under nonstationary time series.
method Combines conformal inference with model confidence sets.
result Reliably identifies optimal models under nonstationarity.
This work studies reinforcement learning in the Sim-to-Real setting, in which an agent is first trained on a number of simulators before being deployed in the real world, with the aim of decreasing the real-world sample complexity requirement. Using a dynamic model known as a rich observation Markov decision process (R…
We construct an infinite dimensional real analytic manifold structure for the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is real analytic if it extends to a holomorphic map on some neighbourhood of the complexification of its domain. As is well known the constructio…
Defines real link Floer homology for specific types of links.
problem Developing a new homology theory for certain types of links.
method Combining real Heegaard Floer homology and real sutured Heegaard Floer homology, using real grid diagrams in S3. result Observes structural and property properties of strongly invertible knots.
Real vector bundles are determined by their Dirac indices on specific spin manifolds.
problem Determining real vector bundles using Dirac indices.
method Mapping spin or spinh manifolds into a compact smooth manifold and using Dirac indices. result Real vector bundles are uniquely determined by their Dirac indices on prescribed manifolds.
Constructs real algebraic maps with specific geometric constraints.
problem Construct smooth functions with prescribed Reeb graphs.
method Explicitly constructs real algebraic maps whose images are domains surrounded by products of hyperbolas and affine spaces.
result New examples of real algebraic maps with specified geometric constraints.
In this thesis, we consider semi-algebraic sets over a real closed field R defined by quadratic polynomials. Semi-algebraic sets of Rk are defined as the smallest family of sets in Rk that contains the algebraic sets as well as the sets defined by polynomial inequalities, and which is also closed under the bool…
Supposing that X is a Riemannian manifold, a Z/2 spinor on X is defined by a data set consisting of a closed set in X to be denoted by Z, a real line bundle over X-Z, and a nowhere zero section on X-Z of the tensor product of the real line bundle and a spinor bundle. The set Z and the spinor are jointly constrained by …
Real Heegaard Floer homology gets a new grading for certain 3-manifolds.
problem Real Heegaard Floer homology groups get an absolute Z/2 grading under specific conditions.
method Analyzes real Heegaard Floer homology groups with an involution and nullhomologous fixed points.
result Defines a new invariant of knots equal to the Alexander polynomial evaluated at i.
Research on deep learning generalization in real-world applications.
problem Understanding and improving deep learning generalization in non-i.i.d. real-world data.
method Analyzing deep net generalization, identifying and addressing assumptions and problem settings failures.
result Proposes methods to address failures in deep net generalization for real-world applications.