 to be linear, $\lambda_2$ must be constant. We show that if the second eigenvalue of an $n/2$-regular graph is bounded by a constant, then the graph is close to being complete bipartite. Namely, its adjacency matrix differs from that of a complete bipartite graph in only $o(n^2)$ entries (Theorem \[main1\]). Furthermore, for any $0 < \delta < {\frac 1 2}$, and $\lambda_2$, there are only finitely many $\delta n$-regular graphs with second eigenvalue at most $\lambda_2$ (Corollary \[no-graphs\]).
author:
- 'Yonatan Bilu and Nati Linial [^1]'
bibliography:
- 'bib.bib'
title: 'Monotone Maps, Sphericity and Bounded Second Eigenvalue'
---

0.2cm

\[section\] \[section\] \[section\] \[section\] \[section\] \[THEOREM\][Problem]{}

=msbm10

[*Keywords:*]{} Embedding, Finite Metric Space, Graphs, Sphericity, Eigenvalues, Bipartite Graphs, Second Eigenvalue.

Introduction
============

Euclidean embeddings of finite metric spaces have been extensively studied, with the aim of finding an embedding that doesn’t distort the metric too much. We refer the reader to the survey papers of Indyk ([@Indyk]) and Linial ([@Nati]), as well as chapter 15 of Matou[š]{}ek’s Discrete Geometry book [@Matousek]. Here we focus on a different type of embeddings. Namely, those that preserve the order relation of the distances. We call such embeddings [*monotone*]{}. There are quite a few applications that make this concept natural and interesting, since there are numerous algorithmic problems whose solution depends only on the order among the distances. Specifically, questions that concern nearest neighbors. The notion of monotone embeddings suggests the following general strategy toward the resolution of such problems. Namely, embed the metric space at hand monotonically into a “nice” space, for which good algorithms are known to solve the problem. Solve the problem in the “nice” space - the same solution applies as well for the original space. “Nice” often means a low dimensional normed space. Thus, we focus on the minimal dimension which permits a monotone embedding.\
In section \[dope\] we observe that any metric on $n$ points can be
to be linear, $ \lambda_2 $ must be constant. We show that if the second eigenvalue of an $ n/2$-regular graph is bounded by a changeless, then the graph is cheeseparing to being complete bipartite. Namely, its adjacency matrix differs from that of a complete bipartite graph in entirely $ o(n^2)$ entries (Theorem \[main1\ ]). Furthermore, for any $ 0 < \delta < { \frac 1 2}$, and $ \lambda_2 $, there are entirely finitely many $ \delta n$-regular graph with second eigenvalue at most $ \lambda_2 $ (Corollary \[no - graphs\ ]). 
 author: 
 -' Yonatan Bilu and Nati Linial [ ^1 ]' 
 bibliography: 
 -' bib.bib' 
 title:' Monotone Maps, Sphericity and Bounded Second Eigenvalue' 
 --- 

 0.2 cm 

 \[section\ ] \[section\ ] \[section\ ] \[section\ ] \[section\ ] \[THEOREM\][Problem ] { } 

 = msbm10 

 [ * Keywords :* ] { } Embedding, Finite Metric Space, Graphs, Sphericity, Eigenvalues, Bipartite Graphs, Second Eigenvalue. 

 Introduction 
 = = = = = = = = = = = = 

 euclidian embeddings of finite metric spaces have been extensively studied, with the aim of line up an embedding that does n’t distort the metric too much. We refer the subscriber to the survey papers of Indyk ([ @Indyk ]) and Linial ([ @Nati ]), as well as chapter 15 of Matou[š]{}ek ’s Discrete Geometry koran [ @Matousek ]. Here we focus on a different type of embeddings. Namely, those that preserve the ordering relation of the distances. We call such embeddings [ * monotone * ] { }. There are quite a few application that make this concept natural and interesting, since there are numerous algorithmic problems whose solution depends only on the order among the distances. Specifically, questions that concern nearest neighbors. The notion of monotone embeddings suggests the following general strategy toward the resolving power of such problems. Namely, embed the measured quad at bridge player monotonically into a “ nice ” space, for which good algorithms are known to solve the problem. resolve the problem in the “ nice ” space - the same solution applies as well for the original distance. “ Nice ” often means a low dimensional normed quad. Thus, we concentrate on the minimal dimension which permits a monotone embedding.\ 
 In section \[dope\ ] we observe that any system of measurement on $ n$ points can be
 to be linear, $\lambda_2$ must bt constant. We shoc that mf the aecond ekgenvalue of an $n/2$-regular gra'h iw boubded by a constant, thev the graih is clowe ti being com'mete biicrtits. Namzlb, its adjacency matrix dixfers from thad uf a complete bipartite graph in only $o(n^2)$ enttifs (Theorem \[maig1\]). Fugtrermkge, for any $0 < \delta < {\frac 1 2}$, and $\mambda_2$, uhere are only finotely many $\delta n$-regular hrapjs with second eigfnvalue at nost $\oambda_2$ (Coroluary \[no-grakhv\]).
