title: Modified multi-dimensional limiting process with enhanced shock stability on unstructured grids

abstract: The basic concept of multi-dimensional limiting process (MLP) on unstructured grids is inherited and modified for improving shock stabilities and reducing numerical dissipation on smooth regions. A relaxed version of MLP condition, simply named as weak-MLP, is proposed for reducing dissipation. Moreover, a stricter condition, that is the strict-MLP condition, is proposed to enhance the numerical stability. The maximum/minimum principle is fulfilled by both the strict- and weak-MLP condition. A differentiable pressure weight function is applied for the combination of two novel conditions, and thus the modified limiter is named as MLP-pw(pressure-weighted). A series of numerical test cases show that MLP-pw limiter has improved stability and convergence, especially in hypersonic simulations. Furthermore, the limiter also shows lower dissipation in regions without significant pressure transition. Therefore, MLP-pw limiter can capture contact discontinuity and expansion accurately.


title: Basic mechanisms in the laser control of non-Markovian dynamics

abstract: Referring to a Fano-type model qualitative analogy we develop a comprehensive basic mechanism for the laser control of the non-Markovian bath response in strongly coupled Open Quantum Systems (OQS). A converged Hierarchy Equations Of Motion (HEOM) is worked out to numerically solve the master equation of a spin-boson Hamiltonian to reach the reduced electronic density matrix of a heterojunction in the presence of strong THz laser pulses. Robust and efficient control is achieved increasing by a factor ?2 non-Markovianity measured by the time evolution of the volume of accessible states. The consequences of such fields on the central system populations and coherence are examined, putting the emphasis on the relation between the increase of non- Markovianity and the slowing down of decoherence processes.


title: Spectrum, trace and oscillation of a Sturm-Liouville type retarded differential operator with interface conditions

abstract: In this study, a formula for regularized sums of eigenvalues of a Sturm-Liouville problem with retarded argument at the point of discontinuity is obtained. Moreover, oscillation properties of the related problem is investigated.


title: Isospin Breaking Corrections to the HVP with Domain Wall Fermions

abstract: We present results for the QED and strong isospin breaking corrections to the hadronic vacuum polarization using $N_f=2+1$ Domain Wall fermions. QED is included in an electro-quenched setup using two different methods, a stochastic and a perturbative approach. Results and statistical errors from both methods are directly compared with each other.


title: Paxos Made EPR: Decidable Reasoning about Distributed Protocols

