
We prove the existence and uniqueness of weak solution of a Neumann boundary
problem for an elliptic partial differential equation (PDE for short) with a
singular divergence term which can only be understood in a weak sense. A
probabilistic approach is applied by studying the backward stochastic
differential equation (BSDE for short) corresponding to the PDE.

In this paper, we establish an existence and uniqueness result for system of
quasilinear stochastic partial differential equations (SPDEs for short) with
reflection in a convex domain in R^k by analytical approach. The method is
based on the approximation of the penalized systems of SPDEs.

We prove the existence and uniqueness of solution of quasilinear stochastic
partial differential equations with obstacle (OSPDEs in short) in degenerate
case. Using De Giorgi's iteration, we deduce the $L^p$estimates for the
timespace uniform norm of weak solutions.

We prove the existence and uniqueness of solution of the obstacle problem for
quasilinear stochastic partial differential equations (OSPDEs for short) with
Neumann boundary condition. Our method is based on the analytical technics
coming from parabolic potential theory. The solution is expressed as a pair
$(u,\nu)$ where $u$ is a predictable continuous process which takes values in a
proper Sobolev space and $\nu$ is a random regular measure satisfying minimal
Skohorod condition.

We prove an existence and uniqueness result for the obstacle problem for
quasilinear stochastic integralpartial differential equations. Our method is
based on the probabilistic interpretation of the solution using backward doubly
SDEs with jumps.

The success of current deep saliency detection methods heavily depends on the
availability of largescale supervision in the form of perpixel labeling. Such
supervision, while laborintensive and not always possible, tends to hinder the
generalization ability of the learned models. By contrast, traditional
handcrafted features based unsupervised saliency detection methods, even though
have been surpassed by the deep supervised methods, are generally
datasetindependent and could be applied in the wild. This raises a natural
question that "Is it possible to learn saliency maps without using labeled data
while improving the generalization ability?". To this end, we present a novel
perspective to unsupervised saliency detection through learning from multiple
noisy labeling generated by "weak" and "noisy" unsupervised handcrafted
saliency methods. Our endtoend deep learning framework for unsupervised
saliency detection consists of a latent saliency prediction module and a noise
modeling module that work collaboratively and are optimized jointly. Explicit
noise modeling enables us to deal with noisy saliency maps in a probabilistic
way. Extensive experimental results on various benchmarking datasets show that
our model not only outperforms all the unsupervised saliency methods with a
large margin but also achieves comparable performance with the recent
stateoftheart supervised deep saliency methods.

This paper proposes an importance weighted adversarial netsbased method for
unsupervised domain adaptation, specific for partial domain adaptation where
the target domain has less number of classes compared to the source domain.
Previous domain adaptation methods generally assume the identical label spaces,
such that reducing the distribution divergence leads to feasible knowledge
transfer. However, such an assumption is no longer valid in a more realistic
scenario that requires adaptation from a larger and more diverse source domain
to a smaller target domain with less number of classes. This paper extends the
adversarial netsbased domain adaptation and proposes a novel adversarial
netsbased partial domain adaptation method to identify the source samples that
are potentially from the outlier classes and, at the same time, reduce the
shift of shared classes between domains.

Rado's Conjecture is a compactness/reflection principle that says any
nonspecial tree of height $\omega_1$ has a nonspecial subtree of size $\leq
\aleph_1$. Though incompatible with Martin's Axiom, Rado's Conjecture turns out
to have many interesting consequences that are consequences of forcing axioms.
In this paper, we obtain consistency results concerning Rado's Conjecture and
its Baire version. In particular, we present a new method of establishing the
consistency of the Baire version of Rado's Conjecture through the countable
support iteration of Sacks forcing of length $\kappa$ where $\kappa$ is a
strongly compact cardinal. We also show that Rado's conjecture and $\neg CH$
does not imply the super tree property at $\omega_2$, answering a question by
TorresP\'erez and Wu. Even though the Baire version of Rado's Conjecture is
sufficient to obtain most of the combinatorial consequences of Rado's
Conjecture, we show that in general the Baire version of Rado's Conjecture does
not imply Rado's Conjecture. Then we discuss the strength and limitations of
the Baire Rado's Conjecture by showing that it implies the almost disjoint
property at a singular cardinal but it is not strong enough to imply
simultaneous stationary reflection and some versions of the weak square
principles. Finally we investigate the influence of the Rado's Conjecture on
some polarized partition relations.

