title: Extended Formulation Lower Bounds via Hypergraph Coloring?

abstract: Exploring the power of linear programming for combinatorial optimization problems has been recently receiving renewed attention after a series of breakthrough impossibility results. From an algorithmic perspective, the related questions concern whether there are compact formulations even for problems that are known to admit polynomial-time algorithms. We propose a framework for proving lower bounds on the size of extended formulations. We do so by introducing a specific type of extended relaxations that we call product relaxations and is motivated by the study of the Sherali-Adams (SA) hierarchy. Then we show that for every approximate relaxation of a polytope P, there is a product relaxation that has the same size and is at least as strong. We provide a methodology for proving lower bounds on the size of approximate product relaxations by lower bounding the chromatic number of an underlying hypergraph, whose vertices correspond to gap-inducing vectors. We extend the definition of product relaxations and our methodology to mixed integer sets. However in this case we are able to show that mixed product relaxations are at least as powerful as a special family of extended formulations. As an application of our method we show an exponential lower bound on the size of approximate mixed product formulations for the metric capacitated facility location problem, a problem which seems to be intractable for linear programming as far as constant-gap compact formulations are concerned.


title: Training Algorithm for Neuro-Fuzzy Network Based on Singular Spectrum Analysis

abstract: In this article, we propose a combination of an noise-reduction algorithm based on Singular Spectrum Analysis (SSA) and a standard feedforward neural prediction model. Basically, the proposed algorithm consists of two different steps: data preprocessing based on the SSA filtering method and step-by-step training procedure in which we use a simple feedforward multilayer neural network with backpropagation learning. The proposed noise-reduction procedure successfully removes most of the noise. That increases long-term predictability of the processed dataset comparison with the raw dataset. The method was applied to predict the International sunspot number RZ time series. The results show that our combined technique has better performances than those offered by the same network directly applied to raw dataset.


title: On Spectral Deformations and Singular Weyl Functions for One-Dimensional Dirac Operators

abstract: We investigate the connection between singular Weyl-Titchmarsh-Kodaira theory and the double commutation method for one-dimensional Dirac operators. In particular, we compute the singular Weyl function of the commuted operator in terms of the data from the original operator. These results are then applied to radial Dirac operators in order to show that the singular Weyl function of such an operator belongs to a generalized Nevanlinna class $N_{\kappa_0}$ with $\kappa_0=\lfloor|\kappa| + \frac{1}{2}\rfloor$, where $\kappa\in \mathbb{R}$ is the corresponding angular momentum.


title: The response of a helium white dwarf to an exploding type Ia supernova

abstract: We conduct numerical simulations of the interacting ejecta from an exploding CO white dwarf (WD) with a He WD donor in the double-detonation scenario for Type Ia supernovae (SNe Ia), and study the possibility of exploding the companion WD. We also study the long time imprint of the collision on the supernova remnant. When the donor He WD has a low mass, M_WD = 0.2Msun, it is at a distance of ~ 0.08Rsun from the explosion, and helium is not ignited. The low mass He WD casts an 'ejecta shadow' behind it. By evolving the ejecta for longer times, we find that the outer parts of the shadowed side are fainter and its boundary with the ambient gas is somewhat flat. More massive He WD donors, M_WD ~ 0.4Msun, must be closer to the CO WD to transfer mass. At a distance of a < 0.045Rsun helium is detonated and the He WD explodes, leading to a triple detonation scenario. In the explosion of the donor WD approximately 0.15Msun of unburned helium is ejected. This might be observed as a peculiar type Ib supernova.


title: Measurement of the W boson helicity in events with a single reconstructed top quark in pp collisions at sqrt(s) = 8 TeV

abstract: A measurement of the W boson helicity is presented, where the W boson originates from the decay of a top quark produced in pp collisions. The event selection, optimized for reconstructing a single top quark in the final state, requires exactly one isolated lepton (muon or electron) and exactly two jets, one of which is likely to originate from the hadronization of a bottom quark. The analysis is performed using data recorded at a center-of-mass energy of 8 TeV with the CMS detector at the CERN LHC in 2012. The data sample corresponds to an integrated luminosity of 19.7 inverse femtobarns. The measured helicity fractions are F[L] = 0.298 +/- 0.028 (stat) +\- 0.032 (syst), F[0] = 0.720 +/- 0.039 (stat) +/- 0.037 (syst), and F[R] = -0.018 +/- 0.019 (stat) +/- 0.011 (syst). These results are used to set limits on the real part of the tWb anomalous couplings, gL and gR.


title: Understanding Class-level Testability Through Dynamic Analysis

abstract: It is generally acknowledged that software testing is both challenging and time-consuming. Understanding the factors that may positively or negatively affect testing effort will point to possibilities for reducing this effort. Consequently there is a significant body of research that has investigated relationships between static code properties and testability. The work reported in this paper complements this body of research by providing an empirical evaluation of the degree of association between runtime properties and class-level testability in object-oriented (OO) systems. The motivation for the use of dynamic code properties comes from the success of such metrics in providing a more complete insight into the multiple dimensions of software quality. In particular, we investigate the potential relationships between the runtime characteristics of production code, represented by Dynamic Coupling and Key Classes, and internal class-level testability. Testability of a class is considered here at the level of unit tests and two different measures are used to characterise those unit tests. The selected measures relate to test scope and structure: one is intended to measure the unit test size, represented by test lines of code, and the other is designed to reflect the intended design, represented by the number of test cases. In this research we found that Dynamic Coupling and Key Classes have significant correlations with class-level testability measures. We therefore suggest that these properties could be used as indicators of class-level testability. These results enhance our current knowledge and should help researchers in the area to build on previous results regarding factors believed to be related to testability and testing. Our results should also benefit practitioners in future class testability planning and maintenance activities.


title: A bound on the multiplicative energy of a sum set and extremal sum-product problems

abstract: In recent years some near-optimal estimates have been established for certain sum-product type estimates. This paper gives some first extremal results which provide information about when these bounds may or may not be tight. The main tool is a new result which provides a nontrivial upper bound on the multiplicative energy of a sum set or difference set.


title: The parity-violating nucleon-nucleon force in the 1/N_c expansion

abstract: Several experimental investigations have observed parity violation in nuclear systems-a consequence of the weak force between quarks. We apply the $1/N_c$ expansion of QCD to the P-violating T-conserving component of the nucleon-nucleon (NN) potential. We show there are two leading-order operators, both of which affect $\vec{p}p$ scattering at order $N_c$. We find an additional four operators at $O(N_c^0 \sin^2 \theta_W)$ and six at $O(1/N_c)$. Pion exchange in the PV NN force is suppressed by $1/N_c$ and $\sin^2 \theta_W$, providing a quantitative explanation for its non-observation up to this time. The large-$N_c$ hierarchy of other PV NN force mechanisms is consistent with estimates of the couplings in phenomenological models. The PV observed in $\vec{p}p$ scattering data is compatible with natural values for the strong and weak coupling constants: there is no evidence of fine tuning.


title: Technical Information on Vulnerabilities of Hypercall Handlers

abstract: Modern virtualized service infrastructures expose attack vectors that enable attacks of high severity, such as attacks targeting hypervisors. A malicious user of a guest VM (virtual machine) may execute an attack against the underlying hypervisor via hypercalls, which are software traps from a kernel of a fully or partially paravirtualized guest VM to the hypervisor. The exploitation of a vulnerability of a hypercall handler may have severe consequences such as altering hypervisor's memory, which may result in the execution of malicious code with hypervisor privilege. Despite the importance of vulnerabilities of hypercall handlers, there is not much publicly available information on them. This significantly hinders advances towards securing hypercall interfaces. In this work, we provide in-depth technical information on publicly disclosed vulnerabilities of hypercall handlers. Our vulnerability analysis is based on reverse engineering the released patches fixing the considered vulnerabilities. For each analyzed vulnerability, we provide background information essential for understanding the vulnerability, and information on the vulnerable hypercall handler and the error causing the vulnerability. We also show how the vulnerability can be triggered and discuss the state of the targeted hypervisor after the vulnerability has been triggered.


title: Cloud Usage Patterns: A Formalism for Description of Cloud Usage Scenarios

abstract: Cloud computing is becoming an increasingly lucrative branch of the existing information and communication technologies (ICT). Enabling a debate about cloud usage scenarios can help with attracting new customers, sharing best-practices, and designing new cloud services. In contrast to previous approaches, which have attempted mainly to formalize the common service delivery models (i.e., Infrastructure-as-a-Service, Platform-as-a-Service, and Software-as-a-Service), in this work, we propose a formalism for describing common cloud usage scenarios referred to as cloud usage patterns. Our formalism takes a structuralist approach allowing decomposition of a cloud usage scenario into elements corresponding to the common cloud service delivery models. Furthermore, our formalism considers several cloud usage patterns that have recently emerged, such as hybrid services and value chains in which mediators are involved, also referred to as value chains with mediators. We propose a simple yet expressive textual and visual language for our formalism, and we show how it can be used in practice for describing a variety of real-world cloud usage scenarios. The scenarios for which we demonstrate our formalism include resource provisioning of global providers of infrastructure and/or platform resources, online social networking services, user-data processing services, online customer and ticketing services, online asset management and banking applications, CRM (Customer Relationship Management) applications, and online social gaming applications.


title: On Benchmarking Intrusion Detection Systems in Virtualized Environments

abstract: Modern intrusion detection systems (IDSes) for virtualized environments are deployed in the virtualization layer with components inside the virtual machine monitor (VMM) and the trusted host virtual machine (VM). Such IDSes can monitor at the same time the network and host activities of all guest VMs running on top of a VMM being isolated from malicious users of these VMs. We refer to IDSes for virtualized environments as VMM-based IDSes. In this work, we analyze state-of-the-art intrusion detection techniques applied in virtualized environments and architectures of VMM-based IDSes. Further, we identify challenges that apply specifically to benchmarking VMM-based IDSes focussing on workloads and metrics. For example, we discuss the challenge of defining representative baseline benign workload profiles as well as the challenge of defining malicious workloads containing attacks targeted at the VMM. We also discuss the impact of on-demand resource provisioning features of virtualized environments (e.g., CPU and memory hotplugging, memory ballooning) on IDS benchmarking measures such as capacity and attack detection accuracy. Finally, we outline future research directions in the area of benchmarking VMM-based IDSes and of intrusion detection in virtualized environments in general.


