Disassembling the clockwork mechanism

The clockwork mechanism is a means of naturally generating exponential hierarchies in theories without significant hierarchies among fundamental parameters. We emphasize the role of interactions in the clockwork mechanism, demonstrating that clockwork is an intrinsically abelian phenomenon precluded in non-abelian theories such as Yang-Mills, non-linear sigma models, and gravity. We also show that clockwork is not realized in extra-dimensional theories through purely geometric effects, but may be generated by appropriate localization of zero modes.


Introduction
The problems of the Standard Model remain as striking as ever, but their solutionsif they indeed exist -have yet to make themselves apparent. From the electroweak hierarchy problem to the dark matter puzzle to the inflationary paradigm, experimental data largely disfavors solutions involving mass scales and couplings commensurate with those seen elsewhere in nature.
Perhaps this is a sign that the degrees of freedom solving the problems of the Standard Model are in some way sequestered from us, interacting feebly due to small dimensionless couplings or the suppression by vast dimensionful scales. Indeed, extensions of the Standard Model operating along these lines are among the most compatible with existing data: JHEP10(2017)018 cosmological observations are accommodated by inflationary potentials that are flat on trans-Planckian scales; the electroweak hierarchy problem may be solved by the evolution of fields across similarly trans-Planckian distances [1]; and dark matter may be explained by light particles carrying infinitesimal electromagnetic charges. Recent attempts to test these feebly-interacting degrees of freedom have led to a proliferation of novel experiments across the energy, intensity, and cosmic frontiers.
Such feeble interactions require large parametric hierarchies with respect to the couplings and scales of the Standard Model and quantum gravity. These parametric hierarchies are challenging to understand from the perspective of naturalness, which prefers O(1) dimensionless couplings and degenerate scales in the fundamental theory. Even parameters that are technically natural or otherwise radiatively stable beg for deeper explanation if they are infinitesimally small. Beyond questions of field-theoretic naturalness, extremely weak couplings are challenging to reconcile with generic properties of quantum gravity [2].
To this end, there has recently been considerable progress in generating large effective hierarchies from theories whose fundamental parameters are all natural in the conventional sense. These include models of inflation with sub-Planckian intrinsic scales and super-Planckian effective couplings [3][4][5], as well as more general theories realizing exponential hierarchies in the decay constants of pseudo-goldstone bosons [6,7]. Such "clockwork" models involve a linear quiver with N + 1 sites, where each site possesses a global U(1) symmetry acting on a complex scalar field. The U(1) N +1 symmetry of the quiver is explicitly broken by asymmetric nearest-neighbor interactions that preserve a single U (1). When the scalars acquire vacuum expectation values, the resulting goldstone boson is a linear combination of fields from each site whose weights follow a geometric sequence, and the unbroken symmetry is asymmetrically distributed among sites. As a result, any coupling of additional fields to the scalar at a specific site gives rise to an exponentially-suppressed and site-dependent coupling of those fields to the goldstone boson. This provides a natural mechanism for generating exponential hierarchies in a theory whose fundamental parameters are all of comparable size, and leads to a variety of model-building possibilities [8][9][10].
In [11], the clockwork mechanism was generalized to include states of higher spin, giving rise to exponentially small fermion masses, gauge millicharges, and gravitational couplings. Even more ambitiously, the authors of [11] also conjecture a continuum counterpart to fourdimensional clockwork in the form of five-dimensional linear dilaton models, which in turn are holographically related (with the addition of two more compact dimensions) to little string theory [12]. If true, this would open the door to a wider variety of constructions in both four and five dimensions [13,14].
Given the potentially vast applications of clockwork to questions of phenomenological interest, it is crucial to precisely determine the scope of clockwork. As such, in this paper we systematically answer two questions: 1. What theories can be clockworked in four dimensions?
2. What are their higher-dimensional continuum counterparts?
To answer these questions, we must take care to carefully define the features of a clockwork theory. In particular, the definition must distinguish genuine "clockwork" phenom-JHEP10(2017)018 ena from already-familiar hierarchies arising from volume suppression [15] or curvatureinduced localization [16] in extra dimensions (or their deconstructed counterparts [17][18][19][20]). For our purposes, we will take clockwork to involve the salient features of the original models [6,7], namely Clockwork: A four-dimensional quiver theory with no exponential hierarchies in fundamental parameters that gives rise to exponentially suppressed (and sitedependent) couplings to a symmetry-protected zero mode.
These are not merely incidental properties of clockwork, but essential ones. In particular, site-dependent exponentially suppressed couplings are a hallmark of the asymmetric distribution of the unbroken symmetry among different sites. This clearly distinguishes the clockwork theories of [6,7] in four dimensions from, say, deconstructions of extra dimensions with flat or bulk AdS metrics. For example, deconstructions of flat extra dimensions involve no hierarchies in fundamental parameters, but only give rise to siteindependent zero mode couplings suppressed by ∼ √ N factors. Similarly, deconstructions of Randall-Sundrum and other warped models can give rise to exponentially-suppressed (albeit position-independent) zero mode couplings, but necessarily involve exponential hierarchies in the vacuum expectation values of the link fields. The genuine novelty of clockwork is that it furnishes exponential and site-dependent effective couplings from a fundamental theory with no large parametric hierarchies or multiplicity of sites. To the extent that these properties arise from the asymmetric distribution of an unbroken symmetry subgroup, in what follows we will refer to the localization of fields in the space of appropriate symmetry generators as 'symmetry-localization.' Such symmetry-localization controls the couplings of fields dictated by gauge or global symmetries. As we will see, this symmetry-localization differs in important ways from localization of fields propagating in a non-trivial geometry with respect to a 5D metric.
As we will show, the answers to these questions are: 1. Clockwork is a strictly abelian phenomenon. In particular, there is no clockwork for Yang-Mills theories, non-linear sigma models, or gravity.
2. Geometry alone cannot clockwork bosonic fields. Zero modes of massless bosonic bulk fields are flat, regardless of apparent features of the metric. In particular, higher-dimensional models with massless bulk fields on linear dilaton backgrounds do not furnish continuum counterparts of clockwork. Successful continuum clockwork requires bulk and brane masses to symmetry-localize the zero mode.
These conclusions are consistent with the original clockwork proposals [6,7], but they are in tension with the results of [11], applications thereof [13], and subsequent attempts to clockwork non-abelian global symmetries [14]. Insofar as it is not possible to clockwork gravity in the sense of generating an asymmetrically-distributed general coordinate invariance, clockwork offers no new solution to the electroweak hierarchy problem. Moreover, in those cases where clockwork is possible, namely for spin-0 and abelian spin-1 fields, we argue that -appropriately interpreted -deconstructions of five-dimensional linear dilaton models do not exhibit clockwork phenomena.

JHEP10(2017)018
We emphasize that our statement about the lack of a clockwork solution to the hierarchy problem stems solely from the fact that gravity cannot be consistently clockworked, as we prove in section 2.4. This is not a statement about the potential of linear dilaton theories for solving the hierarchy problem -that they do is well-known [21,22]. In these theories exponential hierarchies are generated by a linear profile for the dilaton, whose exponential coupling gives rise to the desired hierarchies. When deconstructed, they do not lead to four-dimensional theories with a clockwork graviton in which the surviving general coordinate invariance is asymmetrically distributed among different sites. 1 More optimistically, we construct five-dimensional theories with bulk and brane masses that exhibit clockwork phenomena. These are the continuum counterparts of clockwork theories, in the sense that discretizing them gives four-dimensional theories whose spectra and couplings match those of a uniform four-dimensional clockwork up to appropriately small 1/N corrections. The emergence of meaningful clockwork phenomena in the deconstruction of higher-dimensional theories with bulk and brane masses opens the door to a variety of promising model-building possibilities.
We stress that further model building opportunities may arise if the definition of clockwork is significantly relaxed. In particular, if we do not require that the zero-mode be symmetry protected, it is possible to construct a quiver of non-linear sigma models whose zero-mode has exponentially suppressed, and site-dependent, couplings [23]. Whilst such a zero-mode is necessarily massive, it may be parametrically lighter than the other modes of the quiver -a fact which is mirrored in the quiver's 5D analog as the fifth component of a non-Abelian gauge field in AdS. However, in keeping with the original clockwork model, we will insist on a symmetry-protected, massless zero-mode in the rest of the paper.
The paper is organized as follows: in section 2 we review the essential features of the discrete clockwork mechanism, following the arguments of [11], and illustrate how effective clockworking arises only for goldstone bosons of spontaneously broken abelian global symmetries, and gauge bosons of abelian gauge symmetries. We explicitly show how an analogous mechanism cannot be built for non-abelian gauge bosons and gravitons. We establish the abelian nature of clockwork more rigorously in section 3 using group-theoretic arguments, independent of any specific quiver constructions. In section 4 we turn to the conjectured continuum counterpart of viable four-dimensional clockwork. We show that the couplings between the zero mode of a massless bulk scalar or vector and matter localized at some point in the fifth dimension do not reproduce the properties of clockwork models when deconstructed -a statement that holds for a general class of warped metrics, and includes linear dilaton theories. Given the failure of geometry alone to produce clockwork, in section 5 we show that genuine clockwork arises in the deconstruction of extra dimensions with a flat metric and suitably-chosen bulk and brane mass terms that preserve a massless zero mode. We summarize our conclusions in section 6, and reserve more general grouptheoretic arguments in both four and five dimensions for appendix A. Finally, in appendix B we explicitly show how the deconstruction of a gravitational extra dimension does not lead to a graviton clockwork, in keeping with our results of section 2.

