title: Large-scale analysis of disease pathways in the human interactome

abstract: Discovering disease pathways, which can be defined as sets of proteins associated with a given disease, is an important problem that has the potential to provide clinically actionable insights for disease diagnosis, prognosis, and treatment. Computational methods aid the discovery by relying on protein-protein interaction (PPI) networks. They start with a few known disease-associated proteins and aim to find the rest of the pathway by exploring the PPI network around the known disease proteins. However, the success of such methods has been limited, and failure cases have not been well understood. Here we study the PPI network structure of 519 disease pathways. We find that 90% of pathways do not correspond to single well-connected components in the PPI network. Instead, proteins associated with a single disease tend to form many separate connected components/regions in the network. We then evaluate state-of-the-art disease pathway discovery methods and show that their performance is especially poor on diseases with disconnected pathways. Thus, we conclude that network connectivity structure alone may not be sufficient for disease pathway discovery. However, we show that higher-order network structures, such as small subgraphs of the pathway, provide a promising direction for the development of new methods.


title: On the pointwise limits of sequences of \'Swi\k{a}tkowski functions

abstract: The characterization of the pointwise limits of the sequences of \'Swi\k{a}tkowski functions is given. Modifications of \'Swi\k{a}tkowski property with respect to different topologies finer than the Euclidean topology are discussed.


title: Second Representable Modules over Commutative Rings

abstract: Let $R$ be a commutative ring. We investigate $R$-modules which can be written as \emph{finite} sums of {\it {second}} $R$-submodules (we call them \emph{second representable}). We provide sufficient conditions for an $R$-module $M$ to be have a (minimal) second presentation, in particular within the class of lifting modules. Moreover, we investigate the class of (\emph{main}) \emph{second attached prime ideals} related to a module with such a presentation.


title: Always Lurking: Understanding and Mitigating Bias in Online Human Trafficking Detection

abstract: Web-based human trafficking activity has increased in recent years but it remains sparsely dispersed among escort advertisements and difficult to identify due to its often-latent nature. The use of intelligent systems to detect trafficking can thus have a direct impact on investigative resource allocation and decision-making, and, more broadly, help curb a widespread social problem. Trafficking detection involves assigning a normalized score to a set of escort advertisements crawled from the Web -- a higher score indicates a greater risk of trafficking-related (involuntary) activities. In this paper, we define and study the problem of trafficking detection and present a trafficking detection pipeline architecture developed over three years of research within the DARPA Memex program. Drawing on multi-institutional data, systems, and experiences collected during this time, we also conduct post hoc bias analyses and present a bias mitigation plan. Our findings show that, while automatic trafficking detection is an important application of AI for social good, it also provides cautionary lessons for deploying predictive machine learning algorithms without appropriate de-biasing. This ultimately led to integration of an interpretable solution into a search system that contains over 100 million advertisements and is used by over 200 law enforcement agencies to investigate leads.


title: Scott Ranks of Classifications of the Admissibility Equivalence Relation

abstract: Let $\mathscr{L}$ be a recursive language. Let $S(\mathscr{L})$ be the set of $\mathscr{L}$-structures with domain $\omega$. Let $\Phi : {}^\omega 2 \rightarrow S(\mathscr{L})$ be a $\Delta_1^1$ function with the property that for all $x,y \in {}^\omega 2$, $\omega_1^x = \omega_1^y$ if and only if $\Phi(x) \approx_{\mathscr{L}} \Phi(y)$. Then there is some $x \in {}^\omega 2$ so that $\mathrm{SR}(\Phi(x)) = \omega_1^x + 1$.


title: Multivariate Cryptosystems for Secure Processing of Multidimensional Signals

abstract: Multidimensional signals like 2-D and 3-D images or videos are inherently sensitive signals which require privacy-preserving solutions when processed in untrustworthy environments, but their efficient encrypted processing is particularly challenging due to their structure, dimensionality and size. This work introduces a new cryptographic hard problem denoted m-RLWE (multivariate Ring Learning with Errors) which generalizes RLWE, and proposes several relinearization-based techniques to efficiently convert signals with different structures and dimensionalities. The proposed hard problem and the developed techniques give support to lattice cryptosystems that enable encrypted processing of multidimensional signals and efficient conversion between different structures. We show an example cryptosystem and prove that it outperforms its RLWE counterpart in terms of security against basis-reduction attacks, efficiency and cipher expansion for encrypted image processing, and we exemplify some of the proposed transformation techniques in critical and ubiquitous block-based processing applications


title: Comment: A brief survey of the current state of play for Bayesian computation in data science at Big-Data scale

abstract: We wish to contribute to the discussion of "Comparing Consensus Monte Carlo Strategies for Distributed Bayesian Computation" by offering our views on the current best methods for Bayesian computation, both at big-data scale and with smaller data sets, as summarized in Table 1. This table is certainly an over-simplification of a highly complicated area of research in constant (present and likely future) flux, but we believe that constructing summaries of this type is worthwhile despite their drawbacks, if only to facilitate further discussion.


title: On purely generated $\alpha$-smashing weight structures and weight-exact localizations

abstract: This paper is dedicated to new methods of constructing weight structures and weight-exact localizations; our arguments generalize their bounded versions considered in previous papers of the authors. We start from a class of objects $P$ of triangulated category $C$ that satisfies a certain negativity condition (there are no $C$-extensions of positive degrees between elements of $P$; we actually need a somewhat stronger condition of this sort) to obtain a weight structure both "halves" of which are closed either with respect to $C$-coproducts of less than $\alpha$ objects (for $\alpha$ being a fixed regular cardinal) or with respect to all coproducts (provided that $C$ is closed with respect to coproducts of this sort). This construction gives all "reasonable" weight structures satisfying the latter condition. In particular, we obtain certain weight structures on spectra (in $SH$) consisting of less than $\alpha$ cells and on certain localizations of $SH$; these results are new.


title: Mink$_3\times S^3$ solutions of type II supergravity

abstract: We initiate the classification of supersymmetric solutions of type II supergravity on $\mathbb{R}^{1,2} \times S^3 \times M_4$. We find explicit local expressions for all backgrounds with either a single Killing spinor or two of equal norm, up to PDE's. We show that the only type II AdS$_4\times S^3$ solution is the known $\mathcal{N}=4$ AdS$_4$ background obtained from the near-horizon limit of intersecting D2-D6 branes. Various known branes and intersecting brane systems are recovered, and we obtain a novel class of $\mathbb{R}^{1,2} \times S^2\times S^3$ solutions in IIA.


title: Simulations and measurements of the impact of collective effects on dynamic aperture

abstract: We describe a benchmark study of collective and nonlinear dynamics in an APS storage ring. A 1-mm long bunch was assumed in the calculation of wakefield and element by element particle tracking with distributed wakefield component along the ring was performed in Elegant simulation. The result of Elegant simulation differed by less than 5 % from experimental measurement


title: Microstructure and properties of Cu-Sn-Zn-TiO2 Nano-composite coatings on mild steel

abstract: Cu-Sn-Zn coatings have been widely used in industry for their unique properties, such as good conductivity, high corrosion resistance and excellent solderability. To further improve the mechanical performance of Cu-Sn-Zn coatings, powder-enhanced method was applied in the current study and Cu-Sn-Zn-TiO2 nano-composite coatings with different TiO2 concentration were fabricated. The microstructure of Cu-Sn-Zn-TiO2 nano-composite coatings were investigated by X-ray diffraction (XRD) and Scanning Electron Microscopy (SEM). The mechanical properties of coatings including microhardness and wear resistance were studied. The results indicate that the incorporation of TiO2 nanoparticle can significantly influence the properties of Cu-Sn-Zn coatings. The microhardness of Cu-Sn-Zn coating was increased to 383 HV from 330 HV with 1g/L TiO2 addition. Also, the corrosion resistance of coating was enhanced. The effects of TiO2 nanoparticle concentration on the microstructure, mechanical properties and corrosion resistance of Cu-Sn-Zn-TiO2 nano-composite coatings were discussed.


title: Demonstration of Entanglement Purification and Swapping Protocol to Design Quantum Repeater in IBM Quantum Computer

abstract: Quantum communication is a secure way to transfer quantum information and to communicate with legitimate parties over distant places in a network. Although communication over a long distance has already been attained, technical problem arises due to unavoidable loss of information through the transmission channel. Quantum repeaters can extend the distance scale using entanglement swapping and purification scheme. Here we demonstrate the working of a quantum repeater by the above two processes. We use IBM's real quantum processor `ibmqx4' to create two pair of entangled qubits and design an equivalent quantum circuit which consequently swaps the entanglement between the two pairs. We then develop a novel purification protocol which enhances the degree of entanglement in a noisy channel that includes combined errors of bit-flip, phase-flip and phase-change error. We perform quantum state tomography to verify the entanglement swapping between the two pairs of qubits and working of the purification protocol.


title: EDIZ: An Error Diffusion Image Zooming Scheme

abstract: Interpolation based image zooming methods provide a high execution speed and low computational complexity. However, the quality of the zoomed images is unsatisfactory in many cases. The main challenge of super- resolution methods is to create new details to the image. This paper proposes a new algorithm to create new details using a zoom-out-zoom-in strategy. This strategy permits reducing blurring effects by adding the estimated error to the final image. Experimental results for natural images confirm the algorithm's ability to create visually pleasing results.


title: MICROSCOPE limits for new long-range forces and implications for unified theories