title: Construction of Directed Strongly Regular Graphs as Generalized Cayley Graphs

abstract: Directed strongly regular graphs were introduced by Duval in 1998 as one of the possible generalization of classical strongly regular graphs to the directed case. Duval also provided several construction methods for directed strongly regular graphs. In this paper, an infinite family of directed strongly regular graphs is constructed, as generalized Cayley graphs of cyclic groups.


title: Into the third dimension: stochastic measurements of Stokes parameters within the Poincar\'e sphere

abstract: Inspired by recent use of polarimetry to study the Cosmic Microwave Background and extragalatic supernovae, a foray into the statistical properties of Stokes parameters expressed in spherical coordinates is began, allowing circular polarization and linear polarization to be treated in a unified manner. The use of spherical coordinates is quite necessary as it permits a Stokes polarization state to be expressed in terms of the customary polarization angles and degree of polarization usually needed for human interpretation. As shall be demonstrated, circular and linear polarization are not statistically independent quantities but intertwined in a way that is especially important, for instance, at low signal-to-noise. New distributions, classical estimators, and marginalizations are presented for this "three-dimensional" polarization problem including a generalization of the Rice distribution. The paper concludes with discussion regarding the potential pitfalls of a lower dimensional analysis.


title: $10$-vertex graphs with cyclic automorphism group of order $4$

abstract: We describe computational results about undirected graphs having $10$ vertices and automorphism group isomorphic to $\mathbb{Z}/4\mathbb{Z}$.


title: Infinite root stacks and quasi-coherent sheaves on logarithmic schemes

abstract: We define and study infinite root stacks of fine and saturated logarithmic schemes, a limit version of the root stacks introduced by Niels Borne and the second author. We show in particular that the infinite root stack determines the logarithmic structure, and recovers the Kummer-flat topos of the logarithmic scheme. We also extend the correspondence between parabolic sheaves and quasi-coherent sheaves on root stacks to this new setting.


title: Understanding Locally Competitive Networks

abstract: Recently proposed neural network activation functions such as rectified linear, maxout, and local winner-take-all have allowed for faster and more effective training of deep neural architectures on large and complex datasets. The common trait among these functions is that they implement local competition between small groups of computational units within a layer, so that only part of the network is activated for any given input pattern. In this paper, we attempt to visualize and understand this self-modularization, and suggest a unified explanation for the beneficial properties of such networks. We also show how our insights can be directly useful for efficiently performing retrieval over large datasets using neural networks.


title: On the fundamental group scheme of rationally chain connected varieties

abstract: Let $k$ be an algebraically closed field. Chambert-Loir proved that the \'etale fundamental group of a normal rationally chain connected variety over $k$ is finite. We prove that the fundamental group scheme of a normal rationally chain connected variety over $k$ is finite and \'etale. In particular, the fundamental group scheme of a Fano variety is finite and \'etale.


title: Infinite Random Matrices and Ergodic decomposition of Finite or Infinite Hua-Pickrell measures

abstract: The ergodic decomposition of a family of Hua-Pickrell measures on the space of infinite Hermitian matrices is studied. Firstly, we show that the ergodic components of Hua-Pickrell probability measures have no Gaussian factors, this extends a result of Alexei Borodin and Grigori Olshanski. Secondly, we show that the sequence of asymptotic eigenvalues of Hua-Pickrell random matrices is balanced in certain sense and has a "principal value" coincides with the $\gamma_1$ parameter of ergodic components. This allow us to complete the program of Borodin and Olshanski on the description of the ergodic decomposition of Hua-Pickrell probability measures. Finally, we extend the aforesaid results to the case of infinite Hua-Pickrell measues. By using the theory of $\sigma$-finite infinite determinantal measures recently introduced by A. I. Bufetov, we are able to identify the ergodic decomposition of Hua-Pickrell infinite measures to some explicit $\sigma$-finite determinantal measures on the space of point configurations in $\mathbb{R}^*$. The paper resolves a problem of Borodin and Olshanski.


title: Commutators of automorphic composition operators with adjoints

abstract: In this paper, we investigate the compactness of the commutator $[C_\psi^{\ast}, C_\varphi]$ on the Hardy space $H^2(B_N)$ or the weighted Bergman space $A^2_s(B_N)$ ($s>-1$), when $\varphi$ and $\psi$ are automorphisms of the unit ball $B_N$. We obtain that $[C_\psi^{\ast}, C_\varphi]$ is compact if and only if $\varphi$ and $\psi$ commute and they are both unitary. This generalizes the corresponding result in one variable. Moreover, our technique is different and simpler. In addition, we also discuss the commutator $[C_\psi^{\ast}, C_\varphi]$ on the Dirichlet space $\mathcal{D}(B_N)$, where $\varphi$ and $\psi$ are linear fractional self-maps or both automorphisms of $B_N$.


title: On the $n-$dominating graph of specific graphs

abstract: Let $G=(V,E)$ be a graph. A set $S\subseteq V(G)$ is a dominating set, if every vertex in $V(G)\backslash S$ is adjacent to at least one vertex in $S$. The $k$-dominating graph of $G$, $D_k (G)$, is defined to be the graph whose vertices correspond to the dominating sets of $G$ that have cardinality at most $k$. Two vertices in $D_k(G)$ are adjacent if and only if the corresponding dominating sets of $G$ differ by either adding or deleting a single vertex. In this paper we consider and study the $n$-dominating graph of specific graphs.


title: Low-spatial coherence electrically-pumped semiconductor laser for speckle-free full-field imaging

abstract: The spatial coherence of laser sources has limited their application to parallel imaging and projection due to coherent artifacts, such as speckle. In contrast, traditional incoherent light sources, such as thermal sources or light emitting diodes (LEDs), provide relatively low power per independent spatial mode. Here, we present a chip-scale, electrically-pumped semiconductor laser based on a novel design, demonstrating high power per mode with much lower spatial coherence than conventional laser sources. The laser resonator was fabricated with a chaotic, D-shaped cavity optimized to achieve highly multimode lasing. Lasing occurs simultaneously and independently in ~1000 modes, and hence the total emission exhibits very low spatial coherence. Speckle-free full-field imaging is demonstrated using the chaotic cavity laser as the illumination source. The power per mode of the sample illumination is several orders of magnitude higher than that of a LED or thermal light source. Such a compact, low-cost source, which combines the low spatial coherence of a LED with the high spectral radiance of a laser, could enable a wide range of high-speed, full-field imaging and projection applications.


title: String worldsheet for accelerating quark

abstract: We consider the AdS bulk dual to an external massive quark in SYM following an arbitrary trajectory on Minkowski background. While a purely outgoing boundary condition on the gluonic field allows one to express the corresponding string worldsheet in a closed form, the setup has curious consequences. In particular, we argue that any quark whose trajectory on flat spacetime approaches that of a light ray in the remote past (as happens e.g. in the case of uniform acceleration) must necessarily be accompanied by an anti-quark. This is puzzling from the field theory standpoint, since one would expect that a sole quark following any timelike trajectory should be allowed. We explain the resolution in terms of boundary and initial conditions. We analyze the configuration in global AdS, which naturally suggests a modification to the boundary conditions allowing for a single accelerated quark without accompanying anti-quark. We contrast this resolution with earlier proposals.


title: Holographic Accelerated Heavy Quark-Anti-Quark Pair

abstract: The problem of a heavy quark-anti-quark pair which have constant eternal acceleration in opposite directions in the vacuum of deconfined maximally supersymmetric Yang-Mills theory is studied both in perturbation theory and at strong coupling using AdS/CFT. Perturbation theory is summed to obtain what is conjectured to be an exact result. It is shown to agree with a particular prescription for computing the disc amplitude in the string theory dual and it yields a value $s=\sqrt{\lambda}$ for the entanglement entropy of the quark and anti-quark.


title: Robust Orthogonal Complement Principal Component Analysis

abstract: Recently, the robustification of principal component analysis has attracted lots of attention from statisticians, engineers and computer scientists. In this work we study the type of outliers that are not necessarily apparent in the original observation space but can seriously affect the principal subspace estimation. Based on a mathematical formulation of such transformed outliers, a novel robust orthogonal complement principal component analysis (ROC-PCA) is proposed. The framework combines the popular sparsity-enforcing and low rank regularization techniques to deal with row-wise outliers as well as element-wise outliers. A non-asymptotic oracle inequality guarantees the accuracy and high breakdown performance of ROC-PCA in finite samples. To tackle the computational challenges, an efficient algorithm is developed on the basis of Stiefel manifold optimization and iterative thresholding. Furthermore, a batch variant is proposed to significantly reduce the cost in ultra high dimensions. The paper also points out a pitfall of a common practice of SVD reduction in robust PCA. Experiments show the effectiveness and efficiency of ROC-PCA in both synthetic and real data.


title: Learning Topology and Dynamics of Large Recurrent Neural Networks

abstract: Large-scale recurrent networks have drawn increasing attention recently because of their capabilities in modeling a large variety of real-world phenomena and physical mechanisms. This paper studies how to identify all authentic connections and estimate system parameters of a recurrent network, given a sequence of node observations. This task becomes extremely challenging in modern network applications, because the available observations are usually very noisy and limited, and the associated dynamical system is strongly nonlinear. By formulating the problem as multivariate sparse sigmoidal regression, we develop simple-to-implement network learning algorithms, with rigorous convergence guarantee in theory, for a variety of sparsity-promoting penalty forms. A quantile variant of progressive recurrent network screening is proposed for efficient computation and allows for direct cardinality control of network topology in estimation. Moreover, we investigate recurrent network stability conditions in Lyapunov's sense, and integrate such stability constraints into sparse network learning. Experiments show excellent performance of the proposed algorithms in network topology identification and forecasting.


title: Branes And Supergroups

abstract: Extending previous work that involved D3-branes ending on a fivebrane with $\theta_{\mathrm{YM}}\not=0$, we consider a similar two-sided problem. This construction, in case the fivebrane is of NS type, is associated to the three-dimensional Chern-Simons theory of a supergroup U$(m|n)$ or OSp$(m|2n)$ rather than an ordinary Lie group as in the one-sided case. By $S$-duality, we deduce a dual magnetic description of the supergroup Chern-Simons theory; a slightly different duality, in the orthosymplectic case, leads to a strong-weak coupling duality between certain supergroup Chern-Simons theories on $\mathbb{R}^3$; and a further $T$-duality leads to a version of Khovanov homology for supergroups. Some cases of these statements are known in the literature. We analyze how these dualities act on line and surface operators.


