pith. sign in

arxiv: 1906.12227 · v1 · pith:WRYSZ7BDnew · submitted 2019-06-28 · 📡 eess.SP · eess.AS

An Image Source Method Framework for Arbitrary Reflecting Boundaries

Pierre Quinton , Pablo Mart\'inez-Nuevo , Martin B. M{\o}ller This is my paper

Pith reviewed 2026-05-25 13:33 UTC · model grok-4.3

classification 📡 eess.SP eess.AS
keywords image source methodroom impulse responsereflection pathsvirtual sourcesarbitrary boundariesacoustic modelingboundary absorption
0
0 comments X

The pith

Reflection paths let the image source method handle arbitrary curved or open boundaries by turning virtual sources into a measure.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a generalization of the image source method that works for reflecting boundaries of any shape, including curves and openings. Reflection paths are used to define which virtual sources are valid and visible, determining their distribution for any source and receiver pair. The room impulse response then takes the form of an integral of the excitation signal against a measure fixed by the source, receiver, and boundary geometry. This integral form incorporates absorption, source directivity, and nonspecular effects while retaining the geometric intuition of image sources.

Core claim

The room impulse response is represented as an integral involving the temporal excitation signal against a measure determined by the source and receiver locations, and the original boundary, where the measure arises from the distribution of virtual sources defined via reflection paths for arbitrary reflecting surfaces.

What carries the argument

Reflection paths, which define validity and visibility of virtual sources and thereby replace discrete image points with a general measure on the space of possible image locations.

If this is right

  • The method applies directly to curved boundaries and to boundaries that contain openings.
  • Boundary absorption and source directivity enter the integral through the same measure without changing its form.
  • Nonspecular reflections are accommodated inside the reflection-path construction.
  • The integral representation remains analytically tractable for general boundary shapes.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the measure can be evaluated in closed form for particular curved surfaces, exact impulse responses become available beyond the classical flat-wall case.
  • The framework supplies a geometric limit that could be compared with wave-based solvers to quantify when ray approximations remain accurate.
  • Dynamic or time-varying boundaries could be treated by allowing the reflection-path measure to evolve with time.

Load-bearing premise

Reflection paths, validity, and visibility can be defined rigorously for any boundary shape so the resulting virtual-source structure is always captured exactly by the stated integral measure.

What would settle it

For a curved boundary such as a circular cylinder, compute the measure explicitly and check whether the resulting impulse response matches independent numerical simulation or measurement at multiple source-receiver pairs without added correction terms.

Figures

Figures reproduced from arXiv: 1906.12227 by Martin B. M{\o}ller, Pablo Mart\'inez-Nuevo, Pierre Quinton.

Figure 1
Figure 1. Figure 1: Example of the vector field nB for H = R2 where B consists of the solid curve and the points b2 and b3. The dashed lines represent the different lines corresponding to the interpretation of nB(b2) and nB(b3) as vectors orthonormal to the corresponding hyperplanes. Assuming the appropriate regularity conditions, nB(b1) can be chosen as a unit vector perpendicular to the tangent line of the curve at b1. In o… view at source ↗
Figure 2
Figure 2. Figure 2: An omnidirectional source is placed at u together with a solid curve B representing the boundary. The ray reflected at point v ∈ B can be explained by a virtual source located at Pv(u) as depicted in the figure. The reflection is given with respect to the vector field nB(·) which in this case assigns an outward-pointing unit vector normal to the curve at v. and simply consider a reflection path as a set of… view at source ↗
Figure 3
Figure 3. Figure 3: Illustration of two reflection paths, i.e. [PITH_FULL_IMAGE:figures/full_fig_p003_3.png] view at source ↗
Figure 5
Figure 5. Figure 5: No-sound corridor scenario described in Example 1. Any convention of [PITH_FULL_IMAGE:figures/full_fig_p004_5.png] view at source ↗
Figure 4
Figure 4. Figure 4: Example of a valid and visible reflection path [PITH_FULL_IMAGE:figures/full_fig_p004_4.png] view at source ↗
Figure 6
Figure 6. Figure 6: Illustration of a degenerate situation for a boundary [PITH_FULL_IMAGE:figures/full_fig_p006_6.png] view at source ↗
read the original abstract