JHEP10(2017)018 2 Discrete clockwork
In this section, we discuss the basic features of the discrete clockwork mechanism using the framework introduced in [11]. Sections 2.1 and 2.2 focus on the spin-0, and abelian spin-1 scenarios, in which a finite amount of clockworking may be successfully generated in a consistent fashion (as defined in the Introduction). On the other hand, sections 2.3 and 2.4 illustrate how an analogous clockwork mechanism cannot be consistently constructed in the non-abelian spin-1 and spin-2 cases. We summarize these results from the perspective of the clockwork symmetry in section 2.5.

Scalar clockwork
The discrete scalar clockwork mechanism involves N + 1 real scalar fields, together with N charge and mass-squared parameters, q j and m 2 j (j = 0, . . . , N − 1), such that the lagrangian of the scalar sector is given by 2 The N + 1 scalar fields φ j may be conveniently thought of as the Goldstone bosons of a global U(1) N +1 symmetry, spontaneously broken at some high scale f . Eq. (2.1) can then be regarded as the effective lagrangian of the Goldstone sector, valid at scales f , and with the mass-squared parameters m 2 j introducing an explicit breaking of N of the N + 1 global symmetries. As a result, the effective theory of the Goldstone sector features only one massless state.
The parameters m 2 j may arise from the vacuum expectation values (vev's) of N additional scalar fields charged under the U(1) j and U(1) j+1 global subgroups, with charges +1 and −q j respectively, as discussed in [11]. This allows for the effective theory defined through eq. (2.1) to be UV completed in a way such that all sources of symmetry breaking are spontaneous.
The profile of the massless mode corresponding to the single Goldstone that remains in the spectrum is given by where the expression for c 0 comes from demanding the kinetic term of φ (0) be canonical. In particular, in the case of equal clockwork parameters (m 2 j ≡ m 2 , q j ≡ q ∀ j = 0, . . . , N − 1) considered in [11], one finds c j q −j (for q > 1 and large N ). The massless mode therefore has a profile that is exponentially localized towards the j = 0 site.
The clockwork mechanism as a means of generating large hierarchies comes into play when we introduce an axion-like coupling between one of the scalar fields (e.g. the scalar JHEP10(2017)018 field of the k-th site), and a non-abelian gauge theory, of the form The term in the above equation involving only the scalar zero mode reads 3 where we have defined an effective axion coupling scale We have restricted ourselves to the case of equal charges, q j ≡ q > 1, for illustration.) An effective axion coupling that is hierarchically larger than the symmetry breaking scale f is dynamically generated if the gauge theory is coupled to one of the scalar fields towards the end of the array of sites. The clockwork mechanism for scalars then allows for exponentially different effective axion couplings depending on where the gauge theory is localized, as a result of the symmetry-localization of the massless scalar field along the lattice, and in the absence of site-dependent hierarchies in the decay constants of the N + 1 axions in the unbroken phase. In particular, for two non-abelian gauge theories localized on opposite sites, but otherwise identical (with the same gauge coupling, and therefore the same physical properties like their confinement scales), the clockwork mechanism leads to a hierarchy of effective axion couplings: Finally, notice that f 0 can be super-Planckian in a natural fashion, in the sense that it is achieved with parametrically few lattice sites, each of which may have a sub-Planckian symmetry breaking scale f .

Abelian vector clockwork
In analogy with the scalar mechanism described in section 2.1, the abelian vector clockwork [24] consists of N + 1 U(1) gauge theories, each with its own gauge coupling g j , together with N charge and mass-squared parameters, q j and v 2 j (j = 0, . . . , N − 1), such that the lagrangian of the vector sector is given by The mass terms have the same form as those in eq. (2.1) for the scalar case, and, as before, may be regarded as arising from the vev's of N scalar fields Φ j (j = 0, . . . , N − 1) with JHEP10(2017)018 charges +1 and −q j under U(1) j and U(1) j+1 respectively. As a result, N of the N + 1 abelian gauge symmetries are broken spontaneously, with a single unbroken U(1) factor remaining. Eq. (2.7) then corresponds to the effective lagrangian describing the vector sector, in unitary gauge. The terms involving the only massless vector that remains in the spectrum are given by the substitutions A jµ = c j A µ(0) + . . ., with c j as in eq. (2.2) and the dots denoting strictly massive modes, yielding an effective gauge coupling where in the last step we have assumed q j ≡ q > 1 and g j ≡ g ∀ j for simplicity. 4 If we now consider a scalar field ϕ with charge Q ϕ under the U(1) k gauge group, then its kinetic term reads where the dots denote strictly massive modes, and in the second equality we have again considered the case of q j ≡ q > 1. The effective coupling strength between ϕ and the massless vector is then given by ∼ g (0) Q ϕ c 0 q −k gQ ϕ q −k . In particular, for two scalar fields, ϕ 0 and ϕ N , charged under the gauge groups at opposite sites with the same charge Q ϕ , the clockwork mechanism leads to an effective hierarchy of charges under the unbroken gauge group: As in the scalar case, the exponential difference in effective couplings arises as a consequence of the symmetry-localization of the massless vector along the lattice, and in the absence of site-dependent hierarchies in the gauge couplings of the N +1 vectors in the unbroken phase.

(No) non-abelian vector clockwork
The difficulties for constructing a non-abelian version of the discrete clockwork mechanism become apparent after having reviewed the abelian case. By analogy, we might choose the N scalar link fields, responsible for spontaneously breaking the non-abelian G N +1 group down to G, to transform under different representations of adjacent gauge groups. However, as we show below, such a symmetry breaking pattern would not leave a single non-abelian symmetry group intact (the N vev's would break all N + 1 copies of G). The only viable lagrangian, which retains a G symmetry after the link fields acquire vev's, has link fields transforming as bifundamentals, in which case it is clear that no clockworking can be generated, as this would be analogous to the abelian case discussed in section 2.2 with all q j = 1.
To illustrate this situation, consider N + 1 copies of a non-abelian gauge group SU(n), and N scalar fields Φ j (j = 0, . . . , N − 1) transforming as bifundamentals under SU(n) j

JHEP10(2017)018
and SU(n) j+1 . After spontaneous symmetry breaking of N of the N + 1 SU(n) gauge symmetries due to the non-zero vev's of the scalar fields, the effective lagrangian of the vector sector, in unitary gauge, is that of eq. (2.7) after setting q j ≡ 1, and with the obvious replacements A jµ → A a jµ and F jµν → F a jµν . The massless vector lagrangian is then obtained by the substitutions A a jµ = A a µ(0) + . . ., and the effective gauge coupling of the unbroken non-abelian gauge theory is given by (2.11) Consider now a scalar field ϕ transforming under a representation R of the gauge group SU(n) k . Its kinetic term reads where T a R are the generators of SU(n) in the appropriate representation, and the dots denote strictly massive modes. The field ϕ then transforms under representation R of the unbroken SU(n) factor, with an effective gauge coupling g (0) independent of the position of the k-th site. 5 Moreover, notice from eq. (2.11) that it is not possible to generate a parametrically small effective gauge coupling in a natural fashion. In particular, eq. (2.11) has two ineffective limits. One, we may set all g j = g, such that g (0) g/ √ N , and so an unnaturally large number of sites N would be required to generate a meaningful hierarchy between g (0) and g j . Two, the individual g j may be of parametrically different sizes, the smallest of which determines the size of g (0) ∼ min j g j .
We can be more general, and prove that the lack of symmetry-localization of the massless vector mode along the different sites is in fact a requirement if its mass is to be protected by gauge invariance. 6 To illustrate this, consider the case in which the vector field on every site is given by A a jµ = c j A a (0)µ + . . ., with the dots denoting massive modes as usual, and let's remain agnostic about the dynamical origin of the coefficients c j . The kinetic terms of the N + 1 non-abelian gauge theories read Substituting A a jµ = c j A a (0)µ + . . ., the terms in eq. (2.13) involving the massless mode A a (0)µ only read (2.14) Gauge invariance of the massless mode lagrangian requires all three sums in the equation above be equal, 7 and they define the effective gauge coupling of the unbroken theory, i.e. (2.15) The above equalities are only satisfied if c j ∈ {0, 1} ∀j, and the terms in eq. (2.14) are then manifestly invariant under infinitesimal gauge transformations of the usual form A a This general argument addresses, in particular, the case in which the scalar fields Φ j are chosen to transform under inequivalent representations of the gauge groups at sites j and j + 1, as well as more intricate constructions in which the Φ j are chosen to transform nontrivially under non-contiguous gauge groups. Either way, the resulting effective lagrangian describing the vector sector will not have a clockworked non-abelian gauge boson. Thus, although it is possible to build constructions leading to c j / ∈ {0, 1}, and in which the lowest lying vector mode is massless at tree-level (e.g. by writing a mass term for the non-abelian gauge sector as in eq. (2.7) with q j > 1), the masslessness of this mode will not be protected by gauge invariance. We can therefore conclude that a meaningful clockwork mechanism is impossible to engineer in the context of a non-abelian gauge theory. As we discuss next in section 2.4, this statement straightforwardly generalizes to the graviton case -an unsurprising result, for gravity is a non-abelian theory itself.

(No) graviton clockwork
After having discussed the scalar and vector cases, one could wonder whether a spin-2 version of the clockwork mechanism may be consistently built. As before, the starting point would consist of N + 1 sites, each of them with its own metric g jµν and general coordinate invariance symmetry GC j . Allowing for gravitational interactions of varying strength on each site, the Einstein-Hilbert part of the lagrangian simply reads

16)
7 Gauge invariance requires both the terms in eq. (2.14), and interaction terms between the massless mode and massive modes (omitted from eq. (2.14)) be gauge invariant independently. However, focusing on the terms in eq. (2.14) will be sufficient to prove that it is not possible to build non-abelian clockwork.