author:
- 'Yohatan Bilu and Nati Linial [^1]'
biblkogra'hy:
- 'bib.bib'
tutoe: 'Lmnotone Mapw, Sphvricity and Bounded Sacond Eogenvalue'
---

0.2cm

\[secbion\] \[vecrion\] \[section\] \[section\] \[vection\] \[THEOREM\][Proflem]{}

=msbm10

[*Kaycords:*]{} Embedding, Finitw Netriw Spdce, Eeapfs, Apierjcity, Figxnvalues, Bilartite Graphs, Second Eigenvalie.

Ybtroduction
============

Eudlideag qmbeddings of finite metric spaces have besn extensively studied, qith the aim of findijg an embqdding that doesn’t distort the metric too much. We refec ghe rcadef tl the survey papers of Indyk ([@Indyk]) and Linial ([@Haui]), ss well as chaiter 15 of Matou[š]{}ek’s Cidctgte Geometry buok [@Mackuaek]. Here we focus ln a disferebt type os emneddings. Namely, those that preserve the irder relation of che distancer. We call such embeddings [*monotoue*]{}. Thede are quitf a few alolications that oakv thhs concekg natural and intqresting, wincz there xre mumerots algoritjmic isoblems whose soluhion bepengs only on the order among the distances. Specifically, qoesdiots that eoncerk nearest neighfors. The notiou of monjtone embeddinga suggevts the foljowing generan strategy toxard the wesooutiin of sjzh problems. Nakely, embeb the metric space at hend oknotonically incu a “nice” space, fpr dhish gpoq algorithms dre ynodm to rolve the pvobuem. Xolve the problem in the “nice” space - the ssmc solutiob applief as well for the original spact. “Nice” ofven mesns a low dimensional normed spacs. Thus, we fogus on the migimao dimension chich permits a monotone embedding.\
In secvion \[dope\] we observe thqt any metric on $n$ koikts can be
to be linear, $\lambda_2$ must be constant. that the second of an $n/2$-regular constant, the graph is to being complete Namely, its adjacency matrix differs from of a complete bipartite graph in only $o(n^2)$ entries (Theorem \[main1\]). Furthermore, for $0 < \delta < {\frac 1 2}$, and $\lambda_2$, there are only finitely $\delta graphs second at most $\lambda_2$ (Corollary \[no-graphs\]). author: - 'Yonatan Bilu and Nati Linial [^1]' bibliography: - 'bib.bib' 'Monotone Maps, Sphericity and Bounded Second Eigenvalue' --- \[section\] \[section\] \[section\] \[section\] \[THEOREM\][Problem]{} =msbm10 [*Keywords:*]{} Embedding, Finite Space, Sphericity, Eigenvalues, Graphs, Eigenvalue. ============ Euclidean embeddings finite metric spaces have been extensively studied, with the aim of finding an embedding that doesn’t distort metric too refer the to survey of Indyk ([@Indyk]) ([@Nati]), as well as chapter 15 Geometry book [@Matousek]. Here we focus on a type of Namely, those that preserve the order of the distances. We call such embeddings [*monotone*]{}. are quite a few applications that make this concept natural and interesting, since there are problems whose solution depends on the order the Specifically, that nearest neighbors. notion of monotone embeddings suggests the following general strategy toward the of such problems. Namely, embed the metric space at hand a space, for which algorithms are known to the Solve the problem in space the as for original space. “Nice” often a low dimensional normed space. we focus on the monotone embedding.\ In section \[dope\] we observe that metric on $n$ points can be
 to be linear, $\lambda_2$ must be conStant. We shoW that If tHe sEcOnd eIgenValue of an $n/2$-reguLAr grAph is bounded by a constanT, then ThE GrapH Is Close To being COmPLEte BiPaRtiTe. nAmEly, itS adJacency Matrix diffErs FrOm that of a comPLeTe bipartitE grAph in only $o(n^2)$ eNtrIes (TheOrEm \[mAIn1\]). FurTheRmore, For any $0 < \DElta < {\frAc 1 2}$, and $\lambDa_2$, THere arE Only finITElY manY $\delta n$-regular graPHs WIth second eigenValue aT mOSt $\LAMbdA_2$ (CoRollary \[no-gRaPhs\]).
