Fully Dynamic Matching in Bipartite Graphs

Maximum cardinality matching in bipartite graphs is an important and well-studied problem. The fully dynamic version, in which edges are inserted and deleted over time has also been the subject of much attention. Existing algorithms for dynamic matching (in general graphs) seem to fall into two groups: there are fast (mostly randomized) algorithms that do not achieve a better than 2-approximation, and there slow algorithms with \O(\sqrt{m}) update time that achieve a better-than-2 approximation. Thus the obvious question is whether we can design an algorithm -- deterministic or randomized -- that achieves a tradeoff between these two: a $o(\sqrt{m})$ approximation and a better-than-2 approximation simultaneously. We answer this question in the affirmative for bipartite graphs. Our main result is a fully dynamic algorithm that maintains a 3/2 + \eps approximation in worst-case update time O(m^{1/4}\eps^{/2.5}). We also give stronger results for graphs whose arboricity is at most \al, achieving a (1+ \eps) approximation in worst-case time O(\al (\al + \log n)) for constant \eps. When the arboricity is constant, this bound is $O(\log n)$ and when the arboricity is polylogarithmic the update time is also polylogarithmic. The most important technical developement is the use of an intermediate graph we call an edge degree constrained subgraph (EDCS). This graph places constraints on the sum of the degrees of the endpoints of each edge: upper bounds for matched edges and lower bounds for unmatched edges. The main technical content of our paper involves showing both how to maintain an EDCS dynamically and that and EDCS always contains a sufficiently large matching. We also make use of graph orientations to help bound the amount of work done during each update.Comment: Longer version of paper that appears in ICALP 201

Latest Developments on the IEEE 1788 Effort for the Standardization of Interval Arithmetic

(Standardization effort supported by the INRIA D2T.)International audienceInterval arithmetic undergoes a standardization effort started in 2008 by the IEEE P1788 working group. The structure of the proposed standard is presented: the mathematical level is distinguished from both the implementation and representation levels. The main definitions are introduced: interval, mathematical functions, either arithmetic operations or trigonometric functions, comparison relations, set operations. While developing this standard, some topics led to hot debate. Such a hot topic is the handling of exceptions. Eventually, the system of decorations has been adopted. A decoration is a piece of information that is attached to each interval. Rules for the propagation of decorations have also been defined. Another hot topic is the mathematical model used for interval arithmetic. Historically, the model introduced by R. Moore in the 60s covered only non-empty and bounded intervals. The set-based model includes the empty set and unbounded intervals as well. Tenants of Kaucher arithmetic also insisted on offering "reverse" intervals. It has eventually been decided that an implementation must provide at least one of these flavors of interval arithmetic. The standard provides hooks for these different flavors. As the preparation of the draft should end in December 2013, no chapter is missing. However, a reference implementation would be welcome

Partition-free approach to open quantum systems in harmonic environments::An exact stochastic Liouville equation

We present a partition-free approach to the evolution of density matrices for open quantum systems coupled to a harmonic environment. The influence functional formalism combined with a two-time Hubbard-Stratonovich transformation allows us to derive a set of exact differential equations for the reduced density matrix of an open system, termed the extended stochastic Liouville–von Neumann equation. Our approach generalizes previous work based on Caldeira-Leggett models and a partitioned initial density matrix. This provides a simple, yet exact, closed-form description for the evolution of open systems from equilibriated initial conditions. The applicability of this model and the potential for numerical implementations are also discussed

Some ideas about quantitative convergence of collision models to their mean field limit

We consider a stochastic $N$-particle model for the spatially homogeneous Boltzmann evolution and prove its convergence to the associated Boltzmann equation when $N\to \infty$. For any time $T>0$ we bound the distance between the empirical measure of the particle system and the measure given by the Boltzmann evolution in some homogeneous negative Sobolev space. The control we get is Gaussian, i.e. we prove that the distance is bigger than $x N^{-1/2}$ with a probability of type $O(e^{-x^2})$. The two main ingredients are first a control of fluctuations due to the discrete nature of collisions, secondly a Lipschitz continuity for the Boltzmann collision kernel. The latter condition, in our present setting, is only satisfied for Maxwellian models. Numerical computations tend to show that our results are useful in practice.Comment: 27 pages, references added and style improve

Maharam-type kernel representation for operators with a trigonometric domination

