---
_id: '4240'
article_processing_charge: No
author:
- first_name: J.
full_name: González, J.
last_name: González
- first_name: Harold
full_name: de Vladar, Harold
id: 2A181218-F248-11E8-B48F-1D18A9856A87
last_name: de Vladar
orcid: 0000-0002-5985-7653
- first_name: Morella
full_name: Rebolledo, Morella
last_name: Rebolledo
citation:
ama: González J, de Vladar H, Rebolledo M. New Late–Intensification Schedules for
Cancer Treatments. *Acta Científica Venezolana*. 2003;54:263-273. doi:3800
apa: González, J., de Vladar, H., & Rebolledo, M. (2003). New Late–Intensification
Schedules for Cancer Treatments. *Acta Científica Venezolana*, *54*,
263–273. https://doi.org/3800
chicago: 'González, J., Harold de Vladar, and Morella Rebolledo. “New Late–Intensification
Schedules for Cancer Treatments.” *Acta Científica Venezolana* 54 (2003):
263–73. https://doi.org/3800.'
ieee: J. González, H. de Vladar, and M. Rebolledo, “New Late–Intensification Schedules
for Cancer Treatments,” *Acta Científica Venezolana*, vol. 54, pp. 263–273,
2003.
ista: González J, de Vladar H, Rebolledo M. 2003. New Late–Intensification Schedules
for Cancer Treatments. Acta Científica Venezolana. 54, 263–273.
mla: González, J., et al. “New Late–Intensification Schedules for Cancer Treatments.”
*Acta Científica Venezolana*, vol. 54, Asociación Venezolana para el Avance
de la Ciencia., 2003, pp. 263–73, doi:3800.
short: J. González, H. de Vladar, M. Rebolledo, Acta Científica Venezolana 54 (2003)
263–273.
date_created: 2018-12-11T12:07:47Z
date_published: 2003-01-01T00:00:00Z
date_updated: 2020-10-07T06:56:50Z
day: '01'
doi: '3800'
extern: '1'
intvolume: ' 54'
language:
- iso: eng
month: '01'
oa_version: None
page: 263 - 273
publication: Acta Científica Venezolana
publication_status: published
publisher: Asociación Venezolana para el Avance de la Ciencia.
publist_id: '1874'
status: public
title: New Late–Intensification Schedules for Cancer Treatments
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 54
year: '2003'
...
---
_id: '4416'
abstract:
- lang: eng
text: "Methods for the formal specification and verification of systems are indispensible
for the development of complex yet correct systems. In formal verification, the
designer describes the system in a modeling language with a well-defined semantics,
and this system description is analyzed against a set of correctness requirements.
Model checking is an algorithmic technique to check that a system description
indeed satisfies correctness requirements given as logical specifications. While
successful in hardware verification, the potential for model checking for software
and embedded systems has not yet been realized. This is because traditional model
checking focuses on systems modeled as finite state-transition graphs. While a
natural model for hardware (especially synchronous hardware), state-transition
graphs often do not capture software and embedded systems at an appropriate level
of granularity. This dissertation considers two orthogonal extensions to finite
state-transition graphs making model checking techniques applicable to both a
wider class of systems and a wider class of properties.\r\n\r\nThe first direction
is an extension to infinite-state structures finitely represented using constraints
and operations on constraints. Infinite state arises when we wish to model variables
with unbounded range (e.g., integers), or data structures, or real time. We provide
a uniform framework of symbolic region algebras to study model checking of infinite-state
systems. We also provide sufficient language-independent termination conditions
for symbolic model checking algorithms on infinite state systems.\r\n\r\nThe second
direction supplements verification with game theoretic reasoning. Games are natural
models for interactions between components. We study game theoretic behavior with
winning conditions given by temporal logic objectives both in the deterministic
and in the probabilistic context. For deterministic games, we provide an extremal
model characterization of fixpoint algorithms that link solutions of verification
problems to solutions for games. For probabilistic games we study fixpoint characterization
of winning probabilities for games with omega-regular winning objectives, and
construct (epsilon-)optimal winning strategies."
article_processing_charge: No
author:
- first_name: Ritankar
full_name: Majumdar, Ritankar
last_name: Majumdar
citation:
ama: Majumdar R. *Symbolic Algorithms for Verification and Control*. University
of California, Berkeley; 2003:1-201.
apa: Majumdar, R. (2003). *Symbolic algorithms for verification and control*
(pp. 1–201). University of California, Berkeley.
chicago: Majumdar, Ritankar. *Symbolic Algorithms for Verification and Control*.
University of California, Berkeley, 2003.
ieee: R. Majumdar, *Symbolic algorithms for verification and control*. University
of California, Berkeley, 2003, pp. 1–201.
ista: Majumdar R. 2003. Symbolic algorithms for verification and control, University
of California, Berkeley,p.
mla: Majumdar, Ritankar. *Symbolic Algorithms for Verification and Control*.
University of California, Berkeley, 2003, pp. 1–201.
short: R. Majumdar, Symbolic Algorithms for Verification and Control, University
of California, Berkeley, 2003.
date_created: 2018-12-11T12:08:44Z
date_published: 2003-12-01T00:00:00Z
date_updated: 2020-10-07T09:14:07Z
day: '01'
extern: '1'
language:
- iso: eng
month: '12'
oa_version: None
page: 1 - 201
publication_status: published
publisher: University of California, Berkeley
publist_id: '313'
status: public
supervisor:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
title: Symbolic algorithms for verification and control
type: dissertation
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2003'
...
---
_id: '4425'
abstract:
- lang: eng
text: "Giotto provides a time-triggered programmer’s model for the implementation
of embedded control systems with hard real-time constraints. Giotto’s precise
semantics and predictabil- ity make it suitable for safety-critical applications.\r\nGiotto
is based around the idea that time-triggered task invocation together with time-triggered
mode switching can form a useful programming model for real-time systems. To substantiate
this claim, we describe the use of Giotto to refactor the software of a small,
autonomous helicopter. The ease with which Giotto expresses the existing software
provides evidence that Giotto is an appropriate programming language for control
systems.\r\nSince Giotto is a real-time programming language, ensuring that Giotto
programs meet their deadlines is crucial. To study precedence-constrained Giotto
scheduling, we first examine single-mode, single-processor scheduling. We extend
to an infinite, periodic setting the classical problem of meeting deadlines for
a set of tasks with release times, deadlines, precedence constraints, and preemption.
We then develop an algorithm for scheduling Giotto programs on a single processor
by representing Giotto programs as instances of the extended scheduling problem.\r\nNext,
we study multi-mode, single-processor Giotto scheduling. This problem is different
from classical scheduling problems, since in our precedence-constrained approach,
the deadlines of tasks may vary depending on the mode switching behavior of the
program. We present conditional scheduling models which capture this varying-deadline
behavior. We develop polynomial-time algorithms for some conditional scheduling
models, and prove oth- ers to be computationally hard. We show how to represent
multi-mode Giotto programs as instances of the model, resulting in an algorithm
for scheduling multi-mode Giotto programs on a single processor.\r\nFinally, we
show that the problem of scheduling Giotto programs for multiple net- worked processors
is strongly NP-hard."
article_processing_charge: No
author:
- first_name: Benjamin
full_name: Horowitz, Benjamin
last_name: Horowitz
citation:
ama: 'Horowitz B. *Giotto: A Time-Triggered Language for Embedded Programming*.
University of California, Berkeley; 2003:1-237.'
apa: 'Horowitz, B. (2003). *Giotto: A time-triggered language for embedded programming*
(pp. 1–237). University of California, Berkeley.'
chicago: 'Horowitz, Benjamin. *Giotto: A Time-Triggered Language for Embedded
Programming*. University of California, Berkeley, 2003.'
ieee: 'B. Horowitz, *Giotto: A time-triggered language for embedded programming*.
University of California, Berkeley, 2003, pp. 1–237.'
ista: 'Horowitz B. 2003. Giotto: A time-triggered language for embedded programming,
University of California, Berkeley,p.'
mla: 'Horowitz, Benjamin. *Giotto: A Time-Triggered Language for Embedded Programming*.
University of California, Berkeley, 2003, pp. 1–237.'
short: 'B. Horowitz, Giotto: A Time-Triggered Language for Embedded Programming,
University of California, Berkeley, 2003.'
date_created: 2018-12-11T12:08:47Z
date_published: 2003-10-01T00:00:00Z
date_updated: 2020-10-07T09:21:03Z
day: '01'
extern: '1'
language:
- iso: eng
month: '10'
oa_version: None
page: 1 - 237
publication_status: published
publisher: University of California, Berkeley
publist_id: '305'
status: public
supervisor:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
title: 'Giotto: A time-triggered language for embedded programming'
type: dissertation
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2003'
...
---
_id: '8519'
article_processing_charge: No
article_type: original
author:
- first_name: Vadim
full_name: Kaloshin, Vadim
id: FE553552-CDE8-11E9-B324-C0EBE5697425
last_name: Kaloshin
citation:
ama: Kaloshin V. The existential Hilbert 16-th problem and an estimate for cyclicity
of elementary polycycles. *Inventiones mathematicae*. 2003;151(3):451-512.
doi:10.1007/s00222-002-0244-9
apa: Kaloshin, V. (2003). The existential Hilbert 16-th problem and an estimate
for cyclicity of elementary polycycles. *Inventiones Mathematicae*, *151*(3),
451–512. https://doi.org/10.1007/s00222-002-0244-9
chicago: 'Kaloshin, Vadim. “The Existential Hilbert 16-Th Problem and an Estimate
for Cyclicity of Elementary Polycycles.” *Inventiones Mathematicae* 151,
no. 3 (2003): 451–512. https://doi.org/10.1007/s00222-002-0244-9.'
ieee: V. Kaloshin, “The existential Hilbert 16-th problem and an estimate for cyclicity
of elementary polycycles,” *Inventiones mathematicae*, vol. 151, no. 3, pp.
451–512, 2003.
ista: Kaloshin V. 2003. The existential Hilbert 16-th problem and an estimate for
cyclicity of elementary polycycles. Inventiones mathematicae. 151(3), 451–512.
mla: Kaloshin, Vadim. “The Existential Hilbert 16-Th Problem and an Estimate for
Cyclicity of Elementary Polycycles.” *Inventiones Mathematicae*, vol. 151,
no. 3, Springer Nature, 2003, pp. 451–512, doi:10.1007/s00222-002-0244-9.
short: V. Kaloshin, Inventiones Mathematicae 151 (2003) 451–512.
date_created: 2020-09-18T10:49:26Z
date_published: 2003-03-01T00:00:00Z
date_updated: 2020-10-12T13:29:57Z
day: '01'
doi: 10.1007/s00222-002-0244-9
extern: '1'
intvolume: ' 151'
issue: '3'
keyword:
- General Mathematics
language:
- iso: eng
month: '03'
oa_version: None
page: 451-512
publication: Inventiones mathematicae
publication_identifier:
issn:
- 0020-9910
- 1432-1297
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: The existential Hilbert 16-th problem and an estimate for cyclicity of elementary
polycycles
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 151
year: '2003'
...
---
_id: '204'
abstract:
- lang: eng
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.
author:
- first_name: Timothy D
full_name: Timothy Browning
id: 35827D50-F248-11E8-B48F-1D18A9856A87
last_name: Browning
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
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.'
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.
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.
date_created: 2018-12-11T11:45:11Z
date_published: 2002-10-02T00:00:00Z
date_updated: 2020-07-14T12:45:26Z
day: '02'
doi: 10.1006/jnth.2002.2800
extern: 1
intvolume: ' 96'
issue: '2'
month: '10'
page: 293 - 318
publication: Journal of Number Theory
publication_status: published
publisher: Academic Press
publist_id: '7708'
quality_controlled: 0
status: public
title: Equal Sums of Two kth Powers
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
volume: 96
year: '2002'
...
---
_id: '2338'
alternative_title:
- Current Developments in Mathematics
author:
- first_name: Élliott
full_name: Lieb, Élliott H
last_name: Lieb
- first_name: Jan
full_name: Solovej, Jan P
last_name: Solovej
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
- first_name: Jakob
full_name: Yngvason, Jakob
last_name: Yngvason
citation:
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'
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
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.
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.
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.
date_created: 2018-12-11T11:57:04Z
date_published: 2002-01-01T00:00:00Z
date_updated: 2020-07-14T12:45:39Z
day: '01'
doi: http://arxiv.org/abs/math-ph/0204027
extern: 1
month: '01'
page: 131 - 178
publication: Current Developments in Mathematics, 2001
publication_status: published
publisher: International Press
publist_id: '4588'
quality_controlled: 0
status: public
title: The ground state of the Bose gas
type: book_chapter
year: '2002'
...
---
_id: '2339'
alternative_title:
- Contemporary Mathematics
author:
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
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'
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'
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.
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.'
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.'
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.
conference:
name: 'QMath: Mathematical Results in Quantum Physics'
date_created: 2018-12-11T11:57:05Z
date_published: 2002-01-01T00:00:00Z
date_updated: 2020-07-14T12:45:39Z
day: '01'
doi: 10.1090/conm/307
editor:
- first_name: Richardo
full_name: Weder, 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
extern: 1
intvolume: ' 307'
month: '01'
page: 281 - 286
publication_status: published
publisher: World Scientific Publishing
publist_id: '4587'
quality_controlled: 0
status: public
title: Symmetry breaking in a model of a rotating Bose gas
type: conference
volume: 307
year: '2002'
...
---
_id: '2349'
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.
author:
- first_name: Élliott
full_name: Lieb, Élliott H
last_name: Lieb
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
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
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
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.'
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.
ista: Lieb É, Seiringer R. 2002. Proof of Bose-Einstein condensation for dilute
trapped gases. Physical Review Letters. 88(17), 1704091–1704094.
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.
date_created: 2018-12-11T11:57:08Z
date_published: 2002-04-29T00:00:00Z
date_updated: 2020-07-14T12:45:39Z
day: '29'
doi: 10.1103/PhysRevLett.88.170409
extern: 1
intvolume: ' 88'
issue: '17'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/math-ph/0112032
month: '04'
oa: 1
page: 1704091 - 1704094
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '4577'
quality_controlled: 0
status: public
title: Proof of Bose-Einstein condensation for dilute trapped gases
type: journal_article
volume: 88
year: '2002'
...
---
_id: '2350'
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.
author:
- first_name: Christian
full_name: Hainzl, Christian
last_name: Hainzl
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
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.
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.
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.'
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.
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.
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.
short: C. Hainzl, R. Seiringer, Advances in Theoretical and Mathematical Physics
6 (2002) 847–871.
date_created: 2018-12-11T11:57:09Z
date_published: 2002-09-01T00:00:00Z
date_updated: 2020-07-14T12:45:39Z
day: '01'
extern: 1
intvolume: ' 6'
issue: '5'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/math-ph/0205044
month: '09'
oa: 1
page: 847 - 871
publication: Advances in Theoretical and Mathematical Physics
publication_status: published
publisher: International Press
publist_id: '4574'
quality_controlled: 0
status: public
title: Mass renormalization and energy level shift in non-relativistic QED
type: journal_article
volume: 6
year: '2002'
...
---
_id: '2351'
abstract:
- lang: eng
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.
author:
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
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
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.'
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.
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.
date_created: 2018-12-11T11:57:09Z
date_published: 2002-09-01T00:00:00Z
date_updated: 2020-07-14T12:45:39Z
day: '01'
doi: 10.1007/s00220-002-0695-2
extern: 1
intvolume: ' 229'
issue: '3'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/math-ph/0110010
month: '09'
oa: 1
page: 491 - 509
publication: Communications in Mathematical Physics
publication_status: published
publisher: Springer
publist_id: '4575'
quality_controlled: 0
status: public
title: Gross-Pitaevskii theory of the rotating Bose gas
type: journal_article
volume: 229
year: '2002'
...