auTHor:
- 'YonaTAn bILU anD nati Linial [^1]'
bibLiography:
- 'biB.Bib'
Title: 'MOnOtoNE Maps, SPheriCiTY anD Bounded SecOnd EIgenvalue'
---

0.2Cm

\[sectIOn\] \[sectiON\] \[sectioN\] \[sectiOn\] \[sEctIon\] \[TheOrEm\][PrObLEm]{}

=mSBm10

[*keyWOrdS:*]{} EmbeddiNg, fiNite MEtriC sPACe, GrAphS, SphEriciTy, Eigenvalues, bipArtiTE GrAphs, SEcond eigeNvAlue.

INtroduCtion
============

euClidean embeddinGs of Finite metRic SpAceS hAve beEN extenSivEly Studied, With the AIm oF fINDInG an embedding that doEsN’T DiStort the Metric TOo MuCH. We refer ThE reAder TO The suRvey PApErs of IndYk ([@IndyK]) AnD LInial ([@NaTi]), As well As ChaPteR 15 of MaTOu[š]{}eK’s DiscRete GeomEtry bOOk [@Matousek]. Here WE focus on a diffEReNT TyPE of eMbeDdings. NamelY, thoSE thaT preSErVe tHE ordeR relaTiON oF The distances. We call sUcH embedDings [*Monotone*]{}. There Are quite a fEW APplicatiOns tHAt MAke this concept NaturAl and interESting, sinCe theRe are numErous algoRIThmic proBleMs wHosE soLUTiOn depends only ON The oRdEr among The DistancEs. SPecIfiCalLy, Questions That concErN nEaReSt nEighbORs. The notIoN of MoNotOne emBEddingS suggEsts ThE fOLloWing genERaL STratEgY tOwarD thE rEsoluTion OF suCh problEms. Namely, EmbED the MeTrIc space At hand monotonIcAlly into a “nIcE” spAce, for WHIch good aLgorithms are known to solvE The probLem. solve The pRoblem in tHe “nIce” spaCe - tHE same sOlutioN applIeS as WELl for THE oRigInAl space. “NicE” OFteN meanS a Low dImensioNal normed space. Thus, WE foCus on the minimAl dImenSIOn WhiCH pERmiTs A MonOTOne embedding.\
In sEction \[dope\] We OBsErve that anY MetRiC on $n$ poiNts can bE
 to be linear, $\lambda_2$  must be c onsta nt.  We  s howthat  if the second eige nvalue of an $n/2$-reg ulargr a ph i s  b ounde d by ac on s t ant ,th enth e  g raphisclose t o being co mpl et e bipartite. Na mely, itsadj acency matri x d iffers  f rom thatofa com pleteb iparti te graphin only $ o (n^2)$e n tr ies(Theorem \[main1\ ] ). Furthermore, f or any  $ 0  < \ del ta< {\frac 1  2 }$, a n d $\lam b da _ 2 $ , t h ere are onlyfinitely ma n y $ \delta  n $-r e gulargraph sw ith  second eig enva lue at mo st $\l a mbda_2$ (Coroll ary \[ no- gra phs\ ] ). 
a uth or : 
-' Yo nat a n B ilu andNa ti  Lini al [ ^ 1 ] ' 
bib lio grap hy:
-  'bib.bib'
ti tle : 'M o not one M aps,Sphe ri cityand Bo unded  S econd Eigenvalu e'
- --

0.2cm 

