ALBERT

Beschreibung: Hong-Biao Zhang, Lin Yang, and San-Xing Guo We construct so(3) algebra associated with the Morse potential and show that these operators obey so(3) commutation relations. A so(3) algebraic method is proposed in order to obtain the eigenvalues and eigenfunctions of the Morse potential. This method exhibits that Cartan operator J, the lowering ... [J. Math. Phys. 54, 092104 (2013)] published Fri Sep 6, 2013.

Beschreibung: N. Aizawa, Z. Kuznetsova, and F. Toppan Inequivalent [script N]=2 supersymmetrizations of the [script-l]-conformal Galilei algebra in d-spatial dimensions are constructed from the chiral (2, 2) and the real (1, 2, 1) basic supermultiplets of the [script N]=2 supersymmetry. For non-negative integer and half-integer [script-l], both superal ... [J. Math. Phys. 54, 093506 (2013)] published Wed Sep 11, 2013.

Beschreibung: The tension between the meaning of causality in science and law or public policy is well-known; however, defendants in product liability cases or industries that might be affected by a government regulation may try to convince the factfinder to require evidence of a causal relationship that meets the standards of science. From the perspective of public health, however, people may be exposed unnecessarily to a health risk during the time period between the establishment of reasonably strong evidence of a causal relationship and the overwhelming evidence required for scientific causality. The Bayesian paradigm enables one to update information from epidemiologic studies as they accumulate, providing estimates of the probability that the relative risk of a particular harm from exposure exceeds a threshold value, e.g. 2.0 or 4.0 that is sufficient to meet the preponderance of the evidence standard or to support a health initiative. In order to diminish the role of the initial prior distribution, which may be quite subjective, the first case-control study or an analysis of adverse event and case reports is used to determine two prior distributions. One is the most favourable to the defendant, or industry that might be regulated, which is consistent with the previous data. The other is centred on or near the estimated relative risk from the first study. The method is applied to the studies that linked aspirin use to Reye syndrome and demonstrates that the evidence of a causal association was sufficiently strong in 1982, when the Food and Drug Administration first proposed that the public be warned of the risk, to support the regulation. Thus, lives would have been saved had the warning been given at the end of 1982 rather than in early 1985.

Beschreibung: In law, inferences of causation are sometimes made through a structured process in which multiple participants play various roles, and make decisions concerning various logical components of the overall inference (such as legal rules, policy objectives, presumptions, evidence, burdens of proof and findings of fact). This article illustrates such a process using empirical research into compensation decisions in the USA for injuries allegedly caused by vaccinations. Empirical research into actual legal processes is essential, in order to discover how various players approach their sub-tasks of decision-making. It also provides insights for areas outside of law, such as non-monotonic logic, cognitive science, sociology and artificial intelligence.

Beschreibung: Situations of causal factual uncertainty are relatively common in law. The problems and difficulties regarding ‘factual causation’ in law point to the need of ‘evidence’ and ‘proof’ models that are adequate and capable to accommodate the tests and methodologies used to explain and demonstrate it in a legal context. Given the configuration of the situations of causal factual uncertainty and the available ‘evidence’ and ‘proof’ models, I argue that it is justified to use an ‘argumentative-narrative’ model for ‘proving causation’ in law. However, considering that each model of ‘evidence’ and ‘proof’ reveals a different kind of ‘rationality’ that can still be viewed in different ways, I also argue that we must try to match the perspective we have on the ‘rationality’ behind the chosen model of ‘evidence’ and ‘proof’ with the ‘rationality’ underlying ‘causation’ in law.

Beschreibung: At least in some cases, the values confronted in legal decision-making appear to be incommensurable. Some legal theorists resist incommensurability because they fear that this presents an overwhelming obstacle to rational decision-making. By offering a close analysis of proportionality and, more particularly, measures of proportional value satisfaction, I show that this fear is unfounded. Comparative measures of proportional value satisfaction do not require the values to be commensurable. However, assuming incommensurability presents us with the problem of public significance in the proportional satisfaction of values. When two values are commensurable, this public significance is provided by the mediating effects of the overarching third value that provides the common measure of the values. However, when this common measure is removed, then the public significance of value satisfaction must be otherwise achieved. This is why I propose an equal proportional value satisfaction as the most appropriate proportionality maximand. Under equal proportional value satisfaction, the proportional satisfaction of any one value has significance for each and every other value. This kind of public significance is interpersonal rather than impersonal (or second-personal rather than third-personal). The article then shows that the legal process that is most appropriate to equal proportionality is a process that implements defeasible legal rules.

Beschreibung: In order to allocate the risk between parties in legal adjudication, we use evidentiary techniques with the main device among them being the standard of proof (SoP). The traditional view holds the grade of probability to be the parameter that shifts when moving to different standards. However, as soon as we dig slightly deeper, an incoherent picture is being revealed. In this article, I challenge the accepted view and try to show that it faces insurmountable problems concerning the rationality, the grammatical consistency and the impact of the SoP for the acceptability of verdicts. At the end of the article, I shortly discuss the theory of epistemological contextualism and propose a framework that allows rational distinctions to be drawn between different standards of proof. In the second part of this project (forthcoming), I will defend a contextualist view according to which shifting parameter is not the grade of (aleatory) probability, but instead the Set of Epistemic Defeaters in play.

