---
_id: '3744'
abstract:
- lang: eng
text: It is widely acknowledged that detailed timing of action potentials is used
to encode information, for example, in auditory pathways; however, the computational
tools required to analyze encoding through timing are still in their infancy.
We present a simple example of encoding, based on a recent model of time-frequency
analysis, in which units fire action potentials when a certain condition is met,
but the timing of the action potential depends also on other features of the stimulus.
We show that, as a result, spike-triggered averages are smoothed so much that
they do not represent the true features of the encoding. Inspired by this example,
we present a simple method, differential reverse correlations, that can separate
an analysis of what causes a neuron to spike, and what controls its timing. We
analyze with this method the leaky integrate-and-fire neuron and show the method
accurately reconstructs the model's kernel.
author:
- first_name: Gasper
full_name: Gasper Tkacik
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkacik
orcid: 0000-0002-6699-1455
- first_name: Marcelo
full_name: Magnasco, Marcelo O
last_name: Magnasco
citation:
ama: 'Tkačik G, Magnasco M. Decoding spike timing: The differential reverse-correlation
method. Biosystems. 2008;93(1-2):90-100. doi:10.1016/j.biosystems.2008.04.011'
apa: 'Tkačik, G., & Magnasco, M. (2008). Decoding spike timing: The differential
reverse-correlation method. Biosystems. Elsevier. https://doi.org/10.1016/j.biosystems.2008.04.011'
chicago: 'Tkačik, Gašper, and Marcelo Magnasco. “Decoding Spike Timing: The Differential
Reverse-Correlation Method.” Biosystems. Elsevier, 2008. https://doi.org/10.1016/j.biosystems.2008.04.011.'
ieee: 'G. Tkačik and M. Magnasco, “Decoding spike timing: The differential reverse-correlation
method,” Biosystems, vol. 93, no. 1–2. Elsevier, pp. 90–100, 2008.'
ista: 'Tkačik G, Magnasco M. 2008. Decoding spike timing: The differential reverse-correlation
method. Biosystems. 93(1–2), 90–100.'
mla: 'Tkačik, Gašper, and Marcelo Magnasco. “Decoding Spike Timing: The Differential
Reverse-Correlation Method.” Biosystems, vol. 93, no. 1–2, Elsevier, 2008,
pp. 90–100, doi:10.1016/j.biosystems.2008.04.011.'
short: G. Tkačik, M. Magnasco, Biosystems 93 (2008) 90–100.
date_created: 2018-12-11T12:04:56Z
date_published: 2008-07-01T00:00:00Z
date_updated: 2021-01-12T07:51:53Z
day: '01'
doi: 10.1016/j.biosystems.2008.04.011
extern: 1
intvolume: ' 93'
issue: 1-2
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2792887
month: '07'
oa: 1
page: 90 - 100
publication: Biosystems
publication_status: published
publisher: Elsevier
publist_id: '2482'
quality_controlled: 0
status: public
title: 'Decoding spike timing: The differential reverse-correlation method'
type: journal_article
volume: 93
year: '2008'
...
---
_id: '3751'
abstract:
- lang: eng
text: 'Revealing the spectrum of combinatorial regulation of transcription at individual
promoters is essential for understanding the complex structure of biological networks.
However, the computations represented by the integration of various molecular
signals at complex promoters are difficult to decipher in the absence of simple
cis regulatory codes. Here we synthetically shuffle the regulatory architecture-operator
sequences binding activators and repressors-of a canonical bacterial promoter.
The resulting library of complex promoters allows for rapid exploration of promoter
encoded logic regulation. Among all possible logic functions, NOR and ANDN promoter
encoded logics predominate. A simple transcriptional cis regulatory code determines
both logics, establishing a straightforward map between promoter structure and
logic phenotype. The regulatory code is determined solely by the type of transcriptional
regulation combinations: two repressors generate a NOR: NOT (a OR b) whereas a
repressor and an activator generate an ANDN: a AND NOT b. Three-input versions
of both logics, having an additional repressor as an input, are also present in
the library. The resulting complex promoters cover a wide dynamic range of transcriptional
strengths. Synthetic promoter shuffling represents a fast and efficient method
for exploring the spectrum of complex regulatory functions that can be encoded
by complex promoters. From an engineering point of view, synthetic promoter shuffling
enables the experimental testing of the functional properties of complex promoters
that cannot necessarily be inferred ab initio from the known properties of the
individual genetic components. Synthetic promoter shuffling may provide a useful
experimental tool for studying naturally occurring promoter shuffling.'
article_number: e2030
author:
- first_name: Ali
full_name: Kinkhabwala, Ali
last_name: Kinkhabwala
- first_name: Calin C
full_name: Guet, Calin C
id: 47F8433E-F248-11E8-B48F-1D18A9856A87
last_name: Guet
orcid: 0000-0001-6220-2052
citation:
ama: Kinkhabwala A, Guet CC. Uncovering cis regulatory codes using synthetic promoter
shuffling. PLoS One. 2008;3(4). doi:10.1371/journal.pone.0002030
apa: Kinkhabwala, A., & Guet, C. C. (2008). Uncovering cis regulatory codes
using synthetic promoter shuffling. PLoS One. Public Library of Science.
https://doi.org/10.1371/journal.pone.0002030
chicago: Kinkhabwala, Ali, and Calin C Guet. “Uncovering Cis Regulatory Codes Using
Synthetic Promoter Shuffling.” PLoS One. Public Library of Science, 2008.
https://doi.org/10.1371/journal.pone.0002030.
ieee: A. Kinkhabwala and C. C. Guet, “Uncovering cis regulatory codes using synthetic
promoter shuffling,” PLoS One, vol. 3, no. 4. Public Library of Science,
2008.
ista: Kinkhabwala A, Guet CC. 2008. Uncovering cis regulatory codes using synthetic
promoter shuffling. PLoS One. 3(4), e2030.
mla: Kinkhabwala, Ali, and Calin C. Guet. “Uncovering Cis Regulatory Codes Using
Synthetic Promoter Shuffling.” PLoS One, vol. 3, no. 4, e2030, Public Library
of Science, 2008, doi:10.1371/journal.pone.0002030.
short: A. Kinkhabwala, C.C. Guet, PLoS One 3 (2008).
date_created: 2018-12-11T12:04:58Z
date_published: 2008-04-30T00:00:00Z
date_updated: 2021-01-12T07:51:56Z
day: '30'
ddc:
- '570'
doi: 10.1371/journal.pone.0002030
extern: '1'
external_id:
pmid:
- '18446205'
file:
- access_level: open_access
checksum: 42c26f8337298a9ecadbe34a16139466
content_type: application/pdf
creator: dernst
date_created: 2019-05-10T11:00:36Z
date_updated: 2020-07-14T12:46:15Z
file_id: '6400'
file_name: 2008_PLOS1_Kinkhabwala.PDF
file_size: 679786
relation: main_file
file_date_updated: 2020-07-14T12:46:15Z
has_accepted_license: '1'
intvolume: ' 3'
issue: '4'
language:
- iso: eng
license: https://creativecommons.org/publicdomain/zero/1.0/
month: '04'
oa: 1
oa_version: Published Version
pmid: 1
publication: PLoS One
publication_status: published
publisher: Public Library of Science
publist_id: '2477'
quality_controlled: '1'
status: public
title: Uncovering cis regulatory codes using synthetic promoter shuffling
tmp:
image: /images/cc_0.png
legal_code_url: https://creativecommons.org/publicdomain/zero/1.0/legalcode
name: Creative Commons Public Domain Dedication (CC0 1.0)
short: CC0 (1.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 3
year: '2008'
...
---
_id: '3822'
abstract:
- lang: eng
text: Dentate gyrus granule cells transmit action potentials (APs) along their unmyelinated
mossy fibre axons to the CA3 region. Although the initiation and propagation of
APs are fundamental steps during neural computation, little is known about the
site of AP initiation and the speed of propagation in mossy fibre axons. To address
these questions, we performed simultaneous somatic and axonal whole-cell recordings
from granule cells in acute hippocampal slices of adult mice at approximately
23 degrees C. Injection of short current pulses or synaptic stimulation evoked
axonal and somatic APs with similar amplitudes. By contrast, the time course was
significantly different, as axonal APs had a higher maximal rate of rise (464
+/- 30 V s(-1) in the axon versus 297 +/- 12 V s(-1) in the soma, mean +/- s.e.m.).
Furthermore, analysis of latencies between the axonal and somatic signals showed
that APs were initiated in the proximal axon at approximately 20-30 mum distance
from the soma, and propagated orthodromically with a velocity of 0.24 m s(-1).
Qualitatively similar results were obtained at a recording temperature of approximately
34 degrees C. Modelling of AP propagation in detailed cable models of granule
cells suggested that a approximately 4 times higher Na(+) channel density ( approximately
1000 pS mum(-2)) in the axon might account for both the higher rate of rise of
axonal APs and the robust AP initiation in the proximal mossy fibre axon. This
may be of critical importance to separate dendritic integration of thousands of
synaptic inputs from the generation and transmission of a common AP output.
author:
- first_name: Christoph
full_name: Schmidt-Hieber, Christoph
last_name: Schmidt Hieber
- first_name: Peter M
full_name: Peter Jonas
id: 353C1B58-F248-11E8-B48F-1D18A9856A87
last_name: Jonas
orcid: 0000-0001-5001-4804
- first_name: Josef
full_name: Bischofberger, Josef
last_name: Bischofberger
citation:
ama: Schmidt Hieber C, Jonas PM, Bischofberger J. Action potential initiation and
propagation in hippocampal mossy fibre axons. Journal of Physiology. 2008;586(7):1849-1857.
doi:10.1113/jphysiol.2007.150151
apa: Schmidt Hieber, C., Jonas, P. M., & Bischofberger, J. (2008). Action potential
initiation and propagation in hippocampal mossy fibre axons. Journal of Physiology.
Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2007.150151
chicago: Schmidt Hieber, Christoph, Peter M Jonas, and Josef Bischofberger. “Action
Potential Initiation and Propagation in Hippocampal Mossy Fibre Axons.” Journal
of Physiology. Wiley-Blackwell, 2008. https://doi.org/10.1113/jphysiol.2007.150151 .
ieee: C. Schmidt Hieber, P. M. Jonas, and J. Bischofberger, “Action potential initiation
and propagation in hippocampal mossy fibre axons,” Journal of Physiology,
vol. 586, no. 7. Wiley-Blackwell, pp. 1849–57, 2008.
ista: Schmidt Hieber C, Jonas PM, Bischofberger J. 2008. Action potential initiation
and propagation in hippocampal mossy fibre axons. Journal of Physiology. 586(7),
1849–57.
mla: Schmidt Hieber, Christoph, et al. “Action Potential Initiation and Propagation
in Hippocampal Mossy Fibre Axons.” Journal of Physiology, vol. 586, no.
7, Wiley-Blackwell, 2008, pp. 1849–57, doi:10.1113/jphysiol.2007.150151 .
short: C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Journal of Physiology 586
(2008) 1849–57.
date_created: 2018-12-11T12:05:21Z
date_published: 2008-01-01T00:00:00Z
date_updated: 2021-01-12T07:52:27Z
day: '01'
doi: '10.1113/jphysiol.2007.150151 '
extern: 1
intvolume: ' 586'
issue: '7'
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2375716/
month: '01'
oa: 1
page: 1849 - 57
publication: Journal of Physiology
publication_status: published
publisher: Wiley-Blackwell
publist_id: '2387'
quality_controlled: 0
status: public
title: Action potential initiation and propagation in hippocampal mossy fibre axons
type: journal_article
volume: 586
year: '2008'
...
---
_id: '3825'
abstract:
- lang: eng
text: Fast-spiking parvalbumin-expressing basket cells (BCs) represent a major type
of inhibitory interneuron in the hippocampus. These cells inhibit principal cells
in a temporally precise manner and are involved in the generation of network oscillations.
Although BCs show a unique expression profile of Ca(2+)-permeable receptors, Ca(2+)-binding
proteins and Ca(2+)-dependent signalling molecules, physiological Ca(2+) signalling
in these interneurons has not been investigated. To study action potential (AP)-induced
dendritic Ca(2+) influx and buffering, we combined whole-cell patch-clamp recordings
with ratiometric Ca(2+) imaging from the proximal apical dendrites of rigorously
identified BCs in acute slices, using the high-affinity Ca(2+) indicator fura-2
or the low-affinity dye fura-FF. Single APs evoked dendritic Ca(2+) transients
with small amplitude. Bursts of APs evoked Ca(2+) transients with amplitudes that
increased linearly with AP number. Analysis of Ca(2+) transients under steady-state
conditions with different fura-2 concentrations and during loading with 200 microm
fura-2 indicated that the endogenous Ca(2+)-binding ratio was approximately 200
(kappa(S) = 202 +/- 26 for the loading experiments). The peak amplitude of the
Ca(2+) transients measured directly with 100 microm fura-FF was 39 nm AP(-1).
At approximately 23 degrees C, the decay time constant of the Ca(2+) transients
was 390 ms, corresponding to an extrusion rate of approximately 600 s(-1). At
34 degrees C, the decay time constant was 203 ms and the corresponding extrusion
rate was approximately 1100 s(-1). At both temperatures, continuous theta-burst
activity with three to five APs per theta cycle, as occurs in vivo during exploration,
led to a moderate increase in the global Ca(2+) concentration that was proportional
to AP number, whereas more intense stimulation was required to reach micromolar
Ca(2+) concentrations and to shift Ca(2+) signalling into a non-linear regime.
In conclusion, dentate gyrus BCs show a high endogenous Ca(2+)-binding ratio,
a small AP-induced dendritic Ca(2+) influx, and a relatively slow Ca(2+) extrusion.
These specific buffering properties of BCs will sharpen the time course of local
Ca(2+) signals, while prolonging the decay of global Ca(2+) signals.
author:
- first_name: Yexica
full_name: Aponte, Yexica
last_name: Aponte
- first_name: Josef
full_name: Bischofberger, Josef
last_name: Bischofberger
- first_name: Peter M
full_name: Peter Jonas
id: 353C1B58-F248-11E8-B48F-1D18A9856A87
last_name: Jonas
orcid: 0000-0001-5001-4804
citation:
ama: Aponte Y, Bischofberger J, Jonas PM. Efficient Ca(2+) buffering in fast-spiking
basket cells of rat hippocampus. Journal of Physiology. 2008;586(8):2061-2075.
doi:10.1113/jphysiol.2007.147298
apa: Aponte, Y., Bischofberger, J., & Jonas, P. M. (2008). Efficient Ca(2+)
buffering in fast-spiking basket cells of rat hippocampus. Journal of Physiology.
Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2007.147298
chicago: Aponte, Yexica, Josef Bischofberger, and Peter M Jonas. “Efficient Ca(2+)
Buffering in Fast-Spiking Basket Cells of Rat Hippocampus.” Journal of Physiology.
Wiley-Blackwell, 2008. https://doi.org/10.1113/jphysiol.2007.147298.
ieee: Y. Aponte, J. Bischofberger, and P. M. Jonas, “Efficient Ca(2+) buffering
in fast-spiking basket cells of rat hippocampus,” Journal of Physiology,
vol. 586, no. 8. Wiley-Blackwell, pp. 2061–75, 2008.
ista: Aponte Y, Bischofberger J, Jonas PM. 2008. Efficient Ca(2+) buffering in fast-spiking
basket cells of rat hippocampus. Journal of Physiology. 586(8), 2061–75.
mla: Aponte, Yexica, et al. “Efficient Ca(2+) Buffering in Fast-Spiking Basket Cells
of Rat Hippocampus.” Journal of Physiology, vol. 586, no. 8, Wiley-Blackwell,
2008, pp. 2061–75, doi:10.1113/jphysiol.2007.147298.
short: Y. Aponte, J. Bischofberger, P.M. Jonas, Journal of Physiology 586 (2008)
2061–75.
date_created: 2018-12-11T12:05:22Z
date_published: 2008-01-01T00:00:00Z
date_updated: 2021-01-12T07:52:28Z
day: '01'
doi: 10.1113/jphysiol.2007.147298
extern: 1
intvolume: ' 586'
issue: '8'
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2465201/
month: '01'
oa: 1
page: 2061 - 75
publication: Journal of Physiology
publication_status: published
publisher: Wiley-Blackwell
publist_id: '2386'
quality_controlled: 0
status: public
title: Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus
type: journal_article
volume: 586
year: '2008'
...
---
_id: '3878'
abstract:
- lang: eng
text: We study the problem of generating a test sequence that achieves maximal coverage
for a reactive system under test. We formulate the problem as a repeated game
between the tester and the system, where the system state space is partitioned
according to some coverage criterion and the objective of the tester is to maximize
the set of partitions (or coverage goals) visited during the game. We show the
complexity of the maximal coverage problem for non-deterministic systems is PSPACE-complete,
but is NP-complete for deterministic systems. For the special case of non-deterministic
systems with a re-initializing “reset” action, which represent running a new test
input on a re-initialized system, we show that the complexity is coNP-complete.
Our proof technique for reset games uses randomized testing strategies that circumvent
the exponentially large memory requirement of deterministic testing strategies.
acknowledgement: This research was supported in part by the NSF grants CCR-0132780
and CNS-0720884.
alternative_title:
- LNCS
author:
- first_name: Krishnendu
full_name: Krishnendu Chatterjee
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Luca
full_name: de Alfaro, Luca
last_name: De Alfaro
- first_name: Ritankar
full_name: Majumdar, Ritankar S
last_name: Majumdar
citation:
ama: 'Chatterjee K, De Alfaro L, Majumdar R. The complexity of coverage. In: Vol
5356. Springer; 2008:91-106. doi:10.1007/978-3-540-89330-1_7'
apa: 'Chatterjee, K., De Alfaro, L., & Majumdar, R. (2008). The complexity of
coverage (Vol. 5356, pp. 91–106). Presented at the APLAS: Asian Symposium on Programming
Languages and Systems, Springer. https://doi.org/10.1007/978-3-540-89330-1_7'
chicago: Chatterjee, Krishnendu, Luca De Alfaro, and Ritankar Majumdar. “The Complexity
of Coverage,” 5356:91–106. Springer, 2008. https://doi.org/10.1007/978-3-540-89330-1_7.
ieee: 'K. Chatterjee, L. De Alfaro, and R. Majumdar, “The complexity of coverage,”
presented at the APLAS: Asian Symposium on Programming Languages and Systems,
2008, vol. 5356, pp. 91–106.'
ista: 'Chatterjee K, De Alfaro L, Majumdar R. 2008. The complexity of coverage.
APLAS: Asian Symposium on Programming Languages and Systems, LNCS, vol. 5356,
91–106.'
mla: Chatterjee, Krishnendu, et al. The Complexity of Coverage. Vol. 5356,
Springer, 2008, pp. 91–106, doi:10.1007/978-3-540-89330-1_7.
short: K. Chatterjee, L. De Alfaro, R. Majumdar, in:, Springer, 2008, pp. 91–106.
conference:
name: 'APLAS: Asian Symposium on Programming Languages and Systems'
date_created: 2018-12-11T12:05:40Z
date_published: 2008-12-03T00:00:00Z
date_updated: 2021-01-12T07:52:53Z
day: '03'
doi: 10.1007/978-3-540-89330-1_7
extern: 1
intvolume: ' 5356'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/0804.4525
month: '12'
oa: 1
page: 91 - 106
publication_status: published
publisher: Springer
publist_id: '2292'
quality_controlled: 0
status: public
title: The complexity of coverage
type: conference
volume: 5356
year: '2008'
...
---
_id: '4384'
abstract:
- lang: eng
text: |-
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memory. We show that, under certain conditions, the verification problem can be reduced to a finite-state problem, and we illustrate the use of the method by proving the correctness of several STMs, including two-phase locking, DSTM, TL2, and optimistic concurrency control. The safety properties we consider include strict serializability and opacity; the liveness properties include obstruction freedom, livelock freedom, and wait freedom.
Our main contribution lies in the structure of the proofs, which are largely automated and not restricted to the STMs mentioned above. In a first step we show that every STM that enjoys certain structural properties either violates a safety or liveness requirement on some program with two threads and two shared variables, or satisfies the requirement on all programs. In the second step we use a model checker to prove the requirement for the STM applied to a most general program with two threads and two variables. In the safety case, the model checker constructs a simulation relation between two carefully constructed finite-state transition systems, one representing the given STM applied to a most general program, and the other representing a most liberal safe STM applied to the same program. In the liveness case, the model checker analyzes fairness conditions on the given STM transition system.
author:
- first_name: Rachid
full_name: Guerraoui, Rachid
last_name: Guerraoui
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Barbara
full_name: Jobstmann, Barbara
last_name: Jobstmann
- first_name: Vasu
full_name: Vasu Singh
id: 4DAE2708-F248-11E8-B48F-1D18A9856A87
last_name: Singh
citation:
ama: 'Guerraoui R, Henzinger TA, Jobstmann B, Singh V. Model checking transactional
memories. In: ACM; 2008:372-382. doi:10.1145/1375581.1375626'
apa: 'Guerraoui, R., Henzinger, T. A., Jobstmann, B., & Singh, V. (2008). Model
checking transactional memories (pp. 372–382). Presented at the PLDI: Programming
Languages Design and Implementation, ACM. https://doi.org/10.1145/1375581.1375626'
chicago: Guerraoui, Rachid, Thomas A Henzinger, Barbara Jobstmann, and Vasu Singh.
“Model Checking Transactional Memories,” 372–82. ACM, 2008. https://doi.org/10.1145/1375581.1375626.
ieee: 'R. Guerraoui, T. A. Henzinger, B. Jobstmann, and V. Singh, “Model checking
transactional memories,” presented at the PLDI: Programming Languages Design and
Implementation, 2008, pp. 372–382.'
ista: 'Guerraoui R, Henzinger TA, Jobstmann B, Singh V. 2008. Model checking transactional
memories. PLDI: Programming Languages Design and Implementation, 372–382.'
mla: Guerraoui, Rachid, et al. Model Checking Transactional Memories. ACM,
2008, pp. 372–82, doi:10.1145/1375581.1375626.
short: R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp.
372–382.
conference:
name: 'PLDI: Programming Languages Design and Implementation'
date_created: 2018-12-11T12:08:34Z
date_published: 2008-01-01T00:00:00Z
date_updated: 2021-01-12T07:56:34Z
day: '01'
doi: 10.1145/1375581.1375626
extern: 1
file:
- access_level: open_access
checksum: 1238258a27f212fc1a2050a9a246da20
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:14:05Z
date_updated: 2020-07-14T12:46:28Z
file_id: '5054'
file_name: IST-2012-74-v1+1_Model_checking_transactional_memories.pdf
file_size: 201583
relation: main_file
file_date_updated: 2020-07-14T12:46:28Z
main_file_link:
- open_access: '0'
url: http://pub.ist.ac.at/%7Etah/Publications/model_checking_transactional_memories.pdf
month: '01'
oa: 1
page: 372 - 382
publication_status: published
publisher: ACM
publist_id: '1073'
quality_controlled: 0
status: public
title: Model checking transactional memories
type: conference
year: '2008'
...
---
_id: '4409'
abstract:
- lang: eng
text: "Models of timed systems must incorporate not only the sequence of system
events, but the timings of these events as well to capture the real-time aspects
of physical systems. Timed automata are models of real-time systems in which states
consist of discrete locations and values for real-time clocks. The presence of
real-time clocks leads to an uncountable state space. This thesis studies verification
problems on timed automata in a game theoretic framework.\r\n\r\nFor untimed systems,
two systems are close if every sequence of events of one system is also observable
in the second system. For timed systems, the difference in timings of the two
corresponding sequences is also of importance. We propose the notion of bisimulation
distance which quantifies timing differences; if the bisimulation distance between
two systems is epsilon, then (a) every sequence of events of one system has a
corresponding matching sequence in the other, and (b) the timings of matching
events in between the two corresponding traces do not differ by more than epsilon.
We show that we can compute the bisimulation distance between two timed automata
to within any desired degree of accuracy. We also show that the timed verification
logic TCTL is robust with respect to our notion of quantitative bisimilarity,
in particular, if a system satisfies a formula, then every close system satisfies
a close formula.\r\n\r\nTimed games are used for distinguishing between the actions
of several agents, typically a controller and an environment. The controller must
achieve its objective against all possible choices of the environment. The modeling
of the passage of time leads to the presence of zeno executions, and corresponding
unrealizable strategies of the controller which may achieve objectives by blocking
time. We disallow such unreasonable strategies by restricting all agents to use
only receptive strategies --strategies which while not being required to ensure
time divergence by any agent, are such that no agent is responsible for blocking
time. Time divergence is guaranteed when all players use receptive strategies.
We show that timed automaton games with receptive strategies can be solved by
a reduction to finite state turn based game graphs. We define the logic timed
alternating-time temporal logic for verification of timed automaton games and
show that the logic can be model checked in EXPTIME. We also show that the minimum
time required by an agent to reach a desired location, and the maximum time an
agent can stay safe within a set of locations, against all possible actions of
its adversaries are both computable.\r\n\r\nWe next study the memory requirements
of winning strategies for timed automaton games. We prove that finite memory strategies
suffice for safety objectives, and that winning strategies for reachability objectives
may require infinite memory in general. We introduce randomized strategies in
which an agent can propose a probabilistic distribution of moves and show that
finite memory randomized strategies suffice for all omega-regular objectives.
We also show that while randomization helps in simplifying winning strategies,
and thus allows the construction of simpler controllers, it does not help a player
in winning at more states, and thus does not allow the construction of more powerful
controllers.\r\n\r\nFinally we study robust winning strategies in timed games.
In a physical system, a controller may propose an action together with a time
delay, but the action cannot be assumed to be executed at the exact proposed time
delay. We present robust strategies which incorporate such jitters and show that
the set of states from which an agent can win robustly is computable."
article_processing_charge: No
author:
- first_name: Vinayak
full_name: Prabhu, Vinayak
last_name: Prabhu
citation:
ama: Prabhu V. Games for the verification of timed systems. 2008:1-137.
apa: Prabhu, V. (2008). Games for the verification of timed systems. University
of California, Berkeley.
chicago: Prabhu, Vinayak. “Games for the Verification of Timed Systems.” University
of California, Berkeley, 2008.
ieee: V. Prabhu, “Games for the verification of timed systems,” University of California,
Berkeley, 2008.
ista: Prabhu V. 2008. Games for the verification of timed systems. University of
California, Berkeley.
mla: Prabhu, Vinayak. Games for the Verification of Timed Systems. University
of California, Berkeley, 2008, pp. 1–137.
short: V. Prabhu, Games for the Verification of Timed Systems, University of California,
Berkeley, 2008.
date_created: 2018-12-11T12:08:42Z
date_published: 2008-09-01T00:00:00Z
date_updated: 2022-02-14T14:35:11Z
day: '01'
degree_awarded: PhD
extern: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www2.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-97.html
month: '09'
oa: 1
oa_version: None
page: 1 - 137
publication_status: published
publisher: University of California, Berkeley
publist_id: '319'
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
- first_name: John
full_name: Steel, John
last_name: Steel
- first_name: Pravin
full_name: Varaiya, Pravin
last_name: Varaiya
title: Games for the verification of timed systems
type: dissertation
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2008'
...
---
_id: '2120'
abstract:
- lang: eng
text: 'We consider the linear stochastic Cauchy problem dX (t) =AX (t) dt +B dWH
(t), t≥ 0, where A generates a C0-semigroup on a Banach space E, WH is a cylindrical
Brownian motion over a Hilbert space H, and B: H → E is a bounded operator. Assuming
the existence of a unique minimal invariant measure μ∞, let Lp denote the realization
of the Ornstein-Uhlenbeck operator associated with this problem in Lp (E, μ∞).
Under suitable assumptions concerning the invariance of the range of B under the
semigroup generated by A, we prove the following domain inclusions, valid for
1 < p ≤ 2: Image omitted. Here WHk, p (E, μinfin; denotes the kth order Sobolev
space of functions with Fréchet derivatives up to order k in the direction of
H. No symmetry assumptions are made on L p.'
acknowledgement: The authors are supported by the ‘VIDI subsidie’ 639.032.201 of the
Netherlands Organization for Scientific Research (NWO) and by the Research Training
Network HPRN-CT-2002-00281.
author:
- first_name: Jan
full_name: Jan Maas
id: 4C5696CE-F248-11E8-B48F-1D18A9856A87
last_name: Maas
orcid: 0000-0002-0845-1338
- first_name: Jan
full_name: van Neerven, Jan M
last_name: Van Neerven
citation:
ama: Maas J, Van Neerven J. On the domain of non-symmetric Ornstein-Uhlenbeck operators
in banach spaces. Infinite Dimensional Analysis, Quantum Probability and Related
Topics. 2008;11(4):603-626. doi:10.1142/S0219025708003245
apa: Maas, J., & Van Neerven, J. (2008). On the domain of non-symmetric Ornstein-Uhlenbeck
operators in banach spaces. Infinite Dimensional Analysis, Quantum Probability
and Related Topics. World Scientific Publishing. https://doi.org/10.1142/S0219025708003245
chicago: Maas, Jan, and Jan Van Neerven. “On the Domain of Non-Symmetric Ornstein-Uhlenbeck
Operators in Banach Spaces.” Infinite Dimensional Analysis, Quantum Probability
and Related Topics. World Scientific Publishing, 2008. https://doi.org/10.1142/S0219025708003245.
ieee: J. Maas and J. Van Neerven, “On the domain of non-symmetric Ornstein-Uhlenbeck
operators in banach spaces,” Infinite Dimensional Analysis, Quantum Probability
and Related Topics, vol. 11, no. 4. World Scientific Publishing, pp. 603–626,
2008.
ista: Maas J, Van Neerven J. 2008. On the domain of non-symmetric Ornstein-Uhlenbeck
operators in banach spaces. Infinite Dimensional Analysis, Quantum Probability
and Related Topics. 11(4), 603–626.
mla: Maas, Jan, and Jan Van Neerven. “On the Domain of Non-Symmetric Ornstein-Uhlenbeck
Operators in Banach Spaces.” Infinite Dimensional Analysis, Quantum Probability
and Related Topics, vol. 11, no. 4, World Scientific Publishing, 2008, pp.
603–26, doi:10.1142/S0219025708003245.
short: J. Maas, J. Van Neerven, Infinite Dimensional Analysis, Quantum Probability
and Related Topics 11 (2008) 603–626.
date_created: 2018-12-11T11:55:50Z
date_published: 2008-12-04T00:00:00Z
date_updated: 2021-01-12T06:55:26Z
day: '04'
doi: 10.1142/S0219025708003245
extern: 1
intvolume: ' 11'
issue: '4'
main_file_link:
- open_access: '1'
url: http://repository.tudelft.nl/view/ir/uuid:c8eca915-d38b-4827-a4d9-e89baabb43a6/
month: '12'
oa: 1
page: 603 - 626
publication: Infinite Dimensional Analysis, Quantum Probability and Related Topics
publication_status: published
publisher: World Scientific Publishing
publist_id: '4914'
quality_controlled: 0
status: public
title: On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces
type: journal_article
volume: 11
year: '2008'
...
---
_id: '2121'
abstract:
- lang: eng
text: Let H be a separable real Hubert space and let double struck F sign = (ℱt)t∈[0,T]
be the augmented filtration generated by an H-cylindrical Brownian motion (WH(t))t∈[0,T]
on a probability space (Ω, ℱ ℙ). We prove that if E is a UMD Banach space, 1 ≤
p < ∞, and F ∈ double struck D sign1,p(Ω E) is ℱT-measurable, then F = double
struck E sign(F) + ∫0T Pdouble struck F sign(DF) dW H, where D is the Malliavin
derivative of F and P double struck F sign is the projection onto the F-adapted
elements in a suitable Banach space of Lp-stochastically integrable ℒ(H, E)-valued
processes.
acknowledgement: 'Research supported by ARC Discovery Grant dp0558539. 2research supported
by VIDI subsidy 639.032.201 and VICI subsidy 639.033.604 of the Netherlands organisation
for scientific research (nwo). '
author:
- first_name: Jan
full_name: van Neerven, Jan M
last_name: Van Neerven
- first_name: Jan
full_name: Jan Maas
id: 4C5696CE-F248-11E8-B48F-1D18A9856A87
last_name: Maas
orcid: 0000-0002-0845-1338
citation:
ama: Van Neerven J, Maas J. A Clark-Ocone formula in UMD Banach spaces. Electronic
Communications in Probability. 2008;13:151-164.
apa: Van Neerven, J., & Maas, J. (2008). A Clark-Ocone formula in UMD Banach
spaces. Electronic Communications in Probability. Institute of Mathematical
Statistics.
chicago: Van Neerven, Jan, and Jan Maas. “A Clark-Ocone Formula in UMD Banach Spaces.”
Electronic Communications in Probability. Institute of Mathematical Statistics,
2008.
ieee: J. Van Neerven and J. Maas, “A Clark-Ocone formula in UMD Banach spaces,”
Electronic Communications in Probability, vol. 13. Institute of Mathematical
Statistics, pp. 151–164, 2008.
ista: Van Neerven J, Maas J. 2008. A Clark-Ocone formula in UMD Banach spaces. Electronic
Communications in Probability. 13, 151–164.
mla: Van Neerven, Jan, and Jan Maas. “A Clark-Ocone Formula in UMD Banach Spaces.”
Electronic Communications in Probability, vol. 13, Institute of Mathematical
Statistics, 2008, pp. 151–64.
short: J. Van Neerven, J. Maas, Electronic Communications in Probability 13 (2008)
151–164.
date_created: 2018-12-11T11:55:50Z
date_published: 2008-04-07T00:00:00Z
date_updated: 2021-01-12T06:55:26Z
day: '07'
extern: 1
intvolume: ' 13'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/0709.2021
month: '04'
oa: 1
page: 151 - 164
publication: Electronic Communications in Probability
publication_status: published
publisher: Institute of Mathematical Statistics
publist_id: '4915'
quality_controlled: 0
status: public
title: A Clark-Ocone formula in UMD Banach spaces
type: journal_article
volume: 13
year: '2008'
...
---
_id: '2146'
abstract:
- lang: eng
text: 'We present an analytic model of thermal state-to-state rotationally inelastic
collisions of polar molecules in electric fields. The model is based on the Fraunhofer
scattering of matter waves and requires Legendre moments characterizing the “shape”
of the target in the body-fixed frame as its input. The electric field orients
the target in the space-fixed frame and thereby effects a striking alteration
of the dynamical observables: both the phase and amplitude of the oscillations
in the partial differential cross sections undergo characteristic field-dependent
changes that transgress into the partial integral cross sections. As the cross
sections can be evaluated for a field applied parallel or perpendicular to the
relative velocity, the model also offers predictions about steric asymmetry. We
exemplify the field-dependent quantum collision dynamics with the behavior of
the Ne–OCS(Σ1) and Ar–NO(Π2) systems. A comparison with the close-coupling calculations
available for the latter system [Chem. Phys. Lett.313, 491 (1999)] demonstrates
the model’s ability to qualitatively explain the field dependence of all the scattering
features observed.'
author:
- first_name: Mikhail
full_name: Mikhail Lemeshko
id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
last_name: Lemeshko
orcid: 0000-0002-6990-7802
- first_name: Břetislav
full_name: Friedrich, Břetislav
last_name: Friedrich
citation:
ama: Lemeshko M, Friedrich B. An analytic model of rotationally inelastic collisions
of polar molecules in electric fields. Journal of Chemical Physics. 2008;129(2).
doi:10.1063/1.2948392
apa: Lemeshko, M., & Friedrich, B. (2008). An analytic model of rotationally
inelastic collisions of polar molecules in electric fields. Journal of Chemical
Physics. American Institute of Physics. https://doi.org/10.1063/1.2948392
chicago: Lemeshko, Mikhail, and Břetislav Friedrich. “An Analytic Model of Rotationally
Inelastic Collisions of Polar Molecules in Electric Fields.” Journal of Chemical
Physics. American Institute of Physics, 2008. https://doi.org/10.1063/1.2948392.
ieee: M. Lemeshko and B. Friedrich, “An analytic model of rotationally inelastic
collisions of polar molecules in electric fields,” Journal of Chemical Physics,
vol. 129, no. 2. American Institute of Physics, 2008.
ista: Lemeshko M, Friedrich B. 2008. An analytic model of rotationally inelastic
collisions of polar molecules in electric fields. Journal of Chemical Physics.
129(2).
mla: Lemeshko, Mikhail, and Břetislav Friedrich. “An Analytic Model of Rotationally
Inelastic Collisions of Polar Molecules in Electric Fields.” Journal of Chemical
Physics, vol. 129, no. 2, American Institute of Physics, 2008, doi:10.1063/1.2948392.
short: M. Lemeshko, B. Friedrich, Journal of Chemical Physics 129 (2008).
date_created: 2018-12-11T11:55:58Z
date_published: 2008-07-01T00:00:00Z
date_updated: 2021-01-12T06:55:35Z
day: '01'
doi: 10.1063/1.2948392
extern: 1
intvolume: ' 129'
issue: '2'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/0804.3318
month: '07'
oa: 1
publication: Journal of Chemical Physics
publication_status: published
publisher: American Institute of Physics
publist_id: '4878'
quality_controlled: 0
status: public
title: An analytic model of rotationally inelastic collisions of polar molecules in
electric fields
type: journal_article
volume: 129
year: '2008'
...
---
_id: '2331'
abstract:
- lang: eng
text: We present a review of recent work on the mathematical aspects of the BCS
gap equation, covering our results of Ref. 9 as well our recent joint work with
Hamza and Solovej and with Frank and Naboko, respectively. In addition, we mention
some related new results.
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. Spectral properties of the BCS gap equation of superfluidity.
In: World Scientific Publishing; 2008:117-136. doi:10.1142/9789812832382_0009'
apa: 'Hainzl, C., & Seiringer, R. (2008). Spectral properties of the BCS gap
equation of superfluidity (pp. 117–136). Presented at the QMath: Mathematical
Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1142/9789812832382_0009'
chicago: Hainzl, Christian, and Robert Seiringer. “ Spectral Properties of the BCS
Gap Equation of Superfluidity,” 117–36. World Scientific Publishing, 2008. https://doi.org/10.1142/9789812832382_0009.
ieee: 'C. Hainzl and R. Seiringer, “ Spectral properties of the BCS gap equation
of superfluidity,” presented at the QMath: Mathematical Results in Quantum Physics,
2008, pp. 117–136.'
ista: 'Hainzl C, Seiringer R. 2008. Spectral properties of the BCS gap equation
of superfluidity. QMath: Mathematical Results in Quantum Physics, 117–136.'
mla: Hainzl, Christian, and Robert Seiringer. Spectral Properties of the BCS
Gap Equation of Superfluidity. World Scientific Publishing, 2008, pp. 117–36,
doi:10.1142/9789812832382_0009.
short: C. Hainzl, R. Seiringer, in:, World Scientific Publishing, 2008, pp. 117–136.
conference:
name: 'QMath: Mathematical Results in Quantum Physics'
date_created: 2018-12-11T11:57:02Z
date_published: 2008-08-01T00:00:00Z
date_updated: 2021-01-12T06:56:50Z
day: '01'
doi: 10.1142/9789812832382_0009
extern: 1
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/0802.0446
month: '08'
oa: 1
page: 117 - 136
publication_status: published
publisher: World Scientific Publishing
publist_id: '4595'
quality_controlled: 0
status: public
title: ' Spectral properties of the BCS gap equation of superfluidity'
type: conference
year: '2008'
...
---
_id: '2332'
abstract:
- lang: eng
text: We present a rigorous proof of the appearance of quantized vortices in dilute
trapped Bose gases with repulsive two-body interactions subject to rotation, which
was obtained recently in joint work with Elliott Lieb.14 Starting from the many-body
Schrödinger equation, we show that the ground state of such gases is, in a suitable
limit, well described by the nonlinear Gross-Pitaevskii equation. In the case
of axially symmetric traps, our results show that the appearance of quantized
vortices causes spontaneous symmetry breaking in the ground state.
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. Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases.
In: World Scientific Publishing; 2008:241-254. doi:10.1142/9789812832382_0017'
apa: 'Seiringer, R. (2008). Vortices and Spontaneous Symmetry Breaking in Rotating
Bose Gases (pp. 241–254). Presented at the QMath: Mathematical Results in Quantum
Physics, World Scientific Publishing. https://doi.org/10.1142/9789812832382_0017'
chicago: Seiringer, Robert. “Vortices and Spontaneous Symmetry Breaking in Rotating
Bose Gases,” 241–54. World Scientific Publishing, 2008. https://doi.org/10.1142/9789812832382_0017.
ieee: 'R. Seiringer, “Vortices and Spontaneous Symmetry Breaking in Rotating Bose
Gases,” presented at the QMath: Mathematical Results in Quantum Physics, 2008,
pp. 241–254.'
ista: 'Seiringer R. 2008. Vortices and Spontaneous Symmetry Breaking in Rotating
Bose Gases. QMath: Mathematical Results in Quantum Physics, 241–254.'
mla: Seiringer, Robert. Vortices and Spontaneous Symmetry Breaking in Rotating
Bose Gases. World Scientific Publishing, 2008, pp. 241–54, doi:10.1142/9789812832382_0017.
short: R. Seiringer, in:, World Scientific Publishing, 2008, pp. 241–254.
conference:
name: 'QMath: Mathematical Results in Quantum Physics'
date_created: 2018-12-11T11:57:02Z
date_published: 2008-12-30T00:00:00Z
date_updated: 2021-01-12T06:56:50Z
day: '30'
doi: 10.1142/9789812832382_0017
extern: 1
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/0801.0427
month: '12'
oa: 1
page: 241 - 254
publication_status: published
publisher: World Scientific Publishing
publist_id: '4594'
quality_controlled: 0
status: public
title: Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases
type: conference
year: '2008'
...
---
_id: '2374'
abstract:
- lang: eng
text: A lower bound is derived on the free energy (per unit volume) of a homogeneous
Bose gas at density Q and temperature T. In the dilute regime, i.e., when a3 1,
where a denotes the scattering length of the pair-interaction potential, our bound
differs to leading order from the expression for non-interacting particles by
the term 4πa(2 2}-[ - c]2+). Here, c(T) denotes the critical density for Bose-Einstein
condensation (for the non-interacting gas), and [ · ]+ = max{ ·, 0} denotes the
positive part. Our bound is uniform in the temperature up to temperatures of the
order of the critical temperature, i.e., T ~ 2/3 or smaller. One of the key ingredients
in the proof is the use of coherent states to extend the method introduced in
[17] for estimating correlations to temperatures below the critical one.
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. Free energy of a dilute Bose gas: Lower bound. Communications
in Mathematical Physics. 2008;279(3):595-636. doi:10.1007/s00220-008-0428-2'
apa: 'Seiringer, R. (2008). Free energy of a dilute Bose gas: Lower bound. Communications
in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-008-0428-2'
chicago: 'Seiringer, Robert. “Free Energy of a Dilute Bose Gas: Lower Bound.” Communications
in Mathematical Physics. Springer, 2008. https://doi.org/10.1007/s00220-008-0428-2.'
ieee: 'R. Seiringer, “Free energy of a dilute Bose gas: Lower bound,” Communications
in Mathematical Physics, vol. 279, no. 3. Springer, pp. 595–636, 2008.'
ista: 'Seiringer R. 2008. Free energy of a dilute Bose gas: Lower bound. Communications
in Mathematical Physics. 279(3), 595–636.'
mla: 'Seiringer, Robert. “Free Energy of a Dilute Bose Gas: Lower Bound.” Communications
in Mathematical Physics, vol. 279, no. 3, Springer, 2008, pp. 595–636, doi:10.1007/s00220-008-0428-2.'
short: R. Seiringer, Communications in Mathematical Physics 279 (2008) 595–636.
date_created: 2018-12-11T11:57:17Z
date_published: 2008-05-01T00:00:00Z
date_updated: 2021-01-12T06:57:06Z
day: '01'
doi: 10.1007/s00220-008-0428-2
extern: 1
intvolume: ' 279'
issue: '3'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/math-ph/0608069
month: '05'
oa: 1
page: 595 - 636
publication: Communications in Mathematical Physics
publication_status: published
publisher: Springer
publist_id: '4551'
quality_controlled: 0
status: public
title: 'Free energy of a dilute Bose gas: Lower bound'
type: journal_article
volume: 279
year: '2008'
...
---
_id: '2376'
abstract:
- lang: eng
text: We derive upper and lower bounds on the critical temperature Tc and the energy
gap Ξ (at zero temperature) for the BCS gap equation, describing spin- 1 2 fermions
interacting via a local two-body interaction potential λV(x). At weak coupling
λ 1 and under appropriate assumptions on V(x), our bounds show that Tc ∼A exp(-B/λ)
and Ξ∼C exp(-B/λ) for some explicit coefficients A, B, and C depending on the
interaction V(x) and the chemical potential μ. The ratio A/C turns out to be a
universal constant, independent of both V(x) and μ. Our analysis is valid for
any μ; for small μ, or low density, our formulas reduce to well-known expressions
involving the scattering length of V(x).
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. Critical temperature and energy gap for the BCS equation.
Physical Review B - Condensed Matter and Materials Physics. 2008;77(18).
doi:10.1103/PhysRevB.77.184517
apa: Hainzl, C., & Seiringer, R. (2008). Critical temperature and energy gap
for the BCS equation. Physical Review B - Condensed Matter and Materials Physics.
American Physical Society. https://doi.org/10.1103/PhysRevB.77.184517
chicago: Hainzl, Christian, and Robert Seiringer. “Critical Temperature and Energy
Gap for the BCS Equation.” Physical Review B - Condensed Matter and Materials
Physics. American Physical Society, 2008. https://doi.org/10.1103/PhysRevB.77.184517.
ieee: C. Hainzl and R. Seiringer, “Critical temperature and energy gap for the BCS
equation,” Physical Review B - Condensed Matter and Materials Physics,
vol. 77, no. 18. American Physical Society, 2008.
ista: Hainzl C, Seiringer R. 2008. Critical temperature and energy gap for the BCS
equation. Physical Review B - Condensed Matter and Materials Physics. 77(18).
mla: Hainzl, Christian, and Robert Seiringer. “Critical Temperature and Energy Gap
for the BCS Equation.” Physical Review B - Condensed Matter and Materials Physics,
vol. 77, no. 18, American Physical Society, 2008, doi:10.1103/PhysRevB.77.184517.
short: C. Hainzl, R. Seiringer, Physical Review B - Condensed Matter and Materials
Physics 77 (2008).
date_created: 2018-12-11T11:57:18Z
date_published: 2008-05-28T00:00:00Z
date_updated: 2021-01-12T06:57:06Z
day: '28'
doi: 10.1103/PhysRevB.77.184517
extern: 1
intvolume: ' 77'
issue: '18'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/0801.4159
month: '05'
oa: 1
publication: Physical Review B - Condensed Matter and Materials Physics
publication_status: published
publisher: American Physical Society
publist_id: '4550'
quality_controlled: 0
status: public
title: Critical temperature and energy gap for the BCS equation
type: journal_article
volume: 77
year: '2008'
...
---
_id: '2377'
abstract:
- lang: eng
text: We prove that the critical temperature for the BCS gap equation is given by
T c = μ ( 8\π e γ-2+ o(1)) e π/(2μa) in the low density limit μ→ 0, with γ denoting
Euler's constant. The formula holds for a suitable class of interaction potentials
with negative scattering length a in the absence of bound states.
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. The BCS critical temperature for potentials with negative
scattering length. Letters in Mathematical Physics. 2008;84(2-3):99-107.
doi:10.1007/s11005-008-0242-y
apa: Hainzl, C., & Seiringer, R. (2008). The BCS critical temperature for potentials
with negative scattering length. Letters in Mathematical Physics. Springer.
https://doi.org/10.1007/s11005-008-0242-y
chicago: Hainzl, Christian, and Robert Seiringer. “The BCS Critical Temperature
for Potentials with Negative Scattering Length.” Letters in Mathematical Physics.
Springer, 2008. https://doi.org/10.1007/s11005-008-0242-y.
ieee: C. Hainzl and R. Seiringer, “The BCS critical temperature for potentials with
negative scattering length,” Letters in Mathematical Physics, vol. 84,
no. 2–3. Springer, pp. 99–107, 2008.
ista: Hainzl C, Seiringer R. 2008. The BCS critical temperature for potentials with
negative scattering length. Letters in Mathematical Physics. 84(2–3), 99–107.
mla: Hainzl, Christian, and Robert Seiringer. “The BCS Critical Temperature for
Potentials with Negative Scattering Length.” Letters in Mathematical Physics,
vol. 84, no. 2–3, Springer, 2008, pp. 99–107, doi:10.1007/s11005-008-0242-y.
short: C. Hainzl, R. Seiringer, Letters in Mathematical Physics 84 (2008) 99–107.
date_created: 2018-12-11T11:57:19Z
date_published: 2008-06-01T00:00:00Z
date_updated: 2021-01-12T06:57:07Z
day: '01'
doi: 10.1007/s11005-008-0242-y
extern: 1
intvolume: ' 84'
issue: 2-3
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/0803.3324
month: '06'
oa: 1
page: 99 - 107
publication: Letters in Mathematical Physics
publication_status: published
publisher: Springer
publist_id: '4548'
quality_controlled: 0
status: public
title: The BCS critical temperature for potentials with negative scattering length
type: journal_article
volume: 84
year: '2008'
...
---
_id: '2378'
abstract:
- lang: eng
text: We derive a lower bound on the ground state energy of the Hubbard model for
given value of the total spin. In combination with the upper bound derived previously
by Giuliani (J. Math. Phys. 48:023302, [2007]), our result proves that in the
low density limit the leading order correction compared to the ground state energy
of a non-interacting lattice Fermi gas is given by 8πaσ uσ d , where σ u(d) denotes
the density of the spin-up (down) particles, and a is the scattering length of
the contact interaction potential. This result extends previous work on the corresponding
continuum model to the lattice case.
author:
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
- first_name: Jun
full_name: Yin, Jun
last_name: Yin
citation:
ama: Seiringer R, Yin J. Ground state energy of the low density hubbard model. Journal
of Statistical Physics. 2008;131(6):1139-1154. doi:10.1007/s10955-008-9527-x
apa: Seiringer, R., & Yin, J. (2008). Ground state energy of the low density
hubbard model. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-008-9527-x
chicago: Seiringer, Robert, and Jun Yin. “Ground State Energy of the Low Density
Hubbard Model.” Journal of Statistical Physics. Springer, 2008. https://doi.org/10.1007/s10955-008-9527-x.
ieee: R. Seiringer and J. Yin, “Ground state energy of the low density hubbard model,”
Journal of Statistical Physics, vol. 131, no. 6. Springer, pp. 1139–1154,
2008.
ista: Seiringer R, Yin J. 2008. Ground state energy of the low density hubbard model.
Journal of Statistical Physics. 131(6), 1139–1154.
mla: Seiringer, Robert, and Jun Yin. “Ground State Energy of the Low Density Hubbard
Model.” Journal of Statistical Physics, vol. 131, no. 6, Springer, 2008,
pp. 1139–54, doi:10.1007/s10955-008-9527-x.
short: R. Seiringer, J. Yin, Journal of Statistical Physics 131 (2008) 1139–1154.
date_created: 2018-12-11T11:57:19Z
date_published: 2008-06-01T00:00:00Z
date_updated: 2021-01-12T06:57:07Z
day: '01'
doi: 10.1007/s10955-008-9527-x
extern: 1
intvolume: ' 131'
issue: '6'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/0712.2810
month: '06'
oa: 1
page: 1139 - 1154
publication: Journal of Statistical Physics
publication_status: published
publisher: Springer
publist_id: '4549'
quality_controlled: 0
status: public
title: Ground state energy of the low density hubbard model
type: journal_article
volume: 131
year: '2008'
...
---
_id: '2379'
author:
- first_name: Rupert
full_name: Frank, Rupert L
last_name: Frank
- 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: Frank R, Lieb É, Seiringer R. Hardy-Lieb-Thirring inequalities for fractional
Schrödinger operators. Journal of the American Mathematical Society. 2008;21(4):925-950.
doi:10.1090/S0894-0347-07-00582-6
apa: Frank, R., Lieb, É., & Seiringer, R. (2008). Hardy-Lieb-Thirring inequalities
for fractional Schrödinger operators. Journal of the American Mathematical
Society. American Mathematical Society. https://doi.org/10.1090/S0894-0347-07-00582-6
chicago: Frank, Rupert, Élliott Lieb, and Robert Seiringer. “Hardy-Lieb-Thirring
Inequalities for Fractional Schrödinger Operators.” Journal of the American
Mathematical Society. American Mathematical Society, 2008. https://doi.org/10.1090/S0894-0347-07-00582-6.
ieee: R. Frank, É. Lieb, and R. Seiringer, “Hardy-Lieb-Thirring inequalities for
fractional Schrödinger operators,” Journal of the American Mathematical Society,
vol. 21, no. 4. American Mathematical Society, pp. 925–950, 2008.
ista: Frank R, Lieb É, Seiringer R. 2008. Hardy-Lieb-Thirring inequalities for fractional
Schrödinger operators. Journal of the American Mathematical Society. 21(4), 925–950.
mla: Frank, Rupert, et al. “Hardy-Lieb-Thirring Inequalities for Fractional Schrödinger
Operators.” Journal of the American Mathematical Society, vol. 21, no.
4, American Mathematical Society, 2008, pp. 925–50, doi:10.1090/S0894-0347-07-00582-6.
short: R. Frank, É. Lieb, R. Seiringer, Journal of the American Mathematical Society
21 (2008) 925–950.
date_created: 2018-12-11T11:57:19Z
date_published: 2008-01-01T00:00:00Z
date_updated: 2021-01-12T06:57:07Z
day: '01'
doi: 10.1090/S0894-0347-07-00582-6
extern: 1
intvolume: ' 21'
issue: '4'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/math/0610593
month: '01'
oa: 1
page: 925 - 950
publication: Journal of the American Mathematical Society
publication_status: published
publisher: American Mathematical Society
publist_id: '4546'
quality_controlled: 0
status: public
title: Hardy-Lieb-Thirring inequalities for fractional Schrödinger operators
type: journal_article
volume: 21
year: '2008'
...
---
_id: '2380'
abstract:
- lang: eng
text: The Bardeen-Cooper-Schrieffer (BCS) functional has recently received renewed
attention as a description of fermionic gases interacting with local pairwise
interactions. We present here a rigorous analysis of the BCS functional for general
pair interaction potentials. For both zero and positive temperature, we show that
the existence of a non-trivial solution of the nonlinear BCS gap equation is equivalent
to the existence of a negative eigenvalue of a certain linear operator. From this
we conclude the existence of a critical temperature below which the BCS pairing
wave function does not vanish identically. For attractive potentials, we prove
that the critical temperature is non-zero and exponentially small in the strength
of the potential.
author:
- first_name: Christian
full_name: Hainzl, Christian
last_name: Hainzl
- first_name: Eman
full_name: Hamza, Eman
last_name: Hamza
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
- first_name: Jan
full_name: Solovej, Jan P
last_name: Solovej
citation:
ama: Hainzl C, Hamza E, Seiringer R, Solovej J. The BCS functional for general pair
interactions. Communications in Mathematical Physics. 2008;281(2):349-367.
doi:10.1007/s00220-008-0489-2
apa: Hainzl, C., Hamza, E., Seiringer, R., & Solovej, J. (2008). The BCS functional
for general pair interactions. Communications in Mathematical Physics.
Springer. https://doi.org/10.1007/s00220-008-0489-2
chicago: Hainzl, Christian, Eman Hamza, Robert Seiringer, and Jan Solovej. “The
BCS Functional for General Pair Interactions.” Communications in Mathematical
Physics. Springer, 2008. https://doi.org/10.1007/s00220-008-0489-2.
ieee: C. Hainzl, E. Hamza, R. Seiringer, and J. Solovej, “The BCS functional for
general pair interactions,” Communications in Mathematical Physics, vol.
281, no. 2. Springer, pp. 349–367, 2008.
ista: Hainzl C, Hamza E, Seiringer R, Solovej J. 2008. The BCS functional for general
pair interactions. Communications in Mathematical Physics. 281(2), 349–367.
mla: Hainzl, Christian, et al. “The BCS Functional for General Pair Interactions.”
Communications in Mathematical Physics, vol. 281, no. 2, Springer, 2008,
pp. 349–67, doi:10.1007/s00220-008-0489-2.
short: C. Hainzl, E. Hamza, R. Seiringer, J. Solovej, Communications in Mathematical
Physics 281 (2008) 349–367.
date_created: 2018-12-11T11:57:20Z
date_published: 2008-07-01T00:00:00Z
date_updated: 2021-01-12T06:57:08Z
day: '01'
doi: 10.1007/s00220-008-0489-2
extern: 1
intvolume: ' 281'
issue: '2'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/math-ph/0703086
month: '07'
oa: 1
page: 349 - 367
publication: Communications in Mathematical Physics
publication_status: published
publisher: Springer
publist_id: '4547'
quality_controlled: 0
status: public
title: The BCS functional for general pair interactions
type: journal_article
volume: 281
year: '2008'
...
---
_id: '2381'
abstract:
- lang: eng
text: We determine the sharp constant in the Hardy inequality for fractional Sobolev
spaces. To do so, we develop a non-linear and non-local version of the ground
state representation, which even yields a remainder term. From the sharp Hardy
inequality we deduce the sharp constant in a Sobolev embedding which is optimal
in the Lorentz scale. In the appendix, we characterize the cases of equality in
the rearrangement inequality in fractional Sobolev spaces.
author:
- first_name: Rupert
full_name: Frank, Rupert L
last_name: Frank
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: Frank R, Seiringer R. Non-linear ground state representations and sharp Hardy
inequalities. Journal of Functional Analysis. 2008;255(12):3407-3430. doi:10.1016/j.jfa.2008.05.015
apa: Frank, R., & Seiringer, R. (2008). Non-linear ground state representations
and sharp Hardy inequalities. Journal of Functional Analysis. Academic
Press. https://doi.org/10.1016/j.jfa.2008.05.015
chicago: Frank, Rupert, and Robert Seiringer. “Non-Linear Ground State Representations
and Sharp Hardy Inequalities.” Journal of Functional Analysis. Academic
Press, 2008. https://doi.org/10.1016/j.jfa.2008.05.015.
ieee: R. Frank and R. Seiringer, “Non-linear ground state representations and sharp
Hardy inequalities,” Journal of Functional Analysis, vol. 255, no. 12.
Academic Press, pp. 3407–3430, 2008.
ista: Frank R, Seiringer R. 2008. Non-linear ground state representations and sharp
Hardy inequalities. Journal of Functional Analysis. 255(12), 3407–3430.
mla: Frank, Rupert, and Robert Seiringer. “Non-Linear Ground State Representations
and Sharp Hardy Inequalities.” Journal of Functional Analysis, vol. 255,
no. 12, Academic Press, 2008, pp. 3407–30, doi:10.1016/j.jfa.2008.05.015.
short: R. Frank, R. Seiringer, Journal of Functional Analysis 255 (2008) 3407–3430.
date_created: 2018-12-11T11:57:20Z
date_published: 2008-12-15T00:00:00Z
date_updated: 2021-01-12T06:57:08Z
day: '15'
doi: 10.1016/j.jfa.2008.05.015
extern: 1
intvolume: ' 255'
issue: '12'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/0803.0503
month: '12'
oa: 1
page: 3407 - 3430
publication: Journal of Functional Analysis
publication_status: published
publisher: Academic Press
publist_id: '4543'
quality_controlled: 0
status: public
title: Non-linear ground state representations and sharp Hardy inequalities
type: journal_article
volume: 255
year: '2008'
...
---
_id: '2382'
abstract:
- lang: eng
text: We show that the Lieb-Liniger model for one-dimensional bosons with repulsive
δ-function interaction can be rigorously derived via a scaling limit from a dilute
three-dimensional Bose gas with arbitrary repulsive interaction potential of finite
scattering length. For this purpose, we prove bounds on both the eigenvalues and
corresponding eigenfunctions of three-dimensional bosons in strongly elongated
traps and relate them to the corresponding quantities in the Lieb-Liniger model.
In particular, if both the scattering length a and the radius r of the cylindrical
trap go to zero, the Lieb-Liniger model with coupling constant g ∼ a/r 2 is derived.
Our bounds are uniform in g in the whole parameter range 0 ≤ g ≤ ∞, and apply
to the Hamiltonian for three-dimensional bosons in a spectral window of size ∼
r -2 above the ground state energy.
author:
- first_name: Robert
full_name: Robert Seiringer
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
- first_name: Jun
full_name: Yin, Jun
last_name: Yin
citation:
ama: Seiringer R, Yin J. The Lieb-Liniger model as a limit of dilute bosons in three
dimensions. Communications in Mathematical Physics. 2008;284(2):459-479.
doi:10.1007/s00220-008-0521-6
apa: Seiringer, R., & Yin, J. (2008). The Lieb-Liniger model as a limit of dilute
bosons in three dimensions. Communications in Mathematical Physics. Springer.
https://doi.org/10.1007/s00220-008-0521-6
chicago: Seiringer, Robert, and Jun Yin. “The Lieb-Liniger Model as a Limit of Dilute
Bosons in Three Dimensions.” Communications in Mathematical Physics. Springer,
2008. https://doi.org/10.1007/s00220-008-0521-6.
ieee: R. Seiringer and J. Yin, “The Lieb-Liniger model as a limit of dilute bosons
in three dimensions,” Communications in Mathematical Physics, vol. 284,
no. 2. Springer, pp. 459–479, 2008.
ista: Seiringer R, Yin J. 2008. The Lieb-Liniger model as a limit of dilute bosons
in three dimensions. Communications in Mathematical Physics. 284(2), 459–479.
mla: Seiringer, Robert, and Jun Yin. “The Lieb-Liniger Model as a Limit of Dilute
Bosons in Three Dimensions.” Communications in Mathematical Physics, vol.
284, no. 2, Springer, 2008, pp. 459–79, doi:10.1007/s00220-008-0521-6.
short: R. Seiringer, J. Yin, Communications in Mathematical Physics 284 (2008) 459–479.
date_created: 2018-12-11T11:57:21Z
date_published: 2008-12-01T00:00:00Z
date_updated: 2021-01-12T06:57:08Z
day: '01'
doi: 10.1007/s00220-008-0521-6
extern: 1
intvolume: ' 284'
issue: '2'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/0709.4022
month: '12'
oa: 1
page: 459 - 479
publication: Communications in Mathematical Physics
publication_status: published
publisher: Springer
publist_id: '4544'
quality_controlled: 0
status: public
title: The Lieb-Liniger model as a limit of dilute bosons in three dimensions
type: journal_article
volume: 284
year: '2008'
...