[{"date_updated":"2019-08-02T12:38:21Z","abstract":[{"text":"We study the problem of determining stack boundedness and the exact maximum stack size for three classes of interrupt-driven programs. Interrupt-driven programs axe used in many real-time applications that require responsive interrupt handling. In order to ensure responsiveness, programmers often enable interrupt processing in the body of lower-priority interrupt handlers. In such programs a programming error can allow interrupt handlers to be interrupted in cyclic fashion to lead to an unbounded stack, causing the system to crash. For a restricted class of interrupt-driven programs, we show that there is a polynomial-time procedure to check stack boundedness, while determining the exact maximum stack size is PSPACE-complete. For a larger class of programs, the two problems are both PSPACE-complete, and for the largest class of programs we consider, the two problems are PSPACE-hard and can be solved in exponential time.","lang":"eng"}],"status":"public","publist_id":"2260","quality_controlled":0,"year":"2003","publisher":"Springer","date_published":"2003-05-28T00:00:00Z","title":"Stack size analysis for interrupt-driven programs","intvolume":" 2694","extern":1,"conference":{"name":"SAS: Static Analysis Symposium"},"author":[{"full_name":"Krishnendu Chatterjee","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Ma","full_name":"Ma, Di","first_name":"Di"},{"last_name":"Majumdar","full_name":"Majumdar, Ritankar S","first_name":"Ritankar"},{"full_name":"Zhao, Tian","first_name":"Tian","last_name":"Zhao"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Thomas Henzinger","first_name":"Thomas A"},{"last_name":"Palsberg","first_name":"Jens","full_name":"Palsberg, Jens"}],"acknowledgement":"Jens Palsberg, Di Ma, and Tian Zhao were supported by the NSF ITR award 0112628. Thomas A. Henzinger, Krishnendu Chatterjee, and Rupak Majumdar were supported by the AFOSR grant F49620-00-1-0327, the DARPA grants F33615-C-98-3614 and F33615-00-C-1693, the MARCO grant 98-DT-660, and the NSF grants CCR-0208875 and CCR-0085949.","month":"05","date_created":"2018-12-11T12:05:46Z","alternative_title":["LNCS"],"type":"conference","doi":"10.1007/3-540-44898-5_7","page":"109 - 126","_id":"3898","citation":{"mla":"Chatterjee, Krishnendu, et al. *Stack Size Analysis for Interrupt-Driven Programs*. Vol. 2694, Springer, 2003, pp. 109–26, doi:10.1007/3-540-44898-5_7.","short":"K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, in:, Springer, 2003, pp. 109–126.","apa":"Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., & Palsberg, J. (2003). Stack size analysis for interrupt-driven programs (Vol. 2694, pp. 109–126). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/10.1007/3-540-44898-5_7","chicago":"Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs,” 2694:109–26. Springer, 2003. https://doi.org/10.1007/3-540-44898-5_7.","ista":"Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. 2003. Stack size analysis for interrupt-driven programs. SAS: Static Analysis Symposium, LNCS, vol. 2694. 109–126.","ieee":"K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T. A. Henzinger, and J. Palsberg, “Stack size analysis for interrupt-driven programs,” presented at the SAS: Static Analysis Symposium, 2003, vol. 2694, pp. 109–126.","ama":"Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. Stack size analysis for interrupt-driven programs. In: Vol 2694. Springer; 2003:109-126. doi:10.1007/3-540-44898-5_7"},"volume":2694,"publication_status":"published","day":"28"},{"_id":"204","page":"293 - 318","issue":"2","volume":96,"citation":{"ama":"Browning TD. Equal Sums of Two kth Powers. *Journal of Number Theory*. 2002;96(2):293-318. doi:10.1006/jnth.2002.2800","ieee":"T. D. Browning, “Equal Sums of Two kth Powers,” *Journal of Number Theory*, vol. 96, no. 2, pp. 293–318, 2002.","ista":"Browning TD. 2002. Equal Sums of Two kth Powers. Journal of Number Theory. 96(2), 293–318.","apa":"Browning, T. D. (2002). Equal Sums of Two kth Powers. *Journal of Number Theory*, *96*(2), 293–318. https://doi.org/10.1006/jnth.2002.2800","chicago":"Browning, Timothy D. “Equal Sums of Two Kth Powers.” *Journal of Number Theory* 96, no. 2 (2002): 293–318. https://doi.org/10.1006/jnth.2002.2800.","mla":"Browning, Timothy D. “Equal Sums of Two Kth Powers.” *Journal of Number Theory*, vol. 96, no. 2, Academic Press, 2002, pp. 293–318, doi:10.1006/jnth.2002.2800.","short":"T.D. Browning, Journal of Number Theory 96 (2002) 293–318."},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"day":"02","publication_status":"published","month":"10","type":"journal_article","date_created":"2018-12-11T11:45:11Z","doi":"10.1006/jnth.2002.2800","date_published":"2002-10-02T00:00:00Z","publisher":"Academic Press","year":"2002","publication":"Journal of Number Theory","title":"Equal Sums of Two kth Powers","author":[{"full_name":"Timothy Browning","first_name":"Timothy D","last_name":"Browning","id":"35827D50-F248-11E8-B48F-1D18A9856A87"}],"intvolume":" 96","extern":1,"date_updated":"2020-07-14T12:45:26Z","status":"public","abstract":[{"text":"Let k⩾5 be an integer, and let x⩾1 be an arbitrary real number. We derive a bound[Formula presented] for the number of positive integers less than or equal to x which can be represented as a sum of two non-negative coprime kth powers, in essentially more than one way.","lang":"eng"}],"quality_controlled":0,"publist_id":"7708"},{"page":"131 - 178","_id":"2338","publication_status":"published","day":"01","citation":{"mla":"Lieb, Élliott, et al. “The Ground State of the Bose Gas.” *Current Developments in Mathematics, 2001*, International Press, 2002, pp. 131–78, doi:http://arxiv.org/abs/math-ph/0204027.","short":"É. Lieb, J. Solovej, R. Seiringer, J. Yngvason, in:, Current Developments in Mathematics, 2001, International Press, 2002, pp. 131–178.","chicago":"Lieb, Élliott, Jan Solovej, Robert Seiringer, and Jakob Yngvason. “The Ground State of the Bose Gas.” In *Current Developments in Mathematics, 2001*, 131–78. International Press, 2002. http://arxiv.org/abs/math-ph/0204027.","apa":"Lieb, É., Solovej, J., Seiringer, R., & Yngvason, J. (2002). The ground state of the Bose gas. In *Current Developments in Mathematics, 2001* (pp. 131–178). International Press. http://arxiv.org/abs/math-ph/0204027","ieee":"É. Lieb, J. Solovej, R. Seiringer, and J. Yngvason, “The ground state of the Bose gas,” in *Current Developments in Mathematics, 2001*, International Press, 2002, pp. 131–178.","ista":"Lieb É, Solovej J, Seiringer R, Yngvason J. 2002. The ground state of the Bose gas. Current Developments in Mathematics, 2001. , Current Developments in Mathematics, 131–178.","ama":"Lieb É, Solovej J, Seiringer R, Yngvason J. The ground state of the Bose gas. In: *Current Developments in Mathematics, 2001*. International Press; 2002:131-178. doi:http://arxiv.org/abs/math-ph/0204027"},"alternative_title":["Current Developments in Mathematics"],"date_created":"2018-12-11T11:57:04Z","type":"book_chapter","month":"01","doi":"http://arxiv.org/abs/math-ph/0204027","title":"The ground state of the Bose gas","publication":"Current Developments in Mathematics, 2001","year":"2002","publisher":"International Press","date_published":"2002-01-01T00:00:00Z","extern":1,"author":[{"last_name":"Lieb","full_name":"Lieb, Élliott H","first_name":"Élliott"},{"last_name":"Solovej","first_name":"Jan","full_name":"Solovej, Jan P"},{"full_name":"Robert Seiringer","first_name":"Robert","last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521"},{"last_name":"Yngvason","full_name":"Yngvason, Jakob","first_name":"Jakob"}],"date_updated":"2020-07-14T12:45:39Z","publist_id":"4588","quality_controlled":0,"status":"public"},{"date_created":"2018-12-11T11:57:05Z","alternative_title":["Contemporary Mathematics"],"type":"conference","month":"01","doi":"10.1090/conm/307","page":"281 - 286","_id":"2339","publication_status":"published","day":"01","citation":{"chicago":"Seiringer, Robert. “Symmetry Breaking in a Model of a Rotating Bose Gas.” edited by Richardo Weder, Pavel Exner, and Benoit Grébert, 307:281–86. World Scientific Publishing, 2002. https://doi.org/10.1090/conm/307.","apa":"Seiringer, R. (2002). Symmetry breaking in a model of a rotating Bose gas. In R. Weder, P. Exner, & B. Grébert (Eds.) (Vol. 307, pp. 281–286). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1090/conm/307","mla":"Seiringer, Robert. *Symmetry Breaking in a Model of a Rotating Bose Gas*. Edited by Richardo Weder et al., vol. 307, World Scientific Publishing, 2002, pp. 281–86, doi:10.1090/conm/307.","short":"R. Seiringer, in:, R. Weder, P. Exner, B. Grébert (Eds.), World Scientific Publishing, 2002, pp. 281–286.","ama":"Seiringer R. Symmetry breaking in a model of a rotating Bose gas. In: Weder R, Exner P, Grébert B, eds. Vol 307. World Scientific Publishing; 2002:281-286. doi:10.1090/conm/307","ista":"Seiringer R. 2002. Symmetry breaking in a model of a rotating Bose gas. QMath: Mathematical Results in Quantum Physics, Contemporary Mathematics, vol. 307. 281–286.","ieee":"R. Seiringer, “Symmetry breaking in a model of a rotating Bose gas,” presented at the QMath: Mathematical Results in Quantum Physics, 2002, vol. 307, pp. 281–286."},"volume":307,"date_updated":"2020-07-14T12:45:39Z","publist_id":"4587","quality_controlled":0,"status":"public","title":"Symmetry breaking in a model of a rotating Bose gas","year":"2002","publisher":"World Scientific Publishing","date_published":"2002-01-01T00:00:00Z","extern":1,"intvolume":" 307","conference":{"name":"QMath: Mathematical Results in Quantum Physics"},"author":[{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521","full_name":"Robert Seiringer","first_name":"Robert","last_name":"Seiringer"}],"editor":[{"full_name":"Weder, Richardo","first_name":"Richardo","last_name":"Weder"},{"first_name":"Pavel","full_name":"Exner, Pavel","last_name":"Exner"},{"first_name":"Benoit","full_name":"Grébert, Benoit","last_name":"Grébert"}]},{"publist_id":"4577","oa":1,"quality_controlled":0,"abstract":[{"lang":"eng","text":"The Bose-Einstein condensation (BEC) of the ground state of bosonic atoms in a trap was discussed. The BEC was proved for bosons with two-body repulsive interaction potentials in the dilute limit, starting from the basic Schrodinger equation. The BEC was 100% into the state which minimized the Gross-Pitaevskii energy functional. The analysis also included rigorous proof of BEC in a physically realistic, continuum model."}],"status":"public","date_updated":"2020-07-14T12:45:39Z","extern":1,"intvolume":" 88","author":[{"last_name":"Lieb","full_name":"Lieb, Élliott H","first_name":"Élliott"},{"last_name":"Seiringer","first_name":"Robert","full_name":"Robert Seiringer","orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87"}],"title":"Proof of Bose-Einstein condensation for dilute trapped gases","year":"2002","publication":"Physical Review Letters","date_published":"2002-04-29T00:00:00Z","publisher":"American Physical Society","doi":"10.1103/PhysRevLett.88.170409","date_created":"2018-12-11T11:57:08Z","type":"journal_article","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/math-ph/0112032"}],"month":"04","publication_status":"published","day":"29","citation":{"ista":"Lieb É, Seiringer R. 2002. Proof of Bose-Einstein condensation for dilute trapped gases. Physical Review Letters. 88(17), 1704091–1704094.","ieee":"É. Lieb and R. Seiringer, “Proof of Bose-Einstein condensation for dilute trapped gases,” *Physical Review Letters*, vol. 88, no. 17, pp. 1704091–1704094, 2002.","ama":"Lieb É, Seiringer R. Proof of Bose-Einstein condensation for dilute trapped gases. *Physical Review Letters*. 2002;88(17):1704091-1704094. doi:10.1103/PhysRevLett.88.170409","mla":"Lieb, Élliott, and Robert Seiringer. “Proof of Bose-Einstein Condensation for Dilute Trapped Gases.” *Physical Review Letters*, vol. 88, no. 17, American Physical Society, 2002, pp. 1704091–94, doi:10.1103/PhysRevLett.88.170409.","short":"É. Lieb, R. Seiringer, Physical Review Letters 88 (2002) 1704091–1704094.","chicago":"Lieb, Élliott, and Robert Seiringer. “Proof of Bose-Einstein Condensation for Dilute Trapped Gases.” *Physical Review Letters* 88, no. 17 (2002): 1704091–94. https://doi.org/10.1103/PhysRevLett.88.170409.","apa":"Lieb, É., & Seiringer, R. (2002). Proof of Bose-Einstein condensation for dilute trapped gases. *Physical Review Letters*, *88*(17), 1704091–1704094. https://doi.org/10.1103/PhysRevLett.88.170409"},"volume":88,"issue":"17","page":"1704091 - 1704094","_id":"2349"},{"date_created":"2018-12-11T11:57:09Z","type":"journal_article","month":"09","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/math-ph/0205044"}],"page":"847 - 871","issue":"5","_id":"2350","publication_status":"published","day":"01","citation":{"ama":"Hainzl C, Seiringer R. Mass renormalization and energy level shift in non-relativistic QED. *Advances in Theoretical and Mathematical Physics*. 2002;6(5):847-871.","ista":"Hainzl C, Seiringer R. 2002. Mass renormalization and energy level shift in non-relativistic QED. Advances in Theoretical and Mathematical Physics. 6(5), 847–871.","ieee":"C. Hainzl and R. Seiringer, “Mass renormalization and energy level shift in non-relativistic QED,” *Advances in Theoretical and Mathematical Physics*, vol. 6, no. 5, pp. 847–871, 2002.","chicago":"Hainzl, Christian, and Robert Seiringer. “Mass Renormalization and Energy Level Shift in Non-Relativistic QED.” *Advances in Theoretical and Mathematical Physics* 6, no. 5 (2002): 847–71.","short":"C. Hainzl, R. Seiringer, Advances in Theoretical and Mathematical Physics 6 (2002) 847–871.","mla":"Hainzl, Christian, and Robert Seiringer. “Mass Renormalization and Energy Level Shift in Non-Relativistic QED.” *Advances in Theoretical and Mathematical Physics*, vol. 6, no. 5, International Press, 2002, pp. 847–71.","apa":"Hainzl, C., & Seiringer, R. (2002). Mass renormalization and energy level shift in non-relativistic QED. *Advances in Theoretical and Mathematical Physics*, *6*(5), 847–871."},"volume":6,"date_updated":"2020-07-14T12:45:39Z","publist_id":"4574","oa":1,"quality_controlled":0,"abstract":[{"lang":"eng","text":"Using the Pauli-Fierz model of non-relativistic quantum electrodynamics, we calculate the binding energy of an electron in the field of a nucleus of charge Z and in presence of the quantized radiation field. We consider the case of small coupling constant α, but fixed Zα and ultraviolet cut-off Λ. We prove that after renormalizing the mass the binding energy has, to leading order in α, a finite limit as Λ goes to infinity; i.e., the cut-off can be removed. The expression for the ground state energy shift thus obtained agrees with Bethe's formula for small values of Zα, but shows a different behavior for bigger values."}],"status":"public","title":"Mass renormalization and energy level shift in non-relativistic QED","publication":"Advances in Theoretical and Mathematical Physics","year":"2002","publisher":"International Press","date_published":"2002-09-01T00:00:00Z","intvolume":" 6","extern":1,"author":[{"last_name":"Hainzl","full_name":"Hainzl, Christian","first_name":"Christian"},{"orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","full_name":"Robert Seiringer","first_name":"Robert","last_name":"Seiringer"}]},{"doi":"10.1007/s00220-002-0695-2","month":"09","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/math-ph/0110010"}],"date_created":"2018-12-11T11:57:09Z","type":"journal_article","citation":{"mla":"Seiringer, Robert. “Gross-Pitaevskii Theory of the Rotating Bose Gas.” *Communications in Mathematical Physics*, vol. 229, no. 3, Springer, 2002, pp. 491–509, doi:10.1007/s00220-002-0695-2.","short":"R. Seiringer, Communications in Mathematical Physics 229 (2002) 491–509.","apa":"Seiringer, R. (2002). Gross-Pitaevskii theory of the rotating Bose gas. *Communications in Mathematical Physics*, *229*(3), 491–509. https://doi.org/10.1007/s00220-002-0695-2","chicago":"Seiringer, Robert. “Gross-Pitaevskii Theory of the Rotating Bose Gas.” *Communications in Mathematical Physics* 229, no. 3 (2002): 491–509. https://doi.org/10.1007/s00220-002-0695-2.","ama":"Seiringer R. Gross-Pitaevskii theory of the rotating Bose gas. *Communications in Mathematical Physics*. 2002;229(3):491-509. doi:10.1007/s00220-002-0695-2","ieee":"R. Seiringer, “Gross-Pitaevskii theory of the rotating Bose gas,” *Communications in Mathematical Physics*, vol. 229, no. 3, pp. 491–509, 2002.","ista":"Seiringer R. 2002. Gross-Pitaevskii theory of the rotating Bose gas. Communications in Mathematical Physics. 229(3), 491–509."},"volume":229,"publication_status":"published","day":"01","page":"491 - 509","issue":"3","_id":"2351","abstract":[{"text":"We study the Gross-Pitaevskii functional for a rotating two-dimensional Bose gas in a trap. We prove that there is a breaking of the rotational symmetry in the ground state; more precisely, for any value of the angular velocity and for large enough values of the interaction strength, the ground state of the functional is not an eigenfunction of the angular momentum. This has interesting consequences on the Bose gas with spin; in particular, the ground state energy depends non-trivially on the number of spin components, and the different components do not have the same wave function. For the special case of a harmonic trap potential, we give explicit upper and lower bounds on the critical coupling constant for symmetry breaking.","lang":"eng"}],"status":"public","publist_id":"4575","quality_controlled":0,"oa":1,"date_updated":"2020-07-14T12:45:39Z","intvolume":" 229","extern":1,"author":[{"orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","full_name":"Robert Seiringer","last_name":"Seiringer"}],"year":"2002","publication":"Communications in Mathematical Physics","publisher":"Springer","date_published":"2002-09-01T00:00:00Z","title":"Gross-Pitaevskii theory of the rotating Bose gas"},{"_id":"2352","issue":"1","page":"75 - 84","day":"01","publication_status":"published","volume":61,"citation":{"mla":"Hainzl, Christian, and Robert Seiringer. “General Decomposition of Radial Functions on ℝn and Applications to N-Body Quantum Systems.” *Letters in Mathematical Physics*, vol. 61, no. 1, Springer, 2002, pp. 75–84, doi:10.1023/A:1020204818938.","short":"C. Hainzl, R. Seiringer, Letters in Mathematical Physics 61 (2002) 75–84.","apa":"Hainzl, C., & Seiringer, R. (2002). General decomposition of radial functions on ℝn and applications to N-body quantum systems. *Letters in Mathematical Physics*, *61*(1), 75–84. https://doi.org/10.1023/A:1020204818938","chicago":"Hainzl, Christian, and Robert Seiringer. “General Decomposition of Radial Functions on ℝn and Applications to N-Body Quantum Systems.” *Letters in Mathematical Physics* 61, no. 1 (2002): 75–84. https://doi.org/10.1023/A:1020204818938.","ama":"Hainzl C, Seiringer R. General decomposition of radial functions on ℝn and applications to N-body quantum systems. *Letters in Mathematical Physics*. 2002;61(1):75-84. doi:10.1023/A:1020204818938","ista":"Hainzl C, Seiringer R. 2002. General decomposition of radial functions on ℝn and applications to N-body quantum systems. Letters in Mathematical Physics. 61(1), 75–84.","ieee":"C. Hainzl and R. Seiringer, “General decomposition of radial functions on ℝn and applications to N-body quantum systems,” *Letters in Mathematical Physics*, vol. 61, no. 1, pp. 75–84, 2002."},"type":"journal_article","date_created":"2018-12-11T11:57:09Z","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/math-ph/0107011"}],"month":"07","doi":"10.1023/A:1020204818938","title":"General decomposition of radial functions on ℝn and applications to N-body quantum systems","publisher":"Springer","date_published":"2002-07-01T00:00:00Z","publication":"Letters in Mathematical Physics","year":"2002","author":[{"first_name":"Christian","full_name":"Hainzl, Christian","last_name":"Hainzl"},{"last_name":"Seiringer","full_name":"Robert Seiringer","first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521"}],"intvolume":" 61","extern":1,"date_updated":"2020-07-14T12:45:39Z","quality_controlled":0,"oa":1,"publist_id":"4576","status":"public","abstract":[{"text":"We present a generalization of the Fefferman-de la Llave decomposition of the Coulomb potential to quite arbitrary radial functions V on ℝn going to zero at infinity. This generalized decomposition can be used to extend previous results on N-body quantum systems with Coulomb interaction to a more general class of interactions. As an example of such an application, we derive the high density asymptotics of the ground state energy of jellium with Yukawa interaction in the thermodynamic limit, using a correlation estimate by Graf and Solovej.","lang":"eng"}]},{"date_created":"2018-12-11T11:57:10Z","type":"journal_article","month":"10","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/cond-mat/0205570"}],"doi":"10.1103/PhysRevB.66.134529","issue":"13","_id":"2353","publication_status":"published","day":"01","citation":{"apa":"Lieb, É., Seiringer, R., & Yngvason, J. (2002). Superfluidity in dilute trapped Bose gases. *Physical Review B - Condensed Matter and Materials Physics*, *66*(13). https://doi.org/10.1103/PhysRevB.66.134529","chicago":"Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Superfluidity in Dilute Trapped Bose Gases.” *Physical Review B - Condensed Matter and Materials Physics* 66, no. 13 (2002). https://doi.org/10.1103/PhysRevB.66.134529.","mla":"Lieb, Élliott, et al. “Superfluidity in Dilute Trapped Bose Gases.” *Physical Review B - Condensed Matter and Materials Physics*, vol. 66, no. 13, American Physical Society, 2002, doi:10.1103/PhysRevB.66.134529.","short":"É. Lieb, R. Seiringer, J. Yngvason, Physical Review B - Condensed Matter and Materials Physics 66 (2002).","ieee":"É. Lieb, R. Seiringer, and J. Yngvason, “Superfluidity in dilute trapped Bose gases,” *Physical Review B - Condensed Matter and Materials Physics*, vol. 66, no. 13, 2002.","ista":"Lieb É, Seiringer R, Yngvason J. 2002. Superfluidity in dilute trapped Bose gases. Physical Review B - Condensed Matter and Materials Physics. 66(13).","ama":"Lieb É, Seiringer R, Yngvason J. Superfluidity in dilute trapped Bose gases. *Physical Review B - Condensed Matter and Materials Physics*. 2002;66(13). doi:10.1103/PhysRevB.66.134529"},"volume":66,"date_updated":"2020-07-14T12:45:39Z","publist_id":"4573","quality_controlled":0,"oa":1,"abstract":[{"text":"A commonly used theoretical definition of superfluidity in the ground state of a Bose gas is based on the response of the system to an imposed velocity field or, equivalently, to twisted boundary conditions in a box. We are able to carry out this program in the case of a dilute interacting Bose gas in a trap, and we prove that a gas with repulsive interactions is 100% superfluid in the dilute limit in which the Gross-Pitaevskii equation is exact. This is the first example in an experimentally realistic continuum model in which superfluidity is rigorously verified.","lang":"eng"}],"status":"public","title":"Superfluidity in dilute trapped Bose gases","publication":"Physical Review B - Condensed Matter and Materials Physics","year":"2002","date_published":"2002-10-01T00:00:00Z","publisher":"American Physical Society","intvolume":" 66","extern":1,"author":[{"last_name":"Lieb","first_name":"Élliott","full_name":"Lieb, Élliott H"},{"orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer","first_name":"Robert","full_name":"Robert Seiringer"},{"first_name":"Jakob","full_name":"Yngvason, Jakob","last_name":"Yngvason"}]},{"status":"public","abstract":[{"text":"A corner cut in dimension d is a finite subset of N0d that can be separated from its complement in N0d by an affine hyperplane disjoint from N0d. Corner cuts were first investigated by Onn and Sturmfels [Adv. Appl. Math. 23 (1999) 29-48], their original motivation stemmed from computational commutative algebra. Let us write (Nd0k)cut for the set of corner cuts of cardinality k; in the computational geometer's terminology, these are the k-sets of N0d. Among other things, Onn and Sturmfels give an upper bound of O(k2d(d-1)/(d+1)) for the size of (Nd0k)cut when the dimension is fixed. In two dimensions, it is known (see [Corteel et al., Adv. Appl. Math. 23 (1) (1999) 49-53]) that #(Nd0k)cut = Θ(k log k). We will see that in general, for any fixed dimension d, the order of magnitude of #(Nd0k)cut is between kd-1 log k and (k log k)d-1. (It has been communicated to me that the same bounds have been found independently by G. Rémond.) In fact, the elements of (Nd0k)cut correspond to the vertices of a certain polytope, and what our proof shows is that the above upper bound holds for the total number of flags of that polytope.","lang":"eng"}],"quality_controlled":0,"publist_id":"4505","date_updated":"2019-04-26T07:22:12Z","author":[{"orcid":"0000-0002-1494-0568","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","last_name":"Wagner","first_name":"Uli","full_name":"Uli Wagner"}],"intvolume":" 29","extern":1,"date_published":"2002-08-01T00:00:00Z","publisher":"ACM","publication":"Advances in Applied Mathematics","year":"2002","title":"On the number of corner cuts","doi":"10.1016/S0196-8858(02)00014-3","month":"08","type":"journal_article","date_created":"2018-12-11T11:57:33Z","volume":29,"citation":{"ista":"Wagner U. 2002. On the number of corner cuts. Advances in Applied Mathematics. 29(2), 152–161.","ieee":"U. Wagner, “On the number of corner cuts,” *Advances in Applied Mathematics*, vol. 29, no. 2, pp. 152–161, 2002.","ama":"Wagner U. On the number of corner cuts. *Advances in Applied Mathematics*. 2002;29(2):152-161. doi:10.1016/S0196-8858(02)00014-3","mla":"Wagner, Uli. “On the Number of Corner Cuts.” *Advances in Applied Mathematics*, vol. 29, no. 2, ACM, 2002, pp. 152–61, doi:10.1016/S0196-8858(02)00014-3.","apa":"Wagner, U. (2002). On the number of corner cuts. *Advances in Applied Mathematics*, *29*(2), 152–161. https://doi.org/10.1016/S0196-8858(02)00014-3","short":"U. Wagner, Advances in Applied Mathematics 29 (2002) 152–161.","chicago":"Wagner, Uli. “On the Number of Corner Cuts.” *Advances in Applied Mathematics* 29, no. 2 (2002): 152–61. https://doi.org/10.1016/S0196-8858(02)00014-3."},"day":"01","publication_status":"published","_id":"2420","issue":"2","page":"152 - 161"}]