Search NASA⌕ Search

SEARCH · Search NASA

Results for “string method”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 289 records · Page 16

Cosmic dust synthesis by accretion and coagulation

The morphology of grains grown by accretion and coagulation is revaled by a new laboratory method of synthesizing cosmic dust analogs. Submicron carbon particles, grown by accretion of carbon atoms from a gas, have a spherical shape with a cauliflower-like surface and an internal micro-structure of radial columns. This shape is probably common for grains grown by accretion at a temperature well below the melting point. Coagulated grains, consisting of spheres that collided to form irregular strings, were also synthesized. Another shape we produced had a bumpy non- spherical morphology, like an interplanetary particle collected in the terrestrial stratosphere. Besides these isolated grains, large spongy aggregates of nanometer-size particles were also found for various experimental conditions. Grains were synthesized using ions to sputter a solid target, producing an atomic vapor at a low temperature. The ions were provided by a plasma, which also provided electrostatic levitation of the grains during their growth. The temporal development of grain growth was studied by extinguishing the plasma after various intervals.

Praburam, G.↗

The SURE House (Solar Decathlon 2015)

Coastal towns and cities across the Northeastern US, with their high population density, aged utility infrastructure, and unique geography, are increasingly vulnerable to climate change related storm events. In October 2012 superstorm Sandy highlighted the fragility of our current coastal building types and made clear the need for a new model of design and construction which works to understand and mitigate these weaknesses. Dramatic changes in public policy, championed by both The Federal Emergency Management Agency (FEMA) and the National Flood Insurance Program (NFIP) are driving the rebuilding of these shore communities, often resulting in costly renovations, un-sustainable neighborhood configurations and in direct conflict with concurrent government policies such as The American with Disabilities Act (ADA). The SURE HOUSE demonstrates a series of new design solutions to these conflicting public policies and environmental imperatives. At Stevens Institute of Technology, the 2015 Solar Decathlon started with the challenge: Can we design a home for coastal New Jersey that dramatically reduces its energy use while protecting itself from the realities of a changing, more extreme climate? The SURE HOUSE merges the iconic 20th century shore home with 21st century building science. Utilizing innovative renewable energy technologies, a ‘Passive House’ level building envelope, and rugged glass-fiber-composite materials to flood-proof the home, the SURE HOUSE is a high-performance, net-zero-energy home, armored against extreme weather, designed for the contemporary lifestyle of the Jersey Shore and other vulnerable coastal communities. SUSTAINABLE At Stevens, we recognize that energy use in the home and workplace is directly connected to the growing problem of climate change. Reducing our energy consumption by designing higher performing, compact homes that are both functional, comfortable and desirable is the first critical step towards a modern, sustainable architecture for New Jersey and beyond. This is what informed the architectural design of the house. Configured about a compact form, thickly insulated and air-sealed walls eliminate thermal bridging and minimize energy losses while advanced glazing brings in free solar heat during the winter months. As a result of these passive design strategies, the SURE HOUSE has a greatly reduced carbon footprint requiring 91% less energy than a typical New Jersey home. Photovoltaic (PV) arrays on both the rooftop and operable shutters easily provide energy in excess of the home’s modest demands. The Stevens team considers a truly sustainable home in the era of climate change, one that prioritizes low energy use, and integrates right-sized renewable generation to supply the home’s needs. Low consumption, low production. RESILIENT In October of 2012, Hurricane Sandy wreaked havoc along the east coast of the US. In New Jersey alone there was an estimated 29.4 billion dollars in damages, 346,000 homes affected, and almost two and a half million people left without power, in some cases for over 10 days. Recovery from this storm and associated flooding is ongoing to this day, as many New Jersey homeowners grapple with the large costs of rebuilding and struggle to adapt to complicated new home building regulations. Damage from this storm to Hoboken, the home of the Stevens Institute of Technology’s campus, and to the New Jersey shore was extensive and many students on the SURE HOUSE team were directly affected by this historic event. The Stevens design team recognizes that in a world of more frequent and stronger storms, the ability to absorb and adapt to change is more important than ever. Successfully weathering the next storm and its aftermath is one of the primary goals in the design of the SURE HOUSE prototype. The SURE HOUSE introduces unique ‘dry flood-proofing’ methods to residential construction. Innovative wall and floor flood-proofing, utilizing durable composite sheathing materials adapted from the boating industry, were developed by the student team to render the SURE House’s building envelope flood proof up to the FEMA AE 6/7 Zone (+ 6/7 feet of water above sea-level). Designed and fabricated utilizing glass-fiber composite materials, the custom storm shutter system serves to protect the large glazed openings of the home from both air-borne debris impact and water infiltration during a storm event while also providing deterrence from the vandalism that often occurs in the aftermath of a calamitous event. During extended power outages, a ‘resilient’ solar array is capable of supplying critical amounts of energy and hot water to the home, without the use of battery storage or grid infrastructure. PV Description AC GRID-TIED PV SYSTEM The SURE HOUSE solar system consists of two distinct arrays, the grid-tied rooftop array which produces AC Powerand the shutter-mounted array which converts DC power generated by the modules directly into usable heat for the domestic hot water (DHW). The roof-mounted AC grid-tied array is comprised of three strings, two 11 module strings connected to an SMA SB 5000TL-US-223 inverter and a single 10 module string equipped and an SMA SB 3000TL-US-22 central inverter. All modules for the rooftop AC array are LG MonoX 2804 watt solar panels, chosen for their durability and efficiency. Inverter sizing and string size are optimized to the electrical characteristics of the chosen PV modules and the desired energy production, see Appendix 5B. The SURE HOUSE is projected to produce 12,353 kWh per year to meet 6,157 kWh per year of estimated consumption. Solar modules for the two AC grid-tied sub arrays are mounted on the main roof surface of the SURE HOUSE with a 10 degree tilt angle using a partially-ballasted polyethylene roof mounting system made by Renusol, which is particularly suited to the corrosive salt air of a coastal environment. This method was chosen for its installation simplicity and to limit detrimental roof penetrations. The 10 degree tilt optimizes the energy generated per roof area at a lower price, see Appendix 5A, and ensures that there is minimal wind uplift. DC SOLAR ELECTRIC DOMESTIC HOT WATER The SURE HOUSE’s approach to sustainable and resilient domestic hot water (DHW) consists of a unique, custom engineered DC solar electric hot water system. Employing the use of Advanced Energy’s DC electric PV heater (DCPVH)5 to heat domestic water well beyond the draw temperature, the SURE HOUSE is able to obtain a remarkably high solar fraction of 75% or more. The custom modified 80 gallon Vaughn DHW tank acts as a large solar ‘battery’ that stores heat energy in the form of hot water at almost 150 degrees, harvesting energy when the sun is out for use later in the day or overnight. The system, which uses electricity rather than heated fluid, is distinct from traditional ‘solar thermal’ systems by eliminating the dangers and associated maintenance issues of fluid based systems. By forgoing the use of external fluid loops, overheated solar collectors and pipes are not an issue for the SURE HOUSE system which never needs any yearly or seasonal flushing. In weather conditions where the integrated DCPVH unit cannot produce enough hot water via solar energy alone, the Vaughn hot water tank comes factory made with an AC powered 2.6 COP heat pump and a AC heating coil that serve as back-up heating elements. The DCPVH is powered by a DC array consisting of 10 custom-made Solbian by PVilion 180 watt, monocrystalline, flexible solar modules6. The Solbian modules are directly mounted to the top half of the operable storm shutters on the south façade of the SURE HOUSE. The SURE HOUSE team worked closely with PVillion, a PV system designer specializing in flexible architectural photovoltaics, to design an adhesive system that works with the glass-fiber storm shutter surface in a reliable manner over an extended period. Because this system operates in DC-only mode and never connects to the municipal power grid, the system can continue to create hot water safely and effectively even during grid disruption events. This hot water, and the energy stored within it, could be used for a range of activities including washing and cooking to more elaborate hydronic heating systems as desired. See Appendix 6 for system engineering, sizing and modeling.

