arXiv research

Fast BATLLNN speeds up verification of TLL NNs by 400x.

New NN design for nonlinear systems control with guarantees.

The paper designs neural networks with assurance for controlling nonlinear systems.

Polynomial-time reachability for LTI systems with TLL NN controllers is achieved.

This paper shows how path spaces on two-level manifolds can be Hilbert manifold structures.

Spiking neural networks (SNNs) with a lattice architecture are introduced in this work, combining several desirable properties of SNNs and self-organized maps (SOMs). Networks are trained with biologically motivated, unsupervised learning rules to obtain a self-organized grid of filters via cooperative and competitive …

Recently, over-parameterized neural networks have been extensively analyzed in the literature. However, the previous studies cannot satisfactorily explain why fully trained neural networks are successful in practice. In this paper, we present a new theoretical framework for analyzing over-parameterized neural networks …

This work analyzes generalization in federated learning using information theory.

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 …

Develops a two-level monotonic multistage recommender system for better user-specific prediction.

This work improves interpretability in deep learning models by introducing a two-level concept discovery framework.

LARF improves random forests with attention mechanisms and contamination models.

Paper develops efficient algorithms for robust optimization across multiple groups.

In Maslov (2003), a two level model of the occurrence of financial pyramid (bubbles) has been considered. We also considered the mathematical analogy of this model to Bose condensation. In the present paper, we explain why Ponzi schemes and bubbles result in a crisis in real economics. In Maslov (2005), the law of incr…

This paper examines the valuation of American capped call options with two-level caps. The structure of the immediate exercise region is significantly more complex than in the classical case with constant cap. When the cap grows over time, making extensive use of probabilistic arguments and local time, we show that the…

New property identifies arithmetic lattices from nonuniform lattices.

Playing repeated matrix games (RMG) while maximizing the cumulative returns is a basic method to evaluate multi-agent learning (MAL) algorithms. Previous work has shown that $UCB$, $M3$, $S$ or $Exp3$ algorithms have good behaviours on average in RMG. Besides, hedging algorithms have been shown to be effective on predi…

Research finds bounds for knots in hexagonal lattice and classifies 11-stick knots.

We outline the theory of sets with distributive operations: multishelves and multispindles, with examples provided by semi-lattices, lattices and skew lattices. For every such a structure we define multi-term distributive homology and show some of its properties. The main result is a complete formula for the homology o…

Course on arithmetic lattices at EPFL.

We give a simple example showing that a knot or link diagram that lies in the ${\mathbb{Z}}^2$ lattice is not necessarily the projection of a lattice stick knot or link in the ${\mathbb{Z}}^3$ lattice, and we give a necessary and sufficient condition for when a knot or link diagram that lies in the ${\mathbb{Z}}^2$ lat…

New rigidity theorem for product of lattices.

We explore hybrid subgroups of certain non-arithmetic lattices in $\mathrm{PU}(2,1)$. We show that all of Mostow's lattices are virtually hybrids; moreover, we show that some of these non-arithmetic lattices are hybrids of two non-commensurable arithmetic lattices in $\mathrm{PU}(1,1)$.

We study the quantum synchronization between a pair of two-level systems inside two coupled cavities. By using a digital-analog decomposition of the master equation that rules the system dynamics, we show that this approach leads to quantum synchronization between both two-level systems. Moreover, we can identify in th…

This paper studies the covolumes of nonuniform arithmetic lattices in PU(n, 1). We determine the smallest covolume nonuniform arithmetic lattices for each n, the number of minimal covolume lattices for each n, and study the growth of the minimal covolume as n varies. In particular, there is a unique lattice (up to conj…

Nonlinear optimal control problems are often solved with numerical methods that require knowledge of system's dynamics which may be difficult to infer, and that carry a large computational cost associated with iterative calculations. We present a novel neurobiologically inspired hierarchical learning framework, Reinfor…

The paper finds incommensurable lattices in complex models of Baumslag-Solitar groups.

Proves a lattice version of the Atiyah-Singer index theorem.

Sequence discriminative training criteria have long been a standard tool in automatic speech recognition for improving the performance of acoustic models over their maximum likelihood / cross entropy trained counterparts. While previously a lattice approximation of the search space has been necessary to reduce computat…

Vertex distortion measures how far lattice knots deviate from straight lines.

Regular integer lattices are characterized by k unit vectors that build up their generator matrices. These have rank k for D-lattices, and are rank-deficient for A-lattices, for E_6 and E_7. We count lattice points inside hypercubes centered at the origin for all three types, as if classified by maximum infinity norm i…

In this paper we use techniques from convex projective geometry to produce many new examples of thin subgroups of lattices in special linear groups that are isomorphic to the fundamental groups of finite volume hyperbolic manifolds. More specifically, we show that for a large class of arithmetic lattices in SO(n,1) it …

We show that the set of even positive definite lattices that arise from smooth, simply-connected 4-manifolds bounded by a fixed homology 3-sphere can depend on more than the ranks of the lattices. We provide two homology 3-spheres with distinct sets of such lattices, each containing a distinct nonempty subset of the ra…

The paper proves residual finiteness of certain lattices and constructs surfaces with specific fundamental groups.

A celebrated theorem of Hadwiger states that the Euler-Poincaré characteristic is the the unique invariant and continuous valuation on the distributive lattice of compact polyhedra in R^n that assigns value one to each convex non-empty such polyhedron. This paper provides an analogue of Hadwiger's result for finitely p…

The cubic lattice stick index of a knot type is the least number of sticks necessary to construct the knot type in the 3-dimensional cubic lattice. We present the cubic lattice stick index of various knots and links, including all (p,p+1)-torus knots, and show how composing and taking satellites can be used to obtain t…

New method finds lattice polygons that can be dissected into triangles with integer areas.

A new method predicts stock ranking uncertainty to improve trading performance during regime shifts.

L-CNNs approximate gauge actions, revealing fixed points with no lattice artifacts.

The paper refines transformations of lattice diagrams and introduces dotted diagrams.

Classifies knots by lattice size, finding unknot ratios and crossing numbers.

Let $G$ be a simply connected, solvable Lie group and $Γ$ a lattice in $G$. The deformation space $\mathcal{D}(Γ,G)$ is the orbit space associated to the action of $\Aut(G)$ on the space $\mathcal{X}(Γ,G)$ of all lattice embeddings of $Γ$ into $G$. Our main result generalises the classical rigidity theorems of Mal'tsev…

Proves effective slope gaps for lattice surfaces.

We study the arithmeticity of the Couwenberg-Heckman-Looijenga lattices in PU(n,1), and show that they contain a non-arithmetic lattice in PU(3,1) which is not commensurable to the non-arithmetic Deligne-Mostow lattice in PU(3,1).

Study answers arithmeticity question for normal subgroup of lattices.

One type of switch simplifies operations on lattice knots.

New lattices in higher dimensions have dense surface subgroups.

Improved lattice field theory simulations with local-Autoregressive Conditional Normalizing Flow.