title: Enabling Edge Cooperation in Tactile Internet via 3C Resource Sharing

abstract: Tactile Internet often requires (i) the ultra-reliable and ultra-responsive network connection and (ii) the proactive and intelligent actuation at edge devices. A promising approach to address these two requirements is to enable mobile edge devices to share their communication, computation, and caching (3C) resources via device-to-device (D2D) connections. In this paper, we propose a general 3C resource sharing framework, which includes many existing 1C/2C sharing models in the literature as special cases. Comparing with 1C/2C models, the proposed 3C framework can further improve the resource utilization efficiency by offering more flexibilities in the device cooperation and resource scheduling. As a typical example, we focus on the energy utilization under the proposed 3C framework. Specifically, we formulate an energy consumption minimization problem under the 3C framework, which is an integer non-convex optimization problem. To solve the problem, we first transform it into an equivalent integer linear programming problem that is much easier to solve. Then, we propose a heuristic algorithm based on linear programming, which can further reduce the computation time and produce a result that is empirically close to the optimal solution. Moreover, we evaluate the energy reduction due to the 3C sharing both analytically and numerically. Numerical results show that, comparing with the existing 1C/2C approaches, the proposed 3C sharing framework can reduce the total energy consumption by 83.8% when the D2D energy is negligible. The energy reduction is still 27.5% when the D2D transmission energy per unit time is twice as large as the cellular transmission energy per unit time.


title: Optimal Energy Distribution with Energy Packet Networks

abstract: We use Energy Packet Network paradigms to investigate energy distribution problems in a computer system with energy harvesting and storages units. Our goal is to minimize both the overall average response time of jobs at workstations and the total rate of energy lost in the network. Energy is lost when it arrives at idle workstations which are empty. Energy is also lost in storage leakages. We assume that the total rate of energy harvesting and the rate of jobs arriving at workstations are known. We also consider a special case in which the total rate of energy harvesting is sufficiently large so that workstations are less busy. In this case, energy is more likely to be sent to an idle workstation. Optimal solutions are obtained which minimize both the overall response time and energy loss under the constraint of a fixed energy harvesting rate.


title: Relay Assisted Device-to-Device Communication: Approaches and Issues

abstract: Enabling technologies for 5G and future wireless communication have attracted the interest of industry and research communities. One of such technologies is Device-to-Device (D2D) communication which exploits user proximity to offer spectral efficiency, energy efficiency and increased throughput. Data offloading, public safety communication, context aware communication and content sharing are some of the use cases for D2D communication. D2D communication can be direct or through a relay depending on the nature of the channel in between the D2D devices. Apart from the problem of interference, a key challenge of relay aided D2D communication is appropriately assigning relays to a D2D pair while maintaining the QoS requirement of the cellular users. In this article, relay assisted D2D communication is reviewed and research issues are highlighted. We also propose matching theory with incomplete information for relay allocation considering uncertainties which the mobility of the relay introduces to the set up.


title: Alignments as Compositional Structures

abstract: Alignments, i.e., position-wise comparisons of two or more strings or ordered lists are of utmost practical importance in computational biology and a host of other fields, including historical linguistics and emerging areas of research in the Digital Humanities. The problem is well-known to be computationally hard as soon as the number of input strings is not bounded. Due to its prac- tical importance, a huge number of heuristics have been devised, which have proved very successful in a wide range of applications. Alignments nevertheless have received hardly any attention as formal, mathematical structures. Here, we focus on the compositional aspects of alignments, which underlie most algo- rithmic approaches to computing alignments. We also show that the concepts naturally generalize to finite partially ordered sets and partial maps between them that in some sense preserve the partial orders.


title: Integrating UAVs into Existing Wireless Networks: A Stochastic Geometry Approach

abstract: The integration of unmanned aerial vehicles (UAVs) into wireless networks has opened a new horizon to meet the capacity and coverage requirements foreseen in future wireless networks. Harnessing UAVs as flying base stations (BSs) has helped to achieve a cost-effective and on-the-go wireless network that may be used in several scenarios such as to support disaster response and in temporary hotspots. Despite the extensive research on the application side of UAVs, the integration of UAVs as BSs into existing wireless networks remains an open challenge. While UAV BSs can help to increase the area spectral efficiency, the added network heterogeneity and BS densification may diminish the capacity gains due to increased handover rates. In this work, we shed some light on this tradeoff by studying a three tier network architecture consisting of macro, small, and UAV BSs and analyze its coverage and rate performance. In particular, we consider joint control/data and split architectures and express the rate performance for stationary and mobile users, using an analytical approach based on stochastic geometry. While both joint and split architectures offer similar performance for stationary users, the numerical results suggest the splitting of control and data plane for mobile users.


title: A phase-field model for large-density-ratio two-phase flows based on discrete unified gas-kinetic scheme

abstract: In this paper, a phase-field based model under the framework of discrete unified gas-kinetic scheme (DUGKS) for incompressible multiphase fluid flows is proposed. Two kinetic models are constructed to solve the conservative Allen-Cahn (A-C) equation that accounts for the interface behavior and the incompressible hydrodynamic equations that govern the flow field, respectively. With a truncated equilibrium distribution function as well as a temporal derivative added to the source term, the macroscopic governing equations can be exactly recovered from the kinetic models through the Chapmann-Enskog analysis. Calculation of source terms involving high-order derivatives existed in the quasi-incompressible model is simplified. A series of benchmark cases including four interface-capturing tests and four binary flow tests are carried out. Results compared to that of lattice Boltzmann method (LBM) have been obtained. A convergence rate of second-order can be guaranteed in the test of interface diagonal translation. The capability of present method in interface tracking that undergoes a severe deformation has been verified. Stationary bubble and spinodal decomposition problems, both with a density ratio as high as 1000, are conducted and reliable solutions have been provided. The layered Poiseuille flow with a large viscosity ratio is simulated and numerical results agree well with the analytical solutions. Variation of positions of the bubble front and spike tip during the evolution of Rayleigh-Taylor instability (RTI) has been predicted precisely. However, the detailed depiction of complicated interface patterns appeared in the evolution process is failed, which is mainly caused by the relatively large numerical dissipation of DUGKS compared to that of LBM. A high-order DUGKS is needed to overcome this problem.


title: Lattice Boltzmann approach to rarefied gas flows using half-range Gauss-Hermite quadratures: Comparison to DSMC results based on ab initio potentials

abstract: In this paper, we employ the lattice Boltzmann method to solve the Boltzmann equation with the Shakhov model for the collision integral in the context of the 3D planar Couette flow. The half-range Gauss-Hermite quadrature is used to account for the wall-induced discontinuity in the distribution function. The lattice Boltzmann simulation results are compared with direct simulation Monte Carlo (DSMC) results for ${}^3{\rm He}$ and ${}^4{\rm He}$ atoms interacting via ab initio potentials, at various values of the rarefaction parameter $\delta$, where the temperature of the plates varies from $1\ {\rm K}$ up to $3000\ {\rm K}$. Good agreement is observed between the results obtained using the Shakhov model and the DSMC data at large values of the rarefaction parameter. The agreement deteriorates as the rarefaction parameter is decreased, however we highlight that the relative errors in the non-diagonal component of the shear stress do not exceed $2.5\%$.


title: Burnett Spectral Method for the Spatially Homogeneous Boltzmann Equation

abstract: We develop a spectral method for the spatially homogeneous Boltzmann equation using Burnett polynomials in the basis functions. Using the sparsity of the coefficients in the expansion of the collision term, the computational cost is reduced by one order of magnitude for general collision kernels and by two orders of magnitude for Maxwell molecules. The proposed method can couple seamlessly with the BGK-type modelling techniques to make future applications affordable. The implementation of the algorithm is discussed in detail, including a numerical scheme to compute all the coefficients accurately, and the design of the data structure to achieve high cache hit ratio. Numerical examples are provided to demonstrate the accuracy and efficiency of our method


title: Thou shalt not say "at random" in vain: Bertrand's paradox exposed

abstract: We review the well known Bertrand paradoxes, and we first maintain that they do not point to any probabilistic inconsistency, but rather to the risks incurred with a careless use of the locution "at random". We claim then that these paradoxes spring up also in the discussion of the celebrated Buffon's needle problem, and that they are essentially related to the definition of (geometrical) probabilities on "uncountably" infinite sets. A few empirical remarks are finally added to underline the difference between "passive" and "active" randomness, and the prospects of any experimental decision


title: Towards optimal high-order compact schemes for simulating compressible flows

abstract: Weighted compact nonlinear schemes (WCNS) [Deng and Zhang, JCP 165(2000): 22-44] were developed to improve the performance of the compact high-order nonlinear schemes (CNS) by utilizing the weighting technique originally designed for WENO schemes, and excellent shock capturing capability and high resolution are achieved. Various work has been given for further improving the performance of WCNSs since then. In this work, the ENO-like stencil selection procedure of Targeted ENO schemes [Fu et al. JCP 305(2016):333-359] is introduced for interpolating midpoint variables, targeting compact nonlinear schemes which fully abandon the oscillatory stencils crossing discontinuities, and directly apply optimal linear weights when the flow field is smooth, such that the optimal numerical resolution is fully recovered in smooth flow field. Several canonical numerical cases of scalar equations and the Euler equations of gas dynamics are given to examine the performance of the presented method.


title: Spontaneous symmetry breaking in 2D supersphere sigma models and applications to intersecting loop soups

abstract: Two-dimensional sigma models on superspheres $S^{r-1|2s} \cong OSp(r|2s)/OSp(r - 1|2s)$ are known to flow to weak coupling $g_{\sigma} \to 0$ in the IR when $r - 2s < 2$. Their long-distance properties are described by a free 'Goldstone' conformal field theory (CFT) with $r - 1$ bosonic and $2s$ fermionic degrees of freedom, where the $OSp(r|2s)$ symmetry is spontaneously broken. This behavior is made possible by the lack of unitarity. The purpose of this paper is to study logarithmic corrections to the free theory at small but non-zero coupling $g_{\sigma}$. We do this in two ways. On the one hand, we perform perturbative calculations with the sigma model action, which are of special technical interest since the perturbed theory is logarithmic. On the other hand, we study an integrable lattice discretization of the sigma models provided by vertex models and spin chains with $OSp(r|2s)$ symmetry. Detailed analysis of the Bethe equations then confirms and completes the field theoretic calculations. Finally, we apply our results to physical properties of dense loop soups with crossings.