JHEP10(2017)018
where R j is the Ricci scalar corresponding to the metric g jµν , and M j the reduced Planck mass at site j. Eq. (2.16) is manifestly invariant under all N + 1 copies of GC j . If we expand the metric on every site as a perturbation around flat space, i.e. g jµν = η µν + h jµν , then the expansion of eq. (2.16) up to O(h 2 j ) takes the familiar form where h j ≡ η µν h µν j . Subtleties arise when trying to write a mass term that would render N of the gravitons massive in a way that allows for the full general coordinate invariance of the theory to be restored at some high scale. This was thoroughly explored in [25], where it is argued that this may be achieved by introducing N 'link' fields Y µ j (j = 0, . . . , N − 1), which transform non-trivially under GC j and GC j+1 , in complete analogy with the scalar fields Φ j introduced in the vector case. As discussed in [25], each field Y µ j corresponds to a map between a set of coordinates x µ j at site j and coordinates Y µ j (x j ) at site j + 1, and defines a pullback map from site j + 1 to site j. For instance, using this map we can pullback the metric g j+1µν , which is defined at site j + 1 and transforms non-trivially under GC j+1 , to find an object which is now defined at site j, and transforms as a metric under GC j . In particular, it is now possible to add a term to the lagrangian that respects the full general coordinate invariance of the theory, of the form [25] where the mass parameters m j will set the mass scale of the N massive graviton excitations, and are analogous to the mass parameters introduced in the scalar and vector cases.
Since we are interested in expanding the metric on every site around the same flat space background, unitary gauge corresponds to Y µ j = x µ j ∀ j = 0, . . . , N − 1. 8 In this gauge, the terms in eq. (2.19) that are quadratic in the perturbation lead to a mass term As in the non-abelian case, the massless graviton lagrangian can be obtained by the substitutions h jµν = h (0)µν + . . ., where the dots denote strictly massive states, and eq. (2.17)

JHEP10(2017)018
then defines an effective 4D Planck scale This expression clearly illustrates how an effective scale M (0) much larger than the fundamental scale M j of the individual sites is not possible to engineer in this context. In particular, in the simplest case M j ≡ M ∀ j, M (0) M √ N , and so a large hierarchy between M (0) and M would require an even larger value of N , frustrating any attempt to build a solution to the electroweak hierarchy problem in a natural fashion.
If we now consider a stress energy tensor defined on the k-th site, its leading coupling to the metric perturbation is of the form where the dots denote strictly massive graviton modes. We see how the massless graviton couples with the same strength to a given stress-energy tensor, independently of the position of the site in which T µν is defined, in keeping with the Equivalence Principle. As in the non-abelian case of section 2.3, we can be more general and prove that the flatness of the massless graviton mode across the different sites is again a requirement if its mass is to be protected by diffeomorphism invariance. 9 In order to do this, it is crucial to consider terms in the expansion of eq. (2.16) that involve higher-order terms in the metric perturbation. Schematically, such an expansion has the form Now, if we allow ourselves to write h jµν = c j h (0)µν + . . ., without prejudice about the origin of the c j coefficients, then the previous equation reads where the dots denote terms involving massive graviton modes only, but also interaction terms between the massless and massive gravitons. As in the non-abelian case, that the terms in the effective lagrangian involving the massless graviton be diffeomorphism invariant requires that all the sums in the equation above be equal, 10 and define an effective Planck scale, i.e.
So far, we have only shown that a term like that of eq. (2.19) does not lead to an asymmetrically distributed massless graviton. However, one could ask whether a more complicated version of eq. (2. 19) could lead, at quadratic order, to an effective mass term like that in eq. (2.20) but with asymmetric couplings in front of the hj and hj+1 terms. 10 Again, we emphasize that diffeomorphism invariance requires both the terms explicitly written in eq. (2.24), and interaction terms between massless and massive modes be invariant independently. However, focusing on the terms in eq. (2.24) will be enough to rule out the possibility of building a clockwork graviton.

JHEP10(2017)018
As in section 2.3, these equalities are only satisfied for c j ∈ {0, 1}. The terms in eq. (2.24) are then invariant under infinitesimal diffeomorphism transformations of the usual form 11 Hence, any construction that leads to c j / ∈ {0, 1} will feature a lowest-lying graviton excitation whose mass is not protected by diffeomorphism invariance, even if it is engineered to be massless at tree-level.
In analogy with the results of section 2.3 for non-abelian gauge fields, we conclude that it is not possible to build a 4D effective theory in which a massless spin-2 particle is symmetry-localized and, at the same time, retains diffeomorphism invariance. Moreover, in the absence of exponential hierarchies among the values of the different scales M j , the effective Planck scale only depends on the number of sites as ∼ √ N . Consequently, it is apparent that there is no such thing as a clockwork graviton, and, by extension, no such thing as a clockwork solution to the hierarchy problem. (In appendix B we explicitly show how a clockwork graviton does not arise when deconstructing a gravitational extra dimension.) As an aside, we note that it is sometimes common, and convenient, to rescale the metric perturbation as h jµν → 2h jµν /M j , so that the kinetic terms in eq. (2.17) are canonical. In this rescaled basis, eq. (2.20) now reads 27) and the massless graviton mode is just given by h (0)µν = N j=0 (M j /M (0) )h jµν . 12 The graviton coupling to matter in eq. (2.22) is now which again makes it explicit how the strength of gravitational interactions between matter and the massless graviton mode is just set by M (0) , as given in eq. (2.21).

When does clockwork not work?
The results of the previous sections can also be understood clearly from the perspective of the unbroken clockwork symmetry, both in the low-energy effective theory and in possible UV completions. For simplicity we will focus here on abelian vector clockwork, for which the role of the clockwork symmetry is particularly clear, though the conclusions apply equally well to all spins, and clarify the cases in which meaningful clockwork is possible. 11 We remind the reader that eq. (2.26) is the way in which the metric perturbation hµν changes under an infinitesimal diffeomorphism transformation, which in a coordinate basis is given by Y µ = x µ + µ , regardless of the size of hµν . The last term in eq. (2.26) captures the non-abelian nature of gravity, and must be taken into account if we want to assess whether the masslessness of the graviton is indeed symmetry-protected. 12 Notice eq. (2.27) has the form of eq. (2.35) in [11], but with the extra necessary condition qj = Mj/Mj+1, i.e. non-unit q's are only a consistent choice in the presence of an exponential distribution of Planck scales.

JHEP10(2017)018
The abelian vector clockwork of eq. (2.7) arises from a UV theory of N + 1 U(1) gauge bosons connected by N link scalar fields Φ j via ] Φ j and the dots denote, e.g., potentials for the Φ j . For simplicity, we will focus on the case of equal charges, couplings, and symmetry breaking scales, but our conclusions hold for any theory in which there are no large hierarchies. If the Φ j acquire vacuum expectation values |Φ j | 2 = f 2 /2, this results in a clockwork mass matrix for canonically normalized gauge fields of the form In order to probe the unbroken clockwork symmetry, we introduce a matter field ϕ charged under the U(1) gauge group of site k with charge Q ϕ . The clockwork gauge symmetry preserved by eq. (2.30) corresponds to A jµ → A jµ + ∂ µ α(x)/q j ∀j. Under such a gauge transformation, ϕ → e iαQϕ/q k ϕ, which is naturally interpreted as a small and site-dependent charge Q ϕ /q k under the unbroken U(1). This makes clear the sense in which the sitedependent charges found in section 2.2 are a direct probe of the asymmetric distribution of the clockwork symmetry among different sites. Considering clockwork from the perspective of the unbroken symmetry also makes apparent the sense in which theories with the mass matrix eq. (2.30) may fail to generate clockwork. In particular, the clockwork theory of eq. (2.29) without any large hierarchies of couplings, charges, and scales ("Theory A") is not the only way of generating the mass matrix in eq. (2.30). An identical mass matrix arises in a theory ("Theory B") of N +1 U(1) gauge bosons with N bifundamental scalars Φ j , likewise described by eq. (2.29), in which the Φ j carry opposite charges under adjacent groups (q j = 1), the g j are unequal and satisfy g j+1 /g j = q, and the vacuum expectation values v j of the scalars Φ j satisfy g 2 j v 2 j = g 2 f 2 . Notably, there is an exponential hierarchy between the couplings and vev's at either end of the Theory B quiver, g N /g 0 = v 0 /v N = q N . Such a theory likewise preserves a U(1) symmetry, but one that is symmetrically distributed among sites and exhibits no clockwork phenomena. Given a probe field ϕ of charge Q ϕ on the site k, a gauge transformation of the unbroken U(1) symmetry induces a rotation of the probe field by e iαQϕ , independent of the position of the site. This universality is born out by diagonalizing the mass matrix and studying the couplings of the massless gauge field: the zero mode is ∝ N j=0 g −1 j A jµ , and therefore couples universally to matter fields on different sites. This theory does not clockwork, though it shares the mass matrix of eq. (2.30) with a theory that does.
One might object that Theory A and Theory B are actually the same theory, related by rescaling the gauge kinetic terms and the charges of both the link fields Φ j and the probe fields ϕ in Theory B to match those of Theory A, so that there is no invariant distinction between the two. This is certainly true if the gauge group at each site is taken to be R rather than U(1), but in this case there is no notion of natural charge assignments JHEP10(2017)018 and clockwork is uninteresting to begin with. Rather, an invariant distinction exists when additional criteria restrict the gauge groups to genuine U(1)s and fully specify the spectrum of electric and magnetic charges, as is the case in a theory of quantum gravity.
In a theory of quantum gravity (including all known examples in string theory), all continuous gauge groups are compact and satisfy the Completeness Hypothesis [26], namely that every electric and magnetic charge allowed by Dirac quantization is present in the spectrum. In this case, Theory A possesses a spectrum of states at each site carrying all possible electric charges n ∈ Z (in units of g j = g) and all possible magnetic charges 2πn/g j . Theory B possesses a similarly complete spectrum, but with respect to the exponentially varying g j . Rescaling the charges and couplings of Theory B to match those of Theory A leads to a gap in the spectrum of electric and magnetic charges at each site, in conflict with the Completeness Hypothesis. Equivalently, the spectrum of states charged under the unbroken U(1) differs between the two theories. In Theory A, the number of states of charge Q ∈ N, in units of the effective coupling of the massless U(1), is the largest i ≤ N + 1 for which q i divides Q. However, in Theory B, there are simply N + 1 states of any given charge under the unbroken U(1), which attests to the diagonal nature of the symmetry breaking in this latter case. For instance, in Theory A there is only one state of unit electric charge in units of the effective coupling of the massless U(1), while in Theory B there are N + 1 such states with unit electric charge under the unbroken U(1). Thus Theory A and Theory B are genuinely distinct theories, with distinct physical observables, and only the former exhibits clockwork phenomena.
The distinction between the two theories is not merely academic, but is essential for generating natural exponential hierarchies in a theory of quantum gravity. For example, Theory A can satisfy the magnetic form of the Weak Gravity Conjecture (WGC) in the UV, but upon higgsing gives rise to an effective theory for the massless U(1) that exponentially violates the magnetic WGC [24]. This is a precise sense in which the clockwork mechanism is a useful generator of natural exponential hierarchies. In contrast, if Theory B satisfies the magnetic WGC in the UV, then the effective theory of the massless U(1) also trivially satisfies the magnetic WGC. Theory B generates no useful exponential hierarchies -rather, it requires them as inputs.
Aside from quantum gravity arguments, discerning whether an abelian gauge theory 'clockworks' or not requires making reference to a localized lattice of charged states. The requirement that states with the same integer charge on different sites have (exponentially) different charges under the unbroken gauge theory singles out models with symmetrylocalized zero modes as the only ones that can exhibit clockwork dynamics.
As we will see, the distinction between Theory A and Theory B becomes important when attempting to identify the continuum equivalent of discrete clockwork in an extra dimension. One can always find a metric for which the Kaluza-Klein decomposition of a bulk field gives rise to the mass matrix in eq. (2.30). But as we have argued, this alone is not enough for the continuum theory to generate clockwork. Whether the continuum theory provides a successful realization of clockwork depends on whether its discretization gives Theory A or Theory B. More precisely, continuum clockwork requires a compact 5D U(1) gauge theory to lead, upon compactification, to a 4D effective gauge theory that is non-compact.

