Graph Spectral Properties of Deterministic Finite Automata

We prove that a minimal automaton has a minimal adjacency matrix rank and a minimal adjacency matrix nullity using equitable partition (from graph spectra theory) and Nerode partition (from automata theory). This result naturally introduces the notion of matrix rank into a regular language L, the minimal adjacency matrix rank of a deterministic automaton that recognises L. We then define and focus on rank-one languages: the class of languages for which the rank of minimal automaton is one. We also define the expanded canonical automaton of a rank-one language.Comment: This paper has been accepted at the following conference: 18th International Conference on Developments in Language Theory (DLT 2014), August 26 - 29, 2014, Ekaterinburg, Russi

Enumeration and Decidable Properties of Automatic Sequences

We show that various aspects of k-automatic sequences -- such as having an unbordered factor of length n -- are both decidable and effectively enumerable. As a consequence it follows that many related sequences are either k-automatic or k-regular. These include many sequences previously studied in the literature, such as the recurrence function, the appearance function, and the repetitivity index. We also give some new characterizations of the class of k-regular sequences. Many results extend to other sequences defined in terms of Pisot numeration systems

Z-polyregular functions

Given an MSO formula $\phi$ with free variables $x_1, \dots, x_k$, one can define the function $\# \phi$ mapping a word $w$ to the number of valuations satisfying $\phi$ in $w$. In this paper, we introduce the class of $\mathbb{Z}$-linear combinations of such functions, that we call $\mathbb{Z}$-polyregular functions. Indeed, it turns out to be closely related to the well-studied class of polyregular functions. The main results of this paper solve two natural decision problems for $\mathbb{Z}$-polyregular functions. First, we show that one can minimise the number $k \ge 0$ of free variables which are needed to describe a function. Then, we show how to decide if a function can be defined using first-order formulas, by extending the notion of residual automaton and providing an original semantic characterisation based on aperiodicity. We also connect this class of functions to $\mathbb{Z}$-rational series.Comment: 23 pages, 2 figure

Regular and First Order List Functions

We define two classes of functions, called regular (respectively, first-order) list functions, which manipulate objects such as lists, lists of lists, pairs of lists, lists of pairs of lists, etc. The definition is in the style of regular expressions: the functions are constructed by starting with some basic functions (e.g. projections from pairs, or head and tail operations on lists) and putting them together using four combinators (most importantly, composition of functions). Our main results are that first-order list functions are exactly the same as first-order transductions, under a suitable encoding of the inputs; and the regular list functions are exactly the same as MSO-transductions

On the measurement of a weak classical force coupled to a quantum-mechanical oscillator. I. Issues of principle

The monitoring of a quantum-mechanical harmonic oscillator on which a classical force acts is important in a variety of high-precision experiments, such as the attempt to detect gravitational radiation. This paper reviews the standard techniques for monitoring the oscillator, and introduces a new technique which, in principle, can determine the details of the force with arbitrary accuracy, despite the quantum properties of the oscillator. The standard method for monitoring the oscillator is the "amplitude-and-phase" method (position or momentum transducer with output fed through a narrow-band amplifier). The accuracy obtainable by this method is limited by the uncertainty principle ("standard quantum limit"). To do better requires a measurement of the type which Braginsky has called "quantum nondemolition." A well known quantum nondemolition technique is "quantum counting," which can detect an arbitrarily weak classical force, but which cannot provide good accuracy in determining its precise time dependence. This paper considers extensively a new type of quantum nondemolition measurement—a "back-action-evading" measurement of the real part X_1 (or the imaginary part X_2) of the oscillator's complex amplitude. In principle X_1 can be measured "arbitrarily quickly and arbitrarily accurately," and a sequence of such measurements can lead to an arbitrarily accurate monitoring of the classical force. The authors describe explicit Gedanken experiments which demonstrate that X_1 can be measured arbitrarily quickly and arbitrarily accurately. In these experiments the measuring apparatus must be coupled to both the position (position transducer) and the momentum (momentum transducer) of the oscillator, and both couplings must be modulated sinusoidally. For a given measurement time the strength of the coupling determines the accuracy of the measurement; for arbitrarily strong coupling the measurement can be arbitrarily accurate. The "momentum transducer" is constructed by combining a "velocity transducer" with a "negative capacitor" or "negative spring." The modulated couplings are provided by an external, classical generator, which can be realized as a harmonic oscillator excited in an arbitrarily energetic, coherent state. One can avoid the use of two transducers by making "stroboscopic measurements" of X_1, in which one measures position (or momentum) at half-cycle intervals. Alternatively, one can make "continuous single-transducer" measurements of X_1 by modulating appropriately the output of a single transducer (position or momentum), and then filtering the output to pick out the information about X_1 and reject information about X_2. Continuous single-transducer measurements are useful in the case of weak coupling. In this case long measurement times are required to achieve good accuracy, and continuous single-transducer measurements are almost as good as perfectly coupled two-transducer measurements. Finally, the authors develop a theory of quantum nondemolition measurement for arbitrary systems. This paper (Paper I) concentrates on issues of principle; a sequel (Paper II) will consider issues of practice