English
Related papers

Related papers: Exact ReLU realization of tensor-product refinemen…

200 papers

Tensor decompositions have become essential tools for feature extraction and compression of multiway data. Recent advances in tensor operators have enabled desirable properties of standard matrix algebra to be retained for multilinear…

Numerical Analysis · Mathematics 2024-10-01 Katherine Keegan , Elizabeth Newman

A rigidity result for normal rectifiable $k$-chains in $\mathbb{R}^n$ with coefficients in an Abelian normed group is established. Given some decompositions $k=k_1+k_2$, $n=n_1+n_2$ and some rectifiable $k$-chain $A$ in $\mathbb{R}^n$, we…

Analysis of PDEs · Mathematics 2022-12-12 Michael Goldman , Benoît Merlet

Determining the optimal depth of a neural network is a fundamental yet challenging problem, typically resolved through resource-intensive experimentation. This paper introduces a formal theoretical framework to address this question by…

Machine Learning · Computer Science 2025-06-23 Qian Qi

Let $K$ be a $p$-adic field and $T$ a lattice in a semistable representation of $\mathrm{Gal}(\overline{K}/K)$ with Hodge-Tate weights in $[0, r]$. Assuming $0\leq r<p-1$, we prove that for a semistable extension of $\mathbb{Z}_p$ by $T$,…

Number Theory · Mathematics 2026-03-30 Pavel Čoupek , Evangelia Gazaki , Adriano Marmora

We propose a real-space renormalization group algorithm for accurately coarse-graining two-dimensional tensor networks. The central innovation of our method lies in utilizing variational boundary tensors as a globally optimized environment…

Statistical Mechanics · Physics 2026-03-03 Feng-Feng Song , Naoki Kawashima

We introduce tensor numerical techniques for solving optimal control problems constrained by elliptic operators in $\mathbb{R}^d$, $d=2,3$, with variable coefficients, which can be represented in a low rank separable form. We construct a…

Numerical Analysis · Mathematics 2021-05-28 Boris N. Khoromskij , Britta Schmitt , Volker Schulz

Refinement transforms an abstract system model into a concrete, executable program, such that properties established for the abstract model carry over to the concrete implementation. Refinement has been used successfully in the development…

Logic in Computer Science · Computer Science 2021-10-27 Aurel Bílý , Christoph Matheja , Peter Müller

Let $\sg_i$, $i=1,\ldots,n$, denote reverse doubling weights on $\R^d$, let $\cdr(\R^d)$ denote the set of all dyadic rectangles on $\R^d$ (Cartesian products of usual dyadic intervals) and let $K:\,\cdr(\R^d)\to[0,\8)$ be a~map. In this…

Functional Analysis · Mathematics 2017-10-24 Hitoshi Tanaka , Kozo Yabuta

This paper presents an efficient, offline method to simultaneously synthesize controllers and seek closed-loop Lyapunov functions for constrained piecewise affine systems on triangulated subsets of the admissible states. Triangulation…

Systems and Control · Electrical Eng. & Systems 2022-03-01 Reza Lavaei , Leila Bridgeman

This paper considers the completion problem for a tensor (also referred to as a multidimensional array) from limited sampling. Our greedy method is based on extending the low-rank approximation pursuit (LRAP) method for matrix completions…

Numerical Analysis · Mathematics 2020-04-21 An-Bao Xu

We are interested in approximation of a multivariate function $f(x_1,\dots,x_d)$ by linear combinations of products $u^1(x_1)\cdots u^d(x_d)$ of univariate functions $u^i(x_i)$, $i=1,\dots,d$. In the case $d=2$ it is a classical problem of…

Machine Learning · Statistics 2014-09-05 D. Bazarkhanov , V. Temlyakov

We consider supervised learning (regression/classification) problems with tensor-valued input. We derive multi-linear sufficient reductions for the regression or classification problem by modeling the conditional distribution of the…

Methodology · Statistics 2025-02-28 Daniel Kapla , Efstathia Bura

A fully discrete Active Flux method is proposed for the 2D compressible Euler equations. The method builds on the evolution-operator formulation proposed by Roe in which conservative cell averages are updated by unsplit flux quadrature…

Numerical Analysis · Mathematics 2026-05-14 Karthik Duraisamy

We consider the quantum double D(G) of a compact group G, following an earlier paper. We use the explicit comultiplication on D(G) in order to build tensor products of irreducible *-representations. Then we study their behaviour under the…

q-alg · Mathematics 2009-10-30 T. H. Koornwinder , F. A. Bais , N. M. Muller

A rigorous formulation of the dynamics of a signal processing scheme aimed at dense signal scanning without any loss in accuracy is introduced and analyzed. Related methods proposed in the recent past lack a satisfactory analysis of whether…

Machine Learning · Computer Science 2017-08-03 Markus Thom , Franz Gritschneder

The point process of vertices of an iteration infinitely divisible or more specifically of an iteration stable random tessellation in the Euclidean plane is considered. We explicitly determine its covariance measure and its pair-correlation…

Probability · Mathematics 2011-04-05 Tomasz Schreiber , Christoph Thaele

Convex relaxations are a key component of training and certifying provably safe neural networks. However, despite substantial progress, a wide and poorly understood accuracy gap to standard networks remains, raising the question of whether…

Machine Learning · Computer Science 2023-11-08 Maximilian Baader , Mark Niklas Müller , Yuhao Mao , Martin Vechev

A new class of exact-repair regenerating codes is constructed by combining two layers of erasure correction codes together with combinatorial block designs, e.g., Steiner systems, balanced incomplete block designs and t-designs. The…

Information Theory · Computer Science 2013-02-20 Chao Tian , Vaneet Aggarwal , Vinay A. Vaishampayan

In previous joint work with Tenenbaum, the truncation step $f \mapsto f_R$ in the conditional effective Erdos-Wintner theorem on the fibre $\omega(n)=k$ yields, in the continuous case for real strongly additive $f$, a remainder of size…

Number Theory · Mathematics 2026-03-19 Johann Verwee

We prove the existence of self-dual tensor products for finite-dimensional convex cones and operator systems. This is a consequence of a more general result: Every cone system, which is contained in its dual, can be enlarged to a self-dual…

Functional Analysis · Mathematics 2024-08-15 Tim Netzer