JHEP10(2017)018
While we have focused on abelian vector clockwork, one would expect that identical arguments go through for abelian scalar clockwork whenever there exists a well-defined notion of an asymmetrically-distributed global symmetry (see [27]). For example, in a UV completion of scalar clockwork, the roles of gauge transformations and probe charges in vector clockwork are played by global symmetry transformations and anomaly coefficients. The connection should become particularly transparent when one considers that all apparent global symmetries should originate as gauge symmetries in a theory of quantum gravity.
Finally, the distinction between Theory A and Theory B makes clear why clockwork is an inherently abelian phenomenon. While one is free to choose the charges and couplings in a quiver theory with abelian symmetry factors to obtain Theory A or Theory B, in a quiver theory with non-abelian symmetry groups the only option consistent with the symmetries is the non-abelian version of Theory B, as we will now see more rigorously.

Group theory of clockwork
In the discrete clockwork models of sections 2.1-2.2, a U(1) N +1 symmetry is broken to a single U(1). The massless mode transforms under, and has its mass protected by, the remaining U(1) symmetry. Moreover, the remaining U(1) effects unequal rotations at the N + 1 sites of the original quiver, which results in the unequal couplings of the massless mode to matter localized at different sites.
Our initial attempts in sections 2.3-2.4 to construct something similar for other symmetry groups were unsuccessful. Which begs the question: for a general group G, could we ever design a pattern of symmetry breaking such that G N +1 → G, and such that the remaining G also acts unequally on the N + 1 sites of the quiver? In this section we offer a heuristic argument which rules out any mechanism directly analogous to clockwork for a non-abelian Lie group G. In appendix A, we consider a generic group G, and derive the conditions on G under which such a subgroup's action on the lattice sites can be in any way asymmetric.
We recall that the kinetic terms of the discrete clockwork lagrangian (2.1) are invariant under independent shifts of the φ j → φ j + α j . The mass terms, break the independent shift symmetries such that, for a given shift By iteration, the corresponding shifts of the other φ j at the rest of the lattice sites are also fixed. If the generator of the shift symmetry at the jth lattice site is T j , the generator of the unbroken shift symmetry which in turn generates the massless mode's hierarchy of couplings to different sites seen in (2.2).

