Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: consider a set of objects which should be ranked on the basis of information about their bilateral relationships . similar problems arise , among others , in social choice theory @xcite , sports @xcite , psychology @xcite , internet search @xcite , and bibliometrics @xcite . we discuss a universal version of the problem involving arbitrary preference intensities as well as incomplete and multiple comparisons . the main contribution of this paper is the presentation of an impossibility theorem : consistency  requiring that if an object is ranked at least as high as another in two independent problems , then it is ranked as high as the other in the unified problem , too  and self - consistency  a less known but intuitive property , introduced in @xcite , which prohibits to assign a lower rank for an object with a better or equivalent performance than another  can not be met simultaneously by any ranking method on the set of all problems . domain restrictions and weakening of the properties are also investigated in order to get some positive results . since self - consistency is an axiom difficult to debate , we can not demand consistency from a ranking method . at the first glance , it is a somewhat surprising and controversial result making the aggregation of ( incomplete ) preferences impossible . one may argue that the whole concept of paired comparisons - based ranking is flawed . however , loss of consistency may be regarded as a necessary sacrifice for dimension reduction since the outcome should be an inherently transitive ranking even from intransitive data . this interpretation is reinforced by the connection between consistency and independence of irrelevant matches ( which requires the relative ranking of two objects to be independent of the outcome of comparisons between other objects ) : the former , together with two basic axioms , implies the latter . and independence of irrelevant matches is known to be a property one would rather not have if different preference intensities and incomplete comparisons are allowed @xcite . our discussion is strongly related to the findings of previous axiomatic analyses @xcite , and especially to the formulation of impossibility theorems @xcite . for example , the central result reveals why most popular ranking methods violate a relaxed version of consistency called order preservation @xcite . we also connect the current impossibility theorem to a recent one @xcite . the study is structured as follows . section  [ sec2 ] presents the setting of the ranking problem , and recalls some ranking methods . section  [ sec3 ] introduces consistency and self - consistency besides some basic properties , which are necessary to link consistency and an independence axiom . the impossibility theorem is proved and discussed in section  [ sec4 ] . section  [ sec5 ] aims to obtain possibility results , while section  [ sec6 ] summarizes our main findings . in this section , we present the ranking problem and introduce some scoring procedures , later examined from an axiomatic point of view . consider a _ set of objects _ @xmath0 , @xmath1 and a series of matrices @xmath2 , @xmath3 ,  , @xmath4 containing information about pairwise comparisons between the objects . these matrices may represent the opinion of a voter / expert , the results of a round of a sport tournament , the outcome of an experiment etc . their entries are given such that @xmath5 if objects @xmath6 and @xmath7 have been compared at stage @xmath8 ( @xmath9 ) and @xmath10 otherwise . we will use the _ aggregated paired comparisons matrix _ @xmath11 in order to derive a ranking . @xmath12 can be interpreted as the likelihood that object @xmath6 is better than object @xmath7 ( provided they have been compared , that is , @xmath13 ) . the pair @xmath14 is called a _ ranking problem_. the set of ranking problems with @xmath15 objects ( @xmath16 ) is denoted by @xmath17 . let @xmath18 be two ranking problems with the same object set @xmath19 . the _ sum _ of these ranking problems is a ranking problem , too , denoted by @xmath20 . for example , the ranking problems can contain the preferences of voters in two cities of the same country , or the paired comparisons of teams in the first and second half of the season . a ranking problem @xmath14 has a skew - symmetric _ results matrix _ @xmath21 \in \mathbb{r}^{n \times n}$ ] and a symmetric _ matches matrix _ @xmath22 \in \mathbb{n}^{n \times n}$ ] . @xmath23 is the number of comparisons between @xmath6 and @xmath7 , whose outcome is given by @xmath24 . matrices @xmath25 and @xmath26 also determine the aggregated paired comparisons matrix by @xmath27 . any ranking problem @xmath28 can be denoted analogously by @xmath29 with the restriction @xmath30 for all @xmath31 . despite description through results and matches matrices is not parsimonious , the notation @xmath29 will turn out to be useful . some meaningful subsets of @xmath17 is worth to introduce . [ def21 ] _ special classes of ranking problems _ : a ranking problem @xmath32 is called    * _ balanced _ if @xmath33 for all @xmath31 ; * _ round - robin _ if @xmath34 for all @xmath35 and @xmath36 ; * _ unweighted _ if @xmath37 for all @xmath31 ; * _ extremal _ if @xmath38 for all @xmath31 .    the first three subsets pose restrictions on the matches matrix @xmath26 . in a balanced ranking problem , all objects have the same number of comparisons  a typical example is a swiss - system tournament if the number of participants is even . in a round - robin ranking problem , the number of comparisons between any pair of objects is the same  a typical example ( of double round - robin ) can be the qualification for soccer tournaments like uefa european championship . in an unweighted ranking problem , multiple comparisons may not occur .    in an extremal ranking problem , the outcome of a comparison can only be a complete win ( @xmath39 ) , a draw ( @xmath40 ) , or a maximal loss ( @xmath41 ) , that is , preferences have no intensity , however , ties are allowed . [ not21 ] the set of balanced ranking problems is denoted by @xmath42 . + the set of round - robin ranking problems is denoted by @xmath43 . + the set of unweighted ranking problems is denoted by @xmath44 . + the set of extremal ranking problems is denoted by @xmath45 . note that a round - robin ranking problem is balanced ( @xmath46 ) . one can also consider any intersection of these classes . let @xmath32 be a ranking problem . the _ number of comparisons _ of object @xmath47 is @xmath48 . the _ comparison multigraph _ is given such that its vertex set corresponds to the object set @xmath19 and the number of edges between objects @xmath6 and @xmath7 is equal to @xmath23 . the _ laplacian matrix _ @xmath49 \in \mathbb{r}^{n \times n}$ ] of the comparison multigraph , associated with the ranking problem , is given by @xmath50 for all @xmath35 and @xmath51 for all @xmath47 . the ranking problem is called _ connected _ or _ unconnected _ if its comparison multigraph is connected or unconnected , respectively . a number of ranking methods has been suggested for similar problems , see @xcite . our discussion will focus on _ scoring procedures _ : the ranking of objects in @xmath19 is based on a function @xmath52 such that @xmath53 . let @xmath54 denote the column vector with @xmath55 for all @xmath56 . let @xmath57 be the identity matrix and @xmath58 be the matrix with all its entries being zero . the first scoring method simply sums up the results . [ def22 ] _ row sum _ : @xmath59 . a related _ parametric _ procedure has been constructed axiomatically by @xcite and thoroughly analysed in @xcite . [ def23 ] _ generalized row sum _ : it is the solution @xmath60 of the system of linear equations @xmath61 , where @xmath62 is a parameter .    generalized row sum adjusts the row sum @xmath63 by taking the performance of objects compared with @xmath6 into account , and adds an infinite depth to this argument . @xmath64 indicates the importance attributed to this correction . generalized row sum results in row sum if @xmath65 : @xmath66 . on the basis of certain desirable conditions , @xcite identifies the _ reasonable upper bound _ of @xmath64 as @xmath67 $ ] . is not well - defined in the trivial case of @xmath68 , thus @xmath69 is implicitly assumed . ]    the row sum and generalized row sum rankings are unique and easily computable from a system of linear equations for all ranking problems @xmath32 . the least squares method was suggested by @xcite and @xcite . [ def24 ] _ least squares _ : it is the solution @xmath70 of the system of linear equations @xmath71 and @xmath72 . the rankings obtained from the generalized row sum and least squares methods coincide if @xmath73 as @xmath74 . the least squares ranking is unique if and only if the ranking problem @xmath32 is connected @xcite . ranking of unconnected objects makes no sense . the least squares ranking can be made unique if definition  [ def24 ] is applied for all ranking subproblems with a connected comparison multigraph . an extensive analysis and a graph interpretation of the least squares method can be found in @xcite . in the following , some basic properties of a ranking method are presented . [ axiom31 ] _ neutrality _ ( @xmath75 ) @xcite : let @xmath32 be a ranking problem , @xmath76 be a permutation on the set of objects , and @xmath77 be the ranking problem obtained from @xmath29 by this permutation . scoring procedure @xmath78 is _ neutral _ if @xmath79 \geq f_{\sigma ( j ) } \left [ \sigma(n , r , m ) \right]$ ] for all @xmath31 . neutrality means that the ranking is independent of the labelling of the objects . this axiom has been called _ anonymity _ in some works @xcite . [ axiom32 ] _ symmetry _ ( @xmath80 ) @xcite : let @xmath32 be a ranking problem such that @xmath40 for all objects @xmath31 . scoring procedure @xmath78 is _ symmetric _ if @xmath81 for all @xmath82 . symmetry implies that if all paired comparisons result in a draw , then all objects will be tied according to the ranking : @xmath83 such that @xmath84 . @xcite and ( * ? ? ? * axiom  4 ) have used the property _ cancellation _ for round - robin ranking problems , which coincides with symmetry on this domain . [ axiom33 ] _ inversion _ ( @xmath85 ) @xcite : let @xmath32 be a ranking problem . scoring procedure @xmath78 is _ invertible _ if @xmath86 for all @xmath82 . inversion means that taking the opposite of all results changes the ranking accordingly . it establishes a uniform treatment of victories and losses . * property  7 ) defines _ transposability _ such that the ratings change their sign and keep the same absolute value . [ col31 ] let @xmath78 be a scoring procedure that satisfies @xmath85 . then @xmath87 for all @xmath82 . the following result was already mentioned by @xcite . [ col32 ] @xmath85 implies @xmath80 . while the violation of neutrality and symmetry is really strange , some ranking methods do not satisfy @xmath85 ( * ? ? ? * example  4.4 ) . [ lemma31 ] the score , generalized row sum and least squares methods are neutral , symmetric and invertible . it follows from the definitions since @xmath88 . [ axiom34 ] _ consistency _ ( @xmath89 ) @xcite : let @xmath18 be two ranking problems and @xmath82 be two objects . let @xmath78 be a scoring procedure such that @xmath90 and @xmath91 . @xmath92 is called _ consistent _ if @xmath93 , furthermore , @xmath94 if at least one of the above inequalities is strict . @xmath89 is the most general and intuitive version of additivity : if @xmath6 is not worse than @xmath7 in two ranking problems , this should be preserved after adding them up . we have already seen that the sum of two ranking problems may have a natural interpretation . @xcite used this property only in the case of round - robin tournaments . [ col33 ] @xmath89 and @xmath80 imply @xmath85 . consider a ranking problem @xmath32 with @xmath95 for objects @xmath31 . if @xmath96 , then @xmath97 due to @xmath89 , which contradicts to @xmath80 . therefore @xmath98 . [ lemma32 ] the row sum method is consistent . it follows from the definition as @xmath99 . the next property appears as _ independence _ in ( * ? ? ? * axiom  iii ) and ( * ? ? ? * axiom  5 ) for round - robin ranking problems . the name independence of irrelevant matches has been used by @xcite . it deals with the effects of certain changes in the aggregated paired comparisons matrix . [ axiom35 ] _ independence of irrelevant matches _ ( @xmath100 ) : let @xmath18 be two ranking problems and @xmath101 be four different objects such that @xmath14 and @xmath102 are identical but @xmath103 . scoring procedure @xmath78 is called _ independent of irrelevant matches _ if @xmath104 . @xmath100 means that remote comparisons  not involving objects @xmath6 and @xmath7  do not affect the relative ranking of @xmath6 and @xmath7 . changing the matches matrix may result in an unconnected ranking problem . [ rem32 ] property @xmath100 has a meaning if @xmath105 . sequential application of @xmath100 can lead to any ranking problem @xmath106 where @xmath107 if @xmath108 , but all other paired comparisons are arbitrary . [ def31 ] _ opponent set _ : let @xmath109 be an unweighted ranking problem . the _ opponent set _ of object @xmath6 is @xmath110    objects of the opponent set @xmath111 are called _ opponents _ of @xmath6 . [ axiom36 ] _ self - consistency _ ( @xmath112 ) let @xmath32 be a ranking problem such that @xmath113 , @xmath114 and @xmath115 is an unweighted ranking problem for all @xmath116 . let @xmath31 be two objects and @xmath78 be a scoring procedure such that for all @xmath116 there exists a one - to - one mapping @xmath117 from @xmath118 onto @xmath119 , where @xmath120 and @xmath121 . @xmath92 is called _ self - consistent _ if @xmath122 , furthermore , @xmath123 if at least one of the above inequalities is strict .    according to self - consistency , if object @xmath6 is obviously not worse than object @xmath7 , then it is not ranked lower , furthermore , if it is better ( has better results against opponents with the same strength , has the same results against stronger opponents , or has better results against stronger opponents ) , then it is ranked higher . self - consistency has been extensively discussed by @xcite and @xcite . [ rem33 ] self - consistency restricts the relative ranking of objects @xmath6 and @xmath7 only if @xmath124 since a one - to - one mapping should exist between @xmath125 and @xmath126 for all @xmath116 . [ lemma33 ] the generalized row sum and least squares methods are self - consistent . see ( * ? ? ? * theorem  5 ) . in this section two axioms , consistency and independence of irrelevant matches are related , which has an unfavourable consequence . afterwards , our main result illustrates the impossibility of satisfying consistency and self - consistency at the same time . [ prop41 ] a scoring procedure satisfying @xmath75 , @xmath80 and @xmath89 meets @xmath100 . assume to the contrary , and let @xmath32 be a ranking problem , @xmath127 be a scoring procedure and @xmath128 be four different objects such that @xmath95 , and @xmath129 is identical to @xmath29 except for the result @xmath130 and match @xmath131 , where @xmath132 . corollary  [ col33 ] implies that a symmetric and consistent scoring procedure satisfies @xmath85 , hence @xmath98 . denote by @xmath76 the permutation @xmath133 , @xmath134 , and @xmath135 for all @xmath136 . neutrality results in @xmath137 \leq f_j \left [ \sigma(n , r , m ) \right]$ ] , and @xmath138 < f_j \left [ \sigma(n ,- r',m ' ) \right]$ ] due to inversion and corollary  [ col31 ] . with the notations @xmath139 and @xmath140 , we get @xmath141 symmetry implies @xmath142 since @xmath143 , but @xmath144 from consistency , which is a contradiction . * lemma  3 ) have proved the same relationship on the set of round - robin ranking problems @xmath145 . however , proposition  [ prop41 ] is not a trivial extension since the significantly more abundant domain . [ col41 ] the row sum method is independent of irrelevant matches . it follows from lemmata  [ lemma31 ] and [ lemma32 ] by proposition  [ prop41 ] . [ lemma41 ] @xmath75 , @xmath80 and @xmath89 are logically independent axioms . it is shown that there exist scoring methods , which satisfy exactly two properties from the set @xmath75 , @xmath80 and @xmath89 , but violate the third ( and does not meet @xmath100 , too ) :    1 . @xmath80 and @xmath89 : row sum of the previous object , @xmath146 for all @xmath147 and @xmath148 ; 2 . @xmath75 and @xmath89 : maximal number of comparisons of other objects , @xmath149 ; , @xmath89 and @xmath100 . ] 3 . @xmath75 and @xmath80 : aggregated row sum of all opponents , that is , @xmath150 . [ prop42 ] there exists no scoring procedure that is neutral , symmetric , consistent and self - consistent .    according to proposition [ prop41 ] , @xmath75 , @xmath80 and @xmath89 imply @xmath100 . * theorem  3.1 ) has shown that @xmath100 and @xmath112 can not be met at the same time . [ col42 ] the row sum method may violate self - consistency . it is an immediate consequence of lemmata  [ lemma31 ] and [ lemma32 ] with proposition  [ prop42 ] . [ col43 ] the generalized row sum and least squares methods may violate consistency . it follows from lemmata  [ lemma31 ] and [ lemma33 ] by proposition  [ prop42 ] . lemma  [ lemma41 ] suggests that the four axioms of proposition  [ prop42 ] may be independent . it is not the case , leading to a much stronger result . [ theo41 ] there exists no scoring procedure that is consistent and self - consistent .    the contradiction of the two axioms is proved by an example . .5 [ fig41a ]    = [ draw , shape = rectangle ] ; ( n1 ) at ( 135:2 ) @xmath151 ; ( n2 ) at ( 45:2 ) @xmath152 ; ( n3 ) at ( 315:2 ) @xmath153 ; ( n4 ) at ( 225:2 ) @xmath154 ;    /in n1/n2,n1/n4,n2/n3,n3/n4 ( )  ( ) ;    .5 [ fig42b ]    = [ draw , shape = rectangle ] ; ( n1 ) at ( 135:2 ) @xmath151 ; ( n2 ) at ( 45:2 ) @xmath152 ; ( n3 ) at ( 315:2 ) @xmath153 ; ( n4 ) at ( 225:2 ) @xmath154 ;    /in n1/n4,n2/n4 ( )  ( ) ; ( n3 )  ( n1 ) ; ( n3 )  ( n2 ) ;    [ examp41 ] let @xmath155 be two ranking problems with the aggregated paired comparisons matrices @xmath156 \qquad \text{and } \qquad t ' = \left [ \begin{array}{cccc }      0      & 0      & 0      & 0.5 \\      0      & 0      & 0      & 0.5 \\      1      & 1      & 0      & 0 \\      0.5    & 0.5    & 0      & 0 \\ \end{array } \right].\ ] ] it is shown in figure  [ fig41 ] : a directed edge from node @xmath6 to @xmath7 indicates a complete win of @xmath6 over @xmath7 ( and a complete loss of @xmath7 against @xmath6 ) , while an undirected edge from node @xmath6 to @xmath7 represents a draw in one comparison between the two objects . this representation will be used in further examples , too . assume to the contrary that there exists a scoring procedure @xmath78 , which is consistent and self - consistent .    1 . take the ranking problem @xmath29 . note that @xmath157 and @xmath158 . 1 . consider the identity one - to - one correspondences @xmath159 and @xmath160 such that @xmath161 and @xmath162 . since @xmath163 and @xmath164 , @xmath151 and @xmath153 have the same results against the same opponents , hence @xmath165 from @xmath112 . 2 .   consider the identity one - to - one correspondences @xmath166 and @xmath167 . since @xmath168 and @xmath169 , @xmath152 and @xmath154 have the same results against the same opponents , hence @xmath170 from @xmath112 . 3 .   suppose that @xmath171 , which implies @xmath172 . consider the one - to - one - mapping @xmath173 , where @xmath174 and @xmath175 . since @xmath176 and @xmath177 , @xmath151 has the same results against stronger opponents compared to @xmath152 , hence @xmath178 from @xmath112 , which is a contradiction . an analogous argument shows that @xmath178 can not hold . + hence , self - consistency leads to @xmath179 in the first ranking problem . 2 .   take the ranking problem @xmath180 . note that @xmath181 and @xmath182 . 1 . consider the identity one - to - one correspondences @xmath183 and @xmath184 . since @xmath185 and @xmath186 , @xmath151 and @xmath152 have the same results against the same opponents , hence @xmath187 from @xmath112 . 2 .   consider the identity one - to - one correspondence @xmath188 . since @xmath189 and @xmath190 , @xmath153 has better results against the same opponents compared to @xmath154 , hence @xmath191 from @xmath112 . + hence , self - consistency leads to @xmath187 and @xmath192 in the second ranking problem . 3 .   take the ranking problem @xmath193 with the decomposition @xmath194 and @xmath195 ( see figure  [ fig42 ] ) . consistency results in @xmath196 and @xmath197 . + suppose that @xmath198 . consider the one - to - one mappings @xmath199 and @xmath184 such that @xmath200 , @xmath201 and @xmath202 , @xmath203 . since @xmath204 , @xmath205 and @xmath206 , @xmath207 , @xmath152 has the same results against stronger opponents compared to @xmath151 , hence @xmath171 from @xmath112 , which is a contradiction . + to summarize , self - consistency leads to @xmath208 in the aggregated ranking problem @xmath209 , contrary to the above implication of consistency . = [ draw , shape = rectangle ] ; ( n1 ) at ( 135:2 ) @xmath151 ; ( n2 ) at ( 45:2 ) @xmath152 ; ( n3 ) at ( 315:2 ) @xmath153 ; ( n4 ) at ( 225:2 ) @xmath154 ;    /in n1/n2,n2/n4,n3/n4 ( )  ( ) ; ( n3 )  ( n1 ) ; ( n2 )  ( n3 ) ; ( n3 )  ( n2 ) ; ( n1 )  ( n4 ) ; ( n1 )  ( n4 ) ;    it has been derived that no scoring procedure can meet @xmath89 and @xmath112 simultaneously on the universal domain . [ col44 ] @xmath89 and @xmath112 are logically independent axioms . it is the consequence of lemmata  [ lemma32 ] and [ lemma33 ] , with corollaries  [ col42 ] and [ col43 ] . theorem  [ theo41 ] is a serious impossibility result : by accepting self - consistency , one can not require the ranking method to be additive in the most general sense . the comparison of proposition  [ prop42 ] and theorem  [ theo41 ] suggests that self - consistency may imply neutrality or symmetry . however , it is not true as the following result shows . [ lemma42 ] there exists a scoring method that is self - consistent , but not neutral and symmetric . the statement can be verified by an example where an @xmath112-compatible ranking contradicts to @xmath75 and @xmath80 . = [ draw , shape = rectangle ] ; ( n1 ) at ( 135:2 ) @xmath151 ; ( n2 ) at ( 45:2 ) @xmath152 ; ( n3 ) at ( 315:2 ) @xmath153 ; ( n4 ) at ( 225:2 ) @xmath154 ;    /in n1/n2,n2/n3,n3/n4 ( )  ( ) ;    [ examp42 ] let @xmath210 be the ranking problem in figure  [ fig3 ] . consider the ranking @xmath211 such that @xmath212 . it meets self - consistency since @xmath151 has the same result against a stronger opponent compared to @xmath154 , while there exists no correspondence between opponent sets @xmath213 and @xmath214 satisfying the conditions required by @xmath112 . let @xmath215 be a permutation such that @xmath216 , @xmath217 , @xmath218 , and @xmath219 . it implies @xmath220 , so @xmath75 results in @xmath221 and @xmath222 . furthermore , @xmath80 leads to @xmath223 as all results are draws . however , both conditions are violated by the ranking @xmath211 . impossibility results , like the one in theorem  [ theo41 ] , can be rectified in two ways : by restrictions on the class of ranking problems considered , or by the weakening of axioms .      besides the natural subclasses of ranking problems introduced in definition  [ def21 ] , the number of objects can be limited , too . [ lemma51 ] the row sum method is consistent and self - consistent on the set of ranking problems with at most three objects @xmath224 . the case @xmath68 is trivial . let @xmath225 be a ranking problem such that @xmath226 , @xmath113 , @xmath114 and @xmath115 is an unweighted ranking problem for all @xmath116 . let @xmath31 be two objects and assume that for all @xmath116 there exists a one - to - one mapping @xmath117 from @xmath118 onto @xmath119 , where @xmath120 and @xmath227 . obviously , @xmath228 . due to the existence of one - to - one mappings , @xmath229 . if @xmath230 for at least one @xmath8 , then @xmath231 , so all inequalities hold as equality , hence @xmath112 is satisfied . if @xmath232 for all @xmath8 , then @xmath233 and @xmath234 implying @xmath235 , so all inequalities hold as equality , hence @xmath112 is satisfied . lemma  [ lemma51 ] has some meaning since the ranking is not trivial if @xmath236 . however , if four objects are allowed , the situation becomes more severe . [ lemma52 ] there exists no scoring procedure that is consistent and self - consistent on the set of balanced and extremal ranking problems with four objects @xmath237 . the ranking problems of example  [ examp41 ] , used for verifying the impossibility in theorem  [ theo41 ] , are from the set @xmath237 . lemma  [ lemma52 ] presents that the impossibility holds on some subsets of ranking problems . while the two ranking problems of example  [ examp41 ] are unweighted , this class is not closed under addition . a positive result emerges in the case of round - robin ranking problems . [ prop51 ] the row sum , generalized row sum and least squares methods are consistent and self - consistent on the set of round - robin ranking problems @xmath145 .    due to the axioms _ agreement _ ( * ? ? ? * property  3 ) and _ score consistency _ @xcite , generalized row sum and least squares methods coincide with row sum on the set of @xmath145 , so lemmata  [ lemma32 ] and [ lemma33 ] provide @xmath100 and @xmath112 , respectively . consistency is a property easy to use in axiomatizations , which may be the reason that most characterizations of the row sum method were suggested on this  or even more restricted  domain @xcite . an obvious restriction of consistency can be to allow for certain combinations of ranking problems only . [ axiom51 ] _ order preservation _ ( @xmath238 ) @xcite : let @xmath239 be two ranking problems and @xmath82 be two objects such that @xmath240 for all @xmath82 . let @xmath241 be a scoring procedure such that @xmath90 and @xmath91 . @xmath92 is said to satisfy _ order preservation _ if @xmath93 , furthermore , @xmath94 if at least one of the above inequalities is strict . order preservation requires that the ratio of comparisons is equal for all objects in the ranking problems added . [ col51 ] @xmath89 implies @xmath238 . [ col52 ] @xmath238 implies @xmath89 on the domain of balanced ranking problems @xmath242 . it follows from axioms  [ axiom31 ] and [ axiom51 ] together with definition  [ def21 ] . [ lemma53 ] the row sum method satisfies order preservation .    it can be derived from lemma  [ lemma32 ] and corollary  [ col51 ] . [ lemma54 ] there exists no scoring procedure that satisfies order preservation and self - consistency . the ranking problems of example  [ examp41 ] , used for verifying the impossibility in theorem  [ theo41 ] , are from the set @xmath242 , so corollary  [ col52 ] can be applied . [ col53 ] the generalized row sum and least squares methods may violate order preservation . it follows from lemmata  [ lemma33 ] and [ lemma54 ] .    on the other hand , if the ranking problems have the same matches matrix , different comparison multigraphs will not interact . [ axiom52 ] _ result consistency _ ( @xmath243 ) : let @xmath244 be two ranking problems ( that is , @xmath30 and @xmath245 for all @xmath31 . ) and @xmath82 be two objects . let @xmath241 be a scoring procedure such that @xmath95 and @xmath246 . @xmath92 is called _ result consistent _ if @xmath247 , furthermore , @xmath248 if at least one of the above inequalities is strict . result consistency allows for the combination of ranking problems with the same comparison structure only . [ col54 ] @xmath89 implies @xmath243 . [ col55 ] @xmath243 implies @xmath89 on the domain of round - robin raking problems @xmath145 . let @xmath249 be two round - robin ranking problems . then @xmath250 due to definition  [ def21 ] . [ lemma55 ] the row sum method is result consistent . it can be derived from lemma  [ lemma32 ] and corollary  [ col53 ] .    in the case of generalized row sum , parameter choice will count . [ lemma56 ] the generalized row sum method with a fixed @xmath64 may violate result consistency . the statement is proved by giving an example . = [ draw , shape = rectangle ] ; ( n1 ) at ( 90:3 ) @xmath151 ; ( n2 ) at ( 0:3 ) @xmath152 ; ( n3 ) at ( 180:3 ) @xmath153 ;    ( n1 )  ( n2 ) ; ( n1 )  ( n2 ) ; ( n1 )  ( n3 ) ; ( n2 )  ( n3 ) ; ( n2 )  ( n3 ) ; ( n2 )  ( n3 ) ;    [ examp51 ] let @xmath225 be the ranking problem in figure  [ fig4 ] with results and matches matrices @xmath251 \text { and } m = \left [ \begin{array}{ccc }      0      & 2      & 1 \\      2      & 0      & 3 \\      1      & 3      & 0 \\ \end{array } \right].\ ] ]    the reasonable upper bound of @xmath64 is @xmath252 as @xmath253 and @xmath236 . let choose it as a fixed parameter : @xmath254^\top \text { , and } \ ] ] @xmath255^\top,\ ] ] implying @xmath256 in @xmath29 but @xmath257 in @xmath258 .    now allow @xmath64 to depend on the matches matrix @xmath26 . [ lemma57 ] the generalized row sum method is result consistent if @xmath64 is inversely proportional to @xmath259 . let @xmath260 , @xmath261 and @xmath262 where @xmath263 . the statement yields from some basic calculations : @xmath264 = \mathbf{x}(\varepsilon ) + \mathbf{x}(\varepsilon)'.\end{aligned}\ ] ]    consequently , generalized row sum method is advised to apply with a parameter inversely proportional to the number of comparisons . [ col56 ] generalized row sum with @xmath64 at the reasonable upper bound of @xmath67 $ ] satisfies @xmath243 . [ lemma58 ] the least squares method is result consistent . let @xmath265 , @xmath266 and @xmath267 . it is shown that @xmath268 . the laplacian matrix of the comparison multigraph associated with matches matrix @xmath269 is @xmath270 , so @xmath271 as well as @xmath272 = 0 $ ] . [ prop52 ] the generalized row sum with a parameter inversely proportional to @xmath259 and least squares methods are result consistent and self - consistent . it is the consequence of lemmata  [ lemma33 ] , [ lemma57 ] , and [ lemma58 ] . note that the possibility result presented in proposition  [ prop52 ] is more general than the one obtained in the round - robin case ( see proposition  [ prop41 ] ) due to corollary  [ col55 ] . self - consistency can be relaxed such that @xmath6 is judged at least as good as @xmath7 if it achieves the same result against stronger opponents ( contrary to the original version , where @xmath6 should be judged strictly better in this case ) . [ axiom53 ] _ weak self - consistency _ ( @xmath273 ) : let @xmath32 be a ranking problem such that @xmath113 , @xmath114 and @xmath115 is an unweighted ranking problem for all @xmath116 . let @xmath31 be two objects and @xmath78 be a scoring procedure such that for all @xmath116 there exists a one - to - one mapping @xmath274 from @xmath118 onto @xmath119 , where @xmath275 and @xmath276 . + @xmath92 is called _ self - consistent _ if @xmath122 , furthermore , @xmath123 if @xmath277 for at least one @xmath116 .    [ col57 ] @xmath112 implies @xmath273 . [ lemma59 ] the row sum method is weakly self - consistent . see ( * ? ? ? * lemma  4.4 ) . [ prop53 ] the row sum method is consistent and weakly self - consistent . it follows from lemma  [ lemma32 ] and corollary  [ col57 ] . we have found some unexpected connections among different properties defined for problems where a set of objects should be ranked on the basis of information about their arbitrary bilateral relationships . first , independence of irrelevant matches ( posing a kind of independence concerning the relative ranking of two objects ) is implied by three independent axioms , neutrality ( independence of relabelling the objects ) , symmetry ( implying a flat ranking if all comparisons are draws ) , and consistency ( perhaps the most natural property of additivity ) . since @xcite has proved that there exists no ranking rule satisfying independence of irrelevant matches and self - consistency , neutrality , symmetry , consistency and self - consistency can not be met simultaneously ( proposition  [ prop41 ] ) . it turns out that consistency and self - consistency are still enough to get this result ( theorem  [ theo41 ] ) . the impossibility holds under various restrictions , including the cases when all objects have the same number of comparisons , or all preferences are extreme ( lemma  [ lemma52 ] ) . the size of the problem does not solve the issue as it emerges with at least four objects ( lemmata  [ lemma51 ] and [ lemma52 ] ) . on the other hand , round - robin ranking problems can be aggregated without similar difficulties ( proposition  [ prop51 ] ) . a plausible weakening of self - consistency is satisfied by the row sum method besides consistency ( proposition  [ prop53 ] ) , but this modification has not much significance . consistency can be restricted by requiring additivity only for ranking problems with the same comparisons structure , called result consistency . the new property is satisfied by the least squares and an appropriately parametrized version of the generalized row sum methods , and the implied possibility theorem ( proposition  [ prop52 ] ) turns out to be more general than the one derived in the round - robin case ( consider corollary  [ col55 ] ) . the current study has not lead to any obvious characterization since propositions  [ prop51 ] and [ prop52 ] allow for more than one ranking methods ( proposition  [ prop53 ] requires further investigation ) . for example , the difference of generalized row sum with @xmath278 $ ] and least squares methods is not revealed by the properties analysed here . axiomatic construction of scoring procedures seems to be an obvious continuation of this research , however , losing consistency certainly does not simplify the challenge . the research was supported by otka grant k 111797 and by the mta premium post doctorate research program . chebotarev , p. and shamis , e. ( 1997 ) . constructing an objective function for aggregating incomplete preferences . in tangian , a. and gruber , j. , editors , _ constructing scalar - valued objective functions _ , volume 453 of _ lecture notes in economics and mathematical systems _ , pages 100124 . springer , berlin - heidelberg .
Abstract:

