arXiv subjects

Benjamin Martin

Publications and source records attributed to Benjamin Martin.

At least 19 recordsLinked to original sources

arXiv2026

Detection of AI-generated stems within hybrid human-AI music

This paper presents, to the best of our knowledge, the first study on detecting human-AI hybrid music tracks created by mixing human-produced and AI-generated stems. Building on recent work showing that AI music detectors can identify decoder-related artifacts in fully generated music, we investigate whether such artifacts remain detectable at the stem level after mixing. Using MUSDB18-HQ database in a two-stem vocals + accompaniment setting, we simulate hybrid mixtures by autoencoding individual stems with a neural codec. We compare two strategies combining AI-generated mix detection and source separation. A naive sequential pipeline, where source separation is followed by detection on separated sources, confirms that artifacts associated with an AI-generated stem are not reliably recovered by generic source separation systems. We therefore propose a parallel architecture in which source separation is only used to estimate source-relative energy within the mixture. We then train simple stem-specific binary classifiers that take as input the generated mix prediction together with the relative energy of the target stem on short audio chunks. Averaging chunk-level predictions yields encouraging track-level results, highlighting the potential of such approaches for detecting AI-generated stems in hybrid music.

cs.SD↗

arXiv2026

Solitary waves of moderate amplitude and dispersive radiation in the Serre equations: the extended KdV-Whitham approximation

We consider the extended Korteweg-de Vries (eKdV) equation as a model for long moderately nonlinear surface water waves and use it to describe the evolution of initial conditions generating solitary waves with and without significant dispersive radiation, as well as cases of pure dispersive radiation without any solitary waves. In the slow time formulation for the modelled solutions this equation also generates fast propagating resonant forward radiation due to the non-convexity of its linear dispersion curve, which is not present in the direct numerical simulations of the strongly nonlinear Serre parent system (also known as the Su-Gardner and Green-Naghdi equations). We show that the extended KdV-Whitham approximation and the slow space formulation of the eKdV equation are suitable regularisations of the eKdV equation in several cases of interest. Importantly, unlike the KdV-type equations, it can be used to model waves of moderate amplitude. Numerical comparisons are made between the Serre system and several respective reduced models, where simulations are initiated with an approximate soliton solution of the eKdV equation, constructed by use of Kodama-Fokas-Liu near-identity transformation to the KdV equation, as well as a generic localised initial condition.

nlin.PS↗

arXiv2026

Scalable Music Cover Retrieval Using Lyrics-Aligned Audio Embeddings

Music Cover Retrieval, also known as Version Identification, aims to recognize distinct renditions of the same underlying musical work, a task central to catalog management, copyright enforcement, and music retrieval. State-of-the-art approaches have largely focused on harmonic and melodic features, employing increasingly complex audio pipelines designed to be invariant to musical attributes that often vary widely across covers. While effective, these methods demand substantial training time and computational resources. By contrast, lyrics constitute a strong invariant across covers, though their use has been limited by the difficulty of extracting them accurately and efficiently from polyphonic audio. Early methods relied on simple frameworks that limited downstream performance, while more recent systems deliver stronger results but require large models integrated within complex multimodal architectures. We introduce LIVI (Lyrics-Informed Version Identification), an approach that seeks to balance retrieval accuracy with computational efficiency. First, LIVI leverages supervision from state-of-the-art transcription and text embedding models during training to achieve retrieval accuracy on par with--or superior to--harmonic-based systems. Second, LIVI remains lightweight and efficient by removing the transcription step at inference, challenging the dominance of complexity-heavy pipelines.

cs.SD↗

arXiv2025

PeakNetFP: Peak-based Neural Audio Fingerprinting Robust to Extreme Time Stretching

