title: Galaxy Evolution in the Radio Band: The Role of Starforming Galaxies and Active Galactic Nuclei

abstract: We investigate the astrophysics of radio-emitting star-forming galaxies and ac- tive galactic nuclei (AGNs), and elucidate their statistical properties in the radio band including luminosity functions, redshift distributions, and number counts at sub-mJy flux levels, that will be crucially probed by next-generation radio continuum surveys. Specifically, we exploit the model-independent approach by Mancuso et al. (2016a,b) to compute the star formation rate functions, the AGN duty cycles and the conditional probability of a star-forming galaxy to host an AGN with given bolometric luminosity. Coupling these ingredients with the radio emission properties associated to star formation and nuclear activity, we compute relevant statistics at different radio frequencies, and disentangle the relative con- tribution of star-forming galaxies and AGNs in different radio luminosity, radio flux, and redshift ranges. Finally, we highlight that radio-emitting star-forming galaxies and AGNs are expected to host supermassive black holes accreting with different Eddington ratio distributions, and to occupy different loci in the galaxy main sequence diagrams. These specific predictions are consistent with current datasets, but need to be tested with larger statistics via future radio data with multi-band coverage on wide areas, as it will become routinely achievable with the advent of the SKA and its precursors.


title: Neutron Diffraction Reveals the Existence of Confined Water in Triangular and Hexagonal Channels of Modified YPO4 at Elevated Temperatures

abstract: We provide experimental evidence for confinement of water molecules in the pores of hexagonal structure of YPO4 at elevated temperatures upto 600 K using powder neutron diffraction. In order to avoid the large incoherent scattering from the hydrogen, deuterated samples of doped YPO4:Ce-Eu were used for diffraction measurements. The presence of water molecules in the triangular and hexagonal pores in the hexagonal structure was established by detailed simulation of the diffraction pattern and Rietveld refinement of the experimental data. It was observed that the presence of water leads specifically to suppression of the intensity of a peak around Q = 1.04 {\AA}-1while the intensity of peaks around Q=1.83{\AA}-1 is enhanced in the neutron diffraction pattern. We estimate the number of water molecules as 2.36 (6) per formula units at 300 K and the sizes of the hexagonal and triangular pores as7.2 (1) {\AA} and 4.5 (1) {\AA}, respectively. With increase in temperature, the water content in both the pores decreases above 450 K and vanishes around 600 K. Analysis of the powder diffraction data reveals that the hexagonal structure with the pores persist up to 1273 K, and transforms to another structure at 1323 K. The high temperature phase is not found to have the zircon or the monazite type structure, but a monoclinic structure (space group P2/m) with lattice parameters am= 6.826 (4) {\AA}, bm= 6.645 (4) {\AA}, cm= 10.435 (9){\AA}, and \b{eta}= 107.21 (6){\deg}. The monoclinic structure has about 14 % smaller volume than the hexagonal structure which essentially reflects the collapse of the pores. The phase transition and the change in the volume are also confirmed by x-ray diffraction measurements. The hexagonal to the monoclinic phase transition is found to be irreversible on cooling to room temperature.


title: Voids and Superstructures: correlations and induced large-scale velocity flows

abstract: The expanding complex pattern of filaments, walls and voids build the evolving cosmic web with material flowing from underdense onto high density regions. Here we explore the dynamical behaviour of voids and galaxies in void shells relative to neighboring overdense superstructures, using the Millenium Simulation and the main galaxy catalogue in Sloan Digital Sky Survey data. We define a correlation measure to estimate the tendency of voids to be located at a given distance from a superstructure. We find voids-in-clouds (S-types) preferentially located closer to superstructures than voids-in-voids (R-types) although we obtain that voids within $\sim40~\mathrm{Mpc}\,\mathrm{h}^{-1}$ of superstructures are infalling in a similar fashion independently of void type. Galaxies residing in void shells show infall towards the closest superstructure, along with the void global motion, with a differential velocity component depending on their relative position in the shell with respect to the direction to the superstructure. This effect is produced by void expansion and therefore is stronger for R-types. We also find that galaxies in void shells facing the superstrucure flow towards the overdensities faster than galaxies elsewere at the same relative distance to the superstructure. The results obtained for the simulation are also reproduced for the SDSS data with a linearized velocity field implementation.


title: Wilson loops in unitary matrix models at finite $N$

abstract: It is known that the expectation value of Wilson loops in the Gross-Witten-Wadia (GWW) unitary matrix model can be computed exactly at finite $N$ for arbitrary representations. We study the perturbative and non-perturbative corrections of Wilson loops in the $1/N$ expansion, either analytically or numerically using the exact result at finite $N$. As a by-product of the exact result of Wilson loops, we propose a large $N$ master field of GWW model. This master field has an interesting eigenvalue distribution. We also study the Wilson loops in large representations, called Giant Wilson loops, and comment on the Hagedorn/deconfinement transition of a unitary matrix model with a double trace interaction.


title: An analogue of big q-Jacobi polynomials in the algebra of symmetric functions

abstract: The main result of the paper is a construction of a five-parameter family of new bases in the algebra of symmetric functions. These bases are inhomogeneous and share many properties of systems of orthogonal polynomials on an interval of the real line. This means, in particular, that the algebra of symmetric functions is embedded into the algebra of continuous functions on a certain compact space Omega, and under this realization, our bases turn into orthogonal bases of weighted Hilbert spaces corresponding to certain probability measures on Omega. These measures are of independent interest --- they are an infinite-dimensional analogue of the multidimensional q-Beta distributions. Our construction uses the big q-Jacobi polynomials and an extension of the Knop-Okounkov-Sahi multivariate interpolation polynomials to the case of infinite number of variables.


title: Proof of Kobayashi's rank conjecture on Clifford-Klein forms

abstract: T. Kobayashi conjectured in the 36th Geometry Symposium in Japan (1989) that a homogeneous space G/H of reductive type does not admit a compact Clifford-Klein form if rank G - rank K < rank H - rank K_H. We solve this conjecture affirmatively. We apply a cohomological obstruction to the existence of compact Clifford-Klein forms proved previously by the author, and use the Sullivan model for a reductive pair due to Cartan-Chevalley-Koszul-Weil.


title: Moduli of Einstein-Hermitian harmonic mappings of the projective line into quadrics

abstract: The present article studies the class of Einstein-Hermitian harmonic maps of constant Kaehler angle from the projective line into quadrics. We provide a description of their moduli spaces up to image, and gauge-equivalence using the language of vector bundles and representation theory. It is shown that the dimension of the moduli spaces is independent of the Einstein-Hermitian constant, and rigidity of the associated real standard, and totally real maps is examined. Finally, certain classical results concerning embeddings of two-dimensional spheres into spheres are rephrased and derived in our formalism.


title: Exothermic Dark Matter with Light Mediator after LUX and PandaX-II in 2016

abstract: Dark matter (DM) direct detections are investigated for models with the following properties: isospin-violating couplings, exothermic scatterings, and/or a light mediator, with the aim to reduce the tension between the CDMS-Si positive signals and other negative searches. In particular, we focus on the non-standard effective operators which could lead to the spin-independent DM-nucleus scatterings with non-trivial dependences on the transfer momentum or DM velocity. As a result, such effective operator choices have the very mild effects on the final fittings. Furthermore, by including the latest constraints from LUX, PandaX-II, XENON1T and PICO-60, we find that, for almost all the considered models, the predicted CDMS-Si signal regions are either severely constrained or completely excluded by the LUX, PandaX-II, XENON1T and PICO-60 data, including the most promising Xe-phobic exothermic DM models with/without a light mediator. Therefore, we conclude that it is very difficult for the present DM framework to explain the CDMS-Si excess.


title: Inequalities for the inverses of the polygamma functions

abstract: We provide an elementary proof of the left side inequality and improve the right inequality in \bigg[\frac{n!}{x-(x^{-1/n}+\alpha)^{-n}}\bigg]^{\frac{1}{n+1}}&<((-1)^{n-1}\psi^{(n)})^{-1}(x) &<\bigg[\frac{n!}{x-(x^{-1/n}+\beta)^{-n}}\bigg]^{\frac{1}{n+1}}, where $\alpha=[(n-1)!]^{-1/n}$ and $\beta=[n!\zeta(n+1)]^{-1/n}$, which was proved in \cite{6}, and we prove the following inequalities for the inverse of the digamma function $\psi$. \frac{1}{\log(1+e^{-x})}<\psi^{-1}(x)< e^{x}+\frac{1}{2}, \quad x\in\mathbb{R}. The proofs are based on nice applications of the mean value theorem for differentiation and elementary properties of the polygamma functions.


title: Sharp resolvent bounds and resonance-free regions

abstract: In this note, we consider semiclassical scattering on a manifold which is Euclidean near infinity or asymptotically hyperbolic. We show that, if the cut-off resolvent satisfies polynomial estimates in a strip of size $O(h |\log h|^{-\alpha})$ below the real axis, for some $\alpha\geq 0$, then the cut-off resolvent is actually bounded by $O(|\log h|^{\alpha+1} h^{-1})$ in this strip. As an application, we improve slightly the estimates on the real axis given by Bourgain and Dyatlov in the case of convex co-compact surfaces.


title: Effect of disorder on the optical response of NiPt and Ni$_3$Pt alloys

abstract: In this communication we present a detailed study of the effect of chemical disorder on the optical response of Ni$_{1-x}$Pt$_x$ (0.1$\leq$ x $\leq$0.75) and Ni$_{3(1-x)/3}$Pt$_x$ (0.1$\leq$ x $\leq$0.3). We shall propose a formalism which will combine a Kubo-Greenwood approach with a DFT based tight-binding linear muffin-tin orbitals (TB-LMTO) basis and augmented space recursion (ASR) technique to explicitly incorporate the effect of disorder. We show that chemical disorder has a large impact on optical response of Ni-Pt systems. In ordered Ni-Pt alloys, the optical conductivity peaks are sharp. But as we switch on chemical disorder, the UV peak becomes broadened and its position as a function of composition and disorder carries the signature of a phase transition from NiPt to Ni$_3$Pt with decreasing Pt concentration. Quantitatively this agrees well with Massalski's Ni-Pt phase diagram \cite{massal}. Both ordered NiPt and Ni$_3$Pt have an optical conductivity transition at 4.12 eV. But disordered NiPt has an optical conductivity transition at 3.93 eV. If we decrease the Pt content, it results a chemical phase transition from NiPt to Ni$_3$Pt and shifts the peak position by 1.67 eV to the ultraviolet range at 5.6 eV. There is a significant broadening of UV peak with increasing Pt content due to enhancement of 3d(Ni)-5d(Pt) bonding. Chemical disorder enhances the optical response of NiPt alloys nearly one order of magnitude. Our study also shows the fragile magnetic effect on optical response of disordered Ni$_{1-x}$Pt$_x$ (0.4$<$ x $<$0.6) binary alloys. Our theoretical predictions agree more than reasonably well with both earlier experimental as well as theoretical investigations.