14 SOLAR ENERGY↗

Charge-Control Unit for Testing Lithium-Ion Cells

A charge-control unit was developed as part of a program to validate Li-ion cells packaged together in batteries for aerospace use. The lithium-ion cell charge-control unit will be useful to anyone who performs testing of battery cells for aerospace and non-aerospace uses and to anyone who manufacturers battery test equipment. This technology reduces the quantity of costly power supplies and independent channels that are needed for test programs in which multiple cells are tested. Battery test equipment manufacturers can integrate the technology into their battery test equipment as a method to manage charging of multiple cells in series. The unit manages a complex scheme that is required for charging Li-ion cells electrically connected in series. The unit makes it possible to evaluate cells together as a pack using a single primary test channel, while also making it possible to charge each cell individually. Hence, inherent cell-to-cell variations in a series string of cells can be addressed, and yet the cost of testing is reduced substantially below the cost of testing each cell as a separate entity. The unit consists of electronic circuits and thermal-management devices housed in a common package. It also includes isolated annunciators to signal when the cells are being actively bypassed. These annunciators can be used by external charge managers or can be connected in series to signal that all cells have reached maximum charge. The charge-control circuitry for each cell amounts to regulator circuitry and is powered by that cell, eliminating the need for an external power source or controller. A 110-VAC source of electricity is required to power the thermal-management portion of the unit. A small direct-current source can be used to supply power for an annunciator signal, if desired.