title: Modularity of residual Galois extensions and the Eisenstein ideal

abstract: For a totally real field $F$, a finite extension $\mathbf{F}$ of $\mathbf{F}_p$ and a Galois character $\chi: G_F \to \mathbf{F}^{\times}$ unramified away from a finite set of places $\Sigma \supset \{\mathfrak{p} \mid p\}$ consider the Bloch-Kato Selmer group $H:=H^1_{\Sigma}(F, \chi^{-1})$. In an earlier paper of the authors it was proved that the number $d$ of isomorphism classes of (non-semisimple, reducible) residual representations $\overline{\rho}$ giving rise to lines in $H$ which are modular by some $\rho_f$ (also unramified outside $\Sigma$) satisfies $d \geq n:= \dim_{\mathbf{F}} H$. This was proved under the assumption that the order of a congruence module is greater than or equal to that of a divisible Selmer group. We show here that if in addition the relevant local Eisenstein ideal $J$ is non-principal, then $d >n$. When $F=\mathbf{Q}$ we prove the desired bounds on the congruence module and the Selmer group. We also formulate a congruence condition implying the non-principality of $J$ that can be checked in practice, allowing us to furnish an example where $d>n$.


title: Prediction of treatment outcome for autism from structure of the brain based on sure independence screening

abstract: Autism spectrum disorder (ASD) is a complex neurodevelopmental disorder, and behavioral treatment interventions have shown promise for young children with ASD. However, there is limited progress in understanding the effect of each type of treatment. In this project, we aim to detect structural changes in the brain after treatment and select structural features associated with treatment outcomes. The difficulty in building large databases of patients who have received specific treatments and the high dimensionality of medical image analysis problems are the challenges in this work. To select predictive features and build accurate models, we use the sure independence screening (SIS) method. SIS is a theoretically and empirically validated method for ultra-high dimensional general linear models, and it achieves both predictive accuracy and correct feature selection by iterative feature selection. Compared with step-wise feature selection methods, SIS removes multiple features in each iteration and is computationally efficient. Compared with other linear models such as elastic-net regression, support vector regression (SVR) and partial least squares regression (PSLR), SIS achieves higher accuracy. We validated the superior performance of SIS in various experiments: First, we extract brain structural features from FreeSurfer, including cortical thickness, surface area, mean curvature and cortical volume. Next, we predict different measures of treatment outcomes based on structural features. We show that SIS achieves the highest correlation between prediction and measurements in all tasks. Furthermore, we report regions selected by SIS as biomarkers for ASD.


title: LadderNet: Multi-path networks based on U-Net for medical image segmentation