This paper presents a novel multitask learningbased method for unsupervised
domain adaptation. Specifically, the source and target domain classifiers are
jointly learned by considering the geometry of target domain and the divergence
between the source and target domains based on the concept of multitask
learning. Two novel algorithms are proposed upon the method using Regularized
Least Squares and Support Vector Machines respectively. Experiments on both
synthetic and real world cross domain recognition tasks have shown that the
proposed methods outperform several stateoftheart domain adaptation methods.

We report on the efficient gray molasses cooling of sodium atoms can be
realized using $D_{2}$ optical transition at 589.1 $nm$. Thanks to the large
hyperfine split about $6\Gamma$ between the $F'=2\rangle$ and $F'=3\rangle$
in the excited state 3$^{2}P_{3/2}$, this atomic transition is effective for
the gray molasses cooling mechanism. Using this cooling technology, the atomic
sample in $F = 2$ ground manifold is cooled from 700 $\mu K$ to 56 $\mu K$ in
3.5 $ms$. We observe the loading efficiency into magnetic trap is increased due
to the lower temperature and high phase space density of atomic cloud after
gray molasses. This technique offers a promising route for fast cooling the
sodium atoms in $F=2$ state.

We investigate the single photon scattering by an emitter chirally coupled to
a onedimensional waveguide. The singlephoton transport property is
essentially different from the symmetrical coupling case. The single photons
propagating towards the emitter in opposite directions show different
transmission behaviors, which is a manifestation of the singlephoton diode. In
the ideal chiral coupling case, the transmission probability of the single
photon transport in one direction is zero by critical coupling, while in the
opposite direction it is unity. The diode works well only when the
singlephoton frequency meets certain conditions. For a twolevel emitter, the
diode works well when the single photon is nearly resonant to the emitter. For
a $\Lambda $type threelevel emitter, when the singlephoton frequency is
greatly altered, we can adjust the parameters of the external laser to ensure
the diode works well. The latter provides a manner to realize a singlephoton
switch, in which the singlephoton transmission probability can reach zero or
unity although the emitter's decay is considered.

Nonlocal diffusion model provides an appropriate description of the diffusion
process of solute in the complex medium, which cannot be described properly by
classical theory of PDE. However, the operators in the nonlocal diffusion
models are nonlocal, so the resulting numerical methods generate dense or full
stiffness matrices. This imposes significant computational and memory challenge
for a nonlocal diffusion model.
In this paper, we develop a spectral collocation method for the nonlocal
diffusion model and provide a rigorous error analysis which theoretically
justifies the spectral rate of convergence provided that the kernel functions
and the source functions are sufficiently smooth. Compared to finite difference
methods and finite element methods, because of the high order convergence
rates, the numerical cost of spectral collocation methods will be greatly
decreased. Numerical results confirm the exponential rate of convergence.

We prove an existence and uniqueness result for Neumann boundary problem of a
parabolic partial differential equation (PDE for short) with a singular
nonlinear divergence term which can only be understood in a weak sense. A
probabilistic approach is applied by studying the backward stochastic
differential equations (BSDEs for short) corresponding to the PDEs, the
solution of which turns out to be a limit of a sequence of BSDEs constructed by
penalization method.

Manipulating quantum state via electrostatic gating has been intriguing for
many model systems in nanoelectronics. When it comes to the question of
controlling the electron spins, more specifically, the magnetism of a system,
tuning with electric field has been proven to be elusive. Recently, magnetic
layered semiconductors have attracted much attention due to their emerging new
physical phenomena. However, challenges still remain in the demonstration of a
gate controllable magnetism based on them. Here, we show that, via ionic
gating, strong field effect can be observed in fewlayered semiconducting
Cr$_{2}$Ge$_{2}$Te$_{6}$ devices. At different gate doping, microarea Kerr
measurements in the studied devices demonstrate tunable magnetization loops
below the Curie temperature, which is tentatively attributed to the moment
rebalance in the spinpolarized band structure. Our findings of electricfield
controlled magnetism in van der Waals magnets pave the way for potential
applications in new generation magnetic memory storage, sensors, and
spintronics.

