Related papers: Monadic second order limit laws for natural well o…

Following the paper~[3] by V\"{a}\"{a}n\"{a}nen and the author, we continue to investigate on the difference between Boolean-valued second-order logic and full second-order logic. We show that the compactness number of Boolean-valued…

This work is devoted to solving some closely related open problems on the average and asymptotic behavior of the $2$-adic complexity of binary sequences. First, for fixed $N$, we prove that the expected value $E^{\mathrm{2-adic}}_N$ of the…

We investigate the structure of $\omega$-limit (resp. $\alpha$-limit) sets for a monotone map $f$ on a regular curve $X$. %Let $X$ be a regular curve and let $f: X\longrightarrowX$ be a monotone map. We show that for any $x\in X$ (resp. for…

We improve and generalize in several accounts the recent rigorous proof of convergence of delta expansion - order dependent mappings (variational perturbation expansion) for the energy eigenvalues of anharmonic oscillator. For the…

We study Boolean stable laws, $\mathbf{b}_{\alpha,\rho}$, with stability index $\alpha$ and asymmetry parameter $\rho$. We show that the classical scale mixture of $\mathbf{b}_{\alpha,\rho}$ coincides with a free mixture and also a monotone…

This paper explores local second-order weak sharp minima for a broad class of nonconvex optimization problems. We propose novel second-order optimality conditions formulated through the use of classical and lower generalized support…

Let $U_0,U_1$ be two normal measures on $\kappa .$ We say that $U_0$ is in the Mitchell ordering less then $U_1,$ $U_0\vartriangleleft U_1,$ if $U_0 \in Ult(V,U_1) .$ The ordering is well-known to be transitive and well-founded. It has been…

Assume $\lambda$ is a singular limit of $\eta$ supercompact cardinals, where $\eta \leq \lambda$ is a limit ordinal. We present two forcing methods for making $\lambda^+$ the successor of the limit of the first $\eta$ measurable cardinals…

This paper provides two extensions of first order logic by `$\omega$-rules'. In each case we characterize the countable structures whose theory in the logic is categorical (has a unique model). In the one-sorted inferential $\omega$-logic,…

Consider an ergodic stationary random field $A$ on the ambient space $\mathbb R^d$. In a companion article, we introduced the notion of multiscale (first-order) functional inequalities, which extend standard functional inequalities like…

Commutative totally ordered monoids abound, number systems for example. When the monoid is not assumed commutative, one may be hard pressed to find an example. One suggested by Professor Orr Shalit are the countable ordinals with addition.…

We show that the existence of a first-order formula separating two monadic second order formulas over countable ordinal words is decidable. This extends the work of Henckell and Almeida on finite words, and of Place and Zeitoun on…

Roitman's combinatorial principle $\Delta$ is equivalent to monotone normality of the nabla product, $\nabla (\omega +1)^\omega$. If $\{ X_n : n\in \omega\}$ is a family of metrizable spaces and $\nabla_n X_n$ is monotonically normal, then…

We study log canonical thresholds (also called global log canonical threshold or $\alpha$-invariant) of $\mathbb{R}$-linear systems. We prove existence of positive lower bounds in different settings, in particular, proving a conjecture of…

We propose and study two variants of the Ambrosio-Tortorelli functional where the first-order penalization of the edge variable $v$ is replaced by a second-order term depending on the Hessian or on the Laplacian of $v$, respectively. We…

We study almost sure limiting behavior of extreme and intermediate order statistics arising from strictly stationary sequences. First, we provide sufficient dependence conditions under which these order statistics converges almost surely to…

In this work we provide algorithmic solutions to five fundamental problems concerning the verification, synthesis and correction of concurrent systems that can be modeled by bounded p/t-nets. We express concurrency via partial orders and…

This paper is dedicated to the regularity of the optimal sets for the second eigenvalue of the Dirichlet Laplacian. Precisely, we prove that if the set $\Omega$ minimizes the functional \[ \mathcal…

Bilevel optimization minimizes an objective function, defined by an upper-level problem whose feasible region is the solution of a lower-level problem. We study the oracle complexity of finding an $\epsilon$-stationary point with…

The theory of regular cost functions is a quantitative extension to the classical notion of regularity. A cost function associates to each input a non-negative integer value (or infinity), as opposed to languages which only associate to…