Beschreibung: The aim of this paper is to study the relations between the Hausdorff dimensions of k -quasilines and the theory of extremal quasiconformal mappings. We show that there is an open and dense subset (Strebel points) of the universal Teichmüller space T (H) such that, for every [ f ] in the set, the Hausdorff dimension of the k -quasiline determined by [ f ] is strictly less than 1 + k 2 . We also show that there are some points [ f ] != [id] outside the open and dense set in the universal Teichmüller space such that the Hausdorff dimension of the quasiline determined by [ f ] is 1. Moreover, some results on the Hausdorff dimensions of the quasilines varying in the asymptotic Teichmüller space are also obtained.

Beschreibung: A new uniqueness result for a general n th order differential equation is obtained. We show that some previous results follow immediately from our theorem.

Beschreibung: Consider a discrete uniformly elliptic divergence form equation on the d ≥3 dimensional lattice Z d with random coefficients. In Conlon and Spencer [ Trans. Amer. Math. Soc. , http://www.math.lsa.umich.edu/~conlon/paper/hom10.pdf ], rate of convergence results in homogenization and estimates on the difference between the averaged Green's function and the homogenized Green's function for random environments which satisfy a Poincaré inequality were obtained. Here, these results are extended to certain environments in which correlations can have arbitrarily small power law decay. These environments are simply related via a convolution to environments which do satisfy a Poincaré inequality.

Beschreibung: In this paper, we prove that, for any a , M N with ( a , M ) = 1, there are infinitely many Carmichael numbers m such that m a mod M .

Beschreibung: We give a topological analogue for openness of a criterion for flatness that originates with Auslander. Over a normal base of dimension n , failure of openness is detected by a vertical component in the n th fibred power of the morphism.

Beschreibung: Investigated are regular maps from real algebraic varieties into real Fermat varieties. It is proved that under some natural assumptions, all such maps are null homotopic.

Beschreibung: Let ( M , g ) be a complete non-compact Riemannian manifold. We consider operators of the form g + V , where g is the non-negative Laplacian associated with the metric g , and V a locally integrable function. Let be a Riemannian covering, with Laplacian g and potential . If the operator + V is non-negative on ( M , g ), then the operator is non-negative on . In this note, we show that the converse statement is true provided that is a co-amenable subgroup of 1 ( M ).

Beschreibung: Peak interpolation is concerned with a foundational kind of mathematical task: building functions in a fixed algebra A , which have prescribed values or behaviour on a fixed closed subset (or on several disjoint subsets). In this paper, we do the same but now A is an algebra of operators on a Hilbert space. We briefly survey this noncommutative peak interpolation , which we have studied with coauthors in a long series of papers, and whose basic theory now appears to be approaching its culmination. This programme developed from, and is based partly on, theorems of Hay and Read whose proofs were spectacular, but therefore inaccessible to an uncommitted reader. We give short proofs of these results, using recent progress in noncommutative peak interpolation, and conversely give examples of the use of these theorems in peak interpolation. For example, we prove a useful new noncommutative peak interpolation theorem.

Beschreibung: We show how a parameterized family of maps of the spine of a manifold can be used to construct a family of homeomorphisms of the ambient manifold which have the inverse limits of the spine maps as global attractors. We describe applications to unimodal families of interval maps, to rotation sets, and to the standard family of circle maps.

Beschreibung: For every prime p , we give infinitely many examples of torsors under abelian varieties over Q that are locally trivial but not divisible by p in the Weil–Châtelet group. We also give an example of a locally trivial torsor under an elliptic curve over Q that is not divisible by 4 in the Weil–Châtelet group. This gives a negative answer to a question of Cassels.

Beschreibung: We show that at least of the zeros of the Riemann zeta-function are simple, assuming the Riemann hypothesis. This was previously established by Conrey, Ghosh and Gonek [ Proc. London Math. Soc. 76 (1998) 497–522] under the additional assumption of the generalized Lindelöf hypothesis. We are able to remove this hypothesis by careful use of the generalized Vaughan identity.

Beschreibung: We construct an infinite family of hyperbolic, homologically thin knots that are not quasi-alternating. To establish the latter, we argue that the branched double-cover of each knot in the family does not bound a negative-definite 4-manifold with trivial first homology and bounded second Betti number. This fact depends in turn on information from the correction terms in Heegaard Floer homology, which we establish by way of a relationship to, and calculation of, the Turaev torsion.

Beschreibung: We observe that E -resultant of a very ample rank 2 vector bundle E on a real projective curve (with no real points) is nonnegative when restricted to the space of real sections. Moreover, we show that if E has a section vanishing at exactly two points and the degree d of E satisfies d ( d – 6) ≥ 4( g – 1), then this polynomial cannot be written as a sum of squares.

Beschreibung: Let G be one of the Ricci-flat holonomy groups SU( n ), Sp( n ), Spin(7) or G 2 , and M a compact manifold of dimension 2 n , 4 n , 8 or 7, respectively. We prove that the natural map from the moduli space of torsion-free G -structures on M to the moduli space of Ricci-flat metrics is open, and that the image is a smooth manifold. For the exceptional cases G = Spin(7) and G 2 , we extend the result to asymptotically cylindrical manifolds.

Beschreibung: We improve the results of Booker and Krishnamurthy ( Compos. Math. 147 (2011) 669–715) by allowing restricted sets of poles among the unramified twists. This allows for a clean statement of the GL(2) converse theorem which includes all cases of Eisenstein series.

Beschreibung: Let G be a solvable subgroup of the automorphism group Aut( X ) of a compact Kähler manifold X of complex dimension n , and let N ( G ) be the normal subgroup of G consisting of elements with null entropy. Let us denote by G * the image of G under the natural map from Aut( X ) to GL( V , R ), where V is the Dolbeault cohomology group H 1, 1 ( X , R ). Assume that the Zariski closure of G * in GL( V C ) is connected. The main aim of this paper is to show that, when the rank r ( G ) of the quotient group G / N ( G ) is equal to n – 1 and the identity component of Aut( X ) is trivial, then the normal subgroup N ( G ) of G is finite. This affirmatively answers a question in Invent. Math. posed by D.-Q. Zhang.

Beschreibung: Marcus A. Khuri and Gilbert Weinstein In this paper, we show how a natural coupling of the Dirac equation with the generalized Jang equation leads to a proof of the rigidity statement in the positive mass theorem with charge, without the maximal slicing condition, provided a solution to the coupled system exists. ... [J. Math. Phys. 54, 092501 (2013)] published Fri Sep 13, 2013.

Beschreibung: Andre Unterberger We rely on an analysis of initial states of the wave function associated with the simplest relativistic particlethe Weyl neutrinoto construct two series of representations of SL(2,[openface R]), or of the twofold cover of this group, by operators acting on scalar functions defined on the real line. ... [J. Math. Phys. 54, 093509 (2013)] published Fri Sep 13, 2013.

Beschreibung: This paper deals with the boundary control problems for the system described by first-order hyperbolic partial integro-differential equations with nonlocal boundary conditions by means of the deformation formulas. It is shown that the associated operator with nonlocal terms generates a C 0 -semigroup and the system defines an abstract boundary control system in L 2 -space. On the basis of the construction of integral kernel function, the ordinal and evolutional deformation formulas are established for a general class of Volterra integro-differential equations with nonlocal terms. By applying a special form of the formulas, a design of feedback boundary control law is given, which makes the scalar boundary control system null controllable in finite time. Furthermore, the null controllability result is extended to coupled nonsymmetric first-order hyperbolic systems by using appropriate linear transformations. Applications to physically important coupled systems are also given.

Beschreibung: J. A. de Azcarraga and J. M. Izquierdo Two types of higher order Lie [script-l]-ple systems are introduced in this paper. They are defined by brackets with [script-l] 〉 3 arguments satisfying certain conditions, and generalize the well-known Lie triple systems. One of the generalizations uses a construction that allows us to associate a ... [J. Math. Phys. 54, 093510 (2013)] published Tue Sep 17, 2013.

Beschreibung: Asif Shakeel and Peter J. Love Quantum cellular automata (QCA) are models of quantum computation of particular interest from the point of view of quantum simulation. Quantum lattice gas automata (QLGA - equivalently partitioned quantum cellular automata) represent an interesting subclass of QCA. QLGA have been more deeply analyze ... [J. Math. Phys. 54, 092203 (2013)] published Thu Sep 19, 2013.

Beschreibung: Arguments need to be judged against other arguments. The decision to accept or reject an argument is generally a global decision that involves examining the same question for other arguments that oppose or can defend the argument in question. This article presents the acceptability semantics for abstract argumentation that through a recursive definition gives a global assignment of the acceptable and non-acceptable subsets of arguments. This semantics stems from the aim to formalize directly the generally accepted intuition that: ‘An argument can be accepted if and only if all its challenging arguments can be rejected.’ The acceptability semantics tightly integrates the notion of defending against a challenging argument by counter-attacking it with the notion of self-defeating (or self-rejecting) arguments that (help to) bring about their own non-acceptability. The proposal is motivated by earlier studies of the semantics of Logic Programming (LP) in terms of argumentation, where the basic well founded and stable model semantics of LP can be uniformly captured using a recursively defined argumentation semantics for Negation as Failure and where these standard semantics of LP can be further extended through argumentation.

Beschreibung: This article is concerned with the design and analysis of polynomial time algorithms for determining whether a Planar Quantified Integer Program (PQIP) is feasible. A PQIP can be described briefly as an integer program involving two variables, in which each variable can be either universally or existentially quantified. There are four types of PQIPs, depending on how the variables are quantified (existentially or universally). In this article, we present two new, simple, and efficient algorithms for the case as well as a detailed account of the complexity of the other cases. Moreover, we discuss certification with respect to the provided algorithms.

Beschreibung: In the present article, the quantifiers over propositions are first introduced into the language for reasoning about probability, then the complexity issues for validity problems dealing with the corresponding hierarchy of probabilistic sentences are investigated. We prove, among other things, the $${\Pi }_{1}^{1}$$ -completeness for the general validity and also indicate the least level in the hierarchy for which the validity problem is undecidable.

Beschreibung: We use mosaics to provide a simple, sound, complete and terminating tableau reasoning procedure for the temporal logic of until and since over general linear time.

Beschreibung: The aim of what semantic science is to have scientific ontologies, data and hypotheses represented and published in machine understandable forms that enable predictions on new cases. There is much work on developing scientific ontologies and representing scientific data in terms of these ontologies. The next step is to publish hypotheses that can make (probabilistic) predictions on the published data and can be used for prediction on new cases. The published data can be used to evaluate hypotheses. To make a prediction in a particular case, hypotheses are combined to form models. This article considers feature-based semantic science where the data and new cases are described in terms of features. A prediction for a new case is made by building a model made up of hypotheses that fit together, are consistent with the ontologies used, and are adequate for the case. We give some desiderata for such models, and show how the construction of such models is a form of abduction. We provide a definition for models that satisfies these criteria and prove that it produces a coherent probability distribution over the values of interest.

Beschreibung: In this article we present methods of transition from one perspective on logic to others, and apply this in particular to obtain a coalgebraic presentation of logic. The central ingredient in this process is to view consequence relations as morphisms in a category.

Beschreibung: We consider the expressive power of the first-order structure 〈, C 〉 where is either of two of different domains of extended regions in Euclidean space, and C(x,y) is the topological relation ‘Region x is in contact with region y .’ We prove two main theorems: Let $$\mathcal{P}$$ [Q] be the domain of bounded, non-empty, rational polyhedra in two- or three-dimensional Euclidean space. A relation over $$\mathcal{P}$$ [Q] is definable in the structure 〈 $$\mathcal{P}$$ [Q], C 〉 if and only if is arithmetic and invariant under rational PL-homeomorphisms of the space to itself. We also extend this result to a number of other domains, including the domain of all polyhedra and the domain of semi-algebraic regions. Let $$\mathcal{R}$$ be the space of bounded, non-empty, closed regular regions in n -dimensional Euclidean space. Any analytical relation over lower dimensional (i.e. empty interior) compact point sets that is invariant under homeomorphism is implicitly definable in the structure 〈 $$\mathcal{R}$$ , C 〉.

Beschreibung: We give explicit atomic bases of arbitrary coefficient-free cluster algebras of types A and à . This entails showing that the minimal elements of the positive semiring of these cluster algebras form a linear basis over the integers for the cluster algebra.

Beschreibung: We prove that strongly F -regular and F -pure singularities satisfy Bertini-type theorems (including in the context of pairs) by building upon a framework of Cumino, Greco and Manaresi (compare with the work of Jouanolou and Spreafico). We also prove that F -injective singularities fail to satisfy even the most basic Bertini-type results.

Beschreibung: This is the second of a pair of papers on the Delta-group structure on the braid and mapping class groups of a surface. We obtain a description of the homotopy groups of these Delta-groups and generalize to an arbitrary surface the Berrick–Cohen–Wong–Wu exact sequence relating the Brunnian braid groups of the 2-sphere to its homotopy groups. We prove a similar result for Brunnian mapping class groups.

Beschreibung: We construct a geometric realization of the Khovanov–Lauda–Rouquier algebra R associated with a symmetric Borcherds–Cartan matrix A = ( a ij ) i , j I via quiver varieties. As an application, if a ii != 0 for any i I , we prove that there exists a one-to-one correspondence between Kashiwara's lower global basis (or Lusztig's canonical basis) of U A – (g) (respectively, V A ( )) and the set of isomorphism classes of indecomposable projective graded modules over R (respectively, R ).

