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\}$$ , there are infinitely many primespwhere$$v_p(\alpha )=v_p(\beta )=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 }$$ , and suppose$$|N_{\mathbb {Q}(\alpha ,\beta )/\mathbb {Q}}(\alpha )|\ne 1$$ and$$|N_{\mathbb {Q}(\alpha ,\beta )/\mathbb {Q}}(\beta )|\ne 1$$ . Then for some positive integer$$C = C(\alpha ,\beta )$$ , there are infinitely many prime idealsPof Equation missing<#comment/>where$$v_P(\alpha )=v_P(\beta )=0$$ and where the group$$\langle \beta \bmod {P}\rangle $$ is a subgroup of$$\langle \alpha \bmod {P}\rangle $$ with$$[\langle \alpha \bmod {P}\rangle \,{:}\, \langle \beta \bmod {P}\rangle ]$$ dividingC. A key component of the proof is a theorem of Corvaja and Zannier bounding the greatest common divisor of shiftedS-units. 
                        more » 
                        « less   
                    
                            
                            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$$ 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$$ . 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)$$ 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
- 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
- 
            
- 
            Abstract By the Aharonov–Casher theorem, the Pauli operatorPhas no zero eigenvalue when the normalized magnetic flux$$\alpha $$ satisfies$$|\alpha |<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$$ is valid under the optimal restrictions$$\gamma \ge |\alpha |$$ and$$\gamma >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$$ .more » « less
- 
            Abstract Let$$\lambda $$ denote the Liouville function. We show that the logarithmic mean of$$\lambda (\lfloor \alpha _1n\rfloor )\lambda (\lfloor \alpha _2n\rfloor )$$ is 0 whenever$$\alpha _1,\alpha _2$$ are positive reals with$$\alpha _1/\alpha _2$$ irrational. We also show that for$$k\geqslant 3$$ the logarithmic mean of$$\lambda (\lfloor \alpha _1n\rfloor )\cdots \lambda (\lfloor \alpha _kn\rfloor )$$ has some nontrivial amount of cancellation, under certain rational independence assumptions on the real numbers$$\alpha _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
- 
            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]$$ .more » « less
- 
            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$$ . In doing this they proved a fractional generalization of the Brunn–Minkowski–Lyusternik (BML) inequality in dimension$$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 )$$ and nonempty sets$$A_1,\dots ,A_m\subseteq \mathbb {R}$$ , equality holds iff for each$$S\in \mathcal {G}$$ , the set$$\sum _{i\in S}A_i$$ is an interval. In the case of dimension$$n\ge 2$$ we will show that equality can hold if and only if the set$$\sum _{i=1}^{m}A_i$$ has measure 0.more » « less
 An official website of the United States government
An official website of the United States government 
				
			 
					 
					
