• High proved the following theorem. If the intersections of any two congruent copies of a plane convex body are centrally symmetric, then this body is a circle. In our paper we extend the theorem of High to spherical, Euclidean and hyperbolic spaces, under some regularity assumptions. Suppose that in any of these spaces there is a pair of closed convex sets of class $C^2_+$ with interior points, different from the whole space, and the intersections of any congruent copies of these sets are centrally symmetric (provided they have non-empty interiors). Then our sets are congruent balls. Under the same hypotheses, but if we require only central symmetry of small intersections, then our sets are either congruent balls, or paraballs, or have as connected components of their boundaries congruent hyperspheres (and the converse implication also holds). Under the same hypotheses, if we require central symmetry of all compact intersections, then either our sets are congruent balls or paraballs, or have as connected components of their boundaries congruent hyperspheres, and either $d \ge 3$, or $d=2$ and one of the sets is bounded by one hypercycle, or both sets are congruent parallel domains of straight lines, or there are no more compact intersections than those bounded by two finite hypercycle arcs (and the converse implication also holds). We also prove a dual theorem. If in any of these spaces there is a pair of smooth closed convex sets, such that both of them have supporting spheres at any of their boundary points --- for $S^d$ of radius less than $ \pi /2$ --- and the closed convex hulls of any congruent copies of these sets are centrally symmetric, then our sets are congruent balls.
  • In 1949 Siegel gave an example of a complex two-torus with no nonconstant meromorphic functions. In 1964 Kodaira showed that compact complex surfaces with no nonconstant meromorphic must be of the following three types: tori, Hopf type surfaces with first Betti number equal to one, and K3 surfaces. In this paper we show that surfaces of these three types have a dense set of surfaces in their natural moduli spaces with no nonconstant meromorphic functions.
  • This paper presents a low complexity maximum likelihood detection (MLD) algorithm called one-bit-sphere-decoding for an uplink massive multiple-input multiple-output (MIMO) system with one-bit analog-to-digital converters (ADCs). The idea of the proposed algorithm is to estimate the transmitted symbol vector sent by uplink users (a codeword vector) by searching over a sphere, which contains a collection of codeword vectors close to the received signal vector at the base station in terms of a weighted Hamming distance. To reduce the computational complexity for the construction of the sphere, the proposed algorithm divides the received signal vector into multiple sub-vectors each with reduced dimension. Then, it generates multiple spheres in parallel, where each sphere is centered at the sub-vector and contains a list of sub-codeword vectors. The detection performance of the proposed algorithm is also analyzed by characterizing the probability that the proposed algorithm worse than the MLD. The analysis shows how the number of the spheres and the dimension of each sphere are related to the performance-complexity tradeoff achieved by the proposed algorithm. Simulation results demonstrate that the proposed algorithm achieves near-MLD performance, while reducing the computational complexity compared to the existing MLD method.
  • Millimeter-wave systems are characterized by the use of highly directional antennas and the presence of blockages, which significantly alter the path-loss and small-scale fading parameters. The received power of each interferer depends on the direction it points and whether it is line-of-sight (LOS), non-LOS (i.e., partially blocked), or completely blocked. While interferers that are sufficiently far away will almost certainly be completely blocked, a finite number of interferers in close proximity will be subject to random partial blockages. Previous attempts to characterize mmWave networks have made the simplifying assumption that all interferers within some radius, called the LOS ball, are unblocked, while interferers beyond that radius are non-LOS. However, compared to simulation results, the LOS ball assumption tends to overestimate outage. In this paper, we present an accurate yet tractable analysis of finite mmWave networks that dispenses with the LOS ball assumption. In the analysis, each interferer has a distribution that is selected randomly from several possibilities, each representing different blockage and directivity states. First, the exact outage probability is found for a finite network with interferers in fixed locations. Then, the spatially averaged outage probability is found by averaging over the interferer locations. While the focus is on device-to-device networks, the analysis is general enough to find applications outside of the present mmWave framework.
  • Gauging the flavor (family, generation, horizontal) index of the chiral fermion fields of the Standard model, for anomaly freedom extended by three sterile right-handed neutrino fields, results in asymptotically free, {\it bona fide} nonconfining $SU(3)_f$ quantum flavor dynamics. Approximate nonperturbative strong-coupling solutions of the corresponding Schwinger-Dyson (SD) equation for fermion self-energies give rise to the complete flavor symmetry breaking by : (1) Three huge Majorana masses of sterile right-handed neutrinos. (2) Three exponentially light Dirac masses common to all fermion sorts in a family. Masses of charged leptons and quarks are further distinguished from Dirac neutrino masses by the weak hypercharge contributions to the universal $SU(3)_f$ kernel of the SD equation, free of unknown parameters. The $SU(3)_f$ dynamics itself thus gives the neutrino mass spectrum in the seesaw form.
  • The Apache Point Observatory Lunar Laser-ranging Operation (APOLLO) began millimeter-precision ranging to the Moon in 2006. Until now, a comprehensive validation of APOLLO system range accuracy has not been possible because of centimeter-scale deficiencies in computational models of the Earth-Moon range, and because APOLLO lacked an internal timing calibration system. Here, we report on the development of a system that enables in-situ calibration of the timing response of the APOLLO apparatus, simultaneous with lunar range measurements. The system was installed in August 2016. Preliminary results show that the APOLLO system can provide lunar range measurements with millimeter accuracy.
  • Studying the coherence of an optical field is typically compartmentalized with respect to its different optical degrees of freedom (DoFs) -- spatial, temporal, and polarization. Although this traditional approach succeeds when the DoFs are uncoupled, it fails at capturing key features of the field's coherence if the DOFs are indeed correlated -- a situation that arises often. By viewing coherence as a `resource' that can be shared among the DoFs, it becomes possible to convert the entropy associated with the fluctuations in one DoF to another DoF that is initially fluctuation-free. Here, we verify experimentally that coherence can indeed be reversibly exchanged -- without loss of energy -- between polarization and the spatial DoF of a partially coherent field. Starting from a linearly polarized spatially incoherent field -- one that produces no spatial interference fringes -- we obtain a spatially coherent field that is unpolarized. By reallocating the entropy to polarization, the field becomes invariant with regards to the action of a polarization scrambler, thus suggesting a strategy for avoiding the deleterious effects of a randomizing system on a DoF of the optical field.
  • Increasing safety and automation in transportation systems has led to the proliferation of radar and IEEE 802.11 dedicated short range communication (DSRC) in vehicles. Current implementations of vehicular radar devices, however, are expensive, use a substantial amount of bandwidth, and are susceptible to multiple security risks. Consider the feasibility of using an IEEE 802.11 orthogonal frequency division multiplexing (OFDM) communications waveform to perform radar functions. In this paper, we present an approach that determines the mean-normalized channel energy from frequency domain channel estimates and models it as a direct sinusoidal function of target range, enabling closest target range estimation. In addition, we propose an alternative to vehicular forward collision detection by extending IEEE 802.11 dedicated short-range communications (DSRC) and WiFi technology to radar, providing a foundation for joint communications and radar framework. Furthermore, we perform an experimental demonstration using existing IEEE 802.11 devices with minimal modification through algorithm processing on frequency-domain channel estimates. The results of this paper show that our solution delivers similar accuracy and reliability to mmWave radar devices with as little as 20 MHz of spectrum (doubling DSRC's 10 MHz allocation), indicating significant potential for industrial devices with joint vehicular communications and radar capabilities.
  • Let M be a real analytic Riemannian manifold. An adapted complex structure on TM is a complex structure on a neighborhood of the zero section such that the leaves of the Riemann foliation are complex submanifolds. This structure is called entire if it may be extended to the whole of TM. We call such manifolds Grauert tubes, or simply tubes. We consider here the case of M = G a compact connected Lie group with a left-invariant metric, and try to determine for which such metrics the associated tube is entire. It is well-known that the Grauert tube of a bi-invariant metric on a Lie group is entire. The case of the smallest group SU(2) is treated completely, thanks to the complete integrability of the geodesic flow for such a metric, a standard result in classical mechanics. Along the way we find a new obstruction to tubes being entire which is made visible by the complete integrability.
  • Topological crystalline insulators have been recently predicted and observed in rock-salt structure SnSe $\{111\}$ thin films. Previous studies have suggested that the Se-terminated surface of this thin film with hydrogen passivation, has a reduced surface energy and is thus a preferred configuration. In this paper, synchrotron-based angle-resolved photoemission spectroscopy, along with density functional theory calculations, are used to demonstrate conclusively that a rock-salt SnSe $\{111\}$ thin film epitaxially-grown on \ce{Bi2Se3} has a stable Sn-terminated surface. These observations are supported by low energy electron diffraction (LEED) intensity-voltage measurements and dynamical LEED calculations, which further show that the Sn-terminated SnSe $\{111\}$ thin film has undergone a surface structural relaxation of the interlayer spacing between the Sn and Se atomic planes. In sharp contrast to the Se-terminated counterpart, the observed Dirac surface state in the Sn-terminated SnSe $\{111\}$ thin film is shown to yield a high Fermi velocity, $0.50\times10^6$m/s, which suggests a potential mechanism of engineering the Dirac surface state of topological materials by tuning the surface configuration.
  • Sharing the spectrum among multiple operators seems promising in millimeter wave (mmWave) systems. One explanation is the highly directional transmission in mmWave, which reduces the interference caused by one network on the other networks sharing the same resources. In this paper, we model a mmWave cellular system where an operator that primarily owns an exclusive-use license of a certain band can sell a restricted secondary license of the same band to another operator. This secondary network has a restriction on the maximum interference it can cause to the original network. Using stochastic geometry, we derive expressions for the coverage and rate of both networks, and establish the feasibility of secondary licensing in licensed mmWave bands. To explain economic trade-offs, we consider a revenue-pricing model for both operators in the presence of a central licensing authority. Our results show that the original operator and central network authority can benefit from secondary licensing when the maximum interference threshold is properly adjusted. This means that the original operator and central licensing authority have an incentive to permit a secondary network to restrictively share the spectrum. Our results also illustrate that the spectrum sharing gains increase with narrow beams and when the network densifies.
  • Anharmonic guest atom oscillation has direct connection to the thermal transport and thermo- electric behavior of type-I Ba8Ga16Sn30 clathrates. This behavior can be observed through several physical properties, with for example the heat capacity providing a measure of the overall excita- tion level structure. Localized anharmonic excitations also influence the low-temperature resistivity, as we show in this paper. By combining heat capacity, transport measurements and our previous NMR relaxation results, we address the distribution of local oscillators in this material, as well as the shape of the confining potential and the excitation energies for Ba(2) ions in the cages. We also compare to the soft-potential model and other models used for similar systems. The results show good agreement between the previously deduced anharmonic rattler potential and experimental data.
  • Atomic motion of guest atoms inside semiconducting clathrate cages is considered as an important source for the glasslike thermal behavior.69Ga and 71Ga Nuclear Magnetic Resonance (NMR) studies on type-I Ba8Ga16Sn30 show a clear low temperature relaxation peak attributed to the influence of Ba rattling dynamics on the framework-atom resonance, with a quadrupolar relaxation mechanism as the leading contribution. The data are analyzed using a two-phonon Raman process, according to a recent theory involving localized anharmonic oscillators. Excellent agreement is obtained using this model, with the parameters corresponding to a uniform array of localized oscillators with very large anharmonicity.
  • A very large lobe overflow event is suggested to explain the $0.^m4$ brightening observed in K band at pericenter passage of the star known as S2 that orbits the Galaxy's supermassive black hole (SMBH). Known observed properties of S2 that contribute to lobe filling are 1) the enormous mass ratio, $M_{SMBH}/M_{S2}$, 2) S2's fast rotation, and 3) S2's large orbital eccentricity. Published estimates have given limiting lobe sizes of order 100 to 300 $R_\odot$ but, with S2's fast rotation taken into account, the computed lobe size is much smaller, being compatible with either a main sequence OB star or a stripped evolved star. An important evolutionary consideration that predicts very large pericenter overflows is envelope expansion following mass loss that is characteristic of highly evolved stars. Material removed by lobe overflow at pericenter is replenished by envelope expansion as an evolved star awaits its next pericenter passage. An observational signature of lobe overflow for upcoming pericenter passages would be appearance of emission lines as the ejected gas expands and becomes optically thin.
  • We analyze one particle, two-center quantum problems which admit separation of variables in prolate spheroidal coordinates, a natural restriction satisfied by the H$_2^+$ molecular ion. The symmetry operator is constructed explicitly. We give the details of the Hamiltonian reduction of the 3D system to a 2D system with modified potential that is separable in elliptic coordinates. The potentials for which there is double-periodicity of the Schr\"odinger operator in the space of prolate spheroidal coordinates, including one for the H$_2^+$ molecular ion, are indicated. We study possible potentials that admit exact-solvability is as well as all models known to us with the (quasi)-exact-solvability property for the separation equations. We find deep connections between second-order superintegrable and conformally superintegrable systems and these tractable problems. In particular we derive a general 4-parameter expression for a model potential that is always integrable and is conformally superintegrable for some parameter choices.
  • Massive multiple-input multiple-output (MIMO) is a transmission technique for cellular systems that uses many antennas to support not-as-many users. Thus far, the performance of massive MIMO has only been examined in finite cellular networks. In this letter, we analyze its performance in random cellular networks with Poisson distributed base station locations. Specifically, we provide analytical expressions for the asymptotic coverage probability and rate in both downlink and uplink when each base station has a large number of antennas. The results show that, though limited by pilot contamination, massive MIMO can provide significantly higher asymptotic data rate per user than the single-antenna network.
  • In the giant impact theory for lunar origin, the Moon forms from material ejected by the impact into an Earth-orbiting disk. Here we report the initial results from a silicate melt-vapor equilibrium chemistry model for such impact-generated planetary debris disks. In order to simulate the chemical behavior of a two-phase (melt+vapor) disk, we calculate the temperature-dependent pressure and chemical composition of vapor in equilibrium with molten silicate from 2000 to 4000 K. We consider the elements O, Na, K, Fe, Si, Mg, Ca, Al, Ti, and Zn for a range of bulk silicate compositions (Earth, Moon, Mars, eucrite parent body, angrites, and ureilites). In general, the disk atmosphere is dominated by Na, Zn, and O2 at lower temperatures (< 3000 K) and SiO, O2, and O at higher temperatures. The high-temperature chemistry is consistent for any silicate melt composition, and we thus expect abundant SiO, O2, and O to be a common feature of hot, impact-generated debris disks. In addition, the saturated silicate vapor is highly oxidizing, with oxygen fugacity (fO2) values (and hence H2O/H2 and CO2/CO ratios) several orders of magnitude higher than those in a solar-composition gas. High fO2 values in the disk atmosphere are found for any silicate composition because oxygen is the most abundant element in rock. We thus expect high oxygen fugacity to be a ubiquitous feature of any silicate melt-vapor disk produced via collisions between rocky planets.
  • It is shown that a trellis realization can be locally reduced if it is not state-trim, branch-trim, proper, observable, and controllable. These conditions are not sufficient for local irreducibility. Making use of notions that amount to "almost unobservability/uncontrollability", a necessary and sufficient criterion of local irreducibility for tail-biting trellises is presented.
  • Codes constructed from connected spatially coupled low-density parity-check code (SC-LDPCC) chains are proposed and analyzed. It is demonstrated that connecting coupled chains results in improved iterative decoding performance. The constructed protograph ensembles have better iterative decoding thresholds compared to an individual SC-LDPCC chain and require less computational complexity per bit when operating in the near-threshold region. In addition, it is shown that the proposed constructions are asymptotically good in terms of minimum distance.
  • In 2010, several experimental groups obtained compelling evidence for spin-triplet supercurrent in Josephson junctions containing strong ferromagnetic materials. Our own best results were obtained from large-area junctions containing a thick central Co/Ru/Co "synthetic antiferromagnet" and two thin outer layers made of Ni or PdNi alloy. Because the ferromagnetic layers in our samples are multi-domain, one would expect the sign of the local current-phase relation inside the junctions to vary randomly as a function of lateral position. Here we report measurements of the area dependence of the critical current in several samples, where we find some evidence for those random sign variations. When the samples are magnetized, however, the critical current becomes clearly proportional to the area, indicating that the current-phase relation has the same sign across the entire area of the junctions.
  • It has previously been shown that ensembles of terminated protograph-based low-density parity-check (LDPC) convolutional codes have a typical minimum distance that grows linearly with block length and that they are capable of achieving capacity approaching iterative decoding thresholds on the binary erasure channel (BEC). In this paper, we review a recent result that the dramatic threshold improvement obtained by terminating LDPC convolutional codes extends to the additive white Gaussian noise (AWGN) channel. Also, using a (3,6)-regular protograph-based LDPC convolutional code ensemble as an example, we perform an asymptotic trapping set analysis of terminated LDPC convolutional code ensembles. In addition to capacity approaching iterative decoding thresholds and linearly growing minimum distance, we find that the smallest non-empty trapping set of a terminated ensemble grows linearly with block length.
  • Recently the authors and J.M. Kress presented a special function recurrence relation method to prove quantum superintegrability of an integrable 2D system that included explicit constructions of higher order symmetries and the structure relations for the closed algebra generated by these symmetries. We applied the method to 5 families of systems, each depending on a rational parameter k, including most notably the caged anisotropic oscillator, the Tremblay, Turbiner and Winternitz system and a deformed Kepler-Coulomb system. Here we work out the analogs of these constructions for all of the associated classical Hamiltonian systems, as well as for a family including the generic potential on the 2-sphere. We do not have a proof in every case that the generating symmetries are of lowest possible order, but we believe this to be so via an extension of our method.
  • We discuss various forms of the Plancherel Formula and the Plancherel Theorem on reductive groups over local fields.
  • The adaptive optics system at the 3.6 m AEOS telescope was used to measure the astrometry and differential magnitude in I-band of 56 binary stars in 2002. The astrometric measurements will be of use for future orbital determination, and the photometric measurements will be of use in estimating the spectral types of the component stars. Two candidate companions were detected, but neither is likely to be gravitationally bound. Nine systems had not been observed in over 40 years. Eight of these are shown to share common proper motion, while HD 182352 is shown to be a background star. One of the two components of the HD 114378 (Alpha Com) is shown to be a variable star of unknown type. In addition, 86 stars were unresolved and the full-width half maxima of the images are presented.
  • Base station cooperation can exploit knowledge of the users' channel state information (CSI) at the transmitters to manage co-channel interference. Users have to feedback CSI of the desired and interfering channels using finite-bandwidth backhaul links. Existing codebook designs for single-cell limited feedback can be used for multicell cooperation by partitioning the available feedback resources between the multiple channels. In this paper, a new feedback-bit allocation strategy is proposed, as a function of the delays in the communication links and received signal strengths in the downlink. Channel temporal correlation is modeled as a function of delay using the Gauss-Markov model. Closed-form expressions for bit partitions are derived to allocate more bits to quantize the stronger channels with smaller delays and fewer bits to weaker channels with larger delays, assuming random vector quantization. Cellular network simulations are used to show that the proposed algorithm yields higher sum-rates than an equal-bit allocation technique.