Beschreibung: The purpose of this paper is to study the nature of quasi-invariant measures for finitely generated non-discrete subgroups of Diff ( S 1 ). For this, we apply ideas involving the closure of these groups to find out that the regularity of the measure depends on a ‘measurable version’ of well-known problems concerning stable self-intersection of Cantor sets. As applications, we prove that every d -quasiconformal probability measure for a non-solvable and non-discrete group must be absolutely continuous. Concerning singular quasi-invariant measures, it is also proved that their associated Hausdorff measures must either be zero or of infinite mass, a result contrasting with the case of dynamically defined Cantor sets and also applicable to the examples of singular stationary measures constructed by Kaimanovich and Le Prince. As a further application of our methods, a theorem of rigidity for measurable conjugations between groups as above is obtained.

Beschreibung: We study the space of period polynomials associated with modular forms of integral weight for finite-index subgroups of the modular group. For the modular group, this space is endowed with a pairing, corresponding to the Petersson inner product on modular forms via a formula of Haberland, and with an action of Hecke operators, defined algebraically by Zagier. We generalize Haberland's formula to (not necessarily cuspidal) modular forms for finite-index subgroups, and we show that it conceals two stronger formulas. We extend the action of Hecke operators to period polynomials of modular forms, we show that the pairing on period polynomials appearing in Haberland's formula is nondegenerate, and we determine the adjoints of Hecke operators with respect to it. We give a few applications for 1 ( N ): an extension of the Eichler–Shimura isomorphism to the entire space of modular forms; the determination of the relations satisfied by the even and odd parts of period polynomials associated with cusp forms, which are independent of the period relations; and an explicit formula for Fourier coefficients of Hecke eigenforms in terms of their period polynomials, generalizing the Coefficient theorem of Manin.

