BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
According to Alain Hénaut, a planar 4-web is called Nakai's web if the cross-ratio of the tangents to the four foliations at each point is constant and if it has no hexagonal 3-subweb. We prove that Nakai's webs have rank 0 or 1. We give examples with rank 1 and present a universal way to build such examples.
A non-commutative, non-associative weakening of Girard's linear logic is developed for multiplicative and additive connectives. Additional assumptions capture the logic of quantic measurements.
We generalize to webs of any codimension results already known in codimension one. Given a holomorphic d-web W of codimension q (q≤n−1) in an ambiant n-dimensional holomorphic manifold U, we define for any integer p (1≤p≤q) the condition for such a web to be \emph{p-ordinary} (resp. \emph{strongly p-ordinary}). If this condition is satisfied, we then prove that its p-rank rp(W) (resp. its closed p-rank rp(W)), i.e. the maximal dimension of the vector space of the germs of p-abelian relations (resp. of closed p-abelian relations) at a point m of U, is finite. We then give an upper-bound πp0(n,d,q) (resp. πp′(n,d,q)) for these ranks. Moreover, for some values of d, and we then say then that the web is \emph{p-calibrated} (resp. \emph{strongly p-calibrated}), we define a tautological holomorphic connection on a holomorphic vector bundle of rank πp0(n,d,q) (resp. πp′(n,d,q)), for which the sections with vanishing covariant derivative may be identified with p-abelian relations (resp. closed p-abelian relations). The curvature of this connection is then an obstruction for the rank rp(W) (resp. rp(W)) to be maximal. The main change is the correction of a mistake (proposition 4, section 6-5) in the first version : the 1-rank of the concerned web is not 0 as we claimed, but 1. However, the important corollary remains true : even at the level of germs, some 2-abelian relation exhibited by Goldberg in [G] on some web of codimension 2 in an ambiant space of dimension 4, is the coboundary of none 1-abelian relation. The section 7, devoted to this correction, is self content, not depending on the previous results of the paper.
The ordinary algebraic curves of maximal rank are also the arithmetically Cohen-Maccaulay curves of minimal rank. We give sufficient conditions for such curves to exist as well as examples, generalizing results of [GHL] in the dimension three.
This paper defines the notion of a local equilibrium of quality (r,s), 0≤r,s, in a discrete exchange economy: a partial allocation and item prices that guarantee certain stability properties parametrized by the numbers r and s. The quality (r,s) measures the fit between the allocation and the prices: the larger r and s the closer the fit. For r,s≤1 this notion provides a graceful degradation for the conditional equilibria of [10] which are exactly the local equilibria of quality (1,1). For 1<r,s the local equilibria of quality (r,s) are {\em more stable} than conditional equilibria. Any local equilibrium of quality (r,s) provides, without any assumption on the type of the agents' valuations, an allocation whose value is at least 1+rsrs the optimal fractional allocation. In any economy in which all agents' valuations are a-submodular, i.e., exhibit complementarity bounded by a≥1, there is a local equilibrium of quality (a1,a1). In such an economy any greedy allocation provides a local equilibrium of quality (1,a1). Walrasian equilibria are not amenable to such graceful degradation.
Many-to-many matching with contracts is studied in the framework of revealed preferences. All preferences are described by choice functions that satisfy natural conditions. Under a no-externality assumption individual preferences can be aggregated into a single choice function expressing a collective preference. In this framework, a two-sided matching problem may be described as an agreement problem between two parties: the two parties must find a stable agreement, i.e., a set of contracts from which no party will want to take away any contract and to which the two parties cannot agree to add any contract. On such stable agreements each party's preference relation is a partial order and the two parties have inverse preferences. An algorithm is presented that generalizes algorithms previously proposed in less general situations. This algorithm provides a stable agreement that is preferred to all stable agreements by one of the parties and therefore less preferred than all stable agreements by the other party. The number of steps of the algorithm is linear in the size of the set of contracts, i.e., polynomial in the size of the problem. The algorithm provides a proof that stable agreements form a lattice under the two inverse preference relations. Under additional assumptions on the role of money in preferences, agreement problems can describe general two-sided markets in which goods are exchanged for money. Stable agreements provide a solution concept, including prices, that is more general than competitive equilibria. They satisfy an almost one price law for identical items.
The aim of this paper is mainly, after some theoretical explanations, to provide a program on Maple for computing, whatever be d, the curvature of the planar d-web implicitely defined by a differential equation F(x,y,y')=0, F being polynomial of degree d with respect to y'. Moreover, we prove in the appendix a "concentration theorem" for any calibrated ordinary d-web of codimension one in n-dimensional manifold (in particular for any planar web). Its curvature matrix, relatively to an "adapted" trivialization, is concentrated on the (n-2+k0)!/(n-2)!k0! last lines (the last line if n=2), k0 denoting the integer such that d=(n-1+k0)!/(n-1)!(k0)!$.
We present a MAPLE program for the explicit computation of the curvature of calibrated ordinary webs in codimension one in any dimension (recall that all planar webs are calibrated and ordinary). The vanishing of this curvature means the maximality of the rank. We give some first examples.
In this paper, we define, from a finite set E of functions, a family of holomorphic webs W(n;E) of codimension one in any dimension n. We prove that it is sufficient to check a finite number of conditions for these webs to be all ordinary and to have all maximal rank. Moreover, these conditions may be practically checked by computer with the program on Maple published in [DL](arXiv1408.3909v1, DG, 18 August 2014), the time of computation being acceptable, as far as some integer k0 given in the data be "not too big".
Preferences among acts are analyzed in the style of L. Savage, but as partially ordered. The rationality postulates considered are weaker than Savage's on three counts. The Sure Thing Principle is derived in this setting. The postulates are shown to lead to a characterization of generalized qualitative probability that includes and blends both traditional qualitative probability and the ranked structures used in logical approaches.
Majorization is an outstanding tool to compare the purity of mixed states or the amount of information they contain and also the degrees of entanglement presented by such states in tensor products. States are compared by their spectra and majorization defines a partial order on those. This paper studies the effect of measurements on the majorization relation among states. It, then, proceeds to study the effect of local measurements on the agents sharing an entangled global state. If the result of the measurement is recorded, Nielsen and Vidal showed that the expected spectrum after any P.O.V.M. measurement majorizes the initial spectrum, i.e., a P.O.V.M. measurement cannot, in expectation, reduce the information of the observer. A new proof of this result is presented and, as a consequence, the only if part of Nielsen's characterization of LOCC transformations is generalized to n-party entanglement. If the result of a bi-stochastic measurement is not recorded, the initial state majorizes the final state, i.e., no information may be gained by such a measurement. This strengthens a result of A. Peres. In the n-party setting, no local trace preserving measurement by Alice can change the local state of another agent.
Nielsen characterized in full those 2-party quantum protocols of local operations and classical communication that transform, with probability one, a pure global initial state into a pure global final state. The present work considers the generalization of Nielsen's characterization to n-party protocols. It presents a sweeping generalization of the only if part of Nielsen's result. The result presented here pertains also to protocols that do not generate a final state for sure, it considers arbitrary mixed initial states instead of pure states and n-party protocols for an arbitrary n. In this very general setting, local operations and classical communication can never decrease the expected spectra of the local mixed states in the majorization ordering. In other terms, the local states can only become purer (weakly) in expectation. The proof also provides an improvement on Nielsen's. The if part of Nielsen's characterization does not generalize. This is shown by studying the entanglement of three qubits. It is shown that one can find pure states of a system of three qubits that are not equivalent under unitary local operations but define local mixed states on all subparts of the system that have the same spectra. Neither equivalence of pure states under local unitary operations nor accessibility under LOCC operations among a system of three qubits can be characterized by properties of the spectra of the local mixed states.
An original presentation of Categorical Quantum Physics, in the line of Abramsky and Coecke, tries to introduce only objects and assumptions that are clearly relevant to Physics and does not assume compact closure. Adjoint arrows, tensor products and biproducts are the ingredients of this presentation. Tensor products are defined, up to a unitary arrow, by a universal property related to transformations of composite systems, not by assuming a monoidal structure. Entangled states of a tensor product define mixed states on the components of the tensor product. Coproducts that fit the adjoint structure are shown to be defined up to a unitary arrow and to provide biproducts. An abstract no-cloning result is proved.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.