Reid, Concha M.↗

Mathematical model for the dc-ac inverter for the Space Shuttle

The reader is informed of what was done for the mathematical modeling of the dc-ac inverter for the Space Shuttle. The mathematical modeling of the dc-ac inverter is an essential element in the modeling of the electrical power distribution system of the Space Shuttle. The electrical power distribution system which is present on the Space Shuttle is made up to 3 strings each having a fuel cell which provides dc to those systems which require dc, and the inverters which convert the dc to ac for those elements which require ac. The inverters are units which are 2 wire structures for the main dc inputs and 2 wire structures for the ac output. When 3 are connected together a 4 wire wye connection results on the ac side. The method of modeling is performed by using a Least Squares curve fitting method. A computer program is presented for implementation of the model along with graphs and tables to demonstrate the accuracy of the model.

Berry, Frederick C.↗

Minkowski conformal blocks and the Regge limit for Sachdev-Ye-Kitaev-like models

We discuss scattering in a conformal field theory (CFT) via the conformal partial-wave analysis and the Regge limit. The focus of this paper is on understanding an operator product expansion (OPE) with Minkowski conformal blocks. Starting with a t-channel OPE, it leads to an expansion for an s-channel scattering amplitude in terms of t-channel exchanges. By contrasting with Euclidean conformal blocks we see a precise relationship between conformal blocks in the two limits without preforming an explicit analytic continuation. We discuss a generic feature for a CFT correlation function having singular F (M) (u,v) ~ u –δ , δ > 0, in the limit u → 0 and v → 1. Here, δ = (ℓ eff – 1)/2, with ℓ eff serving as an effective spin and it can be determined through an OPE. In particular, it is bounded from above, ℓ eff ≤ 2, for all CFTs with a gravity dual, and it can be associated with string modes interpolating the graviton in AdS. This singularity is historically referred to as the Pomeron. This bound is nearly saturated by SYK-like effective d = 1 CFT, and its stringy and thermal corrections have piqued current interests. Our analysis has been facilitated by dealing with Wightman functions. We provide a direct treatment in diagonalizing dynamical equations via harmonic analysis over physical scattering regions. As an example these methods are applied to the SYK model.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Attention to quantum complexity

The imminent era of error-corrected quantum computing demands robust methods to characterize quantum state complexity from limited, noisy measurements. We introduce the Quantum Attention Network (QuAN), a classical artificial intelligence (AI) framework leveraging attention mechanisms tailored for learning quantum complexity. Inspired by large language models, QuAN treats measurement snapshots as tokens while respecting permutation invariance. Combined with our parameter-efficient miniset self-attention block, this enables QuAN to access high-order moments of bit-string distributions and preferentially attend to less noisy snapshots. We test QuAN across three quantum simulation settings: driven hard-core Bose-Hubbard model, random quantum circuits, and toric code under coherent and incoherent noise. QuAN directly learns entanglement and state complexity growth from experimental computational basis measurements, including complexity growth in random circuits from noisy data. In regimes inaccessible to existing theory, QuAN unveils the complete phase diagram for noisy toric code data as a function of both noise types, highlighting AI’s transformative potential for assisting quantum hardware.