We propose a theoretical framework for the image source method that generalizes to arbitrary reflecting boundaries, e.g. boundaries that are curved or even with certain openings. Furthermore, it can seamlessly incorporate boundary absorption, source directivity, and nonspecular reflections. This framework is based on the notion of reflection paths that allows the introduction of the concepts of validity and visibility of virtual sources. These definitions facilitate the determination, for a given source and receiver location, of the distribution of virtual sources that explain the boundary effects of a wide range of reflecting surfaces. The structure of the set of virtual sources is then more general than just punctual virtual sources. Due to this more diverse configuration of image sources, we represent the room impulse response as an integral involving the temporal excitation signal against a measure determined by the source and receiver locations, and the original boundary. The latter smoothly enables, in an analytically tractable manner, the incorporation of more general boundary shapes as well as directivity of sources and boundary absorption while, at the same time, maintaining the conceptual benefits of the image source method.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 0 minor

Summary. The paper proposes a theoretical framework extending the classical image source method to arbitrary reflecting boundaries (including curved or open surfaces) by defining reflection paths, introducing validity and visibility of virtual sources, and representing the room impulse response (RIR) as an integral of the excitation signal against a measure on a (possibly non-punctual) distribution of virtual sources determined by source/receiver locations and the boundary. The framework is claimed to seamlessly incorporate boundary absorption, source directivity, and nonspecular reflections while preserving the conceptual advantages of the image source method.

Significance. If the claimed integral representation can be rigorously constructed and shown to hold exactly for arbitrary boundaries without additional approximations, the work would provide a valuable conceptual generalization of the image source method, enabling analytic treatment of complex geometries and effects that are currently handled only numerically or approximately. The absence of any derivations, explicit definitions, or validation in the manuscript prevents assessment of whether this potential is realized.

major comments (3)
  1. [Abstract] Abstract, second paragraph: The central claim that reflection paths, validity, and visibility 'facilitate the determination... of the distribution of virtual sources' and yield an exact integral representation of the RIR for arbitrary (curved or open) boundaries is asserted without any mathematical definition of a reflection path on a non-planar manifold, without a proof that the resulting set is measurable, and without showing how the measure incorporates absorption/directivity. This definition is load-bearing for the entire framework.
  2. [Abstract] Abstract, third paragraph: The assertion that the more general virtual-source structure 'smoothly enables, in an analytically tractable manner, the incorporation of more general boundary shapes' is not supported by any construction or example; for curved boundaries the natural paths are geodesics satisfying the eikonal equation, yet no argument is given that the induced measure remains well-defined in the presence of caustics or shadowing.
  3. [Abstract] Abstract: No equation, theorem, or even schematic derivation is supplied showing how the RIR integral follows from the path definitions, making it impossible to verify whether the representation holds exactly or requires hidden restrictions on boundary topology or curvature.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the detailed comments. We agree that the abstract makes strong claims without sufficient supporting definitions, proofs, or derivations visible in the manuscript. We will revise the manuscript to incorporate explicit mathematical content addressing each point.