Beschreibung: This study develops a spectral theory of the interior transmission problem (ITP) for heterogeneous and anisotropic elastic solids. The subject is central to the so-called qualitative methods for inverse scattering involving penetrable obstacles. Although simply stated as a coupled pair of elastodynamic wave equations, the ITP for elastic bodies is neither self-adjoint nor elliptic. To help deal with such impediments, earlier studies have established the well-posedness of an elastodynamic ITP under notably restrictive assumptions on the contrast in elastic and mass density parameters between the scatterer and the background solid. Due to lack of self-adjointness of the problem, these analyses were further successful in substantiating the discreteness of the relevant eigenvalue spectrum but not its existence. The aim of this work is to provide a systematic treatment of the ITP for elastic bodies that transcends the limitations of earlier analyses. Considering a broad range of material-contrast configurations, this paper investigates the questions of the solvability of the ITP, the discreteness of its eigenvalues and, for the first time, of the existence of such eigenvalue spectrum. Necessitated by the breadth of material configurations studied, the relevant claims are established via a suite of variational formulations, each customized to meet the needs of a particular subclass of eigenvalue problems.

Beschreibung: Rayleigh–Stokes problems have in recent years received much attention due to their importance in physics. In this article, we focus on the variable-order Rayleigh–Stokes problem for a heated generalized second grade fluid with fractional derivative. Implicit and explicit numerical methods are developed to solve the problem. The convergence, stability of the numerical methods and solvability of the implicit numerical method are discussed via Fourier analysis. Moreover, a numerical example is given and the results support the effectiveness of the theoretical analysis.

