Rui Soares Barbosa

Rui

Soares

Barbosa

Publications

@misc{ChoudharyBarbosa2024pauli,
  title = {Contextuality with Pauli observables in cycle scenarios},
  year  = {2025},
  author = {Choudhary, Raman and Barbosa, Rui Soares},
  howpublished= {arXiv:2502.03451 [quant-ph]},
  eprint = {arXiv:2502.03451 [quant-ph]},
  arxivlink = {2502.03451},
  }
@misc{ChoudharyBarbosa2024exclusivity,
  title = {Exclusivity principle, Ramsey theory, and n-cycle PR boxes},
  year  = {2024},
  author = {Choudhary, Raman and Barbosa, Rui Soares},
  howpublished= {arXiv:2411.09773 [quant-ph]},
  eprint = {arXiv:2411.09773 [quant-ph]},
  arxivlink = {2411.09773},
  }
@misc{BampounisBarbosaDeSilva2024matchgatehierarchy,
  title = {Matchgate hierarchy: A Clifford-like hierarchy for deterministic gate teleportation in matchgate circuits},
  year  = {2024},
  author = {Bampounis, Angelos and Barbosa, Rui Soares and de Silva, Nadish},
  howpublished= {arXiv:2410.01887 [quant-ph]},
  eprint = {arXiv:2410.01887 [quant-ph]},
  arxivlink = {2410.01887},
  }
@misc{WallaghemBarbosaPuseyWeigert2024refinedFR,
  title = {A refined Frauchiger–Renner paradox based on strong contextuality},
  year  = {2024},
  author = {Walleghem, Laurens and Barbosa, Rui Soares and Pusey, Matthew F. and Weigert, Stefan},
  howpublished= {arXiv:2409.05491 [quant-ph]},
  eprint = {arXiv:2409.05491 [quant-ph]},
  arxivlink = {2409.05491},
  }
