Decision Problems For Convex Languages

In this paper we examine decision problems associated with various classes of convex languages, studied by Ang and Brzozowski (under the name "continuous languages"). We show that we can decide whether a given language L is prefix-, suffix-, factor-, or subword-convex in polynomial time if L is represented by a DFA, but that the problem is PSPACE-hard if L is represented by an NFA. In the case that a regular language is not convex, we prove tight upper bounds on the length of the shortest words demonstrating this fact, in terms of the number of states of an accepting DFA. Similar results are proved for some subclasses of convex languages: the prefix-, suffix-, factor-, and subword-closed languages, and the prefix-, suffix-, factor-, and subword-free languages.Comment: preliminary version. This version corrected one typo in Section 2.1.1, line

Degree of Sequentiality of Weighted Automata

Weighted automata (WA) are an important formalism to describe quantitative properties. Obtaining equivalent deterministic machines is a longstanding research problem. In this paper we consider WA with a set semantics, meaning that the semantics is given by the set of weights of accepting runs. We focus on multi-sequential WA that are defined as finite unions of sequential WA. The problem we address is to minimize the size of this union. We call this minimum the degree of sequentiality of (the relation realized by) the WA. For a given positive integer k, we provide multiple characterizations of relations realized by a union of k sequential WA over an infinitary finitely generated group: a Lipschitz-like machine independent property, a pattern on the automaton (a new twinning property) and a subclass of cost register automata. When possible, we effectively translate a WA into an equivalent union of k sequential WA. We also provide a decision procedure for our twinning property for commutative computable groups thus allowing to compute the degree of sequentiality. Last, we show that these results also hold for word transducers and that the associated decision problem is PSPACE -complete

Application of the sale‐down methodology to study the effect of mixing on Trichoderma reesei physiology and enzyme production

International audienceIn this study, the effect of oxygen oscillations on enzyme production has been investigated during cultures of T. reesei. By using 2 bioreactors a decrease of 20% in the specific production rate and yield for long-time cycling exposure to anaerobic conditions (15 min) was observed, whereas a short cycle of anaerobiosis (3-4 min) was sufficient by using 1 bioreactor. Our results indicate the sensitivity of T. reesei to anaerobiosis and the fact that the metabolic response is complex and not immediate because it depends on the distribution of the residence times of the microorganisms in the aerated or non‐aerated zones

Simulations of Weighted Tree Automata

Simulations of weighted tree automata (wta) are considered. It is shown how such simulations can be decomposed into simpler functional and dual functional simulations also called forward and backward simulations. In addition, it is shown in several cases (fields, commutative rings, Noetherian semirings, semiring of natural numbers) that all equivalent wta M and N can be joined by a finite chain of simulations. More precisely, in all mentioned cases there exists a single wta that simulates both M and N. Those results immediately yield decidability of equivalence provided that the semiring is finitely (and effectively) presented.Comment: 17 pages, 2 figure

On the Number of Synchronizing Colorings of Digraphs

We deal with $k$-out-regular directed multigraphs with loops (called simply \emph{digraphs}). The edges of such a digraph can be colored by elements of some fixed $k$-element set in such a way that outgoing edges of every vertex have different colors. Such a coloring corresponds naturally to an automaton. The road coloring theorem states that every primitive digraph has a synchronizing coloring. In the present paper we study how many synchronizing colorings can exist for a digraph with $n$ vertices. We performed an extensive experimental investigation of digraphs with small number of vertices. This was done by using our dedicated algorithm exhaustively enumerating all small digraphs. We also present a series of digraphs whose fraction of synchronizing colorings is equal to $1-1/k^d$, for every $d \ge 1$ and the number of vertices large enough. On the basis of our results we state several conjectures and open problems. In particular, we conjecture that $1-1/k$ is the smallest possible fraction of synchronizing colorings, except for a single exceptional example on 6 vertices for $k=2$.Comment: CIAA 2015. The final publication is available at http://link.springer.com/chapter/10.1007/978-3-319-22360-5_1

A Characterization of Bispecial Sturmian Words

A finite Sturmian word w over the alphabet {a,b} is left special (resp. right special) if aw and bw (resp. wa and wb) are both Sturmian words. A bispecial Sturmian word is a Sturmian word that is both left and right special. We show as a main result that bispecial Sturmian words are exactly the maximal internal factors of Christoffel words, that are words coding the digital approximations of segments in the Euclidean plane. This result is an extension of the known relation between central words and primitive Christoffel words. Our characterization allows us to give an enumerative formula for bispecial Sturmian words. We also investigate the minimal forbidden words for the set of Sturmian words.Comment: Accepted to MFCS 201

Copolymer template control of gold nanoparticle synthesis via thermal annealing

We present here an original process combining top-down and bottom-up approaches by annealing a thin gold film evaporated onto a hole template made by etching a PS-PMMA copolymer film. Such process allows a better control of the gold nanoparticle size distribution which provides a sharper localized surface plasmon resonance. This makes such route appealing for sensing applications since the figure of merit of the Au nanoparticles obtained after thermal evaporation is more than doubled. Such process could besides allow tuning the localized surface plasmon resonance by using copolymer with various molecular weights and thus be attractive for surface enhanced raman spectroscopy

Coupled CDW and SDW Fluctuations as an Origin of Anomalous Properties of Ferromagnetic Superconductor UGe_2

It is shown that anomalous properties of UGe_2 can be understood in a unified way on the basis of a single assumption that the superconductivity is mediated by the coupled SDW and CDW fluctuations induced by the imperfect nesting of the Fermi surface with majority spins at T=T_x(P) deep in the ferromagnetic phase. Excess growth of uniform magnetization is shown to develop in the temperature range T<T_x(P) as a mode-coupling effect of coupled growth of SDW and CDW orderings, which has been observed by two different types of experiments. The coupled CDW and SDW fluctuations are shown to be essentially ferromagnetic spin fluctuations which induce a spin-triplet p-wave attraction. These fluctuations consist of two modes, spin and charge fluctuations with large momentum transfer of the nesting vector. An anomalous temperature dependence of the upper critical field H_c2(T) such as crossing of H_c2(T) at P=11.4 kbar and P=13.5 kbar, can be understood by the strong-coupling-superconductivity formalism. Temperature dependence of the lattice specific heat including a large shoulder near T_x is also explained quite well as an effect of a kind of Kohn anomaly associated with coupled SDW-CDW transition.Comment: (12 pages, 10 eps figures) submitted to J. Phys. Soc. Jp

Field-tunable magnetic phases in a semiconductor-based two-dimensional Kondo lattice

We show the existence of intrinsic localized spins in mesoscopic high-mobility GaAs/AlGaAs heterostructures. Non-equilibrium transport spectroscopy reveals a quasi-regular distribution of the spins, and indicates that the spins interact indirectly via the conduction electrons. The interaction between spins manifests in characteristic zero-bias anomaly near the Fermi energy, and indicates gate voltage-controllable magnetic phases in high-mobility heterostructures. To address this issue further, we have also designed electrostatically tunable Hall devices, that allow a probing of Hall characteristics at the active region of the mesoscopic devices. We show that the zero field Hall coefficient has an anomalous contribution, which can be attributed to scattering by the localized spins. The anomalous contribution can be destroyed by an increase in temperature, source drain bias, or field range.Comment: To be published in PhysicaE EP2DS proceedin