title: Boundary singularities of solutions of semilinear elliptic equations with critical Hardy potentials

abstract: We study the boundary behaviour of the of (E) $-\Gd u-\myfrac{\xk }{d^2(x)}u+g(u)=0$, where $0<\xk <\frac{1}{4}$ and $g$ is a continuous nonndecreasing function in a bounded convex domain of $\BBR^N$. We first construct the Martin kernel associated to the the linear operator $\CL_{\xk }=-\Gd-\frac{\xk }{d^2(x)}$ and give a general condition for solving equation (E) with any Radon measure $\gm$ for boundary data. When $g(u)=|u|^{q-1}u$ we show the existence of a critical exponent $q_c=q_c(N,\xk )>1$: when $0<q<q_c$ any measure is eligible for solving (E) with $\gm$ for boundary data; if $q\geq q_c$, a necessary and sufficient condition is expressed in terms of the absolute continuity of $\gm$with respect to some Besov capacity. The same capacity characterizes the removable compact boundary sets. At end any positive solution (F) $-\Gd u-\frac{\xk }{d^2(x)}u+|u|^{q-1}u=0$ with $q>1$ admits a boundary trace which is a positive outer regular Borel measure. When $1<q<q_c$ we prove that to any positive outer regular Borel measure we can associate a positive solutions of ($F$) with this boundary trace.


title: Prospects for Detection of Extragalactic Stellar Black Hole Binaries in the Nearby Universe

abstract: Stellar mass black hole binaries have individual masses between 10-80 solar masses. These systems may emit gravitational waves at frequencies detectable at Megaparsec distances by space-based gravitational wave observatories. In a previous study, we determined the selection effects of observing these systems with detectors similar to the Laser Interferometer Space Antenna by using a generated population of binary black holes that covered a reasonable parameter space and calculating their signal-to-noise ratio. We further our study by populating the galaxies in our nearby (less than 30 Mpc) universe with binary black hole systems drawn from a distribution found in the Synthetic Universe to ultimately investigate the likely event rate of detectable binaries from galaxies in the nearby universe.


title: Deformations of infrared-conformal theories in two dimensions

abstract: We study two exactly solvable two-dimensional conformal models, the critical Ising model and the Sommerfield model, on the lattice. We show that finite-size effects are important and depend on the aspect ratio of the lattice. In particular, we demonstrate how to obtain the correct massless behavior from an infinite tower of finite-size-induced masses and show that it is necessary to first take the cylindrical geometry limit in order to get correct results. In the Sommerfield model we also introduce a mass deformation to measure the mass anomalous dimension, $\gamma_m$. We find that the explicit scale breaking of the lattice setup induces corrections which must be taken into account in order to reproduce $\gamma_m$ at the infrared fixed point. These results can be used to improve the methodology in the search for the conformal window in QCD-like theories with many flavors.


title: Convergence of the two-dimensional dynamic Ising-Kac model to $\Phi^4_2$

abstract: The Ising-Kac model is a variant of the ferromagnetic Ising model in which each spin variable interacts with all spins in a neighbourhood of radius $\gamma^{-1}$ for $\gamma \ll 1$ around its base point. We study the Glauber dynamics for this model on a discrete two-dimensional torus $\mathbb{Z}^2/ (2N+1)\mathbb{Z}^2$, for a system size $N \gg \gamma^{-1}$ and for an inverse temperature close to the critical value of the mean field model. We show that the suitably rescaled coarse-grained spin field converges in distribution to the solution of a non-linear stochastic partial differential equation. This equation is the dynamic version of the $\Phi^4_2$ quantum field theory, which is formally given by a reaction diffusion equation driven by an additive space-time white noise. It is well-known that in two spatial dimensions, such equations are distribution valued and a Wick renormalisation has to be performed in order to define the non-linear term. Formally, this renormalisation corresponds to adding an infinite mass term to the equation. We show that this need for renormalisation for the limiting equation is reflected in the discrete system by a shift of the critical temperature away from its mean field value.


title: Parabolic arcs of the multicorns: Real-analyticity of Hausdorff dimension, and singularities of $\mathrm{Per}_n(1)$ curves