Answer: assume a set of objects is given with information about their bilateral relationships , allowing for incomplete and multiple comparisons as well as different preference intensities . an axiomatic approach is applied for the problem of ranking the objects . consistency requires the preservation of relative ranking if two sets of such preferences are aggregated . self - consistency assigns the same rank for objects with the same performance , furthermore , an object should be ranked strictly higher if it shows an obviously better performance than another . it is revealed that these two properties can not be satisfied simultaneously . the impossibility holds under various restrictions on the domain . however , a positive result emerges if only the aggregation of ranking problems with the same comparison structure is allowed , for example , we have two round - robin tournaments .


Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: binary systems , whose behavior crucially depends on the underlying condition of immiscibility or miscibility @xcite , play a fundamentally important role in many areas of physics . in the case of immiscibility , a major effect is the formation of domain walls ( dws ) between regions occupied by immiscible components . commonly known are dws in media featuring a vectorial order parameter , such as ferromagnets @xcite , ferroelectrics @xcite , and liquid crystals @xcite . in self - defocusing optical media , dws separate regions occupied by electromagnetic waves with orthogonal circular polarizations of light haelt , me . similar interface patterns were predicted in arrays of nonlinear optical waveguides , modeled by discrete nonlinear schrdinger equations ( nlses ) @xcite . dws are known in superfluids too , where they are formed by immiscible binary bose - einstein condensates ( becs ) , as predicted theoretically @xcite and demonstrated in experiments @xcite . in the mean - field approximation @xcite , such settings are modeled by systems of nonlinearly coupled gross - pitaevskii equations ( gpes ) with the cubic self - repulsive nonlinearity , which are similar to coupled nlses describing the above - mentioned optical dws @xcite . in their stationary form , these equations coincide with coupled cubic ginzburg - landau equations modeling dws in dissipative patterns , such as interfaces between rolls with different orientations in large - area rayleigh - benard convection @xcite .    the analysis of the dws in bec was extended for broader settings , including linear interconversion between the immiscible components  ( this is possible when they represent two different hyperfine states of the same atom coupled by a resonant radiofrequency wave ) @xcite , dipolar @xcite and spinor ( three - component ) condensates @xcite , as well as the bec discretized by trapping in a deep optical - lattice ( ol ) potentials mering . furthermore , the study of the dws was recently extended for immiscible binary becs  with three - particle collisions @xcite , in the case when the related losses may be neglected , the respective coupled gpes featuring the cubic - quintic repulsive nonlinearity @xcite .    in the effectively one - dimensional ( 1d ) setting , ultracold bosonic gases with strong inter - atomic repulsion may be cast in the tonks - girardeau ( tg ) state , which emulates the gas of non - interacting fermions @xcite , provided that the energy of the repulsive interaction between bosons exceeds their kinetic energy , while the opposite situation corresponds to the becphase in the bosonic gas ( a review of the tg model was given in ref . the tg gas of hard - core bosons has been realized experimentally , using tight transverse confinement @xcite . in particular , a longitudinal ol potential was used to increase the effective mass in the trapped state , thus making the kinetic energy small enough @xcite . it is commonly known that gpes furnish very accurate description of the bec in atomic gases . a similar macroscopic model of the tg gas is offered by the nlse with the quintic self - repulsion term @xcite . in a rigorous form , the relevance of the corresponding sextic term in the free - energy density of the three - dimensional bosonic gas in its ground state , which reduces to the quasi-1d tg phase , was demonstrated in ref . @xcite , under condition @xmath0 , where @xmath1 , @xmath2 , and @xmath3 are , respectively , the inter - atomic repulsion strength , system s length , and the total number o atoms . the quintic model was used in various contexts , including shock waves @xcite , dark @xcite and gap - mode @xcite solitons , as well as bright solitons supported by dipole - dipole interactions @xcite , and , recently , dws in immiscible binary tg gases @xcite . further , oscillation frequencies derived from fermionic hydrodynamic equations , which apply to the hard - core tg gas , were found to be close to their counterparts predicted by the quintic nlse hydro . coupled quintic nlses also arise in works aimed at constructing the ground state of a binary tg mixture in the harmonic - oscillator potential by means of the density - functional method @xcite . on the other hand , this approach may not apply to tg gases beyond the framework of static configurations and hydrodynamic regimes . in particular , it fails for strongly non - equilibrium problems , such as merger of distinct gas clouds @xcite . as concerns the mixtures , it may be interesting to consider binary systems including the tg gas and another quantum - gas component . in particular , exact solutions  were found for the ground state of tg - fermi mixtures minguzzi . the binary gas of impenetrable bosons is solvable too ctg - ba . the objective of the present work is to introduce basic nonlinear complexes , such as dws , bubble - drop ( bd ) modes ( bound pairs of two dws ) , and dark - bright solitons ( dbss ) , in an immiscible system of tg and bec gases . in the experiment , the system may be realized , in particular , as a bosonic gas composed of two atomic species under tight transverse confinement , with a longitudinal ol potential acing on ( being relatively close to a resonance with ) one species only . then , as the experimental setting presented in ref . @xcite suggests , a large effective mass of the near - resonant component will bring it into the tg state , while the other component may stay in the bec phase .    as a model for this system , in section ii we adopt the cubic gpe for the self - repulsive bec component coupled by the cubic ( collisional ) repulsive term to the quintic nlse for the tg species . the use of the latter equation is appropriate , as we study only static configurations of the system . the same model may find a realization in optics as a model of colloidal waveguides . it has been recently demonstrated that , selecting the size of metallic nanoparticles in the colloid and their concentration , one can engineer desirable coefficients of the corresponding cubic and quintic nonlinearity @xcite . in particular , it is possible to design a waveguide which features a nearly pure quintic nonlinearity at a particular wavelength , while the cubic response dominates at a different wavelength . the copropagation of optical signals carried by these wavelengths will then emulate the tg - bec system . dws separating the bec and tg phases are addressed in section iii . we derive the respective immiscibility condition ( see eq . ( [ g < ] ) below ) , and then generate dw states in a systematic way , using both numerical solutions and the analytical thomas - fermi approximation ( tfa ) . the latter method makes it possible to obtain some dws in an explicit analytical form , as given below by eqs . ( [ exact ] ) - ( [ wtfa ] ) . db and dbs complexes are considered in sections iv and v , respectively , again using a combination of analytical and numerical methods . the analysis predicts that the db states exist solely in the form of the tg drop embedded into the bec background ( bubble ) , but not in the opposite case ; on the other hand , the dbs are predicted in either case of the bright tg soliton embedded into the bec dark soliton , or vice versa . these predictions are fully corroborated by numerical results . the paper is concluded by section vi . the system of coupled nlses with the cubic and quintic nonlinear terms for the bec and tg components , @xmath4 and @xmath5 , with respective scaled masses @xmath6 and @xmath7(i.e . , @xmath8 is the relative effective mass of tg components which , as said above , may be made larger than the actual atomic mass @xcite ) is @xmath9where real parameters @xmath10 and @xmath11 are strengths of the self - repulsion of the bec component , and repulsion between the bec and tg ones , respectively , while @xmath12 and the coefficient of the effective quintic self - repulsion of the tg component are scaled to be @xmath13 ( in the notation of ref . @xcite , the natural value of the latter coefficient is @xmath14 ) . substitution @xmath15makes it possible to further fix @xmath16 and @xmath17 , thus simplifying eq . ( [ first ] ) to a system with two free coefficients , @xmath8 and @xmath18:@xmath19    for the above - mentioned spatial - domain optical model ( with @xmath20 replaced by the propagation distance , @xmath21 , and transverse coordinate @xmath22 ) , the scaled propagation equations are derived , using the standard procedure @xcite , as@xmath23here @xmath24 and @xmath25 represent amplitudes of the copropagating electromagnetic waves with relative wavenumber and frequency @xmath26 and @xmath27 , cf . ( [ mmm ] ) . further , @xmath28 in eq . ( [ omega ] ) are the cubic and quintic spm coefficients for the two waves , while the cubic xpm coefficient is normalized to be @xmath13 . additional rescaling,@xmath29transforms eq . ( [ omega ] ) into the system of equations ( [ bec ] ) and ( [ tg ] ) , with @xmath30 . the hamiltonian corresponding to eqs . ( [ bec ] ) and ( [ tg ] ) is @xmath31 in addition to @xmath32 , the system preserves the norms ( scaled numbers of atoms in the ultracold gas , or total powers of the two waves , in terms of the optical model ) , @xmath33of the two components , and , for dynamical solutions , also the total momentum , @xmath34 , although , as mentioned above , the use of the quintic nls equation for the description of dynamics of the tg gas may be impugnable . stationary solutions to eqs . ( [ bec ] ) and ( [ tg ] ) with positive chemical potentials @xmath35 are looked for as @xmath36with real functions @xmath37 satisfying equations @xmath38(in the optical model , @xmath39 represent the propagation constants of the two waves ) . equations ( [ phi1 ] ) and ( [ phi2 ] ) , if considered as equations of the evolution along @xmath40 , conserve the formal hamiltonian,@xmath41cf . ( [ h ] ) .    normalizing the stationary wave functions as@xmath42one may fix @xmath43 , which implies that the density of the uniform tg component is also fixed to be @xmath13 , see eq . ( [ bc ] ) below . numerical results for dws are presented in the following section chiefly for this case , while in sections iv and v  other normalizations are used for bd and dbs states . solutions of stationary equations ( [ phi1 ] ) and ( [ phi2 ] ) for the domain wall ( dw ) separating semi - infinite domains occupied by the bec and tg components ( or the spatial domains occupied by the copropagating waves in the above - mentioned optics model ) are specified by the following boundary conditions ( b.c . ) , which include the respective asymptotic densities , @xmath44 and @xmath45 : @xmath46the condition that formal hamiltonian ( [ h ] ) must take the same values at @xmath47 and @xmath48 across the solution imposes a restriction on b.c . ( [ bc ] ) , which relates the two chemical potentials:@xmath49 in terms of the asymptotic densities , condition ( [ bc ] ) takes the form of@xmath50which actually implies the balance of the pressure applied to the dw from the two sides . naturally , the mass ratio ( @xmath8 ) does not appear in eqs . ( mumu ) and ( [ nn ] ) . note that , if condition ( [ nn ] ) between the densities does not hold initially , the dw in a finite system , which corresponds to real experimental settings , will move to a position at which the condition holds for the accordingly modified densities . further , the _ immiscibility condition _ for the bec  and tg , which is necessary for the existence of the dw separating the two quantum gases , is that the demixed configuration must provide a _ smaller _ energy density ( defined as per eq . ( [ h ] ) ) than a uniformly mixed state with densities which are equal to half of asymptotic densities ( [ bc]):@xmath51the uniform state corresponds to values of the chemical potentials different from @xmath52 and @xmath53 , namely , @xmath54 , @xmath55 . then , the comparison of the average energy densities of the demixed and uniform states gives rise to the immiscibility condition in the following form : @xmath56further , the substitution of relation ( [ mumu ] ) in eq . ( [ < ] ) transforms it into an inequality for the self - repulsion strength of the bec component , @xmath18 : @xmath57 in particular , for @xmath43 ( as said above , this value will be fixed by rescaling ) , eq . ( [ g < ] ) yields @xmath58 . the dw may be characterized by an effective width of its core , which may be naturally defined by the following integral expression : @xmath59the analysis should produce @xmath60 as a function of parameters @xmath8 and @xmath18 , once the tg asymptotic density is fixed by setting @xmath43 , see fig . [ fig : wvsm ] below . close to the existence boundary of the dw , i.e. , at @xmath61 , the dw becomes very wide . in this limit , the dependence between the width and proximity to the threshold may be estimated as follows : the density of the gradient energy in eq . ( [ h ] ) scales as @xmath62 , hence the full gradient energy scales as @xmath63 , and the respective effective force may be estimated as @xmath64 @xmath65 . it must be balanced by the effective bulk force vanishing at @xmath66 , which scales as @xmath67 . thus , the equilibrium condition predicts that the dw s width diverges at @xmath68 as@xmath69    accurate analytical results for the dw can be obtained in the limit case corresponding to @xmath70 , or to @xmath71 , when the derivative term in eq . ( [ phi1 ] ) may be neglected ( which actually implies the use of the tfa book ) , yielding@xmath72strictly speaking , the assumption of @xmath71 may contradict the experimentally relevant way of the realization of the tg gas , based on making the respective effective mass large @xcite . nevertheless , the other option justifying the applicability of the tfa , @xmath70 , is quite relevant .    the substitution of expressions ( [ 1/g ] ) and ( [ mumu ] ) in eq . ( phi2 ) leads to the single stationary equation for @xmath73 , with the cubic - quintic nonlinearity:@xmath74(eq . ( [ mumu ] ) was used here to eliminate @xmath52 ) . then , using a known particular exact solution for the dw solution of eq . ( [ single ] ) @xcite , we obtain a solution at the following values of the chemical potentials:@xmath75i.e . , @xmath76 , @xmath77 , in the form of@xmath78note that @xmath79 satisfies condition ( g < ) , and rescaling ( [ tilde ] ) transforms values ( [ exact ] ) into @xmath80 . the width of this solution , defined according to eq . ( [ w ] ) , is@xmath81comparison of analytical solution ( [ dw ] ) with its numerical counterpart is displayed below in fig . [ fig : exact ] .    an analytical approach can also be developed in the opposite limit of @xmath82 ( very heavy tg atoms ) , when the tfa may be applied to eq . ( [ phi2 ] ) ( i.e. , the derivative term may be dropped in this equation ) , reducing it to@xmath83 in this case , eq . ( [ phi1 ] ) takes the form of@xmath84cf . ( [ 1/g ] ) and ( [ single ] ) derived above in the opposite limit of @xmath85 . in the particular case of @xmath86 ( no intrinsic interaction in the bec component ) , eq . ( [ phi1nophi2 ] ) coincides with the equation considered in ref . @xcite , in the context of a completely different physical model , for a resonantly absorbing bragg reflector in optics . the formal hamiltonian for eq . ( [ phi1nophi2 ] ) is @xmath87cf . ( [ h ] ) . the dw solution corresponds to a solution of eq . ( phi1nophi2 ) with the b.c . produced by eq . ( [ bc ] ) : @xmath88 , and , simultaneously , @xmath89 , the latter relation following from eq . ( [ phi2phi1 ] . obviously , this b.c . set is self - consistent solely for @xmath90 . in the combination with this relation , equating values of @xmath91 corresponding to @xmath92 and @xmath93 , as per eq . ( [ phi1h ] ) , yields @xmath94 , which is impossible , as @xmath18 can not be negative . thus , the dw solution does not exist in this approximation . nevertheless , it readily produces analytical solutions for complexes of other types , bd and dbs , as shown below . generic dw structures obtained from numerical solutions of eqs . ( [ bec ] ) and ( [ tg ] ) are displayed in fig . [ fig : dw ] . stationary solutions have been obtained by means of the imaginary - time - propagation method . the validity and stability of the solutions was then checked by simulations in real time . the simulations in both imaginary and real time were run by means of the split - step crank - nicholson method @xcite . stable solutions have been found in a wide range of values of @xmath8 at @xmath95 , and no solutions could be obtained at @xmath96 , which is readily explained by eq . ( [ g < ] ) ( recall we set @xmath43 ) . actual numerical results for the dws have been obtained for @xmath97 . in other words , a natural conclusion is that the dw exists if the bec - tg repulsion is stronger than the intrinsic repulsion of the bec component . in the remaining interval of @xmath98 ( [ g < ] ) ) , it is difficult to generate dws numerically , as the initial guess for finding the solution by means of the imaginary - time propagation should be very close to the true one , in case the solution is sought for close to its existence boundary . unlike @xmath18 , the dependence of the dw solutions on @xmath8 is very weak , as seen in fig . fig : dw which displays examples for @xmath99 and @xmath100 ( the comparison of the results obtained for large and small values of @xmath8 , presented here and below , is appropriate even if very small values of @xmath8 may be experimentally irrelevant , as mentioned above ) .    ) , ( [ tg ] ) , and subsequently verified by the real - time propagation , for @xmath101 , @xmath102 , @xmath103 , and two values of the relative mass , @xmath99 and @xmath104 . in terms of the optics model , the bec and tg densities correspond to power densities of the waves subject to the action of the cubic and quintic self - defocusing nonlinearity , respectively ( in captions to the following figures , they are referred to as  cubic " and  quintic " components , respectively).,scaledwidth=35.0% ]    \(a ) ( b )    in addition , fig . [ fig : exact ] displays the comparison of the analytical approximation ( tfa ) based on eqs . ( [ 1/g ] ) , ( [ exact ] ) , and ( [ dw ] ) with the numerical solution obtained for the same values of parameters . it is observed that the analytically predicted density profiles are virtually identical to their numerical counterparts .    ) and ( [ tg ] ) , and its comparison with the analytical prediction ( tfa ) , given by eqs . ( 1/g ) , ( [ exact ] ) and ( [ dw ] ) , for large @xmath18 ( and/or small @xmath8 ) , _ viz_. , @xmath105 , @xmath106.,scaledwidth=45.0% ]    to characterize the entire family of the dw solutions , their width defined as per eq . ( [ w ] ) has been numerically evaluated , as shown in fig . fig : wvsm(a ) , vs. the mass ratio , @xmath8 , in the interval of @xmath107 . it is seen that the dependence of the width on @xmath8 is rather weak , in agreement with examples displayed in fig . [ fig : dw ] . further , the dependence of the dw s width on the bec self - repulsion constant , @xmath18 , is shown in fig . [ fig : wvsm](b ) . the range of values of @xmath18 displayed in the figure is bounded by existence limits of the dw solutions , as given by eq . ( [ g < ] ) . the increase of the width with @xmath18 is a natural property of the system , as stronger self - repulsion stretches the transient layer [ in the analytical form , this is clearly shown by eq . ( [ broad ] ) and solution ( [ dw ] ) . ] \(a ) ( b ) bubble - drop ( bd ) solutions are even ones , with @xmath108 , singled out by b.c . @xmath109(a bec drop embedded into the tg background ) , or @xmath110(a tg drop embedded into the bec background ) , cf . ( [ bc ] ) . in fact , the bds may be considered as bound pairs of the dws , with the layer bec or tg trapped between the two semi - infinite tg or bec domains , respectively . the existence and stability of these solutions has been numerically checked by fixing the chemical potential of the background to unity , and varying the norm of the drop , or more precisely :    * setting @xmath43 for the tg background , see eq . ( [ db2 ] ) , and selecting several fixed values of @xmath111 for the bec drop , see eq . ( [ n ] ) ; * setting @xmath112 for the bec background , see eq . ( [ db1 ] ) , and selecting several fixed values of @xmath113 for the tg drop , see eq . ( [ n ] ) . it is relevant to stress that , unlike the dws , the chemical potentials of the bubble and drop components are not related by any condition similar to eq . ( [ mumu ] ) . in this setting , the remaining free parameters are relative mass @xmath8 and bec self - repulsion coefficient @xmath18 . analytical results for the bd structures are available in the limit case of @xmath82 ( heavy tg atoms ) , which corresponds to eqs . ( phi2phi1 ) and ( [ phi1nophi2 ] ) . indeed , in this approximation the bd solutions , defined by b.c . ( [ db2 ] ) or ( [ db1 ] ) correspond , respectively , to bright solitons or bubbles produced by eq . ( [ phi1nophi2 ] ) (  bubbles " are solutions of nlses in the form of a local drop of the density supported by the flat background , without zero crossing , and without a phase shift at @xmath114 , unlike dark solitons barash ) . further , the analysis of the corresponding hamiltonian ( phi1h ) demonstrates that eq . ( [ phi1nophi2 ] ) can not generate bright solitons , but it readily gives rise to bubbles , i.e. , the bd patterns in the form of the tg drop embedded into the bec background . the fact that the bds exist in the form of the tg drop embedded into the bec bubble , but do not exist in the reverse form , is confirmed by numerical results presented below .    analytical results for the bd structures are also available in the limit case of @xmath115 or @xmath85 , when the derivative term may be neglected in eq . ( [ phi1 ] ) , leading to eq . ( [ 1/g ] ) , as shown above . the substitution of this approximation into eq . ( [ phi2 ] ) leads to the single equation with the cubic - quintic nonlinearity . for @xmath52 not linked to @xmath53 by relation ( [ mumu ] ) , which was specific for the dw , but is not relevant in the present case , the cubic - quintic equation takes a form slightly more general than eq . ( [ single ] ) derived above : @xmath116a straightforward consideration demonstrates that eq . ( [ cq ] ) gives rise to bubbles , i.e. , effectively , the bds of type ( [ db2 ] ) , in the case of@xmath117and to bright solitons , i.e. , the bds of type ( [ db1 ] ) , in the range of@xmath118 in fact , the present limit of @xmath115 or @xmath85 implies that interval ( [ bubble ] ) does not exist , while condition ( bright ) may hold . thus , this consideration again predicts that the bd exist solely in the form of a tg  drop ( bright soliton ) embedded into the bec bubble , which is exactly confirmed by numerical results following below .    in terms of the above - mentioned optics model , this conclusion means that a bright soliton driven by the quintic self - defocusing may be embedded into the background filled by the optical wave subject to the cubic self - defocusing , but not vice versa .      for the state defined as per eq . ( [ db2 ] ) ( a bec / cubic drop embedded into the tg / quintic background ) , it was not possible to find solutions in the entire parametric region investigated , which amounts to intervals @xmath119 and @xmath120 , and @xmath121 . in imaginary - time simulations , this configuration , if taken as an input , transforms into a flat one . the nonexistence of this bd species is readily explained by the analytical results presented above . on the other hand , also in agreement with the above analysis , in the same parameter region ( with @xmath111 replaced by @xmath113 ) stable solutions have been readily found for the bd state defined by eq . ( [ db1 ] ) ( a tg / quintic drop embedded into the bec / cubic background ) , see a typical example in fig . the bd may be characterized by the _ missing mass _ of the bubble void , i.e. , @xmath122 ^{-1}\int_{-\infty } ^{+\infty } \left [ \left ( n_{1}\right ) _ { \mathrm{asympt}% } -\phi _ { 1}^{2}(x)\right ] dx .   \label{mvoid}\]]computations demonstrate that , for the family of the bd states , @xmath123 very weakly depends on relative mass @xmath8 . figure fig : missing_mass displays the missing mass of the bec component as a function of @xmath18 . the dependence observed in fig . [ fig : missing_mass ] may be approximated by relation @xmath124 , which is easy to understand : according to eq . ( [ phi1 ] ) , the tg component with density @xmath125 replaces the missing bec field with effective density @xmath126 . this argument also explains an approximately linear increase of @xmath127 with the growth of the norm of the tg / quintic drop , @xmath113 , as clearly seen in fig . [ fig : missing_mass ] .    , immersed into the bec ( cubic ) background , as produced by the numerical solution of eqs . ( [ bec ] ) and ( [ tg ] ) with b.c . given by eq . ( [ db1 ] ) . other parameters are @xmath128 , @xmath129 , @xmath130 , @xmath131 , @xmath132.,scaledwidth=35.0% ]    , as defined by eq . ( [ mvoid ] ) , in the bd state . the bec chemical potential is @xmath133 , and the tg / bec mass ratio is @xmath130.,scaledwidth=35.0% ] bright - dark - soliton ( dbs ) solutions represent complexes with one even localized ( bright ) component , and the other delocalized spatially odd zero - crossing one ( the dark soliton ) , the difference from the bd structure being that in the latter case both components were patterned as even ones , without zero crossing in the bubble structure . the corresponding b.c . for the dbs complex are given by@xmath134(a bright bec component embedded into the tg background ) , or @xmath135(a bright tg component embedded into the bec background ) , cf . ( [ db2 ] ) and ( [ db1 ] ) . note that , similar to the case of the bd , the dbs existence condition does not impose any relation on the chemical potentials of its components , unlike eq . ( [ mumu ] ) for the dw . the limit case of @xmath136 ( heavy tg atoms ) , which is represented by eqs . ( [ phi2phi1 ] ) and ( [ phi1nophi2 ] ) , makes it possible to produce analytical results for the dbs defined by b.c . ( dbs1 ) , which corresponds to a dark soliton of eq . ( [ phi1nophi2 ] ) . the analysis of the hamiltonian ( [ phi1h ] ) demonstrates that eq . ( phi1nophi2 ) indeed gives rise to dark solitons , i.e. , the dbs patterns in the form of the bright tg soliton embedded into the dark bec soliton . the consideration of the dbs is also possible in the opposite limit of @xmath137 or @xmath85 , which amounts to the consideration of eq . ( [ cq ] ) . dark solitons of that equation correspond to the dbs defined by b.c . ( [ dbs2 ] ) , and it is easy to see that eq . ( cq ) gives rise to the dark solitons in the range of @xmath138 . obviously , this condition holds in the present limit of @xmath115 or @xmath85 . thus , the analysis of the limit cases readily predicts the existence of both species of the dbss , which correspond to b.c . ( [ dbs2 ] ) and ( [ dbs1 ] ) . this prediction is confirmed by the following numerical results . both types of the dbs have been produced by the numerical computations , as shown in fig . [ fig : bds_profile ] . \(a ) ( b )    the dbs complexes have their existence boundaries . they cease to exist when the self - repulsion bec coefficient , @xmath18 , becomes too large . this is shown in fig . [ fig : bds_stability ] , that displays the boundaries in the plane of @xmath139 . it is seen that a lower chemical potential of the dark component favors the existence of the dbs , as the boundaries move towards higher values of @xmath18 with the decrease of the chemical potential . relative mass @xmath8 plays a different role : the existence area for the dbs complex with the bright bec  ( cubic ) component shrinks with the increase of @xmath8 , while for the case of the bright tg ( quintic ) component the increase of @xmath8 favors the dbs existence . \(a ) ( b )     and @xmath140 , respectively.,scaledwidth=35.0% ] we have introduced a binary system in the form of an immiscible pair of bec and tg quantum gases , in the effectively 1d setting . using the system of the gpe for the bec , nonlinearly coupled to the quintic nlse for the tg component , we have analyzed the possibility of the existence of three types of interfaces in this binary system : dws ( domain walls ) , bds ( bubble - drops ) , and bdss ( bright - dark solitons ) . the same model applies to a bimodal light propagation in a specially designed colloidal medium in optics . the immiscibility condition for the binary system of the present type was obtained in the general form . analytical results were produced by means of the tfas ( thomas - fermi approximations ) , in the combination with the systematic numerical analysis . the dws have been found an explicit analytical form , by means of the tfa , and in the generic form numerically . the analysis and numerical results demonstrate that the bds exist solely in the form of the tg drop immersed into the bec background , while the bds complexes may be built equally well of the tg bright and bec dark components or vice versa . thus , the predicted results suggest new experiments with tightly confined two - species mixtures of ultracold bosonic gases . the analysis can be extended for a chain of bds and/or dbss in a long system , including a circular one , which corresponds to the binary gas loaded into a tight toroidal trap @xcite . we appreciate valuable discussions with m. salerno . g.f . acknowledges financial support from italian research programs pon ricerca e competitivit 2007 - 2013 , under grant agreement pon nafassy , pona3_00007 , and programma regionale per lo sviluppo innovativo delle filiere manifatturiere strategiche della campania - filiera wisch progetto 2 : ricerca di tecnologie innovative digitali per lo sviluppo sistemistico di computer , circuiti elettronici e piattaforme inerziali ad elevate prestazioni ad uso avionico .
Abstract:

Answer: we consider one - dimensional mixtures of an atomic bose - einstein condensate ( bec ) and tonks - giradeau ( tg ) gas . the mixture is modeled by a coupled system of the gross - pitaevskii equation for the bec and the quintic nonlinear schrdinger equation for the tg component . an immiscibility condition for the binary system is derived in a general form . under this condition , three types of bec - tg interfaces are considered : domain walls ( dws ) separating the two components ; bubble - drops ( bds ) , in the form of a drop of one component immersed into the other ( bds may be considered as bound states of two dws ) ; and bound states of bright and dark solitons ( bdss ) . the same model applies to the copropagation of two optical waves in a colloidal medium . the results are obtained by means of systematic numerical analysis , in combination with analytical thomas - fermi approximations ( tfas ) . using both methods , families of dw states are produced in a generic form . bd complexes exist solely in the form of a tg drop embedded into the bec background . on the contrary , bdss exist as bound states of tg bright and bec dark components , and vice versa .