@article{ChoudharyBarbosaCabello2024lifting,
  title = {Lifting noncontextuality inequalities},
  author = {Choudhary, Raman and Barbosa, Rui Soares and Cabello, Ad{\'an}},
  year  = {2024},
  journal = {Physical Review A},
  volume = {109},
  pages = {052216},
  eprint = {arXiv:2401.12349 [quant-ph]},  
  doi = {10.1103/PhysRevA.109.052216},
  url = {https://link.aps.org/doi/10.1103/PhysRevA.109.052216}
  }

@article{WagnerBarbosaGalvao2024inequalities,
  title= {Inequalities witnessing coherence, nonlocality, and contextuality},
  author = {Wagner, Rafael and Barbosa, Rui Soares and Galv{\~a}o, Ernesto F.},
  year = {2024},
  journal = {Physical Review A},
  volume = {109},
  pages = {032220},
  eprint = {arXiv:2209.02670 [quant-ph]},  
  doi = {10.1103/PhysRevA.109.032220},
  url = {https://link.aps.org/doi/10.1103/PhysRevA.109.032220}
  }

@article{AbramskyBarbosaSearle2024combining,
  author = {Abramsky, Samson and Barbosa, Rui Soares and Searle, Amy},
  year  = {2024},
  title = {Combining contextuality and causality: a game semantics approach},
  journal = {Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences},
  volume = {382},
  number = {2268},
  pages = {20230002},
  note = {Theme issue on `Quantum contextuality, causality and freedom of choice'},
  eprint = {arXiv:2307.04786 [quant-ph]},
  arxivlink = {2307.04786},
  url = {https://doi.org/10.1098/rsta.2023.0002},
        doi = {10.1098/rsta.2023.0002},
  }

@article{WagnerEtAl2024quantumcircuits,
  title = {Quantum circuits measuring weak values, Kirkwood{--}Dirac quasiprobability distributions, and state spectra},
  author = {Wagner, Rafael and Schwartzman-Nowik, Zohar and Paiva, Ismael L. and Te'eni, Amit and Ruiz-Molero, Antonio and Barbosa, Rui Soares and Cohen, Eliahu and Galv{\~a}o, Ernesto F.},
  journal = {Quantum Science and Technology},
  volume = {9},
  pages = {015030},
  year  = {2024},
  doi = {10.1088/2058-9565/ad124c},
  eprint = {arXiv:2302.00705 [quant-ph]},
  }

@incollection{BarbosaKarvonenMansfield2021closing,
  title = {Closing Bell: Boxing black box simulations in the resource theory of contextuality},
  year  = {2023},
  author = {Barbosa, Rui Soares and Karvonen, Martti and Mansfield, Shane},
  booktitle = {{S}amson {A}bramsky on Logic and Structure in Computer Science and Beyond},
  series = {Outstanding Contributions to Logic},
  volume = {25},
  editor = {Palmigiano, Alessandra and Sadrzadeh, Mehrnoosh},
  isbn = {978-3-031-24116-1},
  pages = {475--529},
  publisher = {Springer},
  eprint = {arXiv:2104.11241 [quant-ph]},
  doi = {10.1007/978-3-031-24117-8_13},
  }

@misc{BarbosaKharoofOkay2023bundle,
  title = {A bundle perspective on contextuality: Empirical models and simplicial distributions on bundle scenarios},
  year  = {2023},
  author = {Barbosa, Rui Soares and Kharoof, Aziz and Okay, Cihan},
  howpublished= {arXiv:2308.06336 [math.CT]},
  eprint = {arXiv:2308.06336 [math.CT]},
  arxivlink = {2308.06336},
  }

@article{BarbosaHeunen2023sheafrepresentation,
  title = {Sheaf representation of monoidal categories},
  author = {Barbosa, Rui Soares and Heunen, Chris},
  journal = {Advances in Mathematics},
  volume = {416},
  pages = {108900},
  year  = {2023},
  doi = {10.1016/j.aim.2023.108900},
  eprint = {arXiv:2106.08896 [math.CT]},
  }

@article{NeriBarbosaOliveira:Quantamorphisms,
  title = {Compiling quantamorphisms for the IBM Q Experience},
  author = {Neri, Ana and Barbosa, Rui Soares and Oliveira, Jos{\'e} N.},
  journal = {IEEE Transactions on Software Engineering},
  volume = {48},
  number = {11},
  year = {2022},
  pages = {4339--4356},
  doi = {10.1109/TSE.2021.3117515},
  eprint = {arXiv:2010.10510 [quant-ph]}
}

@article{BarbosaEtAl:ContinuousVariable,
   title = {Continuous-variable nonlocality and contextuality},
   author = {Barbosa, Rui Soares and Douce, Tom and Emeriau, Pierre-Emmanuel and Kashefi, Elham and Mansfield, Shane},
   journal = {Communications in Mathematical Physics},
   volume = {391},
   number = {3},
   year = {2022},
   pages = {1047--1089},
   doi = {10.1007/s00220-021-04285-7},
   eprint = {arXiv:1905.08267 [quant-ph]},
   note = {Accepted for communication at QPL 2019.}
}

@inproceedings{AbramskyBarbosa:LogicContextuality,
  title  = {The logic of contextuality},
  author = {Abramsky, Samson and Barbosa, Rui Soares},
  year   = {2021},
  booktitle = {Proceedings of 29th EACSL Annual Conference on Computer Science Logic (CSL 2021)},
  editor    = {Baier, Christel and Goubault-Larrecq, Jean},
  series    = {Leibniz International Proceedings in Informatics (LIPIcs)},  
  volume    = {183},
  pages     = {5:1--5:18},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum  f\"{u}r Informatik},
  URL =	{},
  doi = {},
  eprint = {arXiv:2011.03064 [quant-ph]},
  note = {Accepted for communication at QPL 2020.}
}

@inproceedings{AbramskyEtAl:Comonadic,
  title = {A comonadic view of simulations and quantum resources},
  author = {Abramsky, Samson and Barbosa, Rui Soares and Karvonen, Martti and Mansfield, Shane},
  booktitle = {Proceedings of 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019)},
  pages = {1--12},
  publisher = {IEEE},
  doi={10.1109/LICS.2019.8785677}, 
  year = {2019},
  eprint = {arXiv:1904.10035 [quant-ph]},
  note = {Accepted for communication at SYCO 3, QPL 2019, ACT 2019, and related submission at CALCO 2019.}
}

@article{deSilvaBarbosa:ContextualityNoncommutativeGeometry,
  title = {Contextuality and noncommutative geometry in quantum mechanics},
  author = {de Silva, Nadish and Barbosa, Rui Soares},
  journal={Communications in Mathematical Physics},
  volume = {365},
  number = {2},
  year = {2019},
  pages= {375--429},
  doi={10.1007/s00220-018-3222-9},
  eprint = {arXiv:1806.02840 [math.OA]},
  note = {Earlier partial version (`Partial and total ideals of von Neumann algebras') available as arXiv:1408.1172 [math.OA]},
}

@inproceedings{AbrasmkyEtAl:MinimumResourcesSNL,
  title = {Minimum quantum resources for strong non-locality},
  author = {Abramsky, Samson and Barbosa, Rui Soares and Car{\`u}, Giovanni and de Silva, Nadish and Kishida, Kohei and Mansfield, Shane},
  booktitle =	{Proceedings of 12th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2017)},
  pages =	{9:1--9:20},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  year =	{2018},
  volume =	{73},
  editor =	{Wilde, Mark M.},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"{u}}r Informatik},
  eprint = {arXiv:1705.09312 [quant-ph]},
  url =		{http://drops.dagstuhl.de/opus/volltexte/2018/8582},
  doi =		{10.4230/LIPIcs.TQC.2017.9},
  note = {Accepted for communication at QPL 2017.}
 }

@inproceedings{AbramskyEtAl:QuantumMonad,
  title = {The quantum monad on relational structures},
  author = {Abramsky, Samson and Barbosa, Rui Soares and de Silva, Nadish and Zapata, Octavio},
  year =	{2017},
  booktitle = {Proceedings of 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)},
  editor = {Larsen, Kim G. and Bodlaender, Hans L. and Raskin, Jean-Fran{\c{c}}ois},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},  
  volume =	{83},
  pages =	{35:1--35:19},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum  f\"{u}r Informatik},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/8129},
  doi =		{10.4230/LIPIcs.MFCS.2017.35},
  eprint = {arXiv:1705.07310 [cs.LO]},
}

@article{AbramskyEtAl:CompleteCharacterizationAvN,
  title = {A complete characterization of {A}ll-versus-{N}othing arguments for stabilizer states},
  author = {Abramsky, Samson and Barbosa, Rui Soares and Car{\`u}, Giovanni and Perdrix, Simon},
  journal = {Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences},
 volume = {375},
 number = {2106},
 pages = {20160385},
 	year = {2017},
  note = {Theme issue on `Second quantum revolution: foundational questions'},
  eprint = {arXiv:1705.08459 [quant-ph]},
  url = {http://rsta.royalsocietypublishing.org/content/375/2106/201603853},
	doi = {10.1098/rsta.2016.0385},
}

@article{AbramskyBarbosaMansfield:ContextualFraction,
  title= {Contextual fraction as a measure of contextuality},
  author = {Abramsky, Samson and Barbosa, Rui Soares and Mansfield, Shane},
  year = {2017},
  journal = {Physical Review Letters},
  volume = {119},
  pages = {050504},
  note = {Earlier version (``Quantifying contextuality via linear programming'') accepted for communication at QPL 2016.},
  eprint = {arXiv:1705.07918 [quant-ph]},
  doi = {10.1103/PhysRevLett.119.050504},
  url = {https://link.aps.org/doi/10.1103/PhysRevLett.119.050504}
  }

@article{AbramskyEtAl:PossibilitiesDetermine,
  title = {Possibilities determine the combinatorial structure of probability polytopes},
  author = {Abramsky, Samson and Barbosa, Rui Soares and Kishida, Kohei and Lal, Raymond and Mansfield, Shane},
  year = {2016},
  journal = {Journal of Mathematical Psychology},
  volume = {74},
  pages = {58--65},
  note = {special issue on `Foundations of Probability Theory in Psychology and Beyond'},
  eprint = {arXiv:1603.07735 [quant-ph]},
  url = {http://www.sciencedirect.com/science/article/pii/S0022249616300013},
  doi = {10.1016/j.jmp.2016.03.006}
}

@inproceedings{AbramskyEtAl:ContextualityCohomologyAndParadox,
  title = {Contextuality, cohomology and paradox},
  author = {Abramsky, Samson and Barbosa, Rui Soares and Kishida, Kohei and Lal, Raymond and Mansfield, Shane},
  year = {2015},
  booktitle = {Proceedings of 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)},
  editor = {Kreutzer, Stephan},
  pages = {211--228},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  volume = {41},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"{u}}r Informatik},
  eprint = {arXiv:1502.03097 [quant-ph]},
  url = {http://drops.dagstuhl.de/opus/volltexte/2015/5416},
  doi = {10.4230/LIPIcs.CSL.2015.211},
}
@dphilthesis{Barbosa2015:dphil,
  title = {Contextuality in quantum mechanics and beyond},
  author = {Barbosa, Rui Soares},
  school       = {University of Oxford},
  year         = {2015},
}
@inproceedings{monogamymacrosmall,
  title = {On monogamy of non-locality and macroscopic averages: examples and preliminary results},
  author = {Barbosa, Rui Soares},
  year = {2014},
  booktitle = {Proceedings of 11th Workshop on Quantum Physics and Logic (QPL 2014)},
  editor = {Coecke, Bob and Hasuo, Ichiro and Panangaden, Prakash},
  pages = {36--55},
  series = {Electronic Proceedings in Theoretical Computer Science},
  volume = {172},
  eprint = {arXiv:1412.8541 [quant-ph]},
  doi = {10.4204/EPTCS.172.4},
  url = {http://arxiv.org/abs/1412.8541}
}
@misc{MansfieldBarbosa:QPL2013,
  title = {Extendability in the sheaf-theoretic approach: Construction of {B}ell models from {K}ochen-{S}pecker models},
  author = {Mansfield, Shane and Barbosa, Rui Soares},
  year = {2013},
  howpublished = "Informal pre-proceedings of 10th Wokshop on Quantum Physics and Logic (QPL 2013)",
  eprint = {arXiv:1402.4827 [quant-ph]},
  url = {http://arxiv.org/abs/1402.4827},
}

@inproceedings{AbramskyMansfieldBarbosa:Cohomology-QPL,
  title = {The cohomology of non-locality and contextuality},
  author = {Abramsky, Samson and Mansfield, Shane and Barbosa, Rui Soares},
  year = {2012},
  booktitle = {Proceedings of 8th International Workshop on Quantum Physics and Logic (QPL 2011)},
  editor = {Jacobs, Bart and Selinger, Peter and Spitters, Bas},
  series = {Electronic Proceedings in Theoretical Computer Science},
  pages = {1--14},
  volume = {95},
  eprint = {arXiv:1111.3620 [quant-ph]},
  url = {http://arXiv.org/abs/1111.3620},
  doi = {10.4204/EPTCS.95.1},
}
@incollection{unsharpvalues,
  title = {Unsharp values, domains and topoi},
  author = {D{\"o}ring, Andreas and Barbosa, Rui Soares},
  year = {2012},
  booktitle = {Quantum Field Theory and Gravity},
  editor = {Finster, Felix and M{\"u}ller, Olaf and Nardmann, Marc and Tolksdorf, J{\"u}rgen and Zeidler, Eberhard},
  isbn = {978-3-0348-0042-6},
  pages = {65--96},
  publisher = {Springer Basel},
  eprint = {arXiv:1107.1083 [quant-ph]},
  url = {http://link.springer.com/chapter/10.1007%2F978-3-0348-0043-3_5},
  doi = {10.1007/978-3-0348-0043-3_5}
}
@mastersthesis{Barbosa2010:msc,
  title = {Interval domain(s) and physics},
  author = {Barbosa, Rui Soares},
  school       = {University of Oxford},
  year         = {2010},
}

2025 PREPRINT

Contextuality with Pauli observables in cycle scenarios

R. Choudhary, R. S. Barbosa

arXiv:2502.03451 [quant-ph]

2024 PREPRINT

Exclusivity principle, Ramsey theory, and n-cycle PR boxes

R. Choudhary, R. S. Barbosa

arXiv:2411.09773 [quant-ph]

2024 PREPRINT

Matchgate hierarchy: A Clifford-like hierarchy for deterministic gate teleportation in matchgate circuits

A. Bampounis, R. S. Barbosa, N. de Silva

arXiv:2410.01887 [quant-ph]

2024 PREPRINT

A refined Frauchiger–Renner paradox based on strong contextuality

L. Walleghem, R. S. Barbosa, M. F. Pusey, S. Weigert

arXiv:2409.05491 [quant-ph]

2024 JOURNAL

Lifting noncontextuality inequalities

R. Choudhary, R. S. Barbosa, A. Cabello

Physical Review A 109: 052216

2024 JOURNAL

Inequalities witnessing coherence, nonlocality, and contextuality

R. Wagner, R. S. Barbosa, E. F. Galvão

Physical Review A 109: 032220

2024 JOURNAL

Combining contextuality and causality: a game semantics approach

S. Abramsky, R. S. Barbosa, A. Searle

Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences 382(2268): 20230002

Theme issue on `Quantum contextuality, causality and freedom of choice'

2024 JOURNAL

Quantum circuits measuring weak values, Kirkwood--Dirac quasiprobability distributions, and state spectra

R. Wagner, Z. Schwartzman-Nowik, I. L. Paiva, A. Te'eni, A. Ruiz-Molero, R. S. Barbosa, E. Cohen, E. F. Galvão

Quantum Science and Technology 9: 015030

2023 BOOK CHAPTER

Closing Bell: Boxing black box simulations in the resource theory of contextuality

R. S. Barbosa, M. Karvonen, S. Mansfield

In: Samson Abramsky on Logic and Structure in Computer Science and Beyond
Outstanding Contributions to Logic 25 : 475-529

2023 PREPRINT

A bundle perspective on contextuality: Empirical models and simplicial distributions on bundle scenarios

R. S. Barbosa, A. Kharoof, C. Okay

arXiv:2308.06336 [math.CT]

2023 JOURNAL

Sheaf representation of monoidal categories

R. S. Barbosa, C. Heunen

Advances in Mathematics 416: 108900

2022 JOURNAL

Compiling quantamorphisms for the IBM Q Experience

A. Neri, R. S. Barbosa, J. N. Oliveira

IEEE Transactions on Software Engineering 48(11): 4339-4356

2022 JOURNAL

Continuous-variable nonlocality and contextuality

R. S. Barbosa, T. Douce, P. Emeriau, E. Kashefi, S. Mansfield

Communications in Mathematical Physics 391(3): 1047-1089

Accepted for communication at QPL 2019.

2021 CONFERENCE

The logic of contextuality

S. Abramsky, R. S. Barbosa

Proceedings of 29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
Leibniz International Proceedings in Informatics (LIPIcs) 183 : 5:1-5:18

Accepted for communication at QPL 2020.

2019 CONFERENCE

A comonadic view of simulations and quantum resources

S. Abramsky, R. S. Barbosa, M. Karvonen, S. Mansfield

Proceedings of 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019) : 1-12

Accepted for communication at SYCO 3, QPL 2019, ACT 2019, and related submission at CALCO 2019.

2019 JOURNAL

Contextuality and noncommutative geometry in quantum mechanics

N. de Silva, R. S. Barbosa

Communications in Mathematical Physics 365(2): 375-429

Earlier partial version (`Partial and total ideals of von Neumann algebras') available as arXiv:1408.1172 [math.OA]

2018 CONFERENCE

Minimum quantum resources for strong non-locality

S. Abramsky, R. S. Barbosa, G. Carù, N. de Silva, K. Kishida, S. Mansfield

Proceedings of 12th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2017)
Leibniz International Proceedings in Informatics (LIPIcs) 73 : 9:1-9:20

Accepted for communication at QPL 2017.

2017 CONFERENCE

The quantum monad on relational structures

S. Abramsky, R. S. Barbosa, N. de Silva, O. Zapata

Proceedings of 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)
Leibniz International Proceedings in Informatics (LIPIcs) 83 : 35:1-35:19

2017 JOURNAL

A complete characterization of All-versus-Nothing arguments for stabilizer states

S. Abramsky, R. S. Barbosa, G. Carù, S. Perdrix

Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences 375(2106): 20160385

Theme issue on `Second quantum revolution: foundational questions'

2017 JOURNAL

Contextual fraction as a measure of contextuality

S. Abramsky, R. S. Barbosa, S. Mansfield

Physical Review Letters 119: 050504

Earlier version (``Quantifying contextuality via linear programming'') accepted for communication at QPL 2016.

2016 JOURNAL

Possibilities determine the combinatorial structure of probability polytopes

S. Abramsky, R. S. Barbosa, K. Kishida, R. Lal, S. Mansfield

Journal of Mathematical Psychology 74: 58-65

special issue on `Foundations of Probability Theory in Psychology and Beyond'

2015 CONFERENCE

Contextuality, cohomology and paradox

S. Abramsky, R. S. Barbosa, K. Kishida, R. Lal, S. Mansfield

Proceedings of 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
Leibniz International Proceedings in Informatics (LIPIcs) 41 : 211-228

2015 DISSERTATION

Contextuality in quantum mechanics and beyond

R. S. Barbosa

DPhil thesis, University of Oxford

2014 CONFERENCE

On monogamy of non-locality and macroscopic averages: examples and preliminary results

R. S. Barbosa

Proceedings of 11th Workshop on Quantum Physics and Logic (QPL 2014)
Electronic Proceedings in Theoretical Computer Science 172 : 36-55

2013 PREPRINT

Extendability in the sheaf-theoretic approach: Construction of Bell models from Kochen-Specker models

S. Mansfield, R. S. Barbosa

Informal pre-proceedings of 10th Wokshop on Quantum Physics and Logic (QPL 2013)

2012 CONFERENCE

The cohomology of non-locality and contextuality

S. Abramsky, S. Mansfield, R. S. Barbosa

Proceedings of 8th International Workshop on Quantum Physics and Logic (QPL 2011)
Electronic Proceedings in Theoretical Computer Science 95 : 1-14

2012 BOOK CHAPTER

Unsharp values, domains and topoi

A. Döring, R. S. Barbosa

In: Quantum Field Theory and Gravity : 65-96

2010 DISSERTATION

Interval domain(s) and physics

R. S. Barbosa

MSc dissertation, University of Oxford

Publications rendered with BibTeX-js

Website by Catarina Soares Barbosa