abstract: U-Net has been providing state-of-the-art performance in many medical image segmentation problems. Many modifications have been proposed for U-Net, such as attention U-Net, recurrent residual convolutional U-Net (R2-UNet), and U-Net with residual blocks or blocks with dense connections. However, all these modifications have an encoder-decoder structure with skip connections, and the number of paths for information flow is limited. We propose LadderNet in this paper, which can be viewed as a chain of multiple U-Nets. Instead of only one pair of encoder branch and decoder branch in U-Net, a LadderNet has multiple pairs of encoder-decoder branches, and has skip connections between every pair of adjacent decoder and decoder branches in each level. Inspired by the success of ResNet and R2-UNet, we use modified residual blocks where two convolutional layers in one block share the same weights. A LadderNet has more paths for information flow because of skip connections and residual blocks, and can be viewed as an ensemble of Fully Convolutional Networks (FCN). The equivalence to an ensemble of FCNs improves segmentation accuracy, while the shared weights within each residual block reduce parameter number. Semantic segmentation is essential for retinal disease detection. We tested LadderNet on two benchmark datasets for blood vessel segmentation in retinal images, and achieved superior performance over methods in the literature. The implementation is provided \url{https://github.com/juntang-zhuang/LadderNet}


title: Return to the Kuiper Belt: launch opportunities from 2025 to 2040

abstract: Preliminary spacecraft trajectories for 45 Kuiper Belt Objects (KBOs) and Pluto suitable for launch between 2025 and 2040 are presented. These 46 objects comprise all objects with H magnitude < 4.0 or which have received a name from the International Astronomical Union as of May 2018. Using a custom Lambert solver, trajectories are modeled after the New Horizons mission to Pluto-Charon, which consisted of a fast launch with a Jupiter gravity assist. In addition to searching for Earth-Jupiter-KBO trajectories, Earth-Saturn-KBO trajectories are examined, with the option to add on a flyby to either Uranus or Neptune. With a single Jupiter gravity assist, all 45 KBOs and Pluto can be reached within a 25 year maximum mission duration. A more limited number can be reached when non-Jupiter flybys are added, and the KBOs that can be reached via these alternate routes are listed. In most cases, a single Jupiter flyby is the most efficient way to get to the Kuiper Belt, but the science return from revisiting Saturn, Uranus, or Neptune may add substantial value to a mission, so alternate flybys should be considered.


title: Openness and Impact of Leading Scientific Countries

abstract: The rapid rise of international collaboration over the past three decades, demonstrated in coauthorship of scientific articles, raises the question of whether countries benefit from cooperative science and how this might be measured. We develop and compare measures to ask this question. For all source publications in 2013, we obtained from Elsevier national level full and fractional paper counts as well as accompanying field-weighted citation counts. Then we collected information from Elsevier on the percent of all internationally coauthored papers for each country, as well as Organization for Economic Cooperation and Development measures of the international mobility of the scientific workforce in 2013, and conducted a principle component analysis that produced an openness index. We added data from the OECD on government budget allocation on research and development for 2011 to tie in the public spending that contributed to the 2013 output. We found that openness among advanced science systems is strongly correlated with impact: the more internationally engaged a nation is in terms of coauthorships and researcher mobility, the higher the impact of scientific work. The results have important implications for policy making around investment, as well as the flows of students, researchers, and technical workers.


title: Controlling error orientation to improve quantum algorithm success rates

abstract: The success probability of a quantum algorithm constructed from noisy quantum gates cannot be accurately predicted from single parameter metrics that compare noisy and ideal gates. We illustrate this concept by examining a system with coherent errors and comparing algorithm success rates for different choices of two-qubit gates that are constructed from composite pulse sequences, where the residual gate errors are related by a unitary transformation. As a result, all of the sequences have the same error relative to the ideal gate under any distance measure that is invariant under unitary transformations. However, the circuit success can vary dramatically by choosing error orientations that do not affect the final outcome and error orientations that cancel between conjugate controlled-nots, as demonstrated here with Clifford circuits, compiled Toffoli gates, and quantum simulation algorithms. The results point to the utility of both minimizing the error and optimizing the error direction and also to the advantages of using multiple control sequences for the same gate type within a single algorithm.


title: Eremenko's conjecture for functions with real zeros: the role of the minimum modulus

abstract: We show that for many families of transcendental entire functions $f$ the property that $m^n(r)\to\infty$ as $n\to \infty$, for some $r>0$, where $m(r)=\min\{|f(z)|:|z|=r\}$, implies that the escaping set $I(f)$ of $f$ has the structure of a spider's web. In particular, in this situation $I(f)$ is connected, so Eremenko's conjecture holds. We also give new examples of families of functions for which this iterated minimum modulus condition holds and new families for which it does not hold.


title: Nanophotonic Media for Artificial Neural Inference

abstract: We show optical waves passing through a nanophotonic medium can perform artificial neural computing. Complex information, is encoded in the wave front of an input light. The medium transforms the wave front to realize sophisticated computing tasks such as image recognition. At the output, the optical energy is concentrated to well-defined locations, which for example can be interpreted as the identity of the object in the image. These computing media can be as small as tens of wavelengths and offer ultra-high computing density. They exploit sub-wavelength scatterers to realize complex input output mapping beyond the capabilities of traditional nanophotonic devices.


title: The Matching Augmentation Problem: A $\frac74$-Approximation Algorithm

abstract: We present a $\frac74$ approximation algorithm for the matching augmentation problem (MAP): given a multi-graph with edges of cost either zero or one such that the edges of cost zero form a matching, find a 2-edge connected spanning subgraph (2-ECSS) of minimum cost. We first present a reduction of any given MAP instance to a collection of well-structured MAP instances such that the approximation guarantee is preserved. Then we present a $\frac74$ approximation algorithm for a well-structured MAP instance. The algorithm starts with a min-cost 2-edge cover and then applies ear-augmentation steps. We analyze the cost of the ear-augmentations using an approach similar to the one proposed by Vempala and Vetta for the (unweighted) min-size 2-ECSS problem (`Factor 4/3 approximations for minimum 2-connected subgraphs,' APPROX 2000, LNCS 1913, pp.262-273).


title: A conjecture on the relationship between critical residual entropy and finite temperature pseudo-transitions of one-dimensional models

abstract: Recently pseudo-critical temperature clues were observed in one-dimensional spin models, such as the Ising-Heisenberg spin models, among others. Here we report a relationship between the zero-temperature phase boundary residual entropy (critical residual entropy) and pseudo-transition. Usually, the residual entropy increases in the phase boundary, which means the system becomes more degenerate at the phase boundary compared to its adjacent states. However, this is not always the case; at zero temperature, there are some phase boundaries where the entropy holds the largest residual entropy of the adjacent states. Therefore, we can propose the following conjecture: If residual entropy at zero-temperature is a continuous function at least from the one-sided limit at a critical point, then pseudo-transition evidence will appear at finite temperature near the critical point. We expect that this argument would apply to study more realistic models. Only by analyzing the residual entropy at zero temperature, one could identify a priori whether the system will exhibit the pseudo-transition at finite temperature. To strengthen our conjecture, we use two examples of Ising-Heisenberg models, which exhibit pseudo-transition behavior: one frustrated coupled tetrahedral chain and another unfrustrated diamond chain.


title: A Riemann--Hilbert Problem Approach to Periodic Infinite Gap Hill's Operators and the Korteweg--de Vries Equation

abstract: We formulate the inverse spectral theory of infinite gap Hill's operators with bounded periodic potential as a Riemann--Hilbert problem on a typically infinite collection of spectral bands and gaps. We establish a uniqueness theorem for this Riemann--Hilbert problem, which provides a new route to establishing unique determination of periodic potentials from spectral data. As the potential evolves according to the KdV equation, we use integrability to derive an associated Riemann--Hilbert problem with explicit time dependence. Basic principles from the theory of Riemann--Hilbert problems yield a new characterization of spectra for periodic potentials in terms of the existence of a solution to a scalar Riemann--Hilbert problem, and we derive a similar condition on the spectrum for the temporal periodicity for an evolution under the KdV equation.


title: New spaces of matrices with operator entries

abstract: In this paper, we will consider matrices with entries in the space of operators $\mathcal{B}(H)$, where $H$ is a separable Hilbert space and consider the class of matrices that can be approached in the operator norm by matrices with a finite number of diagonals. We will use the Schur product with Toeplitz matrices generated by summability kernels to describe such a class and show that in the case of Toeplitz matrices it can be identified with the space of continuous functions with values in $\mathcal B(H)$. We shall also introduce matriceal versions with operator entries of classical spaces of holomorphic functions such as $H^\infty(\mathbb{D})$ and $A(\mathbb{D})$ when dealing with upper triangular matrices.


title: A class of Schur multipliers of matrices with operator entries

abstract: In this paper, we will consider matrices with entries in the space of operators $\mathcal{B}(H)$, where $H$ is a separable Hilbert space, and consider the class of (left or right) Schur multipliers that can be approached in the multiplier norm by matrices with a finite number of diagonals. We will concentrate on the case of Toeplitz matrices and of upper triangular matrices to get some connections with spaces of vector-valued functions.


title: Simulation Study of the Influence of Experimental Variations on the Structure and Quality of Plasma Liners

abstract: Simulation studies of a section of a spherically imploding plasma liner, formed by the merger of six hypersonic plasma jets, have been performed at conditions relevant to the Plasma Liner Experiment (PLX) [S. C. Hsu et al., IEEE Trans. Plasma Sci.~{\bf 46}, 1951 (2018)]. The main aim of simulations was the sensitivity study of the detailed structure of plasma liners and their global properties to experimental mass variations and timing jitter across the six plasma jets. Experimentally observable synthetic quantities have been computed using simulation data and compared with the available experimental data. Simulations predicted that the primary oblique shock wave structure is preserved at small experimental variations. At later phases of the liner implosion, primary shocks and, especially, secondary shocks are more sensitive to experimental variations. These conclusions follow from the simulation data as well as comparisons between synthetic and experimental interferometry and visible images. Small displacements of the shock wave structures may cause significant changes in the synthetic interferometer data at early time. Our studies also showed that the global properties of the plasma liners (averaged Mach number and averaged ram pressure along leading edges of plasma liners) are not very sensitive to experimental variations. Simulation data of the liner structure were largely confirmed by the PLX experimental data.


title: When Can We Answer Queries Using Result-Bounded Data Interfaces?

abstract: We consider answering queries on data available through access methods, that provide lookup access to the tuples matching a given binding. Such interfaces are common on the Web; further, they often have bounds on how many results they can return, e.g., because of pagination or rate limits. We thus study result-bounded methods, which may return only a limited number of tuples. We study how to decide if a query is answerable using result-bounded methods, i.e., how to compute a plan that returns all answers to the query using the methods, assuming that the underlying data satisfies some integrity constraints. We first show how to reduce answerability to a query containment problem with constraints. Second, we show "schema simplification" theorems describing when and how result-bounded services can be used. Finally, we use these theorems to give decidability and complexity results about answerability for common constraint classes.


title: Calabi problem for manifolds with edge-cone singularities

abstract: In this note, we propose a new approach to solving the Calabi problem on manifolds with edge-cone singularities of prescribed angles along complex hypersurfaces. It is shown how the classical approach of Aubin-Yau in derving {\it a priori} estimates for the complex hessian can be made to work via adopting a \emph{good reference metric} and studying equivalent equations with different referrence metrics. This further allows extending much of the methods used in the smooth setting to the edge setting. These results generalise to the case of multiple hypersufaces with possibly normal crossing.


title: Identifying Vessel Branching from Fluid Stresses on Microscopic Robots

abstract: Objects moving in fluids experience patterns of stress on their surfaces determined by the geometry of nearby boundaries. Flows at low Reynolds number, as occur in microscopic vessels such as capillaries in biological tissues, have relatively simple relations between stresses and nearby vessel geometry. Using these relations, this paper shows how a microscopic robot moving with such flows can use changes in stress on its surface to identify when it encounters vessel branches.


title: Finding Maximal Sets of Laminar 3-Separators in Planar Graphs in Linear Time

abstract: We consider decomposing a 3-connected planar graph $G$ using laminar separators of size three. We show how to find a maximal set of laminar 3-separators in such a graph in linear time. We also discuss how to find maximal laminar set of 3-separators from special families. For example we discuss non-trivial cuts, ie. cuts which split $G$ into two components of size at least two. For any vertex $v$, we also show how to find a maximal set of 3-separators disjoint from $v$ which are laminar and satisfy: every vertex in a separator $X$ has two neighbours not in the unique component of $G-X$ containing $v$. In all cases, we show how to construct a corresponding tree decomposition of adhesion three. Our new algorithms form an important component of recent methods for finding disjoint paths in nonplanar graphs.


title: Dynamics around the Site Percolation Threshold on High-Dimensional Hypercubic Lattices

abstract: Recent advances on the glass problem motivate reexamining classical models of percolation. Here, we consider the displacement of an ant in a labyrinth near the percolation threshold on cubic lattices both below and above the upper critical dimension of simple percolation, d_u=6. Using theory and simulations, we consider the scaling regime part, and obtain that both caging and subdiffusion scale logarithmically for d >= d_u. The theoretical derivation considers Bethe lattices with generalized connectivity and a random graph model, and employs a scaling analysis to confirm that logarithmic scalings should persist in the infinite dimension limit. The computational validation employs accelerated random walk simulations with a transfer-matrix description of diffusion to evaluate directly the dynamical critical exponents below d_u as well as their logarithmic scaling above d_u. Our numerical results improve various earlier estimates and are fully consistent with our theoretical predictions.


title: Entanglement between two spatially separated ultracold interacting Fermi gases

abstract: Multiparticle entangled states, essential ingredients for modern quantum technologies, are routinely generated in experiments of atomic Bose-Einstein condensates (BECs). However, the entanglement in ultracold interacting Fermi gases has not been yet exploited. In this work, by using an ansatz of composite bosons, we show that many-particle entanglement between two fermionic ensembles localized in spatially separated modes can be generated by splitting an ultracold interacting Fermi gas in the (molecular) BEC regime. This entanglement relies on the fundamental fermion exchange symmetry of molecular constituents and might be used for implementing Bell test of quantum nonlocality in oncoming experiments.


title: Two-dimensional grain boundary networks: stochastic particle models and kinetic limits

abstract: We study kinetic theories for isotropic, two-dimensional grain boundary networks which evolve by curvature flow. The number densities $f_s(x,t)$ for $s$-sided grains, $s =1,2,\ldots$, of area $x$ at time $t$, are modeled by kinetic equations of the form $\partial_t f_s + v_s \partial_x f_s =j_s$. The velocity $v_s$ is given by the Mullins-von Neumann rule and the flux $j_s$ is determined by the topological transitions caused by the vanishing of grains and their edges. The foundations of such kinetic models are examined through simpler particle models for the evolution of grain size, as well as purely topological models for the evolution of trivalent maps. These models are used to characterize the parameter space for the flux $j_s$. Several kinetic models in the literature, as well as a new kinetic model, are simulated and compared with direct numerical simulations of mean curvature flow on a network. Existence and uniqueness of mild solutions to the kinetic equations with continuous initial data is established.


title: Quality 4.0: Let's Get Digital - The many ways the fourth industrial revolution is reshaping the way we think about quality

abstract: The technology landscape is richer and more promising than ever before. In many ways, cloud computing, big data, virtual reality (VR), augmented reality (AR), blockchain, additive manufacturing, artificial intelligence (AI), machine learning (ML), Internet Protocol Version 6 (IPv6), cyber-physical systems and the Internet of Things (IoT) all represent new frontiers. These technologies can help improve product and service quality, and organizational performance. In many regions, the internet is now as ubiquitous as electricity. Components are relatively cheap. A robust ecosystem of open-source software libraries means that engineers can solve problems 100 times faster than just two decades ago. This digital transformation is leading us toward connected intelligent automation: smart, hyperconnected agents deployed in environments where humans and machines cooperate, and leverage data, to achieve shared goals. This is not the worlds first industrial revolution. In fact, it is its fourth, and the disruptive changes it will bring suggest we will need a fresh perspective on quality to adapt to it.


title: (Bi)Hom-Leibniz algebras

abstract: The first aim of this paper is to introduce and study symmetric (Bi)Hom-Leibniz algebras, which are left and right Leibniz algebras. We discuss $\alpha^k\beta^l$-generalized derivations, $\alpha^k\beta^l$ -quasi-derivations and $\alpha^k\beta^l$-quasi-centroid of (Bi)Hom-Leibniz algebras and colour BiHom-Leibniz algebras. The second aim is to define a new type of BiHom-Lie algebras satisfies the following hierarchy \begin{equation*} \displaystyle \{ \text{ BiHom-Lie type $B_1$} \}\supseteq_{\beta=id} \{ \text{ Hom-Lie} \}\supseteq_{\alpha=id} \{ \text{ Lie} \}. \end{equation*} Moreover, define representations and a cohomology of symmetric BiHom- Leibniz algebras of type $B_1$.


title: Out-of-plane auto-oscillation in spin Hall oscillator with additional polarizer

abstract: The theoretical investigation on magnetization dynamics excited by the spin Hall effect in metallic multilayers having two ferromagnets is discussed. The relaxation of the transverse spin in one ferromagnet enables us to manipulate the direction of the spin-transfer torque excited in another ferromagnet, although the spin-polarization originally generated by the spin Hall effect is geometrically fixed. Solving the Landau-Lifshitz-Gilbert-Slonczewski equation, the possibility to excite an out-of-plane auto-oscillation of an in-plane magnetized ferromagnet is presented. An application to magnetic recording using microwave-assisted magnetization reversal is also discussed.


title: Scaling Limits for Super--replication with Transient Price Impact

abstract: We prove a scaling limit theorem for the super-replication cost of options in a Cox--Ross--Rubinstein binomial model with transient price impact. The correct scaling turns out to keep the market depth parameter constant while resilience over fixed periods of time grows in inverse proportion with the duration between trading times. For vanilla options, the scaling limit is found to coincide with the one obtained by PDE methods in [12] for models with purely temporary price impact. These models are a special case of our framework and so our probabilistic scaling limit argument allows one to expand the scope of the scaling limit result to path-dependent options.


title: Steady states of a quasiperiodically driven integrable system

abstract: Driven many-body quantum systems where some parameter in the Hamiltonian is varied quasiperiodically in time may exhibit nonequilibrium steady states that are qualitatively different from their periodically driven counterparts. Here we consider a prototypical integrable spin system, the spin-$1/2$ transverse field Ising model in one dimension, in a pulsed magnetic field. The time dependence of the field is taken to be quasiperiodic by choosing the pulses to be of two types that alternate according to a Fibonacci sequence. We show that a novel steady state emerges after an exponentially long time when local properties (or equivalently, reduced density matrices of subsystems with size much smaller than the full system) are considered. We use the temporal evolution of certain coarse-grained quantities in momentum space to understand this nonequilibrium steady state in more detail and show that unlike the previously known cases, this steady state is neither described by a periodic generalized Gibbs ensemble nor by an infinite temperature ensemble. Finally, we study a toy problem with a single two-level system driven by a Fibonacci sequence; this problem shows how sensitive the nature of the final steady state is to the different parameters.


title: Superimposed Frame Synchronization Optimization for Finite Blocklength Regime

abstract: Considering a short frame length, which is typical in Ultra-Reliable Low-Latency and massive Machine Type Communications, a trade-off exists between improving the performance of frame synchronization (FS) and improving the performance of information throughput. In this paper, we consider the case of continuous transmission over AWGN channels where the synchronization sequence is superimposed to the data symbols, as opposed to being added as a frame header. The advantage of this superposition is that the synchronization length is as long as the frame length. On the other hand, its power has to be traded-off not to degrade the code performance. We first provide the analysis of FS error probability using an approximation of the probability distribution of the overall received signal. Numerical evaluations show the tightness of our analytic results. Then we optimize the fraction of power allocated to the superimposed synchronization sequence in order to maximize the probability of receiving a frame without synchronization errors nor decoding errors. Comparison of the theoretical model predictions to a practical setup show very close optimal power allocation policies.


title: QCD Processes in Few Nucleon Systems

abstract: One of the important issues of Quantum Chromodynamics (QCD) - the fundamental theory of strong interaction, is the understanding of the role of the quark-gluon interactions in the processes involving nuclear targets. One direction in such studies is to explore the onset of the quark gluon degrees of freedom in nuclear dynamics. The other direction is using the nuclear targets as a `micro-labs' in studies of the QCD processes involving protons and neutrons bound in the nucleus. In the proposed research, we work in both directions considering high energy photo- and electro-production reactions involving deuteron and $^3$He nuclei. In the first half of the research, we study the high energy break-up of the $^3$He nucleus, caused by a incoming photon, into a proton-deuteron pair at the large center of mass scattering angle. The main motivation of the research is the theoretical interpretation of recent experimental data which revealed the unprecedentedly large exponent $s^{-17}$, for the energy dependence of the differential cross section. In the present research, we extend the theoretical formalism of the hard QCD rescattering model to calculate energy and angular dependences of the absolute cross section of the $\gamma ^3\text{He}\rightarrow pd$ reaction in high momentum transfer limit. The second half of the research explores the deep-inelastic scattering of a polarized electron off the polarized deuteron and $^3$He nuclei, to explore the quark-gluon structure of polarized neutron. In this work, we developed a comprehensive theoretical framework for calculation of the all relevant nuclear effects that will allow the accurate extraction of the neutron data from deep-inelastic scattering involving deuteron and $^3$He targets.


title: Luminosity and cooling suppression in magnetized white dwarfs

abstract: We investigate the luminosity and cooling of highly magnetized white dwarfs where cooling occurs by the diffusion of photons. We solve the magnetostatic equilibrium and photon diffusion equations to obtain the temperature and density profiles in the surface layers of these white dwarfs. With increase in field strength, the degenerate core shrinks in volume with a simultaneous increase in the core temperature. For a given white dwarf age and for a fixed interface radius or temperature, the luminosity decreases significantly from $\sim 10^{-6}\, L_{\odot}$ to $10^{-9}\, L_{\odot}$ as the field strength increases from $\sim 10^9$ to $10^{12}\,$G in the surface layers. This is remarkable as it argues that magnetized white dwarfs can remain practically hidden in an observed H--R diagram. We also find that the cooling rates for these highly magnetized white dwarfs are suppressed significantly.


title: Existence and non-existence of length averages for foliations

abstract: Since the pioneering work of Ghys, Langevin and Walczak among others, it has been known that several methods of dynamical systems theory can be adopted to study of foliations. Our aim in this paper is to investigate complexity of foliations, by generalising existence problem of time averages in dynamical systems theory to foliations: It has recently been realised that a positive Lebesgue measure set of points without time averages only appears for complicated dynamical systems, such as dynamical systems with heteroclinic connections or homoclinic tangencies. In this paper, we introduce the concept of length averages to singular foliations, and attempt to collect interesting examples with/without length averages. In particular, we demonstrate that length averages exist everywhere for any codimension one $\mathscr{C}^1 $ orientable singular foliation without degenerate singularities on a compact surface under a mild condition on quasi-minimal sets of the foliation, which is in strong contrast to time averages of surface flows.


title: Deformations of closed measures and variational characterization of measures invariant under the Euler-Lagrange flow

abstract: The set of closed (or holonomic) measures provides a useful setting for studying optimization problems because it contains all curves, while also enjoying good compactness and convexity properties. We study the way to do variational calculus on the set of closed measures. Our main result is a full description of the distributions that arise as the derivatives of variations of such closed measures. We give examples of how this can be used to extract information about the critical closed measures. The condition of criticality with respect to variations leads, in certain circumstances, to the Euler-Lagrange equations. To understand when this happens, we characterize the closed measures that are invariant under the Euler-Lagrange flow. Our result implies Ricardo Ma\~n\'e's statement that all minimizers are invariant.


title: Entropy from Carnot to Bekenstein

abstract: The second half of this essay tells the story of the genesis and early development of the notion of black hole entropy, in the style of an after dinner talk (apart from a long technical footnote). The first half sketches the development of the concept of entropy, beginning with Carnot, passing via Thomson, Clausius, Boltzmann, Planck, von Neumann, and Shannon on the way to Bekenstein, and the essay ends with a retrospective on Lema\^itre. The central theme is the fault-tolerant way that profound insights have emerged from simple (yet subtle) thermodynamic reasoning.


title: Free boundary regularity for a degenerate fully non-linear elliptic problem with right hand side

abstract: We consider an one-phase free boundary problem for a degenerate fully non-linear elliptic operators with non-zero right hand side. We use the approach present in \cite{DeSilva} to prove that flat free boundaries and Lipschitz free boundaries are $C^{1, \gamma}$.


title: The Effects of Using Taxi-Hailing Application on Driving Performance

abstract: Driver distraction has become a major threat to the road safety, and the globally booming taxi-hailing application introduces new source of distraction to drivers. Although various in-vehicle information systems (IVIS) have been studied extensively, no documentation exists objectively measuring the extent to which interacting with taxi-hailing application during driving impacts drivers' behavior. To fill this gap, a simulator-based study was conducted to synthetically compare the effects that different output modalities (visual, audio, combined visual-audio) and input modalities (baseline, manual, speech) imposed on the driving performance. The results show that the visual output introduced more negative effects on driving performance compared to audio output. In the combined output, visual component dominated the effects imposed on the longitudinal control and hazard detection; audio component only exacerbated the negative effects of visual component on the lateral control. Speech input modality was overall less detrimental to driving performance than manual input modality, especially reflected in the drivers' quicker reaction to hazard events. The visual-manual interaction modality most severely impaired the hazard detecting ability, while also led to strong compensative behaviors. The audio-speech and visual-speech modality associated with more smooth lateral control and faster response to hazard events respectively compared to other modality. These results could be applied to improve the design of not only the taxi-hailing application, but also other input-output balanced IVIS.


title: A Novel Focal Tversky loss function with improved Attention U-Net for lesion segmentation

abstract: We propose a generalized focal loss function based on the Tversky index to address the issue of data imbalance in medical image segmentation. Compared to the commonly used Dice loss, our loss function achieves a better trade off between precision and recall when training on small structures such as lesions. To evaluate our loss function, we improve the attention U-Net model by incorporating an image pyramid to preserve contextual features. We experiment on the BUS 2017 dataset and ISIC 2018 dataset where lesions occupy 4.84% and 21.4% of the images area and improve segmentation accuracy when compared to the standard U-Net by 25.7% and 3.6%, respectively.


title: Metals, depletion and dimming: decrypting dust

abstract: Dust plays a pivotal role in the chemical enrichment of the interstellar medium. In the era of mid/high resolution spectra and multi-band spectral energy distributions, testing extinctions against gas and dust-phase properties is becoming possible. In order to test relations between metals, dust and depletions, and comparing those to the Local Group (LG) relations, we build a sample of 93 gamma-ray bursts and quasar absorbers (the largest sample so far) which have extinction and elemental column density measurements available. We find that extinctions and total column density of the volatile elements (Zn, S) are correlated (with a best-fit of dust-to-metals (DTM) 4.05x10-22 mag cm2) and consistent with the LG DTM relation. The refractory elements (Fe, Si) follow a similar, but less significant, relation offset about 1 dex from the LG relation. On the assumption that depletion onto dust grains is the cause, we compute the total (gas+dust-phase) column density and find a remarkable agreement with the LG DTM relation: a best-fit of 4.91x10-22 mag cm2. We then use our results to compute the amount of 'intervening metal from unknown sources' in random sightlines out to redshifts of z=5. Those metals implicate the presence of dust and give rise to an average 'cosmic dust dimming' effect which we express as a function of redshift, CDD(z). The CDD is unimportant out to redshifts of about 3, but because it is cumulative it becomes significant at redshifts z=3-5. Our results in this paper are based on a minimum of assumptions and effectively relying on observations.


title: Observation of magnetic skyrmions in unpatterned symmetric multilayers at room temperature and zero magnetic field

abstract: Magnetic skyrmions are promising candidates for the next generation of spintronic devices due to their small size and topologically protected structure. One challenge for using these magnetic states in applications lies on controlling the nucleation process and stabilization that usually requires an external force. Here, we report on the evidence of skyrmions in unpatterned symmetric Pd/Co/Pd multilayers at room temperature without prior application of neither electric current nor magnetic field. By decreasing the ferromagnetic interlayer thickness, the tuning of the physical properties across the ferromagnetic/non-magnetic interface gives rise to a transition from worm like domains patterns to isolated skyrmions as demonstrated by magnetic force microscopy. On the direct comparison of the measured and simulated skyrmions size, the quantitative interfacial Dzyaloshinskii-Moriya interaction (iDMI) was estimated, reveling that isolated skyrmions are just stabilized at zero magnetic field for low values of iDMI. Our findings provide new insights towards the use of stabilized skyrmions for room temperature devices in nominally symmetric multilayers.


title: On Statistical Learning of Simplices: Unmixing Problem Revisited

abstract: We study the sample complexity of learning a high-dimensional simplex from a set of points uniformly sampled from its interior. Learning of simplices is a long studied problem in computer science and has applications in computational biology and remote sensing, mostly under the name of `spectral unmixing'. We theoretically show that a sufficient sample complexity for reliable learning of a $K$-dimensional simplex up to a total-variation error of $\epsilon$ is $O\left(\frac{K^2}{\epsilon}\log\frac{K}{\epsilon}\right)$, which yields a substantial improvement over existing bounds. Based on our new theoretical framework, we also propose a heuristic approach for the inference of simplices. Experimental results on synthetic and real-world datasets demonstrate a comparable performance for our method on noiseless samples, while we outperform the state-of-the-art in noisy cases.


title: Topological charge independent frequency conversion of twisted light

abstract: Light with orbital angular momentum (OAM), or twisted light, is widely investigated in the fields of optical communications, quantum information science and nonlinear optics by harnessing its unbounded dimension. For light-matter interacting with twisted light like quantum memory and nonlinear frequency conversion, efficiencies in these processes are usually decreasing exponentially with topological charges, which severely degrades the fidelity of the output states. Here we conceive and develop a method to eliminate the dependence of conversion efficiency on topological charges in second harmonic generation (SHG) process by utilizing a special designed image technique. The independence of SHG conversion efficiency on topological charge is verified for different topological charges, this independence is valid for various pump power. This method can be generalized to other light matter interaction processes and will revolute the field of light matter interaction with twisted light to achieve higher efficiency and higher fidelity.


title: Ring modes supported by concentrated cubic nonlinearity

abstract: We consider the one-dimensional Schroedinger equation on a ring, with the cubic term, of either self-attractive or repulsive sign, confined to a narrow segment. This setting can be realized in optics and Bose-Einstein condensates. For the nonlinearity coefficient represented by the delta-function, all stationary states are obtained in an exact analytical form. The states with positive chemical potentials are found in alternating bands for the cases of the self-repulsion and attraction, while solutions with negative chemical potentials exist only in the latter case. These results provide a possibility to obtain exact solutions for bandgap states in the nonlinear system. Approximating the delta-function by a narrow Gaussian, stability of the stationary modes is addressed through numerical computation of eigenvalues for small perturbations, and verified by simulations of the perturbed evolution. For positive chemical potentials, the stability is investigated in three lowest bands. In the case of the self-attraction, each band contains a stable subband, the transition to instability occurring with the increase of the total norm. As a result, multi-peak states may be stable in higher bands. In the case of the self-repulsion, a single-peak ground state is stable in the first band, while the two higher ones are populated by weakly unstable two- and four-peak excited states. In the case of the self-attraction and negative chemical potentials, single-peak modes feature instability which transforms them into persistently oscillating states.


title: Tetraquarks, Pentaquarks and Dibaryons in the large $N$ QCD

abstract: We study the multiquark hadrons in large $N$ QCD under the 't-Hooft limit, extending Witten's picture of the baryons. We explore the decay widths of tetraquarks, pentaquarks and dibaryons. Based on the decay behaviors, we point out in the $N\to \infty$ limit decay widths of tetraquarks stay constant, while those of pentaquarks and dibaryons above certain thresholds can diverge. In the large $N$ limit, we find that the ground states of the three spectroscopic series are stable or narrow and that the excited states of pentaquarks and dibaryons above the indicated thresholds are not observables. We compare our results with those obtained in a different large $N$ generalization of tetraquarks.


title: On Riemannian foliations admitting transversal conformal fields

abstract: Let $(M,g_M,\mathcal F)$ be a closed, connected Riemannian manifold with a Riemannian foliation $\mathcal F$ of nonzero constant transversal scalar curvature. When $M$ admits a transversal nonisometric conformal field, we find some generalized conditions that $\mathcal F$ is transversally isometric to the sphere.


title: Central extensions and the classifying spaces of projective linear groups

abstract: If $G$ is a presheaf of groupoids on a small site, and $A$ is a sheaf of abelian groups, we prove that the sheaf cohomology group $H^2 (BG, A)$ is in bijection with a set of central extensions of $G$ by $A$. We use this result to study the motivic cohomology of the Nisnevich classifying space $BG$, when $G$ is a presheaf of groups on the smooth Nisnevich site over a field, and particularly when $G = PGL_{n}$. Finally, we show that, when $p$ is an odd prime, the Chow ring of the classifying space of $PGL_{p}$ injects into the motivic cohomology of the Nisnevich classifying space $BPGL_{p}$, over any field of characteristic zero containing a primitive $p^{th}$ root of unity.


title: Phase Reduction of Stochastic Biochemical Oscillators

abstract: A common method for analyzing the effects of molecular noise in chemical reaction networks is to approximate the underlying chemical master equation by a Fokker-Planck equation, and to study the statistics of the associated chemical Langevin equation. This so-called diffusion approximation involves performing a perturbation expansion with respect to a small dimensionless parameter $\epsilon =\Omega^{-1}$, where $\Omega$ characterizes the system size. For example, $\Omega$ could be the mean number of proteins produced by a gene regulatory network. In the deterministic limit $\Omega\rightarrow \infty$, the chemical reaction network evolves according to a system of ordinary differential equations based on classical mass action kinetics. In this paper we develop a phase reduction method for chemical reaction networks that support a stable limit cycle in the deterministic limit. We present a variational principle for the phase reduction, yielding an exact analytic expression for the resulting phase dynamics. We demonstrate that this decomposition is accurate over timescales that are exponential in the system size $\Omega$. This contrasts with the phase equation obtained under the diffusion approximation, which is only accurate up to times $O(\Omega)$. In particular, we show that for a constant $C$, the probability that the system leaves an $O(\zeta)$ neighborhood of the limit cycle before time $T$ scales as $T\exp\big(-C\Omega b\zeta^2 \big)$, where $b$ is the rate of attraction to the limit cycle. We illustrate our analysis using the example of a chemical Brusselator.


title: Distributed $k$-Clustering for Data with Heavy Noise

abstract: In this paper, we consider the $k$-center/median/means clustering with outliers problems (or the $(k, z)$-center/median/means problems) in the distributed setting. Most previous distributed algorithms have their communication costs linearly depending on $z$, the number of outliers. Recently Guha et al. overcame this dependence issue by considering bi-criteria approximation algorithms that output solutions with $2z$ outliers. For the case where $z$ is large, the extra $z$ outliers discarded by the algorithms might be too large, considering that the data gathering process might be costly. In this paper, we improve the number of outliers to the best possible $(1+\epsilon)z$, while maintaining the $O(1)$-approximation ratio and independence of communication cost on $z$. The problems we consider include the $(k, z)$-center problem, and $(k, z)$-median/means problems in Euclidean metrics. Implementation of the our algorithm for $(k, z)$-center shows that it outperforms many previous algorithms, both in terms of the communication cost and quality of the output solution.


title: Distinguishing the generalised knot groups of square and granny knot analogues

abstract: Given a knot $K$ we may construct a group $G_n(K)$ from the fundamental group of $K$ by adjoining an $n$th root of the meridian that commutes with the corresponding longitude. For $n\geq2$ these "generalised knot groups" determine $K$ up to reflection (Nelson and Neumann, 2008; arXiv:0804.0807). The second author has shown that for $n\geq2$, the generalised knot groups of the square knot $SK$ and the granny knot $GK$ can be distinguished by counting homomorphisms into a suitably chosen finite group (arXiv:0706.1807). We extend this result to certain generalised knot groups of square and granny knot analogues $SK_{a,b}=T_{a,b}\# T_{-a,b}$, $GK_{a,b}=T_{a,b}\# T_{a,b}$, constructed as connect sums of $(a,b)$-torus knots of opposite or identical chiralities. More precisely, for coprime $a,b\geq2$ and $n$ satisfying a certain coprimality condition with $a$ and $b$, we construct an explicit finite group $G$ (depending on $a$, $b$ and $n$) such that $G_n(SK_{a,b})$ and $G_n(GK_{a},b)$ can be distinguished by counting homomorphisms into $G$. The coprimality condition includes all $n\geq2$ coprime to $ab$. The result shows that the difference between these two groups can be detected using a finite group.


title: Effect of energy conservation on in-medium $\mbox{NN}\to \mbox{N}\Delta$ cross section in isospin-asymmetric nuclear matter

abstract: In this paper, the in-medium $NN\rightarrow N\Delta$ cross section is calculated in the framework of the one-boson exchange model by including the isovector mesons, i.e. $\delta$ and $\rho$ mesons. Due to the isospin exchange in the $NN\rightarrow N\Delta$ process, the vector self-energies of the outgoing particles are modified relative to the incoming particles in isospin asymmetric nuclear matter, and it leads to the effective energies of the incoming $NN$ pair being different from the outgoing $N\Delta$ pair. This effect is investigated in the calculation of the in-medium $NN\rightarrow N\Delta$ cross section. With the corrected energy conservation, the cross sections of the $\Delta^{++}$ and $\Delta^+$ channels are suppressed, and the cross sections of the $\Delta^0$ and $\Delta^-$ channels are enhanced relative to the results obtained without properly considering the potential energy changes. Our results further confirm the dependence of medium correction factor, $R=\sigma_{ NN\rightarrow N\Delta}^*/\sigma_{NN\rightarrow N\Delta}^{\text{free}}$, on the charge state of $NN\rightarrow N\Delta$ especially around the threshold energy, but the isospin splitting of medium correction factor $R$ becomes weak at high beam energies.


title: An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems

abstract: Reactive systems are composed of a well defined set of input events that the system reacts with by executing an associated handler to each event. In concurrent environments, event handlers can interact with the execution of other programs such as hardware interruptions in preemptive systems, or other instances of the reactive system in multicore architectures. State of the art rely-guarantee based verification frameworks only focus on imperative programs, being difficult to capture in the rely and guarantee relations interactions with possible infinite sequences of event handlers, and the input arguments to event handlers. In this paper, we propose the formalisation in Isabelle/HOL of an event-based rely-guarantee approach for concurrent reactive systems. We develop a Pi-Core language which incorporates a concurrent imperative and system specification language by `events', and we build a rely-guarantee proof system for Pi-Core and prove its soundness. Our approach can deal with multicore and interruptible concurrency. We use two case studies to show this: an interruptible controller for stepper motors and an ARINC 653 multicore kernel, and prove the functional correctness and preservation of invariants of them in Isabelle/HOL.


title: Fast Blind MIMO Decoding through Vertex Hopping

abstract: We present an algorithm that efficiently performs blind decoding of MIMO signals. That is, given no channel state information (CSI) at either the transmitter or receiver, our algorithm takes a block of samples and returns an estimate of the underlying data symbols. In prior work, the problem of blind decoding was formulated as a non-convex optimization problem. In this work, we present an algorithm that efficiently solves this non-convex problem in practical settings. This algorithm leverages concepts of linear and mixed-integer linear programming. Empirically, we show that our technique has an error performance close to that of zero-forcing with perfect CSI at the receiver. Initial estimates of the runtime of the algorithm presented in this work suggest that the real-time blind decoding of MIMO signals is possible for even modest-sized MIMO systems.


title: Multiband galaxy morphologies for CLASH: a convolutional neural network transferred from CANDELS

abstract: We present visual-like morphologies over 16 photometric bands, from ultra-violet to near infrared, for 8,412 galaxies in the Cluster Lensing And Supernova survey with Hubble (CLASH) obtained by a convolutional neural network (CNN) model. Our model follows the CANDELS main morphological classification scheme, obtaining the probability for each galaxy at each CLASH band of being spheroid, disk, irregular, point source, or unclassifiable. Our catalog contains morphologies for each galaxy with Hmag < 24.5 in every filter where the galaxy is observed. We trained an initial CNN model using approximately 7,500 expert eyeball labels from The Cosmic Assembly Near-IR Deep Extragalactic Legacy Survey (CANDELS). We created eyeball labels for 100 randomly selected galaxies per each of the 16-filters set of CLASH (1,600 galaxy images in total), where each image was classified by at least five of us. We use these labels to fine-tune the network in order to accurately predict labels for the CLASH data and to evaluate the performance of our model. We achieve a root-mean-square error of 0.0991 on the test set. We show that our proposed fine-tuning technique reduces the number of labeled images needed for training, as compared to directly training over the CLASH data, and achieves a better performance. This approach is very useful to minimize eyeball labeling efforts when classifying unlabeled data from new surveys. This will become particularly useful for massive datasets such as the ones coming from near future surveys such as EUCLID or the LSST. Our catalog consists of prediction of probabilities for each galaxy by morphology in their different bands and is made publicly available at http://www.inf.udec.cl/~guille/data/Deep-CLASH.csv.


title: Identification of Causal Diffusion Effects Under Structural Stationarity

abstract: Although social and biomedical scientists have long been interested in the process through which ideas and behaviors diffuse, the identification of causal diffusion effects, also known as peer and contagion effects, remains challenging. Many scholars consider the commonly used assumption of no omitted confounders to be untenable due to contextual confounding and homophily bias. To address this long-standing problem, we examine the causal identification under a new assumption of structural stationarity, which formalizes the underlying diffusion process with a class of dynamic causal directed acyclic graphs. First, we develop a statistical test that can detect a wide range of biases, including the two types mentioned above. We then propose a difference-in-differences style estimator that can directly correct biases under an additional parametric assumption. Leveraging the proposed methods, we study the spatial diffusion of hate crimes against refugees in Germany. After correcting large upward bias in existing studies, we find hate crimes diffuse only to areas that have a high proportion of school dropouts.


title: Identifying features predictive of faculty integrating computation into physics courses

abstract: Computation is a central aspect of 21st century physics practice; it is used to model complicated systems, to simulate impossible experiments, and to analyze mountains of data. Physics departments and their faculty are increasingly recognizing the importance of teaching computation to their students. We recently completed a national survey of faculty in physics departments to understand the state of computational instruction and the factors that underlie that instruction. The data collected from the faculty responding to the survey included a variety of scales, binary questions, and numerical responses. We then used Random Forest, a supervised learning technique, to explore the factors that are most predictive of whether a faculty member decides to include computation in their physics courses. We find that experience using computation with students in their research, or lack thereof and various personal beliefs to be most predictive of a faculty member having experience teaching computation. Interestingly, we find demographic and departmental factors to be less useful factors in our model. The results of this study inform future efforts to promote greater integration of computation into the physics curriculum as well as comment on the current state of computational instruction across the United States.


title: Stiff Matter Solution in Brans-Dicke Theory and The General Relativity Limit

abstract: Generally the Brans-Dicke theory reduces to General Relativity in the limit $\omega\rightarrow\infty$ if the scalar field goes as $\phi\propto1/\omega$. However, it is also known that there are examples with $\phi\propto1/\sqrt{\omega}$ that does not tend to GR. We discuss another case: a homogeneous and isotropic universe filled with stiff matter. The power of time dependence of these solutions do not depend on $\omega$, and there is no General Relativity limit even though we have $\phi\propto1/\omega$. A perturbative analysis of this exotic case is carried out.


title: Quantized dislocations for functional and quantum materials

abstract: Dislocations have a profound influence on materials functional properties. In this perspective, we discuss the recent development of quantized dislocations - a theoretical tool that aims to compute the role of dislocations on materials' functionalities, at a full quantum field theoretical level. After a brief discussion of the motivation and a pedagogical introduction of quantization, we focus on a few case studies of dislon theory, to see how dislon can be applied to solve a given materials functionality problem and lead to new predictions. We conclude by visioning a few more open questions. With the aid of the powerful quantum field theory, the dislon approach may enable plenty opportunities to compute multiple functional and quantum properties in a dislocated crystal at a new level of clarity.


title: Applications of Deep Reinforcement Learning in Communications and Networking: A Survey

abstract: This paper presents a comprehensive literature review on applications of deep reinforcement learning in communications and networking. Modern networks, e.g., Internet of Things (IoT) and Unmanned Aerial Vehicle (UAV) networks, become more decentralized and autonomous. In such networks, network entities need to make decisions locally to maximize the network performance under uncertainty of network environment. Reinforcement learning has been efficiently used to enable the network entities to obtain the optimal policy including, e.g., decisions or actions, given their states when the state and action spaces are small. However, in complex and large-scale networks, the state and action spaces are usually large, and the reinforcement learning may not be able to find the optimal policy in reasonable time. Therefore, deep reinforcement learning, a combination of reinforcement learning with deep learning, has been developed to overcome the shortcomings. In this survey, we first give a tutorial of deep reinforcement learning from fundamental concepts to advanced models. Then, we review deep reinforcement learning approaches proposed to address emerging issues in communications and networking. The issues include dynamic network access, data rate control, wireless caching, data offloading, network security, and connectivity preservation which are all important to next generation networks such as 5G and beyond. Furthermore, we present applications of deep reinforcement learning for traffic routing, resource sharing, and data collection. Finally, we highlight important challenges, open issues, and future research directions of applying deep reinforcement learning.


title: Optimum Overflow Thresholds in Variable-Length Source Coding Allowing Non-Vanishing Error Probability

abstract: The variable-length source coding problem allowing the error probability up to some constant is considered for general sources. In this problem the optimum mean codeword length of variable-length codes has already been determined. On the other hand, in this paper, we focus on the overflow (or excess codeword length) probability instead of the mean codeword length. The infimum of overflow thresholds under the constraint that both of the error probability and the overflow probability are smaller than or equal to some constant is called the optimum overflow threshold. In this paper, we first derive finite-length upper and lower bounds on these probabilities so as to analyze the optimum overflow thresholds. Then, by using these bounds we determine the general formula of the optimum overflow thresholds in both of the first-order and second-order forms. Next, we consider another expression of the derived general formula so as to reveal the relationship with the optimum coding rate in the fixed-length source coding problem. We also derive general formulas of the optimum overflow thresholds in the optimistic coding scenario. Finally, we apply general formulas derived in this paper to the case of stationary memoryless sources.


title: Two-dimensional hybrid composites of SnS2 with graphene and graphene oxide for improving sodium storage: A first-principles study

abstract: Among the recent achievements of sodium-ion battery (SIB) electrode materials, hybridization of two-dimentional (2D) materials is one of the most interesting appointments. In this work, we propose to use the 2D hybrid composites of SnS2 with graphene or graphene oxide (GO) layers as SIB anode, based on the first-principles calculations of their atomic structures, sodium intercalation energetics and electronic properties. The calculations reveal that graphene or GO film can effectively support not only the stable formation of hetero-interface with the SnS2 layer but also the easy intercalation of sodium atom with low migration energy and acceptable low volume change. The electronic charge density differences and the local density of state indicate that the electrons are transferred from the graphene or GO layer to the SnS2 layer, facilitating the formation of hetero-interface and improving the electronic conductance of the semiconducting SnS2 layer. These 2D hybrid composites of SnS2/G or GO are concluded to be more promising candidates for SIB anodes compared with the individual monolayers.


title: Experimental metrics for detection of detailed balance violation

abstract: We report on the measurement of detailed balance violation in a coupled, noise-driven linear electronic circuit consisting of two nominally identical RC elements that are coupled via a variable capacitance. The state variables are the time-dependent voltages across each of the two primary capacitors, and the system is driven by independent noise sources in series with each of the resistances. From the recorded time histories of these two voltages, we quantify violations of detailed balance by three methods: 1) explicit construction of the probability current density, 2) by constructing the time-dependent stochastic area, and 3) by constructing statistical fluctuation loops. In comparing the three methods, we find that the stochastic area is relatively simple to implement, computationally inexpensive, and provides a highly sensitive means for detecting violations of detailed balance.


