-
Linear convergence of a one-cut conditional gradient method for total variation regularization
Authors:
Giacomo Cristinelli,
José A. Iglesias,
Daniel Walter
Abstract:
We introduce a fully-corrective generalized conditional gradient method for convex minimization problems involving total variation regularization on multidimensional domains. It relies on alternating between updating an active set of subsets of the spatial domain as well as of an iterate given by a conic combination of the associated characteristic functions. Different to previous approaches in th…
▽ More
We introduce a fully-corrective generalized conditional gradient method for convex minimization problems involving total variation regularization on multidimensional domains. It relies on alternating between updating an active set of subsets of the spatial domain as well as of an iterate given by a conic combination of the associated characteristic functions. Different to previous approaches in the same spirit, the computation of a new candidate set only requires the solution of one prescribed mean curvature problem instead of the resolution of a fractional minimization task analogous to finding a generalized Cheeger set. After discretization, the former can be realized by a single run of a graph cut algorithm leading to significant speedup in practice. We prove the global sublinear convergence of the resulting method, under mild assumptions, and its asymptotic linear convergence in a more restrictive two-dimensional setting which uses results of stability of surfaces of prescribed curvature under perturbations of the curvature. Finally, we numerically demonstrate this convergence behavior in some model PDE-constrained minimization problems.
△ Less
Submitted 23 April, 2025;
originally announced April 2025.
-
Monotonicity of the jump set and jump amplitudes in one-dimensional TV denoising
Authors:
Riccardo Cristoferi,
Rita Ferreira,
Irene Fonseca,
José A. Iglesias
Abstract:
We revisit the classical problem of denoising a one-dimensional scalar-valued function by minimizing the sum of an $L^2$ fidelity term and the total variation, scaled by a regularization parameter. This study focuses on proving that the jump set of solutions, corresponding to discontinuities or edges, as well as the amplitude of the jumps are nonincreasing as the regularization parameter increases…
▽ More
We revisit the classical problem of denoising a one-dimensional scalar-valued function by minimizing the sum of an $L^2$ fidelity term and the total variation, scaled by a regularization parameter. This study focuses on proving that the jump set of solutions, corresponding to discontinuities or edges, as well as the amplitude of the jumps are nonincreasing as the regularization parameter increases. Our results apply to input functions in $L^\infty$ with left and right approximate limits everywhere, extending beyond the traditional setting of functions of bounded variation. The proof leverages competitor constructions and convexity properties of the taut string problem, a well-known equivalent formulation of the TV model. Such a monotonicity property reflects that the extent to which geometric and topological features of the original signal are preserved is consistent with the amount of smoothing desired when formulating the denoising method.
△ Less
Submitted 17 February, 2025;
originally announced February 2025.
-
Nonlocal perimeters and variations: Extremality and decomposability for finite and infinite horizons
Authors:
Marcello Carioni,
Leonardo Del Grande,
José A. Iglesias,
Hidde Schönberger
Abstract:
We analyze the extremality and decomposability properties with respect to two types of nonlocal perimeters available in the literature, the Gagliardo perimeter based on the eponymous seminorms and the nonlocal distributional Caccioppoli perimeter, both with finite and infinite interaction ranges. A nonlocal notion of indecomposability associated to these perimeters is introduced, and we prove that…
▽ More
We analyze the extremality and decomposability properties with respect to two types of nonlocal perimeters available in the literature, the Gagliardo perimeter based on the eponymous seminorms and the nonlocal distributional Caccioppoli perimeter, both with finite and infinite interaction ranges. A nonlocal notion of indecomposability associated to these perimeters is introduced, and we prove that in both cases it can be characterized solely in terms of the interaction range or horizon $\varepsilon$. Utilizing this, we show that it is possible to uniquely decompose a set into its $\varepsilon$-connected components, establishing a nonlocal analogue of the decomposition theorem of Ambrosio, Caselles, Masnou and Morel. Moreover, the extreme points of the balls induced by the Gagliardo and nonlocal total variation seminorm are identified, which naturally correspond to the two nonlocal perimeters. Surprisingly, while the extreme points in the former case are normalized indicator functions of $\varepsilon$-simple sets, akin to the classical TV-ball, in the latter case they are instead obtained from a nonlocal transformation applied to the extreme points of the TV-ball. Finally, we explore the nonlocal-to-local transition via a $Γ$-limit as $\varepsilon \rightarrow 0$ for both perimeters, recovering the classical Caccioppoli perimeter.
△ Less
Submitted 7 February, 2025;
originally announced February 2025.
-
A Lipschitz spaces view of infinitely wide shallow neural networks
Authors:
Francesca Bartolucci,
Marcello Carioni,
José A. Iglesias,
Yury Korolev,
Emanuele Naldi,
Stefano Vigogna
Abstract:
We revisit the mean field parametrization of shallow neural networks, using signed measures on unbounded parameter spaces and duality pairings that take into account the regularity and growth of activation functions. This setting directly leads to the use of unbalanced Kantorovich-Rubinstein norms defined by duality with Lipschitz functions, and of spaces of measures dual to those of continuous fu…
▽ More
We revisit the mean field parametrization of shallow neural networks, using signed measures on unbounded parameter spaces and duality pairings that take into account the regularity and growth of activation functions. This setting directly leads to the use of unbalanced Kantorovich-Rubinstein norms defined by duality with Lipschitz functions, and of spaces of measures dual to those of continuous functions with controlled growth. These allow to make transparent the need for total variation and moment bounds or penalization to obtain existence of minimizers of variational formulations, under which we prove a compactness result in strong Kantorovich-Rubinstein norm, and in the absence of which we show several examples demonstrating undesirable behavior. Further, the Kantorovich-Rubinstein setting enables us to combine the advantages of a completely linear parametrization and ensuing reproducing kernel Banach space framework with optimal transport insights. We showcase this synergy with representer theorems and uniform large data limits for empirical risk minimization, and in proposed formulations for distillation and fusion applications.
△ Less
Submitted 18 October, 2024;
originally announced October 2024.
-
On extremal points for some vectorial total variation seminorms
Authors:
Kristian Bredies,
José A. Iglesias,
Daniel Walter
Abstract:
We consider the set of extremal points of the generalized unit ball induced by gradient total variation seminorms for vector-valued functions on bounded Euclidean domains. These extremal points are central to the understanding of sparse solutions and sparse optimization algorithms for variational regularization problems posed among such functions. For not fully vectorial cases in which either the…
▽ More
We consider the set of extremal points of the generalized unit ball induced by gradient total variation seminorms for vector-valued functions on bounded Euclidean domains. These extremal points are central to the understanding of sparse solutions and sparse optimization algorithms for variational regularization problems posed among such functions. For not fully vectorial cases in which either the domain or the target are one dimensional, or the sum of the total variations of each component is used, we prove that these extremals are fully characterized as in the scalar-valued case, that is, they consist of piecewise constant functions with two regions. For definitions involving more involved matrix norms and in particular spectral norms, which are of interest in image processing, we produce families of examples to show that the resulting set of extremal points is larger and includes piecewise constant functions with more than two regions. We also consider the total deformation induced by the symmetrized gradient, for which minimization with linear constraints appears in problems of determination of limit loads in a number of continuum mechanical models involving plasticity, bringing relevance to the corresponding extremal points. For this case, we show piecewise infinitesimally rigid functions with two pieces to be extremal under mild assumptions. Finally, as an example of an extremal which is not piecewise constant, we prove that unit radial vector fields are extremal for the Frobenius total variation in the plane.
△ Less
Submitted 19 April, 2024;
originally announced April 2024.
-
Second-order flows for approaching stationary points of a class of non-convex energies via convex-splitting schemes
Authors:
Haifan Chen,
Guozhi Dong,
José A. Iglesias,
Wei Liu,
Ziqing Xie
Abstract:
This paper contributes to the exploration of a recently introduced computational paradigm known as second-order flows, which are characterized by novel dissipative hyperbolic partial differential equations extending accelerated gradient flows to energy functionals defined on Sobolev spaces, and exhibiting significant performance particularly for the minimization of non-convex energies. Our approac…
▽ More
This paper contributes to the exploration of a recently introduced computational paradigm known as second-order flows, which are characterized by novel dissipative hyperbolic partial differential equations extending accelerated gradient flows to energy functionals defined on Sobolev spaces, and exhibiting significant performance particularly for the minimization of non-convex energies. Our approach hinges upon convex-splitting schemes, a tool which is not only pivotal for clarifying the well-posedness of second-order flows, but also yields a versatile array of robust numerical schemes through temporal (and spatial) discretization. We prove the convergence to stationary points of such schemes in the semi-discrete setting. Further, we establish their convergence to time-continuous solutions as the timestep tends to zero. Finally, these algorithms undergo thorough testing and validation in approaching stationary points of representative non-convex variational models in scientific computing.
△ Less
Submitted 22 January, 2025; v1 submitted 19 February, 2024;
originally announced February 2024.
-
Conditional gradients for total variation regularization with PDE constraints: a graph cuts approach
Authors:
Giacomo Cristinelli,
José A. Iglesias,
Daniel Walter
Abstract:
Total variation regularization has proven to be a valuable tool in the context of optimal control of differential equations. This is particularly attributed to the observation that TV-penalties often favor piecewise constant minimizers with well-behaved jumpsets. On the downside, their intricate properties significantly complicate every aspect of their analysis, from the derivation of first-order…
▽ More
Total variation regularization has proven to be a valuable tool in the context of optimal control of differential equations. This is particularly attributed to the observation that TV-penalties often favor piecewise constant minimizers with well-behaved jumpsets. On the downside, their intricate properties significantly complicate every aspect of their analysis, from the derivation of first-order optimality conditions to their discrete approximation and the choice of a suitable solution algorithm. In this paper, we investigate a general class of minimization problems with TV-regularization, comprising both continuous and discretized control spaces, from a convex geometry perspective. This leads to a variety of novel theoretical insights on minimization problems with total variation regularization as well as tools for their practical realization. First, by studying the extremal points of the respective total variation unit balls, we enable their efficient solution by geometry exploiting algorithms, e.g. fully-corrective generalized conditional gradient methods. We give a detailed account on the practical realization of such a method for piecewise constant finite element approximations of the control on triangulations of the spatial domain. Second, in the same setting and for suitable sequences of uniformly refined meshes, it is shown that minimizers to discretized PDE-constrained optimal control problems approximate solutions to a continuous limit problem involving an anisotropic total variation reflecting the fine-scale geometry of the mesh.
△ Less
Submitted 15 July, 2024; v1 submitted 30 October, 2023;
originally announced October 2023.
-
Dyadic partition-based training schemes for TV/TGV denoising
Authors:
Elisa Davoli,
Rita Ferreira,
Irene Fonseca,
José A. Iglesias
Abstract:
Due to their ability to handle discontinuous images while having a well-understood behavior, regularizations with total variation (TV) and total generalized variation (TGV) are some of the best-known methods in image denoising. However, like other variational models including a fidelity term, they crucially depend on the choice of their tuning parameters. A remedy is to choose these automatically…
▽ More
Due to their ability to handle discontinuous images while having a well-understood behavior, regularizations with total variation (TV) and total generalized variation (TGV) are some of the best-known methods in image denoising. However, like other variational models including a fidelity term, they crucially depend on the choice of their tuning parameters. A remedy is to choose these automatically through multilevel approaches, for example by optimizing performance on noisy/clean image pairs. In this work, we consider such methods with space-dependent parameters which are piecewise constant on dyadic grids, with the grid itself being part of the minimization. We prove existence of minimizers for fixed discontinuous parameters under mild assumptions on the data, which lead to existence of finite optimal partitions. We further establish that these assumptions are equivalent to the commonly used box constraints on the parameters. On the numerical side, we consider a simple subdivision scheme for optimal partitions built on top of any other bilevel optimization method for scalar parameters, and demonstrate its improved performance on some representative test images when compared with constant optimized parameters.
△ Less
Submitted 10 March, 2024; v1 submitted 11 May, 2023;
originally announced May 2023.
-
Extremal points and sparse optimization for generalized Kantorovich-Rubinstein norms
Authors:
Marcello Carioni,
José A. Iglesias,
Daniel Walter
Abstract:
A precise characterization of the extremal points of sublevel sets of nonsmooth penalties provides both detailed information about minimizers, and optimality conditions in general classes of minimization problems involving them. Moreover, it enables the application of accelerated generalized conditional gradient methods for their efficient solution. In this manuscript, this program is adapted to t…
▽ More
A precise characterization of the extremal points of sublevel sets of nonsmooth penalties provides both detailed information about minimizers, and optimality conditions in general classes of minimization problems involving them. Moreover, it enables the application of accelerated generalized conditional gradient methods for their efficient solution. In this manuscript, this program is adapted to the minimization of a smooth convex fidelity term which is augmented with an unbalanced transport regularization term given in the form of a generalized Kantorovich-Rubinstein norm for Radon measures. More precisely, we show that the extremal points associated to the latter are given by all Dirac delta functionals supported in the spatial domain as well as certain dipoles, i.e., pairs of Diracs with the same mass but with different signs. Subsequently, this characterization is used to derive precise first-order optimality conditions as well as an efficient solution algorithm for which linear convergence is proved under natural assumptions. This behaviour is also reflected in numerical examples for a model problem.
△ Less
Submitted 19 September, 2022;
originally announced September 2022.
-
Boundedness and unboundedness in total variation regularization
Authors:
Kristian Bredies,
José A. Iglesias,
Gwenael Mercier
Abstract:
We consider whether minimizers for total variation regularization of linear inverse problems belong to $L^\infty$ even if the measured data does not. We present a simple proof of boundedness of the minimizer for fixed regularization parameter, and derive the existence of uniform bounds for sufficiently small noise under a source condition and adequate a priori parameter choices. To show that such…
▽ More
We consider whether minimizers for total variation regularization of linear inverse problems belong to $L^\infty$ even if the measured data does not. We present a simple proof of boundedness of the minimizer for fixed regularization parameter, and derive the existence of uniform bounds for sufficiently small noise under a source condition and adequate a priori parameter choices. To show that such a result cannot be expected for every fidelity term and dimension we compute an explicit radial unbounded minimizer, which is accomplished by proving the equivalence of weighted one-dimensional denoising with a generalized taut string problem. Finally, we discuss the possibility of extending such results to related higher-order regularization functionals, obtaining a positive answer for the infimal convolution of first and second order total variation.
△ Less
Submitted 1 June, 2023; v1 submitted 7 March, 2022;
originally announced March 2022.
-
Convergence of level sets in fractional Laplacian regularization
Authors:
José A. Iglesias,
Gwenael Mercier
Abstract:
The use of the fractional Laplacian in image denoising and regularization of inverse problems has enjoyed a recent surge in popularity, since for discontinuous functions it can behave less aggressively than methods based on $H^1$ norms, while being linear and computable with fast spectral numerical methods. In this work, we examine denoising and linear inverse problems regularized with fractional…
▽ More
The use of the fractional Laplacian in image denoising and regularization of inverse problems has enjoyed a recent surge in popularity, since for discontinuous functions it can behave less aggressively than methods based on $H^1$ norms, while being linear and computable with fast spectral numerical methods. In this work, we examine denoising and linear inverse problems regularized with fractional Laplacian in the vanishing noise and regularization parameter regime. The clean data is assumed piecewise constant in the first case, and continuous and satisfying a source condition in the second. In these settings, we prove results of convergence of level set boundaries with respect to Hausdorff distance, and additionally convergence rates in the case of denoising and indicatrix clean data. The main technical tool for this purpose is a family of barriers constructed by Savin and Valdinoci for studying the fractional Allen-Cahn equation. To help put these fractional methods in context, comparisons with the total variation and classical Laplacian are provided throughout.
△ Less
Submitted 4 October, 2022; v1 submitted 31 January, 2022;
originally announced January 2022.
-
Extremal points of total generalized variation balls in 1D: characterization and applications
Authors:
José A. Iglesias,
Daniel Walter
Abstract:
The total generalized variation (TGV) is a popular regularizer in inverse problems and imaging combining discontinuous solutions and higher order smoothing. In particular, empirical observations suggest that its order two version strongly favors piecewise affine functions. In the present manuscript, we formalize this statement for the one-dimensional TGV-functional by characterizing the extremal p…
▽ More
The total generalized variation (TGV) is a popular regularizer in inverse problems and imaging combining discontinuous solutions and higher order smoothing. In particular, empirical observations suggest that its order two version strongly favors piecewise affine functions. In the present manuscript, we formalize this statement for the one-dimensional TGV-functional by characterizing the extremal points of its sublevel sets with respect to a suitable quotient space topology. These results imply that 1D TGV-regularized linear inverse problems with finite dimensional observations admit piecewise affine minimizers. As further applications of this characterization we include precise first-order necessary optimality conditions without requiring convexity of the fidelity term, and a simple solution algorithm for TGV-regularized minimization problems.
△ Less
Submitted 31 May, 2022; v1 submitted 13 December, 2021;
originally announced December 2021.
-
Cycle and Semantic Consistent Adversarial Domain Adaptation for Reducing Simulation-to-Real Domain Shift in LiDAR Bird's Eye View
Authors:
Alejandro Barrera,
Jorge Beltrán,
Carlos Guindel,
Jose Antonio Iglesias,
Fernando García
Abstract:
The performance of object detection methods based on LiDAR information is heavily impacted by the availability of training data, usually limited to certain laser devices. As a result, the use of synthetic data is becoming popular when training neural network models, as both sensor specifications and driving scenarios can be generated ad-hoc. However, bridging the gap between virtual and real envir…
▽ More
The performance of object detection methods based on LiDAR information is heavily impacted by the availability of training data, usually limited to certain laser devices. As a result, the use of synthetic data is becoming popular when training neural network models, as both sensor specifications and driving scenarios can be generated ad-hoc. However, bridging the gap between virtual and real environments is still an open challenge, as current simulators cannot completely mimic real LiDAR operation. To tackle this issue, domain adaptation strategies are usually applied, obtaining remarkable results on vehicle detection when applied to range view (RV) and bird's eye view (BEV) projections while failing for smaller road agents. In this paper, we present a BEV domain adaptation method based on CycleGAN that uses prior semantic classification in order to preserve the information of small objects of interest during the domain adaptation process. The quality of the generated BEVs has been evaluated using a state-of-the-art 3D object detection framework at KITTI 3D Object Detection Benchmark. The obtained results show the advantages of the proposed method over the existing alternatives.
△ Less
Submitted 22 April, 2021;
originally announced April 2021.
-
Weak formulations of the nonlinear Poisson-Boltzmann equation in biomolecular electrostatics
Authors:
José A. Iglesias,
Svetoslav Nakov
Abstract:
We consider the nonlinear Poisson-Boltzmann equation in the context of electrostatic models for a biological macromolecule, embedded in a bounded domain containing a solution of an arbitrary number of ionic species which is not necessarily charge neutral. The resulting semilinear elliptic equation combines several difficulties: exponential growth and lack of sign preservation in the nonlinearity a…
▽ More
We consider the nonlinear Poisson-Boltzmann equation in the context of electrostatic models for a biological macromolecule, embedded in a bounded domain containing a solution of an arbitrary number of ionic species which is not necessarily charge neutral. The resulting semilinear elliptic equation combines several difficulties: exponential growth and lack of sign preservation in the nonlinearity accounting for ion mobility, measure data arising from point charges inside the molecule, and discontinuous permittivities across the molecule boundary. Exploiting the modelling assumption that the point sources and the nonlinearity are active on disjoint parts of the domain, one can use a linear decomposition of the potential into regular and singular components. A variational argument can be used for the regular part, but the unbounded nonlinearity makes the corresponding functional not differentiable in Sobolev spaces. By proving boundedness of minimizers, these are related to standard $H^1$ weak formulations for the regular component and in the framework of Boccardo and Gallouët for the full potential. Finally, a result of uniqueness of this type of weak solutions for more general semilinear problems with measure data validates the strategy, since the different decompositions and test spaces considered must then lead to the same solution.
△ Less
Submitted 7 September, 2021; v1 submitted 11 December, 2020;
originally announced December 2020.
-
Symmetry and scaling limits for matching of implicit surfaces based on thin shell energies
Authors:
José A. Iglesias
Abstract:
In a recent paper by Iglesias, Rumpf and Scherzer (Found. Comput. Math. 18(4), 2018) a variational model for deformations matching a pair of shapes given as level set functions was proposed. Its main feature is the presence of anisotropic energies active only in a narrow band around the hypersurfaces that resemble the behavior of elastic shells. In this work we consider some extensions and further…
▽ More
In a recent paper by Iglesias, Rumpf and Scherzer (Found. Comput. Math. 18(4), 2018) a variational model for deformations matching a pair of shapes given as level set functions was proposed. Its main feature is the presence of anisotropic energies active only in a narrow band around the hypersurfaces that resemble the behavior of elastic shells. In this work we consider some extensions and further analysis of that model. First, we present a symmetric energy functional such that given two particular shapes, it assigns the same energy to any given deformation as to its inverse when the roles of the shapes are interchanged, and introduce the adequate parameter scaling to recover a surface problem when the width of the narrow band vanishes. Then, we obtain existence of minimizing deformations for the symmetric energy in classes of bi-Sobolev homeomorphisms for small enough widths, and prove a $Γ$-convergence result for the corresponding non-symmetric energies as the width tends to zero. Finally, numerical results on realistic shape matching applications demonstrating the effect of the symmetric energy are presented.
△ Less
Submitted 12 April, 2021; v1 submitted 3 September, 2020;
originally announced September 2020.
-
Convergence of level sets in total variation denoising through variational curvatures in unbounded domains
Authors:
José A. Iglesias,
Gwenael Mercier
Abstract:
We present some results of geometric convergence of level sets for solutions of total variation denoising as the regularization parameter tends to zero. The common feature among them is that they make use of explicit constructions of variational mean curvatures for general sets of finite perimeter. Consequently, no additional regularity of the level sets of the ideal data is assumed, and in partic…
▽ More
We present some results of geometric convergence of level sets for solutions of total variation denoising as the regularization parameter tends to zero. The common feature among them is that they make use of explicit constructions of variational mean curvatures for general sets of finite perimeter. Consequently, no additional regularity of the level sets of the ideal data is assumed, and in particular the subgradient of the total variation at it could be empty. In exchange, other restrictions on the data or on the noise are required. We consider two cases: characteristic functions with a parameter choice depending on the noise level, and noiseless generic data.
△ Less
Submitted 22 March, 2021; v1 submitted 28 May, 2020;
originally announced May 2020.
-
Computing the Yield Limit in Three-dimensional Flows of a Yield Stress Fluid About a Settling Particle
Authors:
José A. Iglesias,
Gwenael Mercier,
Emad Chaparian,
Ian A. Frigaard
Abstract:
Calculating the yield limit $Y_c$ (the critical ratio of the yield stress to the driving stress), of a viscoplastic fluid flow is a challenging problem, often needing iteration in the rheological parameters to approach this limit, as well as accurate computations that account properly for the yield stress and potentially adaptive meshing. For particle settling flows, in recent years calculating…
▽ More
Calculating the yield limit $Y_c$ (the critical ratio of the yield stress to the driving stress), of a viscoplastic fluid flow is a challenging problem, often needing iteration in the rheological parameters to approach this limit, as well as accurate computations that account properly for the yield stress and potentially adaptive meshing. For particle settling flows, in recent years calculating $Y_c$ has been accomplished analytically for many antiplane shear flow configurations and also computationally for many geometries, under either two dimensional (2D) or axisymmetric flow restrictions. Here we approach the problem of 3D particle settling and how to compute the yield limit directly, i.e. without iteratively changing the rheology to approach the yield limit. The presented approach develops tools from optimization theory, taking advantage of the fact that $Y_c$ is defined via a minimization problem. We recast this minimization in terms of primal and dual variational problems, develop the necessary theory and finally implement a basic but workable algorithm. We benchmark results against accurate axisymmetric flow computations for cylinders and ellipsoids, computed using adaptive meshing. We also make comparisons of accuracy in calculating $Y_c$ on comparable fixed meshes. This demonstrates the feasibility and benefits of directly computing $Y_c$ in multiple dimensions. Lastly, we present some sample computations for complex 3D particle shapes.
△ Less
Submitted 14 September, 2020; v1 submitted 13 February, 2020;
originally announced February 2020.
-
Beyond the Standard Model Physics at the HL-LHC and HE-LHC
Authors:
X. Cid Vidal,
M. D'Onofrio,
P. J. Fox,
R. Torre,
K. A. Ulmer,
A. Aboubrahim,
A. Albert,
J. Alimena,
B. C. Allanach,
C. Alpigiani,
M. Altakach,
S. Amoroso,
J. K. Anders,
J. Y. Araz,
A. Arbey,
P. Azzi,
I. Babounikau,
H. Baer,
M. J. Baker,
D. Barducci,
V. Barger,
O. Baron,
L. Barranco Navarro,
M. Battaglia,
A. Bay
, et al. (272 additional authors not shown)
Abstract:
This is the third out of five chapters of the final report [1] of the Workshop on Physics at HL-LHC, and perspectives on HE-LHC [2]. It is devoted to the study of the potential, in the search for Beyond the Standard Model (BSM) physics, of the High Luminosity (HL) phase of the LHC, defined as $3~\mathrm{ab}^{-1}$ of data taken at a centre-of-mass energy of $14~\mathrm{TeV}$, and of a possible futu…
▽ More
This is the third out of five chapters of the final report [1] of the Workshop on Physics at HL-LHC, and perspectives on HE-LHC [2]. It is devoted to the study of the potential, in the search for Beyond the Standard Model (BSM) physics, of the High Luminosity (HL) phase of the LHC, defined as $3~\mathrm{ab}^{-1}$ of data taken at a centre-of-mass energy of $14~\mathrm{TeV}$, and of a possible future upgrade, the High Energy (HE) LHC, defined as $15~\mathrm{ab}^{-1}$ of data at a centre-of-mass energy of $27~\mathrm{TeV}$. We consider a large variety of new physics models, both in a simplified model fashion and in a more model-dependent one. A long list of contributions from the theory and experimental (ATLAS, CMS, LHCb) communities have been collected and merged together to give a complete, wide, and consistent view of future prospects for BSM physics at the considered colliders. On top of the usual standard candles, such as supersymmetric simplified models and resonances, considered for the evaluation of future collider potentials, this report contains results on dark matter and dark sectors, long lived particles, leptoquarks, sterile neutrinos, axion-like particles, heavy scalars, vector-like quarks, and more. Particular attention is placed, especially in the study of the HL-LHC prospects, to the detector upgrades, the assessment of the future systematic uncertainties, and new experimental techniques. The general conclusion is that the HL-LHC, on top of allowing to extend the present LHC mass and coupling reach by $20-50\%$ on most new physics scenarios, will also be able to constrain, and potentially discover, new physics that is presently unconstrained. Moreover, compared to the HL-LHC, the reach in most observables will generally more than double at the HE-LHC, which may represent a good candidate future facility for a final test of TeV-scale new physics.
△ Less
Submitted 13 August, 2019; v1 submitted 19 December, 2018;
originally announced December 2018.
-
Influence of dimension on the convergence of level-sets in total variation regularization
Authors:
José A. Iglesias,
Gwenael Mercier
Abstract:
We extend some recent results on the Hausdorff convergence of level-sets for total variation regularized linear inverse problems. Dimensions higher than two and measurements in Banach spaces are considered. We investigate the relation between the dimension and the assumed integrability of the solution that makes such an extension possible. We also give some counterexamples of practical application…
▽ More
We extend some recent results on the Hausdorff convergence of level-sets for total variation regularized linear inverse problems. Dimensions higher than two and measurements in Banach spaces are considered. We investigate the relation between the dimension and the assumed integrability of the solution that makes such an extension possible. We also give some counterexamples of practical application scenarios where the natural choice of fidelity term makes such a convergence fail.
△ Less
Submitted 15 May, 2019; v1 submitted 29 November, 2018;
originally announced November 2018.
-
Critical yield numbers and limiting yield surfaces of particle arrays settling in a Bingham fluid
Authors:
José A. Iglesias,
Gwenael Mercier,
Otmar Scherzer
Abstract:
We consider the flow of multiple particles in a Bingham fluid in an anti-plane shear flow configuration. The limiting situation in which the internal and applied forces balance and the fluid and particles stop flowing, that is, when the flow settles, is formulated as finding the optimal ratio between the total variation functional and a linear functional. The minimal value for this quotient is ref…
▽ More
We consider the flow of multiple particles in a Bingham fluid in an anti-plane shear flow configuration. The limiting situation in which the internal and applied forces balance and the fluid and particles stop flowing, that is, when the flow settles, is formulated as finding the optimal ratio between the total variation functional and a linear functional. The minimal value for this quotient is referred to as the critical yield number or, in analogy to Rayleigh quotients, generalized eigenvalue. This minimum value can in general only be attained by discontinuous, hence not physical, velocities. However, we prove that these generalized eigenfunctions, whose jumps we refer to as limiting yield surfaces, appear as rescaled limits of the physical velocities. Then, we show the existence of geometrically simple minimizers. Furthermore, a numerical method for the minimization is then considered. It is based on a nonlinear finite difference discretization, whose consistency is proven, and a standard primal-dual descent scheme. Finally, numerical examples show a variety of geometric solutions exhibiting the properties discussed in the theoretical sections.
△ Less
Submitted 9 October, 2018; v1 submitted 21 February, 2018;
originally announced February 2018.
-
A note on convergence of solutions of total variation regularized linear inverse problems
Authors:
José A. Iglesias,
Gwenael Mercier,
Otmar Scherzer
Abstract:
In a recent paper by A. Chambolle et al. [Geometric properties of solutions to the total variation denoising problem. Inverse Problems 33, 2017] it was proven that if the subgradient of the total variation at the noise free data is not empty, the level-sets of the total variation denoised solutions converge to the level-sets of the noise free data with respect to the Hausdorff distance. The condit…
▽ More
In a recent paper by A. Chambolle et al. [Geometric properties of solutions to the total variation denoising problem. Inverse Problems 33, 2017] it was proven that if the subgradient of the total variation at the noise free data is not empty, the level-sets of the total variation denoised solutions converge to the level-sets of the noise free data with respect to the Hausdorff distance. The condition on the subgradient corresponds to the source condition introduced by Burger and Osher [Convergence rates of convex variational regularization. Inverse Problems 20, 2004], who proved convergence rates results with respect to the Bregman distance under this condition. We generalize the result of Chambolle et al. to total variation regularization of general linear inverse problems under such a source condition. As particular applications we present denoising in bounded and unbounded, convex and non convex domains, deblurring and inversion of the circular Radon transform. In all these examples the convergence result applies. Moreover, we illustrate the convergence behavior through numerical examples.
△ Less
Submitted 26 March, 2018; v1 submitted 17 November, 2017;
originally announced November 2017.
-
Shape optimisation with nearly conformal transformations
Authors:
José A. Iglesias,
Kevin Sturm,
Florian Wechsung
Abstract:
In shape optimisation it is desirable to obtain deformations of a given mesh without negative impact on the mesh quality. We propose a new algorithm using least square formulations of the Cauchy-Riemann equations. Our method allows to deform meshes in a nearly conformal way and thus approximately preserves the angles of triangles during the optimisation process. The performance of our methodology…
▽ More
In shape optimisation it is desirable to obtain deformations of a given mesh without negative impact on the mesh quality. We propose a new algorithm using least square formulations of the Cauchy-Riemann equations. Our method allows to deform meshes in a nearly conformal way and thus approximately preserves the angles of triangles during the optimisation process. The performance of our methodology is shown by applying our method to some unconstrained shape functions and a constrained Stokes shape optimisation problem.
△ Less
Submitted 19 October, 2017; v1 submitted 17 October, 2017;
originally announced October 2017.
-
Critical yield numbers of rigid particles settling in Bingham fluids and Cheeger sets
Authors:
Ian A. Frigaard,
José A. Iglesias,
Gwenael Mercier,
Christiane Pöschl,
Otmar Scherzer
Abstract:
We consider the fluid mechanical problem of identifying the critical yield number $Y_c$ of a dense solid inclusion (particle) settling under gravity within a bounded domain of Bingham fluid, i.e. the critical ratio of yield stress to buoyancy stress that is sufficient to prevent motion. We restrict ourselves to a two-dimensional planar configuration with a single anti-plane component of velocity.…
▽ More
We consider the fluid mechanical problem of identifying the critical yield number $Y_c$ of a dense solid inclusion (particle) settling under gravity within a bounded domain of Bingham fluid, i.e. the critical ratio of yield stress to buoyancy stress that is sufficient to prevent motion. We restrict ourselves to a two-dimensional planar configuration with a single anti-plane component of velocity. Thus, both particle and fluid domains are infinite cylinders of fixed cross-section. We show that such yield numbers arise from an eigenvalue problem for a constrained total variation. We construct particular solutions to this problem by consecutively solving two Cheeger-type set optimization problems. We present a number of example geometries in which these geometric solutions can be found explicitly and discuss general features of the solutions. Finally, we consider a computational method for the eigenvalue problem, which is seen in numerical experiments to produce these geometric solutions.
△ Less
Submitted 20 January, 2017; v1 submitted 3 August, 2016;
originally announced August 2016.
-
Shape Aware Matching of Implicit Surfaces based on Thin Shell Energies
Authors:
José A. Iglesias,
Martin Rumpf,
Otmar Scherzer
Abstract:
A shape sensitive, variational approach for the matching of surfaces considered as thin elastic shells is investigated. The elasticity functional to be minimized takes into account two different types of nonlinear energies: a membrane energy measuring the rate of tangential distortion when deforming the reference shell into the template shell, and a bending energy measuring the bending under the d…
▽ More
A shape sensitive, variational approach for the matching of surfaces considered as thin elastic shells is investigated. The elasticity functional to be minimized takes into account two different types of nonlinear energies: a membrane energy measuring the rate of tangential distortion when deforming the reference shell into the template shell, and a bending energy measuring the bending under the deformation in terms of the change of the shape operators from the undeformed into the deformed configuration. The variational method applies to surfaces described as level sets. It is mathematically well-posed and an existence proof of an optimal matching deformation is given. The variational model is implemented using a finite element discretization combined with a narrow band approach on an efficient hierarchical grid structure. For the optimization a regularized nonlinear conjugate gradient scheme and a cascadic multilevel strategy are used. The features of the proposed approach are studied for synthetic test cases and a collection of geometry processing examples.
△ Less
Submitted 21 February, 2017; v1 submitted 22 September, 2015;
originally announced September 2015.
-
Convective regularization for optical flow
Authors:
José A. Iglesias,
Clemens Kirisits
Abstract:
We argue that the time derivative in a fixed coordinate frame may not be the most appropriate measure of time regularity of an optical flow field. Instead, for a given velocity field $v$ we consider the convective acceleration $v_t + \nabla v v$ which describes the acceleration of objects moving according to $v$. Consequently we investigate the suitability of the nonconvex functional…
▽ More
We argue that the time derivative in a fixed coordinate frame may not be the most appropriate measure of time regularity of an optical flow field. Instead, for a given velocity field $v$ we consider the convective acceleration $v_t + \nabla v v$ which describes the acceleration of objects moving according to $v$. Consequently we investigate the suitability of the nonconvex functional $\|v_t + \nabla v v\|^2_{L^2}$ as a regularization term for optical flow. We demonstrate that this term acts as both a spatial and a temporal regularizer and has an intrinsic edge-preserving property. We incorporate it into a contrast invariant and time-regularized variant of the Horn-Schunck functional, prove existence of minimizers and verify experimentally that it addresses some of the problems of basic quadratic models. For the minimization we use an iterative scheme that approximates the original nonlinear problem with a sequence of linear ones. We believe that the convective acceleration may be gainfully introduced in a variety of optical flow models.
△ Less
Submitted 13 October, 2015; v1 submitted 19 May, 2015;
originally announced May 2015.
-
Schrödinger Diffusion for Shape Analysis with Texture
Authors:
Jose A. Iglesias,
Ron Kimmel
Abstract:
In recent years, quantities derived from the heat equation have become popular in shape processing and analysis of triangulated surfaces. Such measures are often robust with respect to different kinds of perturbations, including near-isometries, topological noise and partialities. Here, we propose to exploit the semigroup of a Schrödinger operator in order to deal with texture data, while maintain…
▽ More
In recent years, quantities derived from the heat equation have become popular in shape processing and analysis of triangulated surfaces. Such measures are often robust with respect to different kinds of perturbations, including near-isometries, topological noise and partialities. Here, we propose to exploit the semigroup of a Schrödinger operator in order to deal with texture data, while maintaining the desirable properties of the heat kernel. We define a family of Schrödinger diffusion distances analogous to the ones associated to the heat kernels, and show that they are continuous under perturbations of the data. As an application, we introduce a method for retrieval of textured shapes through comparison of Schrödinger diffusion distance histograms with the earth's mover distance, and present some numerical experiments showing superior performance compared to an analogous method that ignores the texture.
△ Less
Submitted 2 October, 2012;
originally announced October 2012.