abstract: Many theories beyond the Standard Model involve an extra U(1) gauge group. The resulting gauge boson U, in general mixed with the Z and the photon, may be massless or very light, and very weakly coupled. It may be viewed as a generalized dark photon interacting with matter through a linear combination (\epsilon_Q Q + \epsilon_B B+\epsilon_L L) e, involving B-L in a grand-unified theory, presumably through B-L-.61 Q, inducing effectively a very small repulsive force between neutrons. This new force, if long-ranged, may manifest through apparent violations of the Equivalence Principle. They are approximately proportional to \epsilon_B+\epsilon_L/2, times a combination involving mostly \epsilon_L. New forces coupled to B-L or L should lead to nearly opposite values of the E\"otv\"os parameter \delta, and to almost the same limits for \epsilon_{B-L} or \epsilon_L, as long as no indication for \delta \neq 0 is found. We derive new limits from the first results of the MICROSCOPE experiment testing the Equivalence Principle in space. A long-range force coupled to (\epsilon_Q Q + \epsilon_{B-L} (B-L)) e or (\epsilon_Q Q + \epsilon_L L) e should verify |\epsilon_{B-L}| or |\epsilon_L| < .8 10^{-24}, and a force coupled to (\epsilon_Q Q + \epsilon_B B) e, |\epsilon_B| < 5 10^{-24}. We also discuss, within supersymmetric theories, how such extremely small gauge couplings g", typically \simle 10^{-24}, may be related to a correspondingly large \xi"D" term associated with a huge initial vacuum energy density, \propto 1/g"^2. The corresponding hierarchy between energy scales, by a factor \propto 1/\sqrt g" \simge 10^{12}, involves a very large scale ~ 10^{16} GeV, that may be associated with inflation, or supersymmetry breaking with a very heavy gravitino, leading to possible values of {\delta} within the experimentally accessible range.


title: Efficient discretizations for the EMAC formulation of the incompressible Navier-Stokes equations

abstract: We study discretizations of the incompressible Navier-Stokes equations, written in the newly developed energy-momentum-angular momentum conserving (EMAC) formulation. We consider linearizations of the problem, which at each time step will reduce the computational cost, but can alter the conservation properties. We show that a skew-symmetrized linearization delivers the correct balance of (only) energy and that the Newton linearization conserves momentum and angular momentum, but conserves energy only up to the nonlinear residual. Numerical tests show that linearizing with 2 Newton steps at each time step is very effective at preserving all conservation laws at once, and giving accurate answers on long time intervals. The tests also show that the skew-symmetrized linearization is significantly less accurate. The tests also show that the Newton linearization of EMAC finite element formulation compares favorably to other traditionally used finite element formulation of the incompressible Navier-Stokes equations in primitive variables.


title: Circular genome rearrangement models: applying representation theory to evolutionary distance calculations

abstract: We investigate the symmetry of circular genome rearrangement models, discuss the implementation of a new representation-theoretic method of calculating evolutionary distances between circular genomes, and give the results of some initial calculations for genomes with up to 11 regions.

categories: q-bio.PE math.GR math.ST q-bio.QM stat.TH


title: On the Geometry of Nash and Correlated Equilibria with Cumulative Prospect Theoretic Preferences

abstract: It is known that the set of all correlated equilibria of an n-player non-cooperative game is a convex polytope and includes all the Nash equilibria. Further, the Nash equilibria all lie on the boundary of this polytope. We study the geometry of both these equilibrium notions when the players have cumulative prospect theoretic (CPT) preferences. The set of CPT correlated equilibria includes all the CPT Nash equilibria but it need not be a convex polytope. We show that it can, in fact, be disconnected. However, all the CPT Nash equilibria continue to lie on its boundary. We also characterize the sets of CPT correlated equilibria and CPT Nash equilibria for all 2x2 games.


title: Random walks of infinite moment on free semigroups

abstract: We consider random walks on finitely or countably generated free semigroups, and identify their Poisson boundaries for classes of measures which fail to meet the classical entropy criteria. In particular, we introduce the notion of w-logarithmic moment, and we show that if a random walk on a free semigroup has either finite entropy or finite w-logarithmic moment for some word w, then the space of infinite words with the resulting hitting measure is the Poisson boundary.


title: Exponential Lower Bounds on the Generalized Erd\H{o}s-Ginzburg-Ziv Constant

abstract: For a finite abelian group $G$, the generalized Erd\H{o}s--Ginzburg--Ziv constant $\mathsf s_{k}(G)$ is the smallest $m$ such that a sequence of $m$ elements in $G$ always contains a $k$-element subsequence which sums to zero. If $n = \exp(G)$ is the exponent of $G$, the previously best known bounds for $\mathsf s_{kn}(C_n^r)$ were linear in $n$ and $r$ when $k\ge 2$. Via a probabilistic argument, we produce the exponential lower bound \[ \mathsf s_{2n}(C_n^r) > \frac{n}{2}[1.25 - O(n^{-3/2})]^r \] for $n > 0$. For the general case, we show \[ \mathsf s_{kn}(C_n^r) > \frac{kn}{4}\Big(1+\frac{1}{ek} + O\Big(\frac{1}{n}\Big)\Big)^r. \]


title: Heavy Domain Wall Fermions: The RBC and UKQCD charm physics program

abstract: We review the domain wall charm physics program of the RBC and UKQCD collaborations based on simulations including ensembles with physical pion mass. We summarise our current set-up and present a status update on the decay constants $f_D$, $f_{D_s}$, the charm quark mass, heavy-light and heavy-strange bag parameters and the ratio $\xi$.


title: A Deep Learning Approach to Drone Monitoring

abstract: A drone monitoring system that integrates deep-learning-based detection and tracking modules is proposed in this work. The biggest challenge in adopting deep learning methods for drone detection is the limited amount of training drone images. To address this issue, we develop a model-based drone augmentation technique that automatically generates drone images with a bounding box label on drone's location. To track a small flying drone, we utilize the residual information between consecutive image frames. Finally, we present an integrated detection and tracking system that outperforms the performance of each individual module containing detection or tracking only. The experiments show that, even being trained on synthetic data, the proposed system performs well on real world drone images with complex background. The USC drone detection and tracking dataset with user labeled bounding boxes is available to the public.


title: Muchnik degrees and cardinal characteristics

abstract: For $p \in [0,1]$ let $\mathcal D(p)$ be the mass problem of infinite bit sequences~$y$ (i.e., $\{0,1\}$-valued functions) such that for each computable bit sequence $x$, the bit sequence $ x \leftrightarrow y$ has asymptotic lower density at most $p$ (where $x \leftrightarrow y$ has a $1$ in position $n$ iff $x(n) = y(n)$). We show that all members of this family of mass problems parameterized by a real $p$ with $0 < p<1/2 $ have the same complexity in the sense of Muchnik reducibility. We prove this by showing Muchnik equivalence of the problems $\mathcal D(p)$ with the mass problem $\mathrm{IOE}(2^ { 2^ n})$. As a dual of the problem $\mathcal D(p)$, define $\mathcal B(p)$, for $0 \le p < 1/2$, to be the set of bit sequences $y$ such that $\underline \rho (x \leftrightarrow y) > p$ for each computable set~$x$. We prove that the Medvedev (and hence Muchnik) complexity of the mass problems $\mathcal B(p)$ is the same for all $p \in (0, 1/2)$, by showing that they are Medvedev equivalent to the mass problem of functions bounded by $2^{2^ n}$ that are almost everywhere different from each computable function. Together with Joseph Miller, we obtain a proper hierarchy of the mass problems of type $\mathrm{IOE}$: We study cardinal characteristics in the sense of set theory that are analogous to the highness properties above.


title: On Using Network Science in Mining Developers Collaboration in Software Engineering: A Systematic Literature Review

abstract: The goal of this study is to identify, review, and analyze the published research works that used network analysis as a tool for understanding the human collaboration on different levels of software development. This study and its findings are expected to be of benefit for software engineering practitioners and researchers who are mining software repositories using tools from network science field. We conducted a systematic literature review, in which we analyzed a number of selected papers from different digital libraries based on inclusion and exclusion criteria. We identified $35$ primary studies (PSs) from 4 digital libraries, then we extracted data from each PS according to a predefined data extraction sheet. The results of our data analysis showed that not all of the constructed networks used in the PSs were valid as the edges of these networks did not reflect a real relationship between the entities of the network. Additionally, the used measures in the PSs were in many cases not suitable for the used networks. Also, the reported analysis results by the PSs were not, in most cases, validated using any statistical model. Finally, many of the PSs did not provide lessons or guidelines for software practitioners that can improve the software engineering practices. Although employing network analysis in mining developers' collaboration showed some satisfactory results in some of the PSs, the application of network analysis needs to be conducted more carefully. That is said, the constructed network should be representative and meaningful, the used measure needs to be suitable for the context, and the validation of the results should be considered. More and above, we state some research gaps, in which network science can be applied, with some pointers to recent advances that can be used to mine collaboration networks.


title: Raw Waveform-based Audio Classification Using Sample-level CNN Architectures

abstract: Music, speech, and acoustic scene sound are often handled separately in the audio domain because of their different signal characteristics. However, as the image domain grows rapidly by versatile image classification models, it is necessary to study extensible classification models in the audio domain as well. In this study, we approach this problem using two types of sample-level deep convolutional neural networks that take raw waveforms as input and uses filters with small granularity. One is a basic model that consists of convolution and pooling layers. The other is an improved model that additionally has residual connections, squeeze-and-excitation modules and multi-level concatenation. We show that the sample-level models reach state-of-the-art performance levels for the three different categories of sound. Also, we visualize the filters along layers and compare the characteristics of learned filters.


title: Gaussian Process Regression for Arctic Coastal Erosion Forecasting

abstract: Arctic coastal morphology is governed by multiple factors, many of which are affected by climatological changes. As the season length for shorefast ice decreases and temperatures warm permafrost soils, coastlines are more susceptible to erosion from storm waves. Such coastal erosion is a concern, since the majority of the population centers and infrastructure in the Arctic are located near the coasts. Stakeholders and decision makers increasingly need models capable of scenario-based predictions to assess and mitigate the effects of coastal morphology on infrastructure and land use. Our research uses Gaussian process models to forecast Arctic coastal erosion along the Beaufort Sea near Drew Point, AK. Gaussian process regression is a data-driven modeling methodology capable of extracting patterns and trends from data-sparse environments such as remote Arctic coastlines. To train our model, we use annual coastline positions and near-shore summer temperature averages from existing datasets and extend these data by extracting additional coastlines from satellite imagery. We combine our calibrated models with future climate models to generate a range of plausible future erosion scenarios. Our results show that the Gaussian process methodology substantially improves yearly predictions compared to linear and nonlinear least squares methods, and is capable of generating detailed forecasts suitable for use by decision makers.


title: Particle collisions near a three-dimensional warped AdS black hole