abstract: Distributed protocols such as Paxos play an important role in many computer systems. Therefore, a bug in a distributed protocol may have tremendous effects. Accordingly, a lot of effort has been invested in verifying such protocols. However, checking invariants of such protocols is undecidable and hard in practice, as it requires reasoning about an unbounded number of nodes and messages. Moreover, protocol actions and invariants involve both quantifier alternations and higher-order concepts such as set cardinalities and arithmetic. This paper makes a step towards automatic verification of such protocols. We aim at a technique that can verify correct protocols and identify bugs in incorrect protocols. To this end, we develop a methodology for deductive verification based on effectively propositional logic (EPR)---a decidable fragment of first-order logic (also known as the Bernays-Sch\"onfinkel-Ramsey class). In addition to decidability, EPR also enjoys the finite model property, allowing to display violations as finite structures which are intuitive for users. Our methodology involves modeling protocols using general (uninterpreted) first-order logic, and then systematically transforming the model to obtain a model and an inductive invariant that are decidable to check. The steps of the transformations are also mechanically checked, ensuring the soundness of the method. We have used our methodology to verify the safety of Paxos, and several of its variants, including Multi-Paxos, Vertical Paxos, Fast Paxos, Flexible Paxos and Stoppable Paxos. To the best of our knowledge, this work is the first to verify these protocols using a decidable logic, and the first formal verification of Vertical Paxos, Fast Paxos and Stoppable Paxos.


title: Effects of thermal radiation and mass diffusion on MHD flow over a vertical plate applying time dependent shear to the fluid

abstract: The present paper studies the effects of thermal radiation and mass diffusion on MHD flow over a vertical plate that applies time dependent shear to the fluid. This study is meant to provide framework for improved thermal system where induced automated shear on chemical (fluid) will in- crease velocity of fluid and hence enhances the smooth flow. This study will also throw light on an important aspect of controlling temperature of thermal system in the context of emitting thermal radiation. Exact expressions for velocity field, temperature and mass concentration corresponding to the radiative flow of viscous fluid have been calculated. These expressions are obtained by using Laplace transform of corresponding fractional differential equations. The expressions of temperature and mass concentration of fluid have been presented in series form. However, velocity field is presented in the form of integral solutions. All exact expressions satisfy initial and boundary conditions. Some significant limiting cases of fluid parameters and of fractional parameters have been discussed. Two special cases of shear stress; shear stress in the form of Heaviside function and oscillating shear stress have also been taken into account to compare the behavior of fluid motion graphically. An analysis has also been prepared to compare analytical and numerical solutions for concentration of fluid using numerical algorithm. Validity of analytical solutions up to a certain order of accuracy has been es- tablished.


title: Block DCT filtering using vector processing

abstract: Filtering is an important issue in signals and images processing. Many images and videos are compressed using discrete cosine transform (DCT). For reducing the computation complexity, we are interested in filtering block and images directly in DCT domain. This article proposed an efficient and yet very simple filtering method directly in DCT domain for any symmetric, asymmetric, separable, inseparable and one or two dimensional filter. The proposed method is achieved by mathematical relations using vector processing for image filtering which it is equivalent to the spatial domain zero padding filtering. Also to avoid the zero padding artifacts around the edge of the block, we prepare preliminary matrices in DCT domain by implementation elements of selected mask which satisfies border replication for a block in the spatial domain. To evaluate the performance of the proposed algorithm, we compared the spatial domain filtering results with the results of the proposed method in DCT domain. The experiments show that the results of our proposed method in DCT are exactly the same as the spatial domain filtering.


title: Variability of the Lowest Mass Objects in the AB Doradus Moving Group

abstract: We present the detection of [$3.6~\mu$m] photometric variability in two young, L/T transition brown dwarfs, WISE J004701.06+680352.1 (W0047) and 2MASS J2244316+204343 (2M2244) using the \textit{Spitzer Space Telescope}. We find a period of $16.4\pm0.2~$hr and a peak-to-peak amplitude of $1.07\pm0.04\%$ for W0047, and a period of $11\pm2~$hr and amplitude of $0.8\pm 0.2\%$ for 2M2244. This period is significantly longer than that measured previously during a shorter observation. {We additionally detect significant $J$-band variability in 2M2244 using the Wide-Field Camera on UKIRT. } We determine the radial and rotational velocities of both objects using Keck NIRSPEC data. We find a radial velocity of $-16.0_{-0.9}^{+0.8}~$km s$^{-1}$ for 2M2244, and confirm it as a bona fide member of the AB Doradus moving group. We find rotational velocities of $v \sin i=9.8\pm0.3~$km s$^{-1}$and $14.3^{+1.4}_{-1.5}~$km s$^{-1}$ for W0047 and 2M2244, respectively. With inclination angles of $85 ^{+5\circ}_{-9}$ and $76 ^{+14\circ}_{-20}$, W0047 and 2M2244 are viewed roughly equator-on. Their remarkably similar colours, spectra and inclinations are consistent with the possibility that viewing angle may influence atmospheric appearance. We additionally present \textit{Spitzer} $[4.5~\mu\mathrm{m}]$ monitoring of the young, T5.5 object SDSS111010+011613 (SDSS1110) where we detect no variability. For periods $<18~$hr, we place an upper limit of $1.25\%$ on the peak-to-peak variability amplitude of SDSS1110.


title: Global performance metrics for synchronization of heterogeneously rated power systems: The role of machine models and inertia

abstract: A recent trend in control of power systems has sought to quantify the synchronization dynamics in terms of a global performance metric, compute it under very simplified assumptions, and use it to gain insight on the role of system parameters, in particular, inertia. In this paper, we wish to extend this approach to more realistic scenarios, by incorporating the heterogeneity of machine ratings, more complete machine models, and also to more closely map it to classical power engineering notions such as Nadir, Rate of Change of Frequency (RoCoF), and inter-area oscillations. We consider the system response to a step change in power excitation, and define the system frequency as a weighted average of generator frequencies (with weights proportional to each machine's rating); we characterize Nadir and RoCoF by the $L_\infty$ norm of the system frequency and its derivative, respectively, and inter-areas oscillations by the $L_2$ norm of the error of the vector of bus frequencies w.r.t. the system frequency. For machine models where the dynamic parameters (inertia, damping, etc.) are proportional to rating, we analytically compute these norms and use them to show that the role of inertia is more nuanced than in the conventional wisdom. With the classical swing dynamics, inertia constant plays a secondary role in performance. It is only when the turbine dynamics are introduced that the benefits of inertia become more prominent.


title: $(p,q)$-Whittaker function and associated properties and formulas

abstract: Recently, various extensions and variants of Bessel functions of several kinds have been presented. Among them, the $(p,q)$-confluent hypergeometric function $\Phi_{p,q}$ has been introduced and investigated. Here, we aim to introduce an extended $(p,q)$-Whittaker function by using the function $\Phi_{p,q}$ and establish its various properties and associated formulas such as integral representations, some transformation formulas and differential formulas. Relevant connections of the results presented here With those involving relatively simple Whittaker functions are also pointed out.


title: Topological Quantum Computation with Gapped Boundaries and Boundary Defects

abstract: We survey some recent work on topological quantum computation with gapped boundaries and boundary defects and list some open problems.


title: Dress like a Star: Retrieving Fashion Products from Videos

abstract: This work proposes a system for retrieving clothing and fashion products from video content. Although films and television are the perfect showcase for fashion brands to promote their products, spectators are not always aware of where to buy the latest trends they see on screen. Here, a framework for breaking the gap between fashion products shown on videos and users is presented. By relating clothing items and video frames in an indexed database and performing frame retrieval with temporal aggregation and fast indexing techniques, we can find fashion products from videos in a simple and non-intrusive way. Experiments in a large-scale dataset conducted here show that, by using the proposed framework, memory requirements can be reduced by 42.5X with respect to linear search, whereas accuracy is maintained at around 90%.


title: Constructions of the soluble potentials for the non-relativistic quantum system by means of the Heun functions

abstract: The Schr\"{o}dinger equation $\psi"(x)+\kappa^2 \psi(x)=0$ where $\kappa^2=k^2-V(x)$ is rewritten as a more popular form of a second order differential equation through taking a similarity transformation $\psi(z)=\phi(z)u(z)$ with $z=z(x)$. The Schr\"{o}dinger invariant $I_{S}(x)$ can be calculated directly by the Schwarzian derivative $\{z, x\}$ and the invariant $I(z)$ of the differential equation $u_{zz}+f(z)u_{z}+g(z)u=0$. We find an important relation for moving particle as $\nabla^2=-I_{S}(x)$ and thus explain the reason why the Schr\"{o}dinger invariant $I_{S}(x)$ keeps constant. As an illustration, we take the typical Heun differential equation as an object to construct a class of soluble potentials and generalize the previous results through choosing different $\rho=z'(x)$ as before. We get a more general solution $z(x)$ through integrating $(z')^2=\alpha_{1}z^2+\beta_{1}z+\gamma_{1}$ directly and it includes all possibilities for those parameters. Some particular cases are discussed in detail.


title: Newton-Kantorovich-Vietoris method

abstract: In this short work we consider nonlinear equation in Banach space $x = A(x)$. We combine classical Newton method with Vietoris method to propose new more general method. Under rather general conditions about the noise we investigate local convergence of the method.


title: LSMM: A statistical approach to integrating functional annotations with genome-wide association studies

abstract: Thousands of risk variants underlying complex phenotypes (quantitative traits and diseases) have been identified in genome-wide association studies (GWAS). However, there are still two major challenges towards deepening our understanding of the genetic architectures of complex phenotypes. First, the majority of GWAS hits are in the non-coding region and their biological interpretation is still unclear. Second, accumulating evidence from GWAS suggests the polygenicity of complex traits, i.e., a complex trait is often affected by many variants with small or moderate effects, whereas a large proportion of risk variants with small effects remains unknown. The availability of functional annotation data enables us to address the above challenges. In this study, we propose a latent sparse mixed model (LSMM) to integrate functional annotations with GWAS data. Not only does it increase statistical power of the identification of risk variants, but also offers more biological insights by detecting relevant functional annotations. To allow LSMM scalable to millions of variants and hundreds of functional annotations, we developed an efficient variational expectation-maximization (EM) algorithm for model parameter estimation and statistical inference. We first conducted comprehensive simulation studies to evaluate the performance of LSMM. Then we applied it to analyze 30 GWAS of complex phenotypes integrated with 9 genic category annotations and 127 tissue-specific functional annotations from the Roadmap project. The results demonstrate that our method possesses more statistical power over conventional methods, and can help researchers achieve deeper understanding of genetic architecture of these complex phenotypes.


title: Boron films produced by high energy Pulsed Laser Deposition

abstract: Micron-thick boron films have been deposited by Pulsed Laser Deposition in vacuum on several substrates at room temperature. The use of high energy pulses (>700 mJ) results in the deposition of smooth coatings with low oxygen uptake even at base pressures of 10$^{-4}$ - 10$^{-3}$ Pa. A detailed structural analysis, by X-Ray Diffraction and Raman, allowed to assess the amorphous nature of the deposited films as well as to determine the base pressure that prevents boron oxide formation. In addition the crystallization dynamics has been characterized showing that film crystallinity already improves at relatively low temperatures (800 {\deg}C). Elastic properties of the boron films have been determined by Brillouin spectroscopy. Finally, micro-hardness tests have been used to explore cohesion and hardness of B films deposited on aluminum, silicon and alumina. The reported deposition strategy allows the growth of reliable boron coatings paving the way for their use in many technology fields.


title: Three Small Planets Transiting a Hyades Star

abstract: We present the discovery of three small planets transiting K2-136 (LP 358 348, EPIC 247589423), a late K dwarf in the Hyades. The planets have orbital periods of $7.9757 \pm 0.0011$, $17.30681^{+0.00034}_{-0.00036}$, and $25.5715^{+0.0038}_{-0.0040}$ days, and radii of $1.05 \pm 0.16$, $3.14 \pm 0.36$, and $1.55^{+0.24}_{-0.21}$ $R_\oplus$, respectively. With an age of 600-800 Myr, these planets are some of the smallest and youngest transiting planets known. Due to the relatively bright (J=9.1) host star, the planets are compelling targets for future characterization via radial velocity mass measurements and transmission spectroscopy. As the first known star with multiple transiting planets in a cluster, the system should be helpful for testing theories of planet formation and migration.


title: DNA mechanical deformations and chiral spin selectivity

abstract: The strength of the spin-orbit interaction relevant to transport in a low dimensional structure depends critically on the relative geometrical arrangement of current carrying orbitals. Recent tight-binding orbital models for spin transport in DNA-like molecules, have surmised that the band spin-orbit coupling arises from the particular angular relations between orbitals of neighboring bases on the helical chain. Such arrangement could be probed by inducing deformations in the molecule in a conductive probe AFM type setup, as it was recently reported by Kiran, Cohen and Naaman\cite{Kiran}. Here we report deformation dependent spin selectivity when a double strand DNA model is compressed or stretched. We find that the equilibrium geometry is not optimal with respect to the SO coupling strength and thus spin selectivity can be tuned by deformations. The latter can be increased by stretching the helical structure taking into account its elastic properties through the Poisson ratio. The spin filtering gap is also found to be tunable with uniaxial deformations.


title: Scalable Robust Matrix Factorization with Nonconvex Loss

abstract: Robust matrix factorization (RMF), which uses the $\ell_1$-loss, often outperforms standard matrix factorization using the $\ell_2$-loss, particularly when outliers are present. The state-of-the-art RMF solver is the RMF-MM algorithm, which, however, cannot utilize data sparsity. Moreover, sometimes even the (convex) $\ell_1$-loss is not robust enough. In this paper, we propose the use of nonconvex loss to enhance robustness. To address the resultant difficult optimization problem, we use majorization-minimization (MM) optimization and propose a new MM surrogate. To improve scalability, we exploit data sparsity and optimize the surrogate via its dual with the accelerated proximal gradient algorithm. The resultant algorithm has low time and space complexities and is guaranteed to converge to a critical point. Extensive experiments demonstrate its superiority over the state-of-the-art in terms of both accuracy and scalability.


title: Directed Hamilton cycles in digraphs and matching alternating Hamilton cycles in bipartite graphs

abstract: In 1972, Woodall raised the following Ore type condition for directed Hamilton cycles in digraphs: Let $D$ be a digraph. If for every vertex pair $u$ and $v$, where there is no arc from $u$ to $v$, we have $d^+u)+d^-(v)\geq |D|$, then $D$ has a directed Hamilton cycle. By a correspondence between bipartite graphs and digraphs, the above result is equivalent to the following result of Las Vergnas: Let $G = (B,W)$ be a balanced bipartite graph. If for any $b \in B$ and $w \in W$, where $b$ and $w$ are nonadjacent, we have $d(w)+d(b) \geq |G|/2 + 1$, then every perfect matching of $G$ is contained in a Hamilton cycle. The lower bounds in both results are tight. In this paper, we reduce both bounds by $1$, and prove that the conclusions still hold, with only a few exceptional cases that can be clearly characterized.


title: Fundamental groups as limits of discrete fundamental groups

abstract: In this note we investigate to what extent the fundamental group of a metric space can be described as the inverse limit of its discrete fundamental groups. We show that some mild conditions suffice to imply the existence of an isomorphism and we provide a list of counterexamples to possible weakenings of these hypotheses.


title: Morphing Continuum Theory for Turbulence: Theory, Computation and Visualization

abstract: A high order morphing continuum theory (MCT) is introduced to model highly compressible turbulence. The theory is formulated under the rigorous framework of rational continuum mechanics. A set of linear constitutive equations and balance laws are deduced and presented from the Coleman-Noll procedure and Onsager's reciprocal relations. The governing equations are then arranged in conservation form and solved through the finite volume method with a second order Lax-Friedrichs scheme for shock preservation. A numerical example of transonic flow over a three-dimensional bump is presented using MCT and the finite volume method. The comparison shows that MCT-based DNS provides a better prediction than NS-based DNS with less than 10% of the mesh number when compared with experiments. A MCT-based and frame-indifferent Q-criterion is also derived to show the coherent eddy structure of the downstream turbulence in the numerical example. It should be emphasized that unlike the NS-based G-criterion, the MCT-based Q-criterion is objective without the limitation of Galilean-invariance.


title: Macroscopic modeling of multi-lane motorways using a two-dimensional second-order model of traffic flow

abstract: Lane changing is one of the most common maneuvers on motorways. Although, macroscopic traffic models are well known for their suitability to describe fast moving crowded traffic, most of these models are generally developed in one dimensional framework, henceforth lane changing behavior is somehow neglected. In this paper, we propose a macroscopic model, which accounts for lane-changing behavior on motorway, based on a two-dimensional extension of the Aw and Rascle [Aw and Rascle, SIAM J.Appl.Math., 2000] and Zhang [Zhang, Transport.Res.B-Meth., 2002] macroscopic model for traffic flow. Under conditions, when lane changing maneuvers are no longer possible, the model "relaxes" to the one-dimensional Aw-Rascle-Zhang model. Following the same approach as in [Aw, Klar, Materne and Rascle, SIAM J.Appl.Math., 2002], we derive the two-dimensional macroscopic model through scaling of time discretization of a microscopic follow-the-leader model with driving direction. We provide a detailed analysis of the space-time discretization of the proposed macroscopic as well as an approximation of the solution to the associated Riemann problem. Furthermore, we illustrate some features of the proposed model through some numerical experiments.


title: Multi-Task Label Embedding for Text Classification

abstract: Multi-task learning in text classification leverages implicit correlations among related tasks to extract common features and yield performance gains. However, most previous works treat labels of each task as independent and meaningless one-hot vectors, which cause a loss of potential information and makes it difficult for these models to jointly learn three or more tasks. In this paper, we propose Multi-Task Label Embedding to convert labels in text classification into semantic vectors, thereby turning the original tasks into vector matching tasks. We implement unsupervised, supervised and semi-supervised models of Multi-Task Label Embedding, all utilizing semantic correlations among tasks and making it particularly convenient to scale and transfer as more tasks are involved. Extensive experiments on five benchmark datasets for text classification show that our models can effectively improve performances of related tasks with semantic representations of labels and additional information from each other.


title: Diffusion-limited Reactions in Nanoscale Electronics

abstract: A partial differential equation (PDE) was developed to describe time-dependent ligand-receptor interactions for applications in biosensing using field effect transistors (FET). The model describes biochemical interactions at the sensor surface (or biochemical gate) located at the bottom of a solution-well, which result in a time-dependent change in the FET conductance. It was shown that one can exploit the disparate length scales of the solution-well and biochemical gate to reduce the coupled PDE model to a single nonlinear integrodifferential equation (IDE) that describes the concentration of reacting species. Although this equation has a convolution integral with a singular kernel, a numerical approximation was constructed by applying the method of lines. The need for specialized quadrature techniques was obviated and numerical evidence strongly suggests that this method achieves first-order accuracy. Results reveal a depletion region on the biochemical gate, which non-uniformly alters the surface potential of the semiconductor.


title: On Formalisms and Interpretations

abstract: One of the reasons for the heated debates around the interpretations of quantum theory is a simple confusion between the notions of formalism versus interpretation. In this note, we make a clear distinction between them and show that there are actually two inequivalent quantum formalisms, namely the relative-state formalism and the standard formalism with the Born and measurement-update rules. We further propose a different probability rule for the relative-state formalism and discuss how Wigner's-friend-type experiments could show the inequivalence with the standard formalism. The feasibility in principle of such experiments, however, remains an open question.


title: Graphene quantum dots prevent alpha-synucleinopathy in Parkinson's disease

abstract: While the emerging evidence indicates that the pathogenesis of Parkinson's disease (PD) is strongly correlated to the accumulation of alpha-synuclein ({\alpha}-syn) aggregates, there has been no clinical success in anti-aggregation agents for the disease to date. Here we show that graphene quantum dots (GQDs) exhibit anti-amyloid activity via direct interaction with {\alpha}-syn. Employing biophysical, biochemical, and cell-based assays as well as molecular dynamics (MD) simulation, we find that GQDs have notable potency in not only inhibiting fibrillization of {\alpha}-syn but also disaggregating mature fibrils in a time-dependent manner. Remarkably, GQDs rescue neuronal death and synaptic loss, reduce Lewy body (LB)/Lewy neurite (LN) formation, ameliorate mitochondrial dysfunctions, and prevent neuron-to-neuron transmission of {\alpha}-syn pathology induced by {\alpha}-syn preformed fibrils (PFFs) in neurons. In addition, in vivo administration of GQDs protects against {\alpha}-syn PFFs-induced loss of dopamine neurons, LB/LN pathology, and behavioural deficits through the penetration of the blood-brain barrier (BBB). The finding that GQDs function as an anti-aggregation agent provides a promising novel therapeutic target for the treatment of PD and related {\alpha}-synucleinopathies.


title: On Using Linear Diophantine Equations to Tune the extent of Look Ahead while Hiding Decision Tree Rules

abstract: This paper focuses on preserving the privacy of sensitive pat-terns when inducing decision trees. We adopt a record aug-mentation approach for hiding sensitive classification rules in binary datasets. Such a hiding methodology is preferred over other heuristic solutions like output perturbation or crypto-graphic techniques - which restrict the usability of the data - since the raw data itself is readily available for public use. In this paper, we propose a look ahead approach using linear Diophantine equations in order to add the appropriate number of instances while minimally disturbing the initial entropy of the nodes.


title: Historical perspective and future prospects for nuclear interactions

abstract: The nuclear force is the heart of nuclear physics and, thus, the significance of this force for all of nuclear physics can hardly be overstated. Research on this crucial force has by now spanned eight decades and we are still not done. I will first review the rich history of hope and desperation, which had spin-off far beyond just nuclear physics. Next, I will present the current status in the field which is charcterized by the application of an effective field theory (EFT) that is believed to represent QCD in the low energy regime typical for nuclear physics. During the past two decades, this EFT has become the favorite vehicle to derive nuclear two- and many-body forces. Finally, I will take a look into the future: What developments can we expect from the next decades? Will the 30-year cycles of new and "better" ideas for efficiently describing nuclear forces go on for ever, or is there hope for closure?


title: Repairing Reed-Solomon codes: Universally achieving the cut-set bound for any number of erasures

abstract: The repair bandwidth of a code is the minimum amount of data required to repair one or several failed nodes (erasures). For MDS codes, the repair bandwidth is bounded below by the so-called cut-set bound, and codes that meet this bound with equality are said to support optimal repair of one or multiple failed nodes. We consider the problem of repairing multiple failed nodes of Reed-Solomon (RS) codes. In a recent work with I. Tamo (Proc. IEEE FOCS 2017), we gave the first explicit construction of RS codes with optimal repair of any single failed node from any subset of helper nodes. In this paper, we construct explicit RS codes that universally achieve the cut-set bound for the repair of any number of failed nodes from any set of helper nodes. Moreover, the node size of our codes is close to the optimal (smallest possible) node size of codes with such property.


title: On the first curve of Fu\v{c}ik Spectrum Of $p$-fractional Laplacian Operator with nonlocal normal boundary conditions

abstract: In this article, we study the Fu\v{c}ik spectrum of the $p$-fractional Laplace operator with nonlocal normal derivative conditions which is defined as the set of all $(a,b)\in \mb R^2$ such that $$ \mc (F_p)\left\{ \begin{array}{lr} \Lambda_{n,p}(1-\al)(-\Delta)_{p}^{\al} u + |u|^{p-2}u = \frac{\chi_{\Omega_\e}}{\e} (a (u^{+})^{p-1} - b (u^{-})^{p-1}) \;\quad \text{in}\; \Omega,\quad \\ \mc{N}_{\al,p} u = 0 \; \quad \mbox{in}\; \mb R^n \setminus \overline{\Omega}, \end{array} \right. $$ has a non-trivial solution $u$, where $\Omega$ is a bounded domain in $\mb R^n$ with Lipschitz boundary, $p \geq 2$, $n>p \al $, $\e, \al \in(0,1)$ and $\Omega{_\e}:=\{x \in \Omega: d(x,\pa \Omega)\leq \e \}$. We showed existence of the first non-trivial curve $\mc C$ of this spectrum which is used to obtain the variational characterization of a second eigenvalue of the problem $\mc (F_p)$. We also discuss some properties of this curve $\mc C$, e.g. Lipschitz continuous, strictly decreasing and asymptotic behaviour and nonresonance with respect to the Fu\v{c}ik spectrum.


title: Update on SU(2) gauge theory with NF = 2 fundamental flavours

abstract: We present a non perturbative study of SU(2) gauge theory with two fundamental Dirac flavours. This theory provides a minimal template which is ideal for a wide class of Standard Model extensions featuring novel strong dynamics, such as a minimal realization of composite Higgs models. We present an update on the status of the meson spectrum and decay constants based on increased statistics on our existing ensembles and the inclusion of new ensembles with lighter pion masses, resulting in a more reliable chiral extrapolation.


title: Numerical experiments using deflation with the HISQ action

abstract: We report on numerical experiments using deflation to compute quark propagators for the highly improved staggered quark (HISQ) action. The method is tested on HISQ gauge configurations, generated by the MILC collaboration, with lattice spacings of 0.15 fm, with a range of volumes, and sea quark masses down to the physical quark mass.


title: Multi-GeV electron-positron beam generation from laser-electron scattering

abstract: The new generation of laser facilities is expected to deliver short (10 fs - 100 fs) laser pulses with 10 - 100 PW of peak power. This opens an opportunity to study matter at extreme intensities in the laboratory and provides access to new physics. Here we propose to scatter GeV-class electron beams from laser-plasma accelerators with a multi-PW laser at normal incidence. In this configuration, one can both create and accelerate electron-positron pairs. The new particles are generated in the laser focus and gain relativistic momentum in the direction of laser propagation. Short focal length is an advantage, as it allows the particles to be ejected from the focal region with a net energy gain in vacuum. Electron-positron beams obtained in this setup have a low divergence, are quasi-neutral and spatially separated from the initial electron beam. The pairs attain multi-GeV energies which are not limited by the maximum energy of the initial electron beam. We present an analytical model for the expected energy cutoff, supported by 2D and 3D particle-in-cell simulations. The experimental implications, such as the sensitivity to temporal synchronisation and laser duration is assessed to provide guidance for the future experiments.


title: Comment on "Generalization of the Kohn-Sham system that can represent arbitrary one-electron density matrices"

abstract: Hubertus J. J. van Dam [Phys. Rev. A 93, 052512, 2016] claims that the one-particle reduced density matrix (1RDM) of an interacting system can be represented by means of a single-determinant wavefunction of fictitious non-interacting particles. van Dam introduced orbitals within a mean-field framework that produce energy levels similar to Hartree-Fock (HF) orbital energies, therefore he also claims that conventional analyses based on Koopmans theorem are possible in 1RDM functional theory (1RDMFT). In this comment, we demonstrate that both claims are unfounded.


title: Repercussions of thermal atmospheric tides on the rotation of terrestrial planets in the habitable zone

abstract: Semidiurnal atmospheric thermal tides are important for terrestrial exoplanets in the habitable zone of their host stars. With solid tides, they torque these planets, thus contributing to determine their rotation states as well as their climate. Given the complex dynamics of thermal tides, analytical models are essential to understand its dependence on the structure and rotation of planetary atmospheres and the tidal frequency. In this context, the state of the art model proposed in the 60's by Lindzen and Chapman explains well the properties of thermal tides in the asymptotic regime of Earth-like rapid rotators but predicts a non-physical diverging tidal torque in the vicinity of the spin-orbit synchronization. In this work, we present a new model that addresses this issue by taking into account dissipative processes through a Newtonian cooling. First, we recover the tidal torque recently obtained with numerical simulations using General Circulation Models (GCM). Second, we show that the tidal response is very sensitive to the atmospheric structure, particularly to the stability with respect to convection. A strong stable stratification is able to annihilate the atmospheric tidal torque, leading to synchronization, while a convective atmosphere will be submitted to a strong torque, leading to a non-synchronized rotation state.


title: Baryon Number Violating Scatterings in Laboratories

abstract: Earlier estimates have argued that the baryon number violating scattering cross-section in the laboratory is exponentially small so it will never be observed, even for incoming 2-particle energy well above the sphaleron energy of 9 TeV. However, we argue in arXiv:1505.03690 that, due to the periodic nature of the sphaleron potential, the event rate for energies above the sphaleron energy may be high enough to be observed in the near future. That is, there is a discrepancy of about 70 orders of magnitude between the two estimates. Here we argue why and how the multi-sphaleron processes are crucial to the event rate estimate, a very important "resonant tunneling" property that has not been taken into account before. We also summarize the input assumptions and reasoning adopted in our estimate, when compared to the earlier estimates.


title: Implications of maximum acceleration on dynamics

abstract: Considering the corrected Unruh temperature as well as the entropic force perspective of gravity, we are able to derive the modification of the Newton's law of gravity. In addition, we also investigate the effects of the highest achievable acceleration correction to the Unruh temperature on the Poisson equation. Moreover, we address modifications to the Newtonian cosmology as well as the Friedmann equations corresponding to the upper bound for acceleration.


title: Entropy of higher-dimensional charged de Sitter black holes and phase transition

abstract: From a new perspective, we discuss the thermodynamic entropy of $n+2$-dimensional Reissner-Nordstr\"om-de Sitter(RNdS) black hole and analyze the phase transition of the effective thermodynamic system. Considering the correlations between the black hole event horizon and the cosmological horizon, we conjecture that the total entropy of the RNdS black hole should contain an extra term besides the sum of the entropies of the two horizons. In the lukewarm case, the effective temperature of the RNdS black hole is the same as that of the black hole horizon and the cosmological horizon. Under this condition, we obtain the extra contribution to the total entropy. With the corrected entropy, we derive other effective thermodynamic quantities and analyze the phase transition of the RNdS black hole in analogy to the usual thermodynamic system.


title: Wilson and Domainwall Kernels on Oakforest-PACS

abstract: We report the performance of Wilson and Domainwall Kernels on a new Intel Xeon Phi Knights Landing based machine named Oakforest-PACS, which is co-hosted by University of Tokyo and Tsukuba University and is currently fastest in Japan. This machine uses Intel Omni-Path for the internode network. We compare performance with several types of implementation including that makes use of the Grid library. The code is incorporated with the code set Bridge++.


title: Massless composite bosons formed by the coupled electron-positron pairs, and two-photon angular correlations in the colliding beam reaction $e^{-}e^{+}\to B\gamma\gamma$ with emission of the massless boson

abstract: The approach in which the electron and positron are treated as ordinary, different particles, each being characterized by the complete set of the Dirac plane waves, is examined. This completely symmetric representation that is beyond the standard QED, makes it necessary to choose another solution of the Dirac equation for the free particle propagator as compared to that used currently. The Bethe-Salpeter equation with these particle propagators is studied in the ladder approximation. A new branch of the massless composite bosons formed by the coupled electron-positron pairs with the coupling equal to the fine structure constant, has been found. It has been obtained that: 1) the massless bosons have the normalized complex wave functions, which are transversely compressed plane waves; 2) the transverse radius of the wave functions diverges as the boson energy goes to zero that is, the composite bosons cannot be at rest; 3) the extension of the transverse wave function in the momentum space and the compression of the coordinate wave function are continuously occurred with increasing the boson energy. The reaction $e^{-}e^{+}\to B\gamma\gamma$ products of which are the massless composite boson and two photons, is investigated. The cross-section of this reaction is derived for the non-relativistic colliding beams of the spin-polarized electrons and positrons. In this case the $2\gamma$ angular correlation spectrum is characterized by a narrow peak with the full-width-at-half-maximum not exceeding 0.2 mrad. It is shown that to establish whether there is the conventional annihilation of singlet electron-positron pair with the two-photon emission or the investigated reaction, products of which are the three particles, experiments with the extremely non-relativistic colliding beams should be conducted.