This work introduces PeakNetFP, the first neural audio fingerprinting (AFP) system designed specifically around spectral peaks. This novel system is designed to leverage the sparse spectral coordinates typically computed by traditional peak-based AFP methods. PeakNetFP performs hierarchical point feature extraction techniques similar to the computer vision model PointNet++, and is trained using contrastive learning like in the state-of-the-art deep learning AFP, NeuralFP. This combination allows PeakNetFP to outperform conventional AFP systems and achieves comparable performance to NeuralFP when handling challenging time-stretched audio data. In extensive evaluation, PeakNetFP maintains a Top-1 hit rate of over 90% for stretching factors ranging from 50% to 200%. Moreover, PeakNetFP offers significant efficiency advantages: compared to NeuralFP, it has 100 times fewer parameters and uses 11 times smaller input data. These features make PeakNetFP a lightweight and efficient solution for AFP tasks where time stretching is involved. Overall, this system represents a promising direction for future AFP technologies, as it successfully merges the lightweight nature of peak-based AFP with the adaptability and pattern recognition capabilities of neural network-based approaches, paving the way for more scalable and efficient solutions in the field.

cs.SD↗

arXiv2025

Evolution of perturbed long nonlinear plane, ring and hybrid surface waves

The two-dimensional evolution of perturbed long weakly-nonlinear surface plane, ring, and hybrid waves, consisting, to leading order, of a part of a ring and two tangent plane waves, is modelled numerically within the scope of the 2D Boussinesq-Peregrine system. Numerical runs are initiated and interpreted using the reduced 2+1-dimensional cKdV-type and KPII equations. The cKdV-type equation leads to two different models, the KdV$\theta$ and cKdV equations, depending on whether we use the general or singular (i.e. the envelope of the general) solution of the associated nonlinear first-order differential equation. The KdV$\theta$ equation is also derived directly from the 2D Boussinesq-Peregrine system and used to analytically describe the intermediate 2D asymptotics of line solitons subject to sufficiently long transverse perturbations of finite strength, while the cKdV equation is used to initiate outward- and inward-propagating ring waves with localised and periodic perturbations. Both of these equations, together with the KPII equation, are used to model the evolution of hybrid waves, where we show, in particular, that large localised waves (lumps) can appear as transient (emerging and then disappearing) states in the evolution of inward-propagating waves, contributing to the possible mechanisms for the generation of rogue waves. Detailed comparisons are made between the key features of the non-stationary two-dimensional modelling and relevant predictions of the reduced equations.

physics.flu-dyn↗

arXiv2024

Essential tori in 3-manifolds not detected in any characteristic

Infinite families of 3-dimensional closed graph manifolds and closed Seifert fibered spaces are exhibited, each member of which contains an essential torus not detected by ideal points of the variety of $\text{SL}_2(\mathbb{F})$-characters over any algebraically closed field $\mathbb{F}$.

math.GT↗

arXiv2024

On good $A_1$ subgroups, Springer maps, and overgroups of distinguished unipotent elements in reductive groups

Suppose $G$ is a simple algebraic group defined over an algebraically closed field of good characteristic $p$. In 2018 Korhonen showed that if $H$ is a connected reductive subgroup of $G$ which contains a distinguished unipotent element $u$ of $G$ of order $p$, then $H$ is $G$-irreducible in the sense of Serre. We present a short and uniform proof of this result under an extra hypothesis using so-called good $A_1$ subgroups of $G$, introduced by Seitz. In the process we prove some new results about good $A_1$ subgroups of $G$ and their properties. We also formulate a counterpart of Korhonen's theorem for overgroups of $u$ which are finite groups of Lie type. Moreover, we generalize both results above by removing the restriction on the order of $u$ under a mild condition on $p$ depending on the rank of $G$, and we present an analogue of Korhonen's theorem for Lie algebras.

math.GR↗

arXiv2024

$G$-complete reducibility and saturation

Let $H \subseteq G$ be connected reductive linear algebraic groups defined over an algebraically closed field of characteristic $p> 0$. In our first main theorem we show that if a closed subgroup $K$ of $H$ is $H$-completely reducible, then it is also $G$-completely reducible in the sense of Serre, under some restrictions on $p$, generalising the known case for $G = GL(V)$. Our proof uses R.W. Richardson's notion of reductive pairs to reduce to the $GL(V)$ case. We study Serre's notion of saturation and prove that saturation behaves well with respect to products and regular subgroups. Our second main theorem shows that if $K$ is $H$-completely reducible, then the saturation of $K$ in $G$ is completely reducible in the saturation of $H$ in $G$ (which is again a connected reductive subgroup of $G$), under suitable restrictions on $p$, again generalising the known instance for $G = GL(V)$. We also study saturation of finite subgroups of Lie type in $G$. We show that saturation is compatible with standard Frobenius endomorphisms, and we use this to generalise a result due to Nori from 1987 in case $G = GL(V)$.