abstract: In this paper we consider the warped AdS$_{3}$ black hole solution of topologically massive gravity with a negative cosmological constant, and we investigate the possibility that it acts as a particle accelerator by analyzing the energy in the center of mass (CM) frame of two colliding particles in the vicinity of its horizon, which is known as the Ba\~nados, Silk and West (BSW) process. Mainly, we show that the critical angular momentum $(L_c)$ of the particle decreases when the parameter that controls the stretching deformation ($\nu$) increases. Also, we show that despite the particle with $L_c$ can exist for certain values of the conserved energy outside the horizon, it will never reach the event horizon; therefore, the black hole can not act as a particle accelerator with arbitrarily high CM energy on the event horizon. However, such particle could also exist inside the outer horizon being the BSW process possible on the inner horizon. On the other hand, for the extremal warped AdS$_{3}$ black hole, the particle with $L_c$ and energy $E$ could exist outside the event horizon and the CM energy blows up on the event horizon if its conserved energy fulfill the condition $E^{2}>\frac{(\nu^{2}+3)l^{2}}{3(\nu^{2}-1)}$, being the BSW process possible.


title: Scalar dark matter, Type II Seesaw and the DAMPE cosmic ray $e^+ + e^-$ excess

abstract: The DArk Matter Particle Explorer (DAMPE) has reported a measurement of the flux of high energy cosmic ray electrons plus positrons (CREs) in the energy range between $25$ GeV and $4.6$ TeV. With unprecedented high energy resolution, the DAMPE data exhibit an excess of the CREs flux at an energy of around $1.4$ TeV. In this letter, we discuss how the observed excess can be understood in a minimal framework where the Standard Model (SM) is supplemented by a stable SM singlet scalar as dark matter (DM) and type II seesaw for generating the neutrino mass matrix. In our framework, a pair of DM particles annihilates into a pair of the SM SU(2) triplet scalars ($\Delta$s) in type II seesaw, and the subsequent $\Delta$ decays create the primary source of the excessive CREs around $1.4$ TeV. The lepton flavor structure of the primary source of CREs has a direct relationship with the neutrino oscillation data. We find that the DM interpretation of the DAMPE excess determines the pattern of neutrino mass spectrum to be the inverted hierarchy type, taking into account the constraints from the Fermi-LAT observations of dwarf spheroidal galaxies.


title: Coarse Grained Parallel Selection

abstract: We analyze the running time of the Saukas-Song algorithm for selection on a coarse grained multicomputer without expressing the running time in terms of communication rounds. This shows that while in the best case the Saukas-Song algorithm runs in asymptotically optimal time, in general it does not. We propose other algorithms for coarse grained selection that have optimal expected running time.


title: Vulnerabilities in the use of similarity tables in combination with pseudonymisation to preserve data privacy in the UK Office for National Statistics' Privacy-Preserving Record Linkage

abstract: In the course of a survey of privacy-preserving record linkage, we reviewed the approach taken by the UK Office for National Statistics (ONS) as described in their series of reports "Beyond 2011". Our review identifies a number of matters of concern. Some of the issues discovered are sufficiently severe to present a risk to privacy.


title: The HectoMAP Cluster Survey - I. redMaPPer Clusters

abstract: We use the dense HectoMAP redshift survey to explore the properties of 104 redMaPPer cluster candidates. The redMaPPer systems in HectoMAP cover the full range of richness and redshift (0.08 $< z <$ 0.60). Fifteen systems included in the Subaru/Hyper Suprime-Cam public data release are bona fide clusters. The median number of spectroscopic members per cluster is $\sim20$. We include redshifts of 3547 member candidates listed in the redMaPPer catalog whether they are cluster members or not. We evaluate the redMaPPer membership probability spectroscopically. The scaled richness ({\lambda}rich/S) provided by redMaPPer correlates tightly with the spectroscopic richness regardless of the cluster redshift and appears to be a better mass proxy than the original richness, {\lambda}rich. The purity (number of real systems) in redMaPPer exceeds 90% even at the lowest richness; however, there is some incompleteness. Five massive galaxy clusters (M $\gtrsim 2 \times 10^{13}$ M$_{\odot}$) associated with X-ray emission in the HectoMAP region are missing from the catalog.


title: Memory Effect for Particle Scattering in Odd Spacetime Dimensions

abstract: We investigate the gravitational memory effect for linearized perturbations off of Minkowski space in odd spacetime dimensions $d$ by examining the effects of gravitational radiation from classical point particle scattering. We also investigate analogous memory effects for electromagnetic and scalar radiation. We find that there is no gravitational memory effect in all odd dimensions. For scalar and electromagnetic fields, there is no memory effect for $d\geq 7$; for $d=3$ there is an infinite momentum memory effect, whereas for $d=5$ there is no momentum memory effect but the displacement of a test particle will grow unboundedly with time. Our results are further elucidated by analyzing the memory effect for any slowly moving source of compact spatial support in odd dimensions.


title: Smoothing of Gaussian quantum dynamics for force detection

abstract: Building on recent work by Gammelmark et al. [Phys. Rev. Lett. 111, 160401 (2013)] we develop a formalism for prediction and retrodiction of Gaussian quantum systems undergoing continuous measurements. We apply the resulting formalism to study the advantage of incorporating a full measurement record and retrodiction for impulse-like force detection and accelerometry.


title: Ollivier Ricci curvature for general graph Laplacians: Heat equation, Laplacian comparison, non-explosion and diameter bounds

abstract: Discrete time random walks on a finite set naturally translate via a one-to-one correspondence to discrete Laplace operators. Typically, Ollivier curvature has been investigated via random walks. We first extend the definition of Ollivier curvature to general weighted graphs and then give a strikingly simple representation of Ollivier curvature using the graph Laplacian. Using the Laplacian as a generator of a continuous time Markov chain, we connect Ollivier curvature with the heat equation which is strongly related to continuous time random walks. In particular, we prove that a lower bound on the Ollivier curvature is equivalent to a certain Lipschitz decay of solutions to the heat equation. This is a discrete analogue to a celebrated Ricci curvature lower bound characterization by Renesse and Sturm. Our representation of Ollivier curvature via the Laplacian allows us to deduce a Laplacian comparison principle by which we prove non-explosion and improved diameter bounds.


title: XXZ-Ising model on the triangular kagome lattice with spin-1 on the decorated trimers

abstract: We consider the triangular kagome XXZ-Ising model (TKL XXZ-Ising model) formed by inserting small triangles ("a-trimers") with XXZ spin-1 inside the triangles of the kagome lattice ("b-trimers"). It is a novel mixed spin system and can be solved exactly by transforming into the kagome lattice with the general transformation method for decorated spin systems. In the absence of an external field, we integrate out the quantum spins of the a-trimers and map the TKL model to the kagome Ising model exactly. We obtain the full phase diagram and their zero-temperature entropies (e.g. $s_{max}=5.48895$ per unit cell is given for the phase with the maximum entropy). When an external field is applied, 20 phases are found due to the quantum fluctuations of a-trimers. Moreover, the high spins in the a-trimers can lead to a stable quantized growth of the magnetization process in the Heisenberg limit.


title: Probing compressed mass spectra in electroweak supersymmetry with Recursive Jigsaw Reconstruction

abstract: The lack of evidence for the production of colored supersymmetric particles at the LHC has increased interest in searches for superpartners of the electroweak SM gauge bosons, namely the neutralinos and charginos. These are challenging due to the weak nature of the production process, and the existing discovery reach has significant gaps in due to the difficulty of separating the supersymmetric signal from SM diboson events that produce similar final states and kinematics. We apply the Recursive Jigsaw Reconstruction technique to study final states enriched in charged leptons and missing transverse momentum, focusing on compressed topologies with direct production of charginos and neutralinos decaying to the lightest neutral supersymmetric particle through the emission of W and Z bosons. After presenting prototype analysis designs for future LHC runs, we demonstrate that its detectors have the potential to probe a significant amount of unexplored parameter space for chargino-neutralino associated production within the next few years, and show that the very challenging successful search for chargino pair production with compressed spectra might be possible by the end of the LHC lifetime.


title: Searching for the Subatomic Swirls in the CuCu and CuAu Collisions

abstract: Recently the STAR Collaboration discovered the "subatomic swirls", that is, the most vortical fluid flow structures in the quark-gluon plasma produced via the AuAu collisions at the Relativistic Heavy Ion Collider (RHIC). Published in Nature and featured as a cover story, this discovery attracted significant interest and generated wide enthusiasm. For such an important finding, it is crucial to look for independent evidences of confirmation and to critically test the current interpretation of the global polarization measurement. We suggest that the CuCu and CuAu colliding systems at RHIC provide such opportunity. Interestingly, our calculations reveal that the fluid vorticity in the CuCu or CuAu collision is comparable to that in the AuAu Collision. Surprisingly, we find the computed $\Lambda$ hyperon polarization effect is stronger in the CuCu and CuAu systems than the AuAu system at the same collisional beam energy and centrality class, with an interesting hierarchy CuCu $>$ CuAu $>$ AuAu due to interplay between $\Lambda$ production timing and the time evolution of the vorticity. These predictions can be readily tested by experimental data.


title: Transient Stability Assessment Using Individual Machine Equal Area Criterion Part I: Unity Principle

abstract: Analyzing system trajectory from the perspective of individual machines provides a distinctive angle to analyze the transient stability of power systems. This two-paper series propose a direct-time-domain method that is based on the individual-machine equal area criterion. In the first paper, by examining the mapping between the trajectory and power-vs-angle curve of an individual machine, the stability property to characterize a critical machine is clarified. The mapping between the system trajectory and individual-machine equal area criterion is established. Furthermore, a unity principle between the individual-machine stability and system stability is proposed. It is proved that the instability of the system can be confirmed by finding any one unstable critical machine, thence, the transient stability of a multimachine system can be monitored in an individual-machine way in transient stability assessment.


title: Prime Geodesic Theorem in the 3-dimensional Hyperbolic Space