title: The closure of planar diffeomorphisms in Sobolev spaces

abstract: We characterize the (sequentially) weak and strong closure of planar diffeomorphisms in the Sobolev topology and we show that they always coincide. We also provide some sufficient condition for a planar map to be approximable by diffeomorphisms in terms of the connectedness of its counter-images, in the spirit of Young's characterisation of monotone functions. We finally show that the closure of diffeomorphisms in the Sobolev topology is strictly contained in the class INV introduced by Muller and Spector.


title: Gyrokinetic theory for particle transport in fusion plasmas

abstract: A set of equations is derived describing the macroscopic transport of particles and energy in a thermonuclear plasma on the energy confinement time. The equations thus derived allow studying collisional and turbulent transport self-consistently, retaining the effect of magnetic field geometry without postulating any scale separation between the reference state and fluctuations. Previously, assuming scale separation, transport equations have been derived from kinetic equations by means of multiple-scale perturbation analysis and spatio-temporal averaging. In this work, the evolution equations for the moments of the distribution function are obtained following the standard approach; meanwhile, gyrokinetic theory has been used to explicitly express the fluctuation induced fluxes. In this way, equations for the transport of particles and energy up to the transport time scale can be derived using standard first order gyrokinetics.


title: On subgraphs of random Cayley sum graphs