abstract: The boundaries of the hyperbolic components of odd period of the multicorns contain real-analytic arcs consisting of quasi-conformally conjugate parabolic parameters. One of the main results of this paper asserts that the Hausdorff dimension of the Julia sets is a real-analytic function of the parameter along these parabolic arcs. This is achieved by constructing a complex one-dimensional quasiconformal deformation space of the parabolic arcs which are contained in the dynamically defined algebraic curves $\mathrm{Per}_n(1)$ of a suitably complexified family of polynomials. As another application of this deformation step, we show that the dynamically natural parametrization of the parabolic arcs has a non-vanishing derivative at all but (possibly) finitely many points. We also look at the algebraic sets $\mathrm{Per}_n(1)$ in various families of polynomials, the nature of their singularities, and the `dynamical' behavior of these singular parameters.


title: Collision-free motion planning for fiber positioner robots: discretization of velocity profiles

abstract: The next generation of large-scale spectroscopic survey experiments such as DESI, will use thousands of fiber positioner robots packed on a focal plate. In order to maximize the observing time with this robotic system we need to move in parallel the fiber-ends of all positioners from the previous to the next target coordinates. Direct trajectories are not feasible due to collision risks that could undeniably damage the robots and impact the survey operation and performance. We have previously developed a motion planning method based on a novel decentralized navigation function for collision-free coordination of fiber positioners. The navigation function takes into account the configuration of positioners as well as their envelope constraints. The motion planning scheme has linear complexity and short motion duration (~2.5 seconds with the maximum speed of 30 rpm for the positioner), which is independent of the number of positioners. These two key advantages of the decentralization designate the method as a promising solution for the collision-free motion-planning problem in the next-generation of fiber-fed spectrographs. In a framework where a centralized computer communicates with the positioner robots, communication overhead can be reduced significantly by using velocity profiles consisting of a few bits only. We present here the discretization of velocity profiles to ensure the feasibility of a real-time coordination for a large number of positioners. The modified motion planning method that generates piecewise linearized position profiles guarantees collision-free trajectories for all the robots. The velocity profiles fit few bits at the expense of higher computational costs.


title: A generalized Quot scheme and meromorphic vortices

abstract: Let X be a compact connected Riemann surface. Fix a positive integer r and two nonnegative integers d_p and d_z. Consider all pairs of the form (F, f), where F is a holomorphic vector bundle on X of rank r and degree d_z-d_p, and f : {\mathcal O}^{\oplus r}_X \rightarrow F is a meromorphic homomorphism which an isomorphism outside a finite subset of X and has pole (respectively, zero) of total degree d_p (respectively, d_z). Two such pairs $(F_1, f_1) and $(F_2, f_2) are called isomorphic if there is a holomorphic isomorphism of F_1 with F_2 over X that takes f_1 to f_2. We construct a natural compactification of the moduli space equivalence classes pairs of the above type. The Poincar\'e polynomial of this compactification is computed.


title: Distribution of random Cantor sets on Tubes

abstract: We show that there exist $(d-1)$ - Ahlfors regular compact sets $E \subset \mathbb{R}^{d}, d\geq 2$ such that for any $t< d-1$, we have \[ \sup_T \frac{\mathcal{H}^{d-1}(E\cap T)}{w(T)^t}<\infty \] where the supremum is over all tubes $T$ with width $w(T) >0$. This settles a question of T. Orponen. The sets we construct are random Cantor sets, and the method combines geometric and probabilistic estimates on the intersections of these random Cantor sets with affine subspaces.


title: Graphical LASSO Based Model Selection for Time Series

abstract: We propose a novel graphical model selection (GMS) scheme for high-dimensional stationary time series or discrete time process. The method is based on a natural generalization of the graphical LASSO (gLASSO), introduced originally for GMS based on i.i.d. samples, and estimates the conditional independence graph (CIG) of a time series from a finite length observation. The gLASSO for time series is defined as the solution of an l1-regularized maximum (approximate) likelihood problem. We solve this optimization problem using the alternating direction method of multipliers (ADMM). Our approach is nonparametric as we do not assume a finite dimensional (e.g., an autoregressive) parametric model for the observed process. Instead, we require the process to be sufficiently smooth in the spectral domain. For Gaussian processes, we characterize the performance of our method theoretically by deriving an upper bound on the probability that our algorithm fails to correctly identify the CIG. Numerical experiments demonstrate the ability of our method to recover the correct CIG from a limited amount of samples.


title: Trace and extension operators for Besov spaces and Triebel-Lizorkin spaces with variable exponents

abstract: This paper is concerned with a boundedness of trace and extension operators for Besov spaces and Triebel-Lizorkin spaces on upper half space with variable exponents. To define trace and extension operators, we introduce a quarkonial decomposition for Besov spaces and Triebel-Lizorkin spaces with variable exponents on ${\mathbb R}^n$. Furthermore, we study trace and extension operators for Besov spaces and Triebel-Lizorkin spaces with variable exponents on upper half spaces ${\mathbb R}^n_+$.


title: Virasoro representations with central charges $\frac{1}{2}$ and 1 on the real neutral fermion Fock space $\mathit{F^{\otimes \frac{1}{2}}}$

abstract: We study a family of fermionic oscillator representations of the Virasoro algebra via 2-point-local Virasoro fields on the Fock space $\mathit{F^{\otimes \frac{1}{2}}}$ of a neutral (real) fermion. We obtain the decomposition of $\mathit{F^{\otimes \frac{1}{2}}}$ as a direct sum of irreducible highest weight Virasoro modules with central charge $c=1$. As a corollary we obtain the decomposition of the irreducible highest weight Virasoro modules with central charge $c=\frac{1}{2}$ into irreducible highest weight Virasoro modules with central charge $c=1$. As an application we show how positive sum (fermionic) character formulas for the Virasoro modules of charge $c=\frac{1}{2}$ follow from these decompositions.


title: Cosmological perturbations for an inflaton field coupled to radiation

abstract: Within the framework of the interacting fluid formalism, we provide the numerical solution to the Boltzmann equation describing the evolution of an inflaton field coupled to radiation. We study the behavior of the system during the slow-roll regime, in the case in which an additional stochastic source term is included in the set of equations, and we recover the expression for the cosmological perturbations previously obtained in the Warm inflation scenarios.


title: Electrical Lie Algebra of Classical Types

abstract: We investigate the structure of electrical Lie algebras of finite Dynkin type. These Lie algebras were introduced by Lam-Pylyavskyy in the study of \textit{circular planar electrical networks}. The corresponding Lie group acts on such networks via some combinatorial operations studied by Curtis-Ingerman-Morrow and Colin de Verdi\`{e}re-Gitler-Vertigan. Lam-Pylyavskyy studied the electrical Lie algebra of type $A$ of even rank in detail, and gave a conjecture for the dimension of electrical Lie algebras of finite Dynkin types. We prove this conjecture for all classical Dynkin types, that is, $A$, $B$, $C$, and $D$. Furthermore, we are able to explicitly describe the structure of the corresponding electrical Lie algebras as the semisimple product of the symplectic Lie algebra with its finite dimensional irreducible representations.


title: Amalgamated direct sums of operator spaces

abstract: We consider amalgamated direct sums (and their dual counterparts -- fibre products) of operator spaces and study their behaviour with respect to different quantisations (minimal and maximal). We show examples of amalgamated direct sums of two $L^{\infty}$-spaces over a common subspace that are not minimal themselves, thus answering a question posed by Vern Paulsen.


title: A General Delta-Nabla Calculus of Variations on Time Scales with Application to Economics

abstract: We consider a general problem of the calculus of variations on time scales with a cost functional that is the composition of a certain scalar function with delta and nabla integrals of a vector valued field. Euler-Lagrange delta-nabla differential equations are proved, which lead to important insights in the process of discretization. Application of the obtained results to a firm that wants to program its production and investment policies to reach a given production rate and to maximize its future market competitiveness is discussed.


title: Concentration dependence of the Flory-Huggins interaction parameter in aqueous solutions of capped PEO chains

abstract: The dependence on volume fraction $\varphi$ of the Flory-Huggins $\chi_{\mathrm{wp}}\left(\varphi\right)$ describing the free energy of mixing of polymers in water is obtained by exploiting the connection of $\chi_{\mathrm{wp}}\left(\varphi\right)$ to the chemical potential of the water, for which quasi-chemical theory is satisfactory. We test this theoretical approach with simulation data for aqueous solutions of capped PEO oligomers. For CH$_3$(CH$_2$-O-CH$_2$)$_m$CH$_3$ ($m$=11), $\chi_{\mathrm{wp}}\left(\varphi\right)$ depends strongly on $\varphi$, consistent with experiment. These results identify coexisting water-rich and water-poor solutions at $T$ = 300K and $p$ = 1atm. Direct observation of the coexistence of these two solutions on simulation time scales supports that prediction for the system studied. This approach directly provides the osmotic pressures. The osmotic second virial coefficient for these chains is positive, reflecting repulsive interactions between the chains in the water, a good solvent for these chains.


title: Spin Alignment in Analogues of The Local Sheet

abstract: Tidal torque theory and simulations of large scale structure predict spin vectors of massive galaxies should be coplanar with sheets in the cosmic web. Recently demonstrated, the giants (K$_{s}$ $\leq$ -22.5 mag) in the Local Volume beyond the Local Sheet have spin vectors directed close to the plane of the Local Supercluster, supporting the predictions of Tidal Torque Theory. However, the giants in the Local Sheet encircling the Local Group display a distinctly different arrangement, suggesting that the mass asymmetry of the Local Group or its progenitor torqued them from their primordial spin directions. To investigate the origin of the spin alignment of giants locally, analogues of the Local Sheet were identified in the SDSS DR9. Similar to the Local Sheet, analogues have an interacting pair of disk galaxies isolated from the remaining sheet members. Modified sheets in which there is no interacting pair of disk galaxies were identified as a control sample. Galaxies in face-on control sheets do not display axis ratios predominantly weighted toward low values, contrary to the expectation of tidal torque theory. For face-on and edge-on sheets, the distribution of axis ratios for galaxies in analogues is distinct from that in controls with a confidence of 97.6 $\%$ $\&$ 96.9$\%$, respectively. This corroborates the hypothesis that an interacting pair can affect spin directions of neighbouring galaxies.


title: redMaPPer IV: Photometric Membership Identification of Cluster Galaxies with 1% Precision

abstract: In order to study the galaxy population of galaxy clusters with photometric data one must be able to accurately discriminate between cluster members and non-members. The redMaPPer cluster finding algorithm treats this problem probabilistically. Here, we utilize SDSS and GAMA spectroscopic membership rates to validate the redMaPPer membership probability estimates for clusters with $z\in[0.1,0.3]$. We find small - but correctable - biases, sourced by three different systematics. The first two were expected a priori, namely blue cluster galaxies and correlated structure along the line of sight. The third systematic is new: the redMaPPer template fitting exhibits a non-trivial dependence on photometric noise, which biases the original redMaPPer probabilities when utilizing noisy data. After correcting for these effects, we find exquisite agreement ($\approx 1\%$) between the photometric probability estimates and the spectroscopic membership rates, demonstrating that we can robustly recover cluster membership estimates from photometric data alone. As a byproduct of our analysis we find that on average unavoidable projection effects from correlated structure contribute $\approx 6\%$ of the richness of a redMaPPer galaxy cluster. This work also marks the second public release of the SDSS redMaPPer cluster catalog.


title: Yukawa textures or dark doublets from Two Higgs Doublet Models with $Z_3$ symmetry

abstract: The effect of $Z_3$ symmetry on the general Two Higgs Doublet Model is explored. Of particular interest is the question of what can a $Z_3$ symmetry do beyond the usual case with $Z_2$. There are two independent scenarios that give some interesting results: first, by giving non-trivial charges to the Standard Model fermions, it is possible to use the $Z_3$ symmetry of the scalar potential to generate potentially useful Yukawa textures. This is not possible with $Z_2$. A series of possibilities is presented where their viability is addressed and a specific example in the quark sector is given for concreteness. The second venue of interest is in the area of inert doublets. It is shown that by considering the Standard Model plus two additional inert doublet scalars, i.e. a Dark Two Higgs Doublet Model, together with $Z_3$, a scenario can be obtained that differs from the $Z_2$ case. Some general comments are presented on the potentially interesting phenomenology of such model.


title: A mixed discontinuous Galerkin method for the time harmonic elasticity problem with reduced symmetry

abstract: The aim of this paper is to analyze a mixed discontinuous Galerkin discretization of the time-harmonic elasticity problem. The symmetry of the Cauchy stress tensor is imposed weakly, as in the traditional dual-mixed setting. We show that the discontinuous Galerkin scheme is well-posed and uniformly stable with respect to the mesh parameter $h$ and the Lam\'e coefficient $\lambda$. We also derive optimal a-priori error bounds in the energy norm. Several numerical tests are presented in order to illustrate the performance of the method and confirm the theoretical results.


title: Control power in perfect controlled teleportation via partially entangled channels

abstract: We analyze and evaluate perfect controlled teleportation via three-qubit entangled channels from the point of view of the controller. The key idea in controlled teleportation is that the teleportation is performed only with the participation of the controller. We calculate a quantitative measure of the controller's power and establish a lower bound on the control power required for controlled teleportation. We show that the maximally entangled GHZ state is a suitable channel for controlled teleportation of arbitrary single qubits - the controller's power meets the bound and the teleportation fidelity without the controller's permission is no better than the fidelity of a classical channel. We also construct partially entangled channels that exceed the bound for controlled teleportation of a restricted set of states called the equatorial states. We calculate the minimum entanglement required in these channels to exceed the bound. Moreover, we find that in these restricted controlled teleportation schemes, the partially entangled channels can outperform maximally entangled channels with respect to the controller's power. Our results provide a new perspective on controlled teleportation schemes and are of practical interest since we propose useful partially entangled channels.


title: Faraday Induction and the Current Carriers in a Circuit

abstract: In this article, it is pointed out that Faraday induction can be treated from an untraditional, particle-based point of view. The electromagnetic fields of Faraday induction can be calculated explicitly from approximate point-charge fields derived from the Li\'enard-Wiechert expressions or from the Darwin Lagrangian. Thus the electric fields of electrostatics, the magnetic fields of magnetostatics, and the electric fields of Faraday induction can all be regarded as arising from charged particles. Some aspects of electromagnetic induction are explored for a hypothetical circuit consisting of point charges which move frictionlessly in a circular orbit. For a small number of particles in the circuit (or for non-interacting particles), the induced electromagnetic fields depend upon the mass and charge of the current carriers while energy is transferred to the kinetic energy of the particles. However, for an interacting multiparticle circuit, the mutual electromagnetic interactions between the particles dominate the behavior so that the induced electric field cancels the inducing force per unit charge, the mass and charge of the individual current carriers become irrelevant, and energy goes into magnetic energy.


title: A 1-parameter family of spherical CR uniformizations of the figure eight knot complement

abstract: We describe a simple fundamental domain for the holonomy group of the boundary unipotent spherical CR uniformization of the figure eight knot complement, and deduce that small deformations of that holonomy group (such that the boundary holonomy remains parabolic) also give a uniformization of the figure eight knot complement. Finally, we construct an explicit 1-parameter family of deformations of the boundary unipotent holonomy group such that the boundary holonomy is twist-parabolic. For small values of the twist of these parabolic elements, this produces a 1-parameter family of pairwise non-conjugate spherical CR uniformizations of the figure eight knot complement.


title: Could the Vegard strains govern extrinsic size effects in nanoparticles?

abstract: In the paper we propose a theoretical model that takes into account Vegard strains and perform a detailed quantitative comparison of the theoretical results with experimental ones for quasispherical nanoparticles, which reveal the essential (about 100 K) increase of the transition temperature in spherical nanoparticles in comparison with bulk crystals. The average radius of nanoparticles was about 25 nm, they consist of K(Ta,Nb)O3 solid solution, where KTaO3 is a quantum paraelectric, while KNbO3 is a ferroelectric.From the comparison between the theory and experiment we unambiguously established the leading contribution of Vegard strains into the extrinsic size effect in ferroelectric nanoparticles. We determined the dependence of Vegard strains on the content of Nb and reconstructed the Curie temperature dependence on the content of Nb using this dependence. Appeared that the dependence of the Curie temperature on the Nb content becomes nonmonotonic one for the small (< 20 nm) elongated K(Ta,Nb)O3 nanoparticles. We established that the accumulation of intrinsic and extrinsic defects near the surface can play the key role in the physical origin of extrinsic size effect in ferroelecric nanoparticles and govern its main features.


title: Endless continuability and convolution product

abstract: We provide a rigorous analysis for the so-called endlessly continuable germs of holomorphic functions or in other words, the Ecalle's resurgent functions. We follow and complete an approach due to Pham, based on the notion of discrete filtered set and the associated Riemann surface defined as the space of convenient homotopy classes of paths. Our main contribution consists in a complete though simple proof of the stability under convolution product of the space of endlessly continuable germs.


title: Measure boundary value problem for semilinear elliptic equations with critical Hardy potentials

abstract: Let $\Omega\subset\BBR^N$ be a bounded $C^2$ domain and $\CL_\gk=-\Gd-\frac{\gk}{d^2}$ the Hardy operator where $d=\dist (.,\prt\Gw)$ and $0<\gk\leq\frac{1}{4}$. Let $\ga_{\pm}=1\pm\sqrt{1-4\gk}$ be the two Hardy exponents, $\gl_\gk$ the first eigenvalue of $\CL_\gk$ with corresponding positive eigenfunction $\phi_\gk$. If $g$ is a continuous nondecreasing function satisfying $\int_1^\infty(g(s)+|g(-s)|)s^{-2\frac{2N-2+\ga_+}{2N-4+\ga_+}}ds<\infty$, then for any Radon measures $\gn\in \GTM_{\phi_\gk}(\Gw)$ and $\gm\in \GTM(\prt\Gw)$ there exists a unique weak solution to problem $P_{\gn,\gm}$: $\CL_\gk u+g(u)=\gn$ in $\Gw$, $u=\gm$ on $\prt\Gw$. If $g(r)=|r|^{q-1}u$ ($q>1$) we prove that, in the subcritical range of $q$, a necessary and sufficient condition for solving $P_{0,\gm}$ with $\gm>0$ is that $\gm$ is absolutely continuous with respect to the capacity associated to the Besov space $B^{2-\frac{2+\ga_+}{2q'},q'}(\BBR^{N-1})$. We also characterize the boundary removable sets in terms of this capacity. In the subcritical range of $q$ we classify the isolated singularities of positive solutions.


title: Automorphisms of surfaces: Kummer rigidity and measure of maximal entropy

abstract: We classify complex projective surfaces with an automorphism of positive entropy for which the unique invariant measure of maximal entropy is absolutely continuous with respect to Lebesgue measure.


title: Black Hole Spin Evolution Affected by Magnetic Field Decay

abstract: Black holes are spun up by accreting matter and possibly spun-down by magnetic fields. In our work we consider the effect on black hole rotation of the two electromagnetic processes, Blandford-Znajek and Direct Magnetic Link, that differ in their magnetic field configuration. The efficiency of these processes varies with mass accretion rate and accretion regime and generally result in an equilibrium spin parameter in the range from 0.35 to ~0.98. Magnetic field loses its energy while being accreted that may lead to an increase in equilibrium Kerr parameter for the case of advection-dominated disc. We find magnetic field decay decay can decrease electromagnetic term significantly thus increasing the Kerr parameter. We have performed Monte-Carlo simulations for a supermassive black hole population. Our simulations show broad distributions in Kerr parameter (0.1< a <0.98) with a peak at a~0.6. To explain the high observational Kerr parameter values of a>0.9, episodes of supercritical accretion are required. This implication does not however take into account black hole mergers (that play an important role for supermassive black hole evolution).


title: Network Performance Rank: An Approach for Comparison of Complex Networks

abstract: Researchers have typically concentrated on analyzing what happens internally in a complex network and using this to distinguish between nodes. However, there has been less effort towards comparing between different networks. In this paper, we proposed a novel approach to rank alternative complex networks based on their performances. We consider this as a ranking problem in decision analysis based on occurring positive/negative frequent events as criteria, and using the TOPSIS method to rank alternatives. In order to assign a score to the networks for each criterion, a statistical method that estimates the expected value of positive/negative frequent events on a random node is presented. The proposed technique is efficient in terms of algorithm complexity and is capable of discriminating events occurring between important nodes over those between less significant nodes. The experiments, conducted on several synthetic networks, demonstrate the feasibility and applicability of the ranking methodology.


title: Quantum Phase Space, Quantization Hierarchy, and Eclectic Quantum Many-Body System

abstract: An operator-valued quantum phase space formula is constructed. The phase space formula of Quantum Mechanics provides a natural link between first and second quantization, thus contributing to the understanding of quantization problem. By the combination of quantization and hamiltonization of dynamics, a quantization hierarchy is introduced, beyond the framework of first and second quantization and generalizing the standard quantum theory. We apply our quantization method to quantum many-body system and propose an eclectic model, in which the dimension of Hilbert space does not scale exponentially with the number of particles due to the locality of interaction, and the evolution is a constrained Hamiltonian dynamics.


title: Electron Heating During Magnetic Reconnection: A Simulation Scaling Study

abstract: Electron bulk heating during magnetic reconnection with symmetric inflow conditions is examined using kinetic particle-in-cell (PIC) simulations. The degree of electron heating is well correlated with the inflowing Alfv\'en speed $c_{Ar}$ based on the reconnecting magnetic field through the relation $\Delta T_e = 0.033 \,m_i\,c_{Ar}^2$, where $\Delta T_{e}$ is the increase in electron temperature. For the range of simulations performed, the heating shows almost no correlation with inflow total temperature $T_{tot} = T_i + T_e$ or plasma $\beta$. An out-of-plane (guide) magnetic field of similar magnitude to the reconnecting field does not affect the total heating, but it does quench perpendicular heating, with almost all heating being in the parallel direction. These results are qualitatively consistent with a recent statistical survey of electron heating in the dayside magnetopause, which also found that $\Delta T_e$ was proportional to the inflowing Alfv\'en speed. The net electron heating varies very little with distance downstream of the x-line. The simulations show at most a very weak dependence of electron heating on the ion to electron mass ratio. In the antiparallel reconnection case, the largely parallel heating is eventually isotropized downstream due a scattering mechanism such as stochastic particle motion or instabilities. The study highlights key properties that must be satisfied by an electron heating mechanism: (1) Preferential heating in the parallel direction; (2) Heating proportional to $m_i\,c_{Ar}^2$; (3) At most a weak dependence on electron mass; and (4) An exhaust electron temperature that varies little with distance from the x-line.


title: Vector bundles on projective varieties which split along q-ample subvarieties

abstract: Let Y be a subvariety of a smooth projective variety X, and V a vector bundle on X. Given that the restriction of V to Y splits into a direct sum of line bundles, we ask whether V splits on X. I answer this question in affirmative if holds: Y is a q-ample subvariety of X (for appropriate q), it admits sufficiently many embedded deformations, and is very general within its own deformation space. The result goes beyond the previously known splitting criteria for vector bundles corresponding to restrictions. It allows to treat in a unified way examples arising in totally different situations. I discuss the particular cases of zero loci of sections in globally generated vector bundles, on one hand, and sources of multiplicative group actions (corresponding to Bialynicki-Birula decompositions), on the other hand. Finally, I elaborate on the symplectic and orthogonal Grassmannians; I prove that the splitting of any vector bundle on them can be read off from the restriction to a low dimensional `sub'-Grassmannian.


