Paper develops a method to learn language and acoustic models from unsegmented speech.
problem Learning language and acoustic models from continuous speech signals.
method Nonparametric Bayesian double articulation analyzer (NPB-DAA) using a hierarchical Dirichlet process hidden language model (HDP-HLM).
result NPB-DAA outperforms conventional methods in word acquisition and phoneme categorization tasks.
The paper examines various RL algorithms to address overestimation and noise issues.
problem Overestimation and noise in deep reinforcement learning algorithms.
method Analysis of DQN, double DQN, DDPG, TD3, and hill climbing algorithms.
result Optimal noise settings for TD3 in specific environments.
The paper calculates topological complexity for non-tree graphs and banana graphs.
problem Determining topological complexity for non-tree graphs and banana graphs.
method Analyzes fully articulated graphs and banana graphs, completing previous results for trees.
result Shows that unordered configuration spaces can have lower topological complexity than ordered ones.
New tools for constructing fixed point sets in digital topology.
problem Constructing fixed point sets in digital topology.
method Defining excludable points and articulation points, and showing their exclusion from freezing sets.
result Excludable points and articulation points can be excluded from all freezing sets.
HOTCAKE compresses CNNs by decomposing kernels into smaller parts.
problem Compressing deep CNNs without significant accuracy loss.
method Input channel decomposition, guided Tucker rank selection, higher order Tucker decomposition, fine-tuning.
result HOTCAKE produces highly compressed CNN models with good accuracy.
A neural network learns efficient parametrizations of product shape spaces.
problem Efficiently parametrize complex shape spaces with high computational costs.
method Developed a neural network architecture that separately learns approximations for low-dimensional factors and combines them.
result Demonstrated the effectiveness of the approach on synthetic and real data.
New method synthesizes piano training data, improving transcription performance.
problem Lack of large piano datasets limits note onset transcription models.
method Synthesizes arbitrary training data, models piano dynamics, avoids disentanglement problem.
result Achieves good transcription performance on MAPS dataset and excellent generalization.
The purpose of this paper is to give a simpler proof to the problem of controllability of a Hilbert snake \cite{PeSa}. Using the action of the Möbius group of the unit sphere on the configuration space, in the context of a separable Hilbert space. We give a generalization of the Theorem of accessibility contained in \c…
PFPN uses particle filtering to improve character control in physics-based simulations.
problem Premature commitment to suboptimal actions in high-dimensional continuous control problems for articulated characters.
method Proposes a particle-based action policy using particle filtering to dynamically explore and discretize the action space.
result Demonstrates better imitation performance and robustness to external perturbations compared to Gaussian policies.
A new framework solves the causal frame problem using potential levels.
problem How to make decisions based on relevant information without considering irrelevant details.
method Introducing Potential Level (PL) and proposing a PL-based Inference Framework (PLIF).
result PLIF is consistent with causal judgment findings and makes testable predictions.
Unified framework designs LK structures using integer twists on non-manifold meshes.
problem Binary twisting limits topological possibilities and structural behaviors.
method Generalizes twist formulation to arbitrary integer labels for non-manifold meshes.
result Integer twists enable full connectivity and dynamic folding/articulation.
Motivated by the hinge structure present in protein chains and other molecular conformations, we study the singularities of certain maps associated to body-and-hinge and panel-and-hinge chains. These are sequentially articulated systems where two consecutive rigid pieces are connected by a hinge, that is, a codimension…
Study introduces a new copula-based measure for financial asset cointegration.
problem Traditional correlation coefficient's limitations in measuring financial asset relationships.
method Utilizes copulas to measure dependence among financial asset returns.
result Enhanced stability and informativeness in measuring financial asset relationships.
Develops a mathematical model for automatic differentiation in machine learning.
problem Current automatic differentiation lacks a simple mathematical model for machine learning.
method Articulates relationships between program differentiation and nonsmooth functions, provides a class of functions and nonsmooth calculus.
result Shows how nonsmooth calculus applies to stochastic approximation methods and evidence of artificial critical points.
A Klein surface is a surface with a dianalytic structure. A double of a Klein surface X is a Klein surface Y such that there is a degree two morphism (of Klein surfaces) Y→X. There are many doubles of a given Klein surface and among them the so-called natural doubles which are: the complex double, the …
Defines double principal bundles with applications in geometry.
problem Understanding structures in double vector bundles.
method Definition and analysis of double principal bundles.
result Double vector bundles can be realized as associated bundles of their frame bundles.
We define a general notion of abstract double Lie algebroid. We show (1) that the double Lie algebroid of a double Lie groupoid is a double Lie algebroid in this sense; (2) that the double cotangent constructed from Lie algebroid structures on a vector bundle A and its dual A* is a double Lie algebroid if and only if (…
The word `double' was used by Ehresmann to mean `an object X in the category of all X'. Double categories, double groupoids and double vector bundles are instances, but the notion of Lie algebroid cannot readily be doubled in the Ehresmann sense, since a Lie algebroid bracket cannot be defined diagrammatically. In this…
Generalizes Hecke algebra for double torus, linking to skein algebra.
problem Understanding algebraic structures on double torus.
method Introducing Heegaard dual operators and Dehn twists.
result Established relationship between Hecke algebra and skein algebra.
Introduces Poisson double algebroids and their relation to Lie 2-bialgebras.
problem Developing Lie theory for Poisson double structures.
method Introducing Poisson double algebroids and double Lie bialgebroids, and relating them through differentiation and integration.
result Revisits Lie 2-bialgebras using Poisson double structures.
Bi-Mamba model predicts diffusion coefficients and exponents from short data.
problem Characterizing anomalous diffusion in complex systems.
method Bidirectional state-space deep learning architecture.
result Efficient inference of diffusion coefficient and exponent from short trajectories.
Survey of global geometry for double field theory.
problem Global description of double field theory geometry.
method Review of Courant algebroids, metric algebroids, AKSZ construction, para-Hermitian geometry.
result Global description of doubled geometry and topological models.
This paper establishes an equivalence between transitive double Lie algebroids and core diagrams.
problem Understanding and characterizing transitive double Lie algebroids.
method Using core diagrams and equivalence of transitive core diagrams with transitive double Lie groupoids.
result Transitive double Lie algebroids are completely determined by their core diagrams.
New algebraic methods refine L-theory capturing more signatures and invariants.
problem Improving L-theory to capture more topological information.
method Developing double Witt groups and double L-groups at each prime ideal.
result Exact sequence relating double L-groups to classical projective L-theory.
Criteria found for knots not determined by their double branched covers.
problem Determining knots from their double branched covers.
method Criteria based on tunnel number one knots and their double branched covers.
result Provided criteria for knots not determined by their double branched covers.
We define an abstract notion of double Lie algebroid, which includes as particular cases: (1) the double Lie algebroid of a double Lie groupoid in the sense of the author, such as the iterated tangent bundle of an ordinary manifold, and various iterated tangent/cotangent constructions in symplectic and Poisson geometry…
For a m-tuple a=(a_1,...,a_m) of positive real numbers, the robot arm of type a in R^d is the map f^a:(S^{d-1})^m -> R^d defined by f^a(z_1,...,z_m) to be the sum of the a_jz_j's. Our aim is to attack the inverse problem via the horizontal liftings for the distribution Delta^a orthogonal to the fibers of f^a. One shows…
Paper generalizes Hamiltonian mechanics using line bundles.
problem Mathematical foundations of measurand and units of measurement.
method Introduces line bundles over smooth manifolds as configuration spaces.
result Generalization successfully incorporates physical dimension and units.
A theory of double affine and special double affine bundles, i.e. differential manifolds with two compatible (special) affine bundle structures, is developed as an affine counterpart of the theory of double vector bundles. The motivation and basic examples come from Analytical Mechanics, where double affine bundles hav…
Existence of double bubbles with high constant mean curvatures in Riemannian manifolds.
problem Existence of double bubbles with high constant mean curvatures in Riemannian manifolds.
method Perturbations of geodesic standard double bubbles centered at critical points of the ambient scalar curvature and aligned along eigen-vectors of the ambient Ricci tensor, with general multiplicity results via Lusternik-Schnirelman theory.
result Existence of double bubbles with high constant mean curvatures in Riemannian manifolds.
We show that if K is any knot whose Ozsvath-Szabo concordance invariant tau(K) is positive, the all-positive Whitehead double of any iterated Bing double of K is topologically but not smoothly slice. We also show that the all-positive Whitehead double of any iterated Bing double of the Hopf link (e.g., the all-positive…
For compact real manifolds, a new double conformal invariant is constructed using the Wodzicki residue and the d operator in the framework of Connes. In the flat case, we compute this double conformal invariant, and in some special cases, we also compute this double conformal invariants. For complex manifolds, a new …
We complete the construction of the double Lie algebroid of a double Lie groupoid begun in the first paper of this title. We show that the Lie algebroid structure of an LA--groupoid may be prolonged to the Lie algebroid of its Lie groupoid structure; in the case of a double groupoid this prolonged structure for either …
LA-Courant algebroids link double Lie bialgebroids via Manin triples.
problem Establishing a mathematical framework for double Lie bialgebroids.
method Verification of Manin triple framework for double Lie bialgebroids using LA-Courant algebroids.
result LA-Courant algebroids provide a correspondence with double Lie bialgebroids.
Study on Whitehead doubles and their sliceness properties.
problem Understanding sliceness of Whitehead doubles of knots.
method Survey of techniques to obstruct sliceness and improve bounds on non-orientable genus.
result Improved bounds on non-orientable 4 genus of Whitehead doubles and genus 1 non-orientable cobordisms to cable knots.
Double-well transitions are stiffer than minimal surfaces.
problem Rigidity of double-well phase transitions compared to minimal hypersurfaces.
method Comparison of rigidity properties between double-well phase transitions and minimal hypersurfaces.
result Double-well phase transitions exhibit more rigidity than minimal hypersurfaces.
Crowdsourcing discovers features adaptively, less labor than nonadaptive methods.
problem Discovering features in data sets efficiently.
method Adaptive crowdsourcing with 'two-out-of-three' similarity queries.
result Simple adaptive algorithm recovers all features with less labor.
An expanding literature articulates the view that Taylor rules are helpful in predicting exchange rates. In a changing world however, Taylor rule parameters may be subject to structural instabilities, for example during the Global Financial Crisis. This paper forecasts exchange rates using such Taylor rules with Time V…
Paper bounds double slice genus of knots.
problem Understanding knot genus complexities.
method Using Casson-Gordon invariants, the paper defines and bounds the double slice genus.
result Double slice genus can be much larger than slice genus.
In 1D, optimal double bubbles are intervals or spheres.
problem Finding the least-perimeter way to enclose two volumes with a log-convex density.
method Analyzing the density function's log-convexity to determine the optimal configuration.
result In 1D, the optimal configuration can be intervals or spheres.
Study on involution in double jet bundles.
problem Exploring involution in double jet bundles.
method Generalized double tangent bundles to double jet bundles, presented secondary vector bundle structure, proved involution.
result Existence of a natural involution on double jet bundles.
Reservoir computing predicts chaotic systems for long horizons with sparse updates.
problem Predicting chaotic systems with long horizons using limited data.
method Sparse, time-dependent data inputs into reservoir computing.
result Achieves arbitrarily long prediction horizons for chaotic systems.
Introduces double coverings of twisted links and their applications.
problem Understanding twisted links and their properties.
method Defining double coverings of twisted links and discussing their properties.
result Bourgoin's twisted knot group is understood as the virtual knot group of the double covering.
Double descent phenomenon explained in simple terms.
problem Understanding the surprising drop in test error in overparameterized models.
method Informal explanation using linear algebra and probability, visual intuition with polynomial regression, mathematical analysis with ordinary linear regression.
result Three factors create double descent: data undersampling, model size, and parameter count. Ablating any one of these factors prevents double descent.
Double twist knots verified for Riley's conjecture about signatures.
problem Verifying a conjecture about signatures of two-bridge knots.
method Using real parabolic representations for double twist knots.
result Riley's conjecture verified for double twist knots.
New double Witt group defined for linking forms.
problem Classifying knots and their linking forms.
method Defined and calculated double Witt group for Dedekind domains.
result Double Witt group of Seifert forms isomorphic to Blanchfield forms.
Characterizes a specific type of Courant algebroid with a Calabi-Yau structure.
problem Understanding specific types of Courant algebroids with Calabi-Yau structures.
method Explains how a homotopy BV algebra with certain properties characterizes these algebroids.
result A Courant algebroid with a Calabi-Yau structure is a homotopy BV algebra with specific properties.
Double Lie algebroids were discovered by Kirill Mackenzie from the study of double Lie groupoids and were defined in terms of rather complicated conditions making use of duality theory for Lie algebroids and double vector bundles. In this paper we establish a simple alternative characterization of double Lie algebroids…