We apply mapping class group techniques and trisections to study intersection forms of smooth 4-manifolds. Johnson defined a well-known homomorphism from the Torelli group of a compact surface. Morita later showed that every homology 3-sphere can be obtained from the standard Heegaard decomposition of S3 by regluing…
Simple branched coverings established between certain 4-manifolds.
problem Establishing simple branched coverings between specific 4-manifolds.
method Using handle decompositions and isometric embeddings of intersection lattices.
result Existence and construction of d-fold simple branched coverings. Safe reinforcement learning for autonomous vehicles using prediction constraints.
problem Safe reinforcement learning for safety-critical applications like autonomous vehicles.
method Use prediction to constrain exploration in reinforcement learning models.
result Successfully learned intersection handling behaviors on an autonomous vehicle.
For each integer k≥2, we apply gluing methods to construct sequences of minimal surfaces embedded in the round 3-sphere. We produce two types of sequences, all desingularizing collections of intersecting Clifford tori. Sequences of the first type converge to a collection of k Clifford tori intersecting with …
Develops a method to compute Morse homology for clean but not necessarily transverse intersections.
problem Computing Morse homology for clean but not necessarily transversely intersecting manifolds.
method Constructs minimal semi-global Kuranishi structures for moduli spaces of Morse trajectories, generalizing obstruction bundle gluing.
result Obtains iterated gluing equals simultaneous gluing, maintaining computability.
A new approach switches between simple and complex models to handle concept drifts in regression tasks.
problem Handling concept drifts in regression models to maintain accurate predictions over time.
method Error Intersection Approach: switches between simple and complex models based on drift detection.
result The Error Intersection Approach significantly outperforms baselines in handling concept drifts in a real-world taxi demand dataset.
Let M be a simple 3-manifold, and F be a component of ∂M of genus at least 2. Let α and β be separating slopes on F. Let M(α) (resp. M(β)) be the manifold obtained by adding a 2-handle along α (resp. β). If M(α) and M(β) are ∂-reducible, then the minimal geometric intersection n…
This paper offers a new algebraic perspective of GCCA using subspace intersection.
problem Finding common variables across multiple feature representations.
method Subspace intersection approach based on a (bi-)linear generative model.
result GCCA is equivalent to subspace intersection, with conditions for identifiable common subspace.
The topology of broken Lefschetz fibrations is studied by means of handle decompositions. We consider a slight generalization of round handles, and describe the handle diagrams for all that appear in dimension four. We establish simplified handlebody and monodromy representations for a certain subclass of broken Lefsch…
New findings about twists in 4-sphere diffeomorphisms.
problem Understanding isotopy classes of diffeomorphisms in 4-sphere.
method Using Cerf theory and twists along Montesinos twins.
result The subgroup of twists along Montesinos twins is trivial or cyclic of order two.
We count meromorphic differentials with fixed residues and poles of fixed orders.
problem Counting meromorphic differentials with fixed residues and poles of fixed orders.
method Intersection theory on compactified moduli spaces of differentials.
result Complete solution to the problem with interesting combinatorial properties.
The paper calculates homology and intersection pairing of branched covers using disoriented homology.
problem Computing homology and intersection pairing of branched covers of 4-ball.
method Associate disoriented homology groups to projections of links and surfaces, show isomorphism to branched cover homology, define pairing on first disoriented homology of surfaces.
result Disoriented homology is isomorphic to the homology of branched cover and pairing is equal to the intersection pairing.
From any 4-dimensional oriented handlebody X without 3- and 4-handles and with b_2>0, we construct arbitrary many compact Stein 4-manifolds which are mutually homeomorphic but not diffeomorphic to each other, so that their topological invariants (their fundamental groups, homology groups, boundary homology groups, and …
The paper constructs four-manifolds with lens space boundaries and explores sphere configurations in #nCP2.
problem Exploring configurations of spheres in #nCP2 and constructing four-manifolds with specific properties. method Constructing examples of simply connected four-manifolds with lens space boundaries using sphere plumbings in connected sums of CP2. result Examples of four-manifolds with lens space boundaries and configurations of spheres with self-intersection number 20.
Attaching a 2-handle to a genus two or greater boundary component of a 3-manifold is a natural generalization of Dehn filling a torus boundary component. We prove that there is an interesting relationship between an essential surface in a sutured 3-manifold, the number of intersections between the boundary of the surfa…
Algorithms compute topological info about curves in surfaces.
problem Computing topological information about curves in surfaces.
method Algorithms using triangulations or handle structures to compute geometric intersection number and isotopy.
result Polynomial-time algorithms for topological curve analysis.
The paper studies invariants of 2-surfaces embedded in 3-space.
problem Understanding invariants of 2-surfaces embedded in 3-space.
method Investigates the Seifert bilinear form and intersection form of the embedded surface.
result Characterizes realizable forms of the intersection form for the torus.
A Heegaard diagram for a 3-manifold M is a closed, oriented surface S together with a pair (X, Y) of compact 1-manifolds in S whose components serve as attaching curves for the 2-handles of the two sides of a Heegaard splitting for M. The diagram is positive if X and Y can be oriented so that the intersection number <X…
Query2box embeds complex queries as boxes to handle logical operations in large KGs.
problem Handling complex logical queries on large-scale incomplete knowledge graphs.
method Embed KG entities and queries into a vector space as boxes, handling conjunctions as intersections and disjunctions through Disjunctive Normal Form.
result Query2box achieves up to 25% relative improvement over state-of-the-art methods.
We prove that the moduli space of compact genus three Riemann surfaces contains only finitely many algebraically primitive Teichmueller curves. For the stratum consisting of holomorphic one-forms in genus three with a single zero, our approach to finiteness uses the Harder-Narasimhan filtration of the Hodge bundle over…
Motivated by some applications in signal processing and machine learning, we consider two convex optimization problems where, given a cone K, a norm ∥⋅∥ and a smooth convex function f, we want either 1) to minimize the norm over the intersection of the cone and a level set of f, or 2) to minimize over the…
Develops a method to ensure fairness across multiple sensitive attributes in machine learning.
problem Ensuring fairness among demographic groups formed by multiple sensitive attributes.
method Formulates intersectional fairness as a mutual information minimization problem and proposes a generic end-to-end algorithmic framework.
result Demonstrates effective debiasing of classification results with minimal impact to accuracy.
Subspace segmentation or subspace learning is a challenging and complicated task in machine learning. This paper builds a primary frame and solid theoretical bases for the minimal subspace segmentation (MSS) of finite samples. Existence and conditional uniqueness of MSS are discussed with conditions generally satisfied…
We continue to develop an obstruction theory for embedding 2-spheres into 4-manifolds in terms of Whitney towers. The proposed intersection invariants take values in certain graded abelian groups generated by labelled trivalent trees, and with relations well known from the 3-dimensional theory of finite type invariants…
This paper considers aspects of 4-manifold topology from the point of view of the null cone of a neutral metric, a point of view we call neutral causal topology. In particular, we construct and investigate neutral 4-manifolds with null boundaries that arise from canonical 3- and 4-dimensional settings. A null hypersurf…
The paper examines how closed curves on surfaces intersect and how this intersection determines the curves.
problem Determining closed curves on surfaces based on their intersections.
method Constructing and studying k-equivalent curves, analyzing intersections with other curves. result Curves are determined by their intersections with all other curves, but non-simple curves require infinitely many intersections to distinguish.
3-manifold triangulation can be reconstructed from its intersection matrix.
problem Reconstructing the triangulation of 3-manifolds from their intersection matrix.
method Using the intersection matrix of a simplicial complex to determine the triangulation of a 3-manifold up to isomorphism.
result The intersection matrix is sufficient to determine the triangulation of a 3-manifold up to isomorphism.
The study explores deep and shallow slice knots in 4-manifolds, linking them to conjectures and proving existence and nonexistence results.
problem Understanding slice knots in 4-manifolds and their properties.
method Using Wall self-intersection invariant and Rohlin's result, the study examines various 4-manifolds and their boundaries to find deep slice knots and prove nonexistence results.
result Every 4-manifold with one 0-handle and any number of 2-handles has a deep slice knot in its boundary.
The paper finds diffeomorphic complex intersections with distinct Hodge numbers.
problem Identifying complex intersections with different Hodge numbers.
method Provided three pairs of 3-dimensional and one pair of 5-dimensional complex complete intersections, all diffeomorphic but with different Hodge numbers.
result Diffeomorphic complex intersections can have different Hodge numbers.
New polynomials defined for virtual knots, calculated up to crossing 4.
problem Defining and calculating invariants for virtual knots.
method Intersection number of curves on a closed surface.
result Intersection polynomials calculated up to crossing 4.
In this paper we present the algorithms for calculating the differential geometric properties {t,n,b1,b2,b3,k1,k2,k3,k4} along-with geodesic curvature and geodesic torsion of the transversal intersection curve of four hypersurfaces (given by parametric representation) in Euclidean space R^5. In transversal intersection…
We generalize the PL intersection product for chains on PL manifolds and for intersection chains on PL stratified pseudomanifolds to products of locally finite chains on non-compact spaces that are natural with respect to restriction to open sets. This is necessary to sheafify the intersection product, an essential ste…
Conditions for curves on a torus with specific pairwise intersections.
problem Finding curves on a torus with prescribed pairwise intersections.
method Necessary and sufficient conditions for curves on a torus with given pairwise intersections.
result Necessary and sufficient conditions for the existence of curves on a torus with specific pairwise intersections.
Study self-intersections of arcs on a pair of pants, proving natural number spectrum.
problem Understanding self-intersections of arcs on a pair of pants.
method Algorithm to compute self-intersection number, bounds established in terms of word length.
result Spectrum of self-intersection numbers covers all natural numbers.
Virtual knots with same writhe polynomial have equivalent intersection graphs.
problem Equivalence of intersection graphs for virtual knots.
method Proved equivalence through writhe polynomial.
result Intersection graphs of virtual knots with the same writhe polynomial are equivalent.
Study properties of self-similar continua with finite intersection property.
problem Characterize self-similar continua with finite intersection property.
method Prove intersection graph criterion, finite order theorem, and parameter matching theorem.
result All Jordan arcs starting from a intersection point in such continuum on a plane should have the same slope parameter at that point.
Estimates intersection pairing in hyperbolic 4-manifolds.
problem Estimating intersection pairing in hyperbolic 4-manifolds.
method Using Thurston norms of homology classes.
result Proved an estimate on intersection pairing.
By considering a (not necessarily locally-flat) PL knot as the singular locus of a PL stratified pseudomanifold, we can use intersection homology theory to define intersection Alexander polynomials, a generalization of the classical Alexander polynomial invariants for smooth or PL locally-flat knots. We show that the i…
Classifies arcs on a 4-punctured sphere that intersect at most once.
problem Classifying arcs on a 4-punctured sphere with intersection constraints.
method Classification of maximal systems of arcs intersecting at most once.
result Maximal systems of arcs on the 4-punctured sphere identified.
James McClure recently showed that the domain for the intersection pairing of PL chains on a PL manifold M is a subcomplex of C∗(M)⊗C∗(M) that is quasi-isomorphic to C∗(M)⊗C∗(M) and, more generally, that the intersection pairing endows C∗(M) with the structure of a partially-defined commutati…
Novel approach for large genus intersection number asymptotics.
problem Computing intersection numbers in large genus.
method Resurgent analysis of n-point functions with quantum curve.
result Extension of Aggarwal's results and new r-spin and Theta-class intersection numbers. The paper calculates self-intersections on a pair of pants using Bowen and Series' coding.
problem Computing the number of self-intersections of closed geodesics on a pair of pants.
method Used Bowen and Series' coding to compute self-intersections.
result Proved a conjecture and provided bounds for self-intersection numbers.
Generic potential primes have no self-intersections or intersections.
problem Finding non-degenerate periodic orbits without self-intersections.
method Generic convex Hamiltonian approach and Mañé genericity.
result Prime periodic orbits do not intersect or have self-intersections.
Paper proves curves can be smoothed to reduce self-intersection by exactly 1.
problem Prove that the shortest closed geodesic self-intersects exactly k times.
method Carefully smoothing intersection points reduces self-intersection by exactly 1.
result The shortest closed geodesic self-intersects exactly k times for hyperbolic and Riemannian metrics.
The paper extends intersection theory for b-divisors, proving monotonicity and volume inequalities.
problem Intersection theory for b-divisors and monotonicity of intersection products.
method Developed general intersection theory of nef b-divisors, defined restricted volume, proved monotonicity.
result Proved quantitative monotonicity of intersection product and new volume inequalities.
Study intersection polynomials of long virtual knots with supporting genera.
problem Characterize long virtual knots using geometric invariants.
method Define and analyze 1- and 2-supporting genera, and use them to filter long virtual knots. result Provide complete realizability criteria for all twelve intersection polynomials.
Paper computes Atiyah class for DG manifolds of amplitude +1.
problem Computing the Atiyah class for DG manifolds of specific amplitude.
method Computed the Atiyah class by encoding the derived intersection of sections and zero sections of vector bundles.
result Atiyah class vanishes if and only if the intersection is clean.
Minimum algebraic intersection found in hyperbolic surfaces, growing with genus.
problem Finding the minimum algebraic intersection form in hyperbolic surfaces.
method Analyzing algebraic intersection form in moduli space of hyperbolic surfaces.
result Minimum grows in the order of (logg)−2 with genus.