title: Fast Parallel Algorithms for Statistical Subset Selection Problems

abstract: In this paper, we propose a new framework for designing fast parallel algorithms for fundamental statistical subset selection tasks that include feature selection and experimental design. Such tasks are known to be weakly submodular and are amenable to optimization via the standard greedy algorithm. Despite its desirable approximation guarantees, the greedy algorithm is inherently sequential and in the worst case, its parallel runtime is linear in the size of the data. Recently, there has been a surge of interest in a parallel optimization technique called adaptive sampling which produces solutions with desirable approximation guarantees for submodular maximization in exponentially faster parallel runtime. Unfortunately, we show that for general weakly submodular functions such accelerations are impossible. The major contribution in this paper is a novel relaxation of submodularity which we call differential submodularity. We first prove that differential submodularity characterizes objectives like feature selection and experimental design. We then design an adaptive sampling algorithm for differentially submodular functions whose parallel runtime is logarithmic in the size of the data and achieves strong approximation guarantees. Through experiments, we show the algorithm's performance is competitive with state-of-the-art methods and obtains dramatic speedups for feature selection and experimental design problems.


title: Scattering Mechanisms and Modeling for Terahertz Wireless Communications

abstract: This paper provides an analysis of radio wave scattering for frequencies ranging from the microwave to the Terahertz band (e.g., 1 GHz - 1 THz), by studying the scattering power reradiated from various types of materials with different surface roughnesses. First, fundamentals of scattering and reflection are developed and explained for use in wireless mobile radio, and the effect of scattering on the reflection coefficient for rough surfaces is investigated. Received power is derived using two popular scattering models - the directive scattering (DS) model and the radar cross section (RCS) model through simulations over a wide range of frequencies, materials, and orientations for the two models, and measurements confirm the accuracy of the DS model at 140 GHz. This paper shows that scattering can become a prominent propagation mechanism as frequencies extend to millimeter-wave (mmWave) and beyond, but at other times can be treated like simple reflection. Knowledge of scattering effects is critical for appropriate and realistic channel models, which further support the development of massive multiple input-multiple output (MIMO) techniques, localization, ray tracing tool design, and imaging for future 5G and 6G wireless systems.


title: On Convergence Rate of the Gaussian Belief Propagation Algorithm for Markov Networks

abstract: Gaussian Belief Propagation (BP) algorithm is one of the most important distributed algorithms in signal processing and statistical learning involving Markov networks. It is well known that the algorithm correctly computes marginal density functions from a high dimensional joint density function over a Markov network in a finite number of iterations when the underlying Gaussian graph is acyclic. It is also known more recently that the algorithm produces correct marginal means asymptotically for cyclic Gaussian graphs under the condition of walk summability. This paper extends this convergence result further by showing that the convergence is exponential under the walk summability condition, and provides a simple bound for the convergence rate.


title: Detection of high codimensional bifurcations in variational PDEs

abstract: We derive bifurcation test equations for A-series singularities of nonlinear functionals and, based on these equations, we propose a numerical method for detecting high codimensional bifurcations in parameter-dependent PDEs such as parameter-dependent semilinear Poisson equations. As an example, we consider a Bratu-type problem and show how high codimensional bifurcations such as the swallowtail bifurcation can be found numerically. In particular, our original contributions are (1) the use of the Infinite-dimensional Splitting Lemma, (2) the unified and simplified treatment of all A-series bifurcations, (3) the presentation in Banach spaces, i.e. our results apply both to the PDE and its (variational) discretization, (4) further simplifications for parameter-dependent semilinear Poisson equations (both continuous and discrete), and (5) the unified treatment of the continuous problem and its discretisation.


title: Spin frequency evolution and pulse profile variations of the recently re-activated radio magnetar XTE J1810-197

abstract: After spending almost a decade in a radio-quiet state, the Anomalous X-ray Pulsar XTE J1810-197 turned back on in early December 2018. We have observed this radio magnetar at 1.5 GHz with ~daily cadence since the first detection of radio re-activation on 8 December 2018. In this paper, we report on the current timing properties of XTE J1810-197 and find that the magnitude of the spin frequency derivative has increased by a factor of 2.6 over our 48-day data set. We compare our results with the spin-down evolution reported during its previous active phase in the radio band. We also present total intensity pulse profiles at five different observing frequencies between 1.5 and 8.4 GHz, collected with the Lovell and the Effelsberg telescopes. The profile evolution in our data set is less erratic than what was reported during the previous active phase, and can be seen varying smoothly between observations. Profiles observed immediately after the outburst show the presence of at least five cycles of a very stable ~50-ms periodicity in the main pulse component that lasts for at least tens of days. This remarkable structure is seen across the full range of observing frequencies.


title: Scattering matrix pole expansions & invariance with respect to R-matrix parameters

abstract: Nuclear data libraries (ENDF, JEFF, JENDL, CENDL, etc.) document our phenomenological knowledge of nuclear cross sections as interpreted by R-matrix theory. The R-matrix scattering model can parameterize the energy dependence of the scattering matrix in different ways. This article establishes new results on three such sets of parameters: the Wigner-Eisenbud, the Brune, and the Siegert-Humblet parameters. We show how the latter two arise from invariance to the arbitrary boundary condition, and how they can trade-off more complex parameters for a simpler energy dependence parameterization: the scattering matrix pole expansion of Humblet and Rosenfeld. We establish that the scattering matrix's invariance to channel radius sets a partial differential equation on the widths of the Kapur-Peierls operator, which enables us to derive an explicit transformation of the Siegert-Humblet radioactive residue widths under a change of channel radius. Considering the continuation of the scattering matrix to complex wavenumbers, several new results are established. We unveil there exist more Brune parameters than previously thought, depending on the way the scattering matrix is continued to complex energies. This points to a broader conundrum in the field: how to analytically continue the scattering matrix while closing sub-threshold channels. We argue that, contrary to the Lane and Thomas legacy of force-closing sub-threshold channels which introduces spurious poles, analytic continuation is the physically correct way of defining the scattering matrix for complex wave numbers. To back this claim we establish thee results: analytic continuation cancels spurious poles, enforces the generalized unitarity conditions of Eden and Taylor, and closes massive particle channels below threshold by both quantum tunneling and from the definition of the cross section as the ratio of probability currents.


title: Finite trees inside thin subsets of ${\Bbb R}^d$

abstract: Bennett, Iosevich and Taylor proved that compact subsets of ${\Bbb R}^d$, $d \ge 2$, of Hausdorff dimensions greater than $\frac{d+1}{2}$ contain chains of arbitrary length with gaps in a non-trivial interval. In this paper we generalize this result to arbitrary tree configurations.


title: Closed Unbounded classes and the Haertig Quantifier Model

abstract: We show that assuming modest large cardinals, there is a definable class of ordinals, closed and unbounded beneath every uncountable cardinal, so that for any closed and unbounded subclasses $P, Q$, $\langle L[P],\in ,P \rangle$ and $\langle L[Q],\in ,Q \rangle$ possess the same reals, satisfy the Generalised Continuum Hypothesis, and moreover are elementarily equivalent. The theory of such models is thus invariant under set forcing. They also all have a rich structure satisfying many of the usual combinatorial principles and a definable wellorder of the reals. One outcome is that we can characterize the inner model constructed using definability in the language augmented by the H\"artig quantifier when such a $P$ is itself $Card$.


title: Blind Source Separation of Optical Wireless Communications in Noisy Environments

abstract: Blind source separation is a research hotspot in the field of signal processing because it aims to separate unknown source signals from observed mixtures through an unknown transmission channel. A low computational complexity instantaneous linear mixture signals blind separation algorithm was introduced and improved. There is only one variable parameter named the length of moving average in the algorithm, which has a significant impact on the separation effect. This paper gives some suggestions on the reasonable value through experiments. The algorithm is extended to the separation of visible light communication signals in different noise environments, and has achieved certain results, which further expands the applicability of the algorithm.


title: Understanding Ancient Coin Images

abstract: In recent years, a range of problems within the broad umbrella of automatic, computer vision based analysis of ancient coins has been attracting an increasing amount of attention. Notwithstanding this research effort, the results achieved by the state of the art in the published literature remain poor and far from sufficiently well performing for any practical purpose. In the present paper we present a series of contributions which we believe will benefit the interested community. Firstly, we explain that the approach of visual matching of coins, universally adopted in all existing published papers on the topic, is not of practical interest because the number of ancient coin types exceeds by far the number of those types which have been imaged, be it in digital form (e.g. online) or otherwise (traditional film, in print, etc.). Rather, we argue that the focus should be on the understanding of the semantic content of coins. Hence, we describe a novel method which uses real-world multimodal input to extract and associate semantic concepts with the correct coin images and then using a novel convolutional neural network learn the appearance of these concepts. Empirical evidence on a real-world and by far the largest data set of ancient coins, we demonstrate highly promising results.


title: Axion Dark Matter Detection with CMB Polarization

