-
Homogenization of a vertical oscillating Neumann condition
Authors:
William M Feldman,
Zhonggan Huang
Abstract:
We homogenize the Laplace and heat equations with the Neumann data oscillating in the ``vertical" $u$-variable. These are simplified models for interface motion in heterogeneous media, particularly capillary contact lines. The homogenization limit reveals a pinning effect at zero tangential slope, leading to a novel singularly anisotropic pinned Neumann condition. The singular pinning creates an u…
▽ More
We homogenize the Laplace and heat equations with the Neumann data oscillating in the ``vertical" $u$-variable. These are simplified models for interface motion in heterogeneous media, particularly capillary contact lines. The homogenization limit reveals a pinning effect at zero tangential slope, leading to a novel singularly anisotropic pinned Neumann condition. The singular pinning creates an unconstrained contact set, generalizing the contact set in the classical thin obstacle problem. We establish a comparison principle for the heat equation with this new type of boundary condition. The comparison principle enables a proof of homogenization via the method of half-relaxed limits from viscosity solution theory. Our work also demonstrates, for the first time in a PDE problem in multiple dimensions, the emergence of rate-independent pinning from gradient flows with wiggly energies. Prior limit theorems of this type, in rate-independent contexts, were limited to ODEs and PDEs in one dimension.
△ Less
Submitted 22 May, 2025;
originally announced May 2025.
-
Regularity of two-phase free boundary minimizers in periodic media
Authors:
Farhan Abedin,
William M Feldman
Abstract:
We study the regularity of minimizers of a two-phase energy functional in periodic media. Our main result is a large scale Lipschitz estimate. We also establish improvement-of-flatness for non-degenerate minimizers, which is a key ingredient in the proof of the Lipschitz estimate. As a consequence, we obtain a Liouville property for entire non-degenerate minimizers.
We study the regularity of minimizers of a two-phase energy functional in periodic media. Our main result is a large scale Lipschitz estimate. We also establish improvement-of-flatness for non-degenerate minimizers, which is a key ingredient in the proof of the Lipschitz estimate. As a consequence, we obtain a Liouville property for entire non-degenerate minimizers.
△ Less
Submitted 22 May, 2025;
originally announced May 2025.
-
Low Regularity of Self-Similar Solutions of Two-Dimensional Riemann problems with Shocks for the Isentropic Euler system
Authors:
Gui-Qiang G. Chen,
Mikhail Feldman,
Wei Xiang
Abstract:
We are concerned with the low regularity of self-similar solutions of two-dimensional Riemann problems for the isentropic Euler system. We establish a general framework for the analysis of the local regularity of such solutions for a class of two-dimensional Riemann problems for the isentropic Euler system, which includes the regular shock reflection problem, the Prandtl reflection problem, the Li…
▽ More
We are concerned with the low regularity of self-similar solutions of two-dimensional Riemann problems for the isentropic Euler system. We establish a general framework for the analysis of the local regularity of such solutions for a class of two-dimensional Riemann problems for the isentropic Euler system, which includes the regular shock reflection problem, the Prandtl reflection problem, the Lighthill diffraction problem, and the four-shock Riemann problem. We prove that it is not possible that both the density and the velocity are in $H^1$ in the subsonic domain for the self-similar solutions of these problems in general. This indicates that the self-similar solutions of the Riemann problems with shocks for the isentropic Euler system are of much more complicated structure than those for the Euler system for potential flow; in particular, the density and the velocity are not necessarily continuous in the subsonic domain. The proof is based on a regularization of the isentropic Euler system to derive the transport equation for the vorticity, a renormalization argument extended to the case of domains with boundary, and DiPerna-Lions-type commutator estimates.
△ Less
Submitted 9 April, 2025;
originally announced April 2025.
-
Global Well-Posedness of a Nonlinear Fokker-Planck Type Model of Grain Growth
Authors:
Batuhan Bayir,
Yekaterina Epshteyn,
William M Feldman
Abstract:
Most technologically useful materials spanning multiple length scales are polycrystalline. Polycrystalline microstructures are composed of a myriad of small crystals or grains with different lattice orientations which are separated by interfaces or grain boundaries. The changes in the grain and grain boundary structure of polycrystals highly influence the materials properties including, but not li…
▽ More
Most technologically useful materials spanning multiple length scales are polycrystalline. Polycrystalline microstructures are composed of a myriad of small crystals or grains with different lattice orientations which are separated by interfaces or grain boundaries. The changes in the grain and grain boundary structure of polycrystals highly influence the materials properties including, but not limited to, electrical, mechanical, and thermal. Thus, an understanding of how microstructures evolve is essential for the engineering of new materials. In this paper, we consider a recently introduced nonlinear Fokker-Planck-type system and establish a global well-posedness result for it. Such systems under specific energy laws emerge in the modeling of the grain boundary dynamics in polycrystals.
△ Less
Submitted 12 February, 2025;
originally announced February 2025.
-
Compactness for $GSBV^p$ via concentration-compactness
Authors:
William M Feldman,
Kerrek Stinson
Abstract:
Motivated by variational models for fracture, we provide a new proof of compactness for $GSBV^p$ functions without a priori bounds on the function itself. Our proof is based on the classical idea of concentration-compactness, making it transparent in strategy and simple in implementation. Further, so far as we are aware, this is the first time the connection to concentration-compactness has been m…
▽ More
Motivated by variational models for fracture, we provide a new proof of compactness for $GSBV^p$ functions without a priori bounds on the function itself. Our proof is based on the classical idea of concentration-compactness, making it transparent in strategy and simple in implementation. Further, so far as we are aware, this is the first time the connection to concentration-compactness has been made explicit for problems in fracture mechanics.
△ Less
Submitted 27 January, 2025;
originally announced January 2025.
-
Sparse PCA: Phase Transitions in the Critical Regime
Authors:
Michael J. Feldman,
Theodor Misiakiewicz,
Elad Romanov
Abstract:
This work studies estimation of sparse principal components in high dimensions. Specifically, we consider a class of estimators based on kernel PCA, generalizing the covariance thresholding algorithm proposed by Krauthgamer et al. (2015). Focusing on Johnstone's spiked covariance model, we investigate the "critical" sparsity regime, where the sparsity level $m$, sample size $n$, and dimension $p$…
▽ More
This work studies estimation of sparse principal components in high dimensions. Specifically, we consider a class of estimators based on kernel PCA, generalizing the covariance thresholding algorithm proposed by Krauthgamer et al. (2015). Focusing on Johnstone's spiked covariance model, we investigate the "critical" sparsity regime, where the sparsity level $m$, sample size $n$, and dimension $p$ each diverge and $m/\sqrt{n} \rightarrow β$, $p/n \rightarrow γ$.
Within this framework, we develop a fine-grained understanding of signal detection and recovery. Our results establish a detectability phase transition, analogous to the Baik--Ben Arous--Péché (BBP) transition: above a certain threshold -- depending on the kernel function, $γ$, and $β$ -- kernel PCA is informative. Conversely, below the threshold, kernel principal components are asymptotically orthogonal to the signal. Notably, above this detection threshold, we find that consistent support recovery is possible with high probability. Sparsity plays a key role in our analysis, and results in more nuanced phenomena than in related studies of kernel PCA with delocalized (dense) components. Finally, we identify optimal kernel functions for detection -- and consequently, support recovery -- and numerical calculations suggest that soft thresholding is nearly optimal.
△ Less
Submitted 8 April, 2025; v1 submitted 30 December, 2024;
originally announced December 2024.
-
An obstacle approach to rate independent droplet evolution
Authors:
William M Feldman,
Inwon C Kim,
Norbert Požár
Abstract:
We consider a toy model of rate independent droplet motion on a surface with contact angle hysteresis based on the one-phase Bernoulli free boundary problem. We introduce a notion of solutions based on an obstacle problem. These solutions jump ``as late and as little as possible", a physically natural property that energy solutions do not satisfy. When the initial data is star-shaped, we show that…
▽ More
We consider a toy model of rate independent droplet motion on a surface with contact angle hysteresis based on the one-phase Bernoulli free boundary problem. We introduce a notion of solutions based on an obstacle problem. These solutions jump ``as late and as little as possible", a physically natural property that energy solutions do not satisfy. When the initial data is star-shaped, we show that obstacle solutions are uniquely characterized by satisfying the local stability and dynamic slope conditions. This is proved via a novel comparison principle, which is one of the main new technical results of the paper. In this setting we can also show the (almost) optimal $C^{1,1/2-}$-spatial regularity of the contact line. This regularity result explains the asymptotic profile of the contact line as it de-pins via tangential motion similar to de-lamination. Finally we apply our comparison principle to show the convergence of minimizing movements schemes to the same obstacle solution, again in the star-shaped setting.
△ Less
Submitted 9 October, 2024;
originally announced October 2024.
-
Minimizing movements solutions for a monotone model of droplet motion
Authors:
Carson Collins,
William M Feldman
Abstract:
We study the uniqueness and regularity of minimizing movements solutions of a droplet model in the case of piecewise monotone forcing. We show that such solutions evolve uniquely on each interval of monotonicity, but branching non-uniqueness may occur where jumps and monotonicity changes coincide. This classification of minimizing movements solutions allows us to reduce the quasi-static evolution…
▽ More
We study the uniqueness and regularity of minimizing movements solutions of a droplet model in the case of piecewise monotone forcing. We show that such solutions evolve uniquely on each interval of monotonicity, but branching non-uniqueness may occur where jumps and monotonicity changes coincide. This classification of minimizing movements solutions allows us to reduce the quasi-static evolution to a finite sequence of elliptic problems and establish $L^\infty_tC^{1,1/2-}_x$-regularity of solutions.
△ Less
Submitted 28 August, 2024;
originally announced August 2024.
-
On convex comparison for exterior Bernoulli problems with discontinuous anisotropy
Authors:
William M Feldman,
Norbert Pozar
Abstract:
We give a new proof of a convex comparison principle for exterior Bernoulli free boundary problems with discontinuous anisotropy.
We give a new proof of a convex comparison principle for exterior Bernoulli free boundary problems with discontinuous anisotropy.
△ Less
Submitted 11 March, 2024;
originally announced March 2024.
-
Spectral Properties of Elementwise-Transformed Spiked Matrices
Authors:
Michael J. Feldman
Abstract:
This work concerns elementwise-transformations of spiked matrices: $Y_n = n^{-1/2} f( \sqrt{n} X_n + Z_n)$. Here, $f$ is a function applied elementwise, $X_n$ is a low-rank signal matrix, and $Z_n$ is white noise. We find that principal component analysis is powerful for recovering signal under highly nonlinear or discontinuous transformations. Specifically, in the high-dimensional setting where…
▽ More
This work concerns elementwise-transformations of spiked matrices: $Y_n = n^{-1/2} f( \sqrt{n} X_n + Z_n)$. Here, $f$ is a function applied elementwise, $X_n$ is a low-rank signal matrix, and $Z_n$ is white noise. We find that principal component analysis is powerful for recovering signal under highly nonlinear or discontinuous transformations. Specifically, in the high-dimensional setting where $Y_n$ is of size $n \times p$ with $n,p \rightarrow \infty$ and $p/n \rightarrow γ> 0$, we uncover a phase transition: for signal-to-noise ratios above a sharp threshold -- depending on $f$, the distribution of elements of $Z_n$, and the limiting aspect ratio $γ$ -- the principal components of $Y_n$ (partially) recover those of $X_n$. Below this threshold, the principal components of $Y_n$ are asymptotically orthogonal to the signal. In contrast, in the standard setting where $X_n + n^{-1/2}Z_n$ is observed directly, the analogous phase transition depends only on $γ$. A similar phenomenon occurs with $X_n$ square and symmetric and $Z_n$ a generalized Wigner matrix.
△ Less
Submitted 18 April, 2025; v1 submitted 3 November, 2023;
originally announced November 2023.
-
On the geometry of rate independent droplet evolution
Authors:
William M Feldman,
Inwon C. Kim,
Norbert Požár
Abstract:
We introduce a toy model for rate-independent droplet motion on a surface with contact angle hysteresis based on the one-phase Bernoulli free boundary problem. We consider a notion of energy solutions and show existence by a minimizing movement scheme. The main result of the paper is on the PDE conditions satisfied by general energy solutions: we show that the solutions satisfy the dynamic contact…
▽ More
We introduce a toy model for rate-independent droplet motion on a surface with contact angle hysteresis based on the one-phase Bernoulli free boundary problem. We consider a notion of energy solutions and show existence by a minimizing movement scheme. The main result of the paper is on the PDE conditions satisfied by general energy solutions: we show that the solutions satisfy the dynamic contact angle condition $\mathcal{H}^{d-1}$-a.e. along the contact line at every time.
△ Less
Submitted 10 October, 2024; v1 submitted 5 October, 2023;
originally announced October 2023.
-
On a characterization theorem in the space $\mathbb{R}^n$
Authors:
G. M. Feldman
Abstract:
By Heyde's theorem, the class of Gaussian distributions on the real line is characterized by the symmetry of the conditional distribution of one linear form of independent random variables given another. We prove an analogue of this theorem for two independent random vectors taking values in the space $\mathbb{R}^n$. The obtained class of distributions consists of convolutions of Gaussian distribu…
▽ More
By Heyde's theorem, the class of Gaussian distributions on the real line is characterized by the symmetry of the conditional distribution of one linear form of independent random variables given another. We prove an analogue of this theorem for two independent random vectors taking values in the space $\mathbb{R}^n$. The obtained class of distributions consists of convolutions of Gaussian distributions and a distribution supported in a subspace, which is determined by coefficients of the linear forms.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
Submodular Minimax Optimization: Finding Effective Sets
Authors:
Loay Mualem,
Ethan R. Elenberg,
Moran Feldman,
Amin Karbasi
Abstract:
Despite the rich existing literature about minimax optimization in continuous settings, only very partial results of this kind have been obtained for combinatorial settings. In this paper, we fill this gap by providing a characterization of submodular minimax optimization, the problem of finding a set (for either the min or the max player) that is effective against every possible response. We show…
▽ More
Despite the rich existing literature about minimax optimization in continuous settings, only very partial results of this kind have been obtained for combinatorial settings. In this paper, we fill this gap by providing a characterization of submodular minimax optimization, the problem of finding a set (for either the min or the max player) that is effective against every possible response. We show when and under what conditions we can find such sets. We also demonstrate how minimax submodular optimization provides robust solutions for downstream machine learning applications such as (i) efficient prompt engineering for question answering, (ii) prompt engineering for dialog state tracking, (iii) identifying robust waiting locations for ride-sharing, (iv) ride-share difficulty kernelization, and (v) finding adversarial images. Our experiments demonstrate that our proposed algorithms consistently outperform other baselines.
△ Less
Submitted 26 May, 2023;
originally announced May 2023.
-
The sharp interface limit of an Ising game
Authors:
William M Feldman,
Inwon C Kim,
Aaron Zeff Palmer
Abstract:
The Ising model of statistical physics has served as a keystone example of phase transitions, thermodynamic limits, scaling laws, and many other phenomena and mathematical methods. We introduce and explore an Ising game, a variant of the Ising model that features competing agents influencing the behavior of the spins. With long-range interactions, we consider a mean-field limit resulting in a nonl…
▽ More
The Ising model of statistical physics has served as a keystone example of phase transitions, thermodynamic limits, scaling laws, and many other phenomena and mathematical methods. We introduce and explore an Ising game, a variant of the Ising model that features competing agents influencing the behavior of the spins. With long-range interactions, we consider a mean-field limit resulting in a nonlocal potential game at the mesoscopic scale. This game exhibits a phase transition and multiple constant Nash-equilibria in the supercritical regime.
Our analysis focuses on a sharp interface limit for which potential minimizing solutions to the Ising game concentrate on two of the constant Nash-equilibria. We show that the mesoscopic problem can be recast as a mixed local/nonlocal space-time Allen-Cahn type minimization problem. We prove, using a $Γ$-convergence argument, that the limiting interface minimizes a space-time anisotropic perimeter type energy functional. This macroscopic scale problem could also be viewed as a problem of optimal control of interface motion. Sharp interface limits of Allen-Cahn type functionals have been well studied. We build on that literature with new techniques to handle a mixture of local derivative terms and nonlocal interactions. The boundary conditions imposed by the game theoretic considerations also appear as novel terms and require special treatment.
△ Less
Submitted 19 January, 2023; v1 submitted 2 January, 2023;
originally announced January 2023.
-
Optimal Eigenvalue Shrinkage in the Semicircle Limit
Authors:
David L. Donoho,
Michael J. Feldman
Abstract:
Modern datasets are trending towards ever higher dimension. In response, recent theoretical studies of covariance estimation often assume the proportional-growth asymptotic framework, where the sample size $n$ and dimension $p$ are comparable, with $n, p \rightarrow \infty $ and $γ_n = p/n \rightarrow γ> 0$. Yet, many datasets -- perhaps most -- have very different numbers of rows and columns. We…
▽ More
Modern datasets are trending towards ever higher dimension. In response, recent theoretical studies of covariance estimation often assume the proportional-growth asymptotic framework, where the sample size $n$ and dimension $p$ are comparable, with $n, p \rightarrow \infty $ and $γ_n = p/n \rightarrow γ> 0$. Yet, many datasets -- perhaps most -- have very different numbers of rows and columns. We consider instead the disproportional-growth asymptotic framework, where $n, p \rightarrow \infty$ and $γ_n \rightarrow 0$ or $γ_n \rightarrow \infty$. Either disproportional limit induces novel behavior unseen within previous proportional and fixed-$p$ analyses. We study the spiked covariance model, with theoretical covariance a low-rank perturbation of the identity. For each of 15 different loss functions, we exhibit in closed form new optimal shrinkage and thresholding rules. Our optimal procedures demand extensive eigenvalue shrinkage and offer substantial performance benefits over the standard empirical covariance estimator.
Practitioners may ask whether to view their data as arising within (and apply the procedures of) the proportional or disproportional frameworks. Conveniently, it is possible to remain {\it framework agnostic}: one unified set of closed-form shrinkage rules (depending only on the aspect ratio $γ_n$ of the given data) offers full asymptotic optimality under either framework. At the heart of the phenomena we explore is the spiked Wigner model, in which a low-rank matrix is perturbed by symmetric noise. Exploiting a connection to the spiked covariance model as $γ_n \rightarrow 0$, we derive optimal eigenvalue shrinkage rules for estimation of the low-rank component, of independent and fundamental interest.
△ Less
Submitted 30 July, 2023; v1 submitted 10 October, 2022;
originally announced October 2022.
-
Quantitative homogenization of principal Dirichlet eigenvalue shape optimizers
Authors:
William M Feldman
Abstract:
We apply new results on free boundary regularity of one-phase almost minimizers in periodic media to obtain a quantitative convergence rate for the shape optimizers of the first Dirichlet eigenvalue in periodic homogenization. We obtain a linear (with logarithmic factors) convergence rate for the optimizing eigenvalue. Large scale Lipschitz free boundary regularity of almost minimizers is used to…
▽ More
We apply new results on free boundary regularity of one-phase almost minimizers in periodic media to obtain a quantitative convergence rate for the shape optimizers of the first Dirichlet eigenvalue in periodic homogenization. We obtain a linear (with logarithmic factors) convergence rate for the optimizing eigenvalue. Large scale Lipschitz free boundary regularity of almost minimizers is used to apply the optimal $L^2$ homogenization theory in Lipschitz domains of Kenig, Lin and Shen. A key idea, to deal with the hard constraint on the volume, is a combination of a large scale almost dilation invariance with a selection principle argument.
△ Less
Submitted 3 September, 2022;
originally announced September 2022.
-
Quantitative convergence of the "bulk'' free boundary in an oscillatory obstacle problem
Authors:
Farhan Abedin,
William M Feldman
Abstract:
We consider an oscillatory obstacle problem where the coincidence set and free boundary are also highly oscillatory. We establish a rate of convergence for a regularized notion of free boundary to the free boundary of a corresponding classical obstacle problem, assuming the latter is regular. The convergence rate is linear in the minimal length scale determined by the fine properties of a correcto…
▽ More
We consider an oscillatory obstacle problem where the coincidence set and free boundary are also highly oscillatory. We establish a rate of convergence for a regularized notion of free boundary to the free boundary of a corresponding classical obstacle problem, assuming the latter is regular. The convergence rate is linear in the minimal length scale determined by the fine properties of a corrector function.
△ Less
Submitted 9 August, 2022;
originally announced August 2022.
-
Large scale regularity of almost minimizers of the one-phase problem in periodic media
Authors:
William M Feldman
Abstract:
We prove that minimizers and almost minimizers of one-phase free boundary energy functionals in periodic media satisfy large scale (1) Lipschitz estimates (2) free boundary flat implies Lipschitz estimates. The proofs are based on techniques introduced by De Silva and Savin for almost minimizers in homogeneous media.
We prove that minimizers and almost minimizers of one-phase free boundary energy functionals in periodic media satisfy large scale (1) Lipschitz estimates (2) free boundary flat implies Lipschitz estimates. The proofs are based on techniques introduced by De Silva and Savin for almost minimizers in homogeneous media.
△ Less
Submitted 30 April, 2023; v1 submitted 25 July, 2022;
originally announced July 2022.
-
Using Partial Monotonicity in Submodular Maximization
Authors:
Loay Mualem,
Moran Feldman
Abstract:
Over the last two decades, submodular function maximization has been the workhorse of many discrete optimization problems in machine learning applications. Traditionally, the study of submodular functions was based on binary function properties. However, such properties have an inherit weakness, namely, if an algorithm assumes functions that have a particular property, then it provides no guarante…
▽ More
Over the last two decades, submodular function maximization has been the workhorse of many discrete optimization problems in machine learning applications. Traditionally, the study of submodular functions was based on binary function properties. However, such properties have an inherit weakness, namely, if an algorithm assumes functions that have a particular property, then it provides no guarantee for functions that violate this property, even when the violation is very slight. Therefore, recent works began to consider continuous versions of function properties. Probably the most significant among these (so far) are the submodularity ratio and the curvature, which were studied extensively together and separately.
The monotonicity property of set functions plays a central role in submodular maximization. Nevertheless, and despite all the above works, no continuous version of this property has been suggested to date (as far as we know). This is unfortunate since submoduar functions that are almost monotone often arise in machine learning applications. In this work we fill this gap by defining the monotonicity ratio, which is a continues version of the monotonicity property. We then show that for many standard submodular maximization algorithms one can prove new approximation guarantees that depend on the monotonicity ratio; leading to improved approximation ratios for the common machine learning applications of movie recommendation, quadratic programming and image summarization.
△ Less
Submitted 17 May, 2022; v1 submitted 7 February, 2022;
originally announced February 2022.
-
Multidimensional Transonic Shock Waves and Free Boundary Problems
Authors:
Gui-Qiang G. Chen,
Mikhail Feldman
Abstract:
We are concerned with free boundary problems arising from the analysis of multidimensional transonic shock waves for the Euler equations in compressible fluid dynamics. In this expository paper, we survey some recent developments in the analysis of multidimensional transonic shock waves and corresponding free boundary problems for the compressible Euler equations and related nonlinear partial diff…
▽ More
We are concerned with free boundary problems arising from the analysis of multidimensional transonic shock waves for the Euler equations in compressible fluid dynamics. In this expository paper, we survey some recent developments in the analysis of multidimensional transonic shock waves and corresponding free boundary problems for the compressible Euler equations and related nonlinear partial differential equations (PDEs) of mixed type. The nonlinear PDEs under our analysis include the steady Euler equations for potential flow, the steady full Euler equations, the unsteady Euler equations for potential flow, and related nonlinear PDEs of mixed elliptic-hyperbolic type. The transonic shock problems include the problem of steady transonic flow past solid wedges, the von Neumann problem for shock reflection-diffraction, and the Prandtl-Meyer problem for unsteady supersonic flow onto solid wedges. We first show how these longstanding multidimensional transonic shock problems can be formulated as free boundary problems for the compressible Euler equations and related nonlinear PDEs of mixed type. Then we present an effective nonlinear method and related ideas and techniques to solve these free boundary problems. The method, ideas, and techniques should be useful to analyze other longstanding and newly emerging free boundary problems for nonlinear PDEs.
△ Less
Submitted 25 March, 2022; v1 submitted 21 September, 2021;
originally announced September 2021.
-
The occurrence of surface tension gradient discontinuities and zero mobility for Allen-Cahn and curvature flows in periodic media
Authors:
William M Feldman,
Peter S Morfe
Abstract:
We construct several examples related to the scaling limits of energy minimizers and gradient flows of surface energy functionals in heterogeneous media. These include both sharp and diffuse interface models. The focus is on two separate but related issues, the regularity of effective surface tensions and the occurrence of zero mobility in the associated gradient flows. On regularity we build on t…
▽ More
We construct several examples related to the scaling limits of energy minimizers and gradient flows of surface energy functionals in heterogeneous media. These include both sharp and diffuse interface models. The focus is on two separate but related issues, the regularity of effective surface tensions and the occurrence of zero mobility in the associated gradient flows. On regularity we build on the theory of Goldman, Chambolle and Novaga to show that gradient discontinuities in the surface tension are generic for sharp interface models. In the diffuse interface case we only show that the laminations by plane-like solutions satisfying the strong Birkhoff property generically are not foliations and do have gaps. On mobility we construct examples in both the sharp and diffuse interface case where the homogenization scaling limit of the $L^2$ gradient flow is trivial, i.e. there is pinning at every direction. In the sharp interface case, these are related to examples previously constructed by Novaga and Valdinoci for forced mean curvature flow.
△ Less
Submitted 6 January, 2023; v1 submitted 1 August, 2021;
originally announced August 2021.
-
Submodular + Concave
Authors:
Siddharth Mitra,
Moran Feldman,
Amin Karbasi
Abstract:
It has been well established that first order optimization methods can converge to the maximal objective value of concave functions and provide constant factor approximation guarantees for (non-convex/non-concave) continuous submodular functions. In this work, we initiate the study of the maximization of functions of the form $F(x) = G(x) +C(x)$ over a solvable convex body $P$, where $G$ is a smoo…
▽ More
It has been well established that first order optimization methods can converge to the maximal objective value of concave functions and provide constant factor approximation guarantees for (non-convex/non-concave) continuous submodular functions. In this work, we initiate the study of the maximization of functions of the form $F(x) = G(x) +C(x)$ over a solvable convex body $P$, where $G$ is a smooth DR-submodular function and $C$ is a smooth concave function. This class of functions is a strict extension of both concave and continuous DR-submodular functions for which no theoretical guarantee is known. We provide a suite of Frank-Wolfe style algorithms, which, depending on the nature of the objective function (i.e., if $G$ and $C$ are monotone or not, and non-negative or not) and on the nature of the set $P$ (i.e., whether it is downward closed or not), provide $1-1/e$, $1/e$, or $1/2$ approximation guarantees. We then use our algorithms to get a framework to smoothly interpolate between choosing a diverse set of elements from a given ground set (corresponding to the mode of a determinantal point process) and choosing a clustered set of elements (corresponding to the maxima of a suitable concave function). Additionally, we apply our algorithms to various functions in the above class (DR-submodular + concave) in both constrained and unconstrained settings, and show that our algorithms consistently outperform natural baselines.
△ Less
Submitted 8 June, 2021;
originally announced June 2021.
-
Generalized Polya's theorem on connected locally compact Abelian groups of dimension 1
Authors:
G. M. Feldman
Abstract:
According to the generalized Polya theorem, the Gaussian distribution on the real line is characterized by the property of equidistribution of a monomial and a linear form of independent identically distributed random variables. We give a complete description of a-adic solenoids for which an analog of this theorem is true. The proof of the main theorem is reduced to solving some functional equatio…
▽ More
According to the generalized Polya theorem, the Gaussian distribution on the real line is characterized by the property of equidistribution of a monomial and a linear form of independent identically distributed random variables. We give a complete description of a-adic solenoids for which an analog of this theorem is true. The proof of the main theorem is reduced to solving some functional equation in the class of continuous positive definite functions on the character group of an a-adic solenoid
△ Less
Submitted 26 May, 2021;
originally announced May 2021.
-
Spiked Singular Values and Vectors under Extreme Aspect Ratios
Authors:
Michael J. Feldman
Abstract:
The behavior of the leading singular values and vectors of noisy low-rank matrices is fundamental to many statistical and scientific problems. Theoretical understanding currently derives from asymptotic analysis under one of two regimes: (1) the classical regime, with a fixed number of rows and large number of columns, or vice versa, and (2) the proportional regime, with large numbers of rows and…
▽ More
The behavior of the leading singular values and vectors of noisy low-rank matrices is fundamental to many statistical and scientific problems. Theoretical understanding currently derives from asymptotic analysis under one of two regimes: (1) the classical regime, with a fixed number of rows and large number of columns, or vice versa, and (2) the proportional regime, with large numbers of rows and columns, proportional to one another. This paper is concerned with the disproportional regime, where the matrix is either ``tall and narrow'' or ``short and wide'': we study sequences of matrices of size $n \times m_n$ with aspect ratio $ n/m_n \rightarrow 0$ or $n/m_n \rightarrow \infty$ as $n \rightarrow \infty$. This regime has important ``big data'' applications.
Theory derived here shows that the displacement of the empirical singular values and vectors from their noise-free counterparts and the associated phase transitions -- well-known under proportional growth asymptotics -- still occur in the disproportionate setting. They must be quantified, however, on a novel scale of measurement that adjusts with the changing aspect ratio as the matrix size increases. In this setting, the top singular vectors corresponding to the longer of the two matrix dimensions are asymptotically uncorrelated with the noise-free signal.
△ Less
Submitted 30 July, 2023; v1 submitted 30 April, 2021;
originally announced April 2021.
-
The Power of Subsampling in Submodular Maximization
Authors:
Christopher Harshaw,
Ehsan Kazemi,
Moran Feldman,
Amin Karbasi
Abstract:
We propose subsampling as a unified algorithmic technique for submodular maximization in centralized and online settings. The idea is simple: independently sample elements from the ground set, and use simple combinatorial techniques (such as greedy or local search) on these sampled elements. We show that this approach leads to optimal/state-of-the-art results despite being much simpler than existi…
▽ More
We propose subsampling as a unified algorithmic technique for submodular maximization in centralized and online settings. The idea is simple: independently sample elements from the ground set, and use simple combinatorial techniques (such as greedy or local search) on these sampled elements. We show that this approach leads to optimal/state-of-the-art results despite being much simpler than existing methods. In the usual offline setting, we present SampleGreedy, which obtains a $(p + 2 + o(1))$-approximation for maximizing a submodular function subject to a $p$-extendible system using $O(n + nk/p)$ evaluation and feasibility queries, where $k$ is the size of the largest feasible set. The approximation ratio improves to $p+1$ and $p$ for monotone submodular and linear objectives, respectively. In the streaming setting, we present SampleStreaming, which obtains a $(4p +2 - o(1))$-approximation for maximizing a submodular function subject to a $p$-matchoid using $O(k)$ memory and $O(km/p)$ evaluation and feasibility queries per element, where $m$ is the number of matroids defining the $p$-matchoid. The approximation ratio improves to $4p$ for monotone submodular objectives. We empirically demonstrate the effectiveness of our algorithms on video summarization, location summarization, and movie recommendation tasks.
△ Less
Submitted 6 April, 2021;
originally announced April 2021.
-
Solution of the Kac--Bernstein functional equation on Abelian groups in the class of positive functions
Authors:
G. M. Feldman
Abstract:
The general form of the solutions of the Kac--Bernstein functional equation $$ f(x+y)g(x-y)=f(x)f(y)g(x)g(-y), \ x, y\in X, $$ on an arbitrary Abelian group $X$ in the class of positive functions is obtained. We also study the solutions of this equation in the class of complex-valued functions that do not vanish and satisfy the Hermitian condition.
The general form of the solutions of the Kac--Bernstein functional equation $$ f(x+y)g(x-y)=f(x)f(y)g(x)g(-y), \ x, y\in X, $$ on an arbitrary Abelian group $X$ in the class of positive functions is obtained. We also study the solutions of this equation in the class of complex-valued functions that do not vanish and satisfy the Hermitian condition.
△ Less
Submitted 2 February, 2021;
originally announced February 2021.
-
On Heyde's theorem for locally compact Abelian groups containing elements of order 2
Authors:
G. M. Feldman
Abstract:
According to the well-known Heyde theorem the class of Gaussian distributions on the real line is characterized by the symmetry of the conditional distribution of one linear form of independent random variables given the other. We study analogues of this theorem for some locally compact Abelian groups X containing an element of order 2. We prove that if X contains an element of order 2, this can l…
▽ More
According to the well-known Heyde theorem the class of Gaussian distributions on the real line is characterized by the symmetry of the conditional distribution of one linear form of independent random variables given the other. We study analogues of this theorem for some locally compact Abelian groups X containing an element of order 2. We prove that if X contains an element of order 2, this can lead to the fact that a wide class of non-Gaussian distributions on X is characterized by the symmetry of the conditional distribution of one linear form given the other. In so doing coefficients of linear forms are topological automorphisms of X.
△ Less
Submitted 7 November, 2020; v1 submitted 4 November, 2020;
originally announced November 2020.
-
How Do You Want Your Greedy: Simultaneous or Repeated?
Authors:
Moran Feldman,
Christopher Harshaw,
Amin Karbasi
Abstract:
We present SimultaneousGreedys, a deterministic algorithm for constrained submodular maximization. At a high level, the algorithm maintains $\ell$ solutions and greedily updates them in a simultaneous fashion. SimultaneousGreedys achieves the tightest known approximation guarantees for both $k$-extendible systems and the more general $k$-systems, which are $(k+1)^2/k = k + \mathcal{O}(1)$ and…
▽ More
We present SimultaneousGreedys, a deterministic algorithm for constrained submodular maximization. At a high level, the algorithm maintains $\ell$ solutions and greedily updates them in a simultaneous fashion. SimultaneousGreedys achieves the tightest known approximation guarantees for both $k$-extendible systems and the more general $k$-systems, which are $(k+1)^2/k = k + \mathcal{O}(1)$ and $(1 + \sqrt{k+2})^2 = k + \mathcal{O}(\sqrt{k})$, respectively. This is in contrast to previous algorithms, which are designed to provide tight approximation guarantees in one setting, but not both. We also improve the analysis of RepeatedGreedy, showing that it achieves an approximation ratio of $k + \mathcal{O}(\sqrt{k})$ for $k$-systems when allowed to run for $\mathcal{O}(\sqrt{k})$ iterations, an improvement in both the runtime and approximation over previous analyses. We demonstrate that both algorithms may be modified to run in nearly linear time with an arbitrarily small loss in the approximation.
Both SimultaneousGreedys and RepeatedGreedy are flexible enough to incorporate the intersection of $m$ additional knapsack constraints, while retaining similar approximation guarantees: both algorithms yield an approximation guarantee of roughly $k + 2m + \mathcal{O}(\sqrt{k+m})$ for $k$-systems and SimultaneousGreedys enjoys an improved approximation guarantee of $k+2m + \mathcal{O}(\sqrt{m})$ for $k$-extendible systems. To complement our algorithmic contributions, we provide a hardness result which states that no algorithm making polynomially many oracle queries can achieve an approximation better than $k + 1/2 + \varepsilon$. We also present SubmodularGreedy.jl, a Julia package which implements these algorithms and may be downloaded at https://github.com/crharshaw/SubmodularGreedy.jl . Finally, we test the effectiveness of these algorithms on real datasets.
△ Less
Submitted 13 July, 2021; v1 submitted 29 September, 2020;
originally announced September 2020.
-
The Skitovich--Darmois and Heyde theorems for complex and quaternion random variables
Authors:
G. M. Feldman
Abstract:
We prove the following analogue of the classical Skitovich--Darmois theorem for complex random variables. Let $α=a+ib$ be a nonzero complex number. Then the following statements hold. $1$. Let either $b\ne 0$, or $b=0$ and $a>0$. Let $ξ_1$ and $ξ_2$ be independent complex random variables. Assume that the linear forms $L_1=ξ_1+ξ_2$ and $L_2=ξ_1+αξ_2$ are independent. Then $ξ_j$ are degenerate rand…
▽ More
We prove the following analogue of the classical Skitovich--Darmois theorem for complex random variables. Let $α=a+ib$ be a nonzero complex number. Then the following statements hold. $1$. Let either $b\ne 0$, or $b=0$ and $a>0$. Let $ξ_1$ and $ξ_2$ be independent complex random variables. Assume that the linear forms $L_1=ξ_1+ξ_2$ and $L_2=ξ_1+αξ_2$ are independent. Then $ξ_j$ are degenerate random variables. $2$. Let $b=0$ and $a<0$. Then there exist complex Gaussian random variables in the wide sense $ξ_1$ and $ξ_2$ such that they are not complex Gaussian random variables in the narrow sense, whereas the linear forms $L_1=ξ_1+ξ_2$ and $L_2=ξ_1+αξ_2$ are independent. We also study an analogue of the Heyde theorem for complex random variables.
△ Less
Submitted 21 January, 2020;
originally announced January 2020.
-
On a characterisation theorem for $a$-adic solenoids
Authors:
G. M. Feldman
Abstract:
According to the Heyde theorem the Gaussian distribution on the real line is characterized by the symmetry of the conditional distribution of one linear form of independent random variables given another. We prove an analogue of this theorem for linear forms of two independent random variables taking values in an $a$-adic solenoid $Σ_a$ without elements of order 2, assuming that the characteristic…
▽ More
According to the Heyde theorem the Gaussian distribution on the real line is characterized by the symmetry of the conditional distribution of one linear form of independent random variables given another. We prove an analogue of this theorem for linear forms of two independent random variables taking values in an $a$-adic solenoid $Σ_a$ without elements of order 2, assuming that the characteristic functions of the random variables do not vanish, and coefficients of the linear forms are topological automorphisms of $Σ_a$.
△ Less
Submitted 28 November, 2019;
originally announced December 2019.
-
Recovering coercivity for the G-equation in general random media
Authors:
William M Feldman
Abstract:
The G-equation is a popular model for premixed turbulent combustion. Mathematically it has attracted a lot of interest in part because it is a simple example of a Hamilton-Jacobi equation which is only coercive `on average'. This paper shows that, after an almost surely finite waiting time, coercivity is recovered for the G-equation in a small mean, incompressible, space-time stationary ergodic ve…
▽ More
The G-equation is a popular model for premixed turbulent combustion. Mathematically it has attracted a lot of interest in part because it is a simple example of a Hamilton-Jacobi equation which is only coercive `on average'. This paper shows that, after an almost surely finite waiting time, coercivity is recovered for the G-equation in a small mean, incompressible, space-time stationary ergodic velocity field. The argument follows ideas from recent work of Burago, Ivanov and Novikov, while significantly weakening the assumption on the velocity field. The waiting time is explicitly characterized in terms of the space-time means of the velocity field and so mixing estimates on the waiting time can easily be derived. Examples are provided.
△ Less
Submitted 2 November, 2019;
originally announced November 2019.
-
Mean curvature flow with positive random forcing in 2-d
Authors:
William M Feldman
Abstract:
We consider the forced mean curvature flow in 2-d, finite range of dependence and positive random forcing. We prove flatness and existence of effective speed for initially flat propagating fronts. This is the analogue, in random media, of a result of Caffarelli and Monneau. The main new tools are a large scale Lipschitz estimate for the arrival time function, and a quantitative uniqueness result w…
▽ More
We consider the forced mean curvature flow in 2-d, finite range of dependence and positive random forcing. We prove flatness and existence of effective speed for initially flat propagating fronts. This is the analogue, in random media, of a result of Caffarelli and Monneau. The main new tools are a large scale Lipschitz estimate for the arrival time function, and a quantitative uniqueness result which does not use uniform local regularity.
△ Less
Submitted 1 November, 2019;
originally announced November 2019.
-
An example of failure of stochastic homogenization for viscous Hamilton-Jacobi equations without convexity
Authors:
William M. Feldman,
Jean-Baptiste Fermanian,
Bruno Ziliotto
Abstract:
We give an example of the failure of homogenization for a viscous Hamilton-Jacobi equation with non-convex Hamiltonian.
We give an example of the failure of homogenization for a viscous Hamilton-Jacobi equation with non-convex Hamiltonian.
△ Less
Submitted 17 May, 2019;
originally announced May 2019.
-
Submodular Maximization Beyond Non-negativity: Guarantees, Fast Algorithms, and Applications
Authors:
Christopher Harshaw,
Moran Feldman,
Justin Ward,
Amin Karbasi
Abstract:
It is generally believed that submodular functions -- and the more general class of $γ$-weakly submodular functions -- may only be optimized under the non-negativity assumption $f(S) \geq 0$. In this paper, we show that once the function is expressed as the difference $f = g - c$, where $g$ is monotone, non-negative, and $γ$-weakly submodular and $c$ is non-negative modular, then strong approximat…
▽ More
It is generally believed that submodular functions -- and the more general class of $γ$-weakly submodular functions -- may only be optimized under the non-negativity assumption $f(S) \geq 0$. In this paper, we show that once the function is expressed as the difference $f = g - c$, where $g$ is monotone, non-negative, and $γ$-weakly submodular and $c$ is non-negative modular, then strong approximation guarantees may be obtained. We present an algorithm for maximizing $g - c$ under a $k$-cardinality constraint which produces a random feasible set $S$ such that $\mathbb{E} \left[ g(S) - c(S) \right] \geq (1 - e^{-γ} - ε) g(OPT) - c(OPT)$, whose running time is $O (\frac{n}ε \log^2 \frac{1}ε)$, i.e., independent of $k$. We extend these results to the unconstrained setting by describing an algorithm with the same approximation guarantees and faster $O(\frac{n}ε \log\frac{1}ε)$ runtime. The main techniques underlying our algorithms are two-fold: the use of a surrogate objective which varies the relative importance between $g$ and $c$ throughout the algorithm, and a geometric sweep over possible $γ$ values. Our algorithmic guarantees are complemented by a hardness result showing that no polynomial-time algorithm which accesses $g$ through a value oracle can do better. We empirically demonstrate the success of our algorithms by applying them to experimental design on the Boston Housing dataset and directed vertex cover on the Email EU dataset.
△ Less
Submitted 19 April, 2019;
originally announced April 2019.
-
Uniqueness and Stability for the Shock Reflection-Diffraction Problem for Potential Flow
Authors:
Gui-Qiang G. Chen,
Mikhail Feldman,
Wei Xiang
Abstract:
When a plane shock hits a two-dimensional wedge head on, it experiences a reflection-diffraction process, and then a self-similar reflected shock moves outward as the original shock moves forward in time. The experimental, computational, and asymptotic analysis has indicated that various patterns occur, including regular reflection and Mach reflection. The von Neumann conjectures on the transition…
▽ More
When a plane shock hits a two-dimensional wedge head on, it experiences a reflection-diffraction process, and then a self-similar reflected shock moves outward as the original shock moves forward in time. The experimental, computational, and asymptotic analysis has indicated that various patterns occur, including regular reflection and Mach reflection. The von Neumann conjectures on the transition from regular to Mach reflection involve the existence, uniqueness, and stability of regular shock reflection-diffraction configurations, generated by concave cornered wedges for compressible flow. In this paper, we discuss some recent developments in the study of the von Neumann conjectures. More specifically, we present our recent results of the uniqueness and stability of regular shock reflection-diffraction configurations governed by the potential flow equation in an appropriate class of solutions. We first show that the transonic shocks in the global solutions obtained in Chen-Feldman [19] are convex. Then we establish the uniqueness of global shock reflection-diffraction configurations with convex transonic shocks for any wedge angle larger than the detachment angle or the critical angle. Moreover, the stability of the solutions with respect to the wedge angle is also shown. Our approach also provides an alternative way of proving the existence of the admissible solutions established first in [19].
△ Less
Submitted 5 October, 2019; v1 submitted 29 March, 2019;
originally announced April 2019.
-
Prandtl-Meyer Reflection Configurations, Transonic Shocks, and Free Boundary Problems
Authors:
Myoungjean Bae,
Gui-Qiang G. Chen,
Mikhail Feldman
Abstract:
We are concerned with the Prandtl-Meyer reflection configurations of unsteady global solutions for supersonic flow impinging upon a symmetric solid wedge. Prandtl (1936) first employed the shock polar analysis to show that there are two possible steady configurations: the steady weak and strong shock solutions, when a steady supersonic flow impinges upon the wedge whose angle is less than the deta…
▽ More
We are concerned with the Prandtl-Meyer reflection configurations of unsteady global solutions for supersonic flow impinging upon a symmetric solid wedge. Prandtl (1936) first employed the shock polar analysis to show that there are two possible steady configurations: the steady weak and strong shock solutions, when a steady supersonic flow impinges upon the wedge whose angle is less than the detachment angle, and then conjectured that the steady weak shock solution is physically admissible. The fundamental issue of whether one or both of the steady weak/strong shocks are physically admissible has been vigorously debated over the past eight decades and has not yet been settled definitively. On the other hand, the Prandtl-Meyer reflection configurations are core configurations in the structure of global entropy solutions of the 2-D Riemann problem, while the Riemann solutions themselves are local building blocks and determine local structures, global attractors, and large-time asymptotic states of general entropy solutions. In this sense, we have to understand the reflection configurations to understand fully the global entropy solutions of 2-D hyperbolic systems of conservation laws, including the admissibility issue for the entropy solutions. In this monograph, we address this longstanding open issue and present our analysis to establish the stability theorem for the steady weak shock solutions as the long-time asymptotics of the Prandtl-Meyer reflection configurations for unsteady potential flow for all the physical parameters up to the detachment angle. To achieve these, we first reformulate the problem as a free boundary problem involving transonic shocks and then obtain appropriate monotonicity properties and uniform a priori estimates for admissible solutions, which allow us to employ the Leray-Schauder degree argument to complete the theory.
△ Less
Submitted 2 February, 2024; v1 submitted 17 January, 2019;
originally announced January 2019.
-
Limit shapes of local minimizers for the Alt-Caffarelli energy functional in inhomogeneous media
Authors:
William M Feldman
Abstract:
This paper considers the Alt-Caffarelli free boundary problem in a periodic medium. This is a convenient model for several interesting phenomena appearing in the study of contact lines on rough surfaces, pinning, hysteresis and the formation of facets. We show the existence of an interval of effective pinned slopes at each direction $e \in S^{d-1}$. In $d=2$ we characterize the regularity properti…
▽ More
This paper considers the Alt-Caffarelli free boundary problem in a periodic medium. This is a convenient model for several interesting phenomena appearing in the study of contact lines on rough surfaces, pinning, hysteresis and the formation of facets. We show the existence of an interval of effective pinned slopes at each direction $e \in S^{d-1}$. In $d=2$ we characterize the regularity properties of the pinning interval in terms of the normal direction, including possible discontinuities at rational directions. These results require a careful study of the families of plane-like solutions available with a given slope. Using the same techniques we also obtain strong, in some cases optimal, bounds on the class of limit shapes of local minimizers in $d=2$, and preliminary results in $d \geq 3$.
△ Less
Submitted 12 October, 2018;
originally announced October 2018.
-
Geodesic Convexity of Small Neighborhood in the Space of Kähler Potentials
Authors:
Xiuxiong Chen,
Mikhail Feldman,
Jingchen Hu
Abstract:
We show that, given $k> 4$, $0<J<\min\{{1\over 4},{k-4\over 4}\}$, any point in space of non-degenerate smooth Kähler potentials has a small neighborhood with respect to $C^k$ norm, s.t. any two points in this neighborhood can be connected by a geodesic of at least $C^{k-J}$ regularity.
We show that, given $k> 4$, $0<J<\min\{{1\over 4},{k-4\over 4}\}$, any point in space of non-degenerate smooth Kähler potentials has a small neighborhood with respect to $C^k$ norm, s.t. any two points in this neighborhood can be connected by a geodesic of at least $C^{k-J}$ regularity.
△ Less
Submitted 5 April, 2019; v1 submitted 7 May, 2018;
originally announced May 2018.
-
On analogues of C.R.Rao's theorems for locally compact Abelian groups
Authors:
G. M. Feldman
Abstract:
Let $ξ_1$, $ξ_2$, $ξ_3$ be independent random variables with nonvanishing characteristic functions, and $a_j$, $b_j$ be real numbers such that $a_i/b_i\ne a_j/b_j$ for $i\ne j$. Let $L_1=a_1ξ_1+a_2ξ_2+a_3ξ_3$, $L_2=b_1ξ_1+b_2ξ_2+b_3ξ_3$. By C.R.Rao's theorem the distribution of the random vector $(L_1, L_2)$ determines the distributions of the random variables $ξ_j$ up to a change of location. We…
▽ More
Let $ξ_1$, $ξ_2$, $ξ_3$ be independent random variables with nonvanishing characteristic functions, and $a_j$, $b_j$ be real numbers such that $a_i/b_i\ne a_j/b_j$ for $i\ne j$. Let $L_1=a_1ξ_1+a_2ξ_2+a_3ξ_3$, $L_2=b_1ξ_1+b_2ξ_2+b_3ξ_3$. By C.R.Rao's theorem the distribution of the random vector $(L_1, L_2)$ determines the distributions of the random variables $ξ_j$ up to a change of location. We prove an analogue of this theorem for independent random variables with values in a locally compact Abelian group. We also prove an analogue for independent random variables with values in an $a$-adic solenoid of similar C.R.Rao's theorem. In so doing coefficients of linear forms are continuous endomorphisms of the group.
△ Less
Submitted 7 November, 2018; v1 submitted 13 April, 2018;
originally announced April 2018.
-
On a characterisation theorem for probability distributions on discrete Abelian groups
Authors:
G. M. Feldman
Abstract:
Let $X$ be a countable discrete Abelian group containing no elements of order 2, $α$ be an automorphism of $X$, $ξ_1$ and $ξ_2$ be independent random variables with values in the group $X$ and distributions $μ_1$ and $μ_2$. The main result of the article is the following statement. The symmetry of the conditional distribution of the linear form $L_2 = ξ_1 + αξ_2$ given $L_1 = ξ_1 + ξ_2$ implies th…
▽ More
Let $X$ be a countable discrete Abelian group containing no elements of order 2, $α$ be an automorphism of $X$, $ξ_1$ and $ξ_2$ be independent random variables with values in the group $X$ and distributions $μ_1$ and $μ_2$. The main result of the article is the following statement. The symmetry of the conditional distribution of the linear form $L_2 = ξ_1 + αξ_2$ given $L_1 = ξ_1 + ξ_2$ implies that $μ_j$ are shifts of the Haar distribution of a finite subgroup of $X$ if and only if the automorphism $α$ satisfies the condition ${\rm Ker}(I+α)=\{0\}$. This theorem is an analogue for discrete Abelian groups the well-known Heyde theorem where Gaussian distribution on the real line is characterized by the symmetry of the conditional distribution of one linear form of independent random variables given another. We also prove some generalisations of this theorem.
△ Less
Submitted 11 April, 2018;
originally announced April 2018.
-
Convexity of Self-Similar Transonic Shocks and Free Boundaries for the Euler Equations for Potential Flow
Authors:
Gui-Qiang G. Chen,
Mikhail Feldman,
Wei Xiang
Abstract:
We are concerned with geometric properties of transonic shocks as free boundaries in two-dimensional self-similar coordinates for compressible fluid flows, which are not only important for the understanding of geometric structure and stability of fluid motions in continuum mechanics but also fundamental in the mathematical theory of multidimensional conservation laws. A transonic shock for the Eul…
▽ More
We are concerned with geometric properties of transonic shocks as free boundaries in two-dimensional self-similar coordinates for compressible fluid flows, which are not only important for the understanding of geometric structure and stability of fluid motions in continuum mechanics but also fundamental in the mathematical theory of multidimensional conservation laws. A transonic shock for the Euler equations for self-similar potential flow separates elliptic (subsonic) and hyperbolic (supersonic) phases of the self-similar solution of the corresponding nonlinear partial differential equation in a domain under consideration, in which the location of the transonic shock is apriori unknown. We first develop a general framework under which self-similar transonic shocks, as free boundaries, are proved to be uniformly convex, and then apply this framework to prove the uniform convexity of transonic shocks in the two longstanding fundamental shock problems -- the shock reflection-diffraction by wedges and the Prandtl-Meyer reflection for supersonic flows past solid ramps. To achieve this, our approach is to exploit underlying nonlocal properties of the solution and the free boundary for the potential flow equation.
△ Less
Submitted 6 June, 2020; v1 submitted 6 March, 2018;
originally announced March 2018.
-
Continuity Properties for Divergence Form Boundary Data Homogenization Problems
Authors:
William M. Feldman,
Yuming Paul Zhang
Abstract:
We study the continuity/discontinuity of the effective boundary condition for periodic homogenization of oscillating Dirichlet data for nonlinear divergence form equations and linear systems. For linear systems we show continuity, for nonlinear equations we give an example of discontinuity.
We study the continuity/discontinuity of the effective boundary condition for periodic homogenization of oscillating Dirichlet data for nonlinear divergence form equations and linear systems. For linear systems we show continuity, for nonlinear equations we give an example of discontinuity.
△ Less
Submitted 31 January, 2018;
originally announced January 2018.
-
A free boundary problem with facets
Authors:
William M Feldman,
Charles K Smart
Abstract:
We study a free boundary problem on the lattice whose scaling limit is a harmonic free boundary problem with a discontinuous Hamiltonian. We find an explicit formula for the Hamiltonian, prove the solutions are unique, and prove that the limiting free boundary has a facets in every rational direction. Our choice of problem presents difficulties that require the development of a new uniqueness proo…
▽ More
We study a free boundary problem on the lattice whose scaling limit is a harmonic free boundary problem with a discontinuous Hamiltonian. We find an explicit formula for the Hamiltonian, prove the solutions are unique, and prove that the limiting free boundary has a facets in every rational direction. Our choice of problem presents difficulties that require the development of a new uniqueness proof for certain free boundary problems. The problem is motivated by physical experiments involving liquid drops on patterned solid surfaces.
△ Less
Submitted 2 November, 2017;
originally announced November 2017.
-
Stability of Serrin's Problem and Dynamic Stability of a Model for Contact Angle Motion
Authors:
William M. Feldman
Abstract:
We study the quantitative stability of Serrin's symmetry problem and it's connection with a dynamic model for contact angle motion of quasi-static capillary drops. We prove a new stability result which is both linear and depends only on a weak norm \[ \big\||Du|^2- 1\big\|_{L^2(\partial Ω)}. \] This improvement is particularly important to us since the $L^2(\partial Ω)$ norm squared of $|Du|^2-1$…
▽ More
We study the quantitative stability of Serrin's symmetry problem and it's connection with a dynamic model for contact angle motion of quasi-static capillary drops. We prove a new stability result which is both linear and depends only on a weak norm \[ \big\||Du|^2- 1\big\|_{L^2(\partial Ω)}. \] This improvement is particularly important to us since the $L^2(\partial Ω)$ norm squared of $|Du|^2-1$ is exactly the energy dissipation rate of the associated dynamic model. Combining the energy estimate for the dynamic model with the new stability result for the equilibrium problem yields an exponential rate of convergence to the steady state for regular solutions of the contact angle motion problem. As far as we are aware this is one of the first applications of a stability estimate for a geometric minimization problem to show dynamic stability of an associated gradient flow.
△ Less
Submitted 24 August, 2017; v1 submitted 21 July, 2017;
originally announced July 2017.
-
Loss of Regularity of Solutions of the Lighthill Problem for Shock Diffraction for Potential Flow
Authors:
Gui-Qiang Chen,
Mikhail Feldman,
Jingchen Hu,
Wei Xiang
Abstract:
We are concerned with the suitability of the main models of compressible fluid dynamics for the Lighthill problem for shock diffraction by a convex corned wedge, by studying the regularity of solutions of the problem, which can be formulated as a free boundary problem. In this paper, we prove that there is no regular solution that is subsonic up to the wedge corner for potential flow. This indicat…
▽ More
We are concerned with the suitability of the main models of compressible fluid dynamics for the Lighthill problem for shock diffraction by a convex corned wedge, by studying the regularity of solutions of the problem, which can be formulated as a free boundary problem. In this paper, we prove that there is no regular solution that is subsonic up to the wedge corner for potential flow. This indicates that, if the solution is subsonic at the wedge corner, at least a characteristic discontinuity (vortex sheet or entropy wave) is expected to be generated, which is consistent with the experimental and computational results. Therefore, the potential flow equation is not suitable for the Lighthill problem so that the compressible Euler system must be considered. In order to achieve the non-existence result, a weak maximum principle for the solution is established, and several other mathematical techniques are developed. The methods and techniques developed here are also useful to the other problems with similar difficulties.
△ Less
Submitted 10 March, 2020; v1 submitted 18 May, 2017;
originally announced May 2017.
-
The Heyde characterization theorem on some locally compact Abelian groups
Authors:
G. M. Feldman
Abstract:
By the Heyde theorem, the Gaussian distribution on the real line is characterized by the symmetry of the conditional distribution of one linear form of of $n$ independent random variables given another. When $n=2$ we prove analogues of this theorem in the case when independent random variables take values in a locally compact Abelian group $X$ and coefficients of the linear forms are topological a…
▽ More
By the Heyde theorem, the Gaussian distribution on the real line is characterized by the symmetry of the conditional distribution of one linear form of of $n$ independent random variables given another. When $n=2$ we prove analogues of this theorem in the case when independent random variables take values in a locally compact Abelian group $X$ and coefficients of the linear forms are topological automorphisms of $X$.
△ Less
Submitted 7 February, 2017;
originally announced February 2017.
-
Stability and Asymptotic Behavior of Transonic Flows Past Wedges for the Full Euler Equations
Authors:
Gui-Qiang G. Chen,
Jun Chen,
Mikhail Feldman
Abstract:
The existence, uniqueness, and asymptotic behavior of steady transonic flows past a curved wedge, involving transonic shocks, governed by the two-dimensional full Euler equations are established. The stability of both weak and strong transonic shocks under the perturbation of both the upstream supersonic flow and the wedge boundary is proved. The problem is formulated as a one-phase free boundary…
▽ More
The existence, uniqueness, and asymptotic behavior of steady transonic flows past a curved wedge, involving transonic shocks, governed by the two-dimensional full Euler equations are established. The stability of both weak and strong transonic shocks under the perturbation of both the upstream supersonic flow and the wedge boundary is proved. The problem is formulated as a one-phase free boundary problem, in which the transonic shock is treated as a free boundary. The full Euler equations are decomposed into two algebraic equations and a first-order elliptic system of two equations in Lagrangian coordinates. With careful elliptic estimates by using appropriate weighted Hölder norms, the iteration map is defined and analyzed, and the existence of its fixed point is established by performing the Schauder fixed point argument. The careful analysis of the asymptotic behavior of the solutions reveals particular characters of the full Euler equations.
△ Less
Submitted 8 January, 2018; v1 submitted 30 December, 2016;
originally announced December 2016.
-
Liquid Drops on a Rough Surface
Authors:
William M. Feldman,
Inwon C. Kim
Abstract:
We consider a liquid drop sitting on a rough solid surface at equilibrium, a volume constrained minimizer of the total interfacial energy. The large-scale shape of such a drop strongly depends on the micro-structure of the solid surface. Surface roughness enhances hydrophilicity and hydrophobicity properties of the surface, altering the equilibrium contact angle between the drop and the surface. O…
▽ More
We consider a liquid drop sitting on a rough solid surface at equilibrium, a volume constrained minimizer of the total interfacial energy. The large-scale shape of such a drop strongly depends on the micro-structure of the solid surface. Surface roughness enhances hydrophilicity and hydrophobicity properties of the surface, altering the equilibrium contact angle between the drop and the surface. Our goal is to understand the shape of the drop with fixed small scale roughness. To achieve this, we develop a quantitative description of the drop and its contact line in the context of periodic homogenization theory, building on the qualitative theory of Alberti and DeSimone.
△ Less
Submitted 21 December, 2016;
originally announced December 2016.
-
Homogenization and Non-Homogenization of certain Non-Convex Hamilton-Jacobi Equations
Authors:
William M. Feldman,
Panagiotis E. Souganidis
Abstract:
We continue the study of the homogenization of coercive non-convex Hamilton-Jacobi equations in random media identifying two general classes of Hamiltonians with very distinct behavior. For the first class there is no homogenization in a particular environment while for the second homogenization takes place in environments with finite range dependence. Motivated by the recent counter-example of Zi…
▽ More
We continue the study of the homogenization of coercive non-convex Hamilton-Jacobi equations in random media identifying two general classes of Hamiltonians with very distinct behavior. For the first class there is no homogenization in a particular environment while for the second homogenization takes place in environments with finite range dependence. Motivated by the recent counter-example of Ziliotto, who constructed a coercive but non-convex Hamilton-Jacobi equation with stationary ergodic random potential field for which homogenization does not hold, we show that same happens for coercive Hamiltonians which have a strict saddle-point, a very local property. We also identify, based on the recent work of Armstrong and Cardaliaguet on the homogenization of positively homogeneous random Hamiltonians in environments with finite range dependence, a new general class Hamiltonians, namely equations with uniformly strictly star-shaped sub-level sets, which homogenize.
△ Less
Submitted 29 September, 2016;
originally announced September 2016.
-
Semi-geostrophic System with Variable Coriolis parameter
Authors:
Jingrui Cheng,
Michael Cullen,
Mikhail Feldman
Abstract:
We prove short time existence and uniqueness of smooth solutions ( in $C^{k+2,α}$ with $k\geq 2$) to the 2-D semi-geostrophic system and semi-geostrophic shallow water system with variable Coriolis parameter $f$ and periodic boundary conditions, under the natural convexity condition on the initial data. The dual space used in analysis of the semi-geostrophic system with constant $f$ does not exist…
▽ More
We prove short time existence and uniqueness of smooth solutions ( in $C^{k+2,α}$ with $k\geq 2$) to the 2-D semi-geostrophic system and semi-geostrophic shallow water system with variable Coriolis parameter $f$ and periodic boundary conditions, under the natural convexity condition on the initial data. The dual space used in analysis of the semi-geostrophic system with constant $f$ does not exist for the variable Coriolis parameter case, and we develop a time-stepping procedure to overcome this difficulty.
△ Less
Submitted 28 August, 2016; v1 submitted 20 August, 2016;
originally announced August 2016.