abstract: For $\Gamma$ a cofinite Kleinian group acting on $\mathbb{H}^3$, we study the Prime Geodesic Theorem on $M=\Gamma \backslash \mathbb{H}^3$, which asks about the asymptotic behaviour of lengths of primitive closed geodesics (prime geodesics) on $M$. Let $E_{\Gamma}(X)$ be the error in the counting of prime geodesics with length at most $\log X$. For the Picard manifold, $\Gamma=\mathrm{PSL}(2,\mathbb{Z}[i])$, we improve the classical bound of Sarnak, $E_{\Gamma}(X)=O(X^{5/3+\epsilon})$, to $E_{\Gamma}(X)=O(X^{13/8+\epsilon})$. In the process we obtain a mean subconvexity estimate for the Rankin-Selberg $L$-function attached to Maass-Hecke cusp forms. We also investigate the second moment of $E_{\Gamma}(X)$ for a general cofinite group $\Gamma$, and show that it is bounded by $O(X^{16/5+\epsilon})$.


title: Transient Stability Assessment Using Individual Machine Equal Area Criterion Part II: Stability Margin

abstract: In the second part of this two-paper series, the stability margin of a critical machine and that of the system are first proposed, and then the concept of non-global stability margin is illustrated. Based on the crucial statuses of the leading unstable critical machine and the most severely disturbed critical machine, the critical stability of the system from the perspective of an individual machine is analyzed. In the end of this paper, comparisons between the proposed method and classic global methods are demonstrated.


title: Bars and spirals in tidal interactions with an ensemble of galaxy mass models

abstract: We present simulations of the gaseous and stellar material in several different galaxy mass models under the influence of different tidal fly-bys to assess the changes in their bar and spiral morphology. Five different mass models are chosen to represent the variety of rotation curves seen in nature. We find a multitude of different spiral and bar structures can be created, with their properties dependent on the strength of the interaction. We calculate pattern speeds, spiral wind-up rates, bar lengths, and angular momentum exchange to quantify the changes in disc morphology in each scenario. The wind-up rates of the tidal spirals follow the 2:1 resonance very closely for the flat and dark matter dominated rotation curves, whereas the more baryon dominated curves tend to wind-up faster, influenced by their inner bars. Clear spurs are seen in most of the tidal spirals, most noticeable in the flat rotation curve models. Bars formed both in isolation and interactions agree well with those seen in real galaxies, with a mixture of "fast" and "slow" rotators. We find no strong correlation between bar length or pattern speed and the interaction strength. Bar formation is, however, accelerated/induced in four out of five of our models. We close by briefly comparing the morphology of our models to real galaxies, easily finding analogues for nearly all simulations presenter here, showing passages of small companions can easily reproduce an ensemble of observed morphologies.


title: ELUCID V. Lighting dark matter halos with galaxies

abstract: In a recent study, using the distribution of galaxies in the north galactic pole of SDSS DR7 region enclosed in a 500$\mpch$ box, we carried out our ELUCID simulation (Wang et al. 2016, ELUCID III). Here we {\it light} the dark matter halos and subhalos in the reconstructed region in the simulation with galaxies in the SDSS observations using a novel {\it neighborhood} abundance matching method. Before we make use of thus established galaxy-subhalo connections in the ELUCID simulation to evaluate galaxy formation models, we set out to explore the reliability of such a link. For this purpose, we focus on the following a few aspects of galaxies: (1) the central-subhalo luminosity and mass relations; (2) the satellite fraction of galaxies; (3) the conditional luminosity function (CLF) and conditional stellar mass function (CSMF) of galaxies; and (4) the cross correlation functions between galaxies and the dark matter particles, most of which are measured separately for all, red and blue galaxy populations. We find that our neighborhood abundance matching method accurately reproduces the central-subhalo relations, satellite fraction, the CLFs and CSMFs and the biases of galaxies. These features ensure that thus established galaxy-subhalo connections will be very useful in constraining galaxy formation processes. And we provide some suggestions on the three levels of using the galaxy-subhalo pairs for galaxy formation constraints. The galaxy-subhalo links and the subhalo merger trees in the SDSS DR7 region extracted from our ELUCID simulation are available upon request.


title: New result for the neutron $\beta$-asymmetry parameter $A_0$ from UCNA

abstract: The neutron $\beta$-decay asymmetry parameter $A_0$ defines the correlation between the spin of the neutron and the momentum of the emitted electron, which determines $\lambda=\frac{g_{A}}{g_{V}}$, the ratio of the axial-vector to vector weak coupling constants. The UCNA Experiment, located at the Ultracold Neutron facility at the Los Alamos Neutron Science Center, is the first to measure such a correlation coefficient using ultracold neutrons (UCN). Following improvements to the systematic uncertainties and increased statistics, we report the new result $A_0 = -0.12054(44)_{\mathrm{stat}}(68)_{\mathrm{syst}}$ which yields $\lambda\equiv \frac{g_{A}}{g_{V}}=-1.2783(22)$. Combination with the previous UCNA result and accounting for correlated systematic uncertainties produces $A_0=-0.12015(34)_{\mathrm{stat}}(63)_{\mathrm{syst}}$ and $\lambda\equiv \frac{g_{A}}{g_{V}}=-1.2772(20)$.


title: A view of the bulk from the worldline

abstract: A new method to compute correlation functions in AdS$_{d+1}$ in general dimension is introduced, considering a particle quantised in the worldline formalism of quantum field theory, coupled to bulk fields, in particular gravity, quantised in the standard manner. This gives a systematic two-parameter perturbative expansion organised by small parameters $G_N$ and the inverse mass of the particle, complementary to the usual Witten diagram expansion. This connects closely to CFT language, with the geodesic Witten diagram representation of global conformal blocks emerging naturally, and for two dimensions gives a bulk representation of the Virasoro block, with a systematic method for computing quantum corrections. The global conformal block and other contributions are shown to exponentiate in correlation functions in any dimension, corresponding to pieces of Witten diagrams at arbitrary loop order.


title: Improving Object Detection from Scratch via Gated Feature Reuse

abstract: In this paper, we present a simple and parameter-efficient drop-in module for one-stage object detectors like SSD when learning from scratch (i.e., without pre-trained models). We call our module GFR (Gated Feature Reuse), which exhibits two main advantages. First, we introduce a novel gate-controlled prediction strategy enabled by Squeeze-and-Excitation to adaptively enhance or attenuate supervision at different scales based on the input object size. As a result, our model is more effective in detecting diverse sizes of objects. Second, we propose a feature-pyramids structure to squeeze rich spatial and semantic features into a single prediction layer, which strengthens feature representation and reduces the number of parameters to learn. We apply the proposed structure on DSOD and SSD detection frameworks, and evaluate the performance on PASCAL VOC 2007, 2012 and COCO datasets. With fewer model parameters, GFR-DSOD outperforms the baseline DSOD by 1.4%, 1.1%, 1.7% and 0.6%, respectively. GFR-SSD also outperforms the original SSD and SSD with dense prediction by 3.6% and 2.8% on VOC 2007 dataset. Code is available at: https://github.com/szq0214/GFR-DSOD .


title: Regularity of Edge Ideals and Their Powers

abstract: We survey recent studies on the Castelnuovo-Mumford regularity of edge ideals of graphs and their powers. Our focus is on bounds and exact values of $\text{reg} I(G)$ and the asymptotic linear function $\text{reg} I(G)^q$, for $q \geq 1,$ in terms of combinatorial data of the given graph $G.$


title: FMI Compliant Approach to Investigate the Impact of Communication to Islanded Microgrid Secondary Control

abstract: In multi-master islanded microgrids, the inverter controllers need to share the signals and to coordinate, in either centralized or distributed way, in order to operate properly and to assure a good functionality of the grid. The central controller is used in centralized strategy. In distributed control, Multi-agent system (MAS) is considered to be a suitable solution for coordination of such system. However the latency and disturbance of the network may disturb the communication from central controller to local controllers or among agents or and negatively influence the grid operation. As a consequence, communication aspects need to be properly addressed during the control design and assessment. In this paper, we propose a holistic approach with co-simulation using Functional Mockup Interface (FMI) standard to validate the microgrid control system taking into account the communication network. A use-case of islanded microgrid frequency secondary control with MAS under consensus algorithm is implemented to demonstrate the impact of communication and to illustrate the proposed holistic approach.


title: Theoretical Investigation of the Black-body Zeeman Shift for Microwave Atomic Clocks

abstract: With the development of microwave atomic clocks, the Zeeman shifts for the spectral lines of black-body radiation need to be investigated carefully. In this Letter, the frequency shifts of hyperfine splittings of atomic ground states due to the magnetic field of black-body radiation are reported. The relative frequency shifts of different alkali atoms and alkali-like ions, which could be candidates of microwave atomic clocks, were calculated. The results vary from $-0.977\times10^{-17}[T(K)/300]^{2}$ to $-1.947\times10^{-17}[T(K)/300]^{2}$ for different atoms considered. These results are consistent with previous work but with greater precision, detailed derivations, and a clear physical picture.


title: Linear stable range for homology of congruence subgroups via FI-modules

abstract: We answer positively a question of Church, Miller, Nagpal and Reinhold on existence of a linear bound on the presentation degree of the homology of a complex of FI-modules. This implies a linear stable range for the homology of congruence subgroups of general linear groups.


title: Data Dropout in Arbitrary Basis for Deep Network Regularization

abstract: An important problem in training deep networks with high capacity is to ensure that the trained network works well when presented with new inputs outside the training dataset. Dropout is an effective regularization technique to boost the network generalization in which a random subset of the elements of the given data and the extracted features are set to zero during the training process. In this paper, a new randomized regularization technique in which we withhold a random part of the data without necessarily turning off the neurons/data-elements is proposed. In the proposed method, of which the conventional dropout is shown to be a special case, random data dropout is performed in an arbitrary basis, hence the designation Generalized Dropout. We also present a framework whereby the proposed technique can be applied efficiently to convolutional neural networks. The presented numerical experiments demonstrate that the proposed technique yields notable performance gain. Generalized Dropout provides new insight into the idea of dropout, shows that we can achieve different performance gains by using different bases matrices, and opens up a new research question as of how to choose optimal bases matrices that achieve maximal performance gain.


title: Tracy-Widom limit for Kendall's tau

abstract: In this paper, we study a high-dimensional random matrix model from nonparametric statistics called the Kendall rank correlation matrix, which is a natural multivariate extension of the Kendall rank correlation coefficient. We establish the Tracy-Widom law for its largest eigenvalue. It is the first Tracy-Widom law for a nonparametric random matrix model, and also the first Tracy-Widom law for a high-dimensional U-statistic.