JHEP10(2017)018
Suppose we construct a similarly weighted set of generators in the non-abelian case. Write T a j as the generators of the symmetry group G on the jth lattice site, where a = 1, . . . , dim G is an adjoint index. Define the Lie bracket as [T a i , T b j ] = f abc T c j δ ij , summing over repeated adjoint indices. Assume As at least one structure constant f abc = 0, we conclude Thus, of the lattice sites which transform at all under the unbroken generators, they must all be shifted equally. Importantly, for models whose fields form a non-abelian Lie algebra, such as gauge theories, non-linear sigma models or gravitons (and whose mass is therefore protected by the resulting symmetry), massless modes must therefore couple universally to different lattice sites. 13 We thus conclude that clockwork, insofar that it relies on the construction of a weighted subalgebra of the form (3.3), is a strictly abelian phenomenon.
The above is suggestive of the more general group theory result of appendix A; unless G has a non-trivial normal subgroup K whose corresponding quotient group G/K is also a subgroup of G, it is impossible to construct any subgroup which acts unevenly on different lattice sites (let alone a subgroup whose algebra is a weighted combination of the sites' generators as mooted above). To wit, for any subgroup G < G N +1 , the action of any subgroup element g ∈ G on an element g j ∈ G j (the jth group in the direct product) is given by ϕ j (g)g j . ϕ j : G → G j must be a group isomorphism or a map to the trivial group within G j , unless G satisfies the aforementioned conditions.

No clockwork from geometry
After having rigorously established in sections 2 and 3 that it is only possible to build consistent clockwork models in the spin-0 and abelian spin-1 cases, we now set to answer the question of whether such discrete models could arise from the deconstruction of 5D theories in which the corresponding bosonic fields propagate in a non-trivial background. We find 13 One might wonder whether this is the whole story, as one can choose the normalization of the Lie algebra valued forms at each site of the quiver. For instance, one might rescale the gauge field Aj such that it transforms as Aj → U AjU −1 + 1 g j U dU −1 , U ∈ Gj for j dependent gj. However, the observable physics will ultimately be invariant under such field rescalings. Namely, shifts of the massless mode A (0) must always be proportional to the site independent shifts of the corresponding subalgebra U dU −1 , U ∈ G.

JHEP10(2017)018
that the answer is negative: geometry alone cannot clockwork bosonic fields. This statement is true in that neither the continuum theory nor its deconstruction exhibits position dependent couplings as a consequence of a symmetry-localization of the scalar or vector massless modes. In particular, we establish how, at best, it is possible to accommodate the discrete clockwork models of sections 2.1 and 2.2 as the deconstruction of 5D theories with conformally flat metrics, but then ad hoc exponential hierarchies in the couplings between bulk and brane fields need to be introduced in order for the deconstruction to match clockwork. This is true in particular of 5D theories in linear dilaton backgrounds, as considered in [11], and in section 4.3 we make it explicit how couplings involving the dilaton field do not change the above statements. In the language of section 2.5, linear dilaton backgrounds always give the unclockworked Theory B. This is particularly clear in the vector case, where continuum clockwork requires a non-compact (therefore R) 4D effective abelian gauge symmetry arising from a compact 5D symmetry (i.e. a genuine U(1)). As we emphasize in this section, geometry alone only allows compact higher-dimensional gauge theories to generate compact 4D effective ones, therefore precluding any kind of clockwork dynamics.
We consider an extra dimension compactified on an S 1 /Z 2 orbifold, with the fifth dimension parametrized by a coordinate y, and with two end-of-the-world branes present at the orbifold fixed points (y = 0 and y = πR). We will focus on the case in which both the scalar and gauge fields are even under the orbifolding Z 2 symmetry, in order to allow for a massless state to be present in the spectrum of KK-modes. In keeping with the notation introduced in [11], we consider a background metric of the general form with y ∈ [0, πR]. We consider a bulk scalar field coupled to a brane-localized non-abelian gauge theory in section 4.1, and then discuss the case of a bulk U(1) gauge theory in section 4.2.

Scalar case
The action of a massless, non-interacting real scalar field propagating in a non-trivial background is given by In a background of the form given in eq. (4.1), and after expanding the 5D scalar field φ as a sum over KK-modes as φ = ∞ n=0 χ n (y)φ (n) (x), the equations of motion and boundary conditions for the different modes read ∂ y χ n = 0 at y = 0, πR , (4.4)

JHEP10(2017)018
where m 2 n corresponds to the mass-squared of the n-th KK-mode excitation. In particular, a massless mode is present in the KK-spectrum, whose profile is a constant χ 0 (y) = C 0 . 14 If we now consider a non-abelian gauge theory localized on a brane at position y = y 0 that interacts with the 5D scalar field through an axion-like coupling, the corresponding brane-localized terms in the action have the form where |g (4) | = X(y) 2 in our notation. The effective interaction between the gauge theory and the massless scalar mode is then where G µνG µν ≡ µνρσ G µν G ρσ , as usual, and the last expression defines an effective axion coupling f 0 , which may be written as and in the last step we used the relationship between the fundamental scale of the 5D theory, M 5 , and the 4D Planck scale M P l . 15 Eq. (4.7) illustrates how (i) the effective coupling of the massless mode to the branelocalized gauge theory is independent of the position of the brane y 0 for any geometry -a direct consequence of the flat profile of the zero mode -, and (ii) a significant hierarchy between f 0 and M P l only arises if a similar hierarchy between the 5D symmetry breaking scale F and M 5 is introduced ad hoc in the fundamental 5D picture.
It is illuminating to consider what happens to this theory when deconstructed. If we latticize the extra dimension in N segments, with lattice spacing a, such that N a = πR, the terms in the 4D effective lagrangian corresponding to eq. (4.2) read 16 where f j ≡ f (aj) (for f = φ, X, Y ). This corresponds to the effective lagrangian of eq. (2.1), with mass-squared parameters and charges dyX(y) Y (y). 16 A field redefinition φj → φj(aXj Yj) −1/2 is performed to obtain canonically-normalized scalar fields.
in agreement with what is found in [11], and the profile of the massless state present in the spectrum is now given by In particular, the deconstruction of a real scalar field propagating in a linear dilaton background of the form X(y) = Y (y) = e −4ky corresponds to m 2 j = a −2 , and q j = e 3ka ∀ j. However, upon deconstruction, the brane-localized terms of eq. (4.5) read (taking into account the appropriate field redefinitions) i.e. the brane-localized interaction of the 5D theory is deconstructed into a coupling of the gauge theory to the scalar field of the j 0 site, where y 0 = j 0 a. Written in terms of mass eigenstates, eq. (4.11) includes an effective coupling between the massless scalar and the gauge sector that reads As expected from our discussion of the continuum 5D theory, the effective axion coupling in the deconstructed theory is independent of the position of the site j 0 -in contrast with the discrete construction of section 2.1. At best, conformally flat backgrounds of the linear dilaton type, for which m 2 j = a −2 and q j = q independent of j (see eq. (4.9)), can accommodate discrete clockwork, but only if the hierarchy of effective scales to be obtained in the discrete theory is put in by hand from the 5D perspective.

Vector case
The action of a massless, non-interacting U(1) gauge theory propagating in a non-trivial background is given by where g 5D is the 5D gauge coupling. Working in the A 5 = 0 gauge, and expanding the 5D vector field as a sum over KK- µ (x), the equations of motion and boundary conditions for the different modes in the background of eq. (4.1) read ∂ y ψ n = 0 at y = 0, πR .

JHEP10(2017)018
In particular, a massless mode is present in the KK-spectrum, whose profile is a constant independent of y. Without loss of generality, one may take ψ 0 = 1, a choice that defines a 4D gauge coupling, g 4D , given by g −2 4D = g −2

5D
πR 0 dy Y (y). If we now consider a brane-localized scalar field ϕ with charge Q ϕ under the U(1) gauge group, the corresponding brane-localized terms in the action read where D µ ϕ = (∂ µ + iQ ϕ A µ )ϕ. After the appropriate rescaling ϕ → ϕ/ X(y 0 ), so that the scalar field features a canonically normalized kinetic term, the terms involving ϕ in the 4D effective lagrangian are given by where the dots denote strictly massive vector modes. The effective coupling between A (0) µ and the brane-localized scalar field is given by ∼ g 4D Q ϕ , which is independent of the position of the brane along the extra dimension: two scalar fields with the same fundamental charge under the 5D gauge theory will couple to the massless vector mode with exactly the same strength, regardless of where they are localized -a direct consequence of the lack of symmetry-localization of the vector zero mode. This is consistent with what one finds upon deconstruction. Now, from eq. (4.13) we obtain a 4D effective lagrangian of the form where g −2 j = g −2 5D a Y j , and eq. (4.18) corresponds to the effective lagrangian of eq. (2.7), with mass-squared parameters and charges In the language of section 2.5, we recognize that the linear dilaton background deconstructs into the unclockworked Theory B. The couplings of the massless vector can be found by the substitution A jµ = c 0 A (0)µ + . . ., where c 0 = 1, a choice that defines an effective gauge coupling for the unbroken gauge theory, g (0) , given by g −2 (0) = N j=0 g −2 j . Upon deconstruction, the brane-localized terms of eq. (4.16) read where the dots denote strictly massive modes. The effective coupling between the massless vector and the brane-localized scalar is ∼ g (0) Q ϕ , which is independent of the position where ϕ is localized -in stark contrast with the discrete theory of 2.2. It becomes clear that an attempt to obtain discrete clockwork from the deconstruction of an abelian gauge theory propagating in a non-trivial background fails, regardless of the JHEP10(2017)018 choice of geometry. At most, conformally flat metrics, for which g 2 j v 2 j = a −2 and q j = 1 when deconstructed (see eq. (4.19)), can accommodate discrete clockwork, but only if the hierarchy of effective charges between different matter fields to be obtained in the discrete theory is put it by hand from the 5D perspective.

Including dilaton couplings
In theories involving a dilaton, after going from Jordan frame to Einstein frame, a ydependent factor typically remains present in front of both bulk and brane terms, and corresponds to some power of e S , where S is the dilaton field that gets a y-dependent vev. One could wonder whether the presence of such terms alters the story told in sections 4.1 and 4.2, and whether clockwork could arise from the deconstruction of theories with a dilaton. In this section, we show that this is not the case: the presence of dilaton couplings do not qualitatively change our conclusions, so long as no additional breaking of scale invariance is introduced through the coupling of the dilaton to brane-localized states. We emphasize this requirement is a weak restriction. For instance, in the vector case, it ensures that the 5D gauge symmetry is indeed compact. There is no symmetry localization in going from a non-compact 5D gauge symmetry to a non-compact effective 4D construction, and such models do not lead to the emergence of clockwork dynamics.
Let's consider the scalar case of section 4.1 first. In the presence of a dilaton, eq. (4.5) will typically include a y-dependent factor Q(y), of the form 17 The presence of a non-trivial function Q(y) alters the value of the effective gauge coupling of the brane non-abelian gauge theory, which is now given by g * (y 0 ) = g/ Q(y 0 ). The effective interaction between the gauge theory and the massless scalar mode is modified to and so the effective axion coupling is now given by From eq. (4.23), we see that if Q(y) is a non-trivial function of y -a common occurrence in theories with a dilaton -the gauge coupling of the non-abelian theory depends on y 0 and, in turn, the effective axion coupling between the massless scalar and the gauge theory will depend on y 0 through its dependence on g * . In particular, two non-abelian gauge 17 No such factor appears, in Einstein frame, for a bulk scalar field, and so an analogous y-dependent factor does not need to be included in eq. (4.2).

JHEP10(2017)018
theories with the same fundamental gauge coupling g, but localized on different branes, will feature different effective axion couplings only because of the difference in their effective gauge couplings. Crucially, any hierarchy in couplings involving the massless scalar field only arises as a result of the two gauge theories being physically distinct (with different gauge couplings, and therefore different physical properties, like their confinement scales), but not as a consequence of a symmetry-localization of the scalar zero mode.
The same effect persists when deconstructing the brane terms of eq. (4.21). Eq. (4.11) now generalizes to and thus the effective coupling between the massless scalar and the gauge sector reads As expected from our discussion of the continuum 5D theory, the effective axion coupling in the deconstructed theory depends on the position of the site j 0 only through the value of the effective gauge coupling g * j 0 . As we move from site to site, the axion effective coupling will change as a result of the change in the properties of the non-abelian gauge theory. This picture is in stark contrast with the clockwork mechanism described in section 2.1, where the effective axion coupling changes as the gauge theory moves from site to site because of the symmetry-localization of the scalar field, whereas the physical properties of the non-abelian gauge theory remain unchanged. We now turn to the U(1) vector case discussed in section 4.2. In the presence of a dilaton, eq. (4.13) will typically include a y-dependent factor in front of the vector kinetic term, of the form Although this will in general affect the equations of motion for the KK-modes, which now read a massless mode is present in the spectrum, and its profile remains flat. With the choice ψ 0 = 1, the 4D gauge coupling is now defined as g −2 πR 0 dyF (y) Y (y). Similarly, eq. (4.16) will be generalized to include a y-dependent factor, of the form where the function H(y) will in general be different from F (y). 18 After the appropriate rescaling ϕ → ϕ/ X(y 0 )H(y 0 ), so that the scalar field features a canonically normalized JHEP10(2017)018 kinetic term, the terms involving ϕ in the 4D effective lagrangian are just given by eq. (4.17). The effective coupling between A (0) µ and the brane-localized scalar field is just ∼ g 4D Q ϕagain independent of y 0 .
When deconstructed, this more general case features exactly the same properties discussed in section 4.2, with the only difference that the gauge couplings on each site are now given by g −2 j = g −2 5D a Y j F j , and the presence of dilaton couplings has no effect on our conclusions. The inability of dilaton couplings to reproduce meaningful clockwork is clear in the language of section 2.5: a successful modification of the linear dilaton background to generate clockwork would need to alter the physical spectrum of charged states on probe branes, rather than merely modifying gauge couplings.

Towards continuum clockwork
In this section, we present a 5D implementation of the clockwork mechanism that, when deconstructed, successfully preserves the appealing features of the discrete set-up described in sections 2.1 and 2.2. In order to emphasize how geometry plays no role, we consider the case of a flat background, and include bulk and brane mass terms for scalar and abelian vector fields. Both from the 5D perspective, and when deconstructed, the scenario presented here features hierarchical couplings to brane-localized states as a consequence of the symmetry-localization of the corresponding bulk fields. In terms of the discrete clockwork parameters of sections 2.1 and 2.2, the set-up we consider appears as a small perturbation from the discrete clockwork mechanism in which all parameters are taken to be equal. We discuss the scalar case first in section 5.1, albeit only at the level of a toy model; a well-defined notion of a clockworked continuum global symmetry would entail embedding the continuum global symmetry in a continuum gauge symmetry, which lies beyond the scope of the current work (see [27] for work in this direction). In section 5.2 we discuss the vector case in full detail, realizing a scenario in which continuum clockwork arises when a compact 5D gauge symmetry leads to a non-compact 4D one. Section 5.3 clarifies the connection between our 5D construction and the linear dilaton background implementation of [11].

Continuum scalar clockwork
Apart from the kinetic term of eq. (4.2), the 5D action of a real scalar field may also involve mass terms where we fix the brane-localized mass terms to have equal size but opposite sign, in order to allow for a massless state to be present in the KK-mode spectrum. Although the bulk and brane mass terms of eq. (5.1) are certainly consistent from an effective field theory perspective, negative brane masses might pose challenges when trying to embed this framework into a full UV completion -an issue that we do not try to address in this work. In the generic warped background of eq. (4.1), and after expanding the 5D JHEP10(2017)018 scalar field φ as a sum over KK-modes as before, the equations of motion and boundary conditions for the different modes now read As first noted in [28], the presence of non-zero bulk and brane mass terms makes the zero mode's profile non-flat. In particular, if we demand this profile to be of an exponential form χ 0 (y) ∝ e βy , where β is some mass scale, eq. (5.3) requires Y (y) is independent of y, and without loss of generality we may take Y = 1, in which case β =m φ /2 and thus χ 0 (y) ∝ em φ y/2 . Moreover, for a given X(y), eq. (5.2) requires bulk and brane mass terms to satisfym For instance, in a flat background, where X(y) = 1,m φ = ±2 M 2 φ ; whereas in an RS background, where X(y) = e −2ky ,m φ = 2 2k ± 4k 2 + M 2 φ , in agreement with [28]. Although choosingm φ such that eq. (5.4) is satisfied may appear like a fine-tuned choice, we emphasize that it is a technically natural one, since only for those values ofm φ the lowest lying scalar mode recovers a shift symmetry -it is a symmetry enhanced point. Depending on whetherm φ is positive or negative, the massless mode will be localized towards the y = πR or y = 0 branes respectively. Here, we consider the case of a flat background (X = Y = 1), and, without loss of generality, focus on the choicem φ < 0, so that the zero mode profile is exponentially localized towards y = 0. (The casem φ > 0 is completely analogous but replaces the role of the two branes.) In this case, after setting Q(y) = 1 in eq. (4.5), the effective axion coupling of eq. (4.12) is given by where in the last term we have focused on the casem φ < 0, and assumed |m φ |πR = O(1). From eq. (5.5), it is clear that the non-trivial profile of the zero mode translates into an effective axion coupling that depends on the position of the brane where the gauge theory is localized. Two gauge theories with identical properties localized on different branes will feature exponentially different effective axion couplings, as a result of the symmetrylocalization of the scalar zero mode along the extra dimension, even for natural choices of the 5D parameters, m φ πR = O(1). We now consider the deconstruction of this theory, and compare it to the discrete clockwork of section 2.1. The 4D effective lagrangian of the scalar sector reads

JHEP10(2017)018
with a mass-squared matrix given by As in the continuum case, for a given bulk mass term M 2 φ there are two values ofm φ that allow for a massless mode to be present in the latticized spectrum, which are of equal size but opposite sign, 19 and, as before, we focus on the casem φ < 0.
Moreover, upon deconstruction the brane-localized coupling between the 4D gauge theory and the 5D scalar field now reads where the dots correspond to strictly massive modes, and the effective axion coupling scale is now given by f 0 = F √ F a c −1 j 0 . Unlike the scenarios considered in section 4.1, the deconstructed effective coupling now depends on j 0 as a result of the uneven distribution of the massless scalar along the different lattice sites, mirroring the situation found from the 5D perspective.
In particular, it is illuminating to match this deconstructed scenario into the discrete clockwork set-up of section 2.1, by finding the corresponding clockwork parameters q i and m 2 i (i = 0, . . . , N − 1), since one may worry that this may now look like an unnaturally hierarchical set of choices, and that the 'naturalness' we recover in the 5D picture by introducing mass terms and considering a flat background, may be lost in the deconstruction. Instead, we find that this is not the case: when deconstructed, the scenario we consider has approximately equal q j and m 2 j parameters. To illustrate this fact, in figure 1 we show the values of q i and m 2 i (normalized to the values on the first site) for M 2 φ πR = 15 (just for illustration). From figure 1 one can appreciate that the effective charges and mass-squared parameters are all of similar size, no large hierarchies between them are present, and all of them tend to the same value as one approaches the large N limit. As a result, the profile of the massless mode also very closely resembles an exponential, as we illustrate in figure 2.

Continuum vector clockwork
As in the scalar case discussed in the previous section, we may in general include both bulk and brane mass terms for a 5D abelian gauge field, 20 and we note that these may be generated through spontaneous symmetry breaking (due to the non-zero vev of a 5D scalar field featuring both bulk and brane-localized kinetic 19 One can check thatm φ = ± 2 M 2 φ + O(1/N ) , as expected. 20 The unconventional g −2 5D factor in front of eq. (5.9) is in keeping with our notation in previous sections, and in particular with eq. (4.13).  terms, as pointed out in [29]), and thus do not necessarily require an explicit breaking of the fundamental 5D gauge symmetry. As in section 5.1, the presence of negative branelocalized mass terms is consistent within an effective description, although such terms may be non-trivial to realize in the context of a full UV completion and potentially pose an obstruction to genuine continuum clockwork. 21

JHEP10(2017)018
As was first noted in [29][30][31], the presence of non-zero bulk and brane mass terms makes the profile of the vector zero mode non-flat. For an exponential profile ψ 0 (y), the appropriate boundary conditions require again Y = 1, in which case ψ 0 (y) ∝ em A y/2 . Without loss of generality, one may take ψ 0 (y) = em A y/2 , a choice that defines a 4D gauge coupling g 4D given by g −2 4D = g −2 5D (em A πR −1)/m A . Moreover, for a given X(y), the equation of motion for the zero mode demands bulk and brane mass terms to satisfỹ For instance, in a flat background, where X(y) = 1,m A = ±2 M 2 A ; whereas in an RS background, where X(y) = e −2ky ,m A = 2 k ± k 2 + M 2 A (in agreement with [31]). As before, the values ofm A that satisfy eq. (5.10) constitute a technically natural choice of parameters, since only for those values the theory recovers 4D gauge invariance of the zero mode -again, a symmetry protected choice.
In the case of a flat background (X = Y = 1), the effective interaction term defined through eq. (4.17) is now given by The effective coupling between the scalar field and the massless vector is ∼ g 4D Q ϕ em A y 0 /2 . An exponential hierarchy of effective charges may now be generated by localizing matter on opposite branes, as a result of the physical localization of the vector zero mode. When deconstructed, the general features of the discrete version are very similar to those of the scalar case described in section 5.1. For finite N , the discrete clockwork parameters all have similar size, and asymptote to a common value in the continuum limit, whereas the distribution of the massless mode along the different sites approaches again an exponential profile.
One may try to implement an analogous mechanism for a non-abelian gauge theory. This possibility was considered in [32], where both bulk and brane mass terms (of the right size) are included for a non-abelian gauge theory propagating in a slice of AdS, and the authors of [32] find that an exponentially-localized zero mode is present in the KKspectrum. As a result of the zero mode's non-trivial profile, its cubic and quartic couplings are found to differ, and brane-localized kinetic terms need to be included to render them equal. This ensures that those terms in the effective lagrangian involving only the massless vector mode exhibit 4D gauge invariance. However, gauge invariance of the zero mode also requires interaction terms involving the zero mode and massive KK-modes be gauge invariant independently -a requirement that is not fulfilled in [32]. As a result, although the lowest-lying vector mode appears massless at tree-level, its mass remains unprotected under quantum corrections.
vev implies MA M5. This still permits a meaningful exponential profile provided the extra dimension is stabilized with RM5 1 but precludes arbitrarily strong symmetry localization. We thank M. McCullough for discussion of this point.

Relation to linear dilaton theories
As we have seen in sections 4.1 and 5.1, the scalar clockwork parameters corresponding to the deconstruction of a massive scalar field propagating in a flat background are rather similar to those that arise in the deconstruction of a massless field in a linear dilaton geometry. In terms of the discrete clockwork mechanism of section 2.1, the latter seem to correspond to identical clockwork parameters across sites, whereas the former appears just as a small perturbation thereof.
The reason for this similarity is a deeper relation between the two theories at the 5D level. The KK-mode spectrum of a massless 5D scalar theory in a background given by functions X(y) and Y (y) is identical to that of a massive theory with an exponentially localized zero mode, χ 0 (y) ∝ em φ y/2 , in a background given by functionsX(y) andỸ (y) = 1, provided Y (y) = e 2m φ y/3 , and X(y) =X(y)Y (y) =X(y)e 2m φ y/3 . (5.12) (This can be checked from eq. (5.2) and eq. (5.3) by performing a field redefinition χ n → em φ y/2 χ n , and taking into account eq. (5.4).) Whereas the two theories are identical as far as the scalar sector is concerned (the spectrum of KK-mode masses is the same), the profiles of the different modes in the massive theory correspond to those of the massless theory after a rescaling by a factor of em φ y/2 . This feature crucially distinguishes the two theories when the 5D scalar couples to brane-localized states: in the flat case, the massless mode is symmetry-localized along the extra dimension, whereas this is not the case in linear dilaton geometries. Only in the flat case, couplings between the scalar zero mode and brane-localized states depend exponentially on the position of the branes as a result of the zero mode's non-trivial profile.
In particular, for a massless scalar field in a linear dilaton geometry X(y) = Y (y) = e −4ky , the spectrum of KK-modes is identical to that of a massive theory withm φ = −6k (therefore M 2 φ = (3k) 2 ), andỸ =X = 1 -i.e. a massive scalar theory in a flat background, of the kind considered in section 5.1. In the continuum limit, the mass spectrum of KKmodes is given by Upon deconstruction, the spectrum of massive states, i.e. the 'clockwork gears', differ between the two theories for a given number of sites N . In particular, in the linear dilaton background with vanishing bulk and brane masses, the mass of the n-th clockwork gear is given by [11] m 2 n L.D = m 2 q 2 + 1 − 2q cos πn N + 1 , (5.14) with q = e 3ka and m 2 = a −2 . Taking the large N limit, while keeping N a = πR constant,  . Left: spectrum of massive KK-modes for a massless scalar field in a linear dilaton geometry given by X(y) = Y (y) = e −4ky , which is identical to that of a scalar field in a flat background with bulk mass M 2 φ = 3k, and boundary mass parameterm φ = −6k. Center: spectrum of clockwork gears arising from the deconstruction of a massive scalar field in a flat background. Right: spectrum of clockwork gears arising from the deconstruction of a massless scalar field in a linear dilaton geometry. For illustration, we take kπR = 5 in all three cases, and the center and right figures correspond to deconstructions featuring N = 30 sites. and so the mass of the n-th clockwork gear approaches the mass of the n-th KK-mode linearly in 1/N . Similarly, when deconstructing the theory of section 5.1, the mass of the n-th clockwork gear approaches the mass of the n-th KK-mode linearly in 1/N , although the size of the ∼ 1/N corrections in the flat deconstruction is much smaller than in the linear dilaton deconstruction. 22 In any case, both deconstructions reproduce the same mass matrix for the scalar sector up to 1/N corrections.
Crucially, however, the symmetry-localization of the zero mode in the theory of section 5.1, and the absence of it in linear dilaton theories, leads to similarly different behaviour upon deconstruction: whereas the deconstruction of the theory in flat space with bulk and brane masses leads to a meaningful clockwork mechanism (i.e. it corresponds to Theory A, in the language of section 2.5), deconstructing the linear dilaton theory merely leads to a discrete theory with approximately the same spectrum of massive modes, but it does not exhibit clockwork dynamics (i.e. it corresponds to Theory B).
The situation for the vector case is completely analogous to the scalar case described above. The KK-mode spectrum of a massless 5D U(1) gauge theory in a background given by X(y) and Y (y) is identical to that of a massive theory with an exponentially localized zero mode, ψ 0 (y) ∝ em A y/2 , in a background given byX(y) andỸ (y) = 1, provided Y (y) = e 2m A y , and X(y) =X(y)Y (y) =X(y)e 2m A y .

JHEP10(2017)018
As before, although the spectrum of masses is the same in the two theories, the mode profiles differ by an overall factor of em A y/2 , and therefore the two theories exhibit crucially different behavior in their couplings to brane-localized states. In particular, the spectrum of KK-modes of a massless U(1) gauge field in a linear dilaton background is identical to that of a massive theory withm A = −2k, andỸ =X = 1. Upon deconstruction, the spectrum of massive vector modes will be the same up to 1/N corrections, but, just as in the scalar case discussed above, only one of the theories exhibits meaningful clockwork dynamics -that of a massive 5D vector with bulk and brane masses in a flat background.

Conclusions
The elusiveness of physics beyond the Standard Model strongly motivates the search for theories in which large hierarchies of effective interactions arise from natural fundamental parameters. The clockwork mechanism beautifully realizes this goal, generating exponentially-suppressed couplings to a symmetry-protected state without significant hierarchies in the ultraviolet theory. Such a phenomenon invites both exploration of its full scope and application to extensions of the Standard Model.
In this paper we have systematically investigated the scope of clockwork phenomena in four dimensions, as well as possible continuum counterparts in five dimensions. We have demonstrated that clockwork is an intrinsically abelian phenomenon, suitable for generating exponentially suppressed couplings to goldstone bosons of spontaneously broken abelian global symmetries, or to gauge bosons of abelian local symmetries. It is manifestly impossible to realize a clockwork mechanism for non-abelian symmetries protecting a light state, precluding the application of clockwork to Yang-Mills theories, non-linear sigma models, or gravity (thereby frustrating any attempts to solve the hierarchy problem by clockworking gravity). We illustrate this with both explicit four-dimensional constructions and more general group-theoretic arguments.
We have also explored the extent to which viable clockwork models in four dimensions have continuum counterparts in five dimensions. We study a general class of five-dimensional theories with a compact fifth dimension, whose metrics preserve fourdimensional Lorentz invariance with warp factors that are a function of the fifth coordinate. Members of the class include flat, Randall-Sundrum, and linear dilaton models. The zero modes of all massless bosonic bulk fields on these metrics are flat in the sense that they couple equally to states localized on codimension-one surfaces anywhere in the fifth dimension. These five-dimensional theories are therefore not continuum counterparts of four-dimensional clockwork. Moreover, their deconstructions cannot be identified with four-dimensional clockwork, as zero modes in the deconstructions couple universally to states localized at specific sites, in contrast with clockwork. In addition, any nontrivial warp factor in the metric of a higher-dimensional theory corresponds to a hierarchy of couplings and scales intrinsic to each site in its deconstruction, again in contrast with clockwork. 23

JHEP10(2017)018
Among other things, this implies that linear dilaton models (and more generally a broad class of five-dimensional theories whose metrics give nominal hierarchies) are not the continuum counterparts of clockwork. Linear dilaton theories may still be of interest in addressing the hierarchy problem in their own right, but they so in a way that is unrelated to clockwork. In particular, the deconstruction of gravity in linear dilaton backgrounds necessarily involves the same sort of site-by-site scale hierarchies found in the deconstruction of Randall-Sundrum models, rather than the parametrically similar scales found in clockwork.
This leaves the question of what five-dimensional theories, if any, are the continuum counterparts of abelian clockwork models. Although physically meaningful coupling hierarchies for the zero modes of bulk bosons cannot be generated by metric factors, they can be generated by non-trivial zero mode profiles unrelated to the metric. We have found that candidate continuum counterparts of abelian clockwork involve scalars or vectors with bulk and brane masses tuned to preserve a massless zero mode. This imparts a physically meaningful profile to the zero mode that generates the desired exponential and positiondependent hierarchy in couplings to localized states. Deconstructions of these continuum theories do exhibit clockwork phenomena, and their masses and couplings agree with those of uniform clockwork up to corrections that fall off with the number of sites. These fivedimensional theories may be a fruitful setting for additional clockwork model-building.

Note added
Shortly after our work appeared, a comment on its content was made by Giudice and McCullough [33]. As [33] does not dispute the main technical results of this work, we present some brief remarks regarding the results' interpretation.
• In [33], the authors advocate a restriction of clockwork to the effective theory, treating the couplings of the zero mode as ultraviolet properties beyond the scope of the mechanism. We note however that the generation of "exponentially suppressed interactions in theories which contain no small parameters at the fundamental level" (a characterization of clockwork supported by [11,33]) is an inherently ultravioletsensitive question. Restricted to an effective theory, the naturalness constraints on the sizes of charges, couplings, or field excursions that motivated the original clockwork models [6,7,24] simply do not exist, and clockwork is an unnecessary mechanism. Moreover, when restricted to an effective theory there is no meaningful notion of "exponentially suppressed interactions in theories which contain no small parameters at the fundamental level". For example, in the abelian case the fact that Theory A and Theory B are indistinguishable without reference to the charge spectrum or other ultraviolet properties of the theory implies that there is no invariant notion of exponential hierarchies without small parameters in the effective theory alone. This highlights the fact that, as we have argued, ultraviolet properties of the theory are necessary to a meaningful definition of clockwork.
couplings of clockwork unless position-dependent charges are put in by hand at the outset.

JHEP10(2017)018
• A primary concern of [33] is whether the continuum scalar toy model presented in section 5.1 is simply a field redefinition of the scalar in a linear dilaton background presented in [11]. Absent a well-defined notion of a compact symmetry for the scalar, this is of course true, but in explicit models where there is a clear notion of a compact symmetry -as would be the case for scalars arising as the fifth component of a bulk vector field -invariant distinctions exist. For a concrete construction along these lines, see [27]. The toy model in section 5.1 is intended to exemplify the properties that such a continuum clockwork theory should possess, namely a mechanism for altering the profile of the zero mode relative to a natural basis of gauge or global symmetry charges.
• We emphasize that the notion of clockworked symmetries for fields in linear dilaton backgrounds presented in [33] is equivalent to our observation that the unbroken symmetry group protecting the zero mode is always the diagonal one, and the input couplings vary exponentially. This can be obscured by changing the normalizations of generators or transformation parameters, but does not alter the essential symmetry structure at the level of the unbroken subgroup.
In light of the above, we persist in our position that meaningful clockwork along the lines of the original works [6,7,24] is an inherently ultraviolet-sensitive mechanism, and that its key property is the preservation of an asymmetrically-distributed unbroken symmetry subgroup. However, being physicists and not linguists, we do not wish to constrain those who would prefer to adopt a different definition. For those who prefer a big-tent notion of clockwork that encompasses all theories with the same mass matrix and incommensurable symmetry properties (a la [11,33]), we might advocate referring to theories with an asymmetrically-distributed unbroken symmetry subgroup (such as [6,7,24]) as "tourbillon clockwork," since they are protected against ultraviolet restrictions on the natural size of parameters, such as those imposed by gravity. Theories with a symmetrically-distributed unbroken symmetry subgroup (such as those arising in linear dilaton backgrounds [11]) might correspondingly be distinguished as "non-tourbillon clockwork." We hope that nature affords us clockwork of either kind.

A More group theory of clockwork
We wish to find the subgroups G < G N , i.e. we wish to identify a subset of elements of G N which, under G N composition rules, form a subgroup isomorphic to G. We may generically write the subgroup's elements as where ϕ i : G → G i are maps from the subgroup G to the ith group in the G N product, and collectively the ϕ i identify a G N tuple corresponding to each element of G. The ϕ i respect group composition ϕ i (g)ϕ i (g ) = ϕ i (gg ); each ϕ i is therefore a group homomorphism. The kernel of each homomorphism ϕ i must be a normal subgroup of G, and the image of ϕ i in G i must be the corresponding quotient group G/ ker ϕ i . Moreover, the quotient group must also be a subgroup of G i . For any group G, there are thus at least two options for the map ϕ i . One, ker ϕ i = G and all elements of G are mapped to the identity of G i . Two, ker ϕ i = {e}, the trivial group, and ϕ i is an isomorphism from G to G i . For there to be a third option, we require both that G has a non-trivial normal subgroup K ≡ ker ϕ i , and that the quotient group H ≡ G/K is also a subgroup of G. This occurs, for instance, if we can write G as a non-trivial semidirect product G = K H. 24 Finally note that, so that all elements of G are mapped to distinct elements of G N , we require that the image of any two distinct group elements is distinct under at least one of the ϕ i (i.e. ∀g, g ∈ G, g = g =⇒ ∃i, ϕ i (g) = ϕ i (g )).
This result is effectively an iterative application of Goursat's lemma [34,35], which enumerates in full generality the subgroups of any direct product group. The result is also rather restrictive: for instance, the classical Lie groups only have discrete normal subgroups, and none of the corresponding quotient groups are subgroups. For a classical Lie group, each ϕ i is therefore either a group isomorphism or a map to the trivial group, and at most N − 1 of them may fall in the latter category. Colloquially, we can break some -but not all -of the G N entirely, and we must then break 'to the diagonal' of the remaining parts of G N .
Thus, consider an N -site quiver, where each site has a symmetry group G with no third option for the ϕ i . If we arrange symmetry breaking interactions such that G N → G, the remaining G will have equal action at any two sites of the lattice (up to isomorphisms, and assuming both sites transform non-trivially). Note that this result does not fix the 24 By categorizing the behaviors of ϕi in an analogous way, it is possible to enumerate the subgroups S < G N , given S < G. There are two senses in which the possibilities for S may be greater. One, there can be S < G N which do not result from the restriction of any G < G N . This occurs either if there exists a K S which is not normal in G, or if there exists a K where S/K < Gi but G/K is not a subgroup of Gi. Two, there can be S < G N which do not satisfy S < S N . This occurs if there exists an S/K < Gi which is not a subgroup of Si.

JHEP10(2017)018
normalization of fields transforming under representations of G N . For instance, if φ 1 and φ 2 are complex scalars transforming in the same unirrep of the left-hand and right-hand parts respectively of G × G, the lagrangian explicitly breaks the G × G symmetry of the kinetic terms to the diagonal, whereas the massless mode ∝ qφ 1 + φ 2 is weighted asymmetrically over the original fields. Importantly, however, this mode is not forced to be massless by the remaining G symmetry, as a mass term formed by the unirrep scalar and its conjugate is always invariant thereunder.
There are important classes of models where the normalization of the fields is bound to that of the symmetry algebra, such as gauge theories or non-linear sigma models, and the mass of the field is consequently forbidden by symmetry. Here, any massless field of symmetry group G descended from a lattice of N such copies must couple universally to all sites, barring a G which satisfies the conditions for a third option for the ϕ i . No meaningful clockwork mechanism exists. This is apparent, for instance, in the quiver of SO(n)/SO(n − 1) non-linear sigma models considered in [14]. In [14], it is observed that higher order interactions of the Goldstone fields do not respect the putative remaining global symmetry (except in the case where q = 1, i.e., where the Goldstone fields at each site shift equally). 25 The absence of a viable clockwork mechanism is manifest in the failure of explicit attempts to construct such a model for general G; we give one such example here. One might consider using a link field between adjacent sites that transforms under the direct product irrep (r 1 , r 2 ) of the direct product G×G of the left-and right-hand sites' symmetry groups. Let r 1 and r 2 be inequivalent unitary irreps of G. 26 Without loss of generality we may write the vev of the link field as a matrix V transforming as V → ρ r 1 (g 1 )V ρ * r 2 (g −1 2 ), (g 1 , g 2 ) ∈ G × G (A.3) where ρ r 1 (g) is the matrix representation r 1 of the given element g, and similarly for r 2 . If the vev is invariant under the diagonal subgroup of G × G, V = ρ r 1 (g)V ρ * r 2 (g −1 ), ∀g ∈ G. (A.4) Schur's lemma states that the only solution to the above equation, if r 1 and r 2 are inequivalent, is V = 0. A non-zero vev of such a link field does not preserve the diagonal symmetry group. However, in the case of G = U(1), we may break to subgroups other than the diagonal. This freedom is exploited by the original clockwork models [6,7]. The cyclic groups Z q , q ∈ N (comprising respectively the qth roots of unity if U(1) is multiplication on the set of unit modulus complex numbers) are normal subgroups Z q U(1), and moreover the quotient  group U(1)/Z q is isomorphic to U(1). So, in addition to the isomorphism or the map to the identity, we may choose, as a third option, the homomorphism Writing everything as unit modulus complex numbers, we identify the most general U(1) < U(1) N as {(ϕ 1 (g), ϕ 2 (g), . . . , ϕ N (g))|g ∈ G} = {(e iq 1 α , e iq 2 α , . . . , e iq N α )|0 ≤ α < 2π, q i ∈ N}. (A.6) We highlight the specific U(1) < U(1) 2 subgroup of q 1 = q, q 2 = 1, on the U(1) 2 group manifold in figure 4. This symmetry breaking structure is realized concretely in a two-site clockwork model. The lagrangian, has, when = 0, a U(1) × U(1) symmetry with (w.l.o.g) unit charges such that φ 1 → e iα 1 φ 1 and φ 2 → e iα 2 φ 2 under the action of group element (e iα 1 , e iα 2 ). When = 0, the potential term effects an explicit breaking to the subgroup where α 1 = qα 2 , which is precisely the subgroup depicted in figure 4 and described in (A.6).

A.1 The continuum limit
Not all of the above symmetry breaking patterns can originate from the deconstruction of a higher dimensional theory. Smoothness considerations will in fact allow us to constrain the behavior of the resulting ϕ i even further for Lie group G.
To understand the 'large N ' or continuum limit of G < G N , consider a trivial principal fiber bundle G × M , where we have a copy of the Lie group -a fiber G x -for each point on the manifold x ∈ M . To find a subgroup G < G × M , we effectively wish to find a set of sections ϕ(g, x) of G × M , which, for each g ∈ G, identify a corresponding element of G x , for all x ∈ M . As in the discrete case above, we require that they respect pointwise JHEP10(2017)018 group composition ϕ(g, x)ϕ(g , x) = ϕ(gg , x), ∀x ∈ M, ∀g, g ∈ G, and thus ϕ(·, x) must be a homomorphism from G to a subgroup G x < G x .
As before, barring a G that satisfies the conditions for a third option (such as a G that is a non-trivial semidirect product), ϕ(·, x) must be either an isomorphism or a map to the trivial group. Continuity of ϕ alone requires it must be exclusively one or the other for all x ∈ M , and the requirement that each section be distinct means it is an isomorphism for all x. Similar continuity arguments require, for G = U(1), that ϕ(·, x) : U(1) → U(1)/Z q with fixed q for all x ∈ M , and requiring that each section be distinct sets q = 1.
In the particular case of warped extra dimensions, where G is either a U(1) or SU(n) 4D gauge group and M = S 1 /Z 2 , it is a consequence that the profile of the zero mode gauge boson is flat in the bulk. (As can be seen by restricting the maps ϕ to the global part of the 4D gauge transformation at each point in M .) In other words, the subset of 5D gauge transformations which preserve the y-dependence of the zero mode A µ (x, y) = A 0 µ (x)ψ 0 (y) can only form the corresponding 4D gauge group if ψ(y) is a constant. It is worth considering what happens in attempts to localize the zero mode of gauge bosons. In the non-abelian Yang Mills theory [32], the localized zero mode's couplings to other fields, such as other KK modes and brane localized matter, are not gauge invariant. In the case of a U(1) 5D gauge group [31], a localized zero mode nevertheless transforms under an R 4D gauge group, and the resulting 4D theory is nevertheless well behaved. This effect is seen in the (well-behaved) theory of section 5.2, where charges of brane localized matter under the zero mode's gauge symmetry are generally non-integer (see (5.11)) -i.e. the matter comes in representations of R, not U(1). However, as these are all projective representations of U(1), we are free to treat the low energy theory (of the zero mode and its couplings to matter) as a 4D U(1) gauge theory.

B Deconstructing gravitational extra dimensions
In this section, we briefly illustrate, following [36], how the deconstruction of a gravitational extra dimension leads to the discrete, unclockworked, scenario of section 2.4 -regardless of the choice of metric. We consider perturbations around the geometry defined by eq. (4.1), of the form ds 2 = g M N dx M dx N = X(y)g µν dx µ dx ν + Y (y)dy 2 , (B.1) whereg µν = η µν + h µν . The 5D Einstein-Hilbert action is then given by and boundary conditions. In particular, a massless mode is present in the spectrum, whose profile is a constant (to preserve the normalization of the massless mode's self interactions, we take ϕ 0 = 1). The first term in eq. (B.2) then defines the effective 4D Planck scale, given by  [37]. In both cases, the effective Planck scale on a given site depends exponentially on the position of the site.
Moreover, upon deconstruction, the second term in the second equality of eq. (B.2) leads to a mass term of the form (expanding up to O(h 2 )) which corresponds precisely to eq. (2.20), with mass-squared parameters The deconstructed theory is therefore identical to the discrete 4D scenario described in section 2.4, in which no clockwork graviton arises.
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.