abstract: In this note, we give the Hamiltonian decomposition of the Cayley graph on the dihedral group $D_{2p}$ where $p$ is a prime.


title: Science with an ngVLA: High-resolution imaging of comets

abstract: Detailed mapping of the distributions and kinematics of gases in cometary comae at radio wavelengths can provide fundamental advances in our understanding of cometary activity and outgassing mechanisms. Furthermore, the measurement of molecular abundances in comets provides new insights into the chemical composition of some of the Solar System's oldest and most primitive materials. Here we investigate the opportunities for significant progress in cometary science using a very large radio interferometer. The ngVLA concept will enable detection and mapping of a range of key coma species in the 1.2-116 GHz range, and will allow for the first time, high-resolution mapping of the fundamental cometary molecules OH and NH$_3$. The extremely high angular resolution and continuum sensitivity of the proposed ngVLA will also allow the possibility of imaging thermal emission from the nucleus itself, as well as large dust/ice grains in the comae, of comets passing within $\sim1$ au of Earth.


title: Power-law size distributions in geoscience revisited

abstract: The size or energy of diverse structures or phenomena in geoscience appears to follow power-law distributions. A rigorous statistical analysis of such observations is tricky, though. Observables can span several orders of magnitude, but the range for which the power law may be valid is typically truncated, usually because the smallest events are too tiny to be detected and the largest ones are limited by the system size. We revisit several examples of proposed power-law distributions dealing with potentially damaging natural phenomena. Adequate fits of the distributions of sizes are especially important in these cases, given that they may be used to assess long-term hazard. After reviewing the theoretical background for power-law distributions, we improve an objective statistical fitting method and apply it to diverse data sets. The method is described in full detail and it is easy to implement. Our analysis elucidates the range of validity of the power-law fit and the corresponding exponent, and whether a power-law tail is improved by a truncated log-normal. We confirm that impact fireballs and Californian earthquakes show untruncated power-law behavior, whereas global earthquakes follow a double power law. Rain precipitation over space and time and tropical cyclones show a truncated power-law regime. Karst sinkholes and wildfires, in contrast, are better described by truncated log-normals, although wildfires also may show power-law regimes. Our conclusions only apply to the analyzed data sets, but show the potential of applying this robust statistical technique in the future.