Beschreibung: In this paper, the rigorous linking of exact stochastic models to mean-field approximations is studied. Using a continuous-time Markov chain, we start from the exact formulation of a simple epidemic model on a certain class of networks, including completely connected and regular random graphs, and rigorously derive the well-known mean-field approximation that is usually justified based on biological hypotheses. We propose a unifying framework that incorporates and discusses the details of two existing proofs and we put forward a new ordinary differential equation (ODE)-based proof. The more well-known proof is based on a first-order partial differential equation approximation, while the other, more technical one, uses Martingale and Semigroup theory. We present the main steps of both proofs to investigate their applicability in different modelling contexts and to make these ideas more accessible to a broader group of applied researchers. The main result of the paper is a new ODE-based proof that may serve as a building block to prove similar convergence results for more complex networks. The new proof is based on deriving a countable system of ODEs for the moments of a distribution of interest and proving a perturbation theorem for this infinite system.

Beschreibung: In this paper, we extend certain key results from the classical theory of isotropic elasticity to the generalized theory of elasticity for decagonal quasicrystaline composites. These results include: (i) the dependence of the solution on the number of elastic constants, (ii) Green's functions for bimaterials consisting of two bonded half-planes, (iii) Green's functions for a circular elastic inclusion, (iv) the oscillatory singular stress field in the vicinity of an interface crack tip and (v) the inverse problem corresponding to the design of harmonic shapes.

Beschreibung: The note develops an approximate approach to mixed boundary value problems in linear elasticity starting from an explicit asymptotic model for the Rayleigh surface wave. It is demonstrated that the original vector mixed problem may be reduced to a scalar problem for the Laplace equation. As an illustration, the steady-state motion of a rigid stamp is analysed. Comparison of asymptotic and exact results is presented.

Beschreibung: Sylwia Kondej In this paper, we study a two-dimensional quantum system governed by the Hamiltonian corresponding to the formal expression Delta(alpha+omega())delta(Gamma), where alpha 〉 0, omega() is a continuous compactly supported function and Gamma is a curve in [openface R]. We derive the asymptotics of eigen ... [J. Math. Phys. 54, 093511 (2013)] published Thu Sep 26, 2013.

Beschreibung: J. Sadeghi, M. Rostami, and Z. Sadeghi In this paper we consider modified wave equations for spinless particles in an external magnetic field. We consider 4-potentials which guarantee Lorentz' and Coulomb's conditions. The new variable for modified wave equation leads us to consider the associated Laguerre differential equation. We take ... [J. Math. Phys. 54, 093512 (2013)] published Fri Sep 27, 2013.

Beschreibung: O. L. de Lange and R. E. Raab Multipole expansions for the macroscopic charge and current densities in a dielectric half-space involve a hierarchy of singular functions comprising the Dirac delta function and its derivatives. For these, Maxwell's differential equations yield corresponding singular expansions of the macroscopic e ... [J. Math. Phys. 54, 093513 (2013)] published Fri Sep 27, 2013.

Beschreibung: We show the existence and uniqueness of a solution for the nonlocal vector-valued Allen–Cahn variational inequality in a formulation involving Lagrange multipliers for local and nonlocal constraints. Furthermore, we propose and analyse a primal–dual active set (PDAS) method for local and nonlocal vector-valued Allen–Cahn variational inequalities. The local convergence behaviour of the PDAS algorithm is studied by interpreting the approach as a semismooth Newton method and numerical simulations are presented demonstrating its efficiency.

Beschreibung: In this paper, we will present a generalized convolution quadrature for solving linear parabolic and hyperbolic evolution equations. The original convolution quadrature method by Lubich works very nicely for equidistant time steps while the generalization of the method and its analysis to nonuniform time stepping is by no means obvious. We will introduce the generalized convolution quadrature allowing for variable time steps and develop a theory for its error analysis. This method opens the door for further development towards adaptive time stepping for evolution equations. As the main application of our new theory, we will consider the wave equation in exterior domains which is formulated as a retarded boundary integral equation.

Beschreibung: We address the error control of Galerkin discretization (in space) of linear second-order hyperbolic problems. More specifically, we derive a posteriori error bounds in the L ( L 2 ) norm for finite element methods for the linear wave equation, under minimal regularity assumptions. The theory is developed for both the space-discrete case and for an implicit fully discrete scheme. The derivation of these bounds relies crucially on carefully constructed space and time reconstructions of the discrete numerical solutions, in conjunction with a technique introduced by Baker (1976, Error estimates for finite element methods for second-order hyperbolic equations. SIAM J. Numer. Anal. , 13 , 564–576) in the context of a priori error analysis of Galerkin discretization of the wave problem in weaker-than-energy spatial norms.