In this paper, we introduce the prolate spheroidal wave functions (PSWFs) of
real order $\alpha>1$ on the unit ball in arbitrary dimension, termed as ball
PSWFs. They are eigenfunctions of both a weighted concentration integral
operator, and a SturmLiouville differential operator. Different from existing
works on multidimensional PSWFs, the ball PSWFs are defined as a
generalisation of orthogonal {\em ball polynomials} in primitive variables with
a tuning parameter $c>0$, through a "perturbation" of the SturmLiouville
equation of the ball polynomials. From this perspective, we can explore some
interesting intrinsic connections between the ball PSWFs and the finite Fourier
and Hankel transforms. We provide an efficient and accurate algorithm for
computing the ball PSWFs and the associated eigenvalues, and present various
numerical results to illustrate the efficiency of the method. Under this
uniform framework, we can recover the existing PSWFs by suitable variable
substitutions.

Exchange of crucial and confidential information leads to the unprecedented
attention on the security problem in wireless networks. Though the security has
been studied in a number of works, the joint optimization of the physical layer
security and the endtoend delay management, which requires a meticulous
crosslayer design, has seldom been evaluated. In this work, by combining the
tools from stochastic geometry and queueing theory, we analyze the tradeoff
between the delay and the security performance in large wireless networks. We
further propose a simple transmission mechanism which splits a message into two
packets and evaluate its effect on the mean delay and the secrecy outage
probability. Our numerical results reveal that the security performance is
better for larger path loss exponent when the density of legitimate nodes is
large, and it is reverse when the density is small. Moreover, it is observed
that by introducing the simple mechanism of message split, the security
performance is greatly improved in the backlogged scenario and slightly
improved in the dynamic scenario when the density of legitimate transmitters is
large. In summary, this work provides an understanding and a ruleofthumb for
the practical design of wireless networks where both the delay and the security
are key concerns.

Modeling statistical regularities is the problem of representing the pixel
distributions in natural images, and usually applied to solve the illposed
image processing problems. In this paper, we present an extremely efficient CNN
architecture for modeling statistical regularities. Our method is based on the
observation that, by random sampling the pixels in natural images, we can
obtain a set of pixel ensembles in which the pixel value is independent
identically distributed. This leads to the idea of using 1*1 (pointwise)
convolution kernel instead of k*k convolution kernel to learn the feature
representation efficiently. Accordingly, we design a novel architecture with
fully pointwise convolutions to greatly reduce the model complexity while
maintaining the representation ability. Experiments on three applications:
color constancy, image dehazing and underwater image enhancement demonstrate
the superior performance of our proposed network over the existing
architectures, i.e., using 1/101/100 network parameters and computational cost
over the stateoftheart networks while achieving comparable accuracy. Codes
and models will be made publicly available.

Among the many functions a Smart City must support, transportation dominates
in terms of resource consumption, strain on the environment, and frustration of
its citizens. We study transportation networks under two different routing
policies, the commonly assumed selfish usercentric routing policy and a
sociallyoptimal systemcentric one. We consider a performance metric of
efficiency  the Price of Anarchy (PoA)  defined as the ratio of the total
travel latency cost under selfish routing over the corresponding quantity under
sociallyoptimal routing. We develop a datadriven approach to estimate the
PoA, which we subsequently use to conduct a case study using extensive actual
traffic data from the Eastern Massachusetts road network. To estimate the PoA,
our approach learns from data a complete model of the transportation network,
including origindestination demand and user preferences. We leverage this
model to propose possible strategies to reduce the PoA and increase efficiency.

Collective variable (CV) or order parameter based enhanced sampling
algorithms have achieved great success due to their ability to efficiently
explore the rough potential energy landscapes of complex systems. However, the
degeneracy of microscopic configurations, originating from the orthogonal space
perpendicular to the CVs, is likely to shadow "hidden barriers" and greatly
reduce the efficiency of CVbased sampling. Here we demonstrate that systematic
machine learning CV, through enhanced sampling, can iteratively lift such
degeneracies on the fly. We introduce an active learning scheme that consists
of a parametric CV learner based on deep neural network and a CVbased enhanced
sampler. Our active enhanced sampling (AES) algorithm is capable of identifying
the least informative regions based on a historical sample, forming a positive
feedback loop between the CV learner and sampler. This approach is able to
globally preserve kinetic characteristics by incrementally enhancing both
sample completeness and CV quality.

In this Letter we report the experimental results on optical control of a
pwave Feshbach resonance, by utilizing a laser driven boundtobound
transition to shift the energy of closed channel molecule. The magnetic field
location for pwave resonance as a function of laser detuning can be captured
by a simple formula with essentially one parameter, which describes how
sensitive the resonance depends on the laser detuning. The key result of this
work is to demonstrate, both experimentally and theoretically, that the ratio
between this parameter for $m=0$ resonance and that for $m=\pm 1$ resonance, to
large extent, is universal. We also show that this optical control can create
intriguing situations where interesting few and manybody physics can occurs,
such as a pwave resonance overlapping with an swave resonance or three pwave
resonances being degenerate.