abstract: We prove that asymptotically almost surely, the random Cayley sum graph over a finite abelian group $G$ has edge density close to the expected one on every induced subgraph of size at least $\log^c |G|$, for any fixed $c > 1$ and $|G|$ large enough.


title: Modeling Graphs Using a Mixture of Kronecker Models

abstract: Generative models for graphs are increasingly becoming a popular tool for researchers to generate realistic approximations of graphs. While in the past, focus was on generating graphs which follow general laws, such as the power law for degree distribution, current models have the ability to learn from observed graphs and generate synthetic approximations. The primary emphasis of existing models has been to closely match different properties of a single observed graph. Such models, though stochastic, tend to generate samples which do not have significant variance in terms of the various graph properties. We argue that in many cases real graphs are sampled drawn from a graph population (e.g., networks sampled at various time points, social networks for individual schools, healthcare networks for different geographic regions, etc.). Such populations typically exhibit significant variance. However, existing models are not designed to model this variance, which could lead to issues such as overfitting. We propose a graph generative model that focuses on matching the properties of real graphs and the natural variance expected for the corresponding population. The proposed model adopts a mixture-model strategy to expand the expressiveness of Kronecker product based graph models (KPGM), while building upon the two strengths of KPGM, viz., ability to model several key properties of graphs and to scale to massive graph sizes using its elegant fractal growth based formulation. The proposed model, called x-Kronecker Product Graph Model, or xKPGM, allows scalable learning from observed graphs and generates samples that match the mean and variance of several salient graph properties. We experimentally demonstrate the capability of the proposed model to capture the inherent variability in real world graphs on a variety of publicly available graph data sets.


title: Vertical Integration from the Large Hilbert Space

abstract: We develop an alternative description of the procedure of vertical integration based on the observation that amplitudes can be written in BRST exact form in the large Hilbert space. We relate this approach to the description of vertical integration given by Sen and Witten.


title: The Variation of the Fractional Maximal Function of a Radial Function

abstract: In this paper we study the regularity of the non-centered fractional maximal operator $M_{\beta}$. As the main result, we prove that there exists $C(n,\beta)$ such that if $q=n/(n-\beta)$ and $f$ is a radial function, then $\|DM_{\beta}f\|_{L^{q}(\mathbb{R}^n)}\leq C(n,\beta)\|Df\|_{L^{1}(\mathbb{R}^n)}$. The corresponding result was previously known only if $n=1$ or $\beta=0$. Our proofs are almost free from one-dimensional arguments. Therefore, we believe that the new approach may be very useful when trying to extend the result for all $f\in W^{1,1}(\mathbb{R}^n)$.


title: SERENADE: A Parallel Randomized Algorithm Suite for Crossbar Scheduling in Input-Queued Switches

abstract: Most of today's high-speed switches and routers adopt an input-queued crossbar switch architecture. Such a switch needs to compute a matching (crossbar schedule) between the input ports and output ports during each switching cycle (time slot). A key research challenge in designing large (in number of input/output ports $N$) input-queued crossbar switches is to develop crossbar scheduling algorithms that can compute "high quality" matchings -- i.e., those that result in high switch throughput (ideally $100\%$) and low queueing delays for packets -- at line rates. SERENA is one such algorithm: it outputs excellent matching decisions that result in $100\%$ switch throughput and reasonably good queueing delays. However, since SERENA is a centralized algorithm with $O(N)$ computational complexity, it cannot support switches that both are large and have a very high line rate per port. In this work, we propose SERENADE (SERENA, the Distributed Edition), a parallel iterative algorithm that emulates SERENA in only $O(\log N)$ iterations between input ports and output ports, and hence has a time complexity of only $O(\log N)$ per port. We prove that SERENADE can exactly emulate SERENA. We also propose an early-stop version of SERENADE, called O-SERENADE, to only approximately emulate SERENA. Through extensive simulations, we show that O-SERENADE can achieve 100\% throughput and that it has similar as or slightly better delay performance than SERENA under various load conditions and traffic patterns.


title: Search for $WW/WZ$ resonance production in $\ell \nu qq$ final states in $pp$ collisions at $\sqrt{s} =$ 13 TeV with the ATLAS detector

abstract: A search is conducted for new resonances decaying into a $WW$ or $WZ$ boson pair, where one $W$ boson decays leptonically and the other $W$ or $Z$ boson decays hadronically. It is based on proton-proton collision data with an integrated luminosity of 36.1 fb$^{-1}$ collected with the ATLAS detector at the Large Hadron Collider at a centre-of-mass energy of $\sqrt{s}$ = 13 TeV in 2015 and 2016. The search is sensitive to diboson resonance production via vector-boson fusion as well as quark-antiquark annihilation and gluon-gluon fusion mechanisms. No significant excess of events is observed with respect to the Standard Model backgrounds. Several benchmark models are used to interpret the results. Limits on the production cross section are set for a new narrow scalar resonance, a new heavy vector-boson and a spin-2 Kaluza-Klein graviton.


title: Signed Node Relevance Measurements

