Corners can be identified by a drum's sound spectrum.
problem Determining the presence of corners in a drum's shape from its sound.
method Proving spectral invariance of corners in domains with Lipschitz, piecewise smooth boundaries.
result Corners are uniquely determined by a drum's spectrum among domains with fixed genus.
New method reveals corners of drum shapes.
problem Determining the shape of drum corners from its sound.
method Locality principle and calculations of heat kernels.
result Corners are spectral invariants of the Laplacian.
Inverse Drum Machine separates drum mixes using transcription and synthesis.
problem Separating individual drum tracks from mixed recordings.
method Analysis-by-synthesis framework combining deep learning and automatic transcription.
result Separation quality comparable to supervised methods requiring isolated stems.
New formula calculates volumes of ideal hyperbolic drums.
problem Computing volumes of ideal hyperbolic drums.
method Proved a volume formula for arbitrary ideal hyperbolic antiprisms (drums).
result Volume formula for ideal hyperbolic drums.
DRUM discovers interpretable rules from knowledge graphs for unseen entities.
problem Inductive link prediction on unseen entities and lack of interpretability.
method Differentiable approach using bidirectional RNNs for low-rank tensor approximation.
result DRUM outperforms existing methods in inductive link prediction.
DeepDrummer generates drum loops with human preferences via active learning.
problem Creating drum loops efficiently with user preferences.
method Active learning with a deep neural network classifier.
result System converges to user preferences after few interactions.
DRUM transfers cardiac arrest models across registries with missing covariates.
problem Clinical prediction models fail when key training covariates are unavailable at deployment.
method DRUM transfers models to target populations with structurally missing covariates, optimizing worst-case predictive performance over unknown target distributions.
result DRUM yields better-calibrated predictions and improved clinical classification performance across sites.
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…
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. …
Generalizes complex manifolds to manifolds with corners and generalized corners.
problem Tackles the extension of complex structures to manifolds with corners and generalized corners.
method Uses complex structures on the b-tangent bundle and proves a formal Newlander-Nirenberg type theorem.
result Proves that along each corner stratum, the b-complex structure agrees with a standard model to infinite order.
In conventional Differential Geometry one studies manifolds, locally modelled on Rn, manifolds with boundary, locally modelled on [0,∞)×Rn−1, and manifolds with corners, locally modelled on [0,∞)k×Rn−k. They form categories ${\bf Man}\subset{\bf Man^b}\sub…
Proves spacetime positive mass theorem with corners.
problem Proving a positive mass theorem for spacetime with corners.
method Deformation theorem with corner conditions, asymptotically flat initial data.
result Exterior end satisfies E≥∣P∣ in every dimension n≥3. Bordered Floer homology assigns invariants to 3-manifolds with boundary, such that the Heegaard Floer homology of a closed 3-manifold, split into two pieces, can be recovered as a tensor product of the bordered invariants of the pieces. We construct cornered Floer homology invariants of 3-manifolds with codimension-2 c…
Manifolds with boundary and with corners form categories Man⊂Manb⊂Manc. A manifold with corners X has two notions of tangent bundle: the tangent bundle TX, and the b-tangent bundle bTX. The usual definition of smooth structure uses TX, as f:X→R is defined to be …
New curvature measures for 4D manifolds with corners defined and related to Gauss-Bonnet.
problem Defining curvature measures for 4D manifolds with corners.
method Defined two new extrinsic curvature quantities, one conformal invariant, and a new conformally invariant operator.
result Gauss-Bonnet theorem reformulated in terms of new curvature measures.
Defines products for fibered corners manifolds, generalizing resolutions.
problem Resolving fibered corners manifolds.
method Introduces a category of fibered corners manifolds with products and transverse fiber products, defining the 'ordered product' for wedge metrics.
result The 'ordered product' is a natural product for wedge metrics.
The study defines differential forms and currents on orbifolds with corners.
problem Defining differential forms and currents on orbifolds with corners.
method Using the formalism of étale proper groupoids with corners, the authors provide constructions and proofs without orbifold charts.
result The Fréchet space of differential forms and the dual space of currents are independent of the chosen groupoid representation.
Extends 4D cornered skein theory to surfaces, proving gluing formulas.
problem Formulating gluing formulas for 4-manifolds with corners and boundaries.
method Develops a categorical framework and introduces bicategories for closed surfaces.
result Proves gluing formulas for categories associated with 3-manifolds with boundary.
Solves relative isoperimetric problem on polygonal domains, focusing on corners.
problem Relative isoperimetric problem on polygonal domains in R2. method Developed techniques for polygonal domains, with special attention to corners.
result Solved the relative isoperimetric problem for a square with a square corner removed.
Paper proves corner connection tiles can represent knots with fewer tiles.
problem Finding the minimum number of tiles for knot representation.
method Developed corner connection tiles and proved their efficiency.
result Corner connection tiles can represent knots with fewer tiles than traditional tiles.
Inverse spectral theory reveals shapes from sound.
problem Can the shape of a drum be determined by its sound?
method Inverse isospectral techniques applied to specific shapes.
result The regular n-gon can be uniquely determined by its eigenvalues.
Fourth-order problem on half-ball with corner behavior.
problem Fourth-order problem with corner behavior on half-ball.
method Conformal mapping to isolate corner effect.
result Gauss-Bonnet formula simplifies to constant term at corner.
Extends algebraic geometry to include spaces with corners.
problem Generalizing manifolds with corners.
method Defines and studies C∞-rings and schemes with corners. result New categories of C∞-rings and schemes with corners. Extends corner structure study to general case, constructs normal Trans-Sasakian structures.
problem Extending corner structure study to general case without conditions.
method Extends corner structure to general case, constructs Trans-Sasakian structures from non-normal corner structures.
result Constructs normal Trans-Sasakian structures from non-normal corner structures.
We introduce the notions of the caustic-equivalence and the weak caustic-equivalence relations of reticular Lagrangian maps in order to give a generic classification of caustics on a corner. We give the figures of all generic caustics on a corner in a smooth manifold of dimension 2 and 3.
We construct a smooth Lie group structure on the group of real analytic diffeomorphisms of a compact analytic manifold with corners. This generalises the known analogous results in the situation where the real analytic manifold has no corners. Additionally our approach uses a different construction.
The paper solves obstructions to the Fredholm perturbation property for manifolds with corners.
problem Obstructions to the Fredholm perturbation property for compact connected manifolds with corners.
method Introduces a topological space whose singular cohomology is canonically isomorphic to conormal homology and whose K-theory is naturally isomorphic to the K-theory groups of the algebra K_b(X).
result Provides a rational isomorphism between K-theory groups and periodic conormal homology groups, solving obstructions to the Fredholm perturbation property.
Currents with corners help count triangulations on surfaces.
problem Counting triangulations on surfaces with weighted vertices.
method Introduced currents with corners, studied their properties, and applied them to triangulation counting.
result The number of triangulations grows polynomially of degree 6g-6.
This paper considers asymptotically hyperbolic manifolds with a finite boundary intersecting the usual infinite boundary -- cornered asymptotically hyperbolic manifolds -- and proves a theorem of Cartan-Hadamard type near infinity for the normal exponential map on the finite boundary. As a main application, a normal fo…
New tile types for knots and links reduce complexity.
problem Determining the minimum number of tiles needed for knot representations.
method Introduced new tile types and analyzed their impact on knot complexity.
result Corner tile number lies between tile number and 3 times tile number.
New heat trace coefficients reveal curvature effects in polygonal domains.
problem Understanding heat trace behavior in polygonal domains with curved corners.
method Local heat trace expansion through order t1/2, analyzing both Dirichlet and Neumann boundary conditions. result Sharp sign law for the Dirichlet angular factor of the first corner-curvature heat invariant.
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…
We study metrics with positive scalar curvatures in domains with corners and suggest possible extensions of the concept of positive scalar curvature to singular spaces.
In this paper we present another notion of a smooth manifold with corners and relate it to the commonly used concept in the literature. Afterwards we introduce complex manifolds with corners and show that if M is a compact (respectively complex) manifold with corners and K is a smooth (respectively complex) Lie gro…
Study uses deep reinforcement learning for real-time control of nuclear microreactors, achieving similar or superior performance to traditional PID controllers.
problem Minimizing operating costs of nuclear microreactors through autonomous control, especially in load-following scenarios.
method Application of deep reinforcement learning (RL) for real-time drum control in microreactors, using point kinetics model with thermal and xenon feedback.
result Deep reinforcement learning controllers, including single- and multi-agent RL frameworks, can achieve similar or superior load-following performance to traditional PID control across various scenarios.
Proves Gromov's conjecture and answers Stoker's polyhedron conjecture.
problem Gromov's flat corner domination conjecture and Stoker's conjecture for convex polyhedra.
method Same techniques applied to prove conjectures.
result Proves Gromov's conjecture and answers Stoker's polyhedron conjecture.
John Conway created pairs of domains that sound the same for a special kind of music.
problem Creating domains that sound the same for a special kind of music.
method Using his theory of quilts, Conway developed pairs of glueing diagrams.
result Conway's pairs of domains are isospectral for the Laplace operator.
M-theory can be defined on closed manifolds as well as on manifolds with boundary. As an extension, we show that manifolds with corners appear naturally in M-theory. We illustrate this with four situations: The lift to bounding twelve dimensions of M-theory on Anti de Sitter spaces, ten-dimensional heterotic string the…
This paper makes a formal study of asymptotically hyperbolic Einstein metrics given, as conformal infinity, a conformal manifold with boundary. The space on which such an Einstein metric exists thus has a finite boundary in addition to the usual infinite boundary and a corner where the two meet. On the finite boundary …
Positive mass theorem for non-smooth metrics on flat manifolds with corners.
problem Proving a positive mass theorem for non-smooth metrics on asymptotically flat manifolds with non-compact boundary.
method Proves a positive mass theorem for metrics that are only continuous across a compact hypersurface.
result Obtains a positive mass theorem on manifolds with non-compact corners.
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…
For every connected manifold with corners we use a homology theory called conormal homology, defined in terms of faces and incidences and whose cycles correspond geometrically to corner's cycles. Its Euler characteristic (over the rationals, dimension of the total even space minus the dimension of the total odd space),…
We introduce the notion of reticular Legendrian unfoldings in order to investigate stabilities of bifurcations of wavefronts generated by a hypersurface germ with a boundary, a corner, or an r-corner in a smooth n dimensional manifold. We define several stabilities of reticular Legendrian unfoldings and prove that they…
The study classifies graphs on surfaces with positive curvature properties.
problem Classifying graphs on surfaces with specific curvature properties.
method Using medial graphs and classification techniques.
result Complete classification of graphs on surfaces with positive Forman curvature and corner curvature.
The paper constructs submanifolds with corners in Delzant polytopes from affine subspaces.
problem Understanding submanifolds with corners in Delzant polytopes.
method Constructing submanifolds with corners in Delzant polytopes from affine subspaces.
result Conditions for submanifolds with corners are equivalent to those for torus-equivariantly embedded toric manifolds.
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…
Manifolds without boundary, and manifolds with boundary, are universally known in Differential Geometry, but manifolds with corners (locally modelled on [0,\infty)^k x R^{n-k}) have received comparatively little attention. The basic definitions in the subject are not agreed upon, there are several inequivalent definiti…
New framework for logarithmically divergent integrals on manifolds with corners.
problem Logarithmically divergent integrals on manifolds with corners.
method Introduces new geometric framework and morphisms in logarithmic geometry.
result Functorial characterization of regularized integration.