Beschreibung: The surface finite element method can be used to approximate curvatures on embedded hypersurfaces and to discretize geometric partial differential equations. In this paper, we present a definition of discrete Ricci curvature on polyhedral hypersurfaces of arbitrary dimension based on the discretization of a weak formulation with isoparametric finite elements. We prove that for a piecewise quadratic approximation of a two- or three-dimensional hypersurface R n +1 , this definition approximates the Ricci curvature of with a linear order of convergence in the L 2 ( ) norm. By using a smoothing scheme in the case of a piecewise linear approximation of , we still get a convergence of order 2/3 in the L 2 ( ) norm and of order 1/3 in the W 1, 2 ( ) norm.

Beschreibung: We give general conditions which guarantee that the sequence generated by a descent algorithm converges to an equilibrium point. The convergence result is based on the Lojasiewicz gradient inequality; optimal convergence rates are also derived, as well as a stability result. We show how our results apply to a large variety of standard time discretizations of gradient-like flows. Schemes with variable time step are considered and optimal conditions on the maximal step size are derived. Applications to time and space discretizations of the Allen–Cahn equation, the sine–Gordon equation and a damped wave equation are given.

Beschreibung: This paper presents quadratic finite-volume methods for elliptic and parabolic problems on quadrilateral meshes that use Barlow points (optimal stress points) for dual partitions. Introducing Barlow points into the finite-volume formulations results in better approximation properties at the cost of loss of symmetry. The novel ‘symmetrization’ technique adopted in this paper allows us to derive optimal-order error estimates in the H 1 - and L 2 -norms for elliptic problems and in the L ( H 1 )- and L ( L 2 )-norms for parabolic problems. Superconvergence of the difference between the gradients of the finite-volume solution and the interpolant can also be derived. Numerical results confirm the proved error estimates.

Beschreibung: A linear parabolic differential equation on a moving surface is discretized in space by evolving-surface finite elements and in time by backward difference formulas (BDFs). Using results from Dahlquist's G-stability theory and Nevanlinna & Odeh's multiplier technique together with properties of the spatial semidiscretization, stability of the full discretization is proved for BDF methods up to order 5 and optimal-order convergence is shown. Numerical experiments illustrate the behaviour of the fully discrete method.

Beschreibung: In this article, we develop the a priori and a posteriori error analysis of hp -version interior penalty discontinuous Galerkin finite element methods for strongly monotone quasi-Newtonian fluid flows in a bounded Lipschitz domain R d , d = 2, 3. In the latter case, computable upper and lower bounds on the error are derived in terms of a natural energy norm, which are explicit in the local mesh size and local polynomial degree of the approximating finite element method. A series of numerical experiments illustrate the performance of the proposed a posteriori error indicators within an automatic hp -adaptive refinement algorithm.

Beschreibung: In recent years, it has become increasingly clear that the critical issue in gradient methods is the choice of the step length, whereas using gradient as the search direction may lead to very effective algorithms, whose surprising behaviour has only been partially explained, mostly in terms of the spectrum of the Hessian matrix. On the other hand, the convergence of the classical Cauchy steepest descent (SD) method has been analysed extensively and related to the spectral properties of the Hessian matrix, but the connection with the spectrum of the Hessian has not been exploited much to modify the method in order to improve its behaviour. In this work, we show how, for convex quadratic problems, moving from some theoretical properties of the SD method, second-order information provided by the step length can be exploited to dramatically improve the usually poor practical behaviour of this method. This allows us to achieve computational results comparable with those of the Barzilai and Borwein algorithm, with the further advantage of monotonic behaviour.

Beschreibung: J. Bakosi and J. R. Ristorcelli The method of potential solutions of Fokker-Planck equations is used to develop a transport equation for the joint probability of N stochastic variables with Lochner's generalized Dirichlet distribution [R. H. Lochner, A generalized Dirichlet distribution in Bayesian life testing, J. R. Stat. Soc. S ... [J. Math. Phys. 54, 102701 (2013)] published Tue Oct 1, 2013.

Beschreibung: M. V. Altaisky and N. E. Kaputkina Nondispersive wave packets are widely used in optics and acoustics. We found it interesting that such packets could be also a subject of quantum field theory. Canonical commutation relations for the nondispersive wave packets are constructed. ... [J. Math. Phys. 54, 102101 (2013)] published Tue Oct 1, 2013.

Beschreibung: Kohei Iwaki and Atsushi Takahashi We prove the Dubrovin's conjecture for the Stokes matrices for the quantum cohomology of orbifold projective lines. The conjecture states that the Stokes matrix of the first structure connection of the Frobenius manifold constructed from the Gromov-Witten theory coincides with the Euler matrix of a ... [J. Math. Phys. 54, 101701 (2013)] published Tue Oct 1, 2013.

Beschreibung: Hayato Chiba It is known that the Swift-Hohenberg equation [partial-derivative]u/[partial-derivative]t=([partial-derivative]+1)u+[eh](uu) can be reduced to the Ginzburg-Landau equation (amplitude equation) [partial-derivative]A/[partial-derivative]t=4[partial-derivative]A+[eh](A3A|A|) by means of the singular pe ... [J. Math. Phys. 54, 101501 (2013)] published Tue Oct 1, 2013.

Beschreibung: F. Calogero and F. Leyvraz A new solvable discrete-time many-body problem is identified. It extends a model treated in a previous paper by introducing in its equations of motion an additional free parameter. Hence, it features 6 parameters, 2 of which can be eliminated (say, replaced by unity) by appropriate rescalings. Assig ... [J. Math. Phys. 54, 102702 (2013)] published Tue Oct 1, 2013.