abstract: In this paper, we perform the initial and comprehensive study on the problem of measuring node relevance on signed social networks. We design numerous relevance measurements for signed social networks from both local and global perspectives and investigate the connection between signed relevance measurements, balance theory and signed network properties. Experimental results are conducted to study the effects of signed relevance measurements with four real-world datasets on signed network analysis tasks.


title: The structure of the minimal free resolution of semigroup rings obtained by gluing

abstract: We construct a minimal free resolution of the semigroup ring k[C] in terms of minimal resolutions of k[A] and k[B] when <C> is a numerical semigroup obtained by gluing two numerical semigroups <A> and <B>. Using our explicit construction, we compute the Betti numbers, graded Betti numbers, regularity and Hilbert series of k[C], and prove that the minimal free resolution of k[C] has a differential graded algebra structure provided the resolutions of k[A] and k[B] possess them. We discuss the consequences of our results in small embedding dimensions. Finally, we give an extension of our main result to semigroups in N^n


title: Parametrically driven hybrid qubits-photon systems: dissipation-induced quantum entanglement and photon production from vacuum

abstract: We consider a dissipative evolution of parametrically-driven qubits-cavity system under the periodical modulation of coupling energy between two subsystems, which leads to the amplification of counterrotating processes. We reveal a very rich dynamical behavior of this hybrid system. In particular, we find that the energy dissipation in one of the subsystems can enhance quantum effects in another subsystem. For instance, optimal cavity decay assists to stabilize entanglement and quantum correlations between qubits even in the steady state and to compensate finite qubit relaxation. On the contrary, energy dissipation in qubit subsystem results in the enhanced photon production from vacuum for strong modulation, but destroys both quantum concurrence and quantum mutual information between qubits. Our results provide deeper insights to nonstationary cavity quantum electrodynamics in context of quantum information processing and might be of importance for dissipative quantum state engineering.


title: Generators versus projective generators in abelian categories

abstract: Let $\mathcal{A}$ be an essentially small abelian category. We prove that if $\mathcal{A}$ admits a generator $M$ with ${\rm End}_{\mathcal{A}}(M)$ right artinian, then $\mathcal{A}$ admits a projective generator. If $\mathcal{A}$ is further assumed to be Grothendieck, then this implies that $\mathcal{A}$ is equivalent to a module category. When $\mathcal{A}$ is Hom-finite over a field $k$, the existence of a generator is the same as the existence of a projective generator, and in case there is such a generator, $\mathcal{A}$ has to be equivalent to the category of finite dimensional right modules over a finite dimensional $k$-algebra. We also show that when $\mathcal{A}$ is a length category, then there is a one-to-one correspondence between exact abelian extension closed subcategories of $\mathcal{A}$ and collections of Hom-orthogonal Schur objects in $\mathcal{A}$.


title: On the geometry of chemical reaction networks: Lyapunov function and large deviations

abstract: In an earlier paper, we proved the validity of large deviations theory for the particle approximation of quite general chemical reaction networks (CRNs). In this paper, we extend its scope and present a more geometric insight into the mechanism of that proof, exploiting the notion of spherical image of the reaction polytope. This allows to view the asymptotic behavior of the vector field describing the mass-action dynamics of chemical reactions as the result of an interaction between the faces of this polytope in different dimensions. We also illustrate some local aspects of the problem in a discussion of Wentzell-Freidlin (WF) theory, together with some examples.


title: Quantum Spin Liquids Unveil the Genuine Mott State

abstract: The Widom line identifies the locus in the phase diagram where a supercritical gas crosses over from gas-like to a more liquid-like behavior. A similar transition exists in correlated electron liquids, where the interplay of Coulomb repulsion, bandwidth and temperature triggers between the Mott insulating state and an incoherent conduction regime. Here we explore the electrodynamic response of three organic quantum spin liquids with different degrees of effective correlation, where the absence of magnetic order enables unique insight into the nature of the genuine Mott state down to the most relevant low-temperature region. Combining optical spectroscopy with pressure-dependent dc transport and theoretical calculations, we succeeded to construct a phase diagram valid for all Mott insulators on a quantitative scale. In the vicinity of the low-temperature phase boundary, we discover metallic fluctuations within the Mott gap, exhibiting enhanced absorption upon cooling that is not present in antiferromagnetic Mott insulators. Our findings reveal the phase coexistence region and Pomeranchuk-like anomaly of the Mott transition, previously predicted but never observed.


title: C-blox: A Scalable and Consistent TSDF-based Dense Mapping Approach

abstract: In many applications, maintaining a consistent dense map of the environment is key to enabling robotic platforms to perform higher level decision making. Several works have addressed the challenge of creating precise dense 3D maps from visual sensors providing depth information. However, during operation over longer missions, reconstructions can easily become inconsistent due to accumulated camera tracking error and delayed loop closure. Without explicitly addressing the problem of map consistency, recovery from such distortions tends to be difficult. We present a novel system for dense 3D mapping which addresses the challenge of building consistent maps while dealing with scalability. Central to our approach is the representation of the environment as a collection of overlapping TSDF subvolumes. These subvolumes are localized through feature-based camera tracking and bundle adjustment. Our main contribution is a pipeline for identifying stable regions in the map, and to fuse the contributing subvolumes. This approach allows us to reduce map growth while still maintaining consistency. We demonstrate the proposed system on a publicly available dataset and simulation engine, and demonstrate the efficacy of the proposed approach for building consistent and scalable maps. Finally we demonstrate our approach running in real-time on-board a lightweight MAV.


title: The geometric $R$-matrix for affine crystals of type $A$

abstract: In [Frieden, arXiv:1706.02844], we constructed a geometric crystal on the variety $\mathbb{X}_{k} := {\rm Gr}(k,n) \times \mathbb{C}^\times$ which tropicalizes to the affine crystal structure on rectangular tableaux with $n-k$ rows. In this sequel, we define and study the geometric $R$-matrix, a birational map $R : \mathbb{X}_{k_1} \times \mathbb{X}_{k_2} \rightarrow \mathbb{X}_{k_2} \times \mathbb{X}_{k_1}$ which tropicalizes to the combinatorial $R$-matrix on pairs of rectangular tableaux. We show that $R$ is an isomorphism of geometric crystals, and that it satisfies the Yang--Baxter relation. In the case where both tableaux have one row, we recover a birational action of the symmetric group that has appeared in the literature in a number of contexts. We also define a rational function $E : \mathbb{X}_{k_1} \times \mathbb{X}_{k_2} \rightarrow \mathbb{C}$ which tropicalizes to the coenergy function from affine crystal theory. Most of the properties of the geometric $R$-matrix follow from the fact that it gives the unique solution to a certain equation of matrices in the loop group ${\rm GL}_n(\mathbb{C}(\lambda))$.


title: Emergence of Landauer Transport from Quantum Dynamics: A Model Hamiltonian Approach

abstract: The Landauer expression for computing current-voltage characteristics in nanoscale devices is efficient and widely applicable but not suited to transient phenomena and time dependent currents because it assumes that the charge carrier population attains a time independent dynamic equilibrium as soon as the external voltage is turned on. In this article, we construct a very general expression for a time dependent current in an electrode-molecule-electrode arrangement. Utilizing a model Hamiltonian, we propagate the Schrodinger wave function equation to numerically compute the time dependent population in the individual sub-systems. The current in each electrode (defined in terms of the rate of change of the corresponding population) has two components, one due to the charges originating from the same electrode and the other due to the charges initially residing at the other electrode. We derive an analytical expression for the first component and illustrate that it agrees reasonably with the numerical counterpart at early times. The structural form reveals that the initial occupancy can be factored out of the time dependent segment of the expression. We take this cue to construct a Landauer style formula and demonstrate that the current obtained from this simplified formula overlaps with our most general numerical current only after the charge flow settles into a steady state. Thus, we illustrate the emergence of Landauer transport from a true first-principles quantum dynamics calculation without any prior assumptions. Subsequently, we investigate the ingredients in our model that regulate the onset time scale of this Landauer regime. We compare the performance of our general current expression with the Landauer current for time dependent electronic coupling. Finally, we comment on the applicability of the Landauer formulas to compute hot-electron current arising upon plasmon decoherence.


title: Application of the cut-off projection to solve a backward heat conduction problem in a two-slab composite system

abstract: The main goal of this paper is applying the cut-off projection for solving one-dimensional backward heat conduction problem in a two-slab system with a perfect contact. In a constructive manner, we commence by demonstrating the Fourier-based solution that contains the drastic growth due to the high-frequency nature of the Fourier series. Such instability leads to the need of studying the projection method where the cut-off approach is derived consistently. In the theoretical framework, the first two objectives are to construct the regularized problem and prove its stability for each noise level. Our second interest is estimating the error in $L^2$-norm. Another supplementary objective is computing the eigen-elements. All in all, this paper can be considered as a preliminary attempt to solve the heating/cooling of a two-slab composite system backward in time. Several numerical tests are provided to corroborate the qualitative analysis.


title: Carbon dioxide to carbon nanotube scale-up