categories: physics.geo-ph nlin.AO physics.ao-ph physics.data-an stat.AP


title: Elliptic flow of transported and non-transported proton in Au+Au collisions within the UrQMD model

abstract: With the framework of UrQMD model, by tracing the number of initial quarks in protons, we study the elliptic flow of transported protons, poduced protons and anti-protons in Au+Au collisions at $\sqrt{s_{NN}}$ = 7.7, 11.5, 39, 200 GeV. The difference of elliptic flow between transported protons and anti-protons is observed. The results of UrQMD model show a good agreement with the STAR results at low energies, but are deviate at high energies. It partly explains the $v_{2}$ difference between proton and anti-proton observed in the Beam Energy Scan program in Relativistic Heavy Ion Collider~(RHIC).


title: Electron-phonon interaction in Ca2N monolayer: intrinsic mobility of electrene

abstract: Electron-phonon(e-ph) interaction in Ca2N monolayer, the first electrene material with two-dimensional(2D) electron gas floating in free space, is expected to be very weak and such a character can be used to design weak-scattering transport channels. Therefore, it is highly desirable to quantitatively evaluate the carrier mobility of electrene. In this study, e-ph interaction in Ca2N monolayer is investigated using a precise Wannier interpolation-based first principles technique. The calculated e-ph coupling matrix elements of Ca2N monolayer are indeed small compared to other 2D materials such as graphene, which leads to an intrinsic mobility of 189 cm2V-1s-1, much higher than those of conventional metals. Other factors affecting mobility are discussed in a comparison with graphene. It is predicted that, based on a momentum mismatch mechanism, mobility of Ca2N monolayer can be increased further to above 3000 cm2V-1s-1 via hole doping. Our results confirm that Ca2N electrene is a promising electronic material.


