skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Integer Optimal Control with Fractional Perimeter Regularization
Abstract Motivated by many applications, optimal control problems with integer controls have recently received a significant attention. Some state-of-the-art work uses perimeter-regularization to derive stationarity conditions and trust-region algorithms. However, the discretization is difficult in this case because the perimeter is concentrated on a set of dimension$$d - 1$$ d - 1 for a domain of dimensiond. This article proposes a potential way to overcome this challenge by using the fractional nonlocal perimeter with fractional exponent$$0<\alpha <1$$ 0 < α < 1 . In this way, the boundary integrals in the perimeter regularization are replaced by volume integrals. Besides establishing some non-trivial properties associated with this perimeter, a$$\Gamma $$ Γ -convergence result is derived. This result establishes convergence of minimizers of fractional perimeter-regularized problem, to the standard one, as the exponent$$\alpha $$ α tends to 1. In addition, the stationarity results are derived and algorithmic convergence analysis is carried out for$$\alpha \in (0.5,1)$$ α ( 0.5 , 1 ) under an additional assumption on the gradient of the reduced objective. The theoretical results are supplemented by a preliminary computational experiment. We observe that the isotropy of the total variation may be approximated by means of the fractional perimeter functional.  more » « less
Award ID(s):
2110263
PAR ID:
10519728
Author(s) / Creator(s):
;
Publisher / Repository:
Springer Science + Business Media
Date Published:
Journal Name:
Applied Mathematics & Optimization
Volume:
90
Issue:
1
ISSN:
0095-4616
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract Schinzel and Wójcik have shown that for every$$\alpha ,\beta \in \mathbb {Q}^{\times }\hspace{0.55542pt}{\setminus }\hspace{1.111pt}\{\pm 1\}$$ α , β Q × \ { ± 1 } , there are infinitely many primespwhere$$v_p(\alpha )=v_p(\beta )=0$$ v p ( α ) = v p ( β ) = 0 and where$$\alpha $$ α and$$\beta $$ β generate the same multiplicative group modp. We prove a weaker result in the same direction for algebraic numbers$$\alpha , \beta $$ α , β . Let$$\alpha , \beta \in \overline{\mathbb {Q}} ^{\times }$$ α , β Q ¯ × , and suppose$$|N_{\mathbb {Q}(\alpha ,\beta )/\mathbb {Q}}(\alpha )|\ne 1$$ | N Q ( α , β ) / Q ( α ) | 1 and$$|N_{\mathbb {Q}(\alpha ,\beta )/\mathbb {Q}}(\beta )|\ne 1$$ | N Q ( α , β ) / Q ( β ) | 1 . Then for some positive integer$$C = C(\alpha ,\beta )$$ C = C ( α , β ) , there are infinitely many prime idealsPof Equation missing<#comment/>where$$v_P(\alpha )=v_P(\beta )=0$$ v P ( α ) = v P ( β ) = 0 and where the group$$\langle \beta \bmod {P}\rangle $$ β mod P is a subgroup of$$\langle \alpha \bmod {P}\rangle $$ α mod P with$$[\langle \alpha \bmod {P}\rangle \,{:}\, \langle \beta \bmod {P}\rangle ]$$ [ α mod P : β mod P ] dividingC. A key component of the proof is a theorem of Corvaja and Zannier bounding the greatest common divisor of shiftedS-units. 
    more » « less
  2. Abstract By the Aharonov–Casher theorem, the Pauli operatorPhas no zero eigenvalue when the normalized magnetic flux$$\alpha $$ α satisfies$$|\alpha |<1$$ | α | < 1 , but it does have a zero energy resonance. We prove that in this case a Lieb–Thirring inequality for the$$\gamma $$ γ -th moment of the eigenvalues of$$P+V$$ P + V is valid under the optimal restrictions$$\gamma \ge |\alpha |$$ γ | α | and$$\gamma >0$$ γ > 0 . Besides the usual semiclassical integral, the right side of our inequality involves an integral where the zero energy resonance state appears explicitly. Our inequality improves earlier works that were restricted to moments of order$$\gamma \ge 1$$ γ 1
    more » « less
  3. Abstract Let$$\lambda $$ λ denote the Liouville function. We show that the logarithmic mean of$$\lambda (\lfloor \alpha _1n\rfloor )\lambda (\lfloor \alpha _2n\rfloor )$$ λ ( α 1 n ) λ ( α 2 n ) is 0 whenever$$\alpha _1,\alpha _2$$ α 1 , α 2 are positive reals with$$\alpha _1/\alpha _2$$ α 1 / α 2 irrational. We also show that for$$k\geqslant 3$$ k 3 the logarithmic mean of$$\lambda (\lfloor \alpha _1n\rfloor )\cdots \lambda (\lfloor \alpha _kn\rfloor )$$ λ ( α 1 n ) λ ( α k n ) has some nontrivial amount of cancellation, under certain rational independence assumptions on the real numbers$$\alpha _i.$$ α i . Our results for the Liouville function generalise to produce independence statements for general bounded real-valued multiplicative functions evaluated at Beatty sequences. These results answer the two-point case of a conjecture of Frantzikinakis (and provide some progress on the higher order cases), generalising a recent result of Crnčević–Hernández–Rizk–Sereesuchart–Tao. As an ingredient in our proofs, we establish bounds for the logarithmic correlations of the Liouville function along Bohr sets. 
    more » « less
  4. Abstract This article aims to understand the behavior of the curvature operator of the second kind under the Ricci flow in dimension three. First, we express the eigenvalues of the curvature operator of the second kind explicitly in terms of that of the curvature operator (of the first kind). Second, we prove that$$\alpha $$ α -positive/$$\alpha $$ α -nonnegative curvature operator of the second kind is preserved by the Ricci flow in dimension three for all$$\alpha \in [1,5]$$ α [ 1 , 5 ]
    more » « less
  5. Abstract While studying set function properties of Lebesgue measure, F. Barthe and M. Madiman proved that Lebesgue measure is fractionally superadditive on compact sets in$$\mathbb {R}^n$$ R n . In doing this they proved a fractional generalization of the Brunn–Minkowski–Lyusternik (BML) inequality in dimension$$n=1$$ n = 1 . In this paper we will prove the equality conditions for the fractional superadditive volume inequalites for any dimension. The non-trivial equality conditions are as follows. In the one-dimensional case we will show that for a fractional partition$$(\mathcal {G},\beta )$$ ( G , β ) and nonempty sets$$A_1,\dots ,A_m\subseteq \mathbb {R}$$ A 1 , , A m R , equality holds iff for each$$S\in \mathcal {G}$$ S G , the set$$\sum _{i\in S}A_i$$ i S A i is an interval. In the case of dimension$$n\ge 2$$ n 2 we will show that equality can hold if and only if the set$$\sum _{i=1}^{m}A_i$$ i = 1 m A i has measure 0. 
    more » « less