title: On the link between column density distribution and density scaling relation in star formation regions

abstract: We present a method to derive the density scaling relation $\langle n\rangle \propto L^{-\alpha}$ in regions of star formation or in their turbulent vicinities from straightforward binning of the column-density distribution ($N$-pdf). The outcome of the method is studied for three types of $N$-pdf: power law ($7/5\le\alpha\le5/3$), lognormal ($0.7\lesssim\alpha\lesssim1.4$) and combination of lognormals. In the last case, the method of Stanchev et al. (2015) was also applied for comparison and a very weak (or close to zero) correlation was found. We conclude that the considered `binning approach' reflects rather the local morphology of the $N$-pdf with no reference to the physical conditions in a considered region. The rough consistency of the derived slopes with the widely adopted Larson's (1981) value $\alpha\sim1.1$ is suggested to support claims that the density-size relation in molecular clouds is indeed an artifact of the observed $N$-pdf.


title: Exact augmented Lagrangian functions for nonlinear semidefinite programming

abstract: In this paper, we study augmented Lagrangian functions for nonlinear semidefinite programming (NSDP) problems with exactness properties. The term exact is used in the sense that the penalty parameter can be taken appropriately, so a single minimization of the augmented Lagrangian recovers a solution of the original problem. This leads to reformulations of NSDP problems into unconstrained nonlinear programming ones. Here, we first establish a unified framework for constructing these exact functions, generalizing Di Pillo and Lucidi's work from 1996, that was aimed at solving nonlinear programming problems. Then, through our framework, we propose a practical augmented Lagrangian function for NSDP, proving that it is continuously differentiable and exact under the so-called nondegeneracy condition. We also present some preliminary numerical experiments.


title: Static and dynamic properties of Josephson weak links with singlet and triplet coupling

abstract: We theoretically study static and dynamic properties of short Josephson junctions (JJ) with singlet and triplet Josephson coupling. In singlet Josephson weak links, two singlet superconductors S are connected with each other by a normal film (N) or wire. Triplet JJs, which we denote S$_{\text{m}}$/N(F)/S$_{\text{m}}$, are formed by two singlet BCS superconductors covered by a thin layer of a weak ferromagnet F$_{\text{w}}$. These superconductors S$_{\text{m}}$ are separated from the N (or F) layer by spin filters, which pass electrons with only one spin orientation. The triplet Cooper pairs propagating from the left (right) superconductors S$_{\text{m}}$ differ from each other not only by polarizations, but also by chiralities. The latter is determined by the magnetization orientation in weak ferromagnets F$_{\text{w}}$. We obtain analytical formulas for the critical Josephson current in both types of the JJs. If chiralities of the triplet Cooper pairs penetrating into the N film in S$_{\text{m}}$/N(F)/S$_{\text{m}}$ JJs from the left and right S$_{\text{m}}$ are different, the Josephson current is not zero in the absence of the phase difference (spontaneous Josephson current). We also calculate the admittance $Y(\Omega)$ for arbitrary frequencies $\Omega$ in the case of singlet JJs and for low frequencies in the case of triplet JJs. At low temperatures $T$, the real part of the admittance $Y^{\prime}(\Omega)$ in singlet JJs starts to increase from zero at ${\hbar \Omega \geq \Delta_{\text{sg}}}$, but at ${T \geq \Delta_{\text{sg}}}$, it has a peak at low frequencies the magnitude of which is determined by inelastic processes. The subgap $\Delta_{\text{sg}}$ depends on transparencies of the S/N interfaces and on the phase difference $2 \chi_{0}$. The low-frequency peak in $Y^{\prime}(\Omega)$ in triplet JJs disappears.


title: Corrigendum to "Model Theory of Fields with Virtually Free Group Actions"

abstract: There is an irreparable error in the proof of Theorem 3.26 in our "Model Theory of Fields with Virtually Free Group Actions" paper and we withdraw the claim of having proved that theorem. In fact, that theorem is false in a very strong sense.


title: Cross-code gyrokinetic verification and benchmark on the linear collisionless dynamics of the geodesic acoustic mode

abstract: The linear properties of the geodesic acoustic modes (GAM) in tokamaks are investigated by means of the comparison of analytical theory and gyrokinetic numerical simulations. The dependence on the value of the safety factor, finite-orbit-width of the ions in relation to the radial mode width, magnetic-flux-surface shaping, and electron/ion mass ratio are considered. Nonuniformities in the plasma profiles (such as density, temperature, or safety factor), electro-magnetic effects, collisions and presence of minority species are neglected. Also, only linear simulations are considered, focusing on the local dynamics. We use three different gyrokinetic codes: the lagrangian (particle-in-cell) code ORB5, the eulerian code GENE and semi-lagrangian code GYSELA. One of the main aims of this paper is to provide a detailed comparison of the numerical results and analytical theory, in the regimes where this is possible. This helps understanding better the behavior of the linear GAM dynamics in these different regimes, the behavior of the codes, which is crucial in the view of a future work where more physics is present, and the regimes of validity of each specific analytical dispersion relation.


title: MF traces and the Cuntz semigroup

abstract: A trace $\tau$ on a separable C*-algebra $A$ is called matricial field (MF) if there is a trace-preserving morphism from $A$ to $Q_\omega$, where $Q_\omega$ denotes the norm ultrapower of the universal UHF-algebra $Q$. In general, the trace $\tau$ induces a state on the Cuntz semigroup $Cu(A)$. We show there is always a state-preserving morphism from $Cu(A)$ to $Cu(Q_\omega)$. As an application, if $A$ is an AI-algebra and $F$ is a free group acting on $A$, then every trace on the reduced crossed product $A \rtimes F$ is MF. This further implies the same result when $A$ is an AH-algebra with the ideal property such that $K_1(A)$ is a torsion group. We also use this to characterize when $A \rtimes F$ is MF (i.e. admits an isometric morphism into $Q_\omega$) for many simple, nuclear C*-algebras $A$.


title: A data-driven workflow for predicting horizontal well production using vertical well logs

abstract: In recent work, data-driven sweet spotting technique for shale plays previously explored with vertical wells has been proposed. Here, we extend this technique to multiple formations and formalize a general data-driven workflow to facilitate feature extraction from vertical well logs and predictive modeling of horizontal well production. We also develop an experimental framework that facilitates model selection and validation in a realistic drilling scenario. We present some experimental results using this methodology in a field with 90 vertical wells and 98 horizontal wells, showing that it can achieve better results in terms of predictive ability than kriging of known production values.


title: Application of Differential Equations in Projecting Growth Trajectories

abstract: Mathematical method based on a direct or indirect analysis of growth rates is described. It is shown how simple assumptions and a relatively easy analysis can be used to describe mathematically complicated trends and to predict growth. Only rudimentary knowledge of calculus is required. Projected trajectories based on such simple initial assumptions are easier to accept and to understand than alternative complicated projections based on more complicated assumptions and on more intricate computational procedures. Examples of the growth of population and of the growth of the Gross Domestic Product are used to illustrate the application of this method of forecasting.


title: Robust Chance-Constrained Optimization for Power-Efficient and Secure SWIPT Systems

abstract: In this paper, we propose beamforming schemes to simultaneously transmit data securely to multiple information receivers (IRs) while transferring power wirelessly to multiple energy-harvesting receivers (ERs). Taking into account the imperfection of the instantaneous channel state information (CSI), we introduce a chance-constrained optimization problem to minimize the total transmit power while guaranteeing data transmission reliability, data transmission security, and power transfer reliability. As the proposed optimization problem is non-convex due to the chance constraints, we propose two robust reformulations of the original problem based on safe-convex-approximation techniques. Subsequently, applying semidefinite programming relaxation (SDR), the derived robust reformulations can be effectively solved by standard convex optimization packages. We show that the adopted SDR is tight and thus the globally optimal solutions of the reformulated problems can be recovered. Simulation results confirm the superiority of the proposed methods in guaranteeing transmission security compared to a baseline scheme. Furthermore, the performance of proposed methods can closely follow that of a benchmark scheme where perfect CSI is available for resource allocation.


title: Exemplar or Matching: Modeling DCJ Problems with Unequal Content Genome Data

abstract: The edit distance under the DCJ model can be computed in linear time for genomes with equal content or with Indels. But it becomes NP-Hard in the presence of duplications, a problem largely unsolved especially when Indels are considered. In this paper, we compare two mainstream methods to deal with duplications and associate them with Indels: one by deletion, namely DCJ-Indel-Exemplar distance; versus the other by gene matching, namely DCJ-Indel-Matching distance. We design branch-and-bound algorithms with set of optimization methods to compute exact distances for both. Furthermore, median problems are discussed in alignment with both of these distance methods, which are to find a median genome that minimizes distances between itself and three given genomes. Lin-Kernighan (LK) heuristic is leveraged and powered up by sub-graph decomposition and search space reduction technologies to handle median computation. A wide range of experiments are conducted on synthetic data sets and real data sets to show pros and cons of these two distance metrics per se, as well as putting them in the median computation scenario.


title: Agent-Centric Risk Assessment: Accident Anticipation and Risky Region Localization

abstract: For survival, a living agent must have the ability to assess risk (1) by temporally anticipating accidents before they occur, and (2) by spatially localizing risky regions in the environment to move away from threats. In this paper, we take an agent-centric approach to study the accident anticipation and risky region localization tasks. We propose a novel soft-attention Recurrent Neural Network (RNN) which explicitly models both spatial and appearance-wise non-linear interaction between the agent triggering the event and another agent or static-region involved. In order to test our proposed method, we introduce the Epic Fail (EF) dataset consisting of 3000 viral videos capturing various accidents. In the experiments, we evaluate the risk assessment accuracy both in the temporal domain (accident anticipation) and spatial domain (risky region localization) on our EF dataset and the Street Accident (SA) dataset. Our method consistently outperforms other baselines on both datasets.


title: Combining $\nu_e$ Appearance and $\nu_\mu$ Disappearance Channels in Light Sterile Neutrino Oscillation Searches at Fermilab's Short-Baseline Neutrino Facility

abstract: Of late, a number of instances of neutrino flux anomalies observed at short-baselines have given traction to the hypothesis of adding new neutrino flavours to our Standard Model set, albeit ones not associated with a partnered lepton. Anomalies observed at LSND, MiniBooNE and at short distances from nuclear reactors have suggested the existence of sterile mass states with masses on the scale of $\sim1\text{eV}$, prompting further investigations. Subsequently, Fermilab is set to host a Short-Baseline Neutrino (SBN) oscillation program which will cross-check each of these anomalies by deploying three state-of-the-art liquid argon detectors along the Booster Neutrino Beamline. Through an event-by-event Monte Carlo simulation study, this document presents short-baseline oscillation sensitivity predictions for SBN on a purely statistical basis in the scope of a 3+1 sterile neutrino model approximated with a two flavour mixing basis. As a world's first, sensitivities in parameter space to 3+1 mixing angles $\theta_{14}$ and $\theta_{24}$ are presented, in addition to the sensitivities gained by combining $\nu_\mu$ disappearance and $\nu_e$ appearance channel data. Provided also are energy spectra and 3+1 oscillation parameter sensitivity predictions for these two individual channels. The results agreed with parameter space sensitivity predictions already conceived by Fermilab to a satisfactory degree.


title: The modified Camassa-Holm equation in Lagrangian coordinates

abstract: In this paper, we study the modified Camassa-Holm (mCH) equation in Lagrangian coordinates. For some initial data $m_0$, we show that classical solutions to this equation blow up in finite time $T_{max}$. Before $T_{max}$, existence and uniqueness of classical solutions are established. Lifespan for classical solutions is obtained: $T_{max}\geq \frac{1}{||m_0||_{L^\infty}||m_0||_{L^1}}.$ And there is a unique solution $X(\xi,t)$ to the Lagrange dynamics which is a strictly monotonic function of $\xi$ for any $t\in[0,T_{max})$: $X_\xi(\cdot,t)>0$. As $t$ approaching $T_{max}$, we prove that classical solution $m(\cdot ,t)$ in Eulerian coordinate has a unique limit $m(\cdot,T_{max})$ in Radon measure space and there is a point $\xi_0$ such that $X_\xi(\xi_0,T_{max})=0$ which means $T_{max}$ is an onset time of collision of characteristics. We also show that in some cases peakons are formed at $T_{max}$. After $T_{max}$, we regularize the Lagrange dynamics to prove global existence of weak solutions $m$ in Radon measure space.


title: Totally Reflexive Modules and Poincar\'{e} Series

abstract: We study Cohen-Macaulay non-Gorenstein local rings $(R,\mathfrak{m},k)$ admitting certain totally reflexive modules. More precisely, we give a description of the Poincar\'{e} series of $k$ by using the Poincar\'{e} series of a non-zero totally reflexive module with minimal multiplicity. Our results generalize a result of Yoshino to higher-dimensional Cohen-Macaulay local rings. Moreover, from a quasi-Gorenstein ideal satisfying some conditions, we construct a family of non-isomorphic indecomposable totally reflexive modules having an arbitrarily large minimal number of generators.


title: Stepwise Debugging of Answer-Set Programs

abstract: We introduce a stepping methodology for answer-set programming (ASP) that allows for debugging answer-set programs and is based on the stepwise application of rules. Similar to debugging in imperative languages, where the behaviour of a program is observed during a step-by-step execution, stepping for ASP allows for observing the effects that rule applications have in the computation of an answer set. While the approach is inspired from debugging in imperative programming, it is conceptually different to stepping in other paradigms due to non-determinism and declarativity that are inherent to ASP. In particular, unlike statements in an imperative program that are executed following a strict control flow, there is no predetermined order in which to consider rules in ASP during a computation. In our approach, the user is free to decide which rule to consider active in the next step following his or her intuition. This way, one can focus on interesting parts of the debugging search space. Bugs are detected during stepping by revealing differences between the actual semantics of the program and the expectations of the user. As a solid formal basis for stepping, we develop a framework of computations for answer-set programs. For fully supporting different solver languages, we build our framework on an abstract ASP language that is sufficiently general to capture different solver languages. To this end, we make use of abstract constraints as an established abstraction for popular language constructs such as aggregates. Stepping has been implemented in SeaLion, an integrated development environment for ASP. We illustrate stepping using an example scenario and discuss the stepping plugin of SeaLion. Moreover, we elaborate on methodological aspects and the embedding of stepping in the ASP development process.


title: Numerical solution of fractional elliptic stochastic PDEs with spatial white noise

abstract: The numerical approximation of solutions to stochastic partial differential equations with additive spatial white noise on bounded domains in $\mathbb{R}^d$ is considered. The differential operator is given by the fractional power $L^\beta$, $\beta\in(0,1)$, of an integer order elliptic differential operator $L$ and is therefore non-local. Its inverse $L^{-\beta}$ is represented by a Bochner integral from the Dunford-Taylor functional calculus. By applying a quadrature formula to this integral representation, the inverse fractional power operator $L^{-\beta}$ is approximated by a weighted sum of non-fractional resolvents $(I + t_j^2 L)^{-1}$ at certain quadrature nodes $t_j>0$. The resolvents are then discretized in space by a standard finite element method. This approach is combined with an approximation of the white noise, which is based only on the mass matrix of the finite element discretization. In this way, an efficient numerical algorithm for computing samples of the approximate solution is obtained. For the resulting approximation, the strong mean-square error is analyzed and an explicit rate of convergence is derived. Numerical experiments for $L=\kappa^2-\Delta$, $\kappa > 0$, with homogeneous Dirichlet boundary conditions on the unit cube $(0,1)^d$ in $d=1,2,3$ spatial dimensions for varying $\beta\in(0,1)$ attest the theoretical results.


title: Learning Texture Manifolds with the Periodic Spatial GAN

abstract: This paper introduces a novel approach to texture synthesis based on generative adversarial networks (GAN) (Goodfellow et al., 2014). We extend the structure of the input noise distribution by constructing tensors with different types of dimensions. We call this technique Periodic Spatial GAN (PSGAN). The PSGAN has several novel abilities which surpass the current state of the art in texture synthesis. First, we can learn multiple textures from datasets of one or more complex large images. Second, we show that the image generation with PSGANs has properties of a texture manifold: we can smoothly interpolate between samples in the structured noise space and generate novel samples, which lie perceptually between the textures of the original dataset. In addition, we can also accurately learn periodical textures. We make multiple experiments which show that PSGANs can flexibly handle diverse texture and image data sources. Our method is highly scalable and it can generate output images of arbitrary large size.


title: Controlling the time discretization bias for the supremum of Brownian Motion

abstract: We consider the bias arising from time discretization when estimating the threshold crossing probability $w(b) := \mathbb{P}(\sup_{t\in[0,1]} B_t > b)$, with $(B_t)_{t\in[0,1]}$ a standard Brownian Motion. We prove that if the discretization is equidistant, then to reach a given target value of the relative bias, the number of grid points has to grow quadratically in $b$, as $b$ grows. When considering non-equidistant discretizations (with threshold-dependent grid points), we can substantially improve on this: we show that for such grids the required number of grid points is independent of $b$, and in addition we point out how they can be used to construct a strongly efficient algorithm for the estimation of $w(b)$. Finally, we show how to apply the resulting algorithm for a broad class of stochastic processes; it is empirically shown that the threshold-dependent grid significantly outperforms its equidistant counterpart.


title: Locating and counting equilibria of the Kuramoto model with rank one coupling

abstract: The Kuramoto model describes synchronization behavior among coupled oscillators and enjoys successful application in a wide variety of fields. Many of these applications seek phase-coherent solutions, i.e., equilibria of the model. Historically, research has focused on situations where the number of oscillators, $n$, is extremely large and can be treated as being infinite. More recently, however, applications have arisen in areas such as electrical engineering with more modest values of $n$. For these, the equilibria can be located by finding the real solutions of a system of polynomial equations utilizing techniques from algebraic geometry. However, typical methods for solving such systems locate all complex solutions even though only the real solutions give equilibria. In this paper, we present an algorithm to locate only the real solutions of the model, thereby shortening computation time by several orders of magnitude in certain situations. This is accomplished by choosing specific equilibria representatives and the consequent algebraic decoupling of the system. The correctness of the algorithm (that it finds only and all the equilibria) is proved rigorously. Additionally, the algorithm can be implemented using interval methods so that the equilibria can be approximated up to any given precision without significantly more computational effort. We also compare this solving approach to other computational algebraic geometric methods. Furthermore, analyzing this approach allows us to prove, asymptotically, that the maximum number of equilibria grows at the same rate as the number of complex solutions of a corresponding polynomial system. Finally, we conjecture an upper bound on the maximum number of equilibria for any number of oscillators which generalizes the known cases and is obtained on a range of explicitly provided natural frequencies.


title: Harmonic analysis for the bi-free partial S-transform

abstract: This is a continuation of our previous work in bi-free harmonic analysis for commuting left and right variables. Here we analyze the bi-free partial S-transform and use the results to study limit theorems and infinite divisibility relative to the multiplicative bi-free convolution.


title: Nesting-induced Local Electronic Patterns around a Single As (Te, Se) Vacancy in Iron-based Superconductors

abstract: The local electronic states around a single As (Te, Se) vacancy are investigated in order to shed light on the role of ligands in a series of iron-based superconductors. Such a vacancy can produce a local hopping correction ranging from $-0.22$ eV to 0.12 eV and always induce two in-gap resonance peaks in the local density of states (LDOS) at the fixed symmetrical bias voltages, which are rather robust and irrelevant to the phase of superconducting order parameter. The LDOS images near the defect predominantly possess $0^o$ and $45^o$ stripes. These energy-dependent charge modulations created by quasiparticle interference are originated in the nesting effect between the inner (outer) hole Fermi surface around $\Gamma$ point and the inner (outer) electron Fermi surface around $M$ point.


title: A non-perturbative field theory approach for the Kondo effect: Emergence of an extra dimension and its implication for the holographic duality conjecture

abstract: Implementing Wilsonian renormalization group transformations in an iterative way, we develop a non-perturbative field theoretical framework, which takes into account all-loop quantum corrections organized in the $1/N$ expansion, where $N$ represents the flavor number of quantum fields. The resulting classical field theory is given by an effective Landau-Ginzburg theory for a local order parameter field, which appears in one-dimensional higher spacetime. We claim that such all-loop quantum corrections are introduced into an equation of motion for the order parameter field through the evolution in the emergent extra dimension. Based on this non-perturbative theoretical framework, we solve the Kondo effect, where the quantum mechanics problem in the projective formulation is mapped into a Landau-Ginzburg field theory for the hybridization order parameter field with an emergent extra dimension. We confirm the non-perturbative nature of this field theoretical framework. Intriguingly, we show that the Wilsonian renormalization group method can explain non-perturbative thermodynamic properties of an impurity consistent with the Bethe ansatz solutions. Finally, we speculate how our non-perturbative field theoretical framework can be connected with the AdS$_{d+2}$/CFT$_{d+1}$ duality conjecture.


title: Geometric quantization of semitoric systems and almost toric manifolds

abstract: Kostant gave a model for the real geometric quantization associated to polarizations via the cohomology associated to the sheaf of flat sections of a pre-quantum line bundle. This model is well-adapted for real polarizations given by integrable systems and toric manifolds. In the latter case, the cohomology can be computed counting integral points inside the associated Delzant polytope. In this article we extend Kostant's geometric quantization to semitoric integrable systems and almost toric manifolds. In these cases the dimension of the acting torus is smaller than half of the dimension of the manifold. In particular, we compute the cohomology groups associated to the geometric quantization if the real polarization is the one associated to an integrable system with focus-focus type singularities in dimension four. As application we determine models for the geometric quantization of K3 surfaces, a spin-spin system, the spherical pendulum, and a spin-oscillator system under this scheme.


title: Online learnability of Statistical Relational Learning in anomaly detection

abstract: Statistical Relational Learning (SRL) methods for anomaly detection are introduced via a security-related application. Operational requirements for online learning stability are outlined and compared to mathematical definitions as applied to the learning process of a representative SRL method - Bayesian Logic Programs (BLP). Since a formal proof of online stability appears to be impossible, tentative common sense requirements are formulated and tested by theoretical and experimental analysis of a simple and analytically tractable BLP model. It is found that learning algorithms in initial stages of online learning can lock on unstable false predictors that nevertheless comply with our tentative stability requirements and thus masquerade as bona fide solutions. The very expressiveness of SRL seems to cause significant stability issues in settings with many variables and scarce data. We conclude that reliable anomaly detection with SRL-methods requires monitoring by an overarching framework that may involve a comprehensive context knowledge base or human supervision.


title: Evaluation of Counterfactuality in Counterfactual Communication Protocols

abstract: We provide an in-depth investigation of parameter estimation in Nested Mach-Zehnder interferometers (NMZIs) using two information measures: the Shannon mutual information and the classical Fisher information. Protocols for counterfactual communition (CFC) have, so far, been based on two different definitions of counterfactuality. In particular, some schemes have been based on NMZI devices, but have recently been subject to criticism. We provide a methodology for evaluating the counterfactuality of these protocols, based on an information theoretical framework. More specifically, we make the assumption that any realistic quantum channel in MZI structures will have some weak uncontrolled interaction, and we use the Fisher information to measure counterfactual violations. The measure is used to evaluate the suggested counterfactual communication protocol by Salih et al. \cite{Salih13}. The protocol of Arvidsson-Shukur and Barnes \cite{ArvShukur16}, based on a different definition, is evaluated with a probability measure. Our results show that the definition of Arvidsson-Shukur and Barnes is satisfied by their scheme, whilst that of Salih et al. is only satisfied by perfect quantum channels. For realistic devices the latter protocol does not achieve its objective.


title: Sympiler: Transforming Sparse Matrix Codes by Decoupling Symbolic Analysis

abstract: Sympiler is a domain-specific code generator that optimizes sparse matrix computations by decoupling the symbolic analysis phase from the numerical manipulation stage in sparse codes. The computation patterns in sparse numerical methods are guided by the input sparsity structure and the sparse algorithm itself. In many real-world simulations, the sparsity pattern changes little or not at all. Sympiler takes advantage of these properties to symbolically analyze sparse codes at compile-time and to apply inspector-guided transformations that enable applying low-level transformations to sparse codes. As a result, the Sympiler-generated code outperforms highly-optimized matrix factorization codes from commonly-used specialized libraries, obtaining average speedups over Eigen and CHOLMOD of 3.8X and 1.5X respectively.


title: On a property of norming constants of Sturm-Liouville problem

abstract: A connection, which shows the dependence of norming constants on boundary conditions, was found using the Gelfand-Levitan method for the solution of inverse Sturm-Liouville problem.


title: Area Operator in Loop Quantum Gravity

abstract: A hyperlink is a finite set of non-intersecting simple closed curves in $\mathbb{R} \times \mathbb{R}^3$. Let $S$ be an orientable surface in $\mathbb{R}^3$. The dynamical variables in General Relativity are the vierbein $e$ and a $\mathfrak{su}(2)\times\mathfrak{su}(2)$-valued connection $\omega$. Together with Minkowski metric, $e$ will define a metric $g$ on the manifold. Denote $A_S(e)$ as the area of $S$, for a given choice of $e$. The Einstein-Hilbert action $S(e,\omega)$ is defined on $e$ and $\omega$. We will quantize the area of the surface $S$ by integrating $A_S(e)$ against a holonomy operator of a hyperlink $L$, disjoint from $S$, and the exponential of the Einstein-Hilbert action, over the space of vierbeins $e$ and $\mathfrak{su}(2)\times\mathfrak{su}(2)$-valued connections $\omega$. Using our earlier work done on Chern-Simons path integrals in $\mathbb{R}^3$, we will write this infinite dimensional path integral as the limit of a sequence of Chern-Simons integrals. Our main result shows that the area operator can be computed from a link-surface diagram between $L$ and $S$. By assigning an irreducible representation of $\mathfrak{su}(2)\times\mathfrak{su}(2)$ to each component of $L$, the area operator gives the total net momentum impact on the surface $S$.


title: An evidential Markov decision making model

abstract: The sure thing principle and the law of total probability are basic laws in classic probability theory. A disjunction fallacy leads to the violation of these two classical laws. In this paper, an Evidential Markov (EM) decision making model based on Dempster-Shafer (D-S) evidence theory and Markov modelling is proposed to address this issue and model the real human decision-making process. In an evidential framework, the states are extended by introducing an uncertain state which represents the hesitance of a decision maker. The classical Markov model can not produce the disjunction effect, which assumes that a decision has to be certain at one time. However, the state is allowed to be uncertain in the EM model before the final decision is made. An extra uncertainty degree parameter is defined by a belief entropy, named Deng entropy, to assignment the basic probability assignment of the uncertain state, which is the key to predict the disjunction effect. A classical categorization decision-making experiment is used to illustrate the effectiveness and validity of EM model. The disjunction effect can be well predicted and the free parameters are less compared with the existing models.


title: Relativistic Newtonian Dynamics for Objects and Particles

abstract: Relativistic Newtonian Dynamics (RND) was introduced in a series of recent papers by the author, in partial cooperation with J. M. Steiner. RND was capable of describing non-classical behavior of motion under a central attracting force. RND incorporates the influence of potential energy on spacetime in Newtonian dynamics, treating gravity as a force in flat spacetime. It was shown that this dynamics predicts accurately gravitational time dilation, the anomalous precession of Mercury and the periastron advance of any binary. In this paper the model is further refined and extended to describe also the motion of both objects with non-zero mass and massless particles, under a conservative attracting force. It is shown that for any conservative force a properly defined energy is conserved on the trajectories and if this force is central, the angular momentum is also preserved. An RND equation of motion is derived for motion under a conservative force. As an application, it is shown that RND predicts accurately also the Shapiro time delay - the fourth test of GR.


abstract: The correlation of co-located hydrogen masers (H-masers) is difficult to measure because their common-mode noise induced by the environment will be cancelled out during the comparison measurement. With the development of fibre-based high-precision time and frequency transfer technique, the correlation of co-located hydrogen masers can be directly measured with the help of remote H-masers. Recently, a fiber-based frequency synchronization network was constructed in the Beijing region by connecting 5 H-masers from 4 institutions. The correlation coefficient of atomic clocks is defined and the correlation between two co-located H-masers is measured using both experimental and simulative methods. The results show that the correlation is not prominent until the averaging time is larger than $\sim10^3$s; then, the coefficient grows rapidly for averaging times ranging from $\sim10^3$s to $\sim10^5$s and decreases beyond $\sim10^5$s up to 5 days.


title: Products of Differences over Arbitrary Finite Fields

abstract: There exists an absolute constant $\delta > 0$ such that for all $q$ and all subsets $A \subseteq \mathbb{F}_q$ of the finite field with $q$ elements, if $|A| > q^{2/3 - \delta}$, then \[ |(A-A)(A-A)| = |\{ (a -b) (c-d) : a,b,c,d \in A\}| > \frac{q}{2}. \] Any $\delta < 1/13,542$ suffices for sufficiently large $q$. This improves the condition $|A| > q^{2/3}$, due to Bennett, Hart, Iosevich, Pakianathan, and Rudnev, that is typical for such questions. Our proof is based on a qualitatively optimal characterisation of sets $A,X \subseteq \mathbb{F}_q$ for which the number of solutions to the equation \[ (a_1-a_2) = x (a_3-a_4) \, , \; a_1,a_2, a_3, a_4 \in A, x \in X \] is nearly maximum. A key ingredient is determining exact algebraic structure of sets $A, X$ for which $|A + XA|$ is nearly minimum, which refines a result of Bourgain and Glibichuk using work of Gill, Helfgott, and Tao. We also prove a stronger statement for \[ (A-B)(C-D) = \{ (a -b) (c-d) : a \in A, b \in B, c \in C, d \in D\} \] when $A,B,C,D$ are sets in a prime field, generalising a result of Roche-Newton, Rudnev, Shkredov, and the authors.


title: Physical Attributes of Anisotropic Compact Stars in $f(R,G)$ Gravity

abstract: Modified gravity is one of the potential candidates to explain the accelerated expansion of the universe. Current study highlights the materialization of anisotropic compact stars in the context of $f(R,G)$ theory of gravity. In particular, to gain insight in the physical behavior of three stars namely, Her $X1$, SAX J $1808$-$3658$ and 4U $1820$-$30$, energy density, and radial and tangential pressures are calculated. The $f(R,G)$ gravity model is split into a Starobinsky like $f(R)$ model and a power law $f(G)$ model. The main feature of the work is a $3$-dimensional graphical analysis in which, anisotropic measurements, energy conditions and stability attributes of these stars are discussed. It is shown that all three stars behave as usual for positive values of $f(G)$ model parameter $n$.


title: Constraining sleptons at the LHC in a supersymmetric low-scale seesaw scenario

abstract: We consider a scenario inspired by natural supersymmetry, where neutrino data is explained within a low-scale seesaw scenario. We extend the Minimal Supersymmetric Standard Model by adding light right-handed neutrinos and their superpartners, the R-sneutrinos, and consider the lightest neutralinos to be higgsino-like. We consider the possibilities of having either an R-sneutrino or a higgsino as lightest supersymmetric particle. Assuming that squarks and gauginos are heavy, we systematically evaluate the bounds on slepton masses due to existing LHC data.


title: Distribution of the number of particles in the final state of hadron-nucleus collisions

abstract: Recently, Liou, Mueller and Munier have argued that proton-nucleus collisions at the LHC may give access to the full statistics of the event-by-event fluctuations of the gluon density in the proton. Indeed, the number of particles produced in an event in rapidity slices in the fragmentation region of the proton may, under some well-defined assumptions, be directly related to the number of gluons which have a transverse momentum larger than the nuclear saturation scale present in the proton at the time of the interaction with the nucleus. A first calculation of the probability distribution of the number of gluons in a hadron was performed, using the color dipole model. In this talk, we review this proposal, and present preliminary numerical calculations which support the analytical results obtained so far.


title: Flat spin connections in the Teleparallel equivalent of General Relativity

abstract: This work generalizes the treatment of flat spin connections in the teleparallel equivalent of general relativity. It is shown that a general flat spin connection form a subspace in the affine space of spin connections which is dynamically decoupled from the tetrad and the matter fields. A translation in the affine subspace introduces a torsion term without changing the tetrad. Instead, the change in the torsion is related to the introduction of a global acceleration field term that introduces Lorentz inertial effects in the reference frame. The dynamics of the gravitationally coupled matter fields remains however equivalent regardless of the flat spin connection chosen. The implications of the break of this invariance by a general $f(T)$ and $f(R)$ is discussed.


title: Opportunities in Software Engineering Research for Web API Consumption

abstract: Nowadays, invoking third party code increasingly involves calling web services via their web APIs, as opposed to the more traditional scenario of downloading a library and invoking the library's API. However, there are also new challenges for developers calling these web APIs. In this paper, we highlight a broad set of these challenges and argue for resulting opportunities for software engineering research to support developers in consuming web APIs. We outline two specific research threads in this context: (1) web API specification curation, which enables us to know the signatures of web APIs, and (2) static analysis that is capable of extracting URLs, HTTP methods etc. of web API calls. Furthermore, we present new work on how we combine (1) and (2) to provide IDE support for application developers consuming web APIs. As web APIs are used broadly, research in supporting the consumption of web APIs offers exciting opportunities.


title: Superconductivity and charge carrier localization in ultrathin $\mathbf{{La_{1.85}Sr_{0.15}CuO_4}/{La_2CuO_4}}$ bilayers

abstract: $\mathrm{La_{1.85}Sr_{0.15}CuO_4}$/$\mathrm{La_2CuO_4}$ (LSCO15/LCO) bilayers with a precisely controlled thickness of N unit cells (UCs) of the former and M UCs of the latter ([LSCO15\_N/LCO\_M]) were grown on (001)-oriented {\slao} (SLAO) substrates with pulsed laser deposition (PLD). X-ray diffraction and reciprocal space map (RSM) studies confirmed the epitaxial growth of the bilayers and showed that a [LSCO15\_2/LCO\_2] bilayer is fully strained, whereas a [LSCO15\_2/LCO\_7] bilayer is already partially relaxed. The \textit{in situ} monitoring of the growth with reflection high energy electron diffraction (RHEED) revealed that the gas environment during deposition has a surprisingly strong effect on the growth mode and thus on the amount of disorder in the first UC of LSCO15 (or the first two monolayers of LSCO15 containing one $\mathrm{CuO_2}$ plane each). For samples grown in pure $\mathrm{N_2O}$ gas (growth type-B), the first LSCO15 UC next to the SLAO substrate is strongly disordered. This disorder is strongly reduced if the growth is performed in a mixture of $\mathrm{N_2O}$ and $\mathrm{O_2}$ gas (growth type-A). Electric transport measurements confirmed that the first UC of LSCO15 next to the SLAO substrate is highly resistive and shows no sign of superconductivity for growth type-B, whereas it is superconducting for growth type-A. Furthermore, we found, rather surprisingly, that the conductivity of the LSCO15 UC next to the LCO capping layer strongly depends on the thickness of the latter. A LCO capping layer with 7~UCs leads to a strong localization of the charge carriers in the adjacent LSCO15 UC and suppresses superconductivity. The magneto-transport data suggest a similarity with the case of weakly hole doped LSCO single crystals that are in a so-called {"{cluster-spin-glass state}"}


title: Does a growing static length scale control the glass transition?

abstract: Several theories of the glass transition propose that the structural relaxation time {\tau}{\alpha} is controlled by a growing static length scale {\xi} that is determined by the free energy landscape but not by the local dynamical rules governing its exploration. We argue, based on recent simulations using particle-radius-swap dynamics, that only a modest factor in the increase in {\tau}{\alpha} on approach to the glass transition may stem from the growth of a static length, with a vastly larger contribution attributable instead to a slowdown of local dynamics. This reinforces arguments that we base on the observed strong coupling of particle diffusion and density fluctuations in real glasses


title: A Characterization of Polynomially Convex Sets in Banach Spaces

abstract: Let $E$ be a Banach space and $\X$ be the closed unit ball of the dual space $E^*$. For a compact set $K$ in $E$, we prove that $K$ is polynomially convex in $E$ if and only if there exist a unital commutative Banach algebra $A$ and a continuous function $f:\X\to A$ such that (1) $A$ is generated by $f(\X)$, (2) the character space of $A$ is homeomorphic to $K$, and (3) $K=\vsp(f)$ the joint spectrum of $f$. In case $E=\c(X)$, where $X$ is a compact Hausdorff space, we will see that $\X$ can be replaced by $X$.


title: Study of diatomic molecules under short intense laser pulses

abstract: In this work we report ab initio calculations for the $H_2^+$ molecule interacting with ultrashort intense laser pulses. We analyse several observables that can, in principle, be available experimentally, in order to get a deeper understanding of the strong field molecular dynamics. In particular, we will focus our attention to the interplay between electronic and nuclear dynamics and how the two motions are correlated. We have extended the Resolvent Technique to molecules and we have extracted the correlated energy spectra in different regimes of ionization: from the perturbative regime to the tunneling ionization regime. We have applied this new method, called resolvent operator method (ROM), to a 1+1D model of the $H_2^+$ molecule. We have applied this method to several photoionization regimes and we have compared with previous results in the literature. We show that the correlated spectra can provide us much more information than the integrated spectra on the electron or nuclear energy. We report the correlated energy spectrum from the multiphoton ionization to the tunneling ionization regime and how the sharing of the excess energy is different for the two regimes. We have also applied the ROM to a 3D model of the $H_2^+$ molecule in which angular distributions can be obtained. With these angular correlated spectra we show that the contributions of electrons coming from absorption of different number of photons can be disentangled. We have calculated the high harmonic spectra for a 3D model of the $H_2^+$ molecule and its isotopes. In these calculations we have observed that for sufficiently long pulses and for light molecules we observe even harmonic generation, a phenomenon that is not expected in a centrosymmetric molecule.


title: Static traversable wormholes in Lyra manifold

abstract: At first, considering the Einstein framework, we introduce some new static traversable wormholes, and study the effects of a dark energy-like source on them. Thereinafter, a brief review on Einstein field equations in Lyra manifold is presented, and we address some static traversable wormholes in the Lyra manifold which satisfy the energy-conditions. It is also shown that solutions introduced in the Einstein framework may also meet the energy conditions in the Lyra manifold. Finally, we focus on vacuum Lyra manifold and find some traversable asymptotically flat wormholes. In summary, our study shows that it is theoretically possible to find a Lyra displacement vector field in a manner in which traversable wormholes satisfy the energy conditions in a Lyra manifold.


title: Synchronous Observation on the Spontaneous Transformation of Liquid Metal under Free Falling Microgravity Situation

abstract: The unusually high surface tension of room temperature liquid metal is molding it as unique material for diverse newly emerging areas. However, unlike its practices on earth, such metal fluid would display very different behaviors when working in space where gravity disappears and surface property dominates the major physics. So far, few direct evidences are available to understand such effect which would impede further exploration of liquid metal use for space. Here to preliminarily probe into this intriguing issue, a low cost experimental strategy to simulate microgravity environment on earth was proposed through adopting bridges with high enough free falling distance as the test platform. Then using digital cameras amounted along x, y, z directions on outside wall of the transparent container with liquid metal and allied solution inside, synchronous observations on the transient flow and transformational activities of liquid metal were performed. Meanwhile, an unmanned aerial vehicle was adopted to record the whole free falling dynamics of the test capsule from the far end which can help justify subsequent experimental procedures. A series of typical fundamental phenomena were thus observed as: (a) A relatively large liquid metal object would spontaneously transform from its original planar pool state into a sphere and float in the container if initiating the free falling; (b) The liquid metal changes its three-dimensional shape due to dynamic microgravity strength due to free falling and rebound of the test capsule; and (c) A quick spatial transformation of liquid metal immersed in the solution can easily be induced via external electrical fields. The mechanisms of the surface tension driven liquid metal actuation in space were interpreted. All these findings indicated that microgravity effect should be fully treated in developing future generation liquid metal space technologies.


title: Dynamics of Bianchi $VI_h$ Universe with Bulk Viscous Fluid in Modified Gravity

abstract: In this paper, the dynamical behavior of the anisotropic universe has been investigated in $f(R,T)$ theory of gravity. The functional $f(R,T)$ has been rescaled in the form $f(R,T)=\mu R+\mu T$, where $R$ is the Ricci scalar and $T$ is the trace of energy momentum tensor. Three cosmological models are constructed using the power law expansion in Bianchi type $VI_h$ ($BVI_h$) universe for three different values of $h=-1,0,1$, where the matter field is considered to be of bulk viscous fluid. It is found from the model that the anisotropic $BVI_h$ model in the modified theory of gravity is in agreement with a quintessence phase for the value of $h=-1$ and $0$. We could not obtain a viable cosmological model in accordance with the present day observations for $h=1$. The bulk viscous coefficient in both the cases are found to be positive and remain constant at late time. The physical behaviors of the models along with the energy conditions are also studied.


title: The Final Chapter In The Saga Of YIG

abstract: The magnetic insulator Yttrium Iron Garnet can be grown with exceptional quality, has a ferrimagnetic transition temperature of nearly 600 K, and is used in microwave and spintronic devices that can operate at room temperature. The most accurate prior measurements of the magnon spectrum date back nearly 40 years, but cover only 3 of the lowest energy modes out of 20 distinct magnon branches. Here we have used time-of-flight inelastic neutron scattering to measure the full magnon spectrum throughout the Brillouin zone. We find that the existing model of the excitation spectrum, well known from an earlier work titled "The Saga of YIG", fails to describe the optical magnon modes. Using a very general spin Hamiltonian, we show that the magnetic interactions are both longer-ranged and more complex than was previously understood. The results provide the basis for accurate microscopic models of the finite temperature magnetic properties of Yttrium Iron Garnet, necessary for next-generation electronic devices.


title: The mre11 A470 Alleles Influence the. Heritability and Segregation of Telosomes in Saccharomyces cerevisiae

abstract: Telomeres, the nucleoprotein complexes at the termini of linear chromosomes, are essential for the processes of end replication, end-protection, and chromatin segregation. The Mre11 complex is involved in multiple cellular roles in DNA repair and structure in the regulation and function of telomere size homeostasis. In this study, we characterize yeast telomere chromatin structure, phenotypic heritability, and chromatin segregation in both wild-type [MRE11] and A470 motif alleles. MRE11 strains confer a telomere size of 300 base pairs of G+T irregular simple sequence repeats. This DNA and a portion of subtelomeric DNA is embedded in a telosome: an MNase-resistant non-nucleosomal particle. Chromatin immunoprecipitation shows a three to four-fold lower occupancy of Mre11A470T proteins than wild-type proteins in telosomes. Telosomes containing the Mre11A470T protein confer a greater resistance to MNase digestion than wild-type telosomes. The integration of a wild-type MRE11 allele into an ectopic locus in the genome of a mre11A470T mutant and the introduction of a mre11A470T allele at an ectopic site in a wild-type strain lead to unexpectedly differing results. In each case, the replicated sister chromatids inherit telosomes containing only the protein encoded by the genomic mre11 locus, even in the presence of protein encoded by the opposing ectopic allele. We hypothesize that the telosome segregates by a conservative mechanism. These data support a mechanism for the linkage between sister chromatid replication and maintenance of either identical mutant or identical wild-type telosomes after replication of sister chromatids. These data suggest the presence of an active mechanism for chromatin segregation in yeast.


title: Simple modules and their essential extensions for skew polynomial rings

abstract: Let $R$ be a commutative Noetherian ring and $\alpha$ an automorphism of $R$. This paper addresses the question: when does the skew polynomial ring $S = R[\theta; \alpha]$ satisfy the property $(\diamond)$, that for every simple $S$-module $V$ the injective hull $E_S(V)$ of $V$ has all its finitely generated submodules Artinian. The question is largely reduced to the special case where $S$ is primitive, for which necessary and sufficient conditions are found, which however do not between them cover all possibilities. Nevertheless a complete characterisation is found when $R$ is an affine algebra over a field $k$ and $\alpha$ is a $k$-algebra automorphism - in this case $(\diamond)$ holds if and only if all simple $S$-modules are finite dimensional over $k$. This leads to a discussion, involving close study of some families of examples, of when this latter condition holds for affine $k$-algebras $S = R[\theta;\alpha]$. The paper ends with a number of open questions.


title: Factors in Recommending Contrarian Content on Social Media

abstract: Polarization is a troubling phenomenon that can lead to societal divisions and hurt the democratic process. It is therefore important to develop methods to reduce it. We propose an algorithmic solution to the problem of reducing polarization. The core idea is to expose users to content that challenges their point of view, with the hope broadening their perspective, and thus reduce their polarity. Our method takes into account several aspects of the problem, such as the estimated polarity of the user, the probability of accepting the recommendation, the polarity of the content, and popularity of the content being recommended. We evaluate our recommendations via a large-scale user study on Twitter users that were actively involved in the discussion of the US elections results. Results shows that, in most cases, the factors taken into account in the recommendation affect the users as expected, and thus capture the essential features of the problem.


title: The infinitely many zeros of stochastic coupled oscillators driven by random forces

abstract: In this work, previous results concerning the infinitely many zeros of single stochastic oscillators driven by random forces are extended to the general class of coupled stochastic oscillators. We focus on three main subjects: 1) the analysis of this oscillatory behavior for the case of coupled harmonic oscillators; 2) the identification of some classes of coupled nonlinear oscillators showing this oscillatory dynamics and 3) the capability of some numerical integrators - thought as discrete dynamical systems - for reproducing the infinitely many zeros of coupled harmonic oscillators driven by random forces.


title: Localized LRR on Grassmann Manifolds: An Extrinsic View

abstract: Subspace data representation has recently become a common practice in many computer vision tasks. It demands generalizing classical machine learning algorithms for subspace data. Low-Rank Representation (LRR) is one of the most successful models for clustering vectorial data according to their subspace structures. This paper explores the possibility of extending LRR for subspace data on Grassmann manifolds. Rather than directly embedding the Grassmann manifolds into the symmetric matrix space, an extrinsic view is taken to build the LRR self-representation in the local area of the tangent space at each Grassmannian point, resulting in a localized LRR method on Grassmann manifolds. A novel algorithm for solving the proposed model is investigated and implemented. The performance of the new clustering algorithm is assessed through experiments on several real-world datasets including MNIST handwritten digits, ballet video clips, SKIG action clips, DynTex++ dataset and highway traffic video clips. The experimental results show the new method outperforms a number of state-of-the-art clustering methods


title: Iterants, Idempotents and Clifford algebra in Quantum Theory

abstract: Projection operators are central to the algebraic formulation of quantum theory because both wavefunction and hermitian operators(observables) have spectral decomposition in terms of the spectral projections. Projection operators are hermitian operators which are idempotents also. We call them quantum idempotents. They are also important for the conceptual understanding of quantum theory because projection operators also represent observation process on quantum system. In this paper we explore the algebra of quantum idempotents and show that they generate Iterant algebra (defined in the paper), Lie algebra, Grassmann algebra and Clifford algebra which is very interesting because these later algebras were introduced for the geometry of spaces and hence are called geometric algebras. Thus the projection operator representation gives a new meaning to these geometric algebras in that they are also underlying algebras of quantum processes and also they bring geometry closer to the quantum theory. It should be noted that projection operators not only make lattices of quantum logic but they also span projective geometry. We will give iterant representations of framed braid group algebras, parafermion algebras and the $su(3)$ algebra of quarks. These representations are very striking because iterant algebra encodes the spatial and temporal aspects of recursive processes. In that regard our representation of these algebras for physics opens up entirely new perspectives of looking at fermions,spins and parafermions(anyons).


title: Middle dimensional symplectic rigidity and its effect on Hamiltonian PDEs

abstract: In the first part of the article we study Hamiltonian diffeomorphisms of $\mathbb{R}^{2n}$ which are generated by sub-quadratic Hamiltonians and prove a middle dimensional rigidity result for the image of coisotropic cylinders. The tools that we use are Viterbo's symplectic capacities and a series of inequalities coming from their relation with symplectic reduction. In the second part we consider the nonlinear string equation and treat it as an infinite-dimensional Hamiltonian system. In this context we are able to apply Kuksin's approximation by finite dimensional Hamiltonian flows and prove a PDE version of the rigidity result for coisotropic cylinders. As a particular example, this result can be applied to the Sine-Gordon equation.


title: On the peripheral spectrum of positive elements

abstract: We investigate the peripheral spectrum of irreducible positive elements of an ordered Banach algebra. In particular, we give conditions under which the peripheral spectrum contains (or coincides with) the cyclic group generated by a root of unity, and conditions under which the whole spectrum is invariant under the action of this cyclic group.


title: Distributed Deblurring of Large Images of Wide Field-Of-View

abstract: Image deblurring is an economic way to reduce certain degradations (blur and noise) in acquired images. Thus, it has become essential tool in high resolution imaging in many applications, e.g., astronomy, microscopy or computational photography. In applications such as astronomy and satellite imaging, the size of acquired images can be extremely large (up to gigapixels) covering wide field-of-view suffering from shift-variant blur. Most of the existing image deblurring techniques are designed and implemented to work efficiently on centralized computing system having multiple processors and a shared memory. Thus, the largest image that can be handle is limited by the size of the physical memory available on the system. In this paper, we propose a distributed nonblind image deblurring algorithm in which several connected processing nodes (with reasonable computational resources) process simultaneously different portions of a large image while maintaining certain coherency among them to finally obtain a single crisp image. Unlike the existing centralized techniques, image deblurring in distributed fashion raises several issues. To tackle these issues, we consider certain approximations that trade-offs between the quality of deblurred image and the computational resources required to achieve it. The experimental results show that our algorithm produces the similar quality of images as the existing centralized techniques while allowing distribution, and thus being cost effective for extremely large images.


title: Analysis of the effectiveness of the truth-spreading strategy for inhibiting rumors

abstract: Spreading truths is recognized as a feasible strategy for inhibiting rumors. This paper is devoted to assessing the effectiveness of the truth-spreading strategy. An individual-level rumor-truth spreading model (the generic URTU model) is derived. Under the model, two criteria for the termination of a rumor are presented. These criteria capture the influence of the network structures on the effectiveness of the truth-spreading strategy. Extensive simulations show that, when the rumor or the truth terminates, the dynamics of a simplified URTU model (the linear URTU model) fits well with the actual rumor-truth interplay process. Therefore, the generic URTU model forms a theoretical basis for assessing the effectiveness of the truth-spreading strategy for restraining rumors.


title: Striations in electronegative capacitively coupled radio-frequency plasmas: effects of the pressure, voltage, and electrode gap

abstract: Capacitively coupled radio-frequency (CCRF) CF_4 plasmas have been found to exhibit a self-organized striated structure at operating conditions, where the plasma is strongly electronegative and the ion-ion plasma in the bulk region (largely composed of CF_3^+ and F^- ions) resonates with the excitation frequency. In this work we explore the effects of the gas pressure, the RF voltage, and the electrode gap on this striated structure by Phase Resolved Optical Emission Spectroscopy and Particle-In-Cell/Monte Carlo Collisions simulations. The measured electronic excitation patterns at different external parameters show a good general agreement with the spatio-temporal plots of the ionization rate obtained from the simulations. For a fixed driving frequency the minima of the CF_3^+ and F^- ion densities (between the density peaks in the bulk) are comparable and independent of other external parameters. However, the ion density maxima generally increase as a function of the pressure or RF voltage, leading to the enhanced spatial modulation of plasma parameters. The striation gap (defined as the distance between two ion density peaks) is approximately inversely proportional to the pressure, while it exhibits a weak dependence on the RF voltage and the electrode gap. A transition between the striated and non-striated modes can be observed by changing either the pressure or the RF voltage; for 13.56 MHz and 18 MHz driving frequencies we present a phase diagram as a function of the pressure and voltage amplitude parameters.


title: On formation of singularity of the full compressible magnetohydrodynamic equations with zero heat conduction

abstract: We are concerned with the formation of singularity and breakdown of strong solutions to the Cauchy problem of the three-dimensional full compressible magnetohydrodynamic equations with zero heat conduction. It is proved that for the initial density allowing vacuum, the strong solution exists globally if the deformation tensor $\mathfrak{D}(\mathbf{u})$ and the pressure $P$ satisfy $\|\mathfrak{D}(\mathbf{u})\|_{L^{1}(0,T;L^\infty)}+\|P\|_{L^{\infty}(0,T;L^\infty)}<\infty$. In particular, the criterion is independent of the magnetic field. The logarithm-type estimate for the Lam{\'e} system and some delicate energy estimates play a crucial role in the proof.


title: Superfluid Gap in Neutron Matter from a Microscopic Effective Interaction

abstract: Correlated Basis Function (CBF) perturbation theory and the formalism of cluster expansions have been recently employed to obtain an effective interaction from a nuclear Hamiltonian strongly constrained by phenomenology. We report the results of a study of the superfluid gap in pure neutron matter, associated with the formation of Cooper pairs in the $^1S_0$ channel. The calculations have been carried out using an improved version of the CBF effective interaction, in which three-nucleon forces are taken into account using a microscopic model. Our results show that a non-vanishing superfluid gap develops at densities in the range $2 \times 10^{-4} \lesssim \rho/\rho_0 \lesssim 0.1 $, where $\rho_0 = 2.8 \times 10^{14}$ g cm$^{-3}$ is the equilibrium density of isospin-symmetric nuclear matter, corresponding mainly to the neutron star inner crust.


title: Is there a hidden connection between massive neutron stars and dark matter in cosmology?

abstract: Astronomical observations reveal a gap in the mass spectrum of relativistic objects: neither black holes nor neutron stars with 2 - 5 solar masses have ever been observed. In this article I proceed in presenting the scenario which discloses a possible hidden connection between massive neutron stars (MANSs), dark matter and dark energy in cosmology. Accordingly, when the curved spacetime embedding MANSs compresses the nuclear matter to beyond a critical supranuclear density $n_{cr},$ mesons, generally transmitting the residual nuclear forces between neutrons, could gain energy by frequently interacting with a scalar field $\phi$ at the background. When the effective energy of mesons becomes comparable to the bag energy enclosing the quarks, the neutrons merge together and form a super-baryon (SB), whose interior is made of incompressible gluon-quark superfluid. It turns out that the process has a runaway-character: it enables the super-baryon to grow in mass and volume from inside-to-outside to finally metamorphose the entire object into a completely invisible dark gluon-quark object, practically indistinguishable from isolated stellar black holes. The inability of these objects to merge with other objects whilst agglomerating in clusters makes them excellent candidates both for black holes and for dark matter halos in cosmology.

categories: astro-ph.HE cond-mat.quant-gas gr-qc hep-th


title: On the weak order ideal associated to linear codes

abstract: In this work we study a weak order ideal associated with the coset leaders of a non-binary linear code. This set allows the incrementally computation of the coset leaders and the definitions of the set of leader codewords. This set of codewords has some nice properties related to the monotonicity of the weight compatible order on the generalized support of a vector in $\mathbb F_q^n$ which allow us to describe a test set, a trial set and the set of zero neighbours of a linear code in terms of the leader codewords.


title: Summands in locally almost square and locally octahedral spaces

abstract: We study the question whether properties like local/weak almost squareness and local octahedrality pass down from an absolute sum $X\oplus_F Y$ to the summands $X$ and $Y$.


title: JP3D compression of solar data-cubes: photospheric imaging and spectropolarimetry

abstract: Hyperspectral imaging is an ubiquitous technique in solar physics observations and the recent advances in solar instrumentation enabled us to acquire and record data at an unprecedented rate. The huge amount of data which will be archived in the upcoming solar observatories press us to compress the data in order to reduce the storage space and transfer times. The correlation present over all dimensions, spatial, temporal and spectral, of solar data-sets suggests the use of a 3D base wavelet decomposition, to achieve higher compression rates. In this work, we evaluate the performance of the recent JPEG2000 Part 10 standard, known as JP3D, for the lossless compression of several types of solar data-cubes. We explore the differences in: a) The compressibility of broad-band or narrow-band time-sequence; I or V stokes profiles in spectropolarimetric data-sets; b) Compressing data in [x,y,$\lambda$] packages at different times or data in [x,y,t] packages of different wavelength; c) Compressing a single large data-cube or several smaller data-cubes; d) Compressing data which is under-sampled or super-sampled with respect to the diffraction cut-off.


title: Complex organic molecules in strongly UV-irradiated gas

abstract: We investigate the presence of COMs in strongly UV-irradiated interstellar molecular gas. We have carried out a complete millimetre line survey using the IRAM30m telescope towards the edge of the Orion Bar photodissociation region (PDR), close to the H2 dissociation front, a position irradiated by a very intense far-UV (FUV) radiation field. These observations have been complemented with 8.5 arcsec resolution maps of the H2CO 5(1,5)-4(1,4) and C18O 3-2 emission at 0.9 mm. Despite being a harsh environment, we detect more than 250 lines from COMs and related precursors: H2CO, CH3OH, HCO, H2CCO, CH3CHO, H2CS, HCOOH, CH3CN, CH2NH, HNCO, H13-2CO, and HC3N (in decreasing order of abundance). For each species, the large number of detected lines allowed us to accurately constrain their rotational temperatures (Trot) and column densities (N). Owing to subthermal excitation and intricate spectroscopy of some COMs (symmetric- and asymmetric-top molecules such as CH3CN and H2CO, respectively), a correct determination of N and Trot requires building rotational population diagrams of their rotational ladders separately. We also provide accurate upper limit abundances for chemically related molecules that might have been expected, but are not conclusively detected at the edge of the PDR (HDCO, CH3O, CH3NC, CH3CCH, CH3OCH3, HCOOCH3, CH3CH2OH, CH3CH2CN, and CH2CHCN). A non-LTE LVG excitation analysis for molecules with known collisional rate coefficients, suggests that some COMs arise from different PDR layers but we cannot resolve them spatially. In particular, H2CO and CH3CN survive in the extended gas directly exposed to the strong FUV flux (Tk = 150-250 K and Td > 60 K), whereas CH3OH only arises from denser and cooler gas clumps in the more shielded PDR interior (Tk = 40-50 K). We find a HCO/H2CO/CH3OH = 1/5/3 abundance ratio. These ratios are different from those inferred in hot cores and shocks.


title: An in-Depth Look at Quotient Modules

abstract: The coset $G$-space of a finite group and a subgroup is a fundamental module of study of Schur and others around 1930; for example, its endomorphism algebra is a Hecke algebra of double cosets. We study and review its generalization $Q$ to Hopf subalgebras, especially the tensor powers and similarity as modules over a Hopf algebra, or what's the same, Morita equivalence of the endomorphism algebras. We prove that $Q$ has a nonzero integral if and only if the modular function restricts to the modular function of the Hopf subalgebra. We also study and organize knowledge of $Q$ and its tensor powers in terms of annihilator ideals, sigma categories, trace ideals, Burnside ring formulas, and when considering semisimple Hopf algebras, the depth of $Q$ in terms of the McKay quiver and the Green ring.


title: Approximate Bayesian inference as a gauge theory

abstract: In a published paper [Sengupta, 2016], we have proposed that the brain (and other self-organized biological and artificial systems) can be characterized via the mathematical apparatus of a gauge theory. The picture that emerges from this approach suggests that any biological system (from a neuron to an organism) can be cast as resolving uncertainty about its external milieu, either by changing its internal states or its relationship to the environment. Using formal arguments, we have shown that a gauge theory for neuronal dynamics -- based on approximate Bayesian inference -- has the potential to shed new light on phenomena that have thus far eluded a formal description, such as attention and the link between action and perception. Here, we describe the technical apparatus that enables such a variational inference on manifolds. Particularly, the novel contribution of this paper is an algorithm that utlizes a Schild's ladder for parallel transport of sufficient statistics (means, covariances, etc.) on a statistical manifold.


title: Adaptive Clustering through Semidefinite Programming

abstract: We analyze the clustering problem through a flexible probabilistic model that aims to identify an optimal partition on the sample X 1 , ..., X n. We perform exact clustering with high probability using a convex semidefinite estimator that interprets as a corrected, relaxed version of K-means. The estimator is analyzed through a non-asymptotic framework and showed to be optimal or near-optimal in recovering the partition. Furthermore, its performances are shown to be adaptive to the problem's effective dimension, as well as to K the unknown number of groups in this partition. We illustrate the method's performances in comparison to other classical clustering algorithms with numerical experiments on simulated data.


title: Sensor Array Design Through Submodular Optimization

abstract: We consider the problem of far-field sensing by means of a sensor array. Traditional array geometry design techniques are agnostic to prior information about the far-field scene. However, in many applications such priors are available and may be utilized to design more efficient array topologies. We formulate the problem of array geometry design with scene prior as one of finding a sampling configuration that enables efficient inference, which turns out to be a combinatorial optimization problem. While generic combinatorial optimization problems are NP-hard and resist efficient solvers, we show how for array design problems the theory of submodular optimization may be utilized to obtain efficient algorithms that are guaranteed to achieve solutions within a constant approximation factor from the optimum. We leverage the connection between array design problems and submodular optimization and port several results of interest. We demonstrate efficient methods for designing arrays with constraints on the sensing aperture, as well as arrays respecting combinatorial placement constraints. This novel connection between array design and submodularity suggests the possibility for utilizing other insights and techniques from the growing body of literature on submodular optimization in the field of array design.


title: Validating and Implementing Modified Filinov Phase Filtration in Semiclassical Dynamics

abstract: The Mixed Quantum-Classical Initial Value Representation (MQC-IVR) is a recently introduced approximate semiclassical (SC) method for the calculation of real-time quantum correlation functions. MQC-IVR employs a modified Filinov filtration (MFF) scheme to control the overall phase of the SC integrand, extending the applicability of SC methods to complex systems while retaining their ability to accurately describe quantum coherence effects. Here, we address questions regarding the effectiveness of the MFF scheme in combination with SC dynamics. Previous work showed that this filtering scheme is of limited utility in the context of semiclassical wavepacket propagation, but we find the MFF is extraordinarily powerful in the context of correlation functions. By examining trajectory phase and amplitude contributions to the real-time SC correlation function in a model system, we clearly demonstrate that the MFF serves to reduce noise by damping amplitude only in regions of highly oscillatory phase leading to a reduction in computational effort while retaining accuracy. Further, we introduce a novel and efficient MQC-IVR formulation that allows for linear scaling in computational cost with the total simulation length, a significant improvement over the more-than quadratic scaling exhibited by the original method.


title: Remarks on Automorphism and Cohomology of Cyclic Coverings

abstract: For a smooth finite cyclic covering over a projective space of dimension greater than one, we show that the group of automorphisms acts faithfully on the cohomology except for a few cases. In characteristic zero, we study the equivariant deformation theory and automorphism groups for complex cyclic coverings. The proof uses the decomposition of the sheaf of differential forms due to Esnault and Viehweg. In positive characteristics, a lifting criterion of automorphisms reduces the faithfulness problem to characteristic zero. To apply this criterion, we prove the degeneration of the Hodge-de Rham spectral sequences for a family of smooth finite cyclic coverings, and the infinitesimal Torelli theorem for finite cyclic coverings defined over an arbitrary field.


title: The theory of filtrations of subalgebras, standardness and independence

abstract: The survey is devoted to the combinatorial and metric theory of filtrations, i.\,e., decreasing sequences of $\sigma$-algebras in measure spaces or decreasing sequences of subalgebras of certain algebras. One of the key notions, that of standardness, plays the role of a~generalization of the notion of the independence of a~sequence of random variables. We discuss the possibility of obtaining a~classification of filtrations, their invariants, and various links to problems in algebra, dynamics, and combinatorics.


title: Nanocellulose Fragmentation Mechanisms and Inversion of Chirality from the Single Particle to the Cholesteric Phase

abstract: Understanding how nanostructure and nanomechanics influence physical material properties on the micro- and macroscale is an essential goal in soft condensed matter research. Mechanisms governing fragmentation and chirality inversion of filamentous colloids are of specific interest because of their critical role in load-bearing and self-organizing functionalities of soft nanomaterials. Here we provide a fundamental insight into the self-organization across several length scales of nanocellulose, an important bio-colloid system with wide-ranging applications as structural, insulating and functional material. Through a combined microscopic and statistical analysis of nanocellulose fibrils at the single particle level, we show how mechanically and chemically induced fragmentation proceed in this system. Moreover, by studying the bottom-up self-assembly of fragmented carboxylated cellulose nanofibrils into cholesteric liquid crystals, we show via direct microscopic observations, that the chirality is inverted from right-handed at the nanofibril level to left-handed at the level of the liquid crystal phase. These results improve our fundamental understanding of nanocellulose and provide an important rationale for their application in colloidal systems, liquid crystals and nanomaterials.


title: Uniform energy bound and Morawetz estimate for extreme components of spin fields in the exterior of a slowly rotating Kerr black hole I: Maxwell field

abstract: This first part of the series treats the Maxwell equations in the exterior of a slowly rotating Kerr black hole. By performing a first-order differential operator on each extreme Newman-Penrose (N-P) scalar in a Kinnersley tetrad, the resulting equation and the Teukolsky master equation for the extreme N-P component are both in the form of an inhomogeneous \textquotedblleft{spin-weighted Fackerell-Ipser equation\textquotedblright} (SWFIE) and constitute a weakly coupled system. We first prove energy estimate and integrated local energy decay (Morawetz) estimate for this type of inhomogeneous SWFIE following the method in (Dafermos and Rodnianski in Decay for solutions of the wave equation on Kerr exterior spacetimes I-II: the cases $|a|\ll M$ or axisymmetry, 2010, arXiv:1010.5132), and then utilize these estimates to achieve both a uniform bound of a positive definite energy and a Morawetz estimate for the coupled system of each extreme N-P component. The same type of estimates for the regular extreme N-P components defined in the regular Hawking-Hartle tetrad is also proved. The hierarchy here is generalized in our second part (Ma in Uniform energy bound and Morawetz estimates for extreme components of spin fields in the exterior of a slowly rotating Kerr black hole II: linearized gravity, 2017, arXiv:1708.07385) of this series to treat the extreme components of linearized gravity.


title: Constraints on a possible evolution of mass density power-law index in strong gravitational lensing from cosmological data

abstract: In this work, by using strong gravitational lensing (SGL) observations along with Type Ia Supernovae (Union2.1) and gamma ray burst data (GRBs), we propose a new method to study a possible redshift evolution of $\gamma(z)$, the mass density power-law index of strong gravitational lensing systems. In this analysis, we assume the validity of cosmic distance duality relation and the flat universe. In order to explore the $\gamma(z)$ behavior, three different parametrizations are considered, namely: (P1) $\gamma(z_l)=\gamma_0+\gamma_1 z_l$, (P2) $\gamma(z_l)=\gamma_0+\gamma_1 z_l/(1+z_l)$ and (P3) $\gamma(z_l)=\gamma_0+\gamma_1 \ln(1+z_l)$, where $z_l$ corresponds to lens redshift. If $\gamma_0=2$ and $\gamma_1=0$ the singular isothermal sphere model is recovered. Our method is performed on SGL sub-samples defined by different lens redshifts and velocity dispersions. For the former case, the results are in full agreement with each other, while a 1$\sigma$ tension between the sub-samples with low ($\leq 250$ km/s) and high ($>250$ km/s) velocity dispersions was obtained on the ($\gamma_0$-$\gamma_1$) plane. By considering the complete SGL sample, we obtain $\gamma_0 \approx 2$ and $ \gamma_1 \approx 0$ within 1$\sigma$ c.l. for all $\gamma(z)$ parametrizations. However, we find the following best fit values of $\gamma_1$: $-0.085$, $-0.16$ and $-0.12$ for P1, P2 and P3 parametrizations, respectively, suggesting a mild evolution for $\gamma(z)$. By repeating the analysis with Type Ia Supernovae from JLA compilation, GRBs and SGL systems this mild evolution is reinforced.


title: Pricing Multi-Unit Markets

abstract: We study the power and limitations of posted prices in multi-unit markets, where agents arrive sequentially in an arbitrary order. We prove upper and lower bounds on the largest fraction of the optimal social welfare that can be guaranteed with posted prices, under a range of assumptions about the designer's information and agents' valuations. Our results provide insights about the relative power of uniform and non-uniform prices, the relative difficulty of different valuation classes, and the implications of different informational assumptions. Among other results, we prove constant-factor guarantees for agents with (symmetric) subadditive valuations, even in an incomplete-information setting and with uniform prices.


title: Magnetization dynamics and its scattering mechanism in thin CoFeB films with interfacial anisotropy

abstract: Studies of magnetization dynamics have incessantly facilitated the discovery of fundamentally novel physical phenomena, making steady headway in the development of magnetic and spintronics devices. The dynamics can be induced and detected electrically, offering new functionalities in advanced electronics at the nanoscale. However, its scattering mechanism is still disputed. Understanding the mechanism in thin films is especially important, because most spintronics devices are made from stacks of multilayers with nanometer thickness. The stacks are known to possess interfacial magnetic anisotropy, a central property for applications, whose influence on the dynamics remains unknown. Here, we investigate the impact of interfacial anisotropy by adopting CoFeB/MgO as a model system. Through systematic and complementary measurements of ferromagnetic resonance (FMR), on a series of thin films, we identify narrower FMR linewidths at higher temperatures. We explicitly rule out the temperature dependence of intrinsic damping as a possible cause, and it is also not expected from existing extrinsic scattering mechanisms for ferromagnets. We ascribe this observation to motional narrowing, an old concept so far neglected in the analyses of FMR spectra. The effect is confirmed to originate from interfacial anisotropy, impacting the practical technology of spin-based nanodevices up to room temperature.


title: Numerical study of the roughness of domain walls in the 2-dimensional random bond Ising model using a weighed-loop algorithm

abstract: We introduce a weighed-loop algorithm that is applicable to any weighed graph network. It is designed to prefer a route of energetically unfavourable bonds in the lattice that can then be flipped without changing the structure inside and outside the enclosed loop. Due to this property there are effectively no energy barriers thus making this algorithm very suitable for finding low energy states in very rough energy landscapes. We apply this algorithm to the random bond Ising model with domain walls and show that the weighed-loop algorithm can outperform Niedermayer's algorithm for low enough temperatures and high enough disorder. We consolidate the high-temperature behaviour of the roughness of a domain-wall with a low-temperature expansion presented in this paper and show agreement with results from our simulations. The effects of temperature, disorder, and system size on the roughness of domain-walls is also investigated.


title: Cosmological bounce and Genesis beyond Horndeski

abstract: We study a "classical" bouncing scenario in beyond Horndeski theory. We give an example of spatially flat bouncing solution that is non-singular and stable throughout the whole evolution. The model is arranged in such a way that the scalar field driving the cosmological evolution initially behaves like full-fledged beyond Horndeski, whereas at late times it becomes a massless scalar field minimally coupled to gravity.


title: Inverse antiplane problem on $n$ uniformly stressed inclusions

abstract: The inverse problem of antiplane elasticity on determination of the profiles of $n$ uniformly stressed inclusions is studied. The inclusions are in ideal contact with the surrounding matrix, the stress field inside the inclusions is uniform, and at infinity the body is subjected to antiplane uniform shear. The exterior of the inclusions, an $n$-connected domain, is treated as the image by a conformal map of an $n$-connected slit domain with the slits lying in the same line. The inverse problem is solved by quadratures by reducing it to two Riemann-Hilbert problems on a Riemann surface of genus $n-1$. Samples of two and three symmetric and non-symmetric uniformly stressed inclusions are reported.