title: Probing the role of Nd3+ ions in the weak multiferroic character of NdMn2O5 by optical spectroscopies

abstract: Raman and infrared spectroscopies are used as local probes to study the dynamics of the Nd-O bonds in the weakly multiferroic NdMn2O5 system. The temperature dependence of selected Raman excitations reveals the splitting of the Nd-O bonds in NdMn2O5. The Nd3+ ion crystal field (CF) excitations in NdMn2O5 single crystals are studied by infrared transmission as a function of temperature, in the 1800-8000 cm-1 range, and under an applied magnetic field up to 11 T. The frequencies of all 4Ij crystal-field levels of Nd3+ are determined. We find that the degeneracy of the ground-state Kramers doublet is lifted ({\Delta}0 ~7.5 cm-1) due to the Nd3+-Mn3+ interaction in the ferroelectric phase, below TC ~ 28 K. The Nd3+ magnetic moment mNd(T) and its contribution to the magnetic susceptibility and the specific heat are evaluated from {\Delta}0(T) indicating that the Nd3+ ions are involved in the magnetic and the ferroelectric ordering observed below ~ 28 K. The Zeeman splitting of the excited crystal field levels of the Nd3+ ions at low temperature is also analyzed.


title: Enhancing the sensitivity of rotation in a multi-atom Sagnac interferometer

