-
What are kets?
Authors:
Yuri Gurevich,
Andreas Blass
Abstract:
According to Dirac's bra-ket notation, in an inner-product space, the inner product $\langle x\,|\,y\rangle$ of vectors $x,y$ can be viewed as an application of the bra $\langle x|$ to the ket $|y\rangle$. Here $\langle x|$ is the linear functional $|y\rangle \mapsto \langle x\,|\,y\rangle$ and $|y\rangle$ is the vector $y$. But often -- though not always -- there are advantages in seeing…
▽ More
According to Dirac's bra-ket notation, in an inner-product space, the inner product $\langle x\,|\,y\rangle$ of vectors $x,y$ can be viewed as an application of the bra $\langle x|$ to the ket $|y\rangle$. Here $\langle x|$ is the linear functional $|y\rangle \mapsto \langle x\,|\,y\rangle$ and $|y\rangle$ is the vector $y$. But often -- though not always -- there are advantages in seeing $|y\rangle$ as the function $a \mapsto a\cdot y$ where $a$ ranges over the scalars. For example, the outer product $|y\rangle\langle x|$ becomes simply the composition $|y\rangle \circ \langle x|$. It would be most convenient to view kets sometimes as vectors and sometimes as functions, depending on the context. This turns out to be possible. While the bra-ket notation arose in quantum mechanics, this note presupposes no familiarity with quantum mechanics.
△ Less
Submitted 16 May, 2024;
originally announced May 2024.
-
Cardinal Well-foundedness and Choice
Authors:
Andreas Blass,
Dhruv Kulshreshtha
Abstract:
We consider several notions of well-foundedness of cardinals in the absence of the Axiom of Choice. Some of these have been conflated by some authors, but we separate them carefully. We then consider implications among these, and also between these and other consequences of Choice. For instance, we show that the Partition Principle implies that all of our versions of well-foundedness are equivalen…
▽ More
We consider several notions of well-foundedness of cardinals in the absence of the Axiom of Choice. Some of these have been conflated by some authors, but we separate them carefully. We then consider implications among these, and also between these and other consequences of Choice. For instance, we show that the Partition Principle implies that all of our versions of well-foundedness are equivalent. We also show that one version, concerning surjections, implies the Dual Cantor-Schröder-Bernstein theorem. It has been conjectured that well-foundedness, in one form or another, actually implies the Axiom of Choice, but this conjecture remains unresolved.
△ Less
Submitted 15 January, 2024; v1 submitted 14 October, 2023;
originally announced October 2023.
-
Primal logic of information
Authors:
Yuri Gurevich,
Andreas Blass
Abstract:
Primal logic arose in access control; it has a remarkably efficient (linear time) decision procedure for its entailment problem. But primal logic is a general logic of information. In the realm of arbitrary items of information (infons), conjunction, disjunction, and implication may seem to correspond (set-theoretically) to union, intersection, and relative complementation. But, while infons are c…
▽ More
Primal logic arose in access control; it has a remarkably efficient (linear time) decision procedure for its entailment problem. But primal logic is a general logic of information. In the realm of arbitrary items of information (infons), conjunction, disjunction, and implication may seem to correspond (set-theoretically) to union, intersection, and relative complementation. But, while infons are closed under union, they are not closed under intersection or relative complementation.
It turns out that there is a systematic transformation of propositional intuitionistic calculi to the original (propositional) primal calculi; we call it Flatting. We extend Flatting to quantifier rules, obtaining arguably the right quantified primal logic, QPL. The QPL entailment problem is exponential-time complete, but it is polynomial-time complete in the case, of importance to applications (at least to access control), where the number of quantifiers is bounded.
△ Less
Submitted 12 July, 2023;
originally announced July 2023.
-
Software science view on quantum circuit algorithms
Authors:
Yuri Gurevich,
Andreas Blass
Abstract:
We show that, on the abstraction level of quantum circuit diagrams, quantum circuit algorithms belong to the species of interactive sequential algorithms that we studied in earlier work. This observation leads to a natural specification language for quantum circuit algorithms.
We show that, on the abstraction level of quantum circuit diagrams, quantum circuit algorithms belong to the species of interactive sequential algorithms that we studied in earlier work. This observation leads to a natural specification language for quantum circuit algorithms.
△ Less
Submitted 22 March, 2023; v1 submitted 27 September, 2022;
originally announced September 2022.
-
Wigner's quasidistribution and Dirac's kets
Authors:
Andreas Blass,
Yuri Gurevich,
Alexander Volberg
Abstract:
In every state of a quantum particle, Wigner's quasidistribution is the unique quasidistribution on the phase space with the correct marginal distributions for position, momentum, and all their linear combinations.
In every state of a quantum particle, Wigner's quasidistribution is the unique quasidistribution on the phase space with the correct marginal distributions for position, momentum, and all their linear combinations.
△ Less
Submitted 15 January, 2022;
originally announced January 2022.
-
Simple circuit simulations of classical and quantum Turing machines
Authors:
Yuri Gurevich,
Andreas Blass
Abstract:
We construct reversible Boolean circuits efficiently simulating reversible Turing machines. Both the circuits and the simulation proof are rather simple. Then we give a fairly straightforward generalization of the circuits and the simulation proof to the quantum case.
We construct reversible Boolean circuits efficiently simulating reversible Turing machines. Both the circuits and the simulation proof are rather simple. Then we give a fairly straightforward generalization of the circuits and the simulation proof to the quantum case.
△ Less
Submitted 21 November, 2021;
originally announced November 2021.
-
Quantum circuits with classical channels and the principle of deferred measurements
Authors:
Yuri Gurevich,
Andreas Blass
Abstract:
We define syntax and semantics of quantum circuits, allowing measurement gates and classical channels. We define circuit-based quantum algorithms and prove that, semantically, any such algorithm is equivalent to a single measurement that depends only on the underlying quantum circuit. Finally, we use our formalization of quantum circuits to state precisely and prove the principle of deferred measu…
▽ More
We define syntax and semantics of quantum circuits, allowing measurement gates and classical channels. We define circuit-based quantum algorithms and prove that, semantically, any such algorithm is equivalent to a single measurement that depends only on the underlying quantum circuit. Finally, we use our formalization of quantum circuits to state precisely and prove the principle of deferred measurements.
△ Less
Submitted 17 July, 2021;
originally announced July 2021.
-
Input independence
Authors:
Yuri Gurevich,
Andreas Blass
Abstract:
We establish the following input independence principle. If a quantum circuit $\mathcal C$ computes a unitary transformation $U_μ$ along a computation path $μ$, then the probability that computation of $\mathcal C$ follows path $μ$ is independent of the input.
We establish the following input independence principle. If a quantum circuit $\mathcal C$ computes a unitary transformation $U_μ$ along a computation path $μ$, then the probability that computation of $\mathcal C$ follows path $μ$ is independent of the input.
△ Less
Submitted 26 January, 2023; v1 submitted 30 May, 2021;
originally announced May 2021.
-
Point of Care Image Analysis for COVID-19
Authors:
Daniel Yaron,
Daphna Keidar,
Elisha Goldstein,
Yair Shachar,
Ayelet Blass,
Oz Frank,
Nir Schipper,
Nogah Shabshin,
Ahuva Grubstein,
Dror Suhami,
Naama R. Bogot,
Eyal Sela,
Amiel A. Dror,
Mordehay Vaturi,
Federico Mento,
Elena Torri,
Riccardo Inchingolo,
Andrea Smargiassi,
Gino Soldati,
Tiziano Perrone,
Libertario Demi,
Meirav Galun,
Shai Bagon,
Yishai M. Elyada,
Yonina C. Eldar
Abstract:
Early detection of COVID-19 is key in containing the pandemic. Disease detection and evaluation based on imaging is fast and cheap and therefore plays an important role in COVID-19 handling. COVID-19 is easier to detect in chest CT, however, it is expensive, non-portable, and difficult to disinfect, making it unfit as a point-of-care (POC) modality. On the other hand, chest X-ray (CXR) and lung ul…
▽ More
Early detection of COVID-19 is key in containing the pandemic. Disease detection and evaluation based on imaging is fast and cheap and therefore plays an important role in COVID-19 handling. COVID-19 is easier to detect in chest CT, however, it is expensive, non-portable, and difficult to disinfect, making it unfit as a point-of-care (POC) modality. On the other hand, chest X-ray (CXR) and lung ultrasound (LUS) are widely used, yet, COVID-19 findings in these modalities are not always very clear. Here we train deep neural networks to significantly enhance the capability to detect, grade and monitor COVID-19 patients using CXRs and LUS. Collaborating with several hospitals in Israel we collect a large dataset of CXRs and use this dataset to train a neural network obtaining above 90% detection rate for COVID-19. In addition, in collaboration with ULTRa (Ultrasound Laboratory Trento, Italy) and hospitals in Italy we obtained POC ultrasound data with annotations of the severity of disease and trained a deep network for automatic severity grading.
△ Less
Submitted 10 November, 2020; v1 submitted 28 October, 2020;
originally announced November 2020.
-
COVID-19 Classification of X-ray Images Using Deep Neural Networks
Authors:
Elisha Goldstein,
Daphna Keidar,
Daniel Yaron,
Yair Shachar,
Ayelet Blass,
Leonid Charbinsky,
Israel Aharony,
Liza Lifshitz,
Dimitri Lumelsky,
Ziv Neeman,
Matti Mizrachi,
Majd Hajouj,
Nethanel Eizenbach,
Eyal Sela,
Chedva S Weiss,
Philip Levin,
Ofer Benjaminov,
Gil N Bachar,
Shlomit Tamir,
Yael Rapson,
Dror Suhami,
Amiel A Dror,
Naama R Bogot,
Ahuva Grubstein,
Nogah Shabshin
, et al. (2 additional authors not shown)
Abstract:
In the midst of the coronavirus disease 2019 (COVID-19) outbreak, chest X-ray (CXR) imaging is playing an important role in the diagnosis and monitoring of patients with COVID-19. Machine learning solutions have been shown to be useful for X-ray analysis and classification in a range of medical contexts. The purpose of this study is to create and evaluate a machine learning model for diagnosis of…
▽ More
In the midst of the coronavirus disease 2019 (COVID-19) outbreak, chest X-ray (CXR) imaging is playing an important role in the diagnosis and monitoring of patients with COVID-19. Machine learning solutions have been shown to be useful for X-ray analysis and classification in a range of medical contexts. The purpose of this study is to create and evaluate a machine learning model for diagnosis of COVID-19, and to provide a tool for searching for similar patients according to their X-ray scans. In this retrospective study, a classifier was built using a pre-trained deep learning model (ReNet50) and enhanced by data augmentation and lung segmentation to detect COVID-19 in frontal CXR images collected between January 2018 and July 2020 in four hospitals in Israel. A nearest-neighbors algorithm was implemented based on the network results that identifies the images most similar to a given image. The model was evaluated using accuracy, sensitivity, area under the curve (AUC) of receiver operating characteristic (ROC) curve and of the precision-recall (P-R) curve. The dataset sourced for this study includes 2362 CXRs, balanced for positive and negative COVID-19, from 1384 patients (63 +/- 18 years, 552 men). Our model achieved 89.7% (314/350) accuracy and 87.1% (156/179) sensitivity in classification of COVID-19 on a test dataset comprising 15% (350 of 2326) of the original data, with AUC of ROC 0.95 and AUC of the P-R curve 0.94. For each image we retrieve images with the most similar DNN-based image embeddings; these can be used to compare with previous cases.
△ Less
Submitted 7 October, 2020; v1 submitted 3 October, 2020;
originally announced October 2020.
-
Negative probabilities: What they are and what they are for
Authors:
Andreas Blass,
Yuri Gurevich
Abstract:
An observation space $\mathcal S$ is a family of probability distributions $\langle P_i: i\in I \rangle$ sharing a common sample space $Ω$ in a consistent way. A \emph{grounding} for $\mathcal S$ is a signed probability distribution $\mathcal P$ on $Ω$ yielding the correct marginal distribution $P_i$ for every $i$. A wide variety of quantum scenarios can be formalized as observation spaces. We des…
▽ More
An observation space $\mathcal S$ is a family of probability distributions $\langle P_i: i\in I \rangle$ sharing a common sample space $Ω$ in a consistent way. A \emph{grounding} for $\mathcal S$ is a signed probability distribution $\mathcal P$ on $Ω$ yielding the correct marginal distribution $P_i$ for every $i$. A wide variety of quantum scenarios can be formalized as observation spaces. We describe all groundings for a number of quantum observation spaces. Our main technical result is a rigorous proof that Wigner's distribution is the unique signed probability distribution yielding the correct marginal distributions for position and momentum and all their linear combinations.
△ Less
Submitted 30 March, 2022; v1 submitted 22 September, 2020;
originally announced September 2020.
-
The effect of Prandtl number on turbulent sheared thermal convection
Authors:
Alexander Blass,
Pier Tabak,
Roberto Verzicco,
Richard J. A. M. Stevens,
Detlef Lohse
Abstract:
In turbulent wall sheared thermal convection, there are three different flow regimes, depending on the relative relevance of thermal forcing and wall shear. In this paper we report the results of direct numerical simulations of such sheared Rayleigh-Bénard convection, at fixed Rayleigh number $Ra=10^6$, varying the wall Reynolds number in the range $0 \leq Re_w \leq 4000$ and Prandtl number…
▽ More
In turbulent wall sheared thermal convection, there are three different flow regimes, depending on the relative relevance of thermal forcing and wall shear. In this paper we report the results of direct numerical simulations of such sheared Rayleigh-Bénard convection, at fixed Rayleigh number $Ra=10^6$, varying the wall Reynolds number in the range $0 \leq Re_w \leq 4000$ and Prandtl number $0.22 \leq Pr \leq 4.6$, extending our prior work by Blass et al. (2020), where $Pr$ was kept constant at unity and the thermal forcing ($Ra$) varied. We cover a wide span of bulk Richardson numbers $0.014 \leq Ri \leq 100$ and show that the Prandtl number strongly influences the morphology and dynamics of the flow structures. In particular, at fixed $Ra$ and $Re_w$, a high Prandtl number causes stronger momentum transport from the walls and therefore yields a greater impact of the wall shear on the flow structures, resulting in an increased effect of $Re_w$ on the Nusselt number. Furthermore, we analyse the thermal and kinetic boundary layer thicknesses and relate their behaviour to the resulting flow regimes. For the largest shear rates and $Pr$ numbers, we observe the emergence of a Prandtl-von Karman log-layer, signalling the onset of turbulent dynamics in the boundary layer. Finally, our results allow to extend the Grossmann-Lohse theory for heat transport in Rayleigh-Bénard convection to the sheared case, universally describing $Nu(Ra,Pr,Re_w)$.
△ Less
Submitted 6 July, 2020;
originally announced July 2020.
-
Circuits: An abstract viewpoint
Authors:
Andreas Blass,
Yuri Gurevich
Abstract:
Our primary purpose is to isolate the abstract, mathematical properties of circuits -- both classical Boolean circuits and quantum circuits -- that are essential for their computational interpretation. A secondary purpose is to clarify the similarities and differences between the classical and quantum situations. The general philosophy in this note is to include the mathematically essential aspect…
▽ More
Our primary purpose is to isolate the abstract, mathematical properties of circuits -- both classical Boolean circuits and quantum circuits -- that are essential for their computational interpretation. A secondary purpose is to clarify the similarities and differences between the classical and quantum situations. The general philosophy in this note is to include the mathematically essential aspects of circuits but to omit any of the additional structures that are usually included for convenience. We shall, however, retain the assumption that circuits are finite; this assumption does no harm to the applicability of our approach and is necessary for some of our work.
△ Less
Submitted 16 June, 2020;
originally announced June 2020.
-
Flow organization in laterally unconfined Rayleigh-Bénard turbulence
Authors:
Alexander Blass,
Roberto Verzicco,
Detlef Lohse,
Richard J. A. M. Stevens,
Dominik Krug
Abstract:
We investigate the large-scale circulation (LSC) of turbulent Rayleigh-Bénard convection in a large box of aspect ratio $Γ=32$ for Rayleigh numbers up to $Ra=10^9$ and at a fixed Prandtl number $Pr=1$. A conditional averaging technique allows us to extract statistics of the LSC even though the number and the orientation of the structures vary throughout the domain. We find that various properties…
▽ More
We investigate the large-scale circulation (LSC) of turbulent Rayleigh-Bénard convection in a large box of aspect ratio $Γ=32$ for Rayleigh numbers up to $Ra=10^9$ and at a fixed Prandtl number $Pr=1$. A conditional averaging technique allows us to extract statistics of the LSC even though the number and the orientation of the structures vary throughout the domain. We find that various properties of the LSC obtained here, such as the wall-shear stress distribution, the boundary layer thicknesses and the wind Reynolds number, do not differ significantly from results in confined domains ($Γ\approx 1$). This is remarkable given that the size of the structures (as measured by the width of a single convection roll) more than doubles at the highest $Ra$ as the confinement is removed. An extrapolation towards the critical shear Reynolds number of $Re_s^{\textrm{crit}} \approx 420$, at which the boundary layer (BL) typically becomes turbulent, predicts that the transition to the ultimate regime is expected at $Ra_{\textrm{crit}} \approx \mathcal{O}(10^{15})$ in unconfined geometries. This result is in line with the Göttingen experimental observations. Furthermore, we confirm that the local heat transport close to the wall is highest in the plume impacting region, where the thermal BL is thinnest, and lowest in the plume emitting region, where the thermal BL is thickest. This trend, however, weakens with increasing $Ra$.
△ Less
Submitted 2 June, 2020;
originally announced June 2020.
-
Circuit pedantry
Authors:
Andreas Blass,
Yuri Gurevich
Abstract:
Boolean and quantum circuits have commonalities and differences. To formalize the syntactical commonality we introduce syntactic circuits where the gates are black boxes. Syntactic circuits support various semantics. One semantics is provided by Boolean circuits, another by quantum circuits. Quantum semantics is a generalization of Boolean but, because of entanglement, the generalization is not st…
▽ More
Boolean and quantum circuits have commonalities and differences. To formalize the syntactical commonality we introduce syntactic circuits where the gates are black boxes. Syntactic circuits support various semantics. One semantics is provided by Boolean circuits, another by quantum circuits. Quantum semantics is a generalization of Boolean but, because of entanglement, the generalization is not straightforward. We consider only unitary quantum circuits here.
△ Less
Submitted 14 October, 2019;
originally announced October 2019.
-
A comparative evaluation of three volume rendering libraries for the visualization of sheared thermal convection
Authors:
Jean M. Favre,
Alexander Blass
Abstract:
Oceans play a big role in the nature of our planet, about $ 70 \% $ of our earth is covered by water. Strong currents are transporting warm water around the world making life possible, and allowing us to harvest its power producing energy. Yet, oceans also carry a much more deadly side. Floods and tsunamis can easily annihilate whole cities and destroy life in seconds. The earth's climate system i…
▽ More
Oceans play a big role in the nature of our planet, about $ 70 \% $ of our earth is covered by water. Strong currents are transporting warm water around the world making life possible, and allowing us to harvest its power producing energy. Yet, oceans also carry a much more deadly side. Floods and tsunamis can easily annihilate whole cities and destroy life in seconds. The earth's climate system is also very much linked to the currents in the ocean due to its large coverage of the earth's surface, thus, gaining scientific insights into the mechanisms and effects through simulations is of high importance. Deep ocean currents can be simulated by means of wall-bounded turbulent flow simulations. To support these very large scale numerical simulations and enable the scientists to interpret their output, we deploy an interactive visualization framework to study sheared thermal convection. The visualizations are based on volume rendering of the temperature field. To address the needs of supercomputer users with different hardware and software resources, we evaluate different volume rendering implementations supported in the ParaView environment: two GPU-based solutions with Kitware's native volume mapper or NVIDIA's IndeX library, and a CPU-only Intel OSPRay-based implementation.
△ Less
Submitted 26 August, 2019;
originally announced August 2019.
-
Flow organization and heat transfer in turbulent wall sheared thermal convection
Authors:
Alexander Blass,
Xiaojue Zhu,
Roberto Verzicco,
Detlef Lohse,
Richard J. A. M. Stevens
Abstract:
We perform direct numerical simulations of wall sheared Rayleigh-Bénard (RB) convection for Rayleigh numbers up to $Ra=10^8$, Prandtl number unity, and wall shear Reynolds numbers up to $Re_w=10000$. Using the Monin-Obukhov length $L_{MO}$ we identify three different flow states, a buoyancy dominated regime ($L_{MO} \lesssim λ_θ$; with $λ_θ$ the thermal boundary layer thickness), a transitional re…
▽ More
We perform direct numerical simulations of wall sheared Rayleigh-Bénard (RB) convection for Rayleigh numbers up to $Ra=10^8$, Prandtl number unity, and wall shear Reynolds numbers up to $Re_w=10000$. Using the Monin-Obukhov length $L_{MO}$ we identify three different flow states, a buoyancy dominated regime ($L_{MO} \lesssim λ_θ$; with $λ_θ$ the thermal boundary layer thickness), a transitional regime ($0.5H \gtrsim L_{MO} \gtrsim λ_θ$; with $H$ the height of the domain), and a shear dominated regime ($L_{MO} \gtrsim 0.5H$). In the buoyancy dominated regime the flow dynamics are similar to that of turbulent thermal convection. The transitional regime is characterized by rolls that are increasingly elongated with increasing shear. The flow in the shear dominated regime consists of very large-scale meandering rolls, similar to the ones found in conventional Couette flow. As a consequence of these different flow regimes, for fixed $Ra$ and with increasing shear, the heat transfer first decreases, due to the breakup of the thermal rolls, and then increases at the beginning of the shear dominated regime. For $L_{MO} \gtrsim 0.5H$ the Nusselt number $Nu$ effectively scales as $Nu \sim Ra^α$, with $α\ll 1/3$ while we find $α\simeq 0.31$ in the buoyancy dominated regime. In the transitional regime the effective scaling exponent is $α> 1/3$, but the temperature and velocity profiles in this regime are not logarithmic yet, thus indicating transient dynamics and not the ultimate regime of thermal convection.
△ Less
Submitted 23 September, 2019; v1 submitted 25 April, 2019;
originally announced April 2019.
-
Braided distributivity
Authors:
Andreas Blass,
Yuri Gurevich
Abstract:
In category-theoretic models for the anyon systems proposed for topological quantum computing, the essential ingredients are two monoidal structures, $\oplus$ and $\otimes$. The former is symmetric but the latter is only braided, and $\otimes$ is required to distribute over $\oplus$. What are the appropriate coherence conditions for the distributivity isomorphisms? We came to this question working…
▽ More
In category-theoretic models for the anyon systems proposed for topological quantum computing, the essential ingredients are two monoidal structures, $\oplus$ and $\otimes$. The former is symmetric but the latter is only braided, and $\otimes$ is required to distribute over $\oplus$. What are the appropriate coherence conditions for the distributivity isomorphisms? We came to this question working on a simplification of the category-theoretical foundation of topological quantum computing, which is the intended application of the research reported here.
This question was answered by Laplaza when both monoidal structures are symmetric, but topological quantum computation depends crucially on $\otimes$ being only braided, not symmetric. We propose coherence conditions for distributivity in this situation, and we prove that our conditions are (a) strong enough to imply Laplaza's when the latter are suitably formulated, and (b) weak enough to hold when --- as in the categories used to model anyons --- the additive structure is that of an abelian category and the braided $\otimes$ is additive. Working on these results, we found a new redundancy in Laplaza's conditions.
△ Less
Submitted 25 November, 2019; v1 submitted 30 July, 2018;
originally announced July 2018.
-
Who needs category theory?
Authors:
Andreas Blass,
Yuri Gurevich
Abstract:
In mathematical applications, category theory remains a contentious issue, with enthusiastic fans and a skeptical majority. In a muted form this split applies to the authors of this note. When we learned that the only mathematically sound foundation of topological quantum computing in the literature is based on category theory, the skeptical author suggested to "decategorize" the foundation. But w…
▽ More
In mathematical applications, category theory remains a contentious issue, with enthusiastic fans and a skeptical majority. In a muted form this split applies to the authors of this note. When we learned that the only mathematically sound foundation of topological quantum computing in the literature is based on category theory, the skeptical author suggested to "decategorize" the foundation. But we discovered, to our surprise, that category theory (or something like it) is necessary for the purpose, for computational reasons. The goal of this note is to give a high-level explanation of that necessity, which avoids details and which suggests that the case of topological quantum computing is far from unique.
△ Less
Submitted 21 October, 2019; v1 submitted 30 July, 2018;
originally announced July 2018.
-
Witness Algebra and Anyon Braiding
Authors:
Andreas Blass,
Yuri Gurevich
Abstract:
Topological quantum computation employs two-dimensional quasiparticles called anyons. The generally accepted mathematical basis for the theory of anyons is the framework of modular tensor categories. That framework involves a substantial amount of category theory and is, as a result, considered rather difficult to understand. Is the complexity of the present framework necessary? The computations o…
▽ More
Topological quantum computation employs two-dimensional quasiparticles called anyons. The generally accepted mathematical basis for the theory of anyons is the framework of modular tensor categories. That framework involves a substantial amount of category theory and is, as a result, considered rather difficult to understand. Is the complexity of the present framework necessary? The computations of associativity and braiding matrices can be based on a much simpler framework, which looks less like category theory and more like familiar algebra. We introduce that framework here.
△ Less
Submitted 2 August, 2018; v1 submitted 26 July, 2018;
originally announced July 2018.
-
Negative probabilities, II: What they are and what they are for
Authors:
Andreas Blass,
Yuri Gurevich
Abstract:
A signed probability distribution may extend a given traditional probability from observable events to all events. We formalize and illustrate this approach. We also illustrate its limitation. We argue that the right question is not what negative probabilities are but what they are for.
A signed probability distribution may extend a given traditional probability from observable events to all events. We formalize and illustrate this approach. We also illustrate its limitation. We argue that the right question is not what negative probabilities are but what they are for.
△ Less
Submitted 26 July, 2018;
originally announced July 2018.
-
Turbulent thermal superstructures in Rayleigh-Bénard convection
Authors:
Richard J. A. M. Stevens,
Alexander Blass,
Xiaojue Zhu,
Roberto Verzicco,
Detlef Lohse
Abstract:
We report the observation of superstructures, i.e.\ very large-scale and long living coherent structures in highly turbulent Rayleigh-Bénard convection up to Rayleigh $Ra=10^9$. We perform direct numerical simulations in horizontally periodic domains with aspect ratios up to $Γ=128$. In the considered $Ra$ number regime the thermal superstructures have a horizontal extend of six to seven times the…
▽ More
We report the observation of superstructures, i.e.\ very large-scale and long living coherent structures in highly turbulent Rayleigh-Bénard convection up to Rayleigh $Ra=10^9$. We perform direct numerical simulations in horizontally periodic domains with aspect ratios up to $Γ=128$. In the considered $Ra$ number regime the thermal superstructures have a horizontal extend of six to seven times the height of the domain and their size is independent of $Ra$. Many laboratory experiments and numerical simulations have focused on small aspect ratio cells in order to achieve the highest possible $Ra$. However, here we show that for very high $Ra$ integral quantities such as the Nusselt number and volume averaged Reynolds number only converge to the large aspect ratio limit around $Γ\approx 4$, while horizontally averaged statistics such as standard deviation and kurtosis converge around $Γ\approx 8$, and the integral scale converges around $Γ\approx 32$, and the peak position of the temperature variance and turbulent kinetic energy spectra only around $Γ\approx 64$.
△ Less
Submitted 6 April, 2018;
originally announced April 2018.
-
Common Denominator for Value and Expectation No-go Theorems: Extended Abstract
Authors:
Andreas Blass,
Yuri Gurevich
Abstract:
Hidden-variable (HV) theories allege that a quantum state describes an ensemble of systems distinguished by the values of hidden variables. No-go theorems assert that HV theories cannot match the predictions of quantum theory. The present work started with repairing flaws in the literature on no-go theorems asserting that HV theories cannot predict the expectation values of measurements. That lite…
▽ More
Hidden-variable (HV) theories allege that a quantum state describes an ensemble of systems distinguished by the values of hidden variables. No-go theorems assert that HV theories cannot match the predictions of quantum theory. The present work started with repairing flaws in the literature on no-go theorems asserting that HV theories cannot predict the expectation values of measurements. That literature gives one an impression that expectation no-go theorems subsume the time-honored no-go theorems asserting that HV theories cannot predict the possible values of measurements. But the two approaches speak about different kinds of measurement. This hinders comparing them to each other. Only projection measurements are common to both. Here, we sharpen the results of both approaches so that only projection measurements are used. This allows us to clarify the similarities and differences between the two approaches. Neither one dominates the other.
△ Less
Submitted 1 March, 2018;
originally announced March 2018.
-
Common Denominator for Value and Expectation No-Go Theorems
Authors:
Andreas Blass,
Yuri Gurevich
Abstract:
Hidden-variable (HV) theories allege that a quantum state describes an ensemble of systems distinguished by the values of hidden variables. No-go theorems assert that HV theories cannot match the predictions of quantum theory. The present work started with repairing flaws in the literature on no-go theorems asserting that HV theories cannot predict the expectation values of measurements. That lite…
▽ More
Hidden-variable (HV) theories allege that a quantum state describes an ensemble of systems distinguished by the values of hidden variables. No-go theorems assert that HV theories cannot match the predictions of quantum theory. The present work started with repairing flaws in the literature on no-go theorems asserting that HV theories cannot predict the expectation values of measurements. That literature gives one an impression that expectation no-go theorems subsume the time-honored no-go theorems asserting that HV theories cannot predict the possible values of measurements. But the two approaches speak about different kinds of measurement. This hinders comparing them to each other. Only projection measurements are common to both. Here, we sharpen the results of both approaches so that only projection measurements are used. This allows us to clarify the similarities and differences between the two approaches. Neither one dominates the other.
△ Less
Submitted 23 July, 2017;
originally announced July 2017.
-
The Rearrangement Number
Authors:
Andreas Blass,
Jörg Brendle,
Will Brian,
Joel David Hamkins,
Michael Hardy,
Paul B. Larson
Abstract:
How many permutations of the natural numbers are needed so that every conditionally convergent series of real numbers can be rearranged to no longer converge to the same sum? We define the \emph{rearrangement number}, a new cardinal characteristic of the continuum, as the answer to this question. We compare the rearrangement number with several natural variants, for example one obtained by requiri…
▽ More
How many permutations of the natural numbers are needed so that every conditionally convergent series of real numbers can be rearranged to no longer converge to the same sum? We define the \emph{rearrangement number}, a new cardinal characteristic of the continuum, as the answer to this question. We compare the rearrangement number with several natural variants, for example one obtained by requiring the rearranged series to still converge but to a new, finite limit. We also compare the rearrangement number with several well-studied cardinal characteristics of the continuum. We present some new forcing constructions designed to add permutations that rearrange series from the ground model in particular ways, thereby obtaining consistency results going beyond those that follow from comparisons with familiar cardinal characteristics. Finally, we deal briefly with some variants concerning rearrangements by a special sort of permutation and with rearranging some divergent series to become (conditionally) convergent.
△ Less
Submitted 13 May, 2019; v1 submitted 22 December, 2016;
originally announced December 2016.
-
Partitions and conservativity
Authors:
Andreas Blass
Abstract:
We study the partition properties enjoyed by the "next best thing to a P-point'' ultrafilters introduced recently in joint work with Dobrinen and Raghavan. That work established some finite-exponent partition relations, and we now analyze the connections between these relations for different exponents and the notion of conservativity introduced much earlier by Phillips. In addition, we establish s…
▽ More
We study the partition properties enjoyed by the "next best thing to a P-point'' ultrafilters introduced recently in joint work with Dobrinen and Raghavan. That work established some finite-exponent partition relations, and we now analyze the connections between these relations for different exponents and the notion of conservativity introduced much earlier by Phillips. In addition, we establish some infinite-exponent partition relations for these ultrafilters and also for sums of non-isomorphic selective ultrafilters indexed by selective ultrafilters.
△ Less
Submitted 16 October, 2015;
originally announced October 2015.
-
On Hidden Variables: Value and Expectation No-Go Theorems
Authors:
Andreas Blass,
Yuri Gurevich
Abstract:
No-go theorems assert that hidden-variable theories, subject to appropriate hypotheses, cannot reproduce the predictions of quantum theory. We examine two species of such theorems, value no-go theorems and expectation no-go theorems. The former assert that hidden-variables cannot match the predictions of quantum theory about the possible values resulting from measurements; the latter assert that h…
▽ More
No-go theorems assert that hidden-variable theories, subject to appropriate hypotheses, cannot reproduce the predictions of quantum theory. We examine two species of such theorems, value no-go theorems and expectation no-go theorems. The former assert that hidden-variables cannot match the predictions of quantum theory about the possible values resulting from measurements; the latter assert that hidden-variables cannot match the predictions of quantum theory about the expectation values of measurements. We sharpen the known results of both species, which allows us to clarify the similarities and differences between the two species. We also repair some flaws in existing definitions and proofs.
△ Less
Submitted 17 October, 2015; v1 submitted 23 September, 2015;
originally announced September 2015.
-
Spekkens's Symmetric No-Go Theorem
Authors:
Andreas Blass,
Yuri Gurevich
Abstract:
In a 2008 paper, Spekkens improved the traditional notions of non-negativity of Wigner-style quasi-probability distributions and non-contextuality of observations. He showed that the two improved notions are equivalent to each other. Then he proved what he called an even-handed no-go theorem. The paper contains some minor inaccuracies and one false claim, in the proof of the no-go theorem. This cl…
▽ More
In a 2008 paper, Spekkens improved the traditional notions of non-negativity of Wigner-style quasi-probability distributions and non-contextuality of observations. He showed that the two improved notions are equivalent to each other. Then he proved what he called an even-handed no-go theorem. The paper contains some minor inaccuracies and one false claim, in the proof of the no-go theorem. This claim, early in the proof, is used in an essential way in the rest of the argument. Here we analyze carefully Spekkens's proof of the no-go theorem, explain the inaccuracies, reduce the task of proving the no-go theorem to the special case of a single qubit, and then prove the special case. This gives us a complete proof of Spekkens's no-go theorem.
△ Less
Submitted 27 March, 2015;
originally announced March 2015.
-
On quantum computation, anyons, and categories
Authors:
Andreas Blass,
Yuri Gurevich
Abstract:
We explain the use of category theory in describing certain sorts of anyons. Yoneda's lemma leads to a simplification of that description. For the particular case of Fibonacci anyons, we also exhibit some calculations that seem to be known to the experts but not explicit in the literature.
We explain the use of category theory in describing certain sorts of anyons. Yoneda's lemma leads to a simplification of that description. For the particular case of Fibonacci anyons, we also exhibit some calculations that seem to be known to the experts but not explicit in the literature.
△ Less
Submitted 23 October, 2015; v1 submitted 2 February, 2015;
originally announced February 2015.
-
Negative probability
Authors:
Andreas Blass,
Yuri Gurevich
Abstract:
This article was written for the Logic in Computer Science column in the February 2015 issue of the Bulletin of the European Association for Theoretical Computer Science. The intended audience is general computer science audience.
The uncertainty principle asserts a limit to the precision with which position x and momentum p of a particle can be known simultaneously. You may know the probability…
▽ More
This article was written for the Logic in Computer Science column in the February 2015 issue of the Bulletin of the European Association for Theoretical Computer Science. The intended audience is general computer science audience.
The uncertainty principle asserts a limit to the precision with which position x and momentum p of a particle can be known simultaneously. You may know the probability distributions of x and p individually but the joint distribution makes no physical sense. Yet Wigner exhibited such a joint distribution f(x,p). There was, however, a little trouble with it: some of its values were negative. Nevertheless Wigner's discovery attracted attention and found applications. There are other joint distribution, all with negative values, which produce the correct marginal distributions of x and p. But only Wigner's distribution produces the correct marginal distributions for all linear combinations of position and momentum. We offer a simple proof of the uniqueness and discuss related issues.
△ Less
Submitted 2 February, 2015;
originally announced February 2015.
-
Optimal Ancilla-free Pauli+V Circuits for Axial Rotations
Authors:
Andreas Blass,
Alex Bocharov,
Yuri Gurevich
Abstract:
Recently Neil Ross and Peter Selinger analyzed the problem of approximating z- rotations by means of single-qubit Clifford+T circuits. Their main contribution is a deterministic-search technique which allowed them to make approximating circuits shallower. We adapt the deterministic-search technique to the case of Pauli+V circuits and prove similar results. Because of the relative simplicity of the…
▽ More
Recently Neil Ross and Peter Selinger analyzed the problem of approximating z- rotations by means of single-qubit Clifford+T circuits. Their main contribution is a deterministic-search technique which allowed them to make approximating circuits shallower. We adapt the deterministic-search technique to the case of Pauli+V circuits and prove similar results. Because of the relative simplicity of the Pauli+V framework, we use much simpler geometric methods.
△ Less
Submitted 2 December, 2014;
originally announced December 2014.
-
Finite Embeddability of Sets and Ultrafilters
Authors:
Andreas Blass,
Mauro Di Nasso
Abstract:
A set A of natural numbers is finitely embeddable in another such set B if every finite subset of A has a rightward translate that is a subset of B. This notion of finite embeddability arose in combinatorial number theory, but in this paper we study it in its own right. We also study a related notion of finite embeddability of ultrafilters on the natural numbers. Among other results, we obtain con…
▽ More
A set A of natural numbers is finitely embeddable in another such set B if every finite subset of A has a rightward translate that is a subset of B. This notion of finite embeddability arose in combinatorial number theory, but in this paper we study it in its own right. We also study a related notion of finite embeddability of ultrafilters on the natural numbers. Among other results, we obtain connections between finite embeddability and the algebraic and topological structure of the Stone-Cech compactification of the discrete space of natural numbers. We also obtain connections with nonstandard models of arithmetic.
△ Less
Submitted 10 December, 2015; v1 submitted 12 May, 2014;
originally announced May 2014.
-
Ancilla Approximable Quantum State Transformations
Authors:
Andreas Blass,
Yuri Gurevich
Abstract:
We consider the transformations of quantum states obtainable by a process of the following sort. Combine the given input state with a specially prepared initial state of an auxiliary system. Apply a unitary transformation to the combined system. Measure the state of the auxiliary subsystem. If (and only if) it is in a specified final state, consider the process successful, and take the resulting s…
▽ More
We consider the transformations of quantum states obtainable by a process of the following sort. Combine the given input state with a specially prepared initial state of an auxiliary system. Apply a unitary transformation to the combined system. Measure the state of the auxiliary subsystem. If (and only if) it is in a specified final state, consider the process successful, and take the resulting state of the original (principal) system as the result of the process.
We review known information about exact realization of transformations by such a process. Then we present results about approximate realization of finite partial transformations. We consider primarily the issue of approximation to within a specified positive epsilon, but we also address the question of arbitrarily close approximation.
△ Less
Submitted 30 March, 2014;
originally announced March 2014.
-
The next best thing to a P-point
Authors:
Andreas Blass,
Natasha Dobrinen,
Dilip Raghavan
Abstract:
We study ultrafilters on $ω^2$ produced by forcing with the quotient of $\scr P(ω^2)$ by the Fubini square of the Fréchet filter on $ω$. We show that such an ultrafilter is a weak P-point but not a P-point and that the only non-principal ultrafilters strictly below it in the Rudin-Keisler order are a single isomorphism class of selective ultrafilters. We further show that it enjoys the strongest s…
▽ More
We study ultrafilters on $ω^2$ produced by forcing with the quotient of $\scr P(ω^2)$ by the Fubini square of the Fréchet filter on $ω$. We show that such an ultrafilter is a weak P-point but not a P-point and that the only non-principal ultrafilters strictly below it in the Rudin-Keisler order are a single isomorphism class of selective ultrafilters. We further show that it enjoys the strongest square-bracket partition relations that are possible for a non-P-point. We show that it is not basically generated but that it shares with basically generated ultrafilters the property of not being at the top of the Tukey ordering. In fact, it is not Tukey-above $[ω_1]^{<ω}$, and it has only continuum many ultrafilters Tukey-below it. A tool in our proofs is the analysis of similar (but not the same) properties for ultrafilters obtained as the sum, over a selective ultrafilter, of non-isomorphic selective ultrafilters.
△ Less
Submitted 17 August, 2013;
originally announced August 2013.
-
Quasi-selective ultrafilters and asymptotic numerosities
Authors:
Andreas Blass,
Mauro Di Nasso,
Marco Forti
Abstract:
We isolate a new class of ultrafilters on N, called "quasi-selective" because they are intermediate between selective ultrafilters and P-points. (Under the Continuum Hypothesis these three classes are distinct.) The existence of quasi-selective ultrafilters is equivalent to the existence of "asymptotic numerosities" for all sets of tuples of natural numbers. Such numerosities are hypernatural numb…
▽ More
We isolate a new class of ultrafilters on N, called "quasi-selective" because they are intermediate between selective ultrafilters and P-points. (Under the Continuum Hypothesis these three classes are distinct.) The existence of quasi-selective ultrafilters is equivalent to the existence of "asymptotic numerosities" for all sets of tuples of natural numbers. Such numerosities are hypernatural numbers that generalize finite cardinalities to countable point sets. Most notably, they maintain the structure of ordered semiring, and, in a precise sense, they allow for a natural extension of asymptotic density to all sequences of tuples of natural numbers.
△ Less
Submitted 8 June, 2011; v1 submitted 9 November, 2010;
originally announced November 2010.
-
Modular difference logic is hard
Authors:
Nikolaj Bjørner,
Andreas Blass,
Yuri Gurevich,
Madan Musuvathi
Abstract:
In connection with machine arithmetic, we are interested in systems of constraints of the form x + k \leq y + k'. Over integers, the satisfiability problem for such systems is polynomial time. The problem becomes NP complete if we restrict attention to the residues for a fixed modulus N.
In connection with machine arithmetic, we are interested in systems of constraints of the form x + k \leq y + k'. Over integers, the satisfiability problem for such systems is polynomial time. The problem becomes NP complete if we restrict attention to the residues for a fixed modulus N.
△ Less
Submitted 6 November, 2008;
originally announced November 2008.
-
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog
Authors:
Andreas Blass,
Yuri Gurevich
Abstract:
A natural liberalization of Datalog is used in the Distributed Knowledge Authorization Language (DKAL). We show that the expressive power of this liberal Datalog is that of existential fixed-point logic. The exposition is self-contained.
A natural liberalization of Datalog is used in the Distributed Knowledge Authorization Language (DKAL). We show that the expressive power of this liberal Datalog is that of existential fixed-point logic. The exposition is self-contained.
△ Less
Submitted 6 November, 2008;
originally announced November 2008.
-
One useful logic that defines its own truth
Authors:
Andreas Blass,
Yuri Gurevich
Abstract:
Existential fixed point logic (EFPL) is a natural fit for some applications, and the purpose of this talk is to attract attention to EFPL. The logic is also interesting in its own right as it has attractive properties. One of those properties is rather unusual: truth of formulas can be defined (given appropriate syntactic apparatus) in the logic. We mentioned that property elsewhere, and we use…
▽ More
Existential fixed point logic (EFPL) is a natural fit for some applications, and the purpose of this talk is to attract attention to EFPL. The logic is also interesting in its own right as it has attractive properties. One of those properties is rather unusual: truth of formulas can be defined (given appropriate syntactic apparatus) in the logic. We mentioned that property elsewhere, and we use this opportunity to provide the proof.
△ Less
Submitted 6 November, 2008;
originally announced November 2008.
-
Persistent Queries
Authors:
Andreas Blass,
Yuri Gurevich
Abstract:
We propose a syntax and semantics for interactive abstract state machines to deal with the following situation. A query is issued during a certain step, but the step ends before any reply is received. Later, a reply arrives, and later yet the algorithm makes use of this reply. By a persistent query, we mean a query for which a late reply might be used. Syntactically, our proposal involves issuin…
▽ More
We propose a syntax and semantics for interactive abstract state machines to deal with the following situation. A query is issued during a certain step, but the step ends before any reply is received. Later, a reply arrives, and later yet the algorithm makes use of this reply. By a persistent query, we mean a query for which a late reply might be used. Syntactically, our proposal involves issuing, along with a persistent query, a location where a late reply is to be stored. Semantically, it involves only a minor modification of the existing theory of interactive small-step abstract state machines.
△ Less
Submitted 5 November, 2008;
originally announced November 2008.
-
When are two algorithms the same?
Authors:
Andreas Blass,
Nachum Dershowitz,
Yuri Gurevich
Abstract:
People usually regard algorithms as more abstract than the programs that implement them. The natural way to formalize this idea is that algorithms are equivalence classes of programs with respect to a suitable equivalence relation. We argue that no such equivalence relation exists.
People usually regard algorithms as more abstract than the programs that implement them. The natural way to formalize this idea is that algorithms are equivalence classes of programs with respect to a suitable equivalence relation. We argue that no such equivalence relation exists.
△ Less
Submitted 5 November, 2008;
originally announced November 2008.
-
Generalizing Hartogs' Trichotomy Theorem
Authors:
David Feldman,
Mehmet Orhon,
Andreas Blass
Abstract:
A celebrated argument of F. Hartogs (1915) deduces the Axiom of Choice from the hypothesis of comparability for any pair of cardinals. We show how each of a sequence of seemingly much weaker hypotheses suffices. Fixing a finite number $k>1$, the Axiom of Choice follows if merely any family of $k$ cardinals contains at least one comparable pair.
A celebrated argument of F. Hartogs (1915) deduces the Axiom of Choice from the hypothesis of comparability for any pair of cardinals. We show how each of a sequence of seemingly much weaker hypotheses suffices. Fixing a finite number $k>1$, the Axiom of Choice follows if merely any family of $k$ cardinals contains at least one comparable pair.
△ Less
Submitted 4 April, 2008;
originally announced April 2008.
-
Basic Subgroups and Freeness, A Counterexample
Authors:
Andreas Blass,
Saharon Shelah
Abstract:
We construct a non-free but aleph_1-separable, torsion-free abelian group G with a pure free subgroup B such that all subgroups of G disjoint from B are free and such that G/B is divisible. This answers a question of Irwin and shows that a theorem of Blass and Irwin cannot be strengthened so as to give an exact analog for torsion-free groups of a result proved for p-groups by Benabdallah and Irw…
▽ More
We construct a non-free but aleph_1-separable, torsion-free abelian group G with a pure free subgroup B such that all subgroups of G disjoint from B are free and such that G/B is divisible. This answers a question of Irwin and shows that a theorem of Blass and Irwin cannot be strengthened so as to give an exact analog for torsion-free groups of a result proved for p-groups by Benabdallah and Irwin.
△ Less
Submitted 19 November, 2007;
originally announced November 2007.
-
Interactive Small-Step Algorithms II: Abstract State Machines and the<br> Characterization Theorem
Authors:
Andreas Blass,
Yuri Gurevich,
Dean Rosenzweig,
Benjamin Rossman
Abstract:
In earlier work, the Abstract State Machine Thesis -- that arbitrary algorithms are behaviorally equivalent to abstract state machines -- was established for several classes of algorithms, including ordinary, interactive, small-step algorithms. This was accomplished on the basis of axiomatizations of these classes of algorithms. In Part I (Interactive Small-Step Algorithms I: Axiomatization), th…
▽ More
In earlier work, the Abstract State Machine Thesis -- that arbitrary algorithms are behaviorally equivalent to abstract state machines -- was established for several classes of algorithms, including ordinary, interactive, small-step algorithms. This was accomplished on the basis of axiomatizations of these classes of algorithms. In Part I (Interactive Small-Step Algorithms I: Axiomatization), the axiomatization was extended to cover interactive small-step algorithms that are not necessarily ordinary. This means that the algorithms (1) can complete a step without necessarily waiting for replies to all queries from that step and (2) can use not only the environment's replies but also the order in which the replies were received. In order to prove the thesis for algorithms of this generality, we extend here the definition of abstract state machines to incorporate explicit attention to the relative timing of replies and to the possible absence of replies. We prove the characterization theorem for extended abstract state machines with respect to general algorithms as axiomatized in Part I.
△ Less
Submitted 5 November, 2007; v1 submitted 25 July, 2007;
originally announced July 2007.
-
Interactive Small-Step Algorithms I: Axiomatization
Authors:
Andreas Blass,
Yuri Gurevich,
Dean Rosenzweig,
Benjamin Rossman
Abstract:
In earlier work, the Abstract State Machine Thesis -- that arbitrary algorithms are behaviorally equivalent to abstract state machines -- was established for several classes of algorithms, including ordinary, interactive, small-step algorithms. This was accomplished on the basis of axiomatizations of these classes of algorithms. Here we extend the axiomatization and, in a companion paper, the pr…
▽ More
In earlier work, the Abstract State Machine Thesis -- that arbitrary algorithms are behaviorally equivalent to abstract state machines -- was established for several classes of algorithms, including ordinary, interactive, small-step algorithms. This was accomplished on the basis of axiomatizations of these classes of algorithms. Here we extend the axiomatization and, in a companion paper, the proof, to cover interactive small-step algorithms that are not necessarily ordinary. This means that the algorithms (1) can complete a step without necessarily waiting for replies to all queries from that step and (2) can use not only the environment's replies but also the order in which the replies were received.
△ Less
Submitted 5 November, 2007; v1 submitted 25 July, 2007;
originally announced July 2007.
-
Disjoint Non-Free Subgoups of Abelian Groups
Authors:
Andreas Blass,
Saharon Shelah
Abstract:
Let G be an abelian group and let lambda be the smallest rank of any group whose direct sum with a free group is isomorphic to G. If lambda is uncountable, then G has lambda pairwise disjoint, non-free subgroups. There is an example where lambda is countably infinite and G does not have even two disjoint, non-free subgroups.
Let G be an abelian group and let lambda be the smallest rank of any group whose direct sum with a free group is isomorphic to G. If lambda is uncountable, then G has lambda pairwise disjoint, non-free subgroups. There is an example where lambda is countably infinite and G does not have even two disjoint, non-free subgroups.
△ Less
Submitted 18 September, 2005;
originally announced September 2005.
-
Ultrafilters and partial products of infinite cyclic groups
Authors:
Andreas Blass,
Saharon Shelah
Abstract:
We consider, for infinite cardinals kappa and alpha <= kappa^+, the group Pi(kappa,< alpha) of sequences of integers, of length kappa, with non-zero entries in fewer than alpha positions. Our main result tells when Pi(kappa,< alpha) can be embedded in Pi(lambda,< beta). The proof involves some set-theoretic results, one about familes of finite sets and one about families of ultrafilters.
We consider, for infinite cardinals kappa and alpha <= kappa^+, the group Pi(kappa,< alpha) of sequences of integers, of length kappa, with non-zero entries in fewer than alpha positions. Our main result tells when Pi(kappa,< alpha) can be embedded in Pi(lambda,< beta). The proof involves some set-theoretic results, one about familes of finite sets and one about families of ultrafilters.
△ Less
Submitted 10 April, 2005;
originally announced April 2005.
-
On Polynomial Time Computation Over Unordered Structures
Authors:
Andreas Blass,
Yuri Gurevich,
Saharon Shelah
Abstract:
This paper is motivated by the question whether there exists a logic capturing polynomial time computation over unordered structures. We consider several algorithmic problems near the border of the known, logically defined complexity classes contained in polynomial time. We show that fixpoint logic plus counting is stronger than might be expected, in that it can express the existence of a comple…
▽ More
This paper is motivated by the question whether there exists a logic capturing polynomial time computation over unordered structures. We consider several algorithmic problems near the border of the known, logically defined complexity classes contained in polynomial time. We show that fixpoint logic plus counting is stronger than might be expected, in that it can express the existence of a complete matching in a bipartite graph. We revisit the known examples that separate polynomial time from fixpoint plus counting. We show that the examples in a paper of Cai, Furer, and Immerman, when suitably padded, are in choiceless polynomial time yet not in fixpoint plus counting. Without padding, they remain in polynomial time but appear not to be in choiceless polynomial time plus counting. Similar results hold for the multipede examples of Gurevich and Shelah, except that their final version of multipedes is, in a sense, already suitably padded. Finally, we describe another plausible candidate, involving determinants, for the task of separating polynomial time from choiceless polynomial time plus counting.
△ Less
Submitted 7 February, 2001;
originally announced February 2001.
-
Mobius functions of lattices
Authors:
Andreas Blass,
Bruce E. Sagan
Abstract:
We introduce the concept of a bounded below set in a lattice. This can be used to give a generalization of Rota's broken circuit theorem to any finite lattice. We then show how this result can be used to compute and combinatorially explain the Möbius function in various examples including non-crossing set partitions, shuffle posets, and integer partitions in dominance order. Next we present a ge…
▽ More
We introduce the concept of a bounded below set in a lattice. This can be used to give a generalization of Rota's broken circuit theorem to any finite lattice. We then show how this result can be used to compute and combinatorially explain the Möbius function in various examples including non-crossing set partitions, shuffle posets, and integer partitions in dominance order. Next we present a generalization of Stanley's theorem that the characteristic polynomial of a semimodular supersolvable lattice factors over the integers. We also give some applications of this second main theorem, including the Tamari lattices.
△ Less
Submitted 2 January, 1998;
originally announced January 1998.
-
Characteristic and Ehrhart polynomials
Authors:
Andreas Blass,
Bruce E. Sagan
Abstract:
Let A be a subspace arrangement and let chi(A,t) be the characteristic polynomial of its intersection lattice L(A). We show that if the subspaces in A are taken from L(B_n), where B_n is the type B Weyl arrangement, then chi(A,t) counts a certain set of lattice points. One can use this result to study the partial factorization of chi(A,t) over the integers and the coefficients of its expansion i…
▽ More
Let A be a subspace arrangement and let chi(A,t) be the characteristic polynomial of its intersection lattice L(A). We show that if the subspaces in A are taken from L(B_n), where B_n is the type B Weyl arrangement, then chi(A,t) counts a certain set of lattice points. One can use this result to study the partial factorization of chi(A,t) over the integers and the coefficients of its expansion in various bases for the polynomial ring R[t]. Next we prove that the characteristic polynomial of any Weyl hyperplane arrangement can be expressed in terms of an Ehrhart quasi-polynomial for its affine Weyl chamber. Note that our first result deals with all subspace arrangements embedded in B_n while the second deals with all finite Weyl groups but only their hyperplane arrangements.
△ Less
Submitted 2 January, 1998;
originally announced January 1998.
-
Choiceless polynomial time
Authors:
Andreas Blass,
Yuri Gurevich,
Saharon Shelah
Abstract:
Turing machines define polynomial time (PTime) on strings but cannot deal with structures like graphs directly, and there is no known, easily computable string encoding of isomorphism classes of structures. Is there a computation model whose machines do not distinguish between isomorphic structures and compute exactly PTime properties? This question can be recast as follows: Does there exist a l…
▽ More
Turing machines define polynomial time (PTime) on strings but cannot deal with structures like graphs directly, and there is no known, easily computable string encoding of isomorphism classes of structures. Is there a computation model whose machines do not distinguish between isomorphic structures and compute exactly PTime properties? This question can be recast as follows: Does there exist a logic that captures polynomial time (without presuming the presence of a linear order)? Earlier, one of us conjectured the negative answer. The problem motivated a quest for stronger and stronger PTime logics. All these logics avoid arbitrary choice. Here we attempt to capture the choiceless fragment of PTime. Our computation model is a version of abstract state machines (formerly called evolving algebras). The idea is to replace arbitrary choice with parallel execution. The resulting logic is more expressive than other PTime logics in the literature. A more difficult theorem shows that the logic does not capture all PTime.
△ Less
Submitted 14 May, 1997;
originally announced May 1997.