Beschreibung: I begin by drawing a parallel between the intuitionistic understanding of quantification over all natural numbers and the generality relativist understanding of quantification over absolutely everything. I then argue that adoption of an intuitionistic reading of relativism not only provides an immediate reply to the absolutist's charge of incoherence but it also throws a new light on the debates surrounding absolute generality.

Beschreibung: In Plato's Phaedrus , Socrates offers two speeches, the first portraying madness as mere disease, the second celebrating madness as divine inspiration. Each speech is correct, says Socrates, though neither is complete. The two kinds of madness are like the left and right sides of a living body: no account that focuses on just one half can be adequate. In a recent paper, Hugh Benson gives a left-handed speech about a psychic condition endemic among mathematicians: dianoia . Benson acknowledges that his account is one-sided, but only hints at the virtues of right-handed dianoia . This note sketches a somewhat fuller picture.

Beschreibung: In a recent paper, Aidan Lyon and Mark Colyvan have proposed an explanation of the structure of the bee's honeycomb based on the mathematical Honeycomb Conjecture. This explanation has instantly become one of the standard examples in the philosophical debate on mathematical explanations of physical phenomena. In this critical note, I argue that the explanation is not scientifically adequate. The reason for this is that the explanation fails to do justice to the essentially three-dimensional structure of the bee's honeycomb.

Beschreibung: Hilary Putnam first published the consistency objection against Ludwig Wittgenstein’s account of mathematics in 1979. In 1983, Putnam and Benacerraf raised this objection against all conventionalist accounts of mathematics. I discuss the 1979 version and the scenario argument, which supports the key premise of the objection. The wide applicability of this objection is not apparent; I thus raise it against an imaginary axiomatic theory T similar to Peano arithmetic in all relevant aspects. I argue that a conventionalist can explain the consistency of T and suggest that an analogous explanation can be provided for the consistency of Peano arithmetic.

Beschreibung: In this paper I examine some difficulties with the argument presented as a topological sorites in Z. Weber and M. Colyvan, ‘A topological sorites’, Journal of Philosophy 107, 311–325. In particular, I suggest that the argument may be used to support the claim that sorites-type paradoxes cannot arise in a cohesive environment.

Beschreibung: Mistaken reasons for thinking diagrammatic proofs aren't rigorous are explored. The main result is that a confusion between the contents of a proof procedure (what's expressed by the referential elements in a proof procedure) and the unarticulated mathematical aspects of a proof procedure (how that proof procedure is enabled) gives the impression that diagrammatic proofs are less rigorous than language proofs. An additional (and independent) factor is treating the impossibility of naturally generalizing a diagrammatic proof procedure as an indication of lack of rigor.

Beschreibung: This paper examines the ontological commitments of the second-order language of arithmetic and argues that they do not extend beyond the first-order language. Then, building on an argument by George Boolos, we develop a Tarski-style definition of a truth predicate for the second-order language of arithmetic that does not involve the assignment of sets to second-order variables but rather uses the same class of assignments standardly used in a definition for the first-order language.

Beschreibung: This note has three goals. First, we discuss a presentation of Bertrand's paradox in a recent issue of Philosophia Mathematica , which we believe to be a subtle but important misinterpretation of the problem. We compare claims made about Bertrand with his 1889 Calcul des Probabilités . Second, we use this source to understand Bertrand's true intention in describing what we now call his paradox, comparing it both to another problem he describes in the same section and to a modern treatment. Finally, we briefly consider the importance of knowing when a specific example represents a general case.

Beschreibung: Yuecai Han and Liwei Zhang We consider the parabolic Anderson model in a special random homogeneous potential that is generated by the Gaussian and Poisson random medium together. In our model, the coefficient V(x) is not Holder continuous with positive probability, and thus the model is unlikely to have a path-wise solution. ... [J. Math. Phys. 54, 103503 (2013)] published Fri Oct 4, 2013.

Beschreibung: Caishi Wang and Jihong Zhang The family {[partial-derivative],[partial-derivative]} of annihilation and creation operators acting on square integrable functionals of a Bernoulli process Z = (Z) can be interpreted as quantum Bernoulli noises. In this note we consider the operator family {[script-l],[script-l]}, where [script-l]= ... [J. Math. Phys. 54, 103502 (2013)] published Fri Oct 4, 2013.

Beschreibung: Toshiaki Tanaka We obtain the most general type B 3-fold supersymmetry by solving directly the intertwining relation. We then show that it is a necessary and sufficient condition for a second-order linear differential operator to have three linearly independent local analytic solutions. We find that there are eight ... [J. Math. Phys. 54, 092103 (2013)] published Fri Sep 6, 2013.

Beschreibung: Yurij Yaremko We are interested in the motion of a classical charge acted upon an external constant electromagnetic field where the back reaction of the particle's own field is taken into account. The Landau-Lifshitz approximation to the Lorentz-Abraham-Dirac equation is solved exactly and in closed form. It is s ... [J. Math. Phys. 54, 092901 (2013)] published Fri Sep 6, 2013.

Beschreibung: Ricardo Garcia-Pelayo A statement in an example had been proved incorrectly. A correct proof is given here. ... [J. Math. Phys. 54, 099901 (2013)] published Mon Sep 9, 2013.

Beschreibung: Bianca Dittrich and Philipp A. Hohn A canonical formalism and constraint analysis for discrete systems subject to a variational action principle are devised. The formalism is equivalent to the covariant formulation, encompasses global and local discrete time evolution moves and naturally incorporates both constant and evolving phase s ... [J. Math. Phys. 54, 093505 (2013)] published Mon Sep 9, 2013.