abstract: We investigate quantum sensing of rotation with a multi-atom Sagnac interferometer and present multi-partite entangled states to enhance the sensitivity of rotation frequency. For studying the sensitivity, we first present a Hermitian generator with respect to the rotation frequency. The generator, which contains the Sagnac phase, is a linear superposition of a z component of the collective spin and a quadrature operator of collective bosons depicting the trapping modes, which enables us to conveniently study the quantum Fisher information (QFI) for any initial states. With the generator, we derive the general QFI which can be of square dependence on the particle number, leading to Heisenberg limit. And we further find that the QFI may be of biquadratic dependence on the radius of the ring which confines atoms, indicating that larger QFI is achieved by enlarging the radius. In order to obtain the square and biquadratic dependence, we propose to use partially and globally entangled states as inputs to enhance the sensitivity of rotation.


title: Differentially Private Double Spectrum Auction with Approximate Social Welfare Maximization

abstract: Spectrum auction is an effective approach to improving spectrum utilization, by leasing idle spectrum from primary users to secondary users. Recently, a few differentially private spectrum auction mechanisms have been proposed, but, as far as we know, none of them addressed the differential privacy in the setting of double spectrum auctions. In this paper, we combine the concept of differential privacy with double spectrum auction design, and present a Differentially private Double spectrum auction mechanism with approximate Social welfare Maximization (DDSM). Specifically, we design the mechanism by employing the exponential mechanism to select clearing prices for the double spectrum auction with probabilities exponentially proportional to the related social welfare values, and then improve the mechanism in several aspects like the designs of the auction algorithm, the utility function and the buyer grouping algorithm. Through theoretical analysis, we prove that DDSM achieves differential privacy, approximate truthfulness, approximate social welfare maximization. Extensive experimental evaluations show that DDSM achieves a good performance in term of social welfare.


title: A Self-Organizing Tensor Architecture for Multi-View Clustering

abstract: In many real-world applications, data are often unlabeled and comprised of different representations/views which often provide information complementary to each other. Although several multi-view clustering methods have been proposed, most of them routinely assume one weight for one view of features, and thus inter-view correlations are only considered at the view-level. These approaches, however, fail to explore the explicit correlations between features across multiple views. In this paper, we introduce a tensor-based approach to incorporate the higher-order interactions among multiple views as a tensor structure. Specifically, we propose a multi-linear multi-view clustering (MMC) method that can efficiently explore the full-order structural information among all views and reveal the underlying subspace structure embedded within the tensor. Extensive experiments on real-world datasets demonstrate that our proposed MMC algorithm clearly outperforms other related state-of-the-art methods.


title: Implementation of Generalized Bloch Theorem Using Linear Combination of Pseudo-Atomic Orbitals

