arXiv research

Paper introduces branched signature model for efficient computation and data-driven applications.

We prove that if S is a closed compact surface of negative Euler characteristic, and if R is a quasi-Fuchsian representation in PSL(2,C), then the deformation space M(k,R) of branched projective structures on S with total branching order k and holonomy R is connected, as soon as k>0. Equivalently, two branched projecti…

In this paper, we introduce a new model for leveraging unlabeled data to improve generalization performances of image classifiers: a two-branch encoder-decoder architecture called HybridNet. The first branch receives supervision signal and is dedicated to the extraction of invariant class-related representations. The s…

Random branched covers of groups are homotopy equivalent to geometrically small cancellation complexes.

Formal verification of neural networks is essential for their deployment in safety-critical areas. Many available formal verification methods have been shown to be instances of a unified Branch and Bound (BaB) formulation. We propose a novel framework for designing an effective branching strategy for BaB. Specifically,…

Study on moduli spaces of branched projective structures on surfaces.

We define a laminar branched surface to be a branched surface satisfying the following conditions: (1) Its horizontal boundary is incompressible; (2) there is no monogon; (3) there is no Reeb component; (4) there is no sink disk (after eliminating trivial bubbles in the branched surface). The first three conditions are…

New criterion for branched covers between 2-spheres.

Combinatorial optimization problems are typically tackled by the branch-and-bound paradigm. We propose a new graph convolutional neural network model for learning branch-and-bound variable selection policies, which leverages the natural variable-constraint bipartite graph representation of mixed-integer linear programs…

Given a branched covering of degree d between closed surfaces, it determines a collection of partitions of d, the branch data. In this work we show that any branch data are realized by an indecomposable primitive branched covering on a connected close surface N with Euler's characteristic less than or equal to 0. This …

Branching Flows generates sequences of varying lengths using binary trees.

Uniformly branching trees are equivalent to certain metric spaces.

The paper studies which branched covers can be lifted to braided embeddings.

We consider 3-dimensional pseudo-manifolds M with a given set of marked point V such that M-V is the interior of a compact 3-manifold with boundary. An ideal triangulation T of (M, V ) has V as its set of vertices. A branching (T, b) enhances T to a Delta-complex. Branched triangulations of (M, V ) are considered up to…

Quantum algorithm speeds up MIP solving by a near-quadratic factor.

The banking industry is very important for an economic cycle of each country and provides some quality of services for us. With the advancement in technology and rapidly increasing of the complexity of the business environment, it has become more competitive than the past so that efficiency analysis in the banking indu…

Efficiently models tree-like data with coupled branches using HMMs.

The paper details folding of branched covers of the 3-sphere over knots.

In this work we characterize branch data of branched coverings of even degree over the projective plane which are realizable by indecomposable branched coverings.

Course on knots using branched coverings.

A branched covering surface-knot is a surface-knot in the form of a branched covering over an oriented surface-knot $F$, where we include the case when the covering has no branch points. A branched covering surface-knot is presented by a graph called a chart on a surface diagram of $F$. We can simplify a branched cover…

Graph Neural Networks learn to mimic strong branching in MILP solvers.

Techniques for constructing codimension 2 embeddings and immersions of the 2 and 3-fold branched covers of the 3 and 4-dimensional spheres are presented. These covers are in braided form, and it is in this sense that they are folded. More precisely the composition of the embedding (or immersion) and the canonical proje…

Formula compares metrics on branched coverings of line bundles.

A branched covering surface-knot is a surface-knot in the form of a branched covering over a surface-knot. For a branched covering surface-knot, we have a numerical invariant called the simplifying number. We show that branched covering surface-knots with degree three have the simplifying numbers less than three.

Online crowdsourcing provides a scalable and inexpensive means to collect knowledge (e.g. labels) about various types of data items (e.g. text, audio, video). However, it is also known to result in large variance in the quality of recorded responses which often cannot be directly used for training machine learning syst…

New examples show transverse knots are determined by their branched covers.

We establish a calculus for branched spines of 3-manifolds by means of branched Matveev-Piergallini moves and branched bubble-moves. We briefly indicate some of its possible applications in the study and definition of State-Sum Quantum Invariants.

New hybrid model reduces MILP solver time by up to 26%.

Quantized Coulomb branches linked to skein algebras.

Characterizes groups of branched twist-spun knots.

We provide criteria ensuring that a tunnel number one knot $K$ is not determined by its double branched cover, in the sense that the double branched cover is also the double branched cover of a knot $K'$ not equivalent to $K$.

We investigate in this paper the architecture of deep convolutional networks. Building on existing state of the art models, we propose a reconfiguration of the model parameters into several parallel branches at the global network level, with each branch being a standalone CNN. We show that this arrangement is an effici…

Branched covers between Riemann surfaces are associated with certain combinatorial data, and Hurwitz existence problem asks whether given data satisfying those combinatorial constraints can be realized by some branched cover. We connect recent development in spherical conic metrics to this old problem, and give a new m…

Authors prove a contact structure result using branched covers and overtwisted disks.

For any alternating knot, it is known that the double branched cover of the $3$-sphere branched over the knot is an $L$-space. We show that the three-fold cyclic branched cover is also an $L$-space for any genus one alternating knot.

We introduce and analyze the characteristic foliation induced by a contact structure on a branched surface, in particular a branched standard spine of a 3-manifold. We extend to (fairly general) singular foliations of branched surfaces the local existence and uniqueness results which hold for genuine surfaces. Moreover…

Paper finds new realizable data for maps with three branch points.

The image of the branch set of a PL branched cover between PL $n$-manifolds is a simplicial $(n-2)$-complex. We demonstrate that the reverse implication also holds: an open and discrete map $f \colon \mathbb{S}^n \to \mathbb{S}^n$ with the image of the branch set contained in a simplicial $(n-2)$-complex is equivalent …

We define sink marks for branched complexes and find conditions for them to determine a branched surface structure. These will be used to construct branched surfaces in knot and tangle complements. We will extend Delman's theorem and prove that a Montesinos knot $K$ of length at least 3 has a persistently laminar branc…

The paper explores rational functions with 3 branching points on the Riemann sphere.

Branch and Bound (B&B) is the exact tree search method typically used to solve Mixed-Integer Linear Programming problems (MILPs). Learning branching policies for MILP has become an active research area, with most works proposing to imitate the strong branching rule and specialize it to distinct classes of problems. We …

In this paper we study the homeomorphisms of the disk that are liftable with respect to a simple branched covering. Since any such homeomorphism maps the branch set of the covering onto itself and liftability is invariant up to isotopy fixing the branch set, we are dealing in fact with liftable braids. We prove that th…

Veering branched surfaces help construct geodesic flows on curved surfaces.

Taut foliations map leaves to branched 2-sphere covers.

The study investigates how branch points affect the shape and mechanics of hyperbolic surfaces.

A branched affine structure on a compact topological surface with marked points is a complex affine structure outside the marked points. We give a proof of an unpublished foundational theorem of Veech, stating that any branched affine surface can be decomposed into affine triangles and some annulus-shaped cylinders. Th…

We consider the Neumann Laplacian acting on square-integrable functions on a triangle in the hyperbolic plane that has one cusp. We show that the generic such triangle has no eigenvalues embedded in its continuous spectrum. To prove this result we study the behavior of the real-analytic eigenvalue branches of a degener…