Beschreibung: Frederic Menous In this paper we study logarithmic derivatives associated to derivations on completed graded Lie algebra, as well as the existence of inverses. These logarithmic derivatives, when invertible, generalize the exp-log correspondence between a Lie algebra and its Lie group. Such correspondences occur na ... [J. Math. Phys. 54, 092702 (2013)] published Mon Sep 9, 2013.

Beschreibung: Izu Vaisman Let (M, omega) be an almost symplectic manifold (omega is a nondegenerate, not closed, 2-form). We say that a vector field X of M is locally Hamiltonian if Lomega = 0, d(i(X)omega) = 0, and it is Hamiltonian if, furthermore, the 1-form i(X)omega is exact. Such vector fields were considered in Fasso ... [J. Math. Phys. 54, 092902 (2013)] published Tue Sep 10, 2013.

Beschreibung: Emil Novruzov In this paper, we study the Cauchy problem for the weakly dissipative DullinGottwaldHolm equation. We establish certain conditions on the initial datum to guarantee that the corresponding positive strong solutions blow up in finite time. ... [J. Math. Phys. 54, 092703 (2013)] published Wed Sep 11, 2013.

Beschreibung: Yukun Song, Hongjun Yuan, Yang Chen, and Zhidong Guo This paper is concerned with the one dimensional fluid-particle interaction model in the so-called bubbling regime which describes the evolution of particles dispersed in a viscous compressible non-Newtonian fluid. We obtained the existence of unique local strong solution to this model. The main dif ... [J. Math. Phys. 54, 091501 (2013)] published Wed Sep 11, 2013.

Beschreibung: This article focuses on the question of how decision makers with no relevant scientific background can (if at all) legitimately evaluate conflicting scientific expert testimonies and determine their relative reliability. Sceptics argue that non-experts can never reach justifiable conclusions regarding the merits of conflicting expert testimonies because they lack the fundamental epistemic capacity to make such judgement calls. In this article, I draw on works on epistemology, philosophy of practical reasoning, philosophy of science, science and technology studies, and legal theory in order to scrutinize recent proposals to solve the problem of conflicting scientific expert testimonies. Addressing this question is of ultimate importance due to the idea that immanent in the idea of rule-of-law there is an intellectual due process norm, which articulates that epistemically arbitrary legal decisions are also not legally justified. This article is divided into two Sections. In Section 2 , I describe the basic philosophical inquiries underlying the debate about expert testimony. In particular, I first elaborate on the philosophy of testimony and its epistemic justifications, then move to the idea of epistemic deference, and finish with philosophical accounts of expertise. Section 3 presents the problem of conflicting scientific expert testimonies and analyses recent attempts to solve it as formulated by Ward Jones, Alvin Goldman and Scott Brewer. I argue that there is no single criterion (or set of criteria) upon which the non-expert could rely in order to make a rationally justified decision in each and every case in which he faces conflicting scientific expert testimonies. The alternative view here defended is to stop looking for an epistemic panacea and accept the idea that testimonial reliability operates differently within different kinds of testimony—and differently within the same kind of testimony at different times.

Beschreibung: The so-called inductive McKay condition on finite simple groups, due to Isaacs–Malle–Navarro, has recently been reformulated by Späth. We show that this reformulation applies to the reduction theorem for Alperin's weight conjecture, due to Navarro–Tiep. This also simplifies the checking of the inductive condition for Alperin's weight conjecture in the case of simple groups of Lie type with regard to the defining prime.

Beschreibung: We construct a family of minimal smooth surfaces of general type with K 2 = 3 and p g = 0, which are finite (Z/2Z) 2 -covers of the 4-nodal cubic surface. This turns out to be a five-dimensional subfamily of the six-dimensional family constructed by Mendes Lopes and Pardini, which realizes the Keum–Naie surfaces with K 2 = 3 as degenerations. We show that the base of the Kuranishi family of a general surface in our subfamily is smooth. We prove that the closure of the corresponding subset of the Keum–Naie–Mendes Lopes–Pardini surfaces is an irreducible component of the Gieseker moduli space. As an important byproduct, it is shown that, for the surfaces in this irreducible component, the degree of the bicanonical map can only be 2 or 4.

Beschreibung: We show that the isometry group of the bounded Urysohn space is a simple group.

Beschreibung: In this paper we study Koszul cohomology and the Green and Prym–Green conjectures for canonical and Prym-canonical binary curves. We prove that, if property N p holds for a canonical or a Prym-canonical binary curve of genus g , then it holds for a generic canonical or Prym-canonical binary curve of genus g + 1. We also verify the Green and Prym–Green conjectures for generic canonical and Prym-canonical binary curves of low genus (6 ≤ g ≤ 15, g != 8 for Prym-canonical and 3 ≤ g ≤ 12 for canonical).

Beschreibung: We construct an infinite-dimensional Banach space of continuous functions C ( K ) such that every one-to-one operator T : C ( K )-〉 C ( K ) is onto.

Beschreibung: J. A. Leach In this paper, we address an initial-boundary value problem for the modified Burgers' equation. The normalized modified Burgers' equation considered is given by u + u u u = 0, 0 〈 x 〈 [infinity], t 〉 0, where x and t represent dimensionless distance and time, respectively, and p (〉1) is a par ... [J. Math. Phys. 54, 091502 (2013)] published Thu Sep 12, 2013.