Under Markovian assumptions, we leverage a Central Limit Theorem (CLT) for
the empirical measure in the test statistic of the composite hypothesis
Hoeffding test so as to establish weak convergence results for the test
statistic, and, thereby, derive a new estimator for the threshold needed by the
test. We first show the advantages of our estimator over an existing estimator
by conducting extensive numerical experiments. We find that our estimator
controls better for false alarms while maintaining satisfactory detection
probabilities. We then apply the Hoeffding test with our threshold estimator to
detecting anomalies in two distinct applications domains: one in communication
networks and the other in transportation networks. The former application seeks
to enhance cyber security and the latter aims at building smarter
transportation systems in cities.

There has been profound progress in visual saliency thanks to the deep
learning architectures, however, there still exist three major challenges that
hinder the detection performance for scenes with complex compositions, multiple
salient objects, and salient objects of diverse scales. In particular, output
maps of the existing methods remain low in spatial resolution causing blurred
edges due to the stride and pooling operations, networks often neglect
descriptive statistical and handcrafted priors that have potential to
complement saliency detection results, and deep features at different layers
stay mainly desolate waiting to be effectively fused to handle multiscale
salient objects. In this paper, we tackle these issues by a new fully
convolutional neural network that jointly learns salient edges and saliency
labels in an endtoend fashion. Our framework first employs convolutional
layers that reformulate the detection task as a dense labeling problem, then
integrates handcrafted saliency features in a hierarchical manner into lower
and higher levels of the deep network to leverage available information for
multiscale response, and finally refines the saliency map through dilated
convolutions by imposing context. In this way, the salient edge priors are
efficiently incorporated and the output resolution is significantly improved
while keeping the memory requirements low, leading to cleaner and sharper
object boundaries. Extensive experimental analyses on ten benchmarks
demonstrate that our framework achieves consistently superior performance and
attains robustness for complex scenes in comparison to the very recent
stateoftheart approaches.

With the emerging of the fifth generation (5G) mobile communication systems,
millimeter wave transmissions are believed to be a promising solution for
vehicular networks, especially in vehicle to vehicle (V2V) communications. In
millimeter wave V2V communications, different vehicular networking services
have different quality requirements for V2V multihop links. To evaluate the
quality of different V2V wireless links, a new link quality indicator is
proposed in this paper considering requirements of the realtime and the
reliability in V2V multihop links. Moreover, different weight factors are
configured to reflect the different requirements of different types of services
on realtime and reliability in the new quality indicator. Based on the
proposed link quality indicator, the relationship between V2V link quality and
onehop communication distance under different vehicle densities is analyzed in
this paper. Simulation results indicate that the link quality is improved with
the increasing of vehicle density and there exists an optimal onehop
communication distance for the link quality when the vehicle density is fixed.

We experimentally study a protocol of using the broadband high frequency
squeezed vacuum to detect the lowfrequency signal. In this scheme, the lower
sideband field of the squeezed light carries the low frequency modulation
signal and the two strong coherent light fields are applied as the bichromatic
local oscillator in the homodyne detection to measure the quantum entanglement
of the upper and lower sideband for the broadband squeezed light. The power of
one of the local oscillators for detecting the upper sideband can be adjusted
to optimize the conditional squeezing in the low frequency regime by
subtracting the photocurrent of the upper sideband field of the squeezed light
from that of the low sideband field. By means of the quantum correlation of the
upper and lower sideband for the broadband squeezed light, the low frequency
signal beyond the standard quantum limit is measured. This scheme is
appropriate for enhancing sensitivity of the low frequency signal by the aid of
the broad squeezed light, such as gravitational waes detection, and does not
need directly produce the low frequency squeezing in the optical parametric
process.

The classical HalpernL\"auchli theorem states that for any finite coloring
of a finite product of finitely branching perfect trees of height $\omega$,
there exist strong subtrees sharing the same level set such that tuples
consisting of elements lying on the same level get the same color. Relative to
large cardinals, we establish the consistency of a tail cone version of the
HalpernL\"auchli theorem at large cardinal, which, roughly speaking, deals
with many colorings simultaneously and diagonally. Among other applications, we
generalize a polarized partition relation on rational numbers due to Laver and
Galvin to one on linear orders of larger saturation.