title: The deformed Hermitian-Yang-Mills equation in geometry and physics

abstract: We provide an introduction to the mathematics and physics of the deformed Hermitian-Yang-Mills equation, a fully nonlinear geometric PDE on Kahler manifolds which plays an important role in mirror symmetry. We discuss the physical origin of the equation, and some recent progress towards its solution. In dimension 3 we prove a new Chern number inequality and discuss the relationship with algebraic stability conditions.


title: The Nature of Bonding in Bulk Tellurium Composed of One-Dimensional Helical Chains

abstract: Bulk tellurium (Te) is composed of one-dimensional (1D) helical chains which have been considered to be coupled by van der Waals (vdW) interactions. However, based on first-principles density-functional theory calculations, we here propose a different bonding nature between neighboring chains: i.e., the helical chains made of normal covalent bonds are connected together by coordinate covalent bonds. It is revealed that the lone pairs of electrons of Te atom participate in forming coordinate covalent bonds between neighboring chains. Therefore, each Te atom behaves as both electron donor to neighboring chains and electron acceptor from neighboring chains. This ligand-metal-like bonding nature in bulk Te results in the same order of bulk moduli along the directions parallel and perpendicular to the chains, contrasting with the large anisotropy of bulk moduli in vdW crystals. We further find that the electron effective masses parallel and perpendicular to the chains are almost the same each other, consistent with the observed nearly isotropic electrical resistivity. It is thus demonstrated that the normal/coordinate covalent bonds parallel/perpendicular to the chains in bulk Te lead to a minor anisotropy in structural and transport properties, distinct from a strong anisotropy observed in the typical two-dimensional (2D) vdW materials such as graphite and MoS$_2$.


title: Localised sequential state estimation for advection dominated flows with non-Gaussian uncertainty description

abstract: This paper presents a new iterative state estimation algorithm for advection dominated flows with non-Gaussian uncertainty description of $L^\infty$-type: uncertain initial condition and model error are assumed to be pointvise bounded in space and time, and the observation noise has uncertain but bounded second moments. The algorithm approximates this $L^\infty$-type bounding set by a union of possibly overlapping ellipsoids, which are localized (in space) on a number of sub-domains. On each sub-domain the state of the original system is estimated by the standard $L^2$-type filter (e.g. Kalman/minimax filter) which uses Gaussian/ellipsoidal uncertainty description and observations (if any) which correspond to this sub-domain. The resulting local state estimates are stitched together by the iterative d-ADN Schwartz method to reconstruct the state of the original system. The efficacy of the proposed method is demonstrated with a set of numerical examples.


title: Localization of highest weight modules of a class of Extended Affine Lie Algebras

abstract: In 2006, Gao and Zeng \cite{GZ} gave the free field realizations of highest weight modules over a class of extended affine Lie algebras. In the present paper, applying the technique of localization to those free field realizations, we construct a class of new weight modules over the extended affine Lie algebras. We give necessary and sufficient conditions for these modules to be irreducible. In this way, we construct free field realizations for a class of simple weight modules with infinite weight multiplicities over the extended affine Lie algebras.


title: Spatial Manifestations of Order Reduction in Runge-Kutta Methods for Initial Boundary Value Problems

abstract: This paper studies the spatial manifestations of order reduction that occur when time-stepping initial-boundary-value problems (IBVPs) with high-order Runge-Kutta methods. For such IBVPs, geometric structures arise that do not have an analog in ODE IVPs: boundary layers appear, induced by a mismatch between the approximation error in the interior and at the boundaries. To understand those boundary layers, an analysis of the modes of the numerical scheme is conducted, which explains under which circumstances boundary layers persist over many time steps. Based on this, two remedies to order reduction are studied: first, a new condition on the Butcher tableau, called weak stage order, that is compatible with diagonally implicit Runge-Kutta schemes; and second, the impact of modified boundary conditions on the boundary layer theory is analyzed.


title: Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving

abstract: This volume of EPTCS contains the proceedings of the Fifth Workshop on Proof Exchange for Theorem Proving (PxTP 2017), held on September 23-24, 2017 as part of the Tableaux, FroCoS and ITP conferences in Brasilia, Brazil. The PxTP workshop series brings together researchers working on various aspects of communication, integration, and cooperation between reasoning systems and formalisms, with a special focus on proofs. The progress in computer-aided reasoning, both automated and interactive, during the past decades, made it possible to build deduction tools that are increasingly more applicable to a wider range of problems and are able to tackle larger problems progressively faster. In recent years, cooperation between such tools in larger systems has demonstrated the potential to reduce the amount of manual intervention. Cooperation between reasoning systems relies on availability of theoretical formalisms and practical tools to exchange problems, proofs, and models. The PxTP workshop series strives to encourage such cooperation by inviting contributions on all aspects of cooperation between reasoning tools, whether automatic or interactive.


title: Towards Realistic Face Photo-Sketch Synthesis via Composition-Aided GANs

abstract: Face photo-sketch synthesis aims at generating a facial sketch/photo conditioned on a given photo/sketch. It is of wide applications including digital entertainment and law enforcement. Precisely depicting face photos/sketches remains challenging due to the restrictions on structural realism and textural consistency. While existing methods achieve compelling results, they mostly yield blurred effects and great deformation over various facial components, leading to the unrealistic feeling of synthesized images. To tackle this challenge, in this work, we propose to use the facial composition information to help the synthesis of face sketch/photo. Specially, we propose a novel composition-aided generative adversarial network (CA-GAN) for face photo-sketch synthesis. In CA-GAN, we utilize paired inputs including a face photo/sketch and the corresponding pixel-wise face labels for generating a sketch/photo. In addition, to focus training on hard-generated components and delicate facial structures, we propose a compositional reconstruction loss. Finally, we use stacked CA-GANs (SCA-GAN) to further rectify defects and add compelling details. Experimental results show that our method is capable of generating both visually comfortable and identity-preserving face sketches/photos over a wide range of challenging data. Our method achieves the state-of-the-art quality, reducing best previous Frechet Inception distance (FID) by a large margin. Besides, we demonstrate that the proposed method is of considerable generalization ability. We have made our code and results publicly available: https://fei-hdu.github.io/ca-gan/.


title: On the Effect of Shadowing Correlation on Wireless Network Performance

abstract: We propose and analyze a new shadowing field model meant to capture spatial correlations. The interference field associated with this new model is compared to that of the widely used independent shadowing model. Independent shadowing over links is adopted because of the resulting closed forms for performance metrics, and in spite of the well-known fact that the shadowing fields of networks are spatially correlated. The main purpose of this paper is to challenge this independent shadowing approximation. For this, we analyze the interference measured at the origin in networks where 1) nodes which are in the same cell of some random shadowing tessellation share the same shadow, or 2) nodes which share a common mother point in some cluster process share the same shadow. By leveraging stochastic comparison techniques, we give the order relation of the three main user performance metrics, namely coverage probability, Shannon throughput and local delay, under both the correlated and the independent shadowing assumptions. We show that the evaluation of the considered metrics under the independent approximation is systematically pessimistic compared to the correlated shadowing model. The improvement in each metric when adopting the correlated shadow model is quantified and shown to be quite significant.


title: Torsion in Gauge Theory

abstract: The potential conflict between torsion and gauge symmetry in the Riemann-Cartan curved space-time was noted by Kibble in his 1961 pioneering paper, and has since been discussed by many authors. Kibble suggested that, to preserve gauge symmetry, one should forgo the covariant derivative in favor of the ordinary derivative in the definition of the field strength F_{\mu}{\nu} for massless gauge theories, while for massive vector fields covariant derivatives should be adopted. This view was further emphasized by Hehl and collaborators in their influential 1976 review paper. We address the question of whether this deviation from normal procedure of forgoing covariant derivatives in curved spacetime with torsion could give rise to inconsistencies in the theory, such as the quantum renormalizability of a realistic interacting theory. We demonstrate in this note the one-loop renormalizability of a realistic gauge theory of gauge bosons interacting with Dirac spinors, such as the SU(3) chromodynamics, for the case of a curved Riemann-Cartan spacetime with totally anti-symmetric torsion. This affirmative confirmation is one step towards providing justification for the assertion that the flat-space definition of the gauge field strength should be adopted as the proper definition.


title: Accurate analysis for harmonic Hall voltage measurement for spin-orbit torques

abstract: An accurate method is developed to extract the spin-orbit effective fields through analysis of the results of harmonic Hall voltage measurements by deriving detailed analytical equations, in which both the z-component of the applied magnetic field and the second-order perpendicular magnetic anisotropy are taken into account. The method is tested by analyzing the results of a macrospin simulation. The spin-orbit effective fields extracted from the analysis are found to be in excellent agreement with the input spin-orbit effective fields used for the macrospin simulation over the entire range of the polar magnetization angle and a wide range (0-2) of the ratio of the planar to the anomalous Hall voltage considered in this study. The accuracy of the proposed method is demonstrated more clearly via a systematic study involving a comparison of its results with those of the conventional analytical method.


title: Cascading Behavior in Yelp Reviews

abstract: Social media has changed the landscape of marketing and consumer research as the adoption and promotion of businesses is becoming more and more dependent on how the customers are interacting and feeling about the business on platforms like Facebook, Twitter, Yelp etc. Social review websites like Yelp have become an important source of information about different businesses. Social influence on these online platforms can result in individuals adopting or promoting ideas and actions resulting in information cascades. Research on information cascades have been gaining popularity over the last few years but most of the research has been focused on platforms like Twitter and Facebook. Research on the adoption or promotion of product using cascades can help determine important latent patterns of social influence. In this work, we have analyzed the spread of information i.e. cascades in Yelp across different cities in Europe and North America. We have enumerated and analyzed different cascade topologies that occur in the Yelp social networks. Some of our significant findings include the presence of a significant number of cascades in Yelp reviews indicating the importance of social influence, heavy-tailed distribution of cascades and possibility to accurately predict the size of cascades on the basis of initial reviews. In addition, we have also found that the characteristics of the non-root nodes and the non-root reviews are much more important type of feature as compared to the properties of the root nodes and root reviews of the cascade. These findings can help social scientists to analyze customer behavior across different cities in a much more systematic way. Furthermore, it can also help the businesses in a city to figure out different consumer trends and hence improve their processes and offerings.


