13,668 research outputs found
On the insertion of n-powers
In algebraic terms, the insertion of -powers in words may be modelled at
the language level by considering the pseudovariety of ordered monoids defined
by the inequality . 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 . 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 -power insertions. We
exhibit a simple upper bound and show that it satisfies all pseudoidentities
which are provable from 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 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
- …