abstract: Team C2CNT, or team Carbon dioxide to carbon nanotubes, proprietary technology directly removes the widest range of carbon dioxide from the ecosystem. C2CNT technology simply transforms low to high carbon dioxide into carbon and oxygen, and the carbon produced is permanently removed, that is stable on the order of geologic time frames. C2CNT technology directly removes, transforms and stores atmospheric 0.04% CO2 without pre-concentration from the air, or 5% CO2 removal of gas power plant CO2 emissions, or 12.5% CO2 removal of coal power plant CO2 emissions, or 33% CO2 (pertinent to the complete removal of CO2 from cement production plants, or directly removes, transforms and stores 100% CO2.


title: Spin-triplet supercurrent in Josephson junctions containing a synthetic antiferromagnet with perpendicular magnetic anisotropy

abstract: We present measurements of Josephson junctions containing three magnetic layers with noncolinear magnetizations. The junctions are of the form $S/F^{\prime}/N/F/N/F^{\prime \prime}/S$, where $S$ is superconducting Nb, $F^\prime$ is either a thin Ni or Permalloy layer with in-plane magnetization, $N$ is the normal metal Cu, $F$ is a synthetic antiferromagnet (SAF) with magnetization perpendicular to the plane, composed of Pd/Co multilayers on either side of a thin Ru spacer, and $F^{\prime \prime}$ is a thin Ni layer with in-plane magnetization. The supercurrent in these junctions decays more slowly as a function of the $F$-layer thickness than for similar spin-singlet junctions not containing the $F^\prime$ and $F^{\prime \prime}$ layers. The slower decay is the prime signature that the supercurrent in the central part of these junctions is carried by spin-triplet pairs. The junctions containing $F^{\prime}=$ Permalloy are suitable for future experiments where either the amplitude of the critical current or the ground-state phase difference across the junction is controlled by changing the relative orientations of the magnetizations of the $F^{\prime}$ and $F^{\prime \prime}$ layers.


title: Composition-dependent magnetic response properties of Mn$_{1-x}$Fe$_x$Ge alloys

abstract: The composition-dependent behavior of the Dzyaloshinskii-Moriya interaction (DMI), the spin-orbit torque (SOT), as well as anomalous and spin Hall conductivities of Mn$_{1-x}$Fe$_x$Ge alloys have been investigated by first-principles calculations using the relativistic multiple scattering Korringa-Kohn-Rostoker (KKR) formalism. The $D_{\rm xx}$ component of the DMI exhibits a strong dependence on the Fe concentration, changing sign at $x \approx 0.85$ in line with previous theoretical calculations as well as with experimental results demonstrating the change of spin helicity at $x \approx 0.8$. A corresponding behavior with a sign change at $x \approx 0.5$ is predicted also for the Fermi sea contribution to the SOT, as this is closely related to the DMI. In the case of anomalous and spin Hall effects it is shown that the calculated Fermi sea contributions are rather small and the composition-dependent behavior of these effects are determined mainly by the electronic states at the Fermi level. The spin-orbit-induced scattering mechanisms responsible for both these effects suggest a common origin of the minimum of the AHE and the sign change of the SHE conductivities.


title: Inferences on Mass Composition and Tests of Hadronic Interactions from 0.3 to 100 EeV using the water-Cherenkov Detectors of the Pierre Auger Observatory

abstract: We present a new method for probing the hadronic interaction models at ultra-high energy and extracting details about mass composition. This is done using the time profiles of the signals recorded with the water-Cherenkov detectors of the Pierre Auger Observatory. The profiles arise from a mix of the muon and electromagnetic components of air-showers. Using the risetimes of the recorded signals we define a new parameter, which we use to compare our observations with predictions from simulations. We find, firstly, inconsistencies between our data and predictions over a greater energy range and with substantially more events than in previous studies. Secondly, by calibrating the new parameter with fluorescence measurements from observations made at the Auger Observatory, we can infer the depth of shower maximum for a sample of over 81,000 events extending from 0.3 EeV to over 100 EeV. Above 30 EeV, the sample is nearly fourteen times larger than currently available from fluorescence measurements and extending the covered energy range by half a decade. The energy dependence of the average depth of shower maximum is compared to simulations and interpreted in terms of the mean of the logarithmic mass. We find good agreement with previous work and extend the measurement of the mean depth of shower maximum to greater energies than before, reducing significantly the statistical uncertainty associated with the inferences about mass composition.


title: On $k$-normal elements over finite fields

abstract: The so called $k$-normal elements appear in the literature as a generalization of normal elements over finite fields. Recently, questions concerning the construction of $k$-normal elements and the existence of $k$-normal elements that are also primitive have attracted attention from many authors. In this paper we give alternative constructions of $k$-normal elements and, in particular, we obtain a sieve inequality for the existence of primitive, $k$-normal elements. As an application, we show the existence of primitive $k$-normal elements for a significant proportion of $k$'s in many field extensions. In particular, we prove that there exist primitive $k$-normals in $\mathbb F_{q^n}$ over $\mathbb F_q$ in the case when $k$ lies in the interval $[1, n/4]$, $n$ has a special property and $q, n\ge 420$.


title: A set of new observables in the process $e^+_{}e^-_{}\to ZHH$

abstract: Consequences of non-standard Higgs couplings in the final-state distributions of the process $e^+_{}e^-_{} \to ZHH$ are studied. We derive an analytic expression for the differential cross section, which has in the most general case 9 non-zero functions. These functions are the coefficients of 9 angular terms, depend on the Higgs couplings, and can be experimentally measured as observables. Symmetry properties of these 9 functions are carefully discussed, and they are divided into 4 categories under CP and $\mathrm{CP\tilde{T}}$. The relations between our observables and the observables which exist in the literature are also clarified. We numerically study the dependence of our observables on the parameters in an effective Lagrangian for the Higgs couplings. It is shown that these new observables depend on most of the effective Lagrangian parameters in different ways from the total cross section. A benefit from longitudinally polarized $e^+_{}e^-_{}$ beams is also discussed.


title: Conserved Charges in Extended Theories of Gravity

abstract: We give a detailed review of construction of conserved quantities in extended theories of gravity for asymptotically maximally symmetric spacetimes and carry out explicit computations for various solutions. Our construction is based on the Killing charge method, and a proper discussion of the conserved charges of extended gravity theories with this method requires studying the corresponding charges in Einstein's theory with or without a cosmological constant. Hence we study the ADM charges (in the asymptotically flat case but in generic viable coordinates), the AD charges (in generic Einstein spaces, including the anti-de Sitter spacetimes) and the ADT charges in anti-de Sitter spacetimes. We also discuss the conformal properties and the behavior of these charges under large gauge transformations as well as the linearization instability issue which explains the vanishing charge problem for some particular extended theories. We devote a long discussion to the quasi-local and off-shell generalization of conserved charges in the 2+1 dimensional Chern-Simons like theories and suggest their possible relevance to the entropy of black holes.


title: On the Deceleration and Spreading of Relativistic Jets I: Jet Dynamics

abstract: Jet breaks in gamma ray burst (GRB) afterglows provide a direct probe of their collimation angle. Modeling a jet break requires an understanding of the "jet spreading" process, whereby the jet transitions from a collimated outflow into the spherical Sedov-Taylor solution at late times. Currently, direct numerical calculations are the most accurate way to capture the deceleration and spreading process, as analytical models have previously given inaccurate descriptions of the dynamics. Here (in paper I) we present a new, semi-analytical model built empirically by performing relativistic numerical jet calculations and measuring the relationship between Lorentz factor and opening angle. We then calculate the Lorentz factor and jet opening angle as a function of shock radius and compare to the numerical solutions. Our analytic model provides an efficient means of computing synthetic GRB afterglow light curves and spectra, which is the focus of paper II.


title: Search strategies for pair production of heavy Higgs bosons decaying invisibly at the LHC

abstract: The search for heavy Higgs bosons at the LHC represents an intense experimental program, carried out by the ATLAS and CMS collaborations, which includes the hunt for invisible Higgs decays and dark matter candidates. No significant deviations from the SM backgrounds have been observed in any of these searches, imposing significant constraints on the parameter space of different new physics models with an extended Higgs sector. Here we discuss an alternative search strategy for heavy Higgs bosons decaying invisibly at the LHC, focusing on the pair production of a heavy scalar $H$ together with a pseudoscalar $A$, through the production mode $q \bar q \to Z^\ast \to HA$. We identify as the most promising signal the final state made up of $4b + E_T^\text{miss}$, coming from the heavy scalar decay mode $H \to hh \to b \bar b b \bar b$, with $h$ being the discovered SM-like Higgs boson with $m_h=125$ GeV, together with the invisible channel of the pseudoscalar. We work within the context of simplified MSSM scenarios that contain quite heavy sfermions of most types with ${\cal O}(10)$ TeV masses, while the stops are heavy enough to reproduce the 125 GeV mass for the lightest SM-like Higgs boson. By contrast, the gauginos/higgsinos and the heavy MSSM Higgs bosons have masses near the EW scale. Our search strategies, for a LHC center-of-mass energy of $\sqrt{s} =$ 14 TeV, allow us to obtain statistical significances of the signal over the SM backgrounds with values up to $\sim$ 1.6$\sigma$ and $\sim$ 3$\sigma$, for total integrated luminosities of 300 fb$^{-1}$ and 1000 fb$^{-1}$, respectively.


title: Partitioning the vertices of a torus into isomorphic subgraphs

abstract: Let $H$ be an induced subgraph of the torus $C_k^m$. We show that when $k \ge 3$ is even and $|V(H)|$ divides some power of $k$, then for sufficiently large $n$ the torus $C_k^n$ has a perfect vertex-packing with induced copies of $H$. On the other hand, disproving a conjecture of Gruslys, we show that when $k$ is odd and not a prime power, then there exists $H$ such that $|V(H)|$ divides some power of $k$, but there is no $n$ such that $C_k^n$ has a perfect vertex-packing with copies of $H$. We also disprove a conjecture of Gruslys, Leader and Tan by exhibiting a subgraph $H$ of the $k$-dimensional hypercube $Q_k$, such that there is no $n$ for which $Q_n$ has a perfect edge-packing with copies of $H$.


title: The disjointness of stabilizer codes and limitations on fault-tolerant logical gates

abstract: Stabilizer codes are a simple and successful class of quantum error-correcting codes. Yet this success comes in spite of some harsh limitations on the ability of these codes to fault-tolerantly compute. Here we introduce a new metric for these codes, the disjointness, which, roughly speaking, is the number of mostly non-overlapping representatives of any given non-trivial logical Pauli operator. We use the disjointness to prove that transversal gates on error-detecting stabilizer codes are necessarily in a finite level of the Clifford hierarchy. We also apply our techniques to topological code families to find similar bounds on the level of the hierarchy attainable by constant depth circuits, regardless of their geometric locality. For instance, we can show that symmetric 2D surface codes cannot have non-local constant depth circuits for non-Clifford gates.


title: A stellar census in globular clusters with MUSE: The contribution of rotation to cluster dynamics studied with 200 000 stars

abstract: This is the first of a series of papers presenting the results from our survey of 25 Galactic globular clusters with the MUSE integral-field spectrograph. In combination with our dedicated algorithm for source deblending, MUSE provides unique multiplex capabilities in crowded stellar fields and allows us to acquire samples of up to 20 000 stars within the half-light radius of each cluster. The present paper focuses on the analysis of the internal dynamics of 22 out of the 25 clusters, using about 500 000 spectra of 200 000 individual stars. Thanks to the large stellar samples per cluster, we are able to perform a detailed analysis of the central rotation and dispersion fields using both radial profiles and two-dimensional maps. The velocity dispersion profiles we derive show a good general agreement with existing radial velocity studies but typically reach closer to the cluster centres. By comparison with proper motion data we derive or update the dynamical distance estimates to 14 clusters. Compared to previous dynamical distance estimates for 47 Tuc, our value is in much better agreement with other methods. We further find significant (>3sigma) rotation in the majority (13/22) of our clusters. Our analysis seems to confirm earlier findings of a link between rotation and the ellipticities of globular clusters. In addition, we find a correlation between the strengths of internal rotation and the relaxation times of the clusters, suggesting that the central rotation fields are relics of the cluster formation that are gradually dissipated via two-body relaxation.


title: Forward Analysis for WSTS, Part III: Karp-Miller Trees

abstract: This paper is a sequel of "Forward Analysis for WSTS, Part I: Completions" [STACS 2009, LZI Intl. Proc. in Informatics 3, 433-444] and "Forward Analysis for WSTS, Part II: Complete WSTS" [Logical Methods in Computer Science 8(3), 2012]. In these two papers, we provided a framework to conduct forward reachability analyses of WSTS, using finite representations of downward-closed sets. We further develop this framework to obtain a generic Karp-Miller algorithm for the new class of very-WSTS. This allows us to show that coverability sets of very-WSTS can be computed as their finite ideal decompositions. Under natural effectiveness assumptions, we also show that LTL model checking for very-WSTS is decidable. The termination of our procedure rests on a new notion of acceleration levels, which we study. We characterize those domains that allow for only finitely many accelerations, based on ordinal ranks.


title: AC transport in Correlated Quantum Dots: From Kondo to Coulomb blockade regime

abstract: We explore the finite bias DC differential conductance of a correlated quantum dot under the influence of an AC field, from the low-temperature Kondo to the finite temperature Coulomb blockade regime. Real-time simulations are performed using a time-dependent generalization of the steady-state density functional theory (i-DFT) [Nano Lett. {\bf 15}, 8020 (2015)]. The numerical simplicity of i-DFT allows for unprecedented long time evolutions. Accurate values of average current and density are obtained by integrating over several periods of the AC field. We find that (i) the zero-temperature Kondo plateau is suppressed, (ii) the photon-assisted conductance peaks are shifted due to correlations and (iii) the Coulomb blockade is lifted with a concomitant smoothening of the sharp diamond edges.


title: Searching for new scalar bosons via triple-top signature in $cg \to tS^0 \to tt\bar t$

abstract: The alignment phenomenon, that the 125 GeV $h^0$ boson so resembles the Standard Model Higgs boson, can be understood in a two Higgs doublet model without discrete symmetry. New Yukawa couplings $\rho_{tt}$ and $\rho_{tc}$ offer new avenues to discover the extra scalar $H^0$ and pseudoscalar $A^0$. We propose to search for $cg \to tH^0$, $tA^0$ followed by $H^0$, $A^0 \to t\bar t$, $t\bar c$, where same-sign dileptons could be the harbinger, with triple-top, in the signature of three leptons plus three $b$-jets, as confirmation. Discovery could touch upon the origin of baryon asymmetry of the Universe.


title: A density version of Cobham's theorem

abstract: Cobham's theorem asserts that if a sequence is automatic with respect to two multiplicatively independent bases, then it is ultimately periodic. We prove a stronger density version of the result: if two sequences which are automatic with respect to two multiplicatively independent bases coincide on a set of density one, then they also coincide on a set of density one with a periodic sequence. We apply the result to a problem of Deshouillers and Ruzsa concerning the least nonzero digit of $n!$ in base $12$.


title: Curved Backgrounds in Emergent Gravity

abstract: Field theories that are generally covariant but nongravitational at tree level typically give rise to an emergent gravitational interaction whose strength depends on a physical regulator. We consider emergent gravity models in which scalar fields assume the role of clock and rulers, addressing the problem of time in quantum gravity. We discuss the possibility of nontrivial dynamics for clock and ruler fields, and describe some of the consequences of those dynamics for the emergent gravitational theory.


title: More on the New Large $D$ Limit of Matrix Models

abstract: In this paper, we extend the recent analysis of the new large $D$ limit of matrix models to the cases where the action contains arbitrary multi-trace interaction terms as well as to arbitrary correlation functions. We discuss both the cases of complex and Hermitian matrices, with $\text{U}(N)^{2}\times\text{O}(D)$ and $\text{U}(N)\times\text{O}(D)$ symmetries respectively. In the latter case, the new large $D$ limit is consistent for planar diagrams; at higher genera, it crucially requires the tracelessness condition. For similar reasons, the large $N$ limit of tensor models with reduced symmetries is typically inconsistent already at leading order without the tracelessness condition. We also further discuss some interesting properties of purely bosonic models pointed out recently and explain that the standard argument predicting a non-trivial IR behaviour in fermionic models \`a la SYK does not work for bosonic models. Finally, we explain that the new large $D$ scaling is consistent with linearly realized supersymmetry.


title: Informational Neurobayesian Approach to Neural Networks Training. Opportunities and Prospects

abstract: A study of the classification problem in context of information theory is presented in the paper. Current research in that field is focused on optimisation and bayesian approach. Although that gives satisfying results, they require a vast amount of data and computations to train on. Authors propose a new concept named Informational Neurobayesian Approach (INA), which allows to solve the same problems, but requires significantly less training data as well as computational power. Experiments were conducted to compare its performance with the traditional one and the results showed that capacity of the INA is quite promising.


title: Varying the chiral magnetic effect relative to flow in a single nucleus-nucleus collision

abstract: We propose a novel method to search for the chiral magnetic effect (CME) in heavy ion collisions. We argue that the relative strength of the magnetic field (mainly from spectator protons and responsible for the CME) with respect to the reaction plane and the participant plane is opposite to that of the elliptic flow background arising from the fluctuating participant geometry. This opposite behavior in a single collision system, hence with small systematic uncertainties, can be exploited to extract the possible CME signal from the flow background. The method is applied to the existing data at RHIC, the outcome of which is discussed.


title: Preserving Local and Global Information for Network Embedding

abstract: Networks such as social networks, airplane networks, and citation networks are ubiquitous. The adjacency matrix is often adopted to represent a network, which is usually high dimensional and sparse. However, to apply advanced machine learning algorithms to network data, low-dimensional and continuous representations are desired. To achieve this goal, many network embedding methods have been proposed recently. The majority of existing methods facilitate the local information i.e. local connections between nodes, to learn the representations, while completely neglecting global information (or node status), which has been proven to boost numerous network mining tasks such as link prediction and social recommendation. Hence, it also has potential to advance network embedding. In this paper, we study the problem of preserving local and global information for network embedding. In particular, we introduce an approach to capture global information and propose a network embedding framework LOG, which can coherently model {\bf LO}cal and {\bf G}lobal information. Experimental results demonstrate the ability to preserve global information of the proposed framework. Further experiments are conducted to demonstrate the effectiveness of learned representations of the proposed framework.


title: Two-point function of a quantum scalar field in the interior region of a Reissner-Nordstrom black hole

abstract: We derive explicit expressions for the two-point function of a massless scalar field in the interior region of a Reissner-Nordstrom black hole, in both the Unruh and Hartle-Hawking quantum states. The two-point function is expressed in terms of the standard $lm\omega$ modes of the scalar field (those associated with a spherical harmonic $Y_{lm}$ and a temporal mode $e^{-i\omega t}$), which can be conveniently obtained by solving an ordinary differential equation, the radial equation. These explicit expressions are the internal analogs of the well known results in the external region (originally derived by Christensen and Fulling), in which the two-point function outside the black hole is written in terms of the external $lm\omega$ modes of the field. They allow the computation of $<\Phi^{2}>_{ren}$ and the renormalized stress-energy tensor inside the black hole, after the radial equation has been solved (usually numerically). In the second part of the paper, we provide an explicit expression for the trace of the renormalized stress-energy tensor of a minimally-coupled massless scalar field (which is non-conformal), relating it to the d'Alembertian of $<\Phi^{2}>_{ren}$. This expression proves itself useful in various calculations of the renormalized stress-energy tensor.


title: Simulating Quantum Spin Hall Effect in Topological Lieb Lattice of Linear Circuit

abstract: Inspired by the topological insulator circuit proposed and experimentally verified by Jia., et al. \cite{1}, we theoretically realized the topological Lieb lattice, a line centered square lattice with rich topological properties, in a radio-frequency circuit. We open the topological nontrivial band-gap through specific capacitor-inductor network, which resembles adding intrinsic spin orbit coupling term into the tight binding model. Finally, we discuss the extension of the $\phi=\pi/2$ phase change of hopping between sites to arbitrary value, and investigate the topological phase transition of the band structure vary with capacitance, thereby paving the way for designing tunable lattices using the presented framework.


title: Domain wall and isocurvature perturbation problems in a supersymmetric axion model

abstract: The axion causes two serious cosmological problems, domain wall and isocurvature perturbation problems. Linde pointed that the isocurvature perturbations are suppressed when the Peccei-Quinn (PQ) scalar field takes a large value $\sim M_{\text{pl}}$ (Planck scale) during inflation. In this case, however, the PQ field with large amplitude starts to oscillate after inflation and large fluctuations of the PQ field are produced through parametric resonance, which leads to the formation of domain walls. We consider a supersymmetric axion model and examine whether domain walls are formed by using lattice simulation. It is found that the domain wall problem does not appear in the SUSY axion model when the initial value of the PQ field is less than $10^{3}\times v$ where $v$ is the PQ symmetry breaking scale.


title: Stable rationality of quadric and cubic surface bundle fourfolds

abstract: We study the stable rationality problem for quadric and cubic surface bundles over surfaces from the point of view of the degeneration method for the Chow group of 0-cycles. Our main result is that a very general hypersurface X of bidegree (2,3) in P^2 x P^3 is not stably rational. Via projections onto the two factors, X is a cubic surface bundle over P^2 and a conic bundle over P^3, and we analyze the stable rationality problem from both these points of view. This provides another example of a smooth family of rationally connected fourfolds with rational and nonrational fibers. Finally, we introduce new quadric surface bundle fourfolds over P^2 with discriminant curve of any even degree at least 8, having nontrivial unramified Brauer group and admitting a universally CH_0-trivial resolution.


title: A minimal representation of the orthosymplectic Lie supergroup

abstract: We construct a minimal representation of the orthosymplectic Lie supergroup $OSp(p,q|2n)$, generalising the Schr\"odinger model of the minimal representation of $O(p,q)$ to the super case. The underlying Lie algebra representation is realized on functions on the minimal orbit inside the Jordan superalgebra associated with $\mathfrak{osp}(p,q|2n)$, so that our construction is in line with the orbit philosophy. Its annihilator is given by a Joseph-like ideal for $\mathfrak{osp}(p,q|2n)$, and therefore the representation is a natural generalization of a minimal representations to the context of Lie superalgebras. We also calculate its Gelfand--Kirillov dimension and construct a non-degenerate sesquilinear form for which the representation is skew-symmetric and which is the analogue of an $L^2$-inner product in the supercase.


title: Classification of selectors for sequences of dense sets of Baire functions

abstract: For a Tychonoff space X, we denote by B(X) the space of all Baire functions on X with the topology of pointwise convergence. In this paper we investigate selectors for sequences of countable dense and countable sequentially dense sets of the space B(X).


title: Dynamical analysis for a scalar-tensor model with kinetic and non-minimal couplings

abstract: We study the autonomous system for a scalar-tensor model of dark energy with non-minimal coupling to curvature and non-minimal kinetic coupling to the Einstein tensor. The critical points describe important stable asymptotic scenarios including quintessence, phantom and de Sitter attractor solutions. Two functional forms for the coupling functions and the scalar potential were considered: power-law and exponential functions of the scalar field. For power-law couplings, the restrictions on stable quintessence and phantom solutions lead to asymptotic freedom regime for the gravitational interaction. The model with dimensionless kinetic coupling constant gives stable de Sitter solutions. For the exponential functions the stable quintessence, phantom or de Sitter solutions, allow asymptotic behaviors where the effective Newtonian coupling can reach either the asymptotic freedom regime or constant value. The phantom solutions could be realized without appealing to ghost degrees of freedom. Transient inflationary and radiation dominated phases can also be described.


title: T-duality in an H-flux: exchange of momentum and winding

abstract: Using our earlier proposal for Ramond-Ramond fields in an H-flux on loop space, we extend the Hori isomorphism of Bouwknegt-Evslin-Mathai from invariant differential forms, to invariant exotic differential forms such that the momentum and winding numbers are exchanged, filling in a gap in the literature. We also extend the compatibility of the action of invariant exact Courant algebroids on the T-duality isomorphism of Cavalcanti-Gualtieri, to the T-duality isomorphism on exotic invariant differential forms.


title: Necessary and Sufficient Condition for Asymptotic Normality of Standardized Sample Means

abstract: The double sequence of standardized sample means constructed from an infinite sequence of square integrable independent random vectors in the plane with identically distributed coordinates is jointly asymptotically Normal if and only if the Cesaro means of the sequence of cross sample correlation coefficients converges to 0.


title: Machine Learning as Statistical Data Assimilation

abstract: We identify a strong equivalence between neural network based machine learning (ML) methods and the formulation of statistical data assimilation (DA), known to be a problem in statistical physics. DA, as used widely in physical and biological sciences, systematically transfers information in observations to a model of the processes producing the observations. The correspondence is that layer label in the ML setting is the analog of time in the data assimilation setting. Utilizing aspects of this equivalence we discuss how to establish the global minimum of the cost functions in the ML context, using a variational annealing method from DA. This provides a design method for optimal networks for ML applications and may serve as the basis for understanding the success of "deep learning". Results from an ML example are presented. When the layer label is taken to be continuous, the Euler-Lagrange equation for the ML optimization problem is an ordinary differential equation, and we see that the problem being solved is a two point boundary value problem. The use of continuous layers is denoted "deepest learning". The Hamiltonian version provides a direct rationale for back propagation as a solution method for the canonical momentum; however, it suggests other solution methods are to be preferred.


title: On the constructibility of the axes of an ellipsoid

abstract: In this paper we discuss Chasles's construction on ellipsoid to draw the semi-axes from a complete system of conjugate diameters. We prove that there is such situation when the construction is not planar (the needed points cannot be constructed with compasses and ruler) and give some others in which the construction is planar.In this paper we discuss Chasles's construction on ellipsoid to draw the semi-axes from a complete system of conjugate diameters. We prove that there is such situation when the construction is not planar (the needed points cannot be constructed with compasses and ruler) and give some others in which the construction is planar.


title: Early stopping for statistical inverse problems via truncated SVD estimation

abstract: We consider truncated SVD (or spectral cut-off, projection) estimators for a prototypical statistical inverse problem in dimension $D$. Since calculating the singular value decomposition (SVD) only for the largest singular values is much less costly than the full SVD, our aim is to select a data-driven truncation level $\widehat m\in\{1,\ldots,D\}$ only based on the knowledge of the first $\widehat m$ singular values and vectors. We analyse in detail whether sequential {\it early stopping} rules of this type can preserve statistical optimality. Information-constrained lower bounds and matching upper bounds for a residual based stopping rule are provided, which give a clear picture in which situation optimal sequential adaptation is feasible. Finally, a hybrid two-step approach is proposed which allows for classical oracle inequalities while considerably reducing numerical complexity.


title: On plane quartics with a Galois invariant Cayley octad

abstract: We describe a construction of plane quartics with prescribed Galois operation on the 28 bitangents, in the particular case of a Galois invariant Cayley octad. As an application, we solve the inverse Galois problem for degree two del Pezzo surfaces in the corresponding particular case.


title: Testing Quantum Gravity

abstract: The search for a theory of quantum gravity is the most fundamental problem in all of theoretical physics, but there are as yet no experimental results at all to guide this endeavor. What seems to be needed is a pragmatic way to test if gravitation really occurs between quantum objects or not. In this article we suggest such a potential way out of this deadlock, utilizing macroscopic quantum systems; superfluid helium, gaseous Bose-Einstein condensates and "macroscopic" molecules. It turns out that true quantum gravity effects - here defined as observable gravitational interactions between truly quantum objects - could and should be seen (if they occur in nature) using existing technology. A falsification of the low-energy limit, in the accessible weak-field regime, would also falsify the full theory of quantum gravity, making it enter the realm of testable, potentially falsifiable theories, i.e. becoming real physics after almost a century of pure theorizing. If weak-field gravity between quantum objects is shown to be absent (in the regime where the approximation should apply), we know that gravity then is a strictly classical phenomenon absent at the quantum level.


title: Cosmological Parameters For Spatially Flat Dust Filled Universe In Brans-Dicke Theory

abstract: In this paper, we have investigated late time acceleration for a spatially flat dust filled Universe in Brans-Dicke theory in the presence of a positive cosmological constant $\Lambda$ . Expressions for Hubble's constant, luminosity distance and apparent magnitude have been obtained for our model. The theoretical results are compared with the observed values of the the latest 287 high red shift ($ .3 \leq z \leq 1.4$ ) SN Ia supernova data's taken from Union 2.1 compilation to estimate the present values of the matter and dark energy parameters $(\Omega_{m})_0$ and $(\Omega_{\Lambda})_0$. We have also estimated the present value of Hubble's constant $H_0$ in the light of a updated sample of Hubble parameter measurements including 19 independent data points. The results are found to be in good agreement with recent astrophysical observations. We have also calculated various physical parameters such as the matter and dark energy densities, the present age of the universe and deceleration parameter. The value for BD-coupling constant $\omega$ is set to be 40000 on the basis of accuracy of the solar system tests and recent experimental evidence.


title: Multilevel ensemble Kalman filtering for spatio-temporal processes

abstract: We design and analyse the performance of a multilevel ensemble Kalman filter method (MLEnKF) for filtering settings where the underlying state-space model is an infinite-dimensional spatio-temporal process. We consider underlying models that needs to be simulated by numerical methods, with discretization in both space and time. The multilevel Monte Carlo (MLMC) sampling strategy, achieving variance reduction through pairwise coupling of ensemble particles on neighboring resolutions, is used in the sample-moment step of MLEnKF to produce an efficient hierarchical filtering method for spatio-temporal models. Under sufficient regularity, MLEnKF is proven to be more efficient for weak approximations than EnKF, asymptotically in the large-ensemble and fine-numerical-resolution limit. Numerical examples support our theoretical findings.


title: Decomposition of Uncertainty in Bayesian Deep Learning for Efficient and Risk-sensitive Learning

abstract: Bayesian neural networks with latent variables are scalable and flexible probabilistic models: They account for uncertainty in the estimation of the network weights and, by making use of latent variables, can capture complex noise patterns in the data. We show how to extract and decompose uncertainty into epistemic and aleatoric components for decision-making purposes. This allows us to successfully identify informative points for active learning of functions with heteroscedastic and bimodal noise. Using the decomposition we further define a novel risk-sensitive criterion for reinforcement learning to identify policies that balance expected cost, model-bias and noise aversion.


title: Replacing P values with frequentist posterior probabilities - as possible parameter values must have uniform base-rate prior probabilities by definition in a random sampling model

abstract: Possible parameter values in a random sampling model are shown by definition to have uniform base-rate prior probabilities. This allows a frequentist posterior probability distribution to be calculated for such possible parameter values conditional solely on actual study observations. If the likelihood probability distribution of a random selection is modelled with a symmetrical continuous function then the frequentist posterior probability of something equal to or more extreme than the null hypothesis will be equal to the P-value; otherwise the P value would be an approximation. An idealistic probability of replication based on an assumption of perfect study methodological reproducibility can be used as the upper bound of a realistic probability of replication that may be affected by various confounding factors. Bayesian distributions can be combined with these frequentist distributions. The idealistic frequentist posterior probability of replication may be easier than the P-value for non-statisticians to understand and to interpret.


title: Bootstrap for change point detection

abstract: In Change point detection task Likelihood Ratio Test (LRT) is sequentially applied in a sliding window procedure. Its high values indicate changes of parametric distribution in the data sequence. Correspondingly LRT values require predefined bound for their maximum. The maximum value has unknown distribution and may be calibrated with multiplier bootstrap. Bootstrap procedure convolves independent components of the Likelihood function with random weights, that enables to estimate empirically LRT distribution. For this empirical distribution of the LRT we show convergence rates to the real maximum value distribution.