title: Polynomial monads and delooping of mapping spaces

abstract: We extend some classical results - such as Quillen's Theorem A, the Grothendieck construction, Thomason's Theorem and the characterisation of homotopically cofinal functors - from the homotopy theory of small categories to polynomial monads and their algebras. As an application we give a categorical proof of the Dwyer-Hess and Turchin results concerning the explicit double delooping of spaces of long knots.


title: Data Cache Prefetching with Perceptron Learning

abstract: Cache prefetcher greatly eliminates compulsory cache misses, by fetching data from slower memory to faster cache before it is actually required by processors. Sophisticated prefetchers predict next use cache line by repeating program's historical spatial and temporal memory access pattern. However, they are error prone and the mis-predictions lead to cache pollution and exert extra pressure on memory subsystem. In this paper, a novel scheme of data cache prefetching with perceptron learning is proposed. The key idea is a two-level prefetching mechanism. A primary decision is made by utilizing previous table-based prefetching mechanism, e.g. stride prefetching or Markov prefetching, and then, a neural network, perceptron is taken to detect and trace program memory access patterns, to help reject those unnecessary prefetching decisions. The perceptron can learn from both local and global history in time and space, and can be easily implemented by hardware. This mechanism boost execution performance by ideally mitigating cache pollution and eliminating redundant memory request issued by prefetcher. Detailed evaluation and analysis were conducted based on SPEC CPU 2006 benchmarks. The simulation results show that generally the proposed scheme yields a geometric mean of 60.64%-83.84% decrease in prefetching memory requests without loss in instruction per cycle(IPC)(floating between -2.22% and 2.55%) and cache hit rate(floating between -1.67% and 2.46%). Though it is possible that perceptron may refuse useful blocks and thus cause minor raise in cache miss rate, lower memory request count can decrease average memory access latency, which compensate for the loss, and in the meantime, enhance overall performance in multi-programmed workloads.


title: A new result for global existence and boundedness of solutions to a parabolic--parabolic Keller--Segel system with logistic source