math.RT↗

arXiv2023

Music Augmentation and Denoising For Peak-Based Audio Fingerprinting

Audio fingerprinting is a well-established solution for song identification from short recording excerpts. Popular methods rely on the extraction of sparse representations, generally spectral peaks, and have proven to be accurate, fast, and scalable to large collections. However, real-world applications of audio identification often happen in noisy environments, which can cause these systems to fail. In this work, we tackle this problem by introducing and releasing a new audio augmentation pipeline that adds noise to music snippets in a realistic way, by stochastically mimicking real-world scenarios. We then propose and release a deep learning model that removes noisy components from spectrograms in order to improve peak-based fingerprinting systems' accuracy. We show that the addition of our model improves the identification performance of commonly used audio fingerprinting systems, even under noisy conditions.

cs.SD↗

arXiv2023

Edifices: Building-like spaces associated to linear algebraic groups

Given a semisimple linear algebraic $k$-group $G$, one has a spherical building $\Delta_G$, and one can interpret the geometric realisation $\Delta_G(\mathbb R)$ of $\Delta_G$ in terms of cocharacters of $G$. The aim of this paper is to extend this construction to the case when $G$ is an arbitrary connected linear algebraic group; we call the resulting object $\Delta_G(\mathbb R)$ the spherical edifice of $G$. We also define an object $V_G(\mathbb R)$ which is an analogue of the vector building for a semisimple group; we call $V_G(\mathbb R)$ the vector edifice. The notions of a linear map and an isomorphism between edifices are introduced; we construct some linear maps arising from natural group-theoretic operations. We also devise a family of metrics on $V_G(\mathbb R)$ and show they are all bi-Lipschitz equivalent to each other; with this extra structure, $V_G(\mathbb R)$ becomes a complete metric space. Finally, we present some motivation in terms of geometric invariant theory and variations on the Tits Centre Conjecture.

math.GR↗

arXiv2023

Complete reducibility for Lie subalgebras and semisimplification