read point-by-point responses

  1. Referee: [Abstract] Abstract, second paragraph: The central claim that reflection paths, validity, and visibility 'facilitate the determination... of the distribution of virtual sources' and yield an exact integral representation of the RIR for arbitrary (curved or open) boundaries is asserted without any mathematical definition of a reflection path on a non-planar manifold, without a proof that the resulting set is measurable, and without showing how the measure incorporates absorption/directivity. This definition is load-bearing for the entire framework.

    Authors: We agree the abstract is insufficiently supported. In the revised manuscript we will add: (i) an explicit definition of reflection paths on non-planar manifolds, (ii) a proof that the resulting set of virtual sources is measurable, and (iii) the explicit construction showing how the measure encodes absorption and directivity. revision: yes

  2. Referee: [Abstract] Abstract, third paragraph: The assertion that the more general virtual-source structure 'smoothly enables, in an analytically tractable manner, the incorporation of more general boundary shapes' is not supported by any construction or example; for curved boundaries the natural paths are geodesics satisfying the eikonal equation, yet no argument is given that the induced measure remains well-defined in the presence of caustics or shadowing.

    Authors: We agree no construction or handling of caustics/shadowing appears. The revision will include a brief argument that the induced measure on virtual sources remains well-defined for geodesic paths on curved boundaries, addressing the eikonal equation, caustics, and shadowing effects. revision: yes

  3. Referee: [Abstract] Abstract: No equation, theorem, or even schematic derivation is supplied showing how the RIR integral follows from the path definitions, making it impossible to verify whether the representation holds exactly or requires hidden restrictions on boundary topology or curvature.

    Authors: We agree that no derivation is supplied. The revised manuscript will contain a schematic derivation (or theorem statement) explicitly linking the reflection-path definitions to the integral representation of the RIR, together with any necessary restrictions on boundary topology or curvature. revision: yes

Circularity Check

0 steps flagged

No circularity; new definitional framework with no reduction to inputs

full rationale

The paper proposes an original theoretical framework extending the image source method via newly introduced notions of reflection paths, validity, and visibility of virtual sources, leading to a measure-based integral representation of the room impulse response. No equations, fitted parameters, or predictions are shown that reduce the claimed result to a prior input or self-referential quantity by construction. The abstract and description present the integral form as enabled by the new definitions rather than derived from them tautologically, with no load-bearing self-citations or ansatzes imported from prior work by the same authors. The derivation chain is therefore self-contained as a constructive proposal.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The framework rests on the existence of well-defined reflection paths and the measurability of the virtual-source distribution for arbitrary boundaries; no free parameters or external data fits are mentioned.

axioms (1)
  • domain assumption Wave propagation and reflection can be modeled via geometric paths that remain valid for curved or open boundaries.
    Invoked when extending ISM beyond planar walls.
invented entities (2)
  • reflection paths no independent evidence
    purpose: Track sequences of reflections for non-planar boundaries
    Core new construct enabling generalization
  • validity and visibility of virtual sources no independent evidence
    purpose: Determine which virtual sources contribute to the response
    New selection criteria for the distribution

