arXiv research

Study links neural network inductive bias, feature learning, and generalization on Boolean functions.

DNF-Net tackles tabular data challenges with neural architecture.

As a contribution to interpretable machine learning research, we develop a novel optimization framework for learning accurate and sparse two-level Boolean rules. We consider rules in both conjunctive normal form (AND-of-ORs) and disjunctive normal form (OR-of-ANDs). A principled objective function is proposed to trade …

The paper proposes an interpretable off-policy learning algorithm for medical treatments.

Study symplectic forms on manifolds to find Lagrangian pinwheels that can be separated.

Answering complex logical queries on large-scale incomplete knowledge graphs (KGs) is a fundamental yet challenging task. Recently, a promising approach to this problem has been to embed KG entities as well as the query into a vector space such that entities that answer the query are embedded close to the query. Howeve…

SOAR generates rules for both positive and negative classes in binary classification.

New algorithm learns disjunctions faster than previous methods.

The diversification (generating slightly varying separating discriminators) of Support Vector Machines (SVMs) for boosting has proven to be a challenge due to the strong learning nature of SVMs. Based on the insight that perturbing the SVM kernel may help in diversifying SVMs, we propose two kernel perturbation based b…

Improved algorithm for conditional linear regression with heterogeneous covariances.

The paper develops mixed-integer formulations for neural networks using partitioning.

Despite their great success in recent years, deep neural networks (DNN) are mainly black boxes where the results obtained by running through the network are difficult to understand and interpret. Compared to e.g. decision trees or bayesian classifiers, DNN suffer from bad interpretability where we understand by interpr…

Let $n \geq 2$. We prove a homological stability theorem for the diffeomorphism groups of $(4n+1)$-dimensional manifolds, with respect to forming the connected sum with $(2n-1)$-connected, $(4n+1)$-dimensional manifolds that are stably parallelizable. Our techniques involve the study of the action of the diffeomorphism…

A new method learns interpretable decision rules using submodular optimization.

We obtain multirelative connectivity statements about spaces of smooth embeddings, deducing these from analogous results about spaces of Poincare embeddings that were established in our previous paper.

We obtain multirelative connectivity statements about spaces of Poincare embeddings, as precursors to analogous statements about spaces of smooth embeddings. The latter are the key to convergence results in the functor calculus approach to spaces of embeddings.

New method solves matrix completion problems to certifiable optimality.

We give a new approach to intersection theory. Our "cycles" are closed manifolds mapping into compact manifolds and our "intersections" are elements of a homotopy group of a certain Thom space. The results are then applied in various contexts, including fixed point, linking and disjunction problems. Our main theorems r…

In this paper we prove a stability theorem for block diffeomorphisms of 2d-dimensional manifolds that are connected sums of S^d x S^d. Combining this with a recent theorem of S. Galatius and O. Randal-Williams and Morlet's lemma of disjunction, we determine the homology of the classifying space of their diffeomorphism …

Machine learning techniques have been used in the past using Monte Carlo samples to construct predictors of the dynamic stability of power systems. In this paper we move beyond the task of prediction and propose a comprehensive approach to use predictors, such as Decision Trees (DT), within a standard optimization fram…

We study the problem of {\em distribution-independent} PAC learning of halfspaces in the presence of Massart noise. Specifically, we are given a set of labeled examples $(\mathbf{x}, y)$ drawn from a distribution $\mathcal{D}$ on $\mathbb{R}^{d+1}$ such that the marginal distribution on the unlabeled points $\mathbf{x}…

Normalizes pseudo-Einstein contact forms for easier analysis.

The paper defines normal forms for rational 3-tangles and shows a sequence of moves to transform one form to another.

This paper considers asymptotically hyperbolic manifolds with a finite boundary intersecting the usual infinite boundary -- cornered asymptotically hyperbolic manifolds -- and proves a theorem of Cartan-Hadamard type near infinity for the normal exponential map on the finite boundary. As a main application, a normal fo…

We find a normal form for two-input flat discrete-time systems.

In this article, we first describe a normal form of real-analytic, Levi-nondegenerate submanifolds of $C^N$ of codimension d $\ge$ 1 under the action of formal biholomorphisms, that is, of perturbations of Levi-nondegenerate hyperquadrics. We give a sufficient condition on the formal normal form that ensures that the n…

This note analyzes the normal form of gradient Ricci 4-solitons.

We introduce the notion of a ribbon-clasp surface-link, which is a generalization of a ribbon surface-link. We generalize the notion of a normal form on embedded surface-links to the case of immersed surface-links and prove that any (immersed) surface-link can be described in a normal form. It is known that an embedded…

Study on immersions with flat normal bundle in curved spaces.

Proves convergence of normal forms for infinite-dimensional Lie pseudo-group actions.

Study integrates reliability constraints into generation planning models.

We study the first uniformly finite homology group of Block and Weinberger for uniformly locally finite graphs, with coefficients in $\mathbb{Z}$ and $\mathbb{Z}_2$. When the graph is a tree, or coefficients are in $\mathbb{Z}_2$, a characterisation of the group is obtained. In the general case, we describe three pheno…

Braids can be represented geometrically as laminations of punctured disks. The geometric complexity of a braid is the minimal complexity of a lamination that represents it, and tight laminations are representatives of minimal complexity. These laminations give rise to a normal form of braids, via a relaxation algorithm…

In this paper we construct a large class of new normal forms for Levi-nondegenerate real hypersurfaces in complex spaces. We adopt a general approach illustrating why these normal forms are natural and which role is played by the celebrated Chern-Moser normal form. The latter appears in our class as the one with the "m…

The paper characterizes surfaces in 4D space forms with flat normal connection.

Paper classifies rational 3-tangles using normal forms and minimal coordinates.

Rolling two hyperboloid surfaces is described using a Monge normal form.

Formal Normal Form created for special CR singularities.

A 1-bridge torus knot in a 3-manifold of genus $\le 1$ is a knot drawn on a Heegaard torus with one bridge. We give two types of normal forms to parameterize the family of 1-bridge torus knots that are similar to the Schubert's normal form and the Conway's normal form for 2-bridge knots. For a given Schubert's normal f…

Formal normal form created for real-smooth hypersurfaces.

We introduce in this paper normal twistor equations for differential forms and study their solutions, the so-called normal conformal Killing forms. The twistor equations arise naturally from the canonical normal Cartan connection of conformal geometry. Reductions of its holonomy are related to solutions of the normal t…

Alternative closed-form formula for spread call option prices under log-normal models.

2-stein submanifolds in space forms have constant curvature if normal connection is flat or codimension is 2.

Researchers create normal forms for CR manifolds in complex space.

A normal form for edge metrics is derived under the necessary conditions that the metric be normalized and exact. The normal forms for such an edge metric are shown to be in 1-1 correspondence with representative metrics for a reduced conformal infinity on the boundary. The normal form is constructed via solution of a …

A differential 1-form $α$ on a manifold of odd dimension $2n+1$, which satisfies the contact condition $α\wedge (dα)^n \neq 0$ almost everywhere, but which vanishes at a point $O$, i.e. $α(O) = 0$, is called a \textit{singular contact form} at $O$. The aim of this paper is to study local normal forms (formal, analytic …

We solve the local equivalence problem for second order (smooth or analytic) ordinary differential equations. We do so by presenting a {\em complete convergent normal form} for this class of ODEs. The normal form is optimal in the sense that it is defined up to the automorphism group of the model (flat) ODE $y"=0$. For…

Local normal forms for symmetrical contact structures on 3-manifolds.