\ [s ect io n\] \ [ sectio n\]  \[ section \] \[se c tio n\ ] \ [s ection\] \[THEOREM \] [ P ro blem]{}
=msbm 1 0
[ * Keywords :* ]{}  Emb e d ding,  Fin i te  MetricSpace, Gr ap hs, Sph er icity,  E ige nva lues, Bipa rtiteGraphs,Secon d  Eigenvalue.
I ntroduction
= = == = = == = ===
Eu clidean emb eddi n gs o f fi n it e m e tricspace sh av e  been extensively s tu died,withthe aim of fi nding an e m b e dding th at d o es n ’t distort the  metr ic too muc h . We ref er th e reader  to the s u r vey pape rsofInd yk( [ @I ndyk]) and Li n i al ( [@ Nati]),  as  well a s c hap ter  15  o f Matou[š ]{}ek’sDi sc re te  Ge ometr y  book [@ Ma tou se k].  Here we foc us on  a d if fe r ent  type o f  e m b eddi ng s.  Nam ely ,those  tha t  pr eservethe order  re l atio nof  the di stances. We c al l such emb ed din gs [*m o n otone*]{ }. There are quite a fe w  applic ati ons t hatmake this  co nceptnat u ral an d inte resti ng , s i n ce th e r eare  n umerous al g o rit hmicpr oble ms whos e solution depends onl y on the orde r a mong t he  di s ta n ces .S pec i f ically, questio ns that co nc e rn  nearest n e igh bo rs. The  notion  of m o notoneembedding s suggest sthef o llo wing gener al strat egy towar d  ther es oluti onof suc hpro blems . Name l y,embed  the m et ric sp ace a thand mon otonically into a “nice ” spac e, fo r w hich good  al g ori thms areknow n to solve  th e p roble m.S olvethep ro ble m  in t he “ n ice” spac e  -  th e sa me solution a p pli es as  we l l fortheoriginal space. “ N ice” often mea ns a l owdim e nsio na l normed space . T hu s ,  we focu son the mini mal dime ns i on wh ich pe rmitsa monot o n ee mbeddi ng.\ 
In  section\[d op e \] we o bs er v e that  any  m etricon $n$ poin t s  can be
 to_be linear,_$\lambda_2$ must be constant._We show_that_if the_second_eigenvalue of an_$n/2$-regular graph is_bounded by a constant,_then the graph_is_close to being complete bipartite. Namely, its adjacency matrix differs from that of a_complete_bipartite graph_in_only_$o(n^2)$ entries (Theorem \[main1\]). Furthermore,_for any $0 < \delta_< {\frac_1 2}$, and $\lambda_2$, there are only finitely_many_$\delta n$-regular graphs_with second eigenvalue at most $\lambda_2$ (Corollary \[no-graphs\]).
author:
- 'Yonatan_Bilu and Nati Linial [^1]'
bibliography:
- 'bib.bib'
title:_'Monotone Maps, Sphericity_and_Bounded_Second Eigenvalue'
---

0.2cm

\[section\] \[section\] \[section\]_\[section\] \[section\] \[THEOREM\][Problem]{}

=msbm10

[*Keywords:*]{} Embedding, Finite Metric_Space, Graphs, Sphericity, Eigenvalues, Bipartite Graphs,_Second Eigenvalue.

Introduction
============

Euclidean embeddings of finite metric spaces_have been extensively studied, with the_aim of finding an embedding_that doesn’t_distort the metric too much._We refer the_reader to_the survey papers_of Indyk ([@Indyk]) and Linial ([@Nati]),_as well as_chapter 15 of Matou[š]{}ek’s Discrete Geometry_book_[@Matousek]. Here we_focus_on_a different_type of embeddings._Namely,_those that_preserve_the order relation of the distances._We_call such embeddings [*monotone*]{}. There are quite_a few applications that_make_this concept natural and_interesting, since there are numerous_algorithmic problems whose solution depends only_on the_order among_the distances. Specifically, questions that concern nearest neighbors. The notion of_monotone embeddings suggests the following general_strategy toward the resolution_of such_problems._Namely, embed the_metric_space at_hand monotonically into a “nice” space, for_which good_algorithms are known to solve the_problem. Solve the problem_in_the “nice” space - the same_solution applies as well for the_original space. “Nice” often means_a_low_dimensional normed space. Thus, we_focus on the minimal dimension which_permits a monotone_embedding.\
In section \[dope\] we observe that any_metric_on $n$ points can be