[EN] Consider a linear and continuous operator T between Banach function spaces. We prove that under certain requirements an integral inequality for T is equivalent to a factorization of T through a specific kernel operator: in other words, the operator T has what we call a Maharam-type kernel representation. In the case that the inequality provides a domination involving trigonometric functions, a special factorization through the Fourier operator is given. We apply this result to study the problem that motivates the paper: the approximation of functions in L2[0, 1] by means of trigonometric series whose Fourier coefficients are given by weighted trigonometric integrals.This research has been supported by MTM2016-77054-C2-1-P (Ministerio de Economia, Industria y Competitividad, Spain).Sánchez Pérez, EA. (2017). Maharam-type kernel representation for operators with a trigonometric domination. Aequationes Mathematicae. 91(6):1073-1091. https://doi.org/10.1007/s00010-017-0507-6S10731091916Calabuig, J.M., Delgado, O., Sánchez Pérez, E.A.: Generalized perfect spaces. Indag. Math. 19(3), 359–378 (2008)Calabuig, J.M., Delgado, O., Sánchez Pérez, E.A.: Factorizing operators on Banach function spaces through spaces of multiplication operators. J. Math. Anal. Appl. 364, 88–103 (2010)Delgado, O., Sánchez Pérez, E.A.: Strong factorizations between couples of operators on Banach function spaces. J. Convex Anal. 20(3), 599–616 (2013)Dodds, P.G., Huijsmans, C.B., de Pagter, B.: Characterizations of conditional expectation type operators. Pacific J. Math. 141(1), 55–77 (1990)Flores, J., Hernández, F.L., Tradacete, P.: Domination problems for strictly singular operators and other related classes. Positivity 15(4), 595–616 (2011). 2011Fremlin, D.H.: Tensor products of Banach lattices. Math. Ann. 211, 87–106 (1974)Hu, G.: Weighted norm inequalities for bilinear Fourier multiplier operators. Math. Ineq. Appl. 18(4), 1409–1425 (2015)Halmos, P., Sunder, V.: Bounded Integral Operators on $$L^2$$ L 2 Spaces. Springer, Berlin (1978)Kantorovitch, L., Vulich, B.: Sur la représentation des opérations linéaires. Compositio Math. 5, 119–165 (1938)Kolwicz, P., Leśnik, K., Maligranda, L.: Pointwise multipliers of Calderón- Lozanovskii spaces. Math. Nachr. 286, 876–907 (2013)Kolwicz, P., Leśnik, K., Maligranda, L.: Pointwise products of some Banach function spaces and factorization. J. Funct. Anal. 266(2), 616–659 (2014)Kuo, W.-C., Labuschagne, C.C.A., Watson, B.A.: Conditional expectations on Riesz spaces. J. Math. Anal. Appl. 303, 509–521 (2005)Lindenstrauss, J., Tzafriri, L.: Classical Banach Spaces II. Springer, Berlin (1979)Maharam, D.: The representation of abstract integrals. Trans. Am. Math. Soc. 75, 154–184 (1953)Maharam, D.: On kernel representation of linear operators. Trans. Am. Math. Soc. 79, 229–255 (1955)Maligranda, L., Persson, L.E.: Generalized duality of some Banach function spaces. Indag. Math. 51, 323–338 (1989)Neugebauer, C.J.: Weighted norm inequalities for averaging operators of monotone functions. Publ. Mat. 35, 429–447 (1991)Okada, S., Ricker, W.J., Sánchez Pérez, E.A.: Optimal Domain and Integral Extension of Operators Acting in Function Spaces. Operator Theory: Adv. Appl., vol. 180. Birkhäuser, Basel (2008)Rota, G.C.: On the representation of averaging operators. Rend. Sem. Mat. Univ. Padova. 30, 52–64 (1960)Sánchez Pérez, E.A.: Factorization theorems for multiplication operators on Banach function spaces. Integr. Equ. Oper. Theory 80(1), 117–135 (2014)Schep, A.R.: Factorization of positive multilinear maps. Ill. J. Math. 28(4), 579–591 (1984)Schep, A.R.: Products and factors of Banach function spaces. Positivity 14(2), 301–319 (2010

Nonequilibrium statistical mechanics of quantum classical ensembles: application to non-contact atomic force microscopy

Using the nonequilibrium statistical operator method, we suggest a new general method of treating dynamics of a combined system consisting of interacting classical and quantum parts. The method is illustrated on the tip dynamics in the noncontact atomic force microscopy (NC-AFM) where a macro-scopic tip interacts with a quantum microscopic system (the surface and the nanotip). The derived general equation of motion for the tip and the Fokker-Planck equation, applicable even at low temperatures, contain memory effects and a friction term which should (at least partially) be responsible for the observed energy dissipation in NC-AFM experiments