abstract: We consider the following fully parabolic Keller--Segel system with logistic source $$ \left\{\begin{array}{ll} u_t=\Delta u-\chi\nabla\cdot(u\nabla v)+ au-\mu u^2,\quad x\in \Omega, t>0, \disp{v_t=\Delta v- v +u},\quad x\in \Omega, t>0, \end{array}\right.\eqno(KS) $$ over a bounded domain $\Omega\subset\mathbb{R}^N(N\geq1)$, with smooth boundary $\partial\Omega$, the parameters $a\in \mathbb{R}, \mu>0, \chi>0$. It is proved that if $\mu>0$, then $(KS)$ admits a global weak solution, while if $\mu>\frac{(N-2)_{+}}{N}\chi C^{\frac{1}{\frac{N}{2}+1}}_{\frac{N}{2}+1}$, then $(KS)$ possesses a global classical solution which is bounded, where $C^{\frac{1}{\frac{N} {2}+1}}_{\frac{N}{2}+1}$ is a positive constant which is corresponding to the maximal Sobolev regularity. Apart from this, we also show that if $a = 0$ and $\mu>\frac{(N-2)_{+}}{N}\chi C^{\frac{1}{\frac{N}{2}+1}}_{\frac{N}{2}+1}$, then both $u(\cdot, t)$ and $v(\cdot, t)$ decay to zero with respect to the norm in $L^\infty(\Omega)$ as $t\rightarrow\infty$.


title: An algorithm for computing Schur indices of characters

abstract: We describe an algorithm for computing Schur indices of irreducible characters of a finite group $G$, based on computations within $G$ and its subgroups and with their character tables. The algorithm has been implemented within \Magma\ and examples of its use are given. We also compare the output of the algorithm on groups associated with sporadic simple groups with the results of W. Feit. The differences are considered.


title: Joint User Scheduling and Power optimization in Full-Duplex Cells with Successive Interference Cancellation

abstract: This paper considers a cellular system with a full-duplex base station and half-duplex users. The base station can activate one user in uplink or downlink (half-duplex mode), or two different users one in each direction simultaneously (full-duplex mode). Simultaneous transmissions in uplink and downlink causes self-interference at the base station and uplink-to-downlink interference at the downlink user. Although uplink-to-downlink interference is typically treated as noise, it is shown that successive interference decoding and cancellation (SIC mode) can lead to significant improvement in network utility, especially when user distribution is concentrated around a few hotspots. The proposed temporal fair user scheduling algorithm and corresponding power optimization utilizes full-duplex and SIC modes as well as half-duplex transmissions based on their impact on network utility. Simulation results reveal that the proposed strategy can achieve up to 95% average cell throughput improvement in typical indoor scenarios with respect to a conventional network in which the base station is half-duplex.


title: A new all-sky map of Galactic high-velocity clouds from the 21-cm HI4PI survey

abstract: High-velocity clouds (HVCs) are neutral or ionised gas clouds in the vicinity of the Milky Way that are characterised by high radial velocities inconsistent with participation in the regular rotation of the Galactic disc. Previous attempts to create a homogeneous all-sky HI map of HVCs have been hampered by a combination of poor angular resolution, limited surface brightness sensitivity and suboptimal sampling. Here, a new and improved HI map of Galactic HVCs based on the all-sky HI4PI survey is presented. The new map is fully sampled and provides significantly better angular resolution (16.2 versus 36 arcmin) and column density sensitivity (2.3 versus 3.7 * 10^18 cm^-2 at the native resolution) than the previously available LAB survey. The new HVC map resolves many of the major HVC complexes in the sky into an intricate network of narrow HI filaments and clumps that were not previously resolved by the LAB survey. The resulting sky coverage fraction of high-velocity HI emission above a column density level of 2 * 10^18 cm^-2 is approximately 15 per cent, which reduces to about 13 per cent when the Magellanic Clouds and other non-HVC emission are removed. The differential sky coverage fraction as a function of column density obeys a truncated power law with an exponent of -0.93 and a turnover point at about 5 * 10^19 cm^-2. HI column density and velocity maps of the HVC sky are made publicly available as FITS images for scientific use by the community.


title: A general formulation of long-range degree correlations in complex networks

abstract: We provide a general framework for analyzing degree correlations between nodes separated by more than one step (i.e., beyond nearest neighbors) in complex networks. One probability and four conditional probabilities are introduced to fully describe long-range degree correlations with respect to $k$ and $k'$ of two nodes and shortest path length $l$ between them. We present general relations among these probabilities and clarify the relevance to nearest-neighbor degree correlations. Unlike nearest-neighbor correlations, some of these probabilities are meaningful only in finite-size networks. Furthermore, as a baseline to determine the existence or nonexistence of long-range degree correlations in a network, the functional forms of these probabilities for networks without any long-range degree correlations are analytically evaluated within a mean-field approximation. The validity of our argument is demonstrated by applying it to real-world networks.


title: Nash blow-ups of jet schemes

abstract: Given an arbitrary projective birational morphism of varieties, we provide a natural and explicit way of constructing relative compactifications of the maps induced on the main components of the jet schemes. In the case the morphism is the Nash blow-up of a variety, such relative compactifications are shown to be given by the Nash blow-ups of the main components of the jet schemes.


title: Deep Learning Diffuse Optical Tomography

abstract: Diffuse optical tomography (DOT) has been investigated as an alternative imaging modality for breast cancer detection thanks to its excellent contrast to hemoglobin oxidization level. However, due to the complicated non-linear photon scattering physics and ill-posedness, the conventional reconstruction algorithms are sensitive to imaging parameters such as boundary conditions. To address this, here we propose a novel deep learning approach that learns non-linear photon scattering physics and obtains an accurate three dimensional (3D) distribution of optical anomalies. In contrast to the traditional black-box deep learning approaches, our deep network is designed to invert the Lippman-Schwinger integral equation using the recent mathematical theory of deep convolutional framelets. As an example of clinical relevance, we applied the method to our prototype DOT system. We show that our deep neural network, trained with only simulation data, can accurately recover the location of anomalies within biomimetic phantoms and live animals without the use of an exogenous contrast agent.


title: Majorization and R\'enyi Entropy Inequalities via Sperner Theory

abstract: A natural link between the notions of majorization and strongly Sperner posets is elucidated. It is then used to obtain a variety of consequences, including new R\'enyi entropy inequalities for sums of independent, integer-valued random variables.


title: Emergent behavior of Cucker-Smale flocking particles with time delays

abstract: We analyze Cucker-Smale flocking particles with delayed coupling, where different constant delays are considered between particles. By constructing a system of dissipative differential inequalities together with a continuity argument, we provide a sufficient condition for the flocking behavior when the maximum value of time delays is sufficiently small.


title: Double Fe-impurity charge state in the topological insulator Bi$_2$Se$_3$

abstract: The influence of individual impurities of Fe on the electronic properties of topological insulator Bi$_2$Se$_3$ is studied by Scanning Tunneling Microscopy. The microscope tip is used in order to remotely charge/discharge Fe impurities. The charging process is shown to depend on the impurity location in the crystallographic unit cell, on the presence of other Fe impurities in the close vicinity, as well as on the overall doping level of the crystal. We present a qualitative explanation of the observed phenomena in terms of tip-induced local band bending. Our observations evidence that the specific impurity neighborhood and the position of the Fermi energy with respect to the Dirac point and bulk bands have both to be taken into account when considering the electron scattering on the disorder in topological insulators.


title: Deep Visual Perception for Dynamic Walking on Discrete Terrain

abstract: Dynamic bipedal walking on discrete terrain, like stepping stones, is a challenging problem requiring feedback controllers to enforce safety-critical constraints. To enforce such constraints in real-world experiments, fast and accurate perception for foothold detection and estimation is needed. In this work, a deep visual perception model is designed to accurately estimate step length of the next step, which serves as input to the feedback controller to enable vision-in-the-loop dynamic walking on discrete terrain. In particular, a custom convolutional neural network architecture is designed and trained to predict step length to the next foothold using a sampled image preview of the upcoming terrain at foot impact. The visual input is offered only at the beginning of each step and is shown to be sufficient for the job of dynamically stepping onto discrete footholds. Through extensive numerical studies, we show that the robot is able to successfully autonomously walk for over 100 steps without failure on a discrete terrain with footholds randomly positioned within a step length range of 45-85 centimeters.


title: A text-independent speaker verification model: A comparative analysis

abstract: The most pressing challenge in the field of voice biometrics is selecting the most efficient technique of speaker recognition. Every individual's voice is peculiar, factors like physical differences in vocal organs, accent and pronunciation contributes to the problem's complexity. In this paper, we explore the various methods available in each block in the process of speaker recognition with the objective to identify best of techniques that could be used to get precise results. We study the results on text independent corpora. We use MFCC (Melfrequency cepstral coefficient), LPCC (linear predictive cepstral coefficient) and PLP (perceptual linear prediction) algorithms for feature extraction, PCA (Principal Component Analysis) and tSNE for dimensionality reduction and SVM (Support Vector Machine), feed forward, nearest neighbor and decision tree algorithms for classification block in speaker recognition system and comparatively analyze each block to determine the best technique


title: Boolean function analysis meets stochastic optimization: An approximation scheme for stochastic knapsack

abstract: The stochastic knapsack problem is the stochastic variant of the classical knapsack problem in which the algorithm designer is given a a knapsack with a given capacity and a collection of items where each item is associated with a profit and a probability distribution on its size. The goal is to select a subset of items with maximum profit and violate the capacity constraint with probability at most $p$ (referred to as the overflow probability). While several approximation algorithms have been developed for this problem, most of these algorithms relax the capacity constraint of the knapsack. In this paper, we design efficient approximation schemes for this problem without relaxing the capacity constraint. (i) Our first result is in the case when item sizes are Bernoulli random variables. In this case, we design a (nearly) fully polynomial time approximation scheme (FPTAS) which only relaxes the overflow probability. (ii) Our second result generalizes the first result to the case when all the item sizes are supported on a (common) set of constant size. (iii) Our third result is in the case when item sizes are so-called "hypercontractive" random variables i.e., random variables whose second and fourth moments are within constant factors of each other. In other words, the kurtosis of the random variable is upper bounded by a constant. Crucially, all of our algorithms meet the capacity constraint exactly, a result which was previously known only when the item sizes were Poisson or Gaussian random variables. Our results rely on new connections between Boolean function analysis and stochastic optimization. We believe that these ideas and techniques may prove to be useful in other stochastic optimization problems as well.


title: Interactions between chronic diseases: asymmetric outcomes of co-infection at individual and population scales

abstract: Co-infecting parasites and pathogens remain a leading challenge for global public health due to their consequences for individual-level infection risk and disease progression. However, a clear understanding of the population-level consequences of co-infection is lacking. Here, we constructed a model that includes three individual-level effects of co-infection: mortality, fecundity, and transmission. We used the model to investigate how these individual-level consequences of co-infection scale up to produce population-level infection patterns. To parameterize this model, we conducted a four-year cohort study in African buffalo to estimate the individual-level effects of co-infection with two bacterial pathogens, bovine tuberculosis (BTB) and brucellosis, across a range of demographic and environmental contexts. At the individual-level, our empirical results identified BTB as a risk factor for acquiring brucellosis, but we found no association between brucellosis and the risk of acquiring BTB. Both infections were associated with reductions in survival and neither infection was associated with reductions in fecundity. Results of the model reproduce co-infection patterns in the data and predict opposite impacts of co-infection at individual and population scales: whereas BTB facilitated brucellosis infection at the individual-level, our model predicts the presence of brucellosis to have a strong negative impact on BTB at the population-level. In modeled populations where brucellosis is present, the endemic prevalence and basic reproduction number (Ro) of BTB were lower than in populations without brucellosis. Therefore, these results provide a data-driven example of competition between co-infecting pathogens that occurs when one pathogen facilitates secondary infections at the individual level.


title: High dimensional integration of kinks and jumps -- smoothing by preintegration

abstract: We show how simple kinks and jumps of otherwise smooth integrands over $\mathbb{R}^d$ can be dealt with by a preliminary integration with respect to a single well chosen variable. It is assumed that this preintegration, or conditional sampling, can be carried out with negligible error, which is the case in particular for option pricing problems. It is proven that under appropriate conditions the preintegrated function of $d-1$ variables belongs to appropriate mixed Sobolev spaces, so potentially allowing high efficiency of Quasi Monte Carlo and Sparse Grid Methods applied to the preintegrated problem. The efficiency of applying Quasi Monte Carlo to the preintegrated function are demonstrated on a digital Asian option using the Principal Component Analysis factorisation of the covariance matrix.


title: Chimera at the phase-flip transition of an ensemble of identical nonlinear oscillators

abstract: A complex collective emerging behavior characterized by coexisting coherent and incoherent do- mains is termed as a chimera state. We bring out the existence of a new type of chimera in a nonlocally coupled ensemble of identical oscillators driven by a common dynamic environment. The latter facilitates the onset of phase-flip bifurcation/transitions among the coupled oscillators of the ensemble, while the nonlocal coupling induces a partial asynchronization among the out-of-phase synchronized oscillators at this onset. This leads to the manifestation of coexisting out-of-phase synchronized coherent domains interspersed by asynchronous incoherent domains elucidating the existence of a different type of chimera state. In addition to this, a rich variety of other collective behaviors such as clusters with phase-flip transition, conventional chimera, solitary state and com- plete synchronized state which have been reported using different coupling architectures are found to be induced by the employed couplings for appropriate coupling strengths. The robustness of the resulting dynamics is demonstrated in ensembles of two paradigmatic models, namely R\"ossler oscillators and Stuart-Landau oscillators.


title: Quasi-degenerate dark matter for DAMPE excess and $3.5\,\textrm{keV}$ line

abstract: We propose a quasi-degenerate dark matter scenario to simultaneously explain the $1.4\,\textrm{TeV}$ peak in the high-energy cosmic-ray electron-positron spectrum reported by the DAMPE collaboration very recently and the $3.5\,\textrm{keV}$ X-ray line observed in galaxies clusters and from the Galactic centre and confirmed by the Chandra and NuSTAR satellites. We consider a dark $SU(2)'\times U(1)'$ gauge symmetry under which the dark matter is a Dirac fermion doublet composed of two $SU(2)'$ doublets with non-trivial $U(1)'$ charges. At one-loop level the two dark fermion components can have a mass split as a result of the dark gauge symmetry breaking. Through the exchange of a mediator scalar doublet the two quasi-degenerate dark fermions can mostly annihilate into the electron-positron pairs at tree level for explaining the $1.4\,\textrm{TeV}$ positron anomaly, meanwhile, the heavy dark fermion can very slowly decay into the light dark fermion with a photon at one-loop level for explaining the $3.5\,\textrm{keV}$ X-ray line. Our dark fermions can be also verified in the direct detection experiments.


title: Temperature dependence of transport coefficients of QCD in high-energy heavy-ion collisions

abstract: Using our developed new relativistic viscous hydrodynamics code, we investigate the temperature dependence of shear and bulk viscosities from comparison with the ALICE data: single particle spectra and collective flows of Pb+Pb $\sqrt{s_{\rm NN}}=2.76$ TeV collisions at the Large Hadron Collider. We find that from the comprehensive analyses of centrality dependence of single particle spectra and collective flows we can extract detailed information on the quark-gluon plasma bulk property, without the information being smeared by the final state interactions.


title: New carbon allotropes in sp + sp$^3$ bonding networks consisting of C$_8$ cubes

abstract: We identify by ab initio calculations a new type of three-dimensional carbon allotropes constructed by inserting acetylenic or diacetylenic bonds into a body-centered cubic C$_8$ lattice. The resulting $sp+sp^3$-hybridized cubane-yne and cubane-diyne structures consisting of C$_8$ cubes can be characterized as a cubic crystalline modification of linear carbon chains, but energetically more favorable than the simplest linear carbyne chain and the cubic tetrahedral diamond and yne-diamond consisting of C$_4$ tetrahedrons. Electronic band calculations indicate that these new carbon allotropes are semiconductors with an indirect band gap of 3.08 eV for cubane-yne and 2.53 eV for cubane-diyne. The present results establish a new type of carbon phases consisting of C$_8$ cubes and offer insights into their outstanding structural and electronic properties.


title: Unique prime factorization for infinite tensor product factors

abstract: In this article, we investigate a unique prime factorization property for infinite tensor product factors. We provide several examples of type II and III factors which satisfy this property, including all free product factors with diffuse free product components. In the type III setting, this is the first classification result for infinite tensor product non-amenable factors. Our proof is based on Popa's intertwining techniques and a characterization of relative amenability on the continuous cores.


title: Deep Sampling Networks

abstract: Deep convolutional neural networks achieve excellent image up-sampling performance. However, CNN-based methods tend to restore high-resolution results highly depending on traditional interpolations (e.g. bicubic). In this paper, we present a deep sampling network (DSN) for down-sampling and up-sampling without any cheap interpolation. First, the down-sampling subnetwork is trained without supervision, thereby preserving more information and producing better visual effects in the low-resolution image. Second, the up-sampling subnetwork learns a sub-pixel residual with dense connections to accelerate convergence and improve performance. DSN's down-sampling subnetwork can be used to generate photo-realistic low-resolution images and replace traditional down-sampling method in image processing. With the powerful down-sampling process, the co-training DSN set a new state-of-the-art performance for image super-resolution. Moreover, DSN is compatible with existing image codecs to improve image compression.


title: Phase-resolved Spin-Wave Tomography

abstract: The propagation dynamics of spin waves are represented by their dispersion relations. Recently, we have developed a method, called spin-wave tomography (SWaT), to obtain dispersion relation of spin waves in the long wavelength regime, so-called pure magnetostatic waves. In our previous studies on SWaT, phase information of spin waves was disregarded. In this report, we demonstrate an advanced SWaT analysis, called phase-resolved spin-wave tomography (PSWaT), to realize the direct observation of the amplitude and the phase of spin waves. The PSWaT spectra are obtained by separating the real and the imaginary components of the complex Fourier transform in the SWaT analysis. We demonstrate the PSWaT spectra of spin waves excited by the photo-induced demagnetization in a Bi-doped garnet film, reflecting the characteristic features of the complex dynamical susceptibility affected by magnetostatic coupling in the film.


title: Effective computation of traces, determinants, and $\zeta$-functions for Sturm-Liouville operators

abstract: The principal aim in this paper is to develop an effective and unified approach to the computation of traces of resolvents (and resolvent differences), Fredholm determinants, $\zeta$-functions, and $\zeta$-function regularized determinants associated with linear operators in a Hilbert space. In particular, we detail the connection between Fredholm and $\zeta$-function regularized determinants. Concrete applications of our formalism to general (i.e., three-coefficient) regular Sturm-Liouville operators on compact intervals with various (separated and coupled) boundary conditions, and Schr\"odinger operators on a half-line, are provided and further illustrated with an array of examples.


title: SERKET: An Architecture for Connecting Stochastic Models to Realize a Large-Scale Cognitive Model

abstract: To realize human-like robot intelligence, a large-scale cognitive architecture is required for robots to understand the environment through a variety of sensors with which they are equipped. In this paper, we propose a novel framework named Serket that enables the construction of a large-scale generative model and its inference easily by connecting sub-modules to allow the robots to acquire various capabilities through interaction with their environments and others. We consider that large-scale cognitive models can be constructed by connecting smaller fundamental models hierarchically while maintaining their programmatic independence. Moreover, connected modules are dependent on each other, and parameters are required to be optimized as a whole. Conventionally, the equations for parameter estimation have to be derived and implemented depending on the models. However, it becomes harder to derive and implement those of a larger scale model. To solve these problems, in this paper, we propose a method for parameter estimation by communicating the minimal parameters between various modules while maintaining their programmatic independence. Therefore, Serket makes it easy to construct large-scale models and estimate their parameters via the connection of modules. Experimental results demonstrated that the model can be constructed by connecting modules, the parameters can be optimized as a whole, and they are comparable with the original models that we have proposed.


title: Relation between the Vertex Function and the Propagators in the Pseudovector Coupling Pion-Nucleon System

abstract: The procedure for deriving the Ward-Takahashi identity is applied to the pseudovector coupling pion-nucleon system in which the isovector and axial-vector current does not conserved. The relation is given in closed form although it is more complicated than that of the quantum electrodynamics. The application to the propagator has revealed the interesting results.


title: Gaussian fluctuations for linear spectral statistics of deformed Wigner matrices

abstract: We consider large-dimensional Hermitian or symmetric random matrices of the form $W=M+\vartheta V$ where $M$ is a Wigner matrix and $V$ is a real diagonal matrix whose entries are independent of $M$. For a large class of diagonal matrices $V$, we prove that the fluctuations of linear spectral statistics of $W$ for $C^{2}_{c}$ test function can be decomposed into that of $M$ and of $V$, and that each of those weakly converges to a Gaussian distribution. We also calculate the formulae for the means and variances of the limiting distributions.


title: Near- to mid-Infrared Observations of Galaxy Mergers: NGC2782 and NGC7727

abstract: We present the results of near- to mid-infrared (NIR to MIR) imaging and NIR spectroscopic observations of two galaxy mergers, NGC 2782 (Arp 215) and NGC 7727 (Arp 222), with the Infrared Camera on board AKARI. NGC 2782 shows extended MIR emission in the eastern side of the galaxy, which corresponds to the eastern tidal tail seen in the HI 21 cm map, while NGC 7727 shows extended MIR emission in the north of the galaxy, which is similar to the plumes seen in the residual image at the K-band after subtracting a galaxy model. Both extended structures are thought to have formed associated with their merger events. They show excess emission at 7--15 micron, which can be attributed to emission from polycyclic aromatic hydrocarbons (PAHs), while the observed spectral energy distributions decline longward of 24 micron, suggesting that very small grains (VSGs) are deficient. These characteristics of the observed MIR spectral energy distribution may be explained if PAHs are formed by fragmentation of VSGs during merger events. The star formation rate is estimated from the MIR PAH emission in the eastern tail region of NGC 2782 and it is in fair agreement with those estimated from Halpha and [CII] 158 micron. MIR observations are efficient for the study of dust processing and structures formed during merger events.


title: Isolated types of finite rank: an abstract Dixmier-Moeglin equivalence

abstract: Suppose $T$ is totally transcendental and every minimal non-locally-modular type is nonorthogonal to a nonisolated minimal type over the empty set. It is shown that a finite rank type $p=tp(a/A)$ is isolated if and only if $a$ is independent from $q(\mathcal U)$ over $Ab$ for every $b\in \operatorname{acl}(Aa)$ and $q\in S(Ab)$ nonisolated and minimal. This applies to the theory of differentially closed fields -- where it is motivated by the differential Dixmier-Moeglin equivalence problem -- and the theory of compact complex manifolds.


title: Properness of moment maps for representations of quivers

abstract: In this note, we give a necessary and sufficient condition for the properness of moment maps for representations of quivers. We show that the moment map for the representations of a quiver is proper if and only if the quiver is acyclic, that is, it does not contain any oriented cycle.


title: Habitability in Brown Dwarf Systems

abstract: The very recent discovery of planets orbiting very low mass stars sheds light on these exotic objects. Planetary systems around low-mass stars and brown dwarfs are very different from our solar system: the planets are expected to be much closer than Mercury, in a layout that could resemble the system of Jupiter and its moons. The recent discoveries point in that direction with, for example, the system of Kepler-42 and especially the system of TRAPPIST-1 which has seven planets in a configuration very close to the moons of Jupiter. Low-mass stars and brown dwarfs are thought to be very common in our neighborhood and are thought to host many planetary systems. The planets orbiting in the habitable zone of brown dwarfs (and very low-mass stars) represent one of the next challenges of the following decades: they are the only planets of the habitable zone whose atmosphere we will be able to probe (e.g. with the JWST).


title: A Thermal Gradient Approach for the Quasi-Harmonic Approximation and its Application to Improved Treatment of Anisotropic Expansion

abstract: We present a novel approach to efficiently implement thermal expansion in the quasi-harmonic approximation (QHA) for both isotropic and more importantly, anisotropic expansion. In this approach, we rapidly determine a crystal's equilibrium volume and shape at a given temperature by integrating along the gradient of expansion from zero Kelvin up to the desired temperature. We compare our approach to previous isotropic methods that rely on a brute-force grid search to determine the free energy minimum, which is infeasible to carry out for anisotropic expansion, as well as quasi-anisotropic approaches that take into account the contributions to anisotropic expansion from the lattice energy. We compare these methods for experimentally known polymorphs of piracetam and resorcinol and show that both isotropic methods agree to within error up to 300 K. Using the Gr\"{u}neisen parameter causes up to 0.04 kcal/mol deviation in the Gibbs free energy, but for polymorph free energy differences there is a cancellation in error with all isotropic methods within 0.025 kcal/mol at 300 K. Anisotropic expansion allows the crystals to relax into lattice geometries 0.01-0.23 kcal/mol lower in energy at 300 K relative to isotropic expansion. For polymorph free energy differences all QHA methods produced results within 0.02 kcal/mol of each other for resorcinol and 0.12 kcal/mol for piracetam, the two molecules tested here, demonstrating a cancellation of error for isotropic methods. We also find that when expanding in more than a single volume variable, there is a non-negligible rate of failure of the basic approximations of QHA. Specifically, while expanding into new harmonic modes as the box vectors are increased, the system often falls into alternate, structurally distinct harmonic modes unrelated by continuous deformation from the original harmonic mode.


title: Simultaneously recovering potentials and embedded obstacles for anisotropic fractional Schr\"odinger operators

abstract: Let $A\in\mathrm{Sym}(n\times n)$ be an elliptic 2-tensor. Consider the anisotropic fractional Schr\"odinger operator $\mathscr{L}_A^s+q$, where $\mathscr{L}_A^s:=(-\nabla\cdot(A(x)\nabla))^s$, $s\in (0, 1)$ and $q\in L^\infty$. We are concerned with the simultaneous recovery of $q$ and possibly embedded soft or hard obstacles inside $q$ by the exterior Dirichlet-to-Neumann (DtN) map outside a bounded domain $\Omega$ associated with $\mathscr{L}_A^s+q$. It is shown that a single measurement can uniquely determine the embedded obstacle, independent of the surrounding potential $q$. If multiple measurements are allowed, then the surrounding potential $q$ can also be uniquely recovered. These are surprising findings since in the local case, namely $s=1$, both the obstacle recovery by a single measurement and the simultaneous recovery of the surrounding potential by multiple measurements are longstanding problems and still remain open in the literature. Our argument for the nonlocal inverse problem is mainly based on the strong uniqueness property and Runge approximation property for anisotropic fractional Schr\"odinger operators.


title: Algebraic Soft Decoding of Reed-Solomon Codes Using Module Minimization

abstract: The interpolation based algebraic decoding for Reed-Solomon (RS) codes can correct errors beyond half of the code's minimum Hamming distance. Using soft information, the algebraic soft decoding (ASD) further improves the decoding performance. This paper presents a unified study of two classical ASD algorithms in which the computationally expensive interpolation is solved by the module minimization (MM) technique. An explicit module basis construction for the two ASD algorithms will be introduced. Compared with Koetter's interpolation, the MM interpolation enables the algebraic Chase decoding and the Koetter-Vardy decoding perform less finite field arithmetic operations. Re-encoding transform is applied to further reduce the decoding complexity. Computational cost of the two ASD algorithms as well as their re-encoding transformed variants are analyzed. This research shows re-encoding transform attributes to a lower decoding complexity by reducing the degree of module generators. Furthermore, Monte-Carlo simulation of the two ASD algorithms has been performed to show their decoding and complexity competency.


title: $L^p$ polyharmonic Robin problems on Lipschitz domains

abstract: In this paper, we study a class of boundary value problems (BVPs) with Robin conditions in some $L^p$ spaces for polyharmonic equation on Lipschitz domains. Utilizing polyharmonic fundamental solutions, these Robin BVPs are solved by the method of layer potentials. The crucial ingedients of our approach are the classical single layer potential and its higher order analog (which are called multi-layer $S$-potentials), and the main results generalize ones of second order (Laplacian) case to higher order (polyharmonic) case.