pith-pipeline@v0.9.0 · 5724 in / 1252 out tokens · 37897 ms · 2026-05-25T13:33:34.697745+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

  1. [1]

    P. M. Morse and K. U. Ingard, Theoretical acoustics . Princeton university press, 1986

    work page 1986

  2. [2]

    Kuttruff, Room acoustics

    H. Kuttruff, Room acoustics. Crc Press, 2016

    work page 2016

  3. [3]

    Jacobsen and P

    F. Jacobsen and P. M. Juhl, Fundamentals of general linear acoustics . John Wiley & Sons, 2013

    work page 2013

  4. [4]

    Image method for efficiently simulating small-room acoustics,

    J. B. Allen and D. A. Berkley, “Image method for efficiently simulating small-room acoustics,” The Journal of the Acoustical Society of America, vol. 65, no. 4, pp. 943–950, 1979

    work page 1979

  5. [5]

    Overview of geometrical room acoustic modeling techniques,

    L. Savioja and U. P. Svensson, “Overview of geometrical room acoustic modeling techniques,” The Journal of the Acoustical Society of America, vol. 138, no. 2, pp. 708–730, 2015

    work page 2015

  6. [6]

    F. L. Pedrotti, L. M. Pedrotti, and L. S. Pedrotti, Introduction to optics, 3rd ed. Cambridge University Press, 2017

    work page 2017

  7. [7]

    Sommerfeld, Partial differential equations in physics

    A. Sommerfeld, Partial differential equations in physics . Academic Press, 1949, vol. 1

    work page 1949

  8. [8]

    The plenacoustic function and its sampling,

    T. Ajdler, L. Sbaiz, and M. Vetterli, “The plenacoustic function and its sampling,” IEEE transactions on Signal Processing , vol. 54, no. 10, pp. 3790–3804, 2006

    work page 2006

  9. [9]

    Room reverberation reconstruc- tion: Interpolation of the early part using compressed sensing,

    R. Mignot, L. Daudet, and F. Ollivier, “Room reverberation reconstruc- tion: Interpolation of the early part using compressed sensing,” IEEE Transactions on Audio, Speech, and Language Processing , vol. 21, no. 11, pp. 2301–2312, 2013

    work page 2013

  10. [10]

    Can one hear the shape of a room: The 2-d polygonal case,

    I. Dokmani ´c, Y . M. Lu, and M. Vetterli, “Can one hear the shape of a room: The 2-d polygonal case,” in Acoustics, Speech and Signal Processing (ICASSP), 2011 IEEE International Conference on . IEEE, 2011, pp. 321–324

    work page 2011

  11. [11]

    Geometrically con- strained room modeling with compact microphone arrays,

    F. Ribeiro, D. Florencio, D. Ba, and C. Zhang, “Geometrically con- strained room modeling with compact microphone arrays,” IEEE Trans- actions on Audio, Speech, and Language Processing , vol. 20, no. 5, pp. 1449–1460, 2011

    work page 2011

  12. [12]

    The scope of the image method,

    J. B. Keller, “The scope of the image method,” Communications on pure and applied mathematics , vol. 6, no. 4, pp. 505–512, 1953

    work page 1953

  13. [13]

    Extension of the image model to arbitrary polyhedra,

    J. Borish, “Extension of the image model to arbitrary polyhedra,” The Journal of the Acoustical Society of America , vol. 75, no. 6, pp. 1827– 1836, 1984

    work page 1984

  14. [14]

    D. W. Stroock, Essentials of integration theory for analysis . Springer Science & Business Media, 2011, vol. 262

    work page 2011

  15. [15]

    E. G. Williams, Fourier acoustics: sound radiation and nearfield acous- tical holography. Academic press, 1999

    work page 1999

  16. [16]

    E. M. Stein and G. Weiss, Introduction to Fourier analysis on Euclidean spaces. Princeton, New Jersey: Princeton University Press, 1971

    work page 1971

  17. [17]

    Spherical harmonics based generalized image source method for simulating room acoustics,

    P. N. Samarasinghe, T. D. Abhayapala, Y . Lu, H. Chen, and G. Dick- ins, “Spherical harmonics based generalized image source method for simulating room acoustics,” The Journal of the Acoustical Society of America, vol. 144, no. 3, pp. 1381–1391, 2018

    work page 2018

  18. [18]

    Generalized image source method as a region-to-region transfer function,

    T. Abhayapala and P. Samarasinghe, “Generalized image source method as a region-to-region transfer function,” in Audio Engineering Society Convention 146. Audio Engineering Society, 2019

    work page 2019

  19. [19]

    V . I. Bogachev, Weak Convergence of Measures , ser. Mathematical Surveys and Monographs. American Mathematical Society, Providence, Rhode Island, 2018, vol. 234

    work page 2018

  20. [20]

    T. M. Apostol, Mathematical Analysis. Addison-Wesley, 1974

    work page 1974

  21. [21]

    Folland, Real Analysis: Modern Techniques and Applications, 2nd ed

    G. Folland, Real Analysis: Modern Techniques and Applications, 2nd ed. John Wiley & Sons, Inc., 1999

    work page 1999