• ### The Neumann Boundary Problem for Elliptic Partial Differential Equations with Nonlinear Divergence Terms(1804.08469)

April 23, 2018 math.PR
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.
• ### Systems of Reflected Stochastic PDEs in a Convex Domain: Analytical Approach(1804.08478)

April 23, 2018 math.PR
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.
• ### The Obstacle Problem for Quasilinear Stochastic PDEs with Degenerate Operator(1804.09050)

April 23, 2018 math.PR
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 time-space uniform norm of weak solutions.
• ### The Obstacle Problem for Quasilinear Stochastic PDEs with Neumann boundary condition(1804.09051)

April 23, 2018 math.PR
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.
• ### The Obstacle Problem for Quasilinear Stochastic Integral-Partial Differential Equations(1804.09038)

April 22, 2018 math.PR
We prove an existence and uniqueness result for the obstacle problem for quasilinear stochastic integral-partial differential equations. Our method is based on the probabilistic interpretation of the solution using backward doubly SDEs with jumps.
• ### Deep Unsupervised Saliency Detection: A Multiple Noisy Labeling Perspective(1803.10910)

March 29, 2018 cs.CV
The success of current deep saliency detection methods heavily depends on the availability of large-scale supervision in the form of per-pixel labeling. Such supervision, while labor-intensive 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 dataset-independent 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 end-to-end 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 state-of-the-art supervised deep saliency methods.

March 28, 2018 cs.CV
This paper proposes an importance weighted adversarial nets-based 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 nets-based domain adaptation and proposes a novel adversarial nets-based 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 and its Baire version(1712.02455)

March 26, 2018 math.LO
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 Torres-P\'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.

March 25, 2018 cs.CV
This paper presents a novel multi-task learning-based 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 multi-task 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 state-of-the-art domain adaptation methods.
• ### Sub-Doppler laser cooling of 23Na in gray molasses on the D2 line(1803.05108)

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.
• ### Tunable single-photon diode by chiral quantum physics(1803.04086)

March 12, 2018 quant-ph
We investigate the single photon scattering by an emitter chirally coupled to a one-dimensional waveguide. The single-photon 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 single-photon 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 single-photon frequency meets certain conditions. For a two-level emitter, the diode works well when the single photon is nearly resonant to the emitter. For a $\Lambda$-type three-level emitter, when the single-photon 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 single-photon switch, in which the single-photon transmission probability can reach zero or unity although the emitter's decay is considered.
• ### A spectral collocation method for nonlocal diffusion equations(1802.10545)

Feb. 28, 2018 math.NA
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.
• ### Neumann Boundary Problem for Parabolic Partial Differential Equations with Divergence Terms(1802.07626)

Feb. 21, 2018 math.PR
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.
• ### Electric-field control of magnetism in few-layered van der Waals magnet(1802.06255)

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 few-layered semiconducting Cr$_{2}$Ge$_{2}$Te$_{6}$ devices. At different gate doping, micro-area Kerr measurements in the studied devices demonstrate tunable magnetization loops below the Curie temperature, which is tentatively attributed to the moment re-balance in the spin-polarized band structure. Our findings of electric-field controlled magnetism in van der Waals magnets pave the way for potential applications in new generation magnetic memory storage, sensors, and spintronics.
• ### Ball Prolate Spheroidal Wave Functions In Arbitrary Dimensions(1802.03684)

Feb. 11, 2018 math.NA
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 Sturm-Liouville differential operator. Different from existing works on multi-dimensional 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 Sturm-Liouville 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.
• ### Tradeoff between Delay and Physical Layer Security in Wireless Networks(1802.00194)

Feb. 1, 2018 cs.IT, math.IT
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 end-to-end delay management, which requires a meticulous cross-layer 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 rule-of-thumb for the practical design of wireless networks where both the delay and the security are key concerns.
• ### Fully Point-wise Convolutional Neural Network for Modeling Statistical Regularities in Natural Images(1801.06302)

Jan. 19, 2018 cs.CV
Modeling statistical regularities is the problem of representing the pixel distributions in natural images, and usually applied to solve the ill-posed 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 (point-wise) convolution kernel instead of k*k convolution kernel to learn the feature representation efficiently. Accordingly, we design a novel architecture with fully point-wise 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/10-1/100 network parameters and computational cost over the state-of-the-art networks while achieving comparable accuracy. Codes and models will be made publicly available.
• ### The Price of Anarchy in Transportation Networks: Data-Driven Evaluation and Reduction Strategies(1606.02194)

Jan. 4, 2018 cs.GT, math.OC
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 user-centric routing policy and a socially-optimal system-centric 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 socially-optimal routing. We develop a data-driven 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 origin-destination demand and user preferences. We leverage this model to propose possible strategies to reduce the PoA and increase efficiency.
• ### Unfolding Hidden Barriers by Active Enhanced Sampling(1705.07414)

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 CV-based 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 CV-based 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.
• ### Universal Feature in Optical Control of a p-wave Feshbach Resonance(1710.08636)

Oct. 26, 2017 cond-mat.quant-gas
In this Letter we report the experimental results on optical control of a p-wave Feshbach resonance, by utilizing a laser driven bound-to-bound transition to shift the energy of closed channel molecule. The magnetic field location for p-wave 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 many-body physics can occurs, such as a p-wave resonance overlapping with an s-wave resonance or three p-wave resonances being degenerate.
• ### Statistical Anomaly Detection via Composite Hypothesis Testing for Markov Models(1702.08435)

Aug. 18, 2017 math.OC, stat.ML, cs.SY
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.
• ### Deep Edge-Aware Saliency Detection(1708.04366)

Aug. 15, 2017 cs.CV
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 multi-scale 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 end-to-end 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 multi-scale 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 state-of-the-art approaches.
• ### Multi-hop Links Quality Analysis of 5G Enabled Vehicular Networks(1704.07217)

Aug. 2, 2017 cs.NI
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 multi-hop links. To evaluate the quality of different V2V wireless links, a new link quality indicator is proposed in this paper considering requirements of the real-time and the reliability in V2V multi-hop links. Moreover, different weight factors are configured to reflect the different requirements of different types of services on real-time and reliability in the new quality indicator. Based on the proposed link quality indicator, the relationship between V2V link quality and one-hop 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 one-hop communication distance for the link quality when the vehicle density is fixed.
• ### Enhanced sensitivity of low-frequency signal by using broad squeezed light and bichromatic local oscillator(1707.08958)

We experimentally study a protocol of using the broadband high frequency squeezed vacuum to detect the low-frequency 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.
• ### A tail cone version of the Halpern-L\"auchli theorem at a large cardinal(1704.06827)

July 20, 2017 math.LO
The classical Halpern-L\"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 Halpern-L\"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.