Kim, Hyejin [Cornell Univ., Ithaca, NY (United Sta↗

Codon2Vec v1.0

Background: Codon2Vec is an embedding neural network that predicts 'high' or 'low' gene expression directly from the protein-coding sequences. Embedding neural networks are commonly used for natural language processing (NLP) applications. Analogous to how an English sentence is a string of words, a gene can be thought of as a string of codons. Similar to how NLP neural networks model English sentences as a non-random sequence of words, we considered a coding sequence as a non-random non-overlapping array of codons (k-mers of length = 3). Value Proposition: - Codon2Vec achieved a high median AUC-ROC score of 83.8% when trained and applied to transcriptomic data from 300 fungal species - Unlike Codo2Vec, conventional methods predicting for expression based on codon usage rely on a priori knowledge of optimal codons or a set of reference genes. - Unlike Codon2vec, these methods do not account for the effect of codon order on gene expression. - Codon2Vec neural network bypasses the need for artisanal feature selection step that is necessary for traditional machine learning models.

Wint, Rhondene↗

Development of Software Defined Radio Protocol for Acoustic Communication on Pipes

Nuclear Science Engineering Division at Argonne has been developing a new method of transmitting information via acoustic waves on pipes in a nuclear facility. This method provides the capability to communicate information from within the containment building under the conditions of total power outage following a severe accident. Compared to traditional RF communications, acoustic communications allows for signal transmission across thick concrete barriers, and better information security due to spatial confinement of the signal. Data of interest consists of sensor readings, voice, and images. Transmission of images is most challenging because corruption of the header string might render the reconstructed image unreadable.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

Situational Awareness from a Low-Cost Camera System

A method gathers scene information from a low-cost camera system. Existing surveillance systems using sufficient cameras for continuous coverage of a large field necessarily generate enormous amounts of raw data. Digitizing and channeling that data to a central computer and processing it in real time is difficult when using low-cost, commercially available components. A newly developed system is located on a combined power and data wire to form a string-of-lights camera system. Each camera is accessible through this network interface using standard TCP/IP networking protocols. The cameras more closely resemble cell-phone cameras than traditional security camera systems. Processing capabilities are built directly onto the camera backplane, which helps maintain a low cost. The low power requirements of each camera allow the creation of a single imaging system comprising over 100 cameras. Each camera has built-in processing capabilities to detect events and cooperatively share this information with neighboring cameras. The location of the event is reported to the host computer in Cartesian coordinates computed from data correlation across multiple cameras. In this way, events in the field of view can present low-bandwidth information to the host rather than high-bandwidth bitmap data constantly being generated by the cameras. This approach offers greater flexibility than conventional systems, without compromising performance through using many small, low-cost cameras with overlapping fields of view. This means significant increased viewing without ignoring surveillance areas, which can occur when pan, tilt, and zoom cameras look away. Additionally, due to the sharing of a single cable for power and data, the installation costs are lower. The technology is targeted toward 3D scene extraction and automatic target tracking for military and commercial applications. Security systems and environmental/ vehicular monitoring systems are also potential applications.

Freudinger, Lawrence C.↗

Keplerian Analysis for Versatile Evaluation of Arbitrary Trajectories

Designing interplanetary missions is an iterative process, with a tight coupling between mission analysis and vehicle design. The ability to simultaneously process both analyses early on can provide significant benefits in both the concept formulation and in overall mission feasibility. To implement such a simultaneous analysis process, there is a need to model interplanetary trajectories rapidly while maintaining an acceptable level of fidelity. Many simple patched conics tools make too many assumptions to satisfactorily address all relevant constraints and objectives, while full-fidelity trajectory design tools often require more time and expertise than is available in early conceptual studies. Hence, some form of middle-ground modeling tool would provide value. This paper introduces the development of such a tool using Python. This tool, Keplerian Analysis for Versatile Evaluation of Arbitrary Trajectories (KAVEAT), implements a patched conics method that enforces continuity of state (time, mass, position, velocity) through all transitions between various spheres of influence on the trajectory. The trajectory is constructed in an object-oriented manner, dynamically assembling unique maneuvers such as departure burns, heliocentric transfers (ballistic or with electric propulsion), and planetary flybys (powered or unpowered). Each maneuver has its own specific set of basic inputs needed to define it. The tool then takes these defined maneuvers, strings them together creating all the interdependencies required, and solves for the ideal trajectory using a gradient-based optimizer.

Katherine T McBrayer↗

Describing hadronization via histories and observables for Monte-Carlo event reweighting

We introduce a novel method for extracting a fragmentation model directly from experimental data without requiring an explicit parametric form, called Histories and Observables for Monte-Carlo Event Reweighting (HOMER), consisting of three steps: the training of a classifier between simulation and data, the inference of single fragmentation weights, and the calculation of the weight for the full hadronization chain. We illustrate the use of HOMER on a simplified hadronization problem, a q\bar{q} q q ‾ string fragmenting into pions, and extract a modified Lund string fragmentation function f(z) f ( z ) . We then demonstrate the use of HOMER on three types of experimental data: (i) binned distributions of high-level observables, (ii) unbinned event-by-event distributions of these observables, and (iii) full particle cloud information. After demonstrating that f(z) f ( z ) can be extracted from data (the inverse of hadronization), we also show that, at least in this limited setup, the fidelity of the extracted f(z) f ( z ) suffers only limited loss when moving from (i) to (ii) to (iii). Public code is available at https://gitlab.com/uchep/mlhad.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Simulations of Hyperthermal Oxygen Beam Exposures

Pulsed sources of hyper-thermal O-atoms are now being extensively used to simulate low-earth orbit (LEO) surface exposure environments. The peak flux of these sources is many orders of magnitude larger than the corresponding LEO flux. Although it is desirable to accelerate the test by using higher fluxes than found in LEO, even commonly used fluxes are large enough to produce multi-collision effects by causing a build-up of gas at the sample surface. In this paper we characterize the physical consequences to the experiment using the direct simulation Monte Carlo (DSMC) method, DSMC allows us to extract the distributions of energy and impact angle for the O-atoms that reach the surface, and to record how strongly the gas build-up at the target assembly deflects flux from downstream instrumentation. By considering a range of source fluxes, we determine the onset conditions and severity of these multi-collision effects. We find that even at common experimental fluxes with a normally incident beam string a flat surface sample, the energy distribution of incident O-atoms broadens and develops a significant low-energy tail. The angular distributions also broaden significantly. The number of O-atoms that reach downstream instrumentation is decreased by approximately 50%. These simulations will aid in the calibration of ground-based O-atom measurements,a nd provide a model for the energy and angular distributions of O-atoms that actually impinge on surface samples.

Finchum, A.↗

Toward distinguishing Dirac from Majorana neutrino mass with gravitational waves

We propose a new method toward distinguishing the Dirac versus Majorana nature of neutrino masses from the spectrum of gravitational waves (GWs) associated with neutrino mass genesis. Motivated by the principle of generating small neutrino masses without tiny Yukawa couplings, we assume generic seesaw mechanisms for both Majorana and Dirac neutrino masses. For Majorana neutrinos, we further assume a spontaneously broken gauged U ( 1 ) B − L symmetry, independently of the type of Majorana seesaw mechanism, which gives a cosmic string induced GW signal flat over a wide range of frequencies. For Dirac neutrinos, we assume the spontaneous breaking of a Z 2 symmetry, the minimal symmetry choice associated with all Dirac seesaw mechanisms, which is softly broken, generating a peaked GW spectrum from the annihilation of the resulting domain walls. In fact, the GW spectra for all types of Dirac seesaws with such a broken Z 2 symmetry are identical, subject to a mild caveat. As an illustrative example, we study the simplest respective type-I seesaw mechanisms, and show that the striking difference in the shapes of the GW spectra can help differentiate between these Dirac and Majorana seesaws, complementing results of neutrinoless double beta decay experiments. We also discuss detailed implications of the recent NANOGrav data for Majorana and Dirac seesaw models. Published by the American Physical Society 2024

Astronomy & Astrophysics↗

Constraining the Braneworld with Gravitational Wave Observations

Some braneworld models may have observable consequences that, if detected, would validate a requisite element of string theory. In the infinite Randall-Sundrum model (RS2), the AdS radius of curvature, L, of the extra dimension supports a single bound state of the massless graviton on the brane, thereby reproducing Newtonian gravity in the weak-field limit. However, using the AdS/CFT correspondence, it has been suggested that one possible consequence of RS2 is an enormous increase in Hawking radiation emitted by black holes. We utilize this possibility to derive two novel methods for constraining L via gravitational wave measurements. We show that the EMRI event rate detected by LISA can constrain L at the approximately 1 micron level for optimal cases, while the observation of a single galactic black hole binary with LISA results in an optimal constraint of L less than or equal to 5 microns.

McWilliams, Sean T.↗

Non-Semisimple TQFT's and BPS q -Series

We propose and in some cases prove a precise relation between 3-manifold invariants associated with quantum groups at roots of unity and at generic q. Both types of invariants are labeled by extra data which plays an important role in the proposed relation. Bridging the two sides - which until recently were developed independently, using very different methods - opens many new avenues. In one direction, it allows to study (and perhaps even to formulate) q-series invariants labeled by spin c structures in terms of non-semisimple invariants. In the opposite direction, it offers new insights and perspectives on various elements of non-semisimple TQFT's, bringing the latter into one unifying framework with other invariants of knots and 3-manifolds that recently found realization in quantum field theory and in string theory.

3-manifold invariants↗

HDSense: An efficient method for ranking observable sensitivity

Identifying which observables most effectively constrain model parameters can be computationally prohibitive when considering full likelihoods of many correlated observables. This is especially important for, e.g., hadronization models, where high precision is required to interpret the results of collider experiments. We introduce the High-Dimensional Sensitivity (HDSense) score, a computationally efficient metric for ranking observable sets using only one-dimensional histograms. Derived by profiling over unknown correlations in the Fisher information framework, the score balances total information content against redundancy between observables. We apply HDSense to rank a set observables in terms of their constraining power with respect to five parameters of the Lund string model of hadronization implemented in Pythia using simulated leptonic collider events at the $Z$ pole. Validation against machine-learning--based full-likelihood approximations demonstrates that HDSense successfully identifies near-optimal observable subsets. The framework naturally handles data from multiple experiments with different acceptances and incorporates detector effects. While demonstrated on hadronization models, the methodology applies broadly to generic parameter estimation problems where correlations are unknown or difficult to model.

Assi, Benoît [Cincinnati U.] (ORCID:00000003092433↗

Stable vacua with realistic phenomenology and cosmology in heterotic M-theory satisfying Swampland conjectures

We recently described a protocol for computing the potential energy in heterotic M-theory for the dilaton, complex structure and Kähler moduli. This included the leading order non-perturbative contributions to the complex structure, gaugino condensation and worldsheet instantons assuming a hidden sector that contains an anomalous U(1) structure group embedded in E8. In this paper, we elucidate, in detail, the mathematical and computational methods required to utilize this protocol. These methods are then applied to a realistic heterotic M-theory model, the B – L MSSM, whose observable sector is consistent with all particle physics requirements. Within this context, it is shown that the dilaton and universal moduli can be completely stabilized at values compatible with every phenomenological and mathematical constraint — as well as with ΛCDM cosmology. We also show that the heterotic M-theory vacua are consistent with all well-supported Swampland conjectures based on considerations of string theory and quantum gravity, and we discuss the implications of dark energy theorems for compactified theories.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Universal Bound on Effective Central Charge and Its Saturation

The effective central charge (denoted by 𝑐 eff ) is a measure of entanglement through a conformal interface, while the transmission coefficient (encoded in the coefficient 𝑐 𝐿⁢𝑅 of the two-point function of the energy-momentum tensor across the interface) is a measure of energy transmission through the interface. It has been pointed out that these two are generally different. In this Letter, we propose the inequalities, 0 ≤ 𝑐 𝐿⁢𝑅 ≤ 𝑐 eff ≤ min⁡(𝑐 𝐿 ,𝑐 𝑅 ). They have the simple but important implication that the amount of energy transmission can never exceed the amount of information transmission. We verify them using the AdS/CFT correspondence, using the perturbation method, and in examples beyond holography. We also show that these inequalities are sharp by constructing a class of interfaces that saturate them.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