English
Related papers

Related papers: Real intersection theory (I)

200 papers

This paper deals with retraction - intended as isomorphic embedding - in intersection types building left and right inverses as terms of a lambda calculus with a bottom constant. The main result is a necessary and sufficient condition two…

Logic in Computer Science · Computer Science 2017-02-09 Mario Coppo , Mariangiola Dezani-Ciancaglini , Alejandro Díaz-Caro , Ines Margaria , Maddalena Zacchi

Alternative approaches to Lebesgue integration are considered.

Functional Analysis · Mathematics 2007-05-23 Gyula Lakos

Using recent couplings we provide counterexamples to monotonicity properties of percolation models related to graphical representations of the Ising model. We further prove a new coupling of the double random current model to the…

Mathematical Physics · Physics 2022-11-02 Frederik Ravn Klausen

To gain essential understandings of traffic flow, four theorems are derived to establish the kinematics of the basic unit of traffic flow, namely two consecutive vehicles. The first is to determine the two critical distances of the vehicle…

Physics and Society · Physics 2022-12-21 Xin Shui

It will be shown that a pronounced interfacial pair breaking can be identified in Josephson tunnel junctions provided the first j_{1c} and the second j_{2c} harmonics of the supercurrent, as well as the depairing current in the bulk j_{dp},…

Superconductivity · Physics 2012-05-30 Yu. S. Barash

In many real network systems, nodes usually cooperate with each other and form groups, in order to enhance their robustness to risks. This motivates us to study a new type of percolation, group percolation, in interdependent networks under…

Physics and Society · Physics 2018-03-21 Zexun Wang , Dong Zhou , Yanqing Hu

The dc Josephson effect is considered from the thermodynamic point of view. Universal thermodynamic equations, relating both bound and continuum contributions to the Josephson current with the normal electron scattering amplitudes are…

Superconductivity · Physics 2016-08-31 A. Krichevsky , M. Schechter , Y. Imry , Y. Levinson

In this paper we study the intersection theory on surfaces with abelian quotient singularities and we derive properties of quotients of weighted projective planes. We also use this theory to study weighted blow-ups in order to construct…

Algebraic Geometry · Mathematics 2018-05-04 Enrique Artal Bartolo , Jorge Martín-Morales , Jorge Ortigas-Galindo

The concept of coreflexive set is introduced to study the structure of digraphs. New characterizations of line digraphs and nth-order line digraphs are given. Coreflexive sets also lead to another natural way of forming an intersection…

Combinatorics · Mathematics 2007-05-23 Xinming Liu , Douglas B. West

The article suggests an experiment enabling to find the right theory of superconductivity.

Superconductivity · Physics 2014-03-21 I. M. Yurin

Lebesgue curve is a space-filling curve that fills the unit square through linear interpolation. In this study, we generalise Lebesgue's construction to generate space-filling curves from any given planar substitution satisfying a mild…

Geometric Topology · Mathematics 2022-07-29 Mustafa Ismail Ozkaraca

We find explicit formulas for the Hilbert series of residual intersections of a scheme in terms of the Hilbert series of its conormal modules. In a previous paper we proved that such formulas should exist. We give applications to the…

Commutative Algebra · Mathematics 2015-09-30 Marc Chardin , David Eisenbud , Bernd Ulrich

A unified theory of material defects, incorporating both the smooth and the singular descriptions, is presented based upon the theory of currents of Georges de Rham. The fundamental geometric entity of discourse is assumed to be represented…

Mathematical Physics · Physics 2013-05-08 Marcelo Epstein , Reuven Segev

For a smooth projective curve, the cycles of subordinate or, more generally, secant divisors to a given linear series are among some of the most studied objects in classical enumerative geometry. We consider the intersection of two such…

Algebraic Geometry · Mathematics 2020-08-31 Mara Ungureanu

Hydrodynamic turbulence is studied as a constrained system from the point of view of metafluid dynamics. We present a Lagrangian description for this new theory of turbulence inspired from the analogy with electromagnetism. Consequently it…

High Energy Physics - Theory · Physics 2007-05-23 A. C. R. Mendes , W. Oliveira , F. I. Takakura

Shock wave theory was first studied for gas dynamics, for which shocks appear as compression waves. A shock wave is characterized as a sharp transition, even discontinuity in the flow. In fact, shocks appear in many different physical…

Analysis of PDEs · Mathematics 2007-05-23 Tai-Ping Liu

Surface sensitive electric current measurements are important experimental tools poorly corroborated by theoretical models. We show that the drift-diffusion equations offer a framework for a consistent description of such experiments. The…

Mesoscale and Nanoscale Physics · Physics 2017-06-15 Jakub Lis

This text grew out of notes I have used in teaching a one quarter course on integration at the advanced undergraduate level. My intent is to introduce the Lebesgue integral in a quick, and hopefully painless, way and then go on to…

Classical Analysis and ODEs · Mathematics 2009-08-10 John Franks

A formally exact expression for the tunneling current, for its separation into specular and diffuse components, and for its directionality, is given for a thick tunnel junction with rough interfaces in terms of the properties of…

Superconductivity · Physics 2009-10-31 M. B. Walker

A closure theory is developed for inhomogeneous turbulent flow, which enables a systematic derivation of the turbulence constitutive relations without relying on any empirical parameters. Renormalized-perturbation approximation is performed…

Fluid Dynamics · Physics 2019-06-26 Taketo Ariki
‹ Prev 1 8 9 10 Next ›