517 research outputs found
Matching Lenses: Alignment and View Update
Bidirectional programming languages have been proposed as a practical approach to the view update problem. Programs in these languages, often called lenses, can be read in two ways— from left to right as functions mapping sources to views, and from right to left as functions mapping updated views back to updated sources. Lenses address the view update problem by making it possible to define a view and its associated update policy together.
One issue that has not received sufficient attention in the design of bidirectional languages is alignment. In general, to correctly propagate an update to a view, a lens needs to match up the pieces of the edited view with corresponding pieces of the underlying source. Unfortunately, existing bidirectional languages are extremely limited in their treatment of alignment—they only support simple strategies that do not suffice for many examples of practical interest.
In this paper, we propose a novel framework of matching lenses that extends basic lenses with new mechanisms for calculating and using alignments. We enrich the types of lenses with “chunks” that identify the locations of data that should be re-aligned after updates, and we formulate refined behavioral laws that capture essential constraints on the handling of chunks. To demonstrate the utility of our approach, we develop a core language of matching lenses for string data, and we extend it with primitives for describing a number of useful alignment heuristics
Equivalence of the (generalised) Hadamard and microlocal spectrum condition for (generalised) free fields in curved spacetime
We prove that the singularity structure of all n-point distributions of a
state of a generalised real free scalar field in curved spacetime can be
estimated if the two-point distribution is of Hadamard form. In particular this
applies to the real free scalar field and the result has applications in
perturbative quantum field theory, showing that the class of all Hadamard
states is the state space of interest. In our proof we assume that the field is
a generalised free field, i.e. that it satisies scalar (c-number) commutation
relations, but it need not satisfy an equation of motion. The same argument
also works for anti-commutation relations and it can be generalised to
vector-valued fields. To indicate the strengths and limitations of our
assumption we also prove the analogues of a theorem by Borchers and Zimmermann
on the self-adjointness of field operators and of a very weak form of the
Jost-Schroer theorem. The original proofs of these results in the Wightman
framework make use of analytic continuation arguments. In our case no
analyticity is assumed, but to some extent the scalar commutation relations can
take its place.Comment: 18 page
Collisional Velocities and Rates in Resonant Planetesimal Belts
We consider a belt of small bodies around a star, captured in one of the
external or 1:1 mean-motion resonances with a massive perturber. The objects in
the belt collide with each other. Combining methods of celestial mechanics and
statistical physics, we calculate mean collisional velocities and collisional
rates, averaged over the belt. The results are compared to collisional
velocities and rates in a similar, but non-resonant belt, as predicted by the
particle-in-a-box method. It is found that the effect of the resonant lock on
the velocities is rather small, while on the rates more substantial. The
collisional rates between objects in an external resonance are by about a
factor of two higher than those in a similar belt of objects not locked in a
resonance. For Trojans under the same conditions, the collisional rates may be
enhanced by up to an order of magnitude. Our results imply, in particular,
shorter collisional lifetimes of resonant Kuiper belt objects in the solar
system and higher efficiency of dust production by resonant planetesimals in
debris disks around other stars.Comment: 31 pages, 11 figures (some of them heavily compressed to fit into
arxiv-maximum filesize), accepted for publication at "Celestial Mechanics and
Dynamical Astronomy
Applications of patching to quadratic forms and central simple algebras
This paper provides applications of patching to quadratic forms and central
simple algebras over function fields of curves over henselian valued fields. In
particular, we use a patching approach to reprove and generalize a recent
result of Parimala and Suresh on the u-invariant of p-adic function fields, for
p odd. The strategy relies on a local-global principle for homogeneous spaces
for rational algebraic groups, combined with local computations.Comment: 48 pages; connectivity now required in the definition of rational
group; beginning of Section 4 reorganized; other minor change
Lorentz and CPT Violation in Neutrinos
A general formalism is presented for violations of Lorentz and CPT symmetry
in the neutrino sector. The effective hamiltonian for neutrino propagation in
the presence of Lorentz and CPT violation is derived, and its properties are
studied. Possible definitive signals in existing and future
neutrino-oscillation experiments are discussed. Among the predictions are
direction-dependent effects, including neutrino-antineutrino mixing, sidereal
and annual variations, and compass asymmetries. Other consequences of Lorentz
and CPT violation involve unconventional energy dependences in oscillation
lengths and mixing angles. A variety of simple models both with and without
neutrino masses are developed to illustrate key physical effects. The
attainable sensitivities to coefficients for Lorentz violation in the
Standard-Model Extension are estimated for various types of experiments. Many
experiments have potential sensitivity to Planck-suppressed effects, comparable
to the best tests in other sectors. The lack of existing experimental
constraints, the wide range of available coefficient space, and the variety of
novel effects imply that some or perhaps even all of the existing data on
neutrino oscillations might be due to Lorentz and CPT violation.Comment: 25 pages REVTe
Does Culture Impact Preferred Employee attributes in Complaint Handling Encounters?
Recently, Gruber et al.’s (2011) Kano study revealed that complaining customers in Saudi Arabia are less difficult to delight than UK customers. The present study investigates whether these differences are caused by different service sector development stages, as suggested in their study, or by cultural differences instead. Data were collected using Kano questionnaires from 151 respondents with complaining experience in Singapore. This country was chosen as it has a highly developed service economy (like the UK) but also a collectivistic culture (like Saudi Arabia). The analysis reveals that Singaporean customers show the same preferences as those in the UK. We consider this as a strong indicator for the suggested impact of the stage of service sector development rather than cultural differences on complaining customers’ preferences of frontline employee attributes. Our results support the findings by Gruber et al. (2011). By doing so, they surprisingly refute previous research which concluded that national culture plays a significant role in shaping customer expectations during complaint handling encounters. Our study especially corroborates the notion of a life cycle of quality attributes that had been found for goods and services and the preferred attributes of frontline employees dealing with customer complaints
the WAF method for non-homogeneous SWE with pollutant
This paper deals with the extension of the WAF method to discretize Shallow Water Equations with pollutants. We consider two different versions of the WAF method, by approximating the intermediate waves using the flux of HLL or the direct approach of HLLC solver. It is seen that both versions can be written under the same form with different definitions for the approximation of the velocity waves. We also propose an extension of the method to non-homogeneous systems. In the case of homogeneous systems it is seen that we can rewrite the third component of the numerical flux in terms of an intermediate wave speed approximation. We conclude that – in order to have the same relation for non-homogeneous systems – the approximation of the intermediate wave speed must be modified. The proposed extension of the WAF method preserves all stationary solutions, up to second order accuracy, and water at rest in an exact way, even with arbitrary pollutant concentration. Finally, we perform several numerical tests, by comparing it with HLLC solver, reference solutions and analytical solutions
The First Magnetic Fields
We review current ideas on the origin of galactic and extragalactic magnetic
fields. We begin by summarizing observations of magnetic fields at cosmological
redshifts and on cosmological scales. These observations translate into
constraints on the strength and scale magnetic fields must have during the
early stages of galaxy formation in order to seed the galactic dynamo. We
examine mechanisms for the generation of magnetic fields that operate prior
during inflation and during subsequent phase transitions such as electroweak
symmetry breaking and the quark-hadron phase transition. The implications of
strong primordial magnetic fields for the reionization epoch as well as the
first generation of stars is discussed in detail. The exotic, early-Universe
mechanisms are contrasted with astrophysical processes that generate fields
after recombination. For example, a Biermann-type battery can operate in a
proto-galaxy during the early stages of structure formation. Moreover, magnetic
fields in either an early generation of stars or active galactic nuclei can be
dispersed into the intergalactic medium.Comment: Accepted for publication in Space Science Reviews. Pdf can be also
downloaded from http://canopus.cnu.ac.kr/ryu/cosmic-mag1.pd
Early magnetic resonance imaging and cognitive markers of hereditary cerebral amyloid angiopathy
FSW - Self-regulation models for health behavior and psychopathology - ou
Abel's Functional Equation and Eigenvalues of Composition Operators on Spaces of Real Analytic Functions
We obtain full description of eigenvalues and eigenvectors
of composition operators Cϕ : A (R) → A (R) for a real analytic self
map ϕ : R → R as well as an isomorphic description of corresponding
eigenspaces. We completely characterize those ϕ for which Abel’s equation
f ◦ ϕ = f + 1 has a real analytic solution on the real line. We find
cases when the operator Cϕ has roots using a constructed embedding of
ϕ into the so-called real analytic iteration semigroups.(1) The research of the authors was partially supported by MEC and FEDER Project MTM2010-15200 and MTM2013-43540-P and the work of Bonet also by GV Project Prometeo II/2013/013. The research of Domanski was supported by National Center of Science, Poland, Grant No. NN201 605340. (2) The authors are very indebted to K. Pawalowski (Poznan) for providing us with references [26,27,47] and also explaining some topological arguments of [10]. The authors are also thankful to M. Langenbruch (Oldenburg) for providing a copy of [29].Bonet Solves, JA.; Domanski, P. (2015). Abel's Functional Equation and Eigenvalues of Composition Operators on Spaces of Real Analytic Functions. Integral Equations and Operator Theory. 81(4):455-482. https://doi.org/10.1007/s00020-014-2175-4S455482814Abel, N.H.: Determination d’une function au moyen d’une equation qui ne contient qu’une seule variable. In: Oeuvres Complètes, vol. II, pp. 246-248. Christiania (1881)Baker I.N.: Zusammensetzung ganzer Funktionen. Math. Z. 69, 121–163 (1958)Baker I.N.: Permutable power series and regular iteration. J. Aust. Math. Soc. 2, 265–294 (1961)Baker I.N.: Permutable entire functions. Math. Z. 79, 243–249 (1962)Baker I.N.: Fractional iteration near a fixpoint of multiplier 1. J. Aust. Math. Soc. 4, 143–148 (1964)Baker I.N.: Non-embeddable functions with a fixpoint of multiplier 1. Math. Z. 99, 337–384 (1967)Baker I.N.: On a class of nonembeddable entire functions. J. Ramanujan Math. Soc. 3, 131–159 (1988)Baron K., Jarczyk W.: Recent results on functional equations in a single variable, perspectives and open problems. Aequ. Math. 61, 1–48 (2001)Belitskii G., Lyubich Y.: The Abel equation and total solvability of linear functional equations. Studia Math. 127, 81–97 (1998)Belitskii G., Lyubich Yu.: The real analytic solutions of the Abel functional equation. Studia Math. 134, 135–141 (1999)Belitskii G., Tkachenko V.: One-Dimensional Functional Equations. Springer, Basel (2003)Belitskii G., Tkachenko V.: Functional equations in real analytic functions. Studia Math. 143, 153–174 (2000)Bonet J., Domański P.: Power bounded composition operators on spaces of analytic functions. Collect. Math. 62, 69–83 (2011)Bonet J., Domański P.: Hypercyclic composition operators on spaces of real analytic functions. Math. Proc. Camb. Philos. Soc. 153, 489–503 (2012)Bracci, F., Poggi-Corradini, P.: On Valiron’s theorem. In: Proceedings of Future Trends in Geometric Function Theory. RNC Workshop Jyväskylä 2003, Rep. Univ. Jyväskylä Dept. Math. Stat., vol. 92, pp. 39–55 (2003)Contreras, M.D.: Iteración de funciones analíticas en el disco unidad. Universidad de Sevilla (2009). (Preprint)Contreras M.D., Díaz-Madrigal S., Pommerenke Ch.: Some remarks on the Abel equation in the unit disk. J. Lond. Math. Soc. 75(2), 623–634 (2007)Cowen C.: Iteration and the solution of functional equations for functions analytic in the unit disc. Trans. Am. Math. Soc. 265, 69–95 (1981)Cowen C.C., MacCluer B.D.: Composition operators on spaces of analytic functions. In: Studies in Advanced Mathematics. CRC Press, Boca Raton (1995)Domański, P.: Notes on real analytic functions and classical operators. In: Topics in Complex Analysis and Operator Theory (Winter School in Complex Analysis and Operator Theory, Valencia, February 2010). Contemporary Math., vol. 561, pp. 3–47. Am. Math. Soc., Providence (2012)Domański P., Goliński M., Langenbruch M.: A note on composition operators on spaces of real analytic functions. Ann. Polon. Math. 103, 209–216 (2012)P. Domański M. Langenbruch 2003 Language="En"Composition operators on spaces of real analytic functions Math. Nachr. 254–255, 68–86 (2003)Domański P., Langenbruch M.: Coherent analytic sets and composition of real analytic functions. J. Reine Angew. Math. 582, 41–59 (2005)Domański P., Langenbruch M.: Composition operators with closed image on spaces of real analytic functions. Bull. Lond. Math. Soc. 38, 636–646 (2006)Domański P., Vogt D.: The space of real analytic functions has no basis. Studia Math. 142, 187–200 (2000)Fuks D.B., Rokhlin V.A.: Beginner’s Course in Topology. Springer, Berlin (1984)Greenberg M.J.: Lectures on Algebraic Topology. W. A. Benjamin Inc., Reading (1967)Hammond, C.: On the norm of a composition operator, PhD. dissertation, Graduate Faculty of the University of Virginia (2003). http://oak.conncoll.edu/cnham/Thesis.pdfHandt T., Kneser H.: Beispiele zur Iteration analytischer Funktionen. Mitt. Naturwiss. Ver. für Neuvorpommernund Rügen, Greifswald 57, 18–25 (1930)Heinrich T., Meise R.: A support theorem for quasianalytic functionals. Math. Nachr. 280(4), 364–387 (2007)Karlin S., McGregor J.: Embedding iterates of analytic functions with two fixed points into continuous group. Trans.Am. Math. Soc. 132, 137–145 (1968)Kneser H.: Reelle analytische Lösungen der Gleichung φ ( φ ( x ) ) = e x und verwandter Funktionalgleichungen. J. Reine Angew. Math. 187, 56–67 (1949)Königs, G.: Recherches sur les intégrales de certaines équations fonctionnelles. Ann. Sci. Ecole Norm. Sup. (3) 1, Supplément, 3–41 (1884)Kuczma M.: Functional Equations in a Single Variable. PWN-Polish Scientific Publishers, Warszawa (1968)Kuczma M., Choczewski B., Ger R.: Iterative Functional Equations. Cambridge University Press, Cambridge (1990)Meise R., Vogt D.: Introduction to Functional Analysis. Clarendon Press, Oxford (1997)Milnor, J.: Dynamics in One Complex Variable. Vieweg, Braunschweig (2006)Schröder E.: über iterierte Funktionen. Math. Ann. 3, 296–322 (1871)Shapiro J.H.: Composition Operators and Classical Function Theory, Universitext: Tracts in Mathematics. Springer, New York (1993)Shapiro, J.H.: Notes on the dynamics of linear operators. Lecture Notes. http://www.mth.msu.edu/~hapiro/Pubvit/Downloads/LinDynamics/LynDynamics.htmlShapiro, J.H.: Composition operators and Schröder functional equation. In: Studies on Composition Operators (Laramie, WY, 1996), Contemp. Math., vol. 213, pp. 213–228. Am. Math. Soc., Providence (1998)Szekeres G.: Regular iteration of real and complex functions. Acta Math. 100, 203–258 (1958)Szekeres G.: Fractional iteration of exponentially growing functions. J. Aust. Math. Soc. 2, 301–320 (1961)Szekeres G.: Fractional iteration of entire and rational functions. J. Aust. Math. Soc. 4, 129–142 (1964)Szekeres G.: Abel’s equations and regular growth: variations on a theme by Abel. Exp. Math. 7, 85–100 (1998)Trappmann H., Kouznetsov D.: Uniqueness of holomorphic Abel function at a complex fixed point pair. Aequ. Math. 81, 65–76 (2011)Viro, O.: 1-manifolds. Bull. Manifold Atlas. http://www.boma.mpim-bonn.mpg.de/articles/48 (a prolonged version also http://www.map.mpim-bonn.mpg.de/1-manifolds#Differential_structures )Walker P.L.: A class of functional equations which have entire solutions. Bull. Aust. Math. Soc. 39, 351–356 (1988)Walker P.L.: The exponential of iteration of e x −1. Proc. Am. Math. Soc. 110, 611–620 (1990)Walker P.L.: On the solution of an Abelian functional equation. J. Math. Anal. Appl. 155, 93–110 (1991)Walker P.L.: Infinitely differentiable generalized logarithmic and exponential functions. Math. Comp. 57, 723–733 (1991
- …