
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
nonempty 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 twotorus 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 onebitspheredecoding for an uplink massive multipleinput
multipleoutput (MIMO) system with onebit analogtodigital 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 subvectors each
with reduced dimension. Then, it generates multiple spheres in parallel, where
each sphere is centered at the subvector and contains a list of subcodeword
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 performancecomplexity tradeoff achieved by the
proposed algorithm. Simulation results demonstrate that the proposed algorithm
achieves nearMLD performance, while reducing the computational complexity
compared to the existing MLD method.

Millimeterwave systems are characterized by the use of highly directional
antennas and the presence of blockages, which significantly alter the pathloss
and smallscale fading parameters. The received power of each interferer
depends on the direction it points and whether it is lineofsight (LOS),
nonLOS (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 nonLOS.
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 devicetodevice 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 righthanded neutrino fields, results in asymptotically free, {\it bona
fide} nonconfining $SU(3)_f$ quantum flavor dynamics. Approximate
nonperturbative strongcoupling solutions of the corresponding SchwingerDyson
(SD) equation for fermion selfenergies give rise to the complete flavor
symmetry breaking by : (1) Three huge Majorana masses of sterile righthanded
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 Laserranging Operation (APOLLO) began
millimeterprecision ranging to the Moon in 2006. Until now, a comprehensive
validation of APOLLO system range accuracy has not been possible because of
centimeterscale deficiencies in computational models of the EarthMoon range,
and because APOLLO lacked an internal timing calibration system. Here, we
report on the development of a system that enables insitu 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 fluctuationfree. 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 meannormalized 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 shortrange 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
frequencydomain 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 leftinvariant metric, and try to determine for
which such metrics the associated tube is entire. It is wellknown that the
Grauert tube of a biinvariant 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 rocksalt structure SnSe $\{111\}$ thin films. Previous studies have
suggested that the Seterminated surface of this thin film with hydrogen
passivation, has a reduced surface energy and is thus a preferred
configuration. In this paper, synchrotronbased angleresolved photoemission
spectroscopy, along with density functional theory calculations, are used to
demonstrate conclusively that a rocksalt SnSe $\{111\}$ thin film
epitaxiallygrown on \ce{Bi2Se3} has a stable Snterminated surface. These
observations are supported by low energy electron diffraction (LEED)
intensityvoltage measurements and dynamical LEED calculations, which further
show that the Snterminated 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 Seterminated counterpart, the observed Dirac
surface state in the Snterminated 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 exclusiveuse 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 tradeoffs, we consider a revenuepricing 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 typeI 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 lowtemperature
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 softpotential 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 typeI Ba8Ga16Sn30 show a
clear low temperature relaxation peak attributed to the influence of Ba
rattling dynamics on the frameworkatom resonance, with a quadrupolar
relaxation mechanism as the leading contribution. The data are analyzed using a
twophonon 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, twocenter 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 doubleperiodicity 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
exactsolvability is as well as all models known to us with the
(quasi)exactsolvability property for the separation equations. We find deep
connections between secondorder superintegrable and conformally
superintegrable systems and these tractable problems. In particular we derive a
general 4parameter expression for a model potential that is always integrable
and is conformally superintegrable for some parameter choices.

Massive multipleinput multipleoutput (MIMO) is a transmission technique for
cellular systems that uses many antennas to support notasmany 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
singleantenna network.

In the giant impact theory for lunar origin, the Moon forms from material
ejected by the impact into an Earthorbiting disk. Here we report the initial
results from a silicate meltvapor equilibrium chemistry model for such
impactgenerated planetary debris disks. In order to simulate the chemical
behavior of a twophase (melt+vapor) disk, we calculate the
temperaturedependent 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 hightemperature
chemistry is consistent for any silicate melt composition, and we thus expect
abundant SiO, O2, and O to be a common feature of hot, impactgenerated 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 solarcomposition 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 meltvapor disk produced
via collisions between rocky planets.

It is shown that a trellis realization can be locally reduced if it is not
statetrim, branchtrim, 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 tailbiting trellises is presented.

Codes constructed from connected spatially coupled lowdensity paritycheck
code (SCLDPCC) 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 SCLDPCC chain and require less computational
complexity per bit when operating in the nearthreshold 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
spintriplet supercurrent in Josephson junctions containing strong
ferromagnetic materials. Our own best results were obtained from largearea
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 multidomain, one would expect the sign of the local
currentphase 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
currentphase relation has the same sign across the entire area of the
junctions.

It has previously been shown that ensembles of terminated protographbased
lowdensity paritycheck (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 protographbased 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
nonempty 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 KeplerCoulomb 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 2sphere. 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 Iband 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 fullwidth 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 cochannel interference. Users
have to feedback CSI of the desired and interfering channels using
finitebandwidth backhaul links. Existing codebook designs for singlecell
limited feedback can be used for multicell cooperation by partitioning the
available feedback resources between the multiple channels. In this paper, a
new feedbackbit 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
GaussMarkov model. Closedform 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 sumrates than an equalbit allocation technique.