We study tight projective 2‐designs in three different settings. In the complex setting, Zauner's conjecture predicts the existence of a tight projective 2‐design in every dimension. Pandey, Paulsen, Prakash, and Rahaman recently proposed an approach to make quantitative progress on this conjecture in terms of the entanglement breaking rank of a certain quantum channel. We show that this quantity is equal to the size of the smallest weighted projective 2‐design. Next, in the finite field setting, we introduce a notion of projective 2‐designs, we characterize when such projective 2‐designs are tight, and we provide a construction of such objects. Finally, in the quaternionic setting, we show that every tight projective 2‐design for determines an equi‐isoclinic tight fusion frame of subspaces of of dimension 3.
Using the algebraic criterion proved by Bandiera, Manetti and Meazzini, we show the formality conjecture for universally gluable objects with linearly reductive automorphism groups in the bounded derived category of a K3 surface. As an application, we prove the formality conjecture for polystable objects in the Kuznetsov components of Gushel–Mukai threefolds and quartic double solids.
more » « less- NSF-PAR ID:
- 10490816
- Publisher / Repository:
- Springer Science + Business Media
- Date Published:
- Journal Name:
- ANNALI DELL'UNIVERSITA' DI FERRARA
- ISSN:
- 0430-3202
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
more » « less
Abstract -
more » « less
Abstract In this paper, we elaborate the
seeds of algebraic thinking perspective, drawing upon Knowledge in Pieces as a heuristic epistemological framework. We argue that students’ pre-instructional experiences in early childhood lay the foundation for algebraic thinking and are a largely untapped resource in developing students’ algebraic thinking in the classroom. We theorize that seeds of algebraic thinking are cognitive resources abstracted over many interactions with the world in children’s pre-instructional experience. Further, we provide examples to demonstrate how the same seeds of algebraic thinking present in early childhood can be invoked in reasoning across contexts, grade levels, and different levels of formality of algebraic instruction. The examples demonstrate how the seeds perspective differs from other accounts of the relationship between children’s early activity and their engagement in algebraic reasoning processes. We anticipate this new theoretical direction for characterizing the nature and development of algebraic thinking will lay the foundation for a robust agenda that sheds light on the development of algebraic thinking and informs algebra instruction, particularly how teachers notice and respond to children’s developing algebraic thinking. -
more » « less
Abstract Background To increase teachers’ capacity to implement high-quality instructional materials with fidelity in their classrooms through a video-based professional learning cycle, the Analyzing Instruction in Mathematics Using the Teaching for Robust Understanding framework (AIM–TRU) research–practice partnership was formed. Drawing upon the design-based research paradigm, AIM–TRU created the initial design for the professional learning cycle and wanted to engage in continued iterative redesign as the year progressed. This necessitated a method, common among those who adjust their designs when applying them in context, by which to document and justify changes made over time to our model. The research contained in this article used qualitative methods to articulate and test the design underlying our professional learning cycle by advancing conjecture mapping, a device by which the embodiments of the design are made transparent to be analyzed in practice.
Results The initial design conjectures and activity structures teachers engaged in through our model of professional learning were refined to address three themes that emerged. Firstly, it was found that the ways participants engaged with the mathematics of the lesson were underwhelming, in large part, because our own definition of what rich talk around mathematics should entail was lacking in details such as the mathematical objects in the lesson, the presence of multiple solution pathways, or the various representations that students could use. Second, talk structures did not always allow for equitable exchanges among all teachers. Finally, activity structures did not encourage teachers to delve deeply into the mathematics so they could perceive the lesson as a coherent piece of their own classroom curriculum. Our design conjectures and activity structures were revised over the course of the year.
Conclusions Our use of conjecture mapping allowed us to address the concern with research–practice partnerships that they should develop and utilize tools that make the systemic inquiry they engage in transparent, allowing for other researchers, practitioners, and stakeholders to see the complete design process and make use of the findings for their local context. Implications for this process as a tool for those who pilot and scale professional development are raised and addressed.
-
Strong end-user security practices benefit both the user and hosting platform, but it is not well understood how companies communicate with their users to encourage these practices. This paper explores whether web companies and their platforms use different levels of language formality in these communications and tests the hypothesis that higher language formality leads to users’ increased intention to comply. We contribute a dataset and systematic analysis of 1,817 English language strings in web security and privacy interfaces across 13 web platforms, showing strong variations in language. An online study with 512 participants further demonstrated that people perceive differences in the language formality across platforms and that a higher language formality is associated with higher self-reported intention to comply. Our findings suggest that formality can be an important factor in designing effective security and privacy prompts. We discuss implications of these results, including how to balance formality with platform language style. In addition to being the first piece of work to analyze language formality in user security, these findings provide valuable insights into how platforms can best communicate with users about account security.more » « less
-
more » « less
Abstract Network methods have seen a rapid rise in archaeology in recent years. There are still concerns regarding how well formal networks are able to effectively model local interaction. These are often present in the so-called qualitative network approaches—studies that tend to be based on close readings of relations between entities and the way they form dynamic networks of agents. Such studies have demonstrated the value in scrutinizing the way in which relations might be acted on in practice, and how that might differ from expected results. But rarely do such studies produce network data of the kind analyzed by formal network analytical methods. Formal approaches, on the other hand, blur the specificity of individual relations and trade much of their specificity for the ability to make general statements about relations across large datasets. More generally, the modality of the relation/edge is a crucial way in which formal network analysis differs from other prevalent relational approaches popular in archaeology today, where the substantivity of individual relations is paramount. Such relations are often seen as starting points for subsequent hybridizations that radically alter, if only temporarily, the structure of their respective networks. I argue that a key step in allowing networks to reformulate from initial, data-driven network schemata is the introduction of a more symmetrical agency between the node and the edge. In this article, I discuss how ethnographic sources can be used to achieve this for archaeological survey data. I use assemblage theory as a framework to explore the potential the edge has to offer archaeological network modelling. While assemblage theory is helpful for this purpose, the lack of a computational formality to assemblage theory immediately places it at odds with network science. As a complement, I will also employ the computational ontology CIDOC-CRM to more explicitly articulate the character of links between nodes in archaeological networks. The paper will end by suggesting a method of network modelling which integrates the line as a key source of agency. As a nod to Ingold’s call for an increased emphasis on the line, I call this approach network linaeology.
