English
Related papers

Related papers: Pity on lambda

200 papers

In this paper we present a self-contained combinatorial proof of the lower bound theorem for normal pseudomanifolds, including a treatment of the cases of equality in this theorem. We also discuss McMullen and Walkup's generalised lower…

Geometric Topology · Mathematics 2012-01-31 Bhaskar Bagchi , Basudeb Datta

In this expository note we present simple proofs of the lower bound of Ramsey numbers (Erd\"os theorem), and of the estimation of discrepancy. Neither statements nor proofs require any knowledge beyond high-school curriculum (except a minor…

Combinatorics · Mathematics 2026-01-06 A. Buchaev , A. Skopenkov

In this paper, we develop the theory of relative log convergent cohomology of radius $\lambda$ ($0 < \lambda \leq 1$), which is a generalization of the notion of relative log convergent cohomology in the previous paper. By comparing this…

Number Theory · Mathematics 2008-05-21 Atsushi Shiho

This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…

Logic in Computer Science · Computer Science 2015-08-12 Mario Coppo , Mariangiola Dezani-Ciancaglini , Ines Margaria , Maddalena Zacchi

We prove a variant of the abstract probabilistic version of Szemer\'edi's regularity lemma, due to Tao, which applies to a number of structures (including graphs, hypergraphs, hypercubes, graphons, and many more) and works for random…

Combinatorics · Mathematics 2016-07-26 Pandelis Dodos , Vassilis Kanellopoulos , Thodoris Karageorgos

We introduce the Plaque Topology on the inverse limit of a branched covering self-map of a Riemann surface of a finite degree greater than one. We present the notions of regular and irregular points in the setting of this Plaque Inverse…

Dynamical Systems · Mathematics 2014-04-25 Carlos Cabrera , Chokri Cherif , Avraham Goldstein

In the paper, we generalize some congruences of Lehmer for general composite numbers.

Number Theory · Mathematics 2007-05-23 Hui-Qin Cao , Hao Pan

We define the crossing number for an embedding of a graph G into R^3, and prove a lower bound on it which almost implies the classical crossing lemma. We also give sharp bounds on the space crossing numbers of pseudo-random graphs.

Combinatorics · Mathematics 2011-08-16 Boris Bukh , Alfredo Hubard

In this paper we prove that the generalized version of the Minimal Resolution Conjecture stated by Mustata holds for certain general sets of points on a smooth cubic surface $X \subset \mathbb{P}^3$. The main tool used is Gorenstein liaison…

Commutative Algebra · Mathematics 2007-05-23 Marta Casanellas

Here we deal with some problems posed by Matet. The first section deals with the existence of stationary subsets of [lambda]^{<kappa} with no unbounded subsets which are not stationary, where, of course, kappa is regular uncountable less or…

Logic · Mathematics 2007-05-23 Saharon Shelah

Unanticipated connections between different fragments of lambda calculus and different families of embedded graphs (a.k.a. "maps") motivate the problem of enumerating $\beta$-normal linear lambda terms. In this brief note, it is shown (by…

Logic in Computer Science · Computer Science 2015-09-28 Noam Zeilberger

Let $\Gamma$ be a $Q$-polynomial distance-regular graph with diameter at least $3$. Terwilliger (1993) implicitly showed that there exists a polynomial, say $T(\lambda)\in \mathbb{C}[\lambda]$, of degree $4$ depending only on the…

Combinatorics · Mathematics 2014-03-18 Alexander L. Gavrilyuk , Jack H. Koolen

We address the problem of bounding from below the self-intersection of integral curves on the projective plane blown-up at general points. In particular, by applying classical deformation theory we obtain the expected bound in the case of…

Algebraic Geometry · Mathematics 2011-01-13 Claudio Fontanari

We determine necessary conditions for ample divisors in arbitrary genus as well as for very ample divisors in genus 2 and 3. We also compute the intersection numbers $\lambda^9$ and $\lambda_{g-1}^3$ in genus 4. The latter number is…

alg-geom · Mathematics 2008-02-03 Carel Faber

This paper provides a general result on controlling local Rademacher complexities, which captures in an elegant form to relate the complexities with constraint on the expected norm to the corresponding ones with constraint on the empirical…

Artificial Intelligence · Computer Science 2015-10-07 Yunwen Lei , Lixin Ding , Yingzhou Bi

We prove a general inequality for estimating the number of points of arbitrary complete intersections over a finite field. This extends a result of Deligne for nonsingular complete intersections. For normal complete intersections, this…

Algebraic Geometry · Mathematics 2009-09-15 Sudhir R. Ghorpade , Gilles Lachaud

We prove that for regular $\lambda$ above a strong limit singular $\mu$ certain guessing principles follow just from cardinal arithmetic assumptions. The main result is that for such $\lambda$ and $\mu$ there are coboundedly many regular…

Logic · Mathematics 2007-05-23 Mirna Džamonja

Consider the standard symplectic $(\RR^{2n}, \omega_0)$, a point $p\in\RR^{2n}$ and an immersed closed orientable hypersurface $\Sigma\subset\RR^{2n}\minus\{p\}$, all in general position. We study the following passage/tangency question:…

Differential Geometry · Mathematics 2016-05-11 Sergei Lanzat

We study the problem of best approximations of a vector $\alpha\in{\mathbb R}^n$ by rational vectors of a lattice $\Lambda\subset {\mathbb R}^n$ whose common denominator is bounded. To this end we introduce successive minima for a periodic…

Number Theory · Mathematics 2007-05-23 Iskander Aliev , Martin Henk

The main goal of this paper is to compare the silting theory of an $R$-algebra $\Lambda$ over a Noetherian ring $R$ with that of its tensor product $\Lambda \otimes \Gamma$ with another $R$-algebra $\Gamma$. In the case that the $R$-algebra…

Representation Theory · Mathematics 2022-04-04 Wassilij Gnedin