Let $G$ be a connected reductive linear algebraic group over a field $k$. Using ideas from geometric invariant theory, we study the notion of $G$-complete reducibility over $k$ for a Lie subalgebra $\mathfrak h$ of the Lie algebra $\mathfrak g = Lie(G)$ of $G$ and prove some results when $\mathfrak h$ is solvable or $char(k)= 0$. We introduce the concept of a $k$-semisimplification $\mathfrak h'$ of $\mathfrak h$; $\mathfrak h'$ is a Lie subalgebra of $\mathfrak g$ associated to $\mathfrak h$ which is $G$-completely reducible over $k$. This is the Lie algebra counterpart of the analogous notion for subgroups studied earlier by the first, third and fourth authors. As in the subgroup case, we show that $\mathfrak h'$ is unique up to $Ad(G(k))$-conjugacy in $\mathfrak g$. Moreover, we prove that the two concepts are compatible: for $H$ a closed subgroup of $G$ and $H'$ a $k$-semisimplification of $H$, the Lie algebra $Lie(H')$ is a $k$-semisimplification of $Lie(H)$.

math.GR↗

arXiv2022

Powers of commutators in linear algebraic groups

Let ${\mathscr G}$ be a linear algebraic group over $k$, where $k$ is an algebraically closed field, a pseudo-finite field or the valuation ring of a nonarchimedean local field. Let $G= {\mathscr G}(k)$. We prove that if $\gamma, \delta\in G$ such that $\gamma$ is a commutator and $\langle \delta\rangle= \langle \gamma\rangle$ then $\delta$ is a commutator. This generalises a result of Honda for finite groups. Our proof uses the Lefschetz Principle from first-order model theory.

math.GR↗

arXiv2022

Algebraic groups and $G$-complete reducibility: a geometric approach

The notion of a \emph{$G$-completely reducible} subgroup is important in the study of algebraic groups and their subgroup structure. It generalizes the usual idea of complete reducibility from representation theory: a subgroup $H$ of a general linear group $G= {\rm GL}_n(k)$ is $G$-completely reducible if and only if the inclusion map $i\colon H\rightarrow {\rm GL}_n(k)$ is a completely reducible representation of $H$. In these notes I give an introduction to the theory of complete reducibility and its applications, and explain an approach to the subject using geometric invariant theory.

math.GR↗

arXiv2020

Semisimplification for Subgroups of Reductive Algebraic Groups

Let $G$ be a reductive algebraic group---possibly non-connected---over a field $k$ and let $H$ be a subgroup of $G$. If $G= GL_n$ then there is a degeneration process for obtaining from $H$ a completely reducible subgroup $H'$ of $G$; one takes a limit of $H$ along a cocharacter of $G$ in an appropriate sense. We generalise this idea to arbitrary reductive $G$ using the notion of $G$-complete reducibility and results from geometric invariant theory over non-algebraically closed fields due to the authors and Herpel. Our construction produces a $G$-completely reducible subgroup $H'$ of $G$, unique up to $G(k)$-conjugacy, which we call a $k$-semisimplification of $H$. This gives a single unifying construction which extends various special cases in the literature (in particular, it agrees with the usual notion for $G= GL_n$ and with Serre's "$G$-analogue" of semisimplification for subgroups of $G(k)$). We also show that under some extra hypotheses, one can pick $H'$ in a more canonical way using the Tits Centre Conjecture for spherical buildings and/or the theory of optimal destabilising cocharacters introduced by Hesselink, Kempf and Rousseau.

math.GR↗

arXiv2019

Rigid representations of triangle groups

We prove a generalization of a conjecture of C. Marion on generation properties of finite groups of Lie type, by considering geometric properties of an appropriate representation variety and associated tangent spaces.

math.GR↗

arXiv2018

A proof of the first Kac-Weisfeiler conjecture in large characteristics

In 1971, Kac and Weisfeiler made two influential conjectures describing the dimensions of simple modules of a restricted Lie algebra $\mathfrak{g}$. The first predicts the maximal dimension of simple $\mathfrak{g}$-modules and in this paper we apply the Lefschetz principle and classical techniques from Lie theory to prove this conjecture for all restricted Lie subalgebras of $\mathfrak{gl}_n(k)$ whenever $k$ is an algebraically closed field of characteristic $p \gg n$. As a consequence we deduce that the conjecture holds for the the Lie algebra of a group scheme when specialised to an algebraically closed field of almost any characteristic. In the appendix to this paper, written by Akaki Tikaradze, a short proof of the first Kac--Weisfeiler conjecture is given for the Lie algebra of group scheme over a finitely generated ring $R \subseteq \mathbb{C}$, after base change to a field of large positive characteristic.

math.RT↗

arXiv2018

Smoothness of stabilisers in generic characteristic

Let $R$ be a commutative unital ring. Given a finitely presented affine $R$-group scheme $G$ acting on a separated scheme $X$ of finite type over $R$, we show that there is a prime $p_0$ such that for any $R$-algebra $k$ which is an algebraically closed field of characteristic $p\geq p_0$, the centraliser in $G_k$ of any closed subscheme of $X_k$ is smooth. When $X$ is not necessarily separated we show similarly that for any closed subscheme $Y \subseteq X$ there is a $p_1$ depending on $Y$ such that when $k$ has characteristic $p \geq p_1$ the normaliser of $Y$ in $G_k$ is smooth. We prove these results using the Lefschetz principle together with careful application of Gr\"obner basis techniques, and using a suitable notion of the complexity of an action. We apply our results to demonstrate that the Kostant-Kirillov-Souriau theorem holds for Lie algebras of algebraic groups in large positive characteristics. In particular, every such Lie algebra decomposes as a disjoint union of symplectic varieties, each of which is a coadjoint orbit.

math.GR↗

arXiv2017

Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System

We formally verify a hybrid control law designed to perform a station keeping maneuver for a planar vehicle. Such maneuver requires that the vehicle reaches a neighborhood of its station in finite time and remains in it while waiting for further instructions. We model the dynamics as well as the control law as a hybrid program and formally verify both the reachability and safety properties involved. We highlight in particular the automated generation of invariant regions which turns out to be crucial in performing such verification. We use the theorem prover Keymaera X to discharge some of the generated proof obligations.

eess.SY↗