title: Identifying Useful Statistical Indicators of Proximity to Instability in Stochastic Power Systems

abstract: Prior research has shown that autocorrelation and variance in voltage measurements tend to increase as power systems approach instability. This paper seeks to identify the conditions under which these statistical indicators provide reliable early warning of instability in power systems. First, the paper derives and validates a semi-analytical method for quickly calculating the expected variance and autocorrelation of all voltages and currents in an arbitrary power system model. Building on this approach, the paper describes the conditions under which filtering can be used to detect these signs in the presence of measurement noise. Finally, several experiments show which types of measurements are good indicators of proximity to instability for particular types of state changes. For example, increased variance in voltages can reliably indicate the location of increased stress, while growth of autocorrelation in certain line currents is a reliable indicator of system-wide instability.


title: Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations

abstract: Partial orders are used extensively for modeling and analyzing concurrent computations. In this paper, we define two properties of partially ordered sets: width-extensibility and interleaving-consistency, and show that a partial order can be a valid state based model: (1) of some synchronous concurrent computation iff it is width-extensible, and (2) of some asynchronous concurrent computation iff it is width-extensible and interleaving-consistent. We also show a duality between the event based and state based models of concurrent computations, and give algorithms to convert models between the two domains. When applied to the problem of checkpointing, our theory leads to a better understanding of some existing results and algorithms in the field. It also leads to efficient detection algorithms for predicates whose evaluation requires knowledge of states from all the processes in the system.


title: On a conjecture of Vasconcelos

abstract: One studies the structure of the Rees algebra of an almost complete intersection monomial ideal of finite co-length in a polynomial ring over a field, assuming that the least pure powers of the variables contained in the ideal have the same degree. It is shown that the Rees algebra has a natural quasi-homogeneous structure and its presentation ideal is generated by explicit Sylvester forms. A consequence of these results is a proof that the Rees algebra is almost Cohen--Macaulay, thus answering affirmatively an important case of a conjecture of W. Vasconcelos.


title: Encore: Lightweight Measurement of Web Censorship with Cross-Origin Requests

abstract: Despite the pervasiveness of Internet censorship, we have scant data on its extent, mechanisms, and evolution. Measuring censorship is challenging: it requires continual measurement of reachability to many target sites from diverse vantage points. Amassing suitable vantage points for longitudinal measurement is difficult; existing systems have achieved only small, short-lived deployments. We observe, however, that most Internet users access content via Web browsers, and the very nature of Web site design allows browsers to make requests to domains with different origins than the main Web page. We present Encore, a system that harnesses cross-origin requests to measure Web filtering from a diverse set of vantage points without requiring users to install custom software, enabling longitudinal measurements from many vantage points. We explain how Encore induces Web clients to perform cross-origin requests that measure Web filtering, design a distributed platform for scheduling and collecting these measurements, show the feasibility of a global-scale deployment with a pilot study and an analysis of potentially censored Web content, identify several cases of filtering in six months of measurements, and discuss ethical concerns that would arise with widespread deployment.