abstract: We have implemented the generalized Bloch theorem based on first-principles calculations using a linear combination of pseudo-atomic orbitals (LCPAO) as the basis sets. In order to test our implementation in a code, we examined three systems that have been reported in experiments or other calculations, namely, the carrier-induced spin-spiral ground state in the one-dimensional model system, the spin stiffness of bcc-Fe, and the spin stiffness in a zigzag graphene nanoribbon. We confirmed that our implementation gives good agreement with experiments. Based on these results, we believe that our implementation of the generalized Bloch theorem using an LCPAO is useful for predicting the properties of complex magnetic materials. We also predicted a large reduction (enhancement) of spin stiffness for the electron (hole) doping of zigzag-edge graphene nanoribbon ferromagnetic states.


title: Multilevel Network Item Response Modeling for Discovering Differences Between Innovation and Regular School Systems in Korea

abstract: The innovation school system in South Korea has been developed in response to the traditional high-pressure school system in South Korea, with a view to cultivating a bottom-up and student-centered educational culture. Despite its ambitious goals, questions have been raised about the success of the innovation school system. Leveraging data from the Gyeonggi Education Panel Study (GEPS) along with advances in the statistical analysis of network data and educational data, we compare the two school systems in more depth. We find that some schools are indeed different from others, and those differences are not detected by conventional multilevel models. Having said that, we do not find much evidence that the innovation school system differs from the regular school system in terms of self-reported mental well-being, although we do detect differences among some schools that appear to be unrelated to the school system.


title: Generalized Harmonic Numbers

abstract: This paper presents new formulae for the harmonic numbers of order $k$, $H_{k}(n)$, and for the partial sums of two Fourier series associated with them, denoted here by $C^m_{k}(n)$ and $S^m_{k}(n)$. I believe this new formula for $H_{k}(n)$ is an improvement over the digamma function, $\psi$, because it's simpler and it stems from Faulhaber's formula, which provides a closed-form for the sum of powers of the first $n$ positive integers. We demonstrate how to create an exact power series for the harmonic numbers, a new integral representation for $\zeta(2k+1)$ and a new generating function for $\zeta(2k+1)$, among many other original results. The approaches and formulae discussed here are entirely different from solutions available in the literature.


title: Populations of accreting white dwarfs

abstract: Using a hybrid binary population synthesis approach, we modelled the formation and evolution of populations of accreting WDs for differing star formation histories. We found that the delay time distribution of SNe Ia in the single degenerate scenario is inconsistent with observations. Additionally, we found that our predicted X-ray and UV emission of populations of accreting WDs are consistent with the X-ray luminosities of early-type galaxies observed by Chandra and the HeII 4686\AA/H\beta line ratio measured in stacked SDSS spectra of passively evolving galaxies. Moreover, we found that the majority of current novae in elliptical-like galaxies have low-mass WDs, long decay times, long recurrence periods and are relatively faint. In contrast, the majority of current novae in spiral-like galaxies have massive WDs, short decay times, short recurrence periods and are relatively bright. Our predicted distribution of mass-loss timescales in an M31-like galaxy is consistent with observations for Andromeda.


title: Ionic and electronic properties of the topological insulator Bi$_2$Te$_2$Se investigated using $\beta$-detected nuclear magnetic relaxation and resonance of $^8$Li

abstract: We report measurements on the high temperature ionic and low temperature electronic properties of the 3D topological insulator Bi$_2$Te$_2$Se using ion-implanted $^8$Li $\beta$-detected nuclear magnetic relaxation and resonance. With implantation energies in the range 5-28 keV, the probes penetrate beyond the expected range of the topological surface state, but are still within 250 nm of the surface. At temperatures above ~150 K, spin-lattice relaxation measurements reveal isolated $^8$Li$^{+}$ diffusion with an activation energy $E_{A} = 0.185(8)$ eV and attempt frequency $\tau_{0}^{-1} = 8(3) \times 10^{11}$ s$^{-1}$ for atomic site-to-site hopping. At lower temperature, we find a linear Korringa-like relaxation mechanism with a field dependent slope and intercept, which is accompanied by an anomalous field dependence to the resonance shift. We suggest that these may be related to a strong contribution from orbital currents or the magnetic freezeout of charge carriers in this heavily compensated semiconductor, but that conventional theories are unable to account for the extent of the field dependence. Conventional NMR of the stable host nuclei may help elucidate their origin.


title: Making Double Spectrum Auction Practical: Both Privacy and Efficiency Matter

abstract: Truthful spectrum auction is believed to be an effective method for spectrum redistribution. However, privacy concerns have largely hampered the practical applications of truthful spectrum auctions. In this paper, to make the applications of double spectrum auctions practical, we present a privacy-preserving and socially efficient double spectrum auction design, SDSA. Specifically, by combining three security techniques: homomorphic encryption, secret sharing and garbled circuits, we design a secure two-party protocol computing a socially efficient double spectrum auction, TDSA, without leaking any information about sellers' requests or buyers' bids beyond the auction outcome. We give the formal security definition in our context, and theoretically prove the security that our design achieves. Experimental results show that our design is also efficient in performance, even for large-scale double spectrum auctions.


title: Hom-Lie groups of a class of Hom-Lie algebra

abstract: In this paper, the definition of Hom-Lie groups is given and one conntected component of Lie group $GL(V)$, which is not a subgroup of $GL(V)$, is a Hom-Lie group. More, we proved that there is a one-to-one relationship between Hom-Lie groups and Hom-Lie algebras $(\gl(V),[\cdot,\cdot]_\beta,\rm{Ad}_\beta)$. Next, we also proved that if there is a Hom-Lie group homomorphism, then, there is a morphism between their Hom-Lie algebras. Last, as an application, we use these results on Toda lattice equation.


title: Measuring the Effects of Scalar and Spherical Colormaps on Ensembles of DMRI Tubes

abstract: We report empirical study results on the color encoding of ensemble scalar and orientation to visualize diffusion magnetic resonance imaging (DMRI) tubes. The experiment tested six scalar colormaps for average fractional anisotropy (FA) tasks (grayscale, blackbody, diverging, isoluminant-rainbow, extended-blackbody, and coolwarm) and four three-dimensional (3D) directional encodings for tract tracing tasks (uniform gray, absolute, eigenmap, and Boy's surface embedding). We found that extended-blackbody, coolwarm, and blackbody remain the best three approaches for identifying ensemble average in 3D. Isoluminant-rainbow coloring led to the same ensemble mean accuracy as other colormaps. However, more than 50% of the answers consistently had higher estimates of the ensemble average, independent of the mean values. Hue, not luminance, influences ensemble estimates of mean values. For ensemble orientation-tracing tasks, we found that the Boy's surface embedding (greatest spatial resolution and contrast) and absolute color (lowest spatial resolution and contrast) schemes led to more accurate answers than the eigenmaps scheme (medium resolution and contrast), acting as the uncanny-valley phenomenon of visualization design in terms of accuracy.


title: Quantum fluctuations in Fr\"ohlich condensate of molecular vibrations driven far from equilibrium

abstract: Fr\"ohlich discovered the remarkable condensation of polar vibrations into the lowest frequency mode when the system is pumped externally. For a full understanding of the Fr\"ohlich condensate one needs to go beyond the mean field level to describe critical behavior as well as quantum fluctuations. The energy redistribution among vibrational modes with nonlinearity included is shown to be essential for realizing the condensate and the phonon-number distribution, revealing the transition from quasi-thermal to super-Poissonian statistics with the pump. We further study the spectroscopic properties of the Fr\"ohlich condensate, which are especially revealed by the narrow linewidth. This gives the long-lived coherence and the collective motion of the condensate. Finally we show that the proteins such as Bovine Serum Albumin (BSA) and lysozyme are most likely the candidates for observing such collective modes in THz regime by means of Raman or infrared (IR) spectroscopy.


title: Automatic Brain Tumor Segmentation using Convolutional Neural Networks with Test-Time Augmentation

abstract: Automatic brain tumor segmentation plays an important role for diagnosis, surgical planning and treatment assessment of brain tumors. Deep convolutional neural networks (CNNs) have been widely used for this task. Due to the relatively small data set for training, data augmentation at training time has been commonly used for better performance of CNNs. Recent works also demonstrated the usefulness of using augmentation at test time, in addition to training time, for achieving more robust predictions. We investigate how test-time augmentation can improve CNNs' performance for brain tumor segmentation. We used different underpinning network structures and augmented the image by 3D rotation, flipping, scaling and adding random noise at both training and test time. Experiments with BraTS 2018 training and validation set show that test-time augmentation helps to improve the brain tumor segmentation accuracy and obtain uncertainty estimation of the segmentation results.


title: Tricritical point and solid/liquid/gas phase transition of higher dimensional AdS black hole in massive gravity

abstract: By considering the fifth order term of the interaction potential in massive gravity theory, we study the $P-V$ critical behaviors of AdS black hole in $d \geq 7$ dimensional space-time, and find the tricritical point and the solid/liquid/gas phase transition in addition to the Van der Waals-like phase and the reentrant phase transition of the system. The critical phenomena of black holes depend crucially on the number $n$ of interaction potential terms.


title: Profile-Based Ad Hoc Social Networking Using Wi-Fi Direct on the Top of Android

abstract: Ad-hoc Social Networks have become popular to support novel applications related to location-based mobile services that are of great importance to users and businesses. Unlike traditional social services using a centralized server to fetch location, ad-hoc social network services support infrastructure less real-time social networking. It allows users to collaborate and share views anytime anywhere. However, current ad-hoc social network applications are either not available without rooting the mobile phones or don't filter the nearby users based on common interests without a centralized server. This paper presents an architecture and implementation of social networks on commercially available mobile devices that allow broadcasting name and a limited number of keywords representing users' interests without any connection in a nearby region to facilitate matching of interests. The broadcasting region creates a digital aura and is limited by WiFi region that is around 200 meters. The application connects users to form a group based on their profile or interests using peer-to-peer communication mode without using any centralized networking or profile matching infrastructure. The peer-to-peer group can be used for private communication when the network is not available.