Inverse Drum Machine separates drum mixes using transcription and synthesis.
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
Trend · papers per month
In this paper, we study the problem of learning probabilistic logical rules for inductive and interpretable link prediction. Despite the importance of inductive link prediction, most previous works focused on transductive link prediction and cannot manage previously unseen entities. Moreover, they are black-box models …
New formula calculates volumes of ideal hyperbolic drums.
DeepDrummer generates drum loops with human preferences via active learning.
Corners can be identified by a drum's sound spectrum.
DRUM transfers cardiac arrest models across registries with missing covariates.
We use an extension of Sunada's theorem to construct a nonisometric pair of isospectral simply connected domains in the Euclidean plane, thus answering negatively Kac's question, ``can one hear the shape of a drum?'' In order to construct simply connected examples, we exploit the observation that an orbifold whose unde…
Inverse spectral theory reveals shapes from sound.
New method reveals corners of drum shapes.
Considering music as a sequence of events with multiple complex dependencies, the Long Short-Term Memory (LSTM) architecture has proven very efficient in learning and reproducing musical styles. However, the generation of rhythms requires additional information regarding musical structure and accompanying instruments. …
We explore models for translating abstract musical ideas (scores, rhythms) into expressive performances using Seq2Seq and recurrent Variational Information Bottleneck (VIB) models. Though Seq2Seq models usually require painstakingly aligned corpora, we show that it is possible to adapt an approach from the Generative A…
Study uses deep reinforcement learning for real-time control of nuclear microreactors, achieving similar or superior performance to traditional PID controllers.
John Conway created pairs of domains that sound the same for a special kind of music.
We give a number of examples of isospectral pairs of plane domains, and a particularly simple method of proving isospectrality. One of our examples is a pair of domains that are not only isospectral but homophonic: Each domain has a distinguished point such that corresponding normalized Dirichlet eigenfunctions take eq…
We answer Mark Kac's famous question, "can one hear the shape of a drum?" in the positive for orbifolds that are 3-dimensional and 4-dimensional lens spaces; we thus complete the answer to this question for orbifold lens spaces in all dimensions. We also show that the coefficients of the asymptotic expansion of the tra…
We study isospectrality for manifolds with mixed Dirichlet-Neumann boundary conditions and express the well-known transplantation method in graph- and representation-theoretic terms. This leads to a characterization of transplantability in terms of monomial relations in finite groups and allows for the generating of ne…
We answer Mark Kacs famous question - can one hear the shape of a drum - in the negative for orbifolds that are spherical space forms. This is done by extending the techniques developed by A. Ikeda on Lens Spaces to the orbifold setting. Several results are proved to show that with certain restrictions on the dimension…
We prove an upper bound for the evaluation of all classical SU(2) spin networks conjectured by Garoufalidis and van der Veen. This implies one half of the analogue of the volume conjecture which they proposed for classical spin networks. We are also able to obtain the other half, namely, an exact determination of the s…
We study the problem of source separation for music using deep learning with four known sources: drums, bass, vocals and other accompaniments. State-of-the-art approaches predict soft masks over mixture spectrograms while methods working on the waveform are lagging behind as measured on the standard MusDB benchmark. Ou…
In this paper we study deep learning-based music source separation, and explore using an alternative loss to the standard spectrogram pixel-level L2 loss for model training. Our main contribution is in demonstrating that adding a high-level feature loss term, extracted from the spectrograms using a VGG net, can improve…
We propose a novel model for temporal detection and localization which allows the training of deep neural networks using only counts of event occurrences as training labels. This powerful weakly-supervised framework alleviates the burden of the imprecise and time-consuming process of annotating event locations in tempo…
In 1985 Kevin Walker in his study of topology of polygon spaces raised an interesting conjecture in the spirit of the well-known question "Can you hear the shape of a drum?" of Marc Kac. Roughly, Walker's conjecture asks if one can recover relative lengths of the bars of a linkage from intrinsic algebraic properties of…
BGNNs model particle-boundary interactions efficiently.
Graph Neural Networks model 3D granular flow simulations.
Mathematicians decode geometric properties from eigenvalues over 112 years.
A system is presented that segments, clusters and predicts musical audio in an unsupervised manner, adjusting the number of (timbre) clusters instantaneously to the audio input. A sequence learning algorithm adapts its structure to a dynamically changing clustering tree. The flow of the system is as follows: 1) segment…
Paper prunes deep MIR models to ultra-light versions.
Source separation for music is the task of isolating contributions, or stems, from different instruments recorded individually and arranged together to form a song. Such components include voice, bass, drums and any other accompaniments.Contrarily to many audio synthesis tasks where the best performances are achieved b…
Generating music has a few notable differences from generating images and videos. First, music is an art of time, necessitating a temporal model. Second, music is usually composed of multiple instruments/tracks with their own temporal dynamics, but collectively they unfold over time interdependently. Lastly, musical no…
The main goal in this paper is to point out that quantity on a harmonic space can not be determined by the spectra of local geodesic spheres or balls, therefore the main results of [AM-S] (quoted in the title) are wrong. My strong interest in the above theorem is motivated by the fact that it contra…
The aim of this work is to link the quasiconformal geometry of a Euclidean domain to the spectral properties of its Dirichlet integral $\D$, through the algebra of multipliers $\M(H^{1,2}(U))$ of the Sobolev space. In the main result we prove that a homeomorphism between Euclidean domains, giving rise …
We survey the status of some decision problems for 3-manifolds and their fundamental groups. This includes the classical decision problems for finitely presented groups (Word Problem, Conjugacy Problem, Isomorphism Problem), and also the Homeomorphism Problem for 3-manifolds and the Membership Problem for 3-manifold gr…
Optimal transport reformulates multiple quantile hedging problem.
Solves four problems related to circle families in the plane.
Solves four problems related to sphere families in 3D space.
The paper solves optimal control problems for various convex sets using convex trigonometry.
This paper is a tutorial for eigenvalue and generalized eigenvalue problems. We first introduce eigenvalue problem, eigen-decomposition (spectral decomposition), and generalized eigenvalue problem. Then, we mention the optimization problems which yield to the eigenvalue and generalized eigenvalue problems. We also prov…
This paper solves the Christoffel problem in hyperbolic space and its equivalent on spheres.
In the present paper, the primal-dual problem consisting of the investment risk minimization problem and the expected return maximization problem in the mean-variance model is discussed using replica analysis. As a natural extension of the investment risk minimization problem under only a budget constraint that we anal…
Study proves only origin-centered spheres solve certain curvature problems.
MathChat uses LLM agents to solve challenging math problems through conversational problem-solving.
The paper solves a generalized Christoffel-Minkowski problem using a curvature flow.
Paper solves Gromov-Wasserstein for point clouds efficiently.
The paper explains how microlocal analysis solves geometric inverse problems.
Proves NP and co-NP status for knot core recognition in solid torus.
The min-max problem, also known as the saddle point problem, is a class of optimization problems which minimizes and maximizes two subsets of variables simultaneously. This class of problems can be used to formulate a wide range of signal processing and communication (SPCOM) problems. Despite its popularity, most exist…
A new method solves complex control problems with random coefficients.
This is a survey of some problems in geometric group theory which I find interesting. The problems are from different areas of group theory. Each section is devoted to problems in one area. It contains an introduction where I give some necessary definitions and motivations, problems and some discussions of them. For ea…