abstract: We point out two ways to search for low-mass axion dark matter using cosmic microwave background (CMB) polarization measurements. These appear, in particular, to be some of the most promising ways to directly detect fuzzy dark matter. Axion dark matter causes rotation of the polarization of light passing through it. This gives rise to two novel phenomena in the CMB. First, the late-time oscillations of the axion field today cause the CMB polarization to oscillate in phase across the entire sky. Second, the early-time oscillations of the axion field wash out the polarization produced at last-scattering, reducing the polarized fraction (TE and EE power spectra) compared to the standard prediction. Since the axion field is oscillating, the common (static) `cosmic birefringence' search is not appropriate for axion dark matter. These two phenomena can be used to search for axion dark matter at the lighter end of the mass range, with a reach several orders of magnitude beyond current constraints. We set a limit from the washout effect using existing Planck results, and find significant future discovery potential for CMB detectors searching in particular for the oscillating effect.


title: Resolving the MYSO binaries PDS 27 and PDS 37 with VLTI/PIONIER

abstract: Binarity and multiplicity appear to be a common outcome in star formation. In particular, the binary fraction of massive (OB-type) stars can be very high. In many cases, the further stellar evolution of these stars is affected by binary interactions at some stage during their lifetime. The origin of this high binarity and the binary parameters are poorly understood because observational constraints are scarce, which is predominantly due to a dearth of known young massive binary systems. We aim to identify and describe massive young binary systems in order to fill in the gaps of our knowledge of primordial binarity of massive stars, which is crucial for our understanding of massive star formation. We observed the two massive young stellar objects (MYSOs) PDS 27 and PDS 37 at the highest spatial resolution provided by VLTI/PIONIER in the H-band (1.3 mas). We applied geometrical models to fit the observed squared visibilities and closure phases. In addition, we performed a radial velocity analysis using published VLT/FORS2 spectropolarimetric and VLT/X-shooter spectroscopic observations. Our findings suggest binary companions for both objects at 12 mas (30 au) for PDS 27 and at 22-28 mas (42-54 au) for PDS 37. This means that they are among the closest MYSO binaries resolved to date. Our data spatially resolve PDS 27 and PDS 37 for the first time, revealing two of the closest and most massive ($>$8 M$_\odot$) YSO binary candidates to date. PDS 27 and PDS 37 are rare but great laboratories to quantitatively inform and test the theories on formation of such systems.


title: Adelic cohomology

abstract: The characteristic feature of the adeles is that they involve localizations of products (or equivalently restricted products of localizations). The point of this paper is to introduce an adelic style cohomological invariant of a partially ordered set with auxiliary structure which covers several examples of established interest in commutative algebra and stable equivariant homotopy theory.


title: Adelic models of tensor-triangulated categories

abstract: We show that a well behaved Noetherian, finite dimensional, stable, monoidal model category is equivalent to a model built from categories of modules over completed rings in an adelic fashion. For abelian groups this is based on the Hasse square, for chromatic homotopy theory this is based on the chromatic fracture square, and for rational torus-equivariant homotopy theory this is the model of Greenlees-Shipley arXiv:1101.2511.


title: The IVP for the Kuramoto-Sivashinsky equation in low regularity Sobolev spaces

abstract: In this work, we study the initial-value problem associated with the Kuramoto-Sivashinsky equation. We show that the associated initial value problem is locally and globally well-posed in Sobolev spaces $H^s(\mathbb{R})$, where $s>1/2$. We also show that our result is sharp, in the sense that the flow-map data-solution is not $C^2$ at origin, for $s<1/2$. Furthermore, we study the behavior of the solutions when $\mu\downarrow 0$.


title: Creation and Evaluation of Datasets for Distributional Semantics Tasks in the Digital Humanities Domain

abstract: Word embeddings are already well studied in the general domain, usually trained on large text corpora, and have been evaluated for example on word similarity and analogy tasks, but also as an input to downstream NLP processes. In contrast, in this work we explore the suitability of word embedding technologies in the specialized digital humanities domain. After training embedding models of various types on two popular fantasy novel book series, we evaluate their performance on two task types: term analogies, and word intrusion. To this end, we manually construct test datasets with domain experts. Among the contributions are the evaluation of various word embedding techniques on the different task types, with the findings that even embeddings trained on small corpora perform well for example on the word intrusion task. Furthermore, we provide extensive and high-quality datasets in digital humanities for further investigation, as well as the implementation to easily reproduce or extend the experiments.


title: Hamilton-Jacobi Approach to Holographic Renormalization of Massive Gravity

abstract: Recently, a practical approach to holographic renormalization has been developed based on the Hamilton-Jacobi formulation. Using a simple Einstein-scalar theory, we clarify that this approach does not conflict with the Hamiltonian constraint as it seems. Then we apply it to the holographic renormalization of massive gravity. We assume that the shift vector is falling off fast enough asymptotically. We derive the counterterms up to the boundary dimension d=4. Interestingly, we find that the conformal anomaly can even occur in odd dimensions, which is different from the Einstein gravity. We check that the counterterms cancel the divergent part of the on-shell action at the background level. At the perturbation level, they are also applicable in several time-dependent cases.


title: Multi-species Patlak-Keller-Segel system

abstract: We study the regularity and large-time behavior of a crowd of species driven by chemo-tactic interactions. What distinguishes the different species is the way they interact with the rest of the crowd: the collective motion is driven by different chemical reactions which end up in a coupled system of parabolic Patlak-Keller-Segel equations. We show that the densities of the different species diffuse to zero provided the chemical interactions between the different species satisfy certain sub-critical condition; the latter is intimately related to a log-Hardy-Littlewood-Sobolev inequality for systems due to Shafrir & Wolansky. Thus for example, when two species interact, one of which has mass less than $4\pi$, then the 2-system stays smooth for all time independent of the total mass of the system, in sharp contrast with the well-known breakdown of one specie with initial mass$> 8\pi$.


title: Langevin thermostat for robust configurational and kinetic sampling

abstract: We reformulate the algorithm of Gr{\o}nbech-Jensen and Farago (GJF) for Langevin dynamics simulations at constant temperature. The GJF algorithm has become increasingly popular in molecular dynamics simulations because it provides robust (i.e., insensitive to variations in the time step) and accurate configurational sampling of the phase space with larger time steps than other Langevin thermostats. In the original derivation [Mol. Phys. {\bf 111}, 983 (2013)], the algorithm was formulated as a velocity-Verlet type integrator with an in-site velocity variable. Here, we reformulate it as a leap frog scheme with a half-step velocity variable. In contrast to the original form, the reforumlated one also provides robust and accurate estimations of kinetic measures such as the average kinetic energy. We analytically prove that the newly presented algorithm gives the exact configurational and kinetic temperatures of a harmonic oscillator for any time step smaller than the Verlet stability limit, and use computer simulations to demonstrate the configurational and kinetic robustness of the algorithm in strongly non-linear systems. This property of the new formulation of the GJF thermostat makes it very attractive for implementation in computer simulations.


title: A Rank-1 Sketch for Matrix Multiplicative Weights

abstract: We show that a simple randomized sketch of the matrix multiplicative weight (MMW) update enjoys (in expectation) the same regret bounds as MMW, up to a small constant factor. Unlike MMW, where every step requires full matrix exponentiation, our steps require only a single product of the form $e^A b$, which the Lanczos method approximates efficiently. Our key technique is to view the sketch as a $\textit{randomized mirror projection}$, and perform mirror descent analysis on the $\textit{expected projection}$. Our sketch solves the online eigenvector problem, improving the best known complexity bounds by $\Omega(\log^5 n)$. We also apply this sketch to semidefinite programming in saddle-point form, yielding a simple primal-dual scheme with guarantees matching the best in the literature.


title: Analysis of Spectral Methods for Phase Retrieval with Random Orthogonal Matrices

abstract: Phase retrieval refers to algorithmic methods for recovering a signal from its phaseless measurements. Local search algorithms that work directly on the non-convex formulation of the problem have been very popular recently. Due to the nonconvexity of the problem, the success of these local search algorithms depends heavily on their starting points. The most widely used initialization scheme is the spectral method, in which the leading eigenvector of a data-dependent matrix is used as a starting point. Recently, the performance of the spectral initialization was characterized accurately for measurement matrices with independent and identically distributed entries. This paper aims to obtain the same level of knowledge for isotropically random column-orthogonal matrices, which are substantially better models for practical phase retrieval systems. Towards this goal, we consider the asymptotic setting in which the number of measurements $m$, and the dimension of the signal, $n$, diverge to infinity with $m/n = \delta\in(1,\infty)$, and obtain a simple expression for the overlap between the spectral estimator and the true signal vector.


title: Unique equilibrium states, large deviations and Lyapunov spectra for the Katok Map

abstract: We study the thermodynamic formalism of a $C^{\infty}$ non-uniformly hyperbolic diffeomorphism on the 2-torus, known as the Katok map. We prove for a H\"older continuous potential with one additional condition, or the geometric t-potential $\varphi_t$ with $t<1$, the equilibrium state exists and is unique. We derive the level-2 large deviation principle for the equilibrium state of $\varphi_t$. We study the multifractal spectra of the Katok map for the entropy and dimension of level sets of Lyapunov exponents.


title: Discovering Visual Patterns in Art Collections with Spatially-consistent Feature Learning

abstract: Our goal in this paper is to discover near duplicate patterns in large collections of artworks. This is harder than standard instance mining due to differences in the artistic media (oil, pastel, drawing, etc), and imperfections inherent in the copying process. The key technical insight is to adapt a standard deep feature to this task by fine-tuning it on the specific art collection using self-supervised learning. More specifically, spatial consistency between neighbouring feature matches is used as supervisory fine-tuning signal. The adapted feature leads to more accurate style-invariant matching, and can be used with a standard discovery approach, based on geometric verification, to identify duplicate patterns in the dataset. The approach is evaluated on several different datasets and shows surprisingly good qualitative discovery results. For quantitative evaluation of the method, we annotated 273 near duplicate details in a dataset of 1587 artworks attributed to Jan Brueghel and his workshop. Beyond artwork, we also demonstrate improvement on localization on the Oxford5K photo dataset as well as on historical photograph localization on the Large Time Lags Location (LTLL) dataset.


title: Synthetic Human Model Dataset for Skeleton Driven Non-rigid Motion Tracking and 3D Reconstruction

abstract: We introduce a synthetic dataset for evaluating non-rigid 3D human reconstruction based on conventional RGB-D cameras. The dataset consist of seven motion sequences of a single human model. For each motion sequence per-frame ground truth geometry and ground truth skeleton are given. The dataset also contains skinning weights of the human model. More information about the dataset can be found at: https://research.csiro.au/robotics/our-work/databases/synthetic-human-model-dataset/


title: Photoproduction of charged final states in ultra-peripheral collisions and electroproduction at an electron-ion collider

abstract: Ultra-peripheral collisions (UPCs) of relativistic ions are an important tool for studying photoproduction at high energies. Vector meson photoproduction is an important tool for nuclear structure measurements and other applications. A future electron-ion collider (EIC) will allow additional studies, using virtual photons with a wide range of $Q^2$. We propose a significant expansion of the UPC and EIC photoproduction physics programs to include charged final states which may be produced via Reggeon exchange. We consider two examples: $a_2^+(1320)$, which is a conventional $q\overline q$ meson, and the exotic $Z_c^+(4430)$ state (modeled here as a tetraquark). The $Z_c^+(4430)$ cross-section depends on its internal structure, so photoproduction can test whether the $Z_c^+(4430)$ is a tetraquark or other exotic object. We calculate the rates and kinematic distributions for $\gamma p\rightarrow X^+n$ in $pA$ UPCs and $ep$ collisions at an EIC and in UPCs. The rates are large enough for detailed studies of these final states. Because the cross-section for Reggeon exchange is largest near threshold, the final state rapidity distribution depends on the beam energies. At high-energy colliders like the proposed LHeC or $pA$ collisions at the LHC, the final states are produced at far forward rapidities. For lower energy colliders, the systems are produced closer to mid-rapidity, within reach of central detectors.


title: Algebraic Hyperbolicity for Surfaces in Toric Threefolds

abstract: Adapting focal loci techniques used by Chiantini and Lopez, we provide lower bounds on the genera of curves contained in very general surfaces in Gorenstein toric threefolds. We illustrate the utility of these bounds by obtaining results on algebraic hyperbolicity of very general surfaces in toric threefolds.


title: Semileptonic $\tau$ decays: powerful probes of non-standard charged current weak interactions

abstract: When looking for heavy ($\mathcal{O}$(few TeV)) New Physics, the most efficient way to benefit from both high and low-energy measurements simultaneously is the use of the Standard Model Effective Field Theory (SMEFT). In this talk I highlight the importance of semileptonic $\tau$ decays in complementing, in this respect, the traditional low-energy precision observables and high-energy measurements. This is yet another reason for considering hadronic tau decays as golden channels at Belle-II beyond the unquestionable interest of the CP violation anomaly in $\tau\to K_S\pi\nu_\tau$ decays, that I also discuss within the effective theory. A couple of new results for $\tau^-\to K^-\nu_\tau$ decays are also included.


title: A Novel Neural Network Structure Constructed according to Logical Relations

abstract: To solve more complex things, computer systems becomes more and more complex. It becomes harder to be handled manually for various conditions and unknown new conditions in advance. This situation urgently requires the development of computer technology of automatic judgement and decision according to various conditions. Current ANN (Artificial Neural Network) models are good at perceptual intelligence while they are not good at cognitive intelligence such as logical representation, making them not deal with the above situation well. Therefore, researchers have tried to design novel models so as to represent and store logical relations into the neural network structures, the type of which is called KBNN (Knowledge-Based Neural Network). In this type models, the neurons and links are designed specific for logical relation representation, and the neural network structures are constructed according to logical relations, allowing us to construct automatically the rule libraries of expert systems. In this paper, the further improvement is made based on KBNN by redesigning the neurons and links. This improvement can make neurons solely for representing things while making links solely for representing logical relations between things, and thus no extra logical neurons are needed. Moreover, the related construction and adjustment methods of the neural network structure are also designed based on the redesigned neurons and links, making the neural network structure dynamically constructed and adjusted according to the logical relations. The probabilistic mechanism for the weight adjustment can make the neural network model further represent logical relations in the uncertainty.


title: Confinement from Correlated Instanton-Dyon Ensemble in SU(2) Yang-Mills Theory

abstract: We study the confinement phase transition in $SU(2)$ Yang-Mills theory, based on a statistical ensemble model of correlated instanton-dyons. We show for the first time that such a model provides a quantitative description, in light of the lattice data, for the temperature dependence of the order parameter. We characterize the short-range interaction which plays a crucial role for the properties of such ensemble. The chromo-magnetic charge density as well as the spatial correlations is found to be consistent with known lattice and phenomenological information.


title: Gravitational-wave merging events from the dynamics of stellar mass binary black holes around the massive black hole in a galactic nucleus

abstract: We study the dynamical evolution of the stellar mass binary black holes (BBHs) in a galactic nucleus that contains a massive black hole (MBH). For a comprehensive study of their merging events, we consider simultaneously the non-resonant and resonant relaxations of the BBHs, the binary-single encounters of the BBHs with the field stars, the Kozai-Lidov (KL) oscillation and the close encounters between the BBHs and the central MBH, which usually lead to binaries' tidal disruptions. As the BBHs are usually heavier than the background stars, they sink to the center by mass segregation, making the KL oscillation an important effect in merging BBHs. The binary-single encounters can not only lead to softening and ionization of the BBHs, it can also make them hardening, that increases the merging rates significantly. The mergers of BBHs are mainly contributed by galaxies containing MBHs less massive than $10^8 M_\odot$ and the total event rates are likely in orders of $1$--$10$ Gpc$^{-3}$ yr$^{-1}$, depending on the detailed assumptions of the nucleus clusters. About $3-10\%$ of these BBH mergers are with eccentricity $\ge 0.01$ when their gravitational wave oscillating frequencies enter the LIGO band ($10$\,Hz). Our results show that merging the BBHs within galactic nuclei can be an important source of the merging events detected by the Advanced LIGO/Virgo detectors, and they can be distinguished from BBH mergers from the galactic fields and globular clusters when enough events are accumulated.


title: IoT-U: Cellular Internet-of-Things Networks over Unlicensed Spectrum

abstract: In this paper, we consider an uplink cellular Internet-of-Things (IoT) network, where a cellular user (CU) can serve as the mobile data aggregator for a cluster of IoT devices. To be specific, the IoT devices can either transmit the sensory data to the base station (BS) directly by cellular communications, or first aggregate the data to a CU through Machine-to-Machine (M2M) communications before the CU uploads the aggregated data to the BS. To support massive connections, the IoT devices can leverage the unlicensed spectrum for M2M communications, referred to as IoT Unlicensed (IoT-U). Aiming to maximize the number of scheduled IoT devices and meanwhile associate each IoT devices with the right CU or BS with the minimum transmit power, we first introduce a single-stage formulation that captures these objectives simultaneously. To tackle the NP-hard problem efficiently, we decouple the problem into two subproblems, which are solved by successive linear programming and convex optimization techniques, respectively. Simulation results show that the proposed IoT-U scheme can support more IoT devices than that only using the licensed spectrum.


title: Electrical tuning of helical edge states in topological multilayers

abstract: Mainstream among topological insulators, GaSb/InAs quantum wells present a broken gap alignment for the energy bands which supports the quantum spin Hall insulator phase and forms an important building block in the search of exotic states of matter. Such structures allow the band-gap inversion with electrons and holes confined in adjacent layers, providing a fertile ground to tune the corresponding topological properties. Using a full 3D 8-band ${\bf k}\cdot{\bf p}$ method we investigate the inverted band structure of GaSb/InAs/GaSb and InAs/GaSb/InAs multilayers and the behavior of the helical edge states, under the influence of an electric field applied along the growth direction. By tuning the electric field modulus, we induce the change of the energy levels of both conduction and valence bands, resulting in a quantum spin Hall insulator phase where the helical edge states are predominantly confined in the GaSb layer. In particular, we found that InAs/GaSb/InAs has a large hybridization gap of about $12\,\textrm{meV}$ and, therefore, are promising to observe massless Dirac fermions with a large Fermi velocity. Our comprehensive characterization of GaSb/InAs multilayers creates a basis platform upon which further optimization of III-V heterostructures can be contrasted.


title: Stratified Labeling for Surface Consistent Parallax Correction and Occlusion Completion

abstract: The light field faithfully records the spatial and angular configurations of the scene, which facilitates a wide range of imaging possibilities. In this work, we propose an LF synthesis algorithm which renders high quality novel LF views far outside the range of angular baselines of the given references. A stratified synthesis strategy is adopted which parses the scene content based on stratified disparity layers and across a varying range of spatial granularities. Such a stratified methodology proves to help preserve scene structures over large perspective shifts, and it provides informative clues for inferring the textures of occluded regions. A generative-adversarial network model is further adopted for parallax correction and occlusion completion conditioned on the stratified synthesis features. Experiments show that our proposed model can provide more reliable novel view synthesis quality at large baseline extension ratios. Over 3dB quality improvement has been achieved against state-of-the-art LF view synthesis algorithms.


title: Fe-Sn nanocrystalline films for flexible magnetic sensors with high thermal stability

abstract: The interplay of magnetism and spin-orbit coupling on an Fe kagome lattice in Fe3Sn2 crystal produces a unique band structure leading to an order of magnitude larger anomalous Hall effect than in conventional ferromagnetic metals. In this work, we demonstrate that Fe-Sn nanocrystalline films also exhibit a large anomalous Hall effect, being applicable to magnetic sensors that satisfy both high sensitivity and thermal stability. In the films prepared by a co-sputtering technique at room temperature, the partial development of crystalline lattice order appears as nanocrystals of Fe-Sn kagome layer. The tangent Hall angle, the ratio of Hall resistivity to longitudinal resistivity, is largely enhanced in the optimal alloy composition of close to Fe3Sn2, exemplifying the kagome origin even though the films are composed of nanocrystal and amorphous-like domains. These ferromagnetic Fe-Sn films possess great advantages as a Hall sensor over semiconductors in thermal stability owing to the weak temperature dependence of the anomalous Hall responses. Moreover, the room-temperature fabrication enables us to develop a mechanically flexible Hall sensor on an organic substrate. These demonstrations manifest the potential of kagome metal as an untapped reservoir for designing new functional devices.


title: Energy extraction of a chaotic system in a cyclic process: a Szil\'ard Engine perspective

abstract: Inspired by the available examples of Microcanonical Szil\'ard Engines and by the original Szil\'ard Engine, we devise a system with two degrees of freedom whose ensemble average energy, starting with a microcanical ensemble, decreases after a cyclic variation of its external parameters. We use the Ergodic Adiabatic Theorem to motivate our cycle and numerical simulations to check the decrement in the average energy. We then compare our system to the aforementioned Szil\'ard Engines, Microcanonical or not, and speculate about symmetry breaking being the cause of energy extraction in cyclic processes, even when non-integrability and chaos are present.


title: Comparative Study of APIs and Frameworks for Haptic Application Development

abstract: The simulation of tactile sensation using haptic devices is increasingly investigated in conjunction with simulation and training. In this paper we explore the most popular haptic frameworks and APIs. We provide a comprehensive review and comparison of their features and capabilities, from the perspective of the need to develop a haptic simulator for medical training purposes. In order to compare the studied frameworks and APIs, we identified and applied a set of 11 criteria and we obtained a classification of platforms, from the perspective of our project. According to this classification, we used the best platform to develop a visual-haptic prototype for liver diagnostics.


title: Orientifold limits of singular $F$-theory vacua

abstract: We construct global orientifold limits of singular $F$-theory vacua whose associated gauge groups are SO(3), SO(5), SO(6), $F_4$, SU(4), and Spin(7). For each limit we show a universal tadpole relation is satisfied, which is a homological identity whose dimension-zero component encodes the matching of the D3 charge between each $F$-theory compactification and its orientifold limit. While for smooth $F$-theory compactifications which admit global orientifold limits the contribution to the associated universal tadpole relation comes from its Chern class, we show that for all singular $F$-theory compactifications under consideration, the contribution to the universal tadpole relation comes from its \emph{stringy} Chern class.


title: Nonlinear Anisotropic Degenerate Parabolic-Hyperbolic Equations with Stochastic Forcing

abstract: We are concerned with nonlinear anisotropic degenerate parabolic-hyperbolic equations with stochastic forcing, which are heterogeneous (i.e., not space-translational invariant). A unified framework is established for the continuous dependence estimates, fractional BV regularity estimates, and well-posedness for stochastic entropy solutions of the nonlinear stochastic degenerate parabolic-hyperbolic equation. In particular, we establish the well-posedness of the nonlinear stochastic equation in $L^p \cap N^{\kappa,1}$ for $p\in (1,\infty)$ and the $\kappa$--Nikolskii space $N^{\kappa,1}$ with $\kappa>0$, and the $L^1$ continuous dependence of the stochastic entropy solutions not only on the initial data, but also on the degenerate diffusion matrix function, the flux function, and the multiplicative noise function involving in the nonlinear equation.


title: A Convergent Continuum Strong Coupling Expansion For Quantum Mechanics & Quantum Field Theory

abstract: We generalize the notion of an asymptotic weak coupling expansion about an exactly solvable model in quantum mechanics and quantum field theory to an all positive value coupling convergent expansion. This is done by rescaling the variables available in the theory by free parameters, then adding and subtracting the exactly solvable model. The rest (initial rescaled theory by free parameters + the subtracted exactly solvable model) is expanded about the added exactly solvable model. Evaluating finite orders of this expansion at its extremum points with respect to the free parameter(s) gives a sequence that converges to the result of the previous asymptotic expansion, with a good convergence rate, at relative strong coupling. We solve for the eigenenergies of the anharmonic, pure anharmonic and double well potential problems using this method by expanding about the symmetrical point of these potentials. Accurate results for the eigenenergies can be obtained for all positive values of the coupling for the anharmonic and pure anharmonic oscillators and at strong coupling for the double well potential. To provide confirmation for the convergent formalism developed for $\phi^4$ theory and QED we improve the electron g-factor calculation at the one loop level using the convergent formalism. Applications of this method are not limited to quantum mechanics or quantum field theory, for example it can also have applications in the context of differential equations.


title: Novel quantitative indicators of digital ophthalmoscopy image quality

abstract: With the advent of smartphone indirect ophthalmoscopy, teleophthalmology - the use of specialist ophthalmology assets at a distance from the patient - has experienced a breakthrough, promising enormous benefits especially for healthcare in distant, inaccessible or opthalmologically underserved areas, where specialists are either unavailable or too few in number. However, accurate teleophthalmology requires high-quality ophthalmoscopic imagery. This paper considers three feature families - statistical metrics, gradient-based metrics and wavelet transform coefficient derived indicators - as possible metrics to identify unsharp or blurry images. By using standard machine learning techniques, the suitability of these features for image quality assessment is confirmed, albeit on a rather small data set. With the increased availability and decreasing cost of digital ophthalmoscopy on one hand and the increased prevalence of diabetic retinopathy worldwide on the other, creating tools that can determine whether an image is likely to be diagnostically suitable can play a significant role in accelerating and streamlining the teleophthalmology process. This paper highlights the need for more research in this area, including the compilation of a diverse database of ophthalmoscopic imagery, annotated with quality markers, to train the Point of Acquisition error detection algorithms of the future.


title: Topological proof of Benoist-Quint's orbit closure theorem for SO(d,1)

abstract: We present a new proof of the following theorem of Benoist-Quint: Let $G:=SO^\circ(d,1)$, $d\ge 2$ and $\Delta<G$ a cocompact lattice. Any orbit of a Zariski dense subgroup $\Gamma$ of $G$ is either finite or dense in $\Delta\backslash G$. While Benoist and Quint's proof is based on the classification of stationary measures, our proof is topological, using ideas from the study of dynamics of unipotent flows on the infinite volume homogeneous space $\Gamma\backslash G$.


title: Dynamics of a mean-reverting stochastic volatility model with regime switching

abstract: In this paper, we consider a mean-reverting stochastic volatility equation with regime switching, and present some sufficient conditions for the existence of global positive solution, asymptotic boundedness in pth moment, positive recurrence and existence of stationary distribution of this equation. Some results obtained in this paper extend the ones in literature. Example is given to verify the results by simulation.


title: Superconductivity in Bi3O2S2Cl with Bi-Cl Planar Layers

abstract: A quaternary compound Bi3O2S2Cl, which consists of novel [BiS2Cl]2-layers, is reported. It adopts a layered structure of the space group I4/mmm (No. 139) with lattice parameters: a = 3.927(1) {\AA}, c = 21.720(5) {\AA}. In this compound, bismuth and chlorine atoms form an infinite planar layer, which is unique among the bismuth halides. Superconductivity is observed in both polycrystals and single crystals, and is significantly enhanced in the samples prepared with less sulfur or at higher temperatures. By tuning the content of sulfur, Bi3O2S2Cl can be converted from a semiconductor into a superconductor. The superconducting critical temperature ranges from 2.6 K to 3.5 K. Our discovery of the [BiS2Cl]2- layer opens another door in searching for the bismuth compounds with novel physical properties.


title: Hamiltonian Monte Carlo on Symmetric and Homogeneous Spaces via Symplectic Reduction

abstract: The Hamiltonian Monte Carlo method generates samples by introducing a mechanical system that explores the target density. For distributions on manifolds it is not always simple to perform the mechanics as a result of the lack of global coordinates, the constraints of the manifold, and the requirement to compute the geodesic flow. In this paper we explain how to construct the Hamiltonian system on naturally reductive homogeneous spaces using symplectic reduction, which lifts the HMC scheme to a matrix Lie group with global coordinates and constant metric. This provides a general framework that is applicable to many manifolds that arise in applications, such as hyperspheres, hyperbolic spaces, symmetric positive-definite matrices, Grassmannian, and Stiefel manifolds.


title: The neutron electric dipole moment experiment at the Spallation Neutron Source

abstract: Novel experimental techniques are required to make the next big leap in neutron electric dipole moment experimental sensitivity, both in terms of statistics and systematic error control. The nEDM experiment at the Spallation Neutron Source (nEDM@SNS) will implement the scheme of Golub & Lamoreaux [Phys. Rep., 237, 1 (1994)]. The unique properties of combining polarized ultracold neutrons, polarized $^3$He, and superfluid $^4$He will be exploited to provide a sensitivity to $\sim 10^{-28}\,e{\rm \,\cdot\, cm}$. Our cryogenic apparatus will deploy two small ($3\,{\rm L}$) measurement cells with a high density of ultracold neutrons produced and spin analyzed in situ. The electric field strength, precession time, magnetic shielding, and detected UCN number will all be enhanced compared to previous room temperature Ramsey measurements. Our $^3$He co-magnetometer offers unique control of systematic effects, in particular the Bloch-Siegert induced false EDM. Furthermore, there will be two distinct measurement modes: free precession and dressed spin. This will provide an important self-check of our results. Following five years of "critical component demonstration," our collaboration transitioned to a "large scale integration" phase in 2018. An overview of our measurement techniques, experimental design, and brief updates are described in these proceedings.


title: K\"ahler manifolds and cross quadratic bisectional curvature

abstract: In this article we continue the study of the two curvature notions for K\"ahler manifolds introduced by the first named author earlier: the so-called cross quadratic bisectional curvature (CQB) and its dual ($^d$CQB). We first show that compact K\"ahler manifolds with CQB$_1>0$ or $\mbox{}^d$CQB$_1>0$ are Fano, while nonnegative CQB$_1$ or $\mbox{}^d$CQB$_1$ leads to a Fano manifold as well, provided that the universal cover does not contain a flat de Rham factor. For the latter statement we employ the K\"ahler-Ricci flow to deform the metric. We conjecture that all K\"ahler C-spaces will have nonnegative CQB and positive $^d$CQB. By giving irreducible such examples with arbitrarily large second Betti numbers we show that the positivity of these two curvature put no restriction on the Betti number. A strengthened conjecture is that any K\"ahler C-space will actually have positive CQB unless it is a ${\mathbb P}^1$ bundle. Finally we give an example of non-symmetric, irreducible K\"ahler C-space with $b_2>1$ and positive CQB, as well as compact non-locally symmetric K\"ahler manifolds with CQB$<0$ and $^d$CQB$<0$.


title: Robust Semantic Segmentation By Dense Fusion Network On Blurred VHR Remote Sensing Images

abstract: Robust semantic segmentation of VHR remote sensing images from UAV sensors is critical for earth observation, land use, land cover or mapping applications. Several factors such as shadows, weather disruption and camera shakes making this problem highly challenging, especially only using RGB images. In this paper, we propose the use of multi-modality data including NIR, RGB and DSM to increase robustness of segmentation in blurred or partially damaged VHR remote sensing images. By proposing a cascaded dense encoder-decoder network and the SELayer based fusion and assembling techniques, the proposed RobustDenseNet achieves steady performance when the image quality is decreasing, compared with the state-of-the-art semantic segmentation model.


title: Selling Multiple Items via Social Networks

abstract: We consider a market where a seller sells multiple units of a commodity in a social network. Each node/buyer in the social network can only directly communicate with her neighbours, i.e. the seller can only sell the commodity to her neighbours if she could not find a way to inform other buyers. In this paper, we design a novel promotion mechanism that incentivizes all buyers, who are aware of the sale, to invite all their neighbours to join the sale, even though there is no guarantee that their efforts will be paid. While traditional sale promotions such as sponsored search auctions cannot guarantee a positive return for the advertiser (the seller), our mechanism guarantees that the seller's revenue is better than not using the advertising. More importantly, the seller does not need to pay if the advertising is not beneficial to her.


title: Local Fourier analysis for mixed finite-element methods for the Stokes equations

abstract: In this paper, we develop a local Fourier analysis of multigrid methods based on block-structured relaxation schemes for stable and stabilized mixed finite-element discretizations of the Stokes equations, to analyze their convergence behavior. Three relaxation schemes are considered: distributive, Braess-Sarazin, and Uzawa relaxation. From this analysis, parameters that minimize the local Fourier analysis smoothing factor are proposed for the stabilized methods with distributive and Braess-Sarazin relaxation. Considering the failure of the local Fourier analysis smoothing factor in predicting the true two-grid convergence factor for the stable discretization, we numerically optimize the two-grid convergence predicted by local Fourier analysis in this case. We also compare the efficiency of the presented algorithms with variants using inexact solvers. Finally, some numerical experiments are presented to validate the two-grid and multigrid convergence factors.


title: Individual Preference Aware Caching Policy Design in Wireless D2D Networks

abstract: Cache-aided wireless device-to-device (D2D) networks allow significant throughput increase, depending on the concentration of the popularity distribution of files. Many studies assume that all users have the same preference distribution; however, this may not be true in practice. This work investigates whether and how the information about individual preferences can benefit cache-aided D2D networks. We examine a clustered network and derive a network utility that considers both the user distribution and channel fading effects into the analysis. We also formulate a utility maximization problem for designing caching policies. This maximization problem can be applied to optimize several important quantities, including throughput, energy efficiency (EE), cost, and hit-rate, and to solve different tradeoff problems. We provide a general approach that can solve the proposed problem under the assumption that users coordinate, then prove that the proposed approach can obtain the stationary point under a mild assumption. Using simulations of practical setups, we show that performance can improve significantly with proper exploitation of individual preferences. We also show that different types of tradeoffs exist between different performance metrics and that they can be managed through caching policy and cooperation distance designs.


title: Twitter Speaks: A Case of National Disaster Situational Awareness

abstract: In recent years, we have been faced with a series of natural disasters causing a tremendous amount of financial, environmental, and human losses. The unpredictable nature of natural disasters' behavior makes it hard to have a comprehensive situational awareness (SA) to support disaster management. Using opinion surveys is a traditional approach to analyze public concerns during natural disasters; however, this approach is limited, expensive, and time-consuming. Luckily the advent of social media has provided scholars with an alternative means of analyzing public concerns. Social media enable users (people) to freely communicate their opinions and disperse information regarding current events including natural disasters. This research emphasizes the value of social media analysis and proposes an analytical framework: Twitter Situational Awareness (TwiSA). This framework uses text mining methods including sentiment analysis and topic modeling to create a better SA for disaster preparedness, response, and recovery. TwiSA has also effectively deployed on a large number of tweets and tracks the negative concerns of people during the 2015 South Carolina flood.


title: Alternating Phase Projected Gradient Descent with Generative Priors for Solving Compressive Phase Retrieval

abstract: The classical problem of phase retrieval arises in various signal acquisition systems. Due to the ill-posed nature of the problem, the solution requires assumptions on the structure of the signal. In the last several years, sparsity and support-based priors have been leveraged successfully to solve this problem. In this work, we propose replacing the sparsity/support priors with generative priors and propose two algorithms to solve the phase retrieval problem. Our proposed algorithms combine the ideas from AltMin approach for non-convex sparse phase retrieval and projected gradient descent approach for solving linear inverse problems using generative priors. We empirically show that the performance of our method with projected gradient descent is superior to the existing approach for solving phase retrieval under generative priors. We support our method with an analysis of sample complexity with Gaussian measurements.


title: Hassle-free Approach to Thermal Transport Measurements Using Spatial-Temporal Temperature Data

abstract: Nanoscale engineering and novel materials have created interesting effects in thermal transport. Thermal conductivity can now be different due to physical and heating sizes. Also, highly anisotropic thermal conductivity can result from unique material composition and geometries. Various experimental methods have been developed to measure these thermal conductivity variations. All of them require varying the physical size of the sample, the heating size or relative positions between heating and detection. Here, we numerically propose a time-domain optical method that uses spatial temporal temperature data to resolve anisotropic and size-dependent thermal conductivity. Our method is hassle-free as it does not vary any experimental parameters and is easily compatible with various methods of measuring temperature in the time domain. This technique can high throughput screening of thermal properties for nanoengineered and novel materials in thermal transport. Also, this technique can be used to identify novel effects in thermal transport within a single experiment.


title: On Adversarial Mixup Resynthesis

abstract: In this paper, we explore new approaches to combining information encoded within the learned representations of auto-encoders. We explore models that are capable of combining the attributes of multiple inputs such that a resynthesised output is trained to fool an adversarial discriminator for real versus synthesised data. Furthermore, we explore the use of such an architecture in the context of semi-supervised learning, where we learn a mixing function whose objective is to produce interpolations of hidden states, or masked combinations of latent representations that are consistent with a conditioned class label. We show quantitative and qualitative evidence that such a formulation is an interesting avenue of research.


title: Concurrent Meta Reinforcement Learning

abstract: State-of-the-art meta reinforcement learning algorithms typically assume the setting of a single agent interacting with its environment in a sequential manner. A negative side-effect of this sequential execution paradigm is that, as the environment becomes more and more challenging, and thus requiring more interaction episodes for the meta-learner, it needs the agent to reason over longer and longer time-scales. To combat the difficulty of long time-scale credit assignment, we propose an alternative parallel framework, which we name "Concurrent Meta-Reinforcement Learning" (CMRL), that transforms the temporal credit assignment problem into a multi-agent reinforcement learning one. In this multi-agent setting, a set of parallel agents are executed in the same environment and each of these "rollout" agents are given the means to communicate with each other. The goal of the communication is to coordinate, in a collaborative manner, the most efficient exploration of the shared task the agents are currently assigned. This coordination therefore represents the meta-learning aspect of the framework, as each agent can be assigned or assign itself a particular section of the current task's state space. This framework is in contrast to standard RL methods that assume that each parallel rollout occurs independently, which can potentially waste computation if many of the rollouts end up sampling the same part of the state space. Furthermore, the parallel setting enables us to define several reward sharing functions and auxiliary losses that are non-trivial to apply in the sequential setting. We demonstrate the effectiveness of our proposed CMRL at improving over sequential methods in a variety of challenging tasks.


title: Electrical detection of spin-polarized current in topological insulator Bi1.5Sb0.5Te1.7Se1.3

abstract: Spin-momentum locked (SML) topological surface state (TSS) provides exotic properties for spintronics applications. The spin-polarized current, which emerges owing to the SML, can be directly detected by performing spin potentiometric measurement. We observed spin-polarized current using a bulk insulating topological insulator (TI), Bi1.5Sb0.5Te1.7Se1.3, and Co as the ferromagnetic spin probe. The spin voltage was probed with varying the bias current, temperature, and gate voltage. Moreover, we observed non-local spin-polarized current, which is regarded as a distinguishing property of TIs. The spin-polarization ratio of the non-local current was larger than that of the local current. These findings could reveal a more accurate approach to determine spin-polarization ratio at the TSS.


title: Tilings of the Sphere by Congruent Pentagons II: Edge Combination $a^3b^2$

abstract: There are fifteen edge-to-edge tilings of the sphere by congruent pentagons with the edge combination $a^3b^2$: five one-parameter families of pentagonal subdivision tilings, and ten flip modifications of three special cases of two pentagonal subdivision tilings.


title: On the L2-Hodge theory of Landau-Ginzburg models

abstract: Let X be a non-compact Calabi-Yau manifold and f be a holomorphic function on X with compact critical locus. We introduce the notion of f-twisted Sobolev spaces for the pair (X,f) and prove the corresponding Hodge-to-de Rham degeneration property via L2-Hodge theoretical methods when f satisfies an asymptotic condition of strongly ellipticity. This leads to a Frobenius manifold via the Barannikov-Kontsevich construction, unifying the Landau-Ginzburg and Calabi-Yau geometry. Our construction can be viewed as a generalization of K.Saito's higher residue and primitive form theory for isolated singularities. As an application, we construct Frobenius manifolds for orbifold Landau-Ginzburg B-models which admit crepant resolutions.


title: Random Sturm-Liouville Operators with Point Interactions

abstract: We study invariance for eigenvalues of families of selfadjoint Sturm-Liouville operators with local point interactions. In a probabilistic setting, we show that a point is either an eigenvalue for all members of the family or only for a set of measure zero. Using classical oscillation theory it is possible to decide whether the second situation happens. The operators do not need to be measurable or ergodic. This generalizes the well-known fact that for ergodic operators a point is eigenvalue with probability zero.


title: Robust Execution of Contact-Rich Motion Plans by Hybrid Force-Velocity Control

abstract: In hybrid force-velocity control, the robot can use velocity control in some directions to follow a trajectory, while performing force control in other directions to maintain contacts with the environment regardless of positional errors. We call this way of executing a trajectory hybrid servoing. We propose an algorithm to compute hybrid force-velocity control actions for hybrid servoing. We quantify the robustness of a control action and make trade-offs between different requirements by formulating the control synthesis as optimization problems. Our method can efficiently compute the dimensions, directions and magnitudes of force and velocity controls. We demonstrated by experiments the effectiveness of our method in several contact-rich manipulation tasks. Link to the video: https://youtu.be/KtSNmvwOenM.


title: Can Sophisticated Dispatching Strategy Acquired by Reinforcement Learning? - A Case Study in Dynamic Courier Dispatching System

abstract: In this paper, we study a courier dispatching problem (CDP) raised from an online pickup-service platform of Alibaba. The CDP aims to assign a set of couriers to serve pickup requests with stochastic spatial and temporal arrival rate among urban regions. The objective is to maximize the revenue of served requests given a limited number of couriers over a period of time. Many online algorithms such as dynamic matching and vehicle routing strategy from existing literature could be applied to tackle this problem. However, these methods rely on appropriately predefined optimization objectives at each decision point, which is hard in dynamic situations. This paper formulates the CDP as a Markov decision process (MDP) and proposes a data-driven approach to derive the optimal dispatching rule-set under different scenarios. Our method stacks multi-layer images of the spatial-and-temporal map and apply multi-agent reinforcement learning (MARL) techniques to evolve dispatching models. This method solves the learning inefficiency caused by traditional centralized MDP modeling. Through comprehensive experiments on both artificial dataset and real-world dataset, we show: 1) By utilizing historical data and considering long-term revenue gains, MARL achieves better performance than myopic online algorithms; 2) MARL is able to construct the mapping between complex scenarios to sophisticated decisions such as the dispatching rule. 3) MARL has the scalability to adopt in large-scale real-world scenarios.


title: The classification of blocks in BGG category O

abstract: We classify all equivalences between the indecomposable abelian categories which appear as blocks in BGG category O for reductive Lie algebras. Our classification implies that a block in category O only depends on the Bruhat order of the relevant parabolic quotient of the Weyl group. As part of the proof, we observe that any finite dimensional algebra with simple preserving duality admits at most one quasi-hereditary structure.


title: Search for the $t\to ch$ decay at hadron colliders

abstract: We study the observability for the flavor-changing decay of a top quark $t\to ch$ at the LHC and future hadron colliders, namely, High-Luminosity LHC (HL-LHC), High-Energy LHC (HE-LHC) and Future Circular hadron-hadron Collider (FCC-hh). Two scenarios in which the Higgs boson could decay: into a quark bottom pair $(\textit{bb-channel})$ and two photons $(\textit{$\gamma\gamma$-channel})$ are analyzed. A Monte Carlo analysis of the signal and the Standard Model (SM) background is computed. Center-of-mass energies of $\sqrt{s}=14,\;27\; $\text{and}$\; 100$ TeV and integrated luminosities from $0.3$ to $30$ ab$^{-1}$ are explored. The theoretical framework adopted in this work is the Type-III Two-Higgs Doublet Model (THDM-III) for which, constraints on the parameter space from the Higgs boson coupling modifiers $\kappa_i$ are presented and used in order to evaluate the branching ratio of the $t\to ch$ decay and the ($pp\to t\bar{t},\,t\to ch$) production cross section. We find that with the integrated luminosity achieved at the LHC, the $t\to ch$ decay is out of the reach of detection. More promising results emerge for the HL-LHC, HE-LHC and FCC-hh in which potential discoveries could be claimed.


title: A Note On the Rank of the Optimal Matrix in Symmetric Toeplitz Matrix Completion Problem

abstract: We consider the symmetric Toeplitz matrix completion problem, whose matrix under consideration possesses specific row and column structures. This problem, which has wide application in diverse areas, is well-known to be computationally NP-hard. This note provides an upper bound on the objective of minimizing the rank of the symmetric Toeplitz matrix in the completion problem based on the theorems from the trigonometric moment problem and semi-infinite problem. We prove that this upper bound is less than twice the number of linear constraints of the Toeplitz matrix completion problem. Compared with previous work in the literature, ours is one of the first efforts to investigate the bound of the objective value of the Toeplitz matrix completion problem.


title: A second-order accurate scheme for two-dimensional space fractional diffusion equations with time Caputo-Fabrizio fractional derivative

abstract: We provide and analyze a second order scheme for the model describing the functional distributions of particles performing anomalous motion with exponential Debye pattern and no-time-taking jumps eliminated, and power-law jump length. The model is derived in [M. Chen, J. Shi, W. Deng, arXiv:1809.03263], being called the space fractional diffusion equation with the time Caputo-Fabrizio fractional derivative. The designed schemes are unconditionally stable and have the second order global truncation error with the nonzero initial condition, being theoretically proved and numerically verified by two methods (a prior estimate with $L^2$-norm and mathematical induction with $l_\infty$ norm). Moreover, the optimal estimates are obtained.


title: Energy Efficient Optimization of Wireless-powered 5G Full Duplex Cellular Networks: A Mean Field Game Approach

abstract: This paper studies the power allocation of an ultra-dense cellular network consisting of multiple full-duplex (FD) base stations (BSs) serving a large number of half-duplex (HD) user equipments (UEs) located in a wide geographical area. Each BS consists of a baseband unit (BBU) that is responsible for signal processing and base station control, and a radio remote unit (RRU) that corresponds to a radio transceiver remotely built closer to the UEs. We consider a wireless-powered cellular network in which the BBU can periodically charge the RRU. We model the energy efficiency and coverage optimization problem for this network as a mean field game. We consider the weighted energy efficiency of the BS as the main performance metrics and evaluate the optimal strategy that can be adopted by the FD BSs in an ultra-dense network setting. Based on the interference and network energy efficiency models of the mean field game theory, Nash equilibrium of our proposed game is derived. Utilizing solutions of Hamilton-Jacobi-Bellman (HJB) and Fokker-Planck-Kolmogorov (FPK) equations, a new power transmission strategy is developed for the BSs to optimize the energy efficiency of 5G cellular networks with full duplex transmissions. Simulation results indicate that the proposed strategy not only improves the energy efficiency but also ensures the average network coverage probability converges to a stable level.


title: FI-hyperhomology and ordered configuration spaces

abstract: Using a result of Gan and Li on FI-hyperhomology and a semi-simplicial resolution of configuration spaces due to Randal-Williams, we establish an improved representation stability stable range for configuration spaces of distinct ordered points in a manifold. Our bounds on generation degree improve the best known stability slope by a factor of 5/2 in the most general case. We adapt this result of Gan and Li to apply beyond stability arguments involving highly-connected simplicial complexes, and our methods suggest that their result may be widely applicable to improving most stability ranges for FI-modules in the current representation stability literature.


title: Symmetrical Reality: Toward a Unified Framework for Physical and Virtual Reality

abstract: In this paper, we review the background of physical reality, virtual reality, and some traditional mixed forms of them. Based on the current knowledge, we propose a new unified concept called symmetrical reality to describe the physical and virtual world in a unified perspective. Under the framework of symmetrical reality, the traditional virtual reality, augmented reality, inverse virtual reality, and inverse augmented reality can be interpreted using a unified presentation. We analyze the characteristics of symmetrical reality from two different observation locations (i.e., from the physical world and from the virtual world), where all other forms of physical and virtual reality can be treated as special cases of symmetrical reality.


title: Allocation of Computation-Intensive Graph Jobs over Vehicular Clouds in IoV

abstract: Graph jobs represent a wide variety of computation-intensive tasks in which computations are represented by graphs consisting of components (denoting either data sources or data processing) and edges (corresponding to data flows between the components). Recent years have witnessed dramatic growth in smart vehicles and computation-intensive graph jobs, which pose new challenges to the provision of efficient services related to the Internet of Vehicles. Fortunately, vehicular clouds formed by a collection of vehicles, which allows jobs to be offloaded among vehicles, can substantially alleviate heavy on-board workloads and enable on-demand provisioning of computational resources. In this paper, we present a novel framework for vehicular clouds that maps components of graph jobs to service providers via opportunistic vehicle-to-vehicle communication. Then, graph job allocation over vehicular clouds is formulated as a non-linear integer programming with respect to vehicles' contact duration and available resources, aiming to minimize job completion time and data exchange cost. The problem is addressed for two scenarios: low-traffic and rush-hours. For the former, we determine the optimal solutions for the problem. In the latter case, given the intractable computations for deriving feasible allocations, we propose a novel low complexity randomized graph job allocation mechanism by considering hierarchical tree based subgraph isomorphism. We evaluate the performance of our proposed algorithms through extensive simulations.


title: An Inverting-Tube Clutching Contractile Soft Pneumatic Actuator

abstract: This paper presents the simple synergistic combination of a novel contracting soft pneumatic actuator with a soft clutch (linear brake). The device is designated the Inverting-tube Vacuum ACtuator with Clutch (InVACC). The actuator alone (no clutch) is designated "InVAC" and uses vacuum pressure to invert a thin tube into a shorter section of reinforced flexible tubing. The inverting tube acts as rolling diaphragm and a flexible tendon. This allows the actuator to contract to one third of its extended length. The contractile-force-per-unit-pressure is approximately constant over the stroke. The theoretical maximum of this force is the product of the vacuum gauge pressure and half the interior cross-sectional area of the tube. The experimental evaluation revealed hysteretic losses that depend on the actuation direction and rate. With -81 kPa, the prototype produced 12.7 N of tension during extension and 7.5 N during retraction. The reinforced tubing of the InVAC was integrated with an inner collapsible "clutching" tube to create an InVACC. The clutch is engaged by applying a positive pressure between the reinforced tube and the clutching tube, which collapses the clutching tube onto the flexible tendon. With a pressure of 50 kPa, the InVACC clutch tested in this work was able to support a peak tensile load of 120 N before slipping. Though the fatigue life of the current prototypes is limited, improved fabrication methods for this novel actuator/clutch concept will enable new applications in robotics and wearable haptic systems.


title: Spin-orbit Torque and Spin Hall Effect-based Cellular Level Therapeutic Neuromodulators: Modulating Neuron Activities through Spintronic Nanodevices

abstract: Artificial modulation of a neuronal subset through ion channels activation can initiate firing patterns of an entire neural circuit in vivo. As nanovalves in the cell membrane, voltage-gated ion channels can be artificially controlled by the electric field gradient that caused by externally applied time varying magnetic fields. Herein, we theoretically investigate the feasibility of modulating neural activities by using magnetic spintronic nanostructures. An antiferromagnet/ferromagnet (AFM/FM) structure is explored as neuromodulator. For FM layer with perpendicular magnetization, stable bidirectional magnetization switching can be achieved by applying in-plane currents through AFM layer to induce the spin-orbit torque (SOT) due to the spin Hall effect (SHE). This Spin-orbit Torque Neurostimulator (SOTNS) utilizes in-plane charge current pulses to switch the magnetization in FM layer. The time changing magnetic stray field induces electric field that modulates the surrounding neurons. The Object Oriented Micromagnetic Framework (OOMMF) is used to calculate space and time dependent magnetic dynamics of SOTNS structure. The current driven magnetization dynamics in SOTNS has no mechanically moving parts. Furthermore, the size of SOTNS can be down to tens of nanometers, thus, arrays of SOTNSs could be fabricated, integrated together and patterned on a flexible substrate, which gives us much more flexible control of the neuromodulation with cellular resolution.


title: Steady-state theory of interdigitated array of electrodes in confined spaces: Case of pure diffusion and reversible electrode reactions

abstract: Analytical equations were found for interdigitated electrodes, which considered reversible electrode reactions and pure diffusion within confined spaces. A conformal transformation, obtained by the use of Jacobian elliptic functions, was applied to solve the diffusion equation in steady state. The obtained steady-state current depends on the ratio of elliptic integrals of the first kind, in which their moduli are functions of the relative dimensions of the cell. The current is smaller for shallower cells, but approaches similiar values to those of semi-infinite geometries when the cell is sufficiently tall. Approximations using trigonometric and hyperbolic expressions were also found for the steady-state current in the cases of shallow and tall cells respectively.


title: Graphical Contrastive Losses for Scene Graph Parsing

abstract: Most scene graph parsers use a two-stage pipeline to detect visual relationships: the first stage detects entities, and the second predicts the predicate for each entity pair using a softmax distribution. We find that such pipelines, trained with only a cross entropy loss over predicate classes, suffer from two common errors. The first, Entity Instance Confusion, occurs when the model confuses multiple instances of the same type of entity (e.g. multiple cups). The second, Proximal Relationship Ambiguity, arises when multiple subject-predicate-object triplets appear in close proximity with the same predicate, and the model struggles to infer the correct subject-object pairings (e.g. mis-pairing musicians and their instruments). We propose a set of contrastive loss formulations that specifically target these types of errors within the scene graph parsing problem, collectively termed the Graphical Contrastive Losses. These losses explicitly force the model to disambiguate related and unrelated instances through margin constraints specific to each type of confusion. We further construct a relationship detector, called RelDN, using the aforementioned pipeline to demonstrate the efficacy of our proposed losses. Our model outperforms the winning method of the OpenImages Relationship Detection Challenge by 4.7\% (16.5\% relative) on the test set. We also show improved results over the best previous methods on the Visual Genome and Visual Relationship Detection datasets.


title: Electromechanical actuation of pristine graphene and graphene oxide: origin, optimization, and comparison

abstract: It is well recognized that the miniaturization of electromechanical devices will bring a revolution to humanity in the coming decades synonymous with the effects of miniaturizing electronic devices in those previous. An electromechanical actuator - a device that converts electrical energy to mechanical deformation or motion - is the core component of many such devices. Consequently, research interrogating mili-, micro-, and nano-actuation has, and will continue to become increasingly essential. The challenge is that behaviour of actuators at small size scales vastly differs to those at the macroscale. We cannot simply shrink the size of conventional actuators at the macroscale down to the micro/nanoscale. In addition, conventional actuation materials (such as piezoelectric ceramics and shape memory alloys) have poor properties and performances when fabricated at a small length scale. There is an urgent need to discover novel actuation materials at small length scale. This paper will review recent advances in graphene-based actuation materials. We will focus on different actuation physical mechanisms of this most well-known two-dimension material. The in-depth physical understanding and insights will lay the ground for further optimization/development of graphene-based actuators. They may also provide valuable knowledge for the design and development of other two-dimensional actuation materials and actuators.


title: The composition of R.~Cohen's elements and the third periodic elements in stable homotopy groups of spheres

abstract: In this paper, we study the cohomology of the Morava stabilizer algebra $S(3)$. As an application, we show that for $p \geq 7$, if $s\not \equiv 0, \pm 1 \,\, mod \,p $, $n\not \equiv 1 \,\, mod\, 3$, $n>1$, then $\zeta_n\gamma_s$ is a nontrivial product in $\pi_*(S)$ by Adams-Novikov spectral sequence, where $\zeta_n$ is created by R. Cohen \cite{Co}, $\gamma_s$ is a third periodic homotopy elements.


title: Integrating neural networks into the blind deblurring framework to compete with the end-to-end learning-based methods

abstract: Recently, end-to-end learning-based methods based on deep neural network (DNN) have been proven effective for blind deblurring. Without human-made assumptions and numerical algorithms, they are able to restore images with fewer artifacts and better perceptual quality. However, in practice, we also find some of their drawbacks. Without the theoretical guidance, these methods can not perform well when the motion is complex and sometimes generate unreasonable results. In this paper, for overcoming these drawbacks, we integrate deep convolution neural networks into conventional deblurring framework. Specifically, we build Stacked Estimation Residual Net (SEN) to estimate the motion flow map and Recurrent Prior Generative and Adversarial Net (RP-GAN) to learn the implicit image prior in the optimization model. Comparing with state-of-the-art end-to-end learning-based methods, our method restores reasonable details and shows better generalization ability.


title: Maximally-graded matrix factorizations for an invertible polynomial of chain type

abstract: In 1977, Orlik--Randell construct a nice integral basis of the middle homology group of the Milnor fiber associated to an invertible polynomial of chain type and they conjectured that it is represented by a distinguished basis of vanishing cycles. The purpose of this paper is to prove the algebraic counterpart of the Orlik--Randell conjecture. Under the homological mirror symmetry, we may expect that the triangulated category of maximally-graded matrix factorizations for the Berglund--H\"{u}bsch transposed polynomial admits a full exceptional collection with a nice numerical property. Indeed, we show that the category admits a Lefschetz decomposition with respect to a polarization in the sense of Kuznetsov--Smirnov, whose Euler matrix are calculated in terms of the "zeta function" of the inverse of the polarization. As a corollary, it turns out that the homological mirror symmetry holds at the level of lattices, namely, the Grothendieck group of the category with the Euler form is isomorphic to the middle homology group with the intersection form (with a suitable sign).


title: Strongly mixing smooth planar vector field without asymptotic directions

abstract: We use a Voronoi-type tessellation based on a compound Poisson point process to construct a polynomially mixing stationary random smooth planar vector field with bounded nonnegative components such that, with probability one, none of the associated integral curves possess an asymptotic direction.


title: Construction of a few Quantum mechanical Hamiltonians via L$\acute{e}$vi-Leblond type Linearization:Spinor states and Supersymmetry

abstract: A number of new L$\acute{e}$vi-Leblond type equations admitting four component spinor solutions have been proposed. The pair of linearized equations thus obtained in each case lead to Hamiltonians with characteristic features like L-S coupling and supersymmetry. The relevant momentum operators have often been understood in terms of Clifford algebraic bases producing Schr$\ddot{o}$dinger Hamiltonians with L-S coupling. As for example Hamiltonians representing Rashba effect or three dimensional harmonic oscillator have been constructed. The supersymmetric nature of one dimensional oscillator has also been appreciated.


title: The Li-age correlation: the Sun is unusually Li deficient for its age

abstract: The present work aims to examine in detail the depletion of lithium in solar twins to better constrain stellar evolution models and investigate its possible connection with exoplanets. We employ spectral synthesis in the region of the asymmetric 6707.75 \AA Li I line for a sample of 77 stars plus the Sun. As in previous works based on a smaller sample of solar twins, we find a strong correlation between Li depletion and stellar age. In addition, for the first time we show that the Sun has the lowest Li abundance in comparison with solar twins at similar age (4.6 $\pm$ 0.5 Gyr). We compare the lithium content with the condensation temperature slope for a sub-sample of the best solar twins and determine that the most lithium depleted stars also have fewer refractory elements. We speculate whether the low lithium content in the Sun might be related to the particular configuration of our Solar system.


title: The effect of short-range interaction and correlations on the charge and electric field distribution in a model solid electrolyte

abstract: A simple lattice model of a solid electrolyte presented as a xy-slab geometry system of mobile cations on a background of energetic landscape of the host system and a compensating field of uniformly distributed anions is studied. The system is confined in the z-direction between two oppositely charged walls, which are in parallel to xy-plane. Besides the long-range Coulomb interactions appearing in the system, the short-range attractive potential between cations is considered in our study. We propose the mean field description of this model and extend it by taking into account correlation effects at short distances. Using the free energy minimization at each of z-coordinates, the corresponding set of non-linear equations for the chemical potential is derived. The set of equations was solved numerically with respect to the charge density distribution in order to calculate the cations distribution profile and the electrostatic potential in the system along z-direction under different conditions. An asymmetry of charge distribution profile with respect to the midplane of the system is observed. The effects of the short-range interactions and pair correlations on the charge and electric field distributions are demonstrated.


title: Fractional charge bound to a vortex in two dimensional topological crystalline insulators

abstract: We establish the correspondence between the fractional charge bound to a vortex in a textured lattice and the relevant bulk band topology in two-dimensional (2D) topological crystalline insulators. As a representative example, we consider the Kekule textured graphene whose bulk band topology is characterized by a 2D $\mathbb{Z}_{2}$ topological invariant $\nu_{\rm 2D}$ protected by inversion symmetry. The fractional charge localized at a vortex in the Kekule texture is shown to be related to the change in the bulk topological invariant $\nu_{\rm 2D}$ around the vortex, as in the case of the Su-Schriefer-Heeger model in which the fractional charge localized at a domain wall is related to the change in the bulk charge polarization between degenerate ground states. We show that the effective three-dimensional (3D) Hamiltonian, where the angle $\theta$ around a vortex in Kekule-textured graphene is a third coordinate, describes a 3D axion insulator with a quantized magnetoelectric polarization. The spectral flow during the adiabatic variation of $\theta$ corresponds to the chiral hinge modes of an axion insulator and determines the accumulated charge localized at the vortex, which is half-quantized when chiral symmetry exists. When chiral symmetry is absent, electric charge localized at the vortex is no longer quantized, but the vortex always carries a half-quantized Wannier charge as long as inversion symmetry exists. For the cases when magnetoelectric polarization is quantized due to the presence of symmetry that reverses the space-time orientation, we classify all possible topological crystalline insulators whose vortex defect carries a fractional charge.


title: Gravitational form factors of a spin one particle

abstract: We define the form factors of the quark and gluon symmetric energy-momentum tensor (EMT). The static EMT is related to the spatial distributions of energy, spin, pressure and shear forces. They are obtained in the form of a multipole expansion. The relations between gravitational form factors and the generalised parton distributions are given.


title: Occurrence and stability of chimera states in multivariable coupled flows

abstract: Study of collective phenomenon in populations of coupled oscillators are a subject of intense exploration in physical, biological, neuronal and social systems. Here we propose a scheme for the creation of chimera states, namely the coexistence of distinct dynamical behaviors in an ensemble of multivariable coupled oscillatory systems and a novel scheme to study their stability. We target bifurcation parameters that can be tuned such that out of the two coupling parameters one pushes the system to synchrony while the other one takes it to the desynchronized state. The competition between these states result in a situation that a certain fraction of oscillators are synchronized while others are desynchronized thereby producing a mixed chimera state. Further changes in couplings can result in the desired form of the state which could be completely synchronized or desynchronized. Using the model example of coupled R\"ossler systems we show that their basin of attraction are either riddled or intertwined. We use Strength of incoherence and Master Stability function (MSF) as the order parameters to verify the stability of chimera states. MSF for different attractors are found to possess both negative and positive values indicating the coexistence of stable synchronized dynamics with desynchronized state.


title: CE-Net: Context Encoder Network for 2D Medical Image Segmentation

abstract: Medical image segmentation is an important step in medical image analysis. With the rapid development of convolutional neural network in image processing, deep learning has been used for medical image segmentation, such as optic disc segmentation, blood vessel detection, lung segmentation, cell segmentation, etc. Previously, U-net based approaches have been proposed. However, the consecutive pooling and strided convolutional operations lead to the loss of some spatial information. In this paper, we propose a context encoder network (referred to as CE-Net) to capture more high-level information and preserve spatial information for 2D medical image segmentation. CE-Net mainly contains three major components: a feature encoder module, a context extractor and a feature decoder module. We use pretrained ResNet block as the fixed feature extractor. The context extractor module is formed by a newly proposed dense atrous convolution (DAC) block and residual multi-kernel pooling (RMP) block. We applied the proposed CE-Net to different 2D medical image segmentation tasks. Comprehensive results show that the proposed method outperforms the original U-Net method and other state-of-the-art methods for optic disc segmentation, vessel detection, lung segmentation, cell contour segmentation and retinal optical coherence tomography layer segmentation.


title: RAVEN: A Dataset for Relational and Analogical Visual rEasoNing

abstract: Dramatic progress has been witnessed in basic vision tasks involving low-level perception, such as object recognition, detection, and tracking. Unfortunately, there is still an enormous performance gap between artificial vision systems and human intelligence in terms of higher-level vision problems, especially ones involving reasoning. Earlier attempts in equipping machines with high-level reasoning have hovered around Visual Question Answering (VQA), one typical task associating vision and language understanding. In this work, we propose a new dataset, built in the context of Raven's Progressive Matrices (RPM) and aimed at lifting machine intelligence by associating vision with structural, relational, and analogical reasoning in a hierarchical representation. Unlike previous works in measuring abstract reasoning using RPM, we establish a semantic link between vision and reasoning by providing structure representation. This addition enables a new type of abstract reasoning by jointly operating on the structure representation. Machine reasoning ability using modern computer vision is evaluated in this newly proposed dataset. Additionally, we also provide human performance as a reference. Finally, we show consistent improvement across all models by incorporating a simple neural module that combines visual understanding and structure reasoning.


title: Stronger L2/L2 Compressed Sensing; Without Iterating

abstract: We consider the extensively studied problem of $\ell_2/\ell_2$ compressed sensing. The main contribution of our work is an improvement over [Gilbert, Li, Porat and Strauss, STOC 2010] with faster decoding time and significantly smaller column sparsity, answering two open questions of the aforementioned work. Previous work on sublinear-time compressed sensing employed an iterative procedure, recovering the heavy coordinates in phases. We completely depart from that framework, and give the first sublinear-time $\ell_2/\ell_2$ scheme which achieves the optimal number of measurements without iterating; this new approach is the key step to our progress. Towards that, we satisfy the $\ell_2/\ell_2$ guarantee by exploiting the heaviness of coordinates in a way that was not exploited in previous work. Via our techniques we obtain improved results for various sparse recovery tasks, and indicate possible further applications to problems in the field, to which the aforementioned iterative procedure creates significant obstructions.


title: Semiclassical Estimates for Scattering on the Real Line

abstract: We prove explicit semiclassical resolvent estimates for an integrable potential on the real line. The proof is a comparatively easy case of the spherical energies method, which has been used to prove similar theorems in higher dimensions and in more complicated geometric situations. The novelty in our results lies in the weakness of the assumptions on the potential.


title: ALMA twenty-six arcmin$^2$ survey of GOODS-S at one-millimeter (ASAGAO): Near-infrared-dark faint ALMA sources

abstract: We report detections of two 1.2 mm continuum sources ($S_\mathrm{1.2mm}$ ~ 0.6 mJy) without any counterparts in the deep $H$- and/or $K$-band image (i.e., $K$-band magnitude $\gtrsim$ 26 mag). These near-infrared-dark faint millimeter sources are uncovered by ASAGAO, a deep and wide-field ($\simeq$ 26 arcmin$^2$) Atacama Large Millimeter/submillimeter Array (ALMA) 1.2 mm survey. One has a red IRAC (3.6 and 4.5 $\mu$m) counterpart, and the other has been independently detected at 850 and 870 $\mu$m using SCUBA2 and ALMA Band 7, respectively. Their optical to radio spectral energy distributions indicate that they can lie at $z \gtrsim$ 3-5 and can be in the early phase of massive galaxy formation. Their contribution to the cosmic star formation rate density is estimated to be ~ 1 $\times$ 10$^{-3}$ $M_\odot$ yr$^{-1}$ Mpc$^{-3}$ if they lie somewhere in the redshift range of $z$ ~ 3-5. This value can be consistent with, or greater than that of bright submillimeter galaxies ($S_\mathrm{870\mu m}>$ 4.2 mJy) at $z$ ~ 3-5. We also uncover 3 more candidates near-infrared-dark faint ALMA sources without any counterparts ($S_\mathrm{1.2mm}$ ~ 0.45-0.86 mJy). These results show that an unbiased ALMA survey can reveal the dust-obscured star formation activities, which were missed in previous deep optical/near-infrared surveys.


title: Three-wave interactions in magnetized warm-fluid plasmas: general theory with evaluable coupling coefficient

abstract: Resonant three-wave coupling is an important mechanism via which waves interact in a nonlinear medium. When the medium is a magnetized warm-fluid plasma, a previously-unknown formula for the coupling coefficients is derived by solving the fluid-Maxwell's equations to second order using multiscale perturbative expansions. The formula is not only general but also evaluable, whereby numerical values of the coupling coefficient can be determined for any three resonantly interacting waves propagating at arbitrary angles. As one example, coupling coefficient governing laser scattering is evaluated. In conditions relevant to magnetized inertial confinement fusion experiments, lasers scatter from magnetized plasma waves and the growth rates are modified at oblique angles. As another example, coupling coefficient between two Alfv\'en waves via a sound wave is evaluated. In conditions relevant to solar corona, the decay of a parallel Alfv\'en wave only slightly prefers exact backward geometry.


title: Proximity effect in a ferromagnetic semiconductor with spin-orbit interactions

abstract: We study theoretically the proximity effect in a ferromagnetic semiconductor with Rashba spin-orbit interaction. The exchange potential generates opposite-spin-triplet Cooper pairs which are transformed into equal-spin-triplet pairs by the spin-orbit interaction. In the limit of strong spin-orbit interaction, symmetry of the dominant Cooper pair depends on the degree of disorder in a ferromagnet. In the clean limit, spin-singlet $s$-wave Cooper pairs are the most dominant because the spin-momentum locking stabilizes a Cooper pair consisting of a time-reversal partner. In the dirty limit, on the other hand, equal-spin-triplet $s$-wave pairs are dominant because random impurity potentials release the locking. We also discuss the effects of the spin-orbit interaction on the Josephson current.