Equilibrium states and their entropy densities in gauge-invariant C*-systems

A gauge-invariant C*-system is obtained as the fixed point subalgebra of the infinite tensor product of full matrix algebras under the tensor product unitary action of a compact group. In the paper, thermodynamics is studied on such systems and the chemical potential theory developed by Araki, Haag, Kastler and Takesaki is used. As a generalization of quantum spin system, the equivalence of the KMS condition, the Gibbs condition and the variational principle is shown for translation-invariant states. The entropy density of extremal equilibrium states is also investigated in relation to macroscopic uniformity.Comment: 20 pages, revised in March 200

Free energy density for mean field perturbation of states of a one-dimensional spin chain

Motivated by recent developments on large deviations in states of the spin chain, we reconsider the work of Petz, Raggio and Verbeure in 1989 on the variational expression of free energy density in the presence of a mean field type perturbation. We extend their results from the product state case to the Gibbs state case in the setting of translation-invariant interactions of finite range. In the special case of a locally faithful quantum Markov state, we clarify the relation between two different kinds of free energy densities (or pressure functions).Comment: 29 pages, Section 5 added, to appear in Rev. Math. Phy

Scalar Representation and Conjugation of Set-Valued Functions

To a function with values in the power set of a pre-ordered, separated locally convex space a family of scalarizations is given which completely characterizes the original function. A concept of a Legendre-Fenchel conjugate for set-valued functions is introduced and identified with the conjugates of the scalarizations. Using this conjugate, weak and strong duality results are proven.Comment: arXiv admin note: substantial text overlap with arXiv:1012.435

Classical Duals, Legendre Transforms and the Vainshtein Mechanism

We show how to generalize the classical duals found by Gabadadze {\it et al} to a very large class of self-interacting theories. This enables one to adopt a perturbative description beyond the scale at which classical perturbation theory breaks down in the original theory. This is particularly relevant if we want to test modified gravity scenarios that exhibit Vainshtein screening on solar system scales. We recognise the duals as being related to the Legendre transform of the original Lagrangian, and present a practical method for finding the dual in general; our methods can also be applied to self-interacting theories with a hierarchy of strong coupling scales, and with multiple fields. We find the classical dual of the full quintic galileon theory as an example.Comment: 16 page

A forward-backward splitting algorithm for the minimization of non-smooth convex functionals in Banach space

We consider the task of computing an approximate minimizer of the sum of a smooth and non-smooth convex functional, respectively, in Banach space. Motivated by the classical forward-backward splitting method for the subgradients in Hilbert space, we propose a generalization which involves the iterative solution of simpler subproblems. Descent and convergence properties of this new algorithm are studied. Furthermore, the results are applied to the minimization of Tikhonov-functionals associated with linear inverse problems and semi-norm penalization in Banach spaces. With the help of Bregman-Taylor-distance estimates, rates of convergence for the forward-backward splitting procedure are obtained. Examples which demonstrate the applicability are given, in particular, a generalization of the iterative soft-thresholding method by Daubechies, Defrise and De Mol to Banach spaces as well as total-variation based image restoration in higher dimensions are presented

Regularity of a kind of marginal functions in Hilbert spaces

We study well-posedness of some mathematical programming problem depending on a parameter that generalizes in a certain sense the metric projection onto a closed nonconvex set. We are interested in regularity of the set of minimizers as well as of the value function, which can be seen, on one hand, as the viscosity solution to a Hamilton-Jacobi equation, while, on the other, as the minimal time in some related optimal time control problem. The regularity includes both the Fréchet differentiability of the value function and the Hölder continuity of its (Fréchet) gradient

The "Symplectic Camel Principle" and Semiclassical Mechanics

Gromov's nonsqueezing theorem, aka the property of the symplectic camel, leads to a very simple semiclassical quantiuzation scheme by imposing that the only "physically admissible" semiclassical phase space states are those whose symplectic capacity (in a sense to be precised) is nh + (1/2)h where h is Planck's constant. We the construct semiclassical waveforms on Lagrangian submanifolds using the properties of the Leray-Maslov index, which allows us to define the argument of the square root of a de Rham form.Comment: no figures. to appear in J. Phys. Math A. (2002

A combined first and second order variational approach for image reconstruction

In this paper we study a variational problem in the space of functions of bounded Hessian. Our model constitutes a straightforward higher-order extension of the well known ROF functional (total variation minimisation) to which we add a non-smooth second order regulariser. It combines convex functions of the total variation and the total variation of the first derivatives. In what follows, we prove existence and uniqueness of minimisers of the combined model and present the numerical solution of the corresponding discretised problem by employing the split Bregman method. The paper is furnished with applications of our model to image denoising, deblurring as well as image inpainting. The obtained numerical results are compared with results obtained from total generalised variation (TGV), infimal convolution and Euler's elastica, three other state of the art higher-order models. The numerical discussion confirms that the proposed higher-order model competes with models of its kind in avoiding the creation of undesirable artifacts and blocky-like structures in the reconstructed images -- a known disadvantage of the ROF model -- while being simple and efficiently numerically solvable.Comment: 34 pages, 89 figure

Congested traffic equilibria and degenerate anisotropic PDEs

Congested traffic problems on very dense networks lead, at the limit, to minimization problems posed on measures on curves as shown in Baillon and Carlier (Netw. Heterogenous Media 7: 219--241, 2012). Here, we go one step further by showing that these problems can be reformulated in terms of the minimization of an integral functional over a set of vector fields with prescribed divergence. We prove a Sobolev regularity result for their minimizers despite the fact that the Euler-Lagrange equation of the dual is highly degenerate and anisotropic. This somehow extends the analysis of Brasco et al. (J. Math. Pures Appl. 93: 652--671, 2010) to the anisotropic case