On the insertion of n-powers

In algebraic terms, the insertion of $n$-powers in words may be modelled at the language level by considering the pseudovariety of ordered monoids defined by the inequality $1\le x^n$. We compare this pseudovariety with several other natural pseudovarieties of ordered monoids and of monoids associated with the Burnside pseudovariety of groups defined by the identity $x^n=1$. In particular, we are interested in determining the pseudovariety of monoids that it generates, which can be viewed as the problem of determining the Boolean closure of the class of regular languages closed under $n$-power insertions. We exhibit a simple upper bound and show that it satisfies all pseudoidentities which are provable from $1\le x^n$ in which both sides are regular elements with respect to the upper bound

The omega-inequality problem for concatenation hierarchies of star-free languages

The problem considered in this paper is whether an inequality of omega-terms is valid in a given level of a concatenation hierarchy of star-free languages. The main result shows that this problem is decidable for all (integer and half) levels of the Straubing-Th\'erien hierarchy

Strongly Secure and Efficient Data Shuffle On Hardware Enclaves

Mitigating memory-access attacks on the Intel SGX architecture is an important and open research problem. A natural notion of the mitigation is cache-miss obliviousness which requires the cache-misses emitted during an enclave execution are oblivious to sensitive data. This work realizes the cache-miss obliviousness for the computation of data shuffling. The proposed approach is to software-engineer the oblivious algorithm of Melbourne shuffle on the Intel SGX/TSX architecture, where the Transaction Synchronization eXtension (TSX) is (ab)used to detect the occurrence of cache misses. In the system building, we propose software techniques to prefetch memory data prior to the TSX transaction to defend the physical bus-tapping attacks. Our evaluation based on real implementation shows that our system achieves superior performance and lower transaction abort rate than the related work in the existing literature.Comment: Systex'1

Replica-symmetric solutions of a dilute Ising ferromagnet in a random field

We use the replica method in order to obtain an expression for the variational free energy of an Ising ferromagnet on a Viana-Bray lattice in the presence of random external fields. Introducing a global order parameter, in the replica-symmetric context, the problem is reduced to the analysis of the solutions of a nonlinear integral equation. At zero temperature, and under some restrictions on the form of the random fields, we are able to perform a detailed analysis of stability of the replica-symmetric solutions. In contrast to the behaviour of the Sherrington-Kirkpatrick model for a spin glass in a uniform field, the paramagnetic solution is fully stable in a sufficiently large random field

Locally countable pseudovarieties

The purpose of this paper is to contribute to the theory of profinite semigroups by considering the special class consisting of those all of whose finitely generated closed subsemigroups are countable, which are said to be locally countable. We also call locally countable a pseudovariety V (of finite semigroups) for which all pro-V semigroups are locally countable. We investigate operations preserving local countability of pseudovarieties and show that, in contrast with local finiteness, several natural operations do not preserve it. We also investigate the relationship of a finitely generated profinite semigroup being countable with every element being expressible in terms of the generators using multiplication and the idempotent (omega) power. The two properties turn out to be equivalent if there are only countably many group elements, gathered in finitely many regular J -classes. We also show that the pseudovariety generated by all finite ordered monoids satisfying the inequality 1 6 x n is locally countable if and only if n = 1

Initial pseudo-steady state & asymptotic KPZ universality in semiconductor on polymer deposition

The Kardar-Parisi-Zhang (KPZ) class is a paradigmatic example of universality in nonequilibrium phenomena, but clear experimental evidences of asymptotic 2D-KPZ statistics are still very rare, and far less understanding stems from its short-time behavior. We tackle such issues by analyzing surface fluctuations of CdTe films deposited on polymeric substrates, based on a huge spatio-temporal surface sampling acquired through atomic force microscopy. A \textit{pseudo}-steady state (where average surface roughness and spatial correlations stay constant in time) is observed at initial times, persisting up to deposition of $\sim 10^{4}$ monolayers. This state results from a fine balance between roughening and smoothening, as supported by a phenomenological growth model. KPZ statistics arises at long times, thoroughly verified by universal exponents, spatial covariance and several distributions. Recent theoretical generalizations of the Family-Vicsek scaling and the emergence of log-normal distributions during interface growth are experimentally confirmed. These results confirm that high vacuum vapor deposition of CdTe constitutes a genuine 2D-KPZ system, and expand our knowledge about possible substrate-induced short-time behaviors.Comment: 13 pages, 8 figures, 2 table

Theoretical investigation of moir\'e patterns in quantum images

Moir\'e patterns are produced when two periodic structures with different spatial frequencies are superposed. The transmission of the resulting structure gives rise to spatial beatings which are called moir\'e fringes. In classical optics, the interest in moir\'e fringes comes from the fact that the spatial beating given by the frequency difference gives information about details(high spatial frequency) of a given spatial structure. We show that moir\'e fringes can also arise in the spatial distribution of the coincidence count rate of twin photons from the parametric down-conversion, when spatial structures with different frequencies are placed in the path of each one of the twin beams. In other words,we demonstrate how moir\'e fringes can arise from quantum images