title: New Approximations for the Area of the Mandelbrot Set

abstract: Due to its fractal nature, much about the area of the Mandelbrot set $M$ remains to be understood. While a series formula has been derived by Ewing and Schober to calculate the area of $M$ by considering its complement inside the Riemann sphere, to date the exact value of this area remains unknown. This paper presents new improved upper bounds for the area based on a parallel computing algorithm and for the 2-adic valuation of the series coefficients in terms of the sum-of-digits function.


title: Spectral properties of unbounded J-self-adjoint matrices

abstract: We study the spectrum of unbounded J-self-adjoint block operator matrices. In particular, we prove enclosures for the spectrum, provide a sufficient condition for the spectrum being real and derive variational principles for certain real eigenvalues even in the presence of non-real spectrum. The latter lead to lower and upper bounds and asymptotic estimates for eigenvalues.


title: Will a physicist prove the Riemann Hypothesis?

abstract: In the first part we present the number theoretical properties of the Riemann zeta function and formulate the Riemann Hypothesis. In the second part we review some physical problems related to this hypothesis: the links with Random Matrix Theory, relation with the Lee--Yang theorem on the zeros of the partition function, random walks, billiards etc.


title: Residually finite quantum group algebras

abstract: We show that provided $n\ne 3$, the involutive Hopf *-algebra $A_u(n)$ coacting universally on an $n$-dimensional Hilbert space has enough finite-dimensional representations in the sense that every non-zero element acts non-trivially in some finite-dimensional *-representation. This implies that the discrete quantum group with group algebra $A_u(n)$ is maximal almost periodic (i.e. it embeds in its quantum Bohr compactification), answering a question posed by P. So tan. We also prove analogous results for the involutive Hopf *-algebra $B_u(n)$ coacting universally on an $n$-dimensional Hilbert space equipped with a non-degenerate bilinear form.


title: Coronal loops above an Active Region - observation versus model

abstract: We conducted a high-resolution numerical simulation of the solar corona above a stable active region. The aim is to test the field-line braiding mechanism for a sufficient coronal energy input. We also check the applicability of scaling laws for coronal loop properties like the temperature and density. Our 3D-MHD model is driven from below by Hinode observations of the photosphere, in particular a high-cadence time series of line-of-sight magnetograms and horizontal velocities derived from the magnetograms. This driving applies stress to the magnetic field and thereby delivers magnetic energy into the corona, where currents are induced that heat the coronal plasma by Ohmic dissipation. We compute synthetic coronal emission that we directly compare to coronal observations of the same active region taken by Hinode. In the model, coronal loops form at the same places as they are found in coronal observations. Even the shapes of the synthetic loops in 3D space match those found from a stereoscopic reconstruction based on STEREO spacecraft data. Some loops turn out to be slightly over-dense in the model, as expected from observations. This shows that the spatial and temporal distribution of the Ohmic heating produces the structure and dynamics of a coronal loops system close to what is found in observations.


title: Curvature from Graph Colorings

abstract: Given a finite simple graph G=(V,E) with chromatic number c and chromatic polynomial C(x). Every vertex graph coloring f of G defines an index i_f(x) satisfying the Poincare-Hopf theorem sum_x i_f(x)=chi(G). As a variant to the index expectation result we prove that E[i_f(x)] is equal to curvature K(x) satisfying Gauss-Bonnet sum_x K(x) = \chi(G), where the expectation is the average over the finite probability space containing the C(c) possible colorings with c colors, for which each coloring has the same probability.


title: The role of loop stacking in the dynamics of DNA hairpin formation

abstract: We study the dynamics of DNA hairpin formation using oxDNA, a nucleotide-level coarse-grained model of DNA. In particular, we explore the effects of the loop stacking interactions and non-native base pairing on the hairpin closing times. We find a non-monotonic variation of the hairpin closing time with temperature, in agreement with the experimental work of Wallace et al. [Proc. Nat. Acad. Sci. USA 2001, 98, 5584-5589]. The hairpin closing process involves the formation of an initial nucleus of one or two bonds between the stems followed by a rapid zippering of the stem. At high temperatures, typically above the hairpin melting temperature, an effective negative activation enthalpy is observed because the nucleus has a lower enthalpy than the open state. By contrast, at low temperatures, the activation enthalpy becomes positive mainly due to the increasing energetic cost of bending a loop that becomes increasingly highly stacked as the temperature decreases. We show that stacking must be very strong to induce this experimentally observed behavior, and that the existence of just a few weak stacking points along the loop can substantially suppress it. Non-native base pairs are observed to have only a small effect, slightly accelerating hairpin formation.


title: Brooks Type Results for Conflict-Free Colorings and {a, b}-factors in graphs

abstract: A vertex-coloring of a hypergraph is conflict-free, if each edge contains a vertex whose color is not repeated on any other vertex of that edge. Let $f(r, \Delta)$ be the smallest integer $k$ such that each $r$-uniform hypergraph of maximum vertex degree $\Delta$ has a conflict-free coloring with at most $k$ colors. As shown by Tardos and Pach, similarly to a classical Brooks' type theorem for hypergraphs, $f(r, \Delta)\leq \Delta+1$. Compared to Brooks' theorem, according to which there is only a couple of graphs/hypergraphs that attain the $\Delta+1$ bound, we show that there are several infinite classes of uniform hypergraphs for which the upper bound is attained. We provide bounds on $f(r, \Delta)$ in terms of~$\Delta$ for large~$\Delta$ and establish the connection between conflict-free colorings and so-called $\{t, r-t\}$-factors in $r$-regular graphs. Here, a $\{t, r-t\}$-factor is a factor in which each degree is either $t$ or $r-t$. Among others, we disprove a conjecture of Akbari and Kano~[Graphs and Combinatorics 30(4):821--826, 2014] stating that there is a $\{t,r-t\}$-factor in every $r$-regular graph for odd $r$ and any odd $t<\frac{r}{3}$.


title: Explicit solutions of quadratic FBSDEs arising from quadratic term structure models

abstract: We provide explicit solutions of certain forward-backward stochastic differential equations (FBSDEs) with quadratic growth. These particular FBSDEs are associated with quadratic term structure models of interest rates and characterize the zero-coupon bond price. The results of this paper are naturally related to similar results on affine term structure models of Hyndman (Math. Financ. Econ. 2(2):107-128, 2009) due to the relationship between quadratic functionals of Gaussian processes and linear functionals of affine processes. Similar to the affine case a sufficient condition for the explicit solutions to hold is the solvability in a fixed interval of Riccati-type ordinary differential equations. However, in contrast to the affine case, these Riccati equations are easily associated with those occurring in linear-quadratic control problems. We also consider quadratic models for a risky asset price and characterize the futures price and forward price of the asset in terms of similar FBSDEs. An example is considered, using an approach based on stochastic flows that is related to the FBSDE approach, to further emphasize the parallels between the affine and quadratic models. An appendix discusses solvability and explicit solutions of the Riccati equations.


title: Scalable and efficient algorithms for the propagation of uncertainty from data through inference to prediction for large-scale problems, with application to flow of the Antarctic ice sheet

abstract: The majority of research on efficient and scalable algorithms in computational science and engineering has focused on the forward problem: given parameter inputs, solve the governing equations to determine output quantities of interest. In contrast, here we consider the broader question: given a (large-scale) model containing uncertain parameters, (possibly) noisy observational data, and a prediction quantity of interest, how do we construct efficient and scalable algorithms to (1) infer the model parameters from the data (the deterministic inverse problem), (2) quantify the uncertainty in the inferred parameters (the Bayesian inference problem), and (3) propagate the resulting uncertain parameters through the model to issue predictions with quantified uncertainties (the forward uncertainty propagation problem)? We present efficient and scalable algorithms for this end-to-end, data-to-prediction process under the Gaussian approximation and in the context of modeling the flow of the Antarctic ice sheet and its effect on sea level. The ice is modeled as a viscous, incompressible, creeping, shear-thinning fluid. The observational data come from InSAR satellite measurements of surface ice flow velocity, and the uncertain parameter field to be inferred is the basal sliding parameter. The prediction quantity of interest is the present-day ice mass flux from the Antarctic continent to the ocean. We show that the work required for executing this data-to-prediction process is independent of the state dimension, parameter dimension, data dimension, and number of processor cores. The key to achieving this dimension independence is to exploit the fact that the observational data typically provide only sparse information on model parameters. This property can be exploited to construct a low rank approximation of the linearized parameter-to-observable map.


title: Nonconventional magnetic order in frustrated diamond lattice antiferromagnet CoAl2O4 studied by neutron diffraction and classical Monte-Carlo simulation

abstract: CoAl2O4 spinel with magnetic Co2+ ions on the diamond A-lattice is known to be magnetically frustrated. We compare neutron single crystal diffraction patterns measured in zero and applied magnetic fields with the ones obtained from classical Monte-Carlo models. In simulations we test the influence of various parameters on diffraction patterns: the ratio of nearest-, J1, and next-nearest, J2, neighbor interactions, magnetic field applied along the principal crystallographic directions, and random disorder on the A(Co2+)- and B(Al3+)- sites. We conclude that the models considered so far explain the broadening of magnetic Bragg peaks in zero magnetic field and their anisotropic response to applied magnetic field only partly. As bulk properties of our single crystal are isotropic, we suggest that its microstructure, specifically <111>-twin boundaries, could be a reason of the nonconventional magnetic order in CoAl2O4.


title: Analytical solutions of a fractional diffusion-advection equation for solar cosmic-ray transport

abstract: Motivated by recent applications of superdiffusive transport models to shock-accelerated particle distributions in the heliosphere, we solve analytically a one-dimensional fractional diffusion-advection equation for the particle density. We derive an exact Fourier transform solution, simplify it in a weak diffusion approximation, and compare the new solution with previously available analytical results and with a semi-numerical solution based on a Fourier series expansion. We apply the results to the problem of describing the transport of energetic particles, accelerated at a traveling heliospheric shock. Our analysis shows that significant errors may result from assuming an infinite initial distance between the shock and the observer. We argue that the shock travel time should be a parameter of a realistic superdiffusive transport model.


title: Forcing a countable structure to belong to the ground model

abstract: Suppose that $P$ is a forcing notion, $L$ is a language (in $V$), $\dot{\tau}$ a $P$-name such that $P\Vdash$ "$\dot{\tau}$ is a countable $L$-structure". In the product $P\times P$, there are names $\dot{\tau_{1}},\dot{\tau_{2}}$ such that for any generic filter $G=G_{1}\times G_{2}$ over $P\times P$, $\dot{\tau}_{1}[G]=\dot{\tau}[G_{1}]$ and $\dot{\tau}_{2}[G]=\dot{\tau}[G_{2}]$. Zapletal asked whether or not $P \times P \Vdash \dot{\tau}_{1}\cong\dot{\tau}_{2}$ implies that there is some $M\in V$ such that $P \Vdash \dot{\tau}\cong\check{M}$. We answer this negatively and discuss related issues.


title: The Diffusion Approximation vs. the Telegraph Equation for Modeling Solar Energetic Particle Transport with Adiabatic Focusing. I. Isotropic Pitch-angle Scattering

abstract: The diffusion approximation to the Fokker-Planck equation is commonly used to model the transport of solar energetic particles in interplanetary space. In this study, we present exact analytical predictions of a higher order telegraph approximation for particle transport and compare them with the corresponding predictions of the diffusion approximation and numerical solutions of the full Fokker-Planck equation. We specifically investigate the role of the adiabatic focusing effect of a spatially varying magnetic field on an evolving particle distribution. Comparison of the analytical and numerical results shows that the telegraph approximation reproduces the particle intensity profiles much more accurately than does the diffusion approximation, especially when the focusing is strong. However, the telegraph approximation appears to offer no significant advantage over the diffusion approximation for calculating the particle anisotropy. The telegraph approximation can be a useful tool for describing both diffusive and wavelike aspects of the cosmic-ray transport.


title: Ultimate limit of field confinement by surface plasmon polaritons

abstract: We show that electric field confinement in surface plasmon polaritons propagating at the metal/dielectric interfaces enhances the loss due to Landau damping and which effectively limits the degree of confinement itself. We prove that Landau damping and associated with it surface collision damping follow directly from Lindhard formula for the dielectric constant of free electron gas Furthermore, we demonstrate that even if all the conventional loss mechanisms, caused by phonons, electron-electron, and interface roughness scattering, were eliminated, the maximum attainable degree of confinement and the loss accompanying it would not change significantly compared to the best existing plasmonic materials, such as silver.


title: Separable Optical Potentials for (d,p) Reactions

abstract: An important ingredient for applications of nuclear physics to e.g. astrophysics or nuclear energy are the cross sections for reactions of neutrons with rare isotopes. Since direct measurements are often not possible, indirect methods like (d,p) reactions must be used instead. Those (d,p) reactions may be viewed as effective three-body reactions and described with Faddeev techniques. An additional challenge posed by (d,p) reactions involving heavier nuclei is the treatment of the Coulomb force. To avoid numerical complications in dealing with the screening of the Coulomb force, recently a new approach using the Coulomb distorted basis in momentum space was suggested. In order to implement this suggestion, one needs not only to derive a separable representation of neutron- and proton-nucleus optical potentials, but also compute the Coulomb distorted form factors in this basis.


title: Interactive Fingerprinting Codes and the Hardness of Preventing False Discovery

abstract: We show an essentially tight bound on the number of adaptively chosen statistical queries that a computationally efficient algorithm can answer accurately given $n$ samples from an unknown distribution. A statistical query asks for the expectation of a predicate over the underlying distribution, and an answer to a statistical query is accurate if it is "close" to the correct expectation over the distribution. This question was recently studied by Dwork et al., who showed how to answer $\tilde{\Omega}(n^2)$ queries efficiently, and also by Hardt and Ullman, who showed that answering $\tilde{O}(n^3)$ queries is hard. We close the gap between the two bounds and show that, under a standard hardness assumption, there is no computationally efficient algorithm that, given $n$ samples from an unknown distribution, can give valid answers to $O(n^2)$ adaptively chosen statistical queries. An implication of our results is that computationally efficient algorithms for answering arbitrary, adaptively chosen statistical queries may as well be differentially private. We obtain our results using a new connection between the problem of answering adaptively chosen statistical queries and a combinatorial object called an interactive fingerprinting code. In order to optimize our hardness result, we give a new Fourier-analytic approach to analyzing fingerprinting codes that is simpler, more flexible, and yields better parameters than previous constructions.


title: Strain driven sequential magnetic transitions in strained GdTiO3 on compressive substrates: a first-principles study

abstract: The compressive strain effects on the magnetic ground state and electronic structure of strained GdTiO 3 have been studied by the first-principles method. Different from the congeneric YTiO3 and LaTiO3 cases both of which becomes the A-type antiferromagnetism on the (001) LaAlO3 substrate despite their contrastive magnetism, the ground state of strained GdTiO3 on the LaAlO3 substrate changes from the original ferromagnetism to G-type antiferromagnetim, instead of the A-type one although Gd 3+ is between Y3+ and La3+. Only when the in-plane compressive strain is large enough, e.g. on the (001) YAlO3 substrate, the ground state finally becomes the A-type one. The band structure calculation shows that these compressive strained GdTiO3 remain insulating, although the band gap changes a little in these strained GdTiO3.


title: Integrable Systems with Unitary Invariance from Non-stretching Geometric Curve Flows in the Hermitian Symmetric Space Sp(n)/U(n)

abstract: A moving parallel frame method is applied to geometric non-stretching curve flows in the Hermitian symmetric space Sp(n)/U(n) to derive new integrable systems with unitary invariance. These systems consist of a bi-Hamiltonian modified Korteweg-de Vries equation and a Hamiltonian sine-Gordon (SG) equation, involving a scalar variable coupled to a complex vector variable. The Hermitian structure of the symmetric space Sp(n)/U(n) is used in a natural way from the beginning in formulating a complex matrix representation of the tangent space sp(n)/u(n) and its bracket relations within the symmetric Lie algebra (u(n),sp(n)).


title: Bayesian regression and Bitcoin

abstract: In this paper, we discuss the method of Bayesian regression and its efficacy for predicting price variation of Bitcoin, a recently popularized virtual, cryptographic currency. Bayesian regression refers to utilizing empirical data as proxy to perform Bayesian inference. We utilize Bayesian regression for the so-called "latent source model". The Bayesian regression for "latent source model" was introduced and discussed by Chen, Nikolov and Shah (2013) and Bresler, Chen and Shah (2014) for the purpose of binary classification. They established theoretical as well as empirical efficacy of the method for the setting of binary classification. In this paper, instead we utilize it for predicting real-valued quantity, the price of Bitcoin. Based on this price prediction method, we devise a simple strategy for trading Bitcoin. The strategy is able to nearly double the investment in less than 60 day period when run against real data trace.


title: Time and Band Limiting for Matrix Valued Functions, an Example

abstract: The main purpose of this paper is to extend to a situation involving matrix valued orthogonal polynomials and spherical functions, a result that traces its origin and its importance to work of Claude Shannon in laying the mathematical foundations of information theory and to a remarkable series of papers by D. Slepian, H. Landau and H. Pollak. To our knowledge, this is the first example showing in a non-commutative setup that a bispectral property implies that the corresponding global operator of "time and band limiting" admits a commuting local operator. This is a noncommutative analog of the famous prolate spheroidal wave operator.


title: EnKF-C user guide

abstract: EnKF-C provides a compact generic framework for off-line data assimilation into large-scale layered geophysical models with the ensemble Kalman filter (EnKF). It is coded in C for GNU/Linux platform and can work either in EnKF, ensemble optimal interpolation (EnOI), or hybrid (EnKF/EnOI) modes.


title: On Spherically Symmetric Solutions of the Einstein-Euler Equations

abstract: We construct spherically symmetric solutions to the Einstein-Euler equations, which give models of gaseous stars in the framework of the general theory of relativity. We assume a realistic barotropic equation of state. Equilibria of the spherically symmetric Einstein-Euler equations are given by the Tolman-Oppenheimer-Volkoff equations, and time periodic solutions around the equilibrium of the linearized equations can be considered. Our aim is to find true solutions near these time-periodic approximations. Solutions satisfying so called physical boundary condition at the free boundary with the vacuum will be constructed using the Nash-Moser theorem. This work also can be considered as a touchstone in order to estimate the universality of the method which was originally developed for the non-relativistic Euler-Poisson equations.


title: Time-Dependent Transport Through Quantum-Impurity Systems with Kondo Resonance

abstract: We investigate the time-dependent transport properties of single and double quantum-impurity systems based on the hierarchical equations of motion (HEOM) approach. In the Kondo regime, the dynamical current in both cases is found oscillating due to the temporal coherence of electrons tunneling through the device, which shares the same mechanism as the single-level resonance without e-e interactions but shows some different characteristics. For single quantum-impurity systems, the temperature T plays an inhibitory action to the oscillations of dynamic current through its suppression to the Kondo effects. The amplitude of the current oscillations is attenuated by the e-e interaction $U$ in the Kondo regime. The frequency of the current oscillation is found almost independent of T and U. For parallel-coupling double quantum-impurity systems, the oscillation of the current shows similar behaviors to the single one, but with two-to-three times larger amplitudes. At the limit of small inter-impurity coupling the oscillation of the current exhibits enhanced characters while it is weakened at the other limit.


title: The Yamabe invariant of a class of symplectic manifolds

abstract: We compute the Yamabe invariant for a class of symplectic 4-manifolds of general type obtained by taking the rational blowdown of Kahler surfaces. In particular, for any point on the half-Noether line we exhibit a simply connected minimal symplectic manifold for which we compute the Yamabe invariant.


title: Parallel Heuristics for Scalable Community Detection

abstract: Community detection has become a fundamental operation in numerous graph-theoretic applications. It is used to reveal natural divisions that exist within real world networks without imposing prior size or cardinality constraints on the set of communities. Despite its potential for application, there is only limited support for community detection on large-scale parallel computers, largely owing to the irregular and inherently sequential nature of the underlying heuristics. In this paper, we present parallelization heuristics for fast community detection using the Louvain method as the serial template. The Louvain method is an iterative heuristic for modularity optimization. Originally developed by Blondel et al. in 2008, the method has become increasingly popular owing to its ability to detect high modularity community partitions in a fast and memory-efficient manner. However, the method is also inherently sequential, thereby limiting its scalability. Here, we observe certain key properties of this method that present challenges for its parallelization, and consequently propose heuristics that are designed to break the sequential barrier. For evaluation purposes, we implemented our heuristics using OpenMP multithreading, and tested them over real world graphs derived from multiple application domains (e.g., internet, citation, biological). Compared to the serial Louvain implementation, our parallel implementation is able to produce community outputs with a higher modularity for most of the inputs tested, in comparable number or fewer iterations, while providing absolute speedups of up to 16x using 32 threads.


title: Even-odd effects and Coulomb effects on minimal excitation energy of fragments from low energy fission

abstract: This work is focused on even-odd effects on the minimal total fragment excitation energy in thermal neutron induced fission of 233U and 235U as well as in spontaneous fission of 252Cf. In a scission model, taking into account the fragment deformation properties and Coulomb interaction between fragments, the expression of the difference between Q-values referred to even/even and odd/odd charge splits, respectively, on the corresponding difference between the minimal total fragment excitation energy is studied.


title: Nanoscale heterogeneity at the aqueous electrolyte-electrode interface

abstract: Using molecular dynamics simulations, we reveal emergent properties of hydrated electrode interfaces that while molecular in origin are integral to the behavior of the system across long times scales and large length scales. Specifically, we describe the impact of a disordered and slowly evolving adsorbed layer of water on the molecular structure and dynamics of the electrolyte solution adjacent to it. Generically, we find that densities and mobilities of both water and dissolved ions are spatially heterogeneous in the plane parallel to the electrode over nanosecond timescales. These and other recent results are analyzed in the context of available experimental literature from surface science and electrochemistry. We speculate on the implications of this emerging microscopic picture on the catalytic proficiency of hydrated electrodes, offering an new direction for study in heterogeneous catalysis at the nanoscale.


title: Hot-electron effect in spin relaxation of electrically injected electrons in intrinsic Germanium

abstract: The hot-electron effect in the spin relaxation of electrically injected electrons in intrinsic Germanium is investigated by the kinetic spin Bloch equations both analytically and numerically. It is shown that in the weak-electric-field regime with $E\lesssim 0.5$~kV/cm, our calculations has reasonable agreement with the recent transport experiment in the spin-injection configuration [Phys. Rev. Lett. {\bf 111}, 257204 (2013)]. We reveal that the spin relaxation is significantly enhanced at low temperature in the presence of weak electric field $E\lesssim 50$~V/cm, which originates from the obvious center-of-mass drift effect due to the weak electron-phonon interaction, whereas the hot-electron effect is demonstrated to be less important. This can explain the discrepancy between the experimental observation and the previous theoretical calculation [Phys. Rev. B {\bf 86}, 085202 (2012)], which deviates from the experimental results by about two orders of magnitude at low temperature. It is further shown that in the strong-electric-field regime with $0.5\lesssim E \lesssim 2$~kV/cm, the spin relaxation is enhanced due to the hot-electron effect, whereas the drift effect is demonstrated to be marginal. Finally, we find that when $1.4 \lesssim E\lesssim 2$~kV/cm which lies in the strong-electric-field regime, a small fraction of electrons ($\lesssim 5\%$) can be driven from the L to $\Gamma$ valley, and the spin relaxation rates are the same for the $\Gamma$ and L valleys in the intrinsic sample without impurity. With the negligible influence of the spin dynamics in the $\Gamma$ valley to the whole system, the spin dynamics in the L valley can be measured from the $\Gamma$ valley by the standard direct optical transition method.


title: Sussing Merger Trees : The Impact of Halo Merger Trees on Galaxy Properties in a Semi-Analytic Model

abstract: A halo merger tree forms the essential backbone of a semi-analytic model for galaxy formation and evolution. Recent studies have pointed out that extracting merger trees from numerical simulations of structure formation is non-trivial; different tree building algorithms can give differing merger histories. These differences should be carefully understood before merger trees are used as input for models of galaxy formation. We investigate the impact of different halo merger trees on a semi-analytic model. We find that the z=0 galaxy properties in our model show differences between trees when using a common parameter set. The star formation history of the Universe and the properties of satellite galaxies can show marked differences between trees with different construction methods. Independently calibrating the semi-analytic model for each tree can reduce the discrepancies between the z=0 global galaxy properties, at the cost of increasing the differences in the evolutionary histories of galaxies. Furthermore, the underlying physics implied can vary, resulting in key quantities such as the supernova feedback efficiency differing by factors of 2. Such a change alters the regimes where star formation is primarily suppressed by supernovae. Therefore, halo merger trees extracted from a common halo catalogue using different, but reliable, algorithms can result in a difference in the semi-analytic model. Given the uncertainties in galaxy formation physics, however, these differences may not necessarily be viewed as significant.


title: Exact goodness-of-fit testing for the Ising model

abstract: The Ising model is one of the simplest and most famous models of interacting systems. It was originally proposed to model ferromagnetic interactions in statistical physics and is now widely used to model spatial processes in many areas such as ecology, sociology, and genetics, usually without testing its goodness of fit. Here, we propose various test statistics and an exact goodness-of-fit test for the finite-lattice Ising model. The theory of Markov bases has been developed in algebraic statistics for exact goodness-of-fit testing using a Monte Carlo approach. However, finding a Markov basis is often computationally intractable. Thus, we develop a Monte Carlo method for exact goodness-of-fit testing for the Ising model which avoids computing a Markov basis and also leads to a better connectivity of the Markov chain and hence to a faster convergence. We show how this method can be applied to analyze the spatial organization of receptors on the cell membrane.


title: Topological properties of linear circuit lattices

abstract: Motivated by the topologically insulating (TI) circuit of capacitors and inductors proposed and tested in arXiv:1309.0878, we present a related circuit with less elements per site. The normal mode frequency matrix of our circuit is unitarily equivalent to the hopping matrix of a quantum spin Hall insulator (QSHI) and we identify perturbations that do not backscatter the circuit's edge modes. The idea behind these models is generalized, providing a platform to simulate tunable and locally accessible lattices with arbitrary complex spin-dependent hopping of any range. A simulation of a non-Abelian Aharonov-Bohm effect using such linear circuit designs is discussed.


title: Anomalous scaling of the specific-heat jump $\Delta C$ vs. $T_c$ in the Fe-based superconductors: the $\pm$S-wave pairing state model

abstract: The strong power law behavior of the specific heat jump $\Delta C$ vs. $T_c$ ($\Delta C/T_c \sim T_c ^{\alpha}, \alpha\approx 2$), first observed by Bud'ko, Ni, and Canfield (BNC)[1], has been confirmed with several families of the Fe-based superconducting compounds with a series of doping. We show here that this anomalous non-BCS behavior is an intrinsic property of the multiband superconducting state paired by a dominant interband interaction ($V_{inter} > V_{intra}$) reflecting the relation $\frac{\Delta_h}{\Delta_e} \sim \sqrt{\frac{N_e}{N_h}}$ near $T_c$, as in the $\pm$S-wave pairing state. Then this $\Delta C$ vs. $T_c$ relation can continuously change from the perfect BNC scaling to a considerable deviation at lower $T_c$ region with a moderate variation of the impurity scattering rate.


title: Odd-frequency pair in topological superconductivity of 1D magnetic chain

abstract: A chain of magnetic atoms with non-collinear spin configuration on a superconductor is a promising new system that can host Majorana Fermions (MFs). In this study, we clarify that in the presence of MFs, an odd-frequency Cooper pair is generated at the edge of the chain. Furthermore, it is revealed that this feature is robust against the distance between magnetic atoms. We also elucidate the close relationship between the pair amplitude of the odd-frequency pair, the parity of the wave function, and the direction of the MF spin. If Rashba-type spin-orbit coupling is included, MFs can be realized even in a collinear alignment of magnetic atoms, $i.e.$, in a ferromagnetic or anti-ferromagnetic chain on a superconductor. Then, the odd-frequency pairing is generated at the edge, similar to the non-collinear case. Based on our results, it can be concluded that the detection of the zero energy peak of the local density of states by scanning tunneling microscopy at the edge of the magnetic chain is strong evidence for the generation of odd-frequency pairing.


title: Superconductivity, antiferromagnetism and phase separation in the two-dimensional Hubbard model: A dual-fermion approach

abstract: The dual-fermion approach offers a way to perform diagrammatic expansion around the dynamical mean-field theory. Using this formalism, the influence of antiferromagnetic fluctuations on the self-energy is taken into account through ladder-type diagrams in the particle-hole channel. The resulting phase diagram for the (quasi-)two-dimensional Hubbard model exhibits antiferromagnetism and d-wave superconductivity. Furthermore, a uniform charge instability, i.e., phase separation, is obtained in the low doping regime around the Mott insulator. We also examine spin/charge density wave fluctuations including d-wave symmetry. The model exhibits a tendency towards an unconventional charge density-wave, but no divergence of the susceptibility is found.


title: BSE's, BSDE's and fixed point problems

abstract: In this paper, we introduce a class of backward stochastic equations (BSEs) that extend classical BSDEs and include many interesting examples of generalized BSDEs as well as semimartingale backward equations. We show that a BSE can be translated into a fixed point problem in a space of random vectors. This makes it possible to employ general fixed point arguments to find solutions. For instance, Banach's contraction mapping theorem can be used to derive general existence and uniqueness results for equations with Lipschitz coefficients, whereas Schauder-type fixed point arguments can be applied to non-Lipschitz equations. The approach works equally well for multidimensional as for one-dimensional equations and leads to results in several interesting cases such as equations with path-dependent coefficients, anticipating equations, McKean-Vlasov type equations and equations with coefficients of superlinear growth.


title: Superconducting nano-layer coating without insulator

abstract: The superconducting nano-layer coating without insulator layer is studied. The magnetic-field distribution and the forces acting on a vortex are derived. Using the derived forces, the vortex-penetration field and the lower critical magnetic field can be discussed. The vortex-penetration field is identical with the multilayer coating, but the lower critical magnetic field is not. Forces acting on a vortex from the boundary of two superconductors play an important role in evaluations of the free energy.