title: Stylizing Face Images via Multiple Exemplars

abstract: We address the problem of transferring the style of a headshot photo to face images. Existing methods using a single exemplar lead to inaccurate results when the exemplar does not contain sufficient stylized facial components for a given photo. In this work, we propose an algorithm to stylize face images using multiple exemplars containing different subjects in the same style. Patch correspondences between an input photo and multiple exemplars are established using a Markov Random Field (MRF), which enables accurate local energy transfer via Laplacian stacks. As image patches from multiple exemplars are used, the boundaries of facial components on the target image are inevitably inconsistent. The artifacts are removed by a post-processing step using an edge-preserving filter. Experimental results show that the proposed algorithm consistently produces visually pleasing results.


title: Generating Query Suggestions to Support Task-Based Search

abstract: We address the problem of generating query suggestions to support users in completing their underlying tasks (which motivated them to search in the first place). Given an initial query, these query suggestions should provide a coverage of possible subtasks the user might be looking for. We propose a probabilistic modeling framework that obtains keyphrases from multiple sources and generates query suggestions from these keyphrases. Using the test suites of the TREC Tasks track, we evaluate and analyze each component of our model.


title: S-parts of values of univariate polynomials, binary forms and decomposable forms at integral points

abstract: Let $S$ be a finite set of primes. The $S$-part $[m]_S$ of a non-zero integer $m$ is the largest positive divisor of $m$ that is composed of primes from $S$. In 2013, Gross and Vincent proved that if $f(X)$ is a polynomial with integer coefficients and with at least two roots in the complex numbers, then for every integer $x$ at which $f(x)$ is non-zero, we have (*) $[f(x)]_S\leq c\cdot |f(x)|^d$, where $c$ and $d$ are effectively computable and $d<1$. Their proof uses Baker-type estimates for linear forms in complex logarithms of algebraic numbers. As an easy application of the $p$-adic Thue-Siegel-Roth theorem we show that if $f(X)$ has degree $n\geq 2$ and no multiple roots, then an inequality such as (*) holds for all $d>1/n$, provided we do not require effectivity of $c$. Further, we show that such an inequality does not hold anymore with $d=1/n$ and sufficiently small $c$. In addition we prove a density result, giving for every $\epsilon>0$ an asymptotic estimate with the right order of magnitude for the number of integers $x$ with absolute value at most $B$ such that $f(x)$ has $S$-part at least $|f(x)|^{\epsilon}$. The result of Gross and Vincent, as well as the other results mentioned above, are generalized to values of binary forms and decomposable forms at integral points. Our main tools are Baker type estimates for linear forms in complex and $p$-adic logarithms, the $p$-adic Subspace Theorem of Schmidt and Schlickewei, and a recent general lattice point counting result of Barroero and Widmer.


title: On Type-Aware Entity Retrieval

abstract: Today, the practice of returning entities from a knowledge base in response to search queries has become widespread. One of the distinctive characteristics of entities is that they are typed, i.e., assigned to some hierarchically organized type system (type taxonomy). The primary objective of this paper is to gain a better understanding of how entity type information can be utilized in entity retrieval. We perform this investigation in an idealized "oracle" setting, assuming that we know the distribution of target types of the relevant entities for a given query. We perform a thorough analysis of three main aspects: (i) the choice of type taxonomy, (ii) the representation of hierarchical type information, and (iii) the combination of type-based and term-based similarity in the retrieval model. Using a standard entity search test collection based on DBpedia, we find that type information proves most useful when using large type taxonomies that provide very specific types. We provide further insights on the extensional coverage of entities and on the utility of target types.


title: On the induced problem for fixed-template CSPs

abstract: The Constraint Satisfaction Problem (CSP) is a problem of computing a homomorphism $\mathbf{R}\to \mathbf{\Gamma}$ between two relational structures, where $\mathbf{R}$ is defined over a domain $V$ and $\mathbf{\Gamma}$ is defined over a domain $D$. In a fixed template CSP, denoted $\rm{CSP}(\mathbf{\Gamma})$, the right side structure $\mathbf{\Gamma}$ is fixed and the left side structure $\mathbf{R}$ is unconstrained. In the last two decades it was discovered that the reasons that make fixed template CSPs polynomially solvable are of algebraic nature, namely, templates that are tractable should be preserved under certain polymorphisms. From this perspective the following problem looks natural: given a prespecified finite set of algebras ${\mathcal B}$ whose domain is $D$, is it possible to present the solution set of a given instance of $\rm{CSP}(\mathbf{\Gamma})$ as a subalgebra of ${\mathbb A}_1\times ... \times {\mathbb A}_{|V|}$ where ${\mathbb A}_i\in {\mathcal B}$? We study this problem and show that it can be reformulated as an instance of a certain fixed-template CSP over another template $\mathbf{\Gamma}^{\mathcal B}$. We study conditions under which $\rm{CSP}(\mathbf{\Gamma})$ can be reduced to $\rm{CSP}(\mathbf{\Gamma}^{\mathcal B})$. This issue is connected with the so-called CSP with an input prototype, formulated in the following way: given a homomorphism from $\mathbf{R}$ to $\mathbf{\Gamma}^{\mathcal B}$ find a homomorphism from $\mathbf{R}$ to $\mathbf{\Gamma}$. We prove that if ${\mathcal B}$ contains only tractable algebras, then the latter CSP with an input prototype is tractable. We also prove that $\rm{CSP}(\mathbf{\Gamma}^{\mathcal B})$ can be reduced to $\rm{CSP}(\mathbf{\Gamma})$ if the set ${\mathcal B}$, treated as a relation over $D$, can be expressed as a primitive positive formula over $\mathbf{\Gamma}$.


title: Cosmological Solutions in 2+1 Dimensional New Massive Gravity in the presence of the Dirac field

abstract: In this paper, we consider $2+1$ dimensional gravitational theory including a Dirac field that is minimally coupled to New Massive Gravity. We investigate cosmological solutions of the field equations by using the self-interaction potential form obtained by the existence of Noether symmetry. In this context, we obtain cosmological solutions that corresponds to inflationary as well as the oscillationary epochs of the universe. Moreover, we have seen that the Dirac field behaves like a dark energy in these epochs of the universe.


title: Dual Scale Invariance Spontaneous Symmetry Breaking and Turbulence

abstract: We discuss spontaneous symmetry breaking of dual (space and time) scale invariance in the context of turbulence.


title: Topological invariants of plane curve singularities: Polar quotients and \L ojasiewicz gradient exponents

abstract: In this paper, we study polar quotients and \L ojasiewicz exponents of plane curve singularities, which are {\em not necessarily reduced}. We first show that the polar quotients is a topological invariant. We next prove that the \L ojasiewicz gradient exponent can be computed in terms of the polar quotients, and so it is also a topological invariant. As an application, we give effective estimates of the \L ojasiewicz exponents in the gradient and classical inequalities of polynomials in two (real or complex) variables.


title: Explainable Artificial Intelligence: Understanding, Visualizing and Interpreting Deep Learning Models

abstract: With the availability of large databases and recent improvements in deep learning methodology, the performance of AI systems is reaching or even exceeding the human level on an increasing number of complex tasks. Impressive examples of this development can be found in domains such as image classification, sentiment analysis, speech understanding or strategic game playing. However, because of their nested non-linear structure, these highly successful machine learning and artificial intelligence models are usually applied in a black box manner, i.e., no information is provided about what exactly makes them arrive at their predictions. Since this lack of transparency can be a major drawback, e.g., in medical applications, the development of methods for visualizing, explaining and interpreting deep learning models has recently attracted increasing attention. This paper summarizes recent developments in this field and makes a plea for more interpretability in artificial intelligence. Furthermore, it presents two approaches to explaining predictions of deep learning models, one method which computes the sensitivity of the prediction with respect to changes in the input and one approach which meaningfully decomposes the decision in terms of the input variables. These methods are evaluated on three classification tasks.


title: The g2p Experiment: A Measurement of the Proton's Spin Structure Functions

abstract: The E08-027 (g2p) experiment measured the spin structure functions of the proton at Jefferson Laboratory in Newport News, Va. Longitudinally polarized electrons were scattered from a transversely and longitudinally polarized solid ammonia target in Hall A, with the polarized NH$_3$ acting as an effective proton target. Focusing on small scattering angle events at the electron energies available at Jefferson Lab, the experiment covered a kinematic phase space of 0.02 GeV$^2$ $< Q^2 <$ 0.20 GeV$^2$ in the proton's resonance region. The spin structure functions, $g_{1}^p(x,Q^2)$ and $g_{2}^p(x,Q^2)$ , are extracted from an inclusive polarized cross section measurement of the electron-proton interaction. Integrated moments of $g_1(x,Q^2)$ are calculated and compared to theoretical predictions made by Chiral Perturbation Theory. The $g_1(x,Q^2)$ results are in agreement with previous measurements, but include a significant increase in statistical precision. The spin structure function contributions to the hyperfine energy levels in the hydrogen atom are also investigated. The $g_2(x,Q^2)$ measured contribution to the hyperfine splitting is the first ever experimental determination of this quantity. The results of this thesis suggest a disagreement of over 100% with previously published model results.


title: Isotachophoresis applied to chemical reactions

abstract: This review discusses research developments and applications of isotachophoresis (ITP) to the initiation, control, and acceleration of chemical reactions, emphasizing reactions involving biomolecular reactants such as nucleic acids, proteins, and live cells. ITP is a versatile technique which requires no specific geometric design or material, and is compatible with a wide range of microfluidic and automated platforms. Though ITP has traditionally been used as a purification and separation technique, recent years have seen its emergence as a method to automate and speed up chemical reactions. ITP has been used to demonstrate up to 14,000-fold acceleration of nucleic acid assays, and has been used to enhance lateral flow and other immunoassays, and even whole bacterial cell detection assays. We here classify these studies into two categories: homogeneous (all reactants in solution) and heterogeneous (at least one reactant immobilized on a solid surface) assay configurations. For each category, we review and describe physical modeling and scaling of ITP-aided reaction assays, and elucidate key principles in ITP assay design. We summarize experimental advances, and identify common threads and approaches which researchers have used to optimize assay performance. Lastly, we propose unaddressed challenges and opportunities that could further improve these applications of ITP.


title: The Convergence of Machine Learning and Communications

abstract: The areas of machine learning and communication technology are converging. Today's communications systems generate a huge amount of traffic data, which can help to significantly enhance the design and management of networks and communication components when combined with advanced machine learning methods. Furthermore, recently developed end-to-end training procedures offer new ways to jointly optimize the components of a communication system. Also in many emerging application fields of communication technology, e.g., smart cities or internet of things, machine learning methods are of central importance. This paper gives an overview over the use of machine learning in different areas of communications and discusses two exemplar applications in wireless networking. Furthermore, it identifies promising future research topics and discusses their potential impact.


title: Contribution of Kaon component in viscosity and conductivity of hadronic medium

abstract: The two-point correlation functions of kaonic viscous stress tensors and electro-magnetic currents have been calculated respectively to estimate the contributions of the strange sector in the shear viscosity and electrical conductivity of hadronic medium. In the one-loop correlators, kaon propagators contain a non-zero thermal width that leads to non-divergent values of transport coefficients. With the help of effective Lagrangian densities of strange hadrons, we have calculated in-medium self-energy of kaon for different possible mesonic loops, whose imaginary part provide the estimation of kaon thermal width. It is observed that near the quark-hadron transition temperature, the contribution of kaons to shear viscosity is larger and increases faster with temperature than pionic contribution. In case of electrical conductivity the trend due kaon component appears to be opposite in nature with respect to pion component.


abstract: We give criteria on an inverse system of finite groups that ensure the limit is just infinite or hereditarily just infinite. More significantly, these criteria are 'universal' in that all (hereditarily) just infinite profinite groups arise as limits of the specified form. This is a corrected and revised version of the article: 'Inverse system characterizations of the (hereditarily) just infinite property in profinite groups', Bull. LMS vol 44, 3 (2012) 413--425.


title: On Lagrange multipliers in convex entropy minimization

abstract: Based on a characterization of the optimality of a feasible solution of a convex entropy minimization problem, one shows that the feasible solutions obtained using formally the Lagrange multipliers method are optimal.


title: Triviality of Entanglement Entropy in the Galilean Vacuum

abstract: We study the entanglement entropy of the vacuum in non-relativistic local theories with Galilean or Schr\"{o}dinger symmetry. We clear some confusion in the literature on the free Schr\"odinger case. We find that with only positive $U(1)$ charge particles (states) and a unique zero $U(1)$ charge state (the vacuum) the entanglement entropy must vanish in that state.


title: Moment-volume coupling in La(Fe$_{1-x}$Si$_x$)$_{13}$

abstract: We investigate the origin of the volume change and magnetoelastic interaction observed at the magnetic first-order transition in the magnetocaloric system La(Fe$_{1-x}$Si$_x$)$_{13}$ by means of first-principles calculations combined with the fixed-spin moment approach. We find that the volume of the system varies with the square of the average local Fe moment, which is significantly smaller in the spin disordered configurations compared to the ferromagnetic ground state. The vibrational density of states obtained for a hypothetical ferromagnetic state with artificially reduced spin-moments compared to a nuclear inelastic X-ray scattering measurement directly above the phase transition reveals that the anomalous softening at the transition essentially depends on the same moment-volume coupling mechanism. In the same spirit, the dependence of average local Fe moment on the Si content can account for the occurence of first- and second-order transitions in the system.


title: Community detection using preference networks

abstract: Community detection is the task of identifying clusters or groups of nodes in a network where nodes within the same group are more connected with each other than with nodes in different groups. It has practical uses in identifying similar functions or roles of nodes in many biological, social and computer networks. With the availability of very large networks in recent years, performance and scalability of community detection algorithms become crucial, i.e. if time complexity of an algorithm is high, it can not run on large networks. In this paper, we propose a new community detection algorithm, which has a local approach and is able to run on large networks. It has a simple and effective method; given a network, algorithm constructs a preference network of nodes where each node has a single outgoing edge showing its preferred node to be in the same community with. In such a preference network, each connected component is a community. Selection of the preferred node is performed using similarity based metrics of nodes. We use two alternatives for this purpose which can be calculated in 1-neighborhood of nodes, i.e. number of common neighbors of selector node and its neighbors and, the spread capability of neighbors around the selector node which is calculated by the gossip algorithm of Lind et.al. Our algorithm is tested on both computer generated LFR networks and real-life networks with ground-truth community structure. It can identify communities accurately in a fast way. It is local, scalable and suitable for distributed execution on large networks.


title: Pinning of longitudinal phonons in holographic spontaneous helices

abstract: We consider the spontaneous breaking of translational symmetry and identify the associated Goldstone mode -- a longitudinal phonon -- in a holographic model with Bianchi VII helical symmetry. For the first time in holography, we observe the pinning of this mode after introducing a source for explicit breaking compatible with the helical symmetry of our setup. We study the dispersion relation of the resulting pseudo-Goldstone mode, uncovering how its speed and mass gap depend on the amplitude of the source and temperature. In addition, we extract the optical conductivity as a function of frequency, which reveals a metal-insulator transition as a consequence of the pinning.


title: Studying superconformal symmetry enhancement through indices

abstract: In this note we classify the necessary and the sufficient conditions that an index of a superconformal theory in $3\leq d \leq 6$ must obey for the theory to have enhanced supersymmetry. We do that by noting that the index distinguishes a superconformal multiplet contribution to the index only up to a certain equivalence class it lies in. We classify the equivalence classes in $d=4$ and build a correspondence between ${\cal N} = 1$ and ${\cal N}>1$ equivalence classes. Using this correspondence, we find a set of necessary conditions and a sufficient condition on the $d=4$ ${\cal N} = 1$ index for the theory to have ${\cal N}>1$ SUSY. We also find a necessary and sufficient condition on a $d=4$ ${\cal N}>1$ index to correspond to a theory with ${\cal N} > 2$. We then use our results to study some of the $d=4$ theories described by Agarwal, Maruyoshi and Song, and find that the theories in question have only ${\cal N} = 1$ SUSY despite having rational central charges. In $d=3$ we classify the equivalence classes, and build a correspondence between ${\cal N} = 2$ and ${\cal N}>2$ equivalence classes. Using this correspondence, we classify all necessary or sufficient conditions on an ${\cal N}=1-3$ superconformal index in $d=3$ to correspond to a theory with higher SUSY, and find a necessary and sufficient condition on an ${\cal N} = 4$ index to correspond to an ${\cal N} > 4$ theory. Finally, in $d=6$ we find a necessary and sufficient condition for an ${\cal N} = 1$ index to correspond to an ${\cal N}=2$ theory.


title: Using a fluid cell model for description of a phase transition in simple liquid alkali metals

abstract: This article embraces a theoretical description of the first order phase transition in liquid metals with application of a cell fluid model. The results are obtained through calculation of the grand partition function without usage of phenomenological parameters. The Morse potential is used for calculation of the equation of state and the coexistence curve. Specific results for sodium and potassium are obtained. Comparison of outcome of analytical expressions with data of computer simulations is presented.


title: A Dual Digraph Approach for Leaderless Atomic Broadcast (Extended Version)

abstract: Many distributed systems work on a common shared state; in such systems, distributed agreement is necessary for consistency. With an increasing number of servers, these systems become more susceptible to single-server failures, increasing the relevance of fault-tolerance. Atomic broadcast enables fault-tolerant distributed agreement, yet it is costly to solve. Most practical algorithms entail linear work per broadcast message. AllConcur -- a leaderless approach -- reduces the work, by connecting the servers via a sparse resilient overlay network; yet, this resiliency entails redundancy, limiting the reduction of work. In this paper, we propose AllConcur+, an atomic broadcast algorithm that lifts this limitation: During intervals with no failures, it achieves minimal work by using a redundancy-free overlay network. When failures do occur, it automatically recovers by switching to a resilient overlay network. In our performance evaluation of non-failure scenarios, AllConcur+ achieves comparable throughput to AllGather -- a non-fault-tolerant distributed agreement algorithm -- and outperforms AllConcur, LCR and Libpaxos both in terms of throughput and latency. Furthermore, our evaluation of failure scenarios shows that AllConcur+'s expected performance is robust with regard to occasional failures. Thus, for realistic use cases, leveraging redundancy-free distributed agreement during intervals with no failures improves performance significantly.


title: Open-World Visual Recognition Using Knowledge Graphs

abstract: In a real-world setting, visual recognition systems can be brought to make predictions for images belonging to previously unknown class labels. In order to make semantically meaningful predictions for such inputs, we propose a two-step approach that utilizes information from knowledge graphs. First, a knowledge-graph representation is learned to embed a large set of entities into a semantic space. Second, an image representation is learned to embed images into the same space. Under this setup, we are able to predict structured properties in the form of relationship triples for any open-world image. This is true even when a set of labels has been omitted from the training protocols of both the knowledge graph and image embeddings. Furthermore, we append this learning framework with appropriate smoothness constraints and show how prior knowledge can be incorporated into the model. Both these improvements combined increase performance for visual recognition by a factor of six compared to our baseline. Finally, we propose a new, extended dataset which we use for experiments.


title: Deep Learning Sparse Ternary Projections for Compressed Sensing of Images

abstract: Compressed sensing (CS) is a sampling theory that allows reconstruction of sparse (or compressible) signals from an incomplete number of measurements, using of a sensing mechanism implemented by an appropriate projection matrix. The CS theory is based on random Gaussian projection matrices, which satisfy recovery guarantees with high probability; however, sparse ternary {0, -1, +1} projections are more suitable for hardware implementation. In this paper, we present a deep learning approach to obtain very sparse ternary projections for compressed sensing. Our deep learning architecture jointly learns a pair of a projection matrix and a reconstruction operator in an end-to-end fashion. The experimental results on real images demonstrate the effectiveness of the proposed approach compared to state-of-the-art methods, with significant advantage in terms of complexity.


title: Monomial bases and pre-Lie structure for free Lie algebras

abstract: In this paper, we construct a pre-Lie structure on the free Lie algebra L(E) generated by a set E, giving an explicit presentation of L(E) as the quotient of the free pre-Lie algebra generated by E, by some ideal I. The main result in this paper is a description of Gr\"obner bases in terms of trees.


title: Transitional Behavior of q-Composite Random Key Graphs with Applications to Networked Control

abstract: Random key graphs have received considerable attention and been used in various applications including secure sensor networks, social networks, the study of epidemics, cryptanalysis, and recommender systems. In this paper, we investigate a $q$-composite random key graph, whose construction on $n$ nodes is as follows: each node independently selects a set of $K_n$ different keys uniformly at random from the same pool of $P_n$ distinct keys, and two nodes establish an undirected edge in between if and only if they share at least $q$ key(s). Such graph denoted by $G_q(n,K_n,P_n)$ models a secure sensor network employing the well-known $q$-composite key predistribution. For $G_q(n,K_n,P_n)$, we analyze the probabilities of $G_q(n,K_n,P_n)$ having $k$-connectivity, $k$-robustness, a Hamilton cycle and a perfect matching, respectively. Our studies of these four properties are motivated by a detailed discussion of their applications to networked control. Our results reveal that $G_q(n,K_n,P_n)$ exhibits a sharp transition for each property: as $K_n$ increases, the probability that $G_q(n,K_n,P_n)$ has the property sharply increases from $0$ to $1$. These results provide fundamental guidelines to design secure sensor networks for different control-related applications: distributed in-network parameter estimation, fault-tolerant consensus, and resilient data backup.


title: Diffusion along chains of normally hyperbolic cylinders

abstract: We develop a geometric mechanism to prove the existence of orbits that drift along a prescribed sequence of cylinders, under some general conditions on the dynamics. This mechanism can be used to prove the existence of Arnold diffusion for large families of perturbations of Tonelli Hamiltonians on $\mathbb{A}^3$. Our approach can also be applied to more general Hamiltonians that are not necessarily convex. The main geometric objects in our framework are $3$-dimensional invariant cylinders with boundary (not necessarily hyperbolic), which are assumed to admit center-stable and center-unstable manifolds. These enable us to define chains of cylinders, i.e., finite, ordered families of cylinders where each cylinder admits homoclinic connections, and any two consecutive cylinders in the chain admit heteroclinic connections. Our main result is on the existence of diffusing orbits which drift along such chains of cylinders, under precise conditions on the dynamics on the cylinders -- i.e., the existence of Poincar\'e sections with the return maps satisfying a tilt condition -- and on the geometric properties of the intersections of the center-stable and center-unstable manifolds of the cylinders -- i.e., certain compatibility conditions between the tilt map and the homoclinic maps attached to its essential invariant circles. We give two proofs of our result, a very short and abstract one, and a more constructive one, aimed at possible applications to concrete systems.


title: Packing extra mass in compact stellar structures: An interplay between Kalb-Ramond field and extra dimensions

abstract: We have derived the Buchdahl's limit for a relativistic star in presence of the Kalb-Ramond field in four as well as in higher dimensions. It turns out that the Buchdahl's limit gets severely affected by the inclusion of the Kalb-Ramond field. In particular, the Kalb-Ramond field in four spacetime dimensions enables one to pack extra mass in any compact stellar structure of a given radius. On the other hand, a completely opposite picture emerges if the Kalb-Ramond field exists in higher dimensions, where the mass content of a compact star is smaller compared to that in general relativity. Implications are discussed.


title: Hyperbolic heat conduction, effective temperature and third law in the presence of heat flux

abstract: Some analogies between different nonequilibrium heat conduction models, particularly, random walk, discrete variable model, and Boltzmann transport equation with the single relaxation time approximation, have been discussed. We show that under an assumption of a finite value of the heat carriers velocity, these models lead to the hyperbolic heat conduction equation and the modified Fourier law with the relaxation term. Corresponding effective temperature and entropy have been introduced and analyzed. It has been demonstrated that the effective temperature, defined as a geometric mean of the kinetic temperatures of the heat carriers moving in opposite directions, is governed by a non-linear relation and acts as a criterion for thermalization. It is shown that when the heat flux tends to its maximum possible value, the effective temperature, heat capacity and local entropy go to zero even at a nonzero equilibrium temperature. This provides a possible generalization of the third law to nonequilibrium situations. Analogies between the effective temperature and some other definitions of temperature in nonequilibrium state, particularly, for active systems, disordered semiconductors under electric field, and adiabatic gas flow, have been shown and discussed. Illustrative examples of the behavior of the effective temperature and entropy during nonequilibrium heat conduction in a monatomic gas, a nano film, and a strong shockwave have been analyzed.


title: The Non-Euclidean Hydrodynamic Klein-Gordon Equation with Perturbative Self-Interacting Field

abstract: In this paper the quantum hydrodynamic approach for the KGE owning a perturbative self-interaction term is developed. The generalized model to non-Euclidean space-time allows to determine the quantum energy impulse tensor density of mesons for the gravitational equation of quantum mechanical systems.


title: Relativistic self-gravitating gas in dynamical equilibrium

abstract: Static spherically symmetric solution of the Einstein's equations is found representing averaged properties of an infinite self-gravitating gas in the dynamical equilibrium. It depends upon three parameters: the core radius, the relativistic factor $0<z<1$, defining the density and the mass, and one structural parameter. In the relativistic limit, $z\to 1$, an open nucleus of focused gravitational fields develops with the size being a small fraction of the core radius whereas the outskirts of the self-gravitating gas remains non-relativistic. Inside the nucleus the self-gravitating gas is described by a universal perfect fluid with the relativistic one-dimensional equation of state. At $z=1$, the space and time develops a point like singularity at the center. A characteristic property of the nucleus is incompressibility. New particles added to the self-gravitating gas bounce back into the outskirts rather than fall into the center.


title: Fast Access to Columnar, Hierarchically Nested Data via Code Transformation

abstract: Big Data query systems represent data in a columnar format for fast, selective access, and in some cases (e.g. Apache Drill), perform calculations directly on the columnar data without row materialization, avoiding runtime costs. However, many analysis procedures cannot be easily or efficiently expressed as SQL. In High Energy Physics, the majority of data processing requires nested loops with complex dependencies. When faced with tasks like these, the conventional approach is to convert the columnar data back into an object form, usually with a performance price. This paper describes a new technique to transform procedural code so that it operates on hierarchically nested, columnar data natively, without row materialization. It can be viewed as a compiler pass on the typed abstract syntax tree, rewriting references to objects as columnar array lookups. We will also present performance comparisons between transformed code and conventional object-oriented code in a High Energy Physics context.


title: Demodulation and Detection Schemes for a Memoryless Optical WDM Channel

abstract: It is well known that matched filtering and sampling (MFS) demodulation together with minimum Euclidean distance (MD) detection constitute the optimal receiver for the additive white Gaussian noise channel. However, for a general nonlinear transmission medium, MFS does not provide sufficient statistics, and therefore is suboptimal. Nonetheless, this receiver is widely used in optical systems, where the Kerr nonlinearity is the dominant impairment at high powers. In this paper, we consider a suite of receivers for a two-user channel subject to a type of nonlinear interference that occurs in wavelength-division-multiplexed channels. The asymptotes of the symbol error rate (SER) of the considered receivers at high powers are derived or bounded analytically. Moreover, Monte-Carlo simulations are conducted to evaluate the SER for all the receivers. Our results show that receivers that are based on MFS cannot achieve arbitrary low SERs, whereas the SER goes to zero as the power grows for the optimal receiver. Furthermore, we devise a heuristic demodulator, which together with the MD detector yields a receiver that is simpler than the optimal one and can achieve arbitrary low SERs. The SER performance of the proposed receivers is also evaluated for some single-span fiber-optical channels via split-step Fourier simulations.


title: Shape-preserving wavelet-based multivariate density estimation

abstract: Wavelet estimators for a probability density f enjoy many good properties, however they are not "shape-preserving" in the sense that the final estimate may not be non-negative or integrate to unity. A solution to negativity issues may be to estimate first the square-root of f and then square this estimate up. This paper proposes and investigates such an estimation scheme, generalising to higher dimensions some previous constructions which are valid only in one dimension. The estimation is mainly based on nearest-neighbour-balls. The theoretical properties of the proposed estimator are obtained, and it is shown to reach the optimal rate of convergence uniformly over large classes of densities under mild conditions. Simulations show that the new estimator performs as well in general as the classical wavelet estimator, while automatically producing estimates which are bona fide densities.


title: Co-simulation for Cyber Security Analysis: Data Attacks against Energy Management System

abstract: It is challenging to assess the vulnerability of a cyber-physical power system to data attacks from an integral perspective. In order to support vulnerability assessment except analytic analysis, suitable platform for security tests needs to be developed. In this paper we analyze the cyber security of energy management system (EMS) against data attacks. First we extend our analytic framework that characterizes data attacks as optimization problems with the objectives specified as security metrics and constraints corresponding to the communication network properties. Second, we build a platform in the form of co-simulation - coupling the power system simulator DIgSILENT PowerFactory with communication network simulator OMNeT++, and Matlab for EMS applications (state estimation, optimal power flow). Then the framework is used to conduct attack simulations on the co-simulation based platform for a power grid test case. The results indicate how vulnerable of EMS to data attacks and how co-simulation can help assess vulnerability.


title: Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification

abstract: Bounded model checking is among the most efficient techniques for the automatic verification of concurrent programs. However, encoding all possible interleavings often requires a huge and complex formula, which significantly limits the salability. This paper proposes a novel and efficient abstraction refinement method for multi-threaded program verification. Observing that the huge formula is usually dominated by the exact encoding of the scheduling constraint, this paper proposes a \tsc based abstraction refinement method, which avoids the huge and complex encoding of BMC. In addition, to obtain an effective refinement, we have devised two graph-based algorithms over event order graph for counterexample validation and refinement generation, which can always obtain a small yet effective refinement constraint. Enhanced by two constraint-based algorithms for counterexample validation and refinement generation, we have proved that our method is sound and complete w.r.t. the given loop unwinding depth. Experimental results on \svcompc benchmarks indicate that our method is promising and significantly outperforms the existing state-of-the-art tools.


title: Rainbow gravity corrections to the entropic force

abstract: The entropic force attracts a lot of interest for its multifunctional properties. For instance, Einstein's field equation, Newton's law of gravitation and the Friedmann equation can be derived from the entropic force. In this paper, utilizing a new kind of rainbow gravity model that was proposed by Magueijo and Smolin, we explore the quantum gravity corrections to the entropic force. First, we derive the modified thermodynamics of a rainbow black hole via its surface gravity. Then, according to Verlinde's theory, the quantum corrections to the entropic force are obtained. The result shows that the modified entropic force is related not only to the properties of the black hole but also the Planck length $\ell_p$, and the rainbow parameter $\gamma$. Furthermore, based on the rainbow gravity corrected entropic force, the modified Einstein's field equation and the modified Friedmann equation are also derived.


title: DeepPrior++: Improving Fast and Accurate 3D Hand Pose Estimation

abstract: DeepPrior is a simple approach based on Deep Learning that predicts the joint 3D locations of a hand given a depth map. Since its publication early 2015, it has been outperformed by several impressive works. Here we show that with simple improvements: adding ResNet layers, data augmentation, and better initial hand localization, we achieve better or similar performance than more sophisticated recent methods on the three main benchmarks (NYU, ICVL, MSRA) while keeping the simplicity of the original method. Our new implementation is available at https://github.com/moberweger/deep-prior-pp .


title: Why do we need Hilbert spaces?

abstract: These are the notes written for the talk given at the workshop Rethinking foundations of physics 2016. In section 2, a derivation of the the quantum formalism starting from propositional calculus (quantum logic) is reviewed, pointing out which are the basic requirements that lead to the use of Hilbert spaces. In section 3, a similar analysis is done following for the reconstruction of quantum theory using an operational approach. In both cases, non-commutativity plays a crucial role. Finally, in section 4a toy model which try to motivate non-commutativity is proposed. Despite this last section is interesting to read, the analysis performed there is not complete. This toy model will be re-formulated in a rigorous way (and extended) in future works.


title: Improving Robustness of ML Classifiers against Realizable Evasion Attacks Using Conserved Features

abstract: Machine learning (ML) techniques are increasingly common in security applications, such as malware and intrusion detection. However, ML models are often susceptible to evasion attacks, in which an adversary makes changes to the input (such as malware) in order to avoid being detected. A conventional approach to evaluate ML robustness to such attacks, as well as to design robust ML, is by considering simplified feature-space models of attacks, where the attacker changes ML features directly to effect evasion, while minimizing or constraining the magnitude of this change. We investigate the effectiveness of this approach to designing robust ML in the face of attacks that can be realized in actual malware (realizable attacks). We demonstrate that in the context of structure-based PDF malware detection, such techniques appear to have limited effectiveness, but they are effective with content-based detectors. In either case, we show that augmenting the feature space models with conserved features (those that cannot be unilaterally modified without compromising malicious functionality) significantly improves performance. Finally, we show that feature space models enable generalized robustness when faced with a variety of realizable attacks, as compared to classifiers which are tuned to be robust to a specific realizable attack.


title: Ambient temperature high-pressure-induced ferroelectric phase transition in CaMnTi$_2$O$_6$

abstract: The ferroelectric to paraelectric phase transition of multiferroic CaMnTi$_2$O$_6$ has been investigated at high pressures and ambient temperature by second harmonic generation (SHG), Raman spectroscopy, and powder and single-crystal x-ray diffraction. We have found that CaMnTi$_2$O$_6$ undergoes a pressure-induced structural phase transition ($P4_2mc \rightarrow P4_2/nmc$) at $\sim$7 GPa to the same paraelectric structure found at ambient pressure and $T_c$ = 630 K. The continuous linear decrease of the SHG intensity that disappears at 7 GPa and the existence of a Raman active mode at 244 cm$^{-1}$ that first softens up to 7 GPa and then hardens with pressure, are used to discuss the nature of the phase transition of CaMnTi$_2$O$_6$ for which a d$T_c$/d$P = -48$ K/GPa has been found. Neither a volume contraction nor a change of the normalized pressure on the eulerian strain are observed across the phase transition with all the unit-cell volume data following a second order Birch-Murnaghan equation of state with a bulk modulus of $B_0$ = 182.95(2) GPa.


title: On weak peak quasisymmetric functions

abstract: In this paper, we construct the weak version of peak quasisymmetric functions inside the Hopf algebra of weak composition quasisymmetric functions (WCQSym) defined by Guo, Thibon and Yu. Weak peak quasisymmetric functions (WPQSym) are studied in several aspects. First we find a natural basis of WPQSym lifting Stembridge's peak functions. Then we confirm that WPQSym is a Hopf subalgebra of WCQSym by giving explicit multiplication, comultiplication and antipode formulas. By extending Stembridge's descent-to-peak maps, we also show that WPQSym is a Hopf quotient algebra of WCQSym. On the other hand, we prove that WPQSym embeds as a Rota-Baxter subalgebra of WCQSym, thus of the free commutative Rota-Baxter algebra of weight 1 on one generator. Moreover, WPQSym can also be a Rota-Baxter quotient algebra of WCQSym.


title: Limits in point to point resolution of MOS (Metal-Oxide-Semiconductor) based pixels detector arrays

abstract: In high energy physics point to point resolution is a key prerequisite for particle detector pixel arrays. Current and future experiments require the development of inner-detectors able to resolve the tracks of particles down to the micron range. Present-day technologies, although not fully implemented in actual detectors can reach a 5 micometer limit, based on statistical measurements, with a pixel-pitch in the 10 micrometer range. Attempts to design small pixels based on SOI (Silicon On Insulator) technology will be briefly recalled here. This paper is devoted to the evaluation of the building blocks with regard to their use in pixel arrays for the accurate tracking of the charged particles. We will make here a simulations based quantitative evaluation of the physical limits in the pixel size. A design based on CMOS (Complementary Metal-Oxide-Semiconductor) compatible technologies that allows a reduction of the pixel size down to the sub-micronmeter range is introduced. Its physical principle relies on a buried carrier-localizing collecting gate. The fabrication process needed by this pixel design can be based on existing process steps used in silicon microelectronics. The pixel characteristics will be discussed as well as the design of pixel arrays. The existing bottlenecks and how to overcome them will be discussed in the light of recent ion implantation and material characterization.


title: Quasinormal Modes of a Schwarzschild Black Hole Immersed in an Electromagnetic Universe

abstract: We study the quasinormal modes (QNMs) of the Schwarzschild black hole immersed in an electromagnetic (em) universe. The immersed Schwarzschild black hole (ISBH) is originated from the metric of colliding em waves with double polarization [Class. Quantum Grav. 12, 3013 (1995)]. The perturbation equations of the scalar fields for the ISBH geometry are written in the form of separable equations. We show that these equations can be transformed to the confluent Heun's equations, for which we are able to use the known techniques to perform the analytical quasinormal (QNM) analysis of the solutions. Furthermore, we employ numerical methods [Mashhoon and $6^{th}$-order Wentzel-Kramers-Brillouin (WKB)] to derive the QNMs. The results obtained are discussed and depicted with the appropriate plots.


title: Britannia Rule the Waves

abstract: The students are introduced to navigation in general and the longitude problem in particular. A few videos provide insight into scientific and historical facts related to the issue. Then, the students learn in two steps how longitude can be derived from time measurements. They first build a Longitude Clock that visualises the math behind the concept. They use it to determine the longitudes corresponding to five time measurements. In the second step, they assume the position of James Cook's navigator and plot the location of seven destinations on Cook's second voyage between 1772 and 1775.


title: Framing U-Net via Deep Convolutional Framelets: Application to Sparse-view CT

abstract: X-ray computed tomography (CT) using sparse projection views is a recent approach to reduce the radiation dose. However, due to the insufficient projection views, an analytic reconstruction approach using the filtered back projection (FBP) produces severe streaking artifacts. Recently, deep learning approaches using large receptive field neural networks such as U-Net have demonstrated impressive performance for sparse- view CT reconstruction. However, theoretical justification is still lacking. Inspired by the recent theory of deep convolutional framelets, the main goal of this paper is, therefore, to reveal the limitation of U-Net and propose new multi-resolution deep learning schemes. In particular, we show that the alternative U- Net variants such as dual frame and the tight frame U-Nets satisfy the so-called frame condition which make them better for effective recovery of high frequency edges in sparse view- CT. Using extensive experiments with real patient data set, we demonstrate that the new network architectures provide better reconstruction performance.


title: Improved measurement of two-mode quantum correlations using a phase-sensitive amplifier

abstract: We demonstrate the ability of a phase-sensitive amplifier (PSA) to pre-amplify a selected quadrature of one mode of a two-mode squeezed state in order to improve the measurement of two-mode quantum correlations that exist before degradation due to optical and detection losses. We use four-wave mixing (4WM) in $^{85}$Rb vapor to generate bright beams in a two-mode squeezed state. One of these two modes then passes through a second 4WM interaction in a PSA configuration to noiselessly pre-amplify the desired quadrature of the mode before loss is intentionally introduced. We demonstrate an enhancement in the measured degree of intensity correlation and intensity-difference squeezing between the two modes.


title: Unraveling the dynamics of growth, aging and inflation for citations to scientific articles from specific research fields

abstract: We analyze the time evolution of citations acquired by articles from journals of the American Physical Society (PRA, PRB, PRC, PRD, PRE and PRL). The observed change over time in the number of papers published in each journal is considered an exogenously caused variation in citability that is accounted for by a normalization. The appropriately inflation-adjusted citation rates are found to be separable into a preferential-attachment-type growth kernel and a purely obsolescence-related (i.e., monotonously decreasing as a function of time since publication) aging function. Variations in the empirically extracted parameters of the growth kernels and aging functions associated with different journals point to research-field-specific characteristics of citation intensity and knowledge flow. Comparison with analogous results for the citation dynamics of technology-disaggregated cohorts of patents provides deeper insight into the basic principles of information propagation as indicated by citing behavior.


title: APS index theorem for even-dimensional manifolds with non-compact boundary

abstract: We study the index of the APS boundary value problem for a strongly Callias-type operator $D$ on a complete even dimensional Riemannian manifold $M$ (the odd dimensional case was considered in our previous paper arXiv:1706.06737). We use this index to define the relative $\eta$-invariant $\eta(A_1,A_0)$ of two strongly Callias-type operators, which are equal outside of a compact set. Even though in our situation the $\eta$-invariants of $A_1$ and $A_0$ are not defined, the relative $\eta$-invariant behaves as if it were the difference $\eta(A_1)-\eta(A_0)$. We also define the spectral flow of a family of such operators and use it compute the variation of the relative $\eta$-invariant.


title: Kinematics of OB-associations in Gaia epoch

abstract: We use stellar proper motions from the TGAS catalog to study the kinematics of OB-associations. The TGAS proper motions of OB-associations generally agree well with the Hipparcos proper motions. The parameters of the Galactic rotation curve obtained with TGAS and Hipparcos proper motions agree within the errors. The average one-dimensional velocity dispersion inside 18 OB-associations with more than 10 TGAS stars is sigma_v=3.9 km s-1, which is considerably smaller, by a factor of 0.4, than the velocity dispersions derived from Hipparcos data. The effective contribution from orbital motions of binary OB-stars into the velocity dispersion sigma_v inside OB-associations is sigma_b=1.2 km s-1. The median virial and stellar masses of OB-associations are equal to 7.1 10^5 and 9.0 10^3 Ms, respectively. Thus OB-associations must be unbound objects provided they do not include a lot of dense gas. The median star-formation efficiency is epsilon=2.1 percent. Nearly one third of stars of OB-associations must lie outside their tidal radius. We found that the Per OB1 and Car OB1 associations are expanding with the expansion started in a small region of 11--27 pc 7--10 Myr ago. The average expansion velocity is 6.3 km s-1.


title: Brasselet number and Newton polygons

abstract: We present a formula to compute the Brasselet number of $f:(Y,0)\to (\C, 0)$ where $Y\subset X$ is a non-degenerate complete intersection in a toric variety $X$. As applications we establish several results concerning invariance of the Brasselet number for families of non-degenerate complete intersections. Moreover, when $(X,0) = (\mathbb{C}^n,0)$ we derive sufficient conditions to obtain the invariance of the Euler obstruction for families of complete intersections with an isolated singularity which are contained in $X$.


title: Towards non-invasive cancer diagnostics and treatment based on electromagnetic fields, optomechanics and microtubules

abstract: In this paper, we discuss biological effects of electromagnetic (EM) fields in the context of cancer biology. In particular, we review the nanomechanical properties of microtubules (MTs), the latter being one of the most successful targets for cancer therapy. We propose an investigation on the coupling of electromagnetic radiation to mechanical vibrations of MTs as an important basis for biological and medical applications. In our opinion optomechanical methods can accurately monitor and control the mechanical properties of isolated MTs in a liquid environment. Consequently, studying nanomechanical properties of MTs may give useful information for future applications to diagnostic and therapeutic technologies involving non-invasive externally applied physical fields. For example, electromagnetic fields or high intensity ultrasound can be used therapeutically avoiding harmful side effects of chemotherapeutic agents or classical radiation therapy.


title: A Type System for Privacy Properties (Technical Report)

abstract: Mature push button tools have emerged for checking trace properties (e.g. secrecy or authentication) of security protocols. The case of indistinguishability-based privacy properties (e.g. ballot privacy or anonymity) is more complex and constitutes an active research topic with several recent propositions of techniques and tools. We explore a novel approach based on type systems and provide a (sound) type system for proving equivalence of protocols, for a bounded or an unbounded number of sessions. The resulting prototype implementation has been tested on various protocols of the literature. It provides a significant speed-up (by orders of magnitude) compared to tools for a bounded number of sessions and complements in terms of expressiveness other state-of-the-art tools, such as ProVerif and Tamarin: e.g., we show that our analysis technique is the first one to handle a faithful encoding of the Helios e-voting protocol in the context of an untrusted ballot box.


title: Dispersion relations for the time-fractional Cattaneo-Maxwell heat equation

abstract: In this paper, after a brief review of the general theory of dispersive waves in dissipative media, we present a complete discussion of the dispersion relations for both the ordinary and the time-fractional Cattaneo-Maxwell heat equations. Consequently, we provide a complete characterization of the group and phase velocities for these two cases, together with some non-trivial remarks on the nature of wave dispersion in fractional models.


title: Tabulated Neutron Star Equations of State Modeled within the Chiral Mean Field Model

abstract: In this special issue article, I review some of the accomplishments of the chiral mean field (CMF) model, which contains nucleon, hyperon, and quark degrees of freedom, and its applications to proto-neutron and neutron stars. I also present a set of equation of state and particle population tables built using the CMF model subject to physical constraints necessary to reproduce different environments, such as those present in cold neutron stars, core-collapse supernova explosions and different stages of compact star mergers.


title: A numerical scheme for a mean field game in some queueing systems based on Markov chain approximation method

abstract: We use the Markov chain approximation method to construct approximations for the solution of the mean field game (MFG) with reflecting barriers studied in Bayraktar, Budhiraja, and Cohen (2017). The MFG is formulated in terms of a controlled reflected diffusion with a cost function that depends on the reflection terms in addition to the standard variables: state, control, and the mean field term. This MFG arises from the asymptotic analysis of an $N$-player game for single server queues with strategic servers. By showing that our scheme is an almost contraction, we establish the convergence of this numerical scheme over a small time interval.


title: Convergence to stable limits for ratios of trimmed Levy processes and their jumps

abstract: We derive characteristic function identities for conditional distributions of an r-trimmed Levy process given its r largest jumps up to a designated time t. Assuming the underlying Levy process is in the domain of attraction of a stable process as t goes to 0, these identities are applied to show joint convergence of the trimmed process divided by its large jumps to corresponding quantities constructed from a stable limiting process. This generalises related results in the 1-dimensional subordinator case developed in Kevei & Mason (2014) and produces new discrete distributions on the infinite simplex in the limit.


title: Recovering an Unknown Source in a Fractional Diffusion Problem

abstract: A standard inverse problem is to determine a source which is supported in an unknown domain $D$ from external boundary measurements. Here we consider the case of a time-dependent situation where the source is equal to unity in an unknown subdomain $D$ of a larger given domain $\Omega$. Overposed measurements consist of time traces of the solution or its flux values on a set of discrete points on the boundary $\partial\Omega$. The case of a parabolic equation was considered in [HettlichRundell:2001]. In our situation we extend this to cover the subdiffusion case based on an anomalous diffusion model and leading to a fractional order differential operator. We will show a uniqueness result and examine a reconstruction algorithm. One of the main motives for this work is to examine the dependence of the reconstructions on the parameter $\alpha$, the exponent of the fractional operator which controls the degree of anomalous behaviour of the process. Some previous inverse problems based on fractional diffusion models have shown considerable differences between classical Brownian diffusion and the anomalous case.


title: Unification of Constant-roll Inflation and Dark Energy with Logarithmic $R^2$-corrected and Exponential $F(R)$ Gravity

abstract: In this paper we investigate how to describe in a unified way a constant-roll inflationary era with a dark energy era, by using the theoretical framework of $F(R)$ gravity. To this end, we introduce some classes of appropriately chosen $F(R)$ gravity models, and we examine in detail how the unification of early and late-time acceleration eras can be achieved. We study in detail the inflationary era, and as we demonstrate it is possible to achieve a viable inflationary era, for which the spectral index of primordial curvature perturbations and the scalar-to-tensor ratio can be compatible with the latest observational data. In addition, the graceful exit issue is briefly discussed for a class of models. Finally, we discuss the dark energy oscillations issue, and we investigate which model from one of the classes we introduced, can produce oscillations with the smallest amplitude.


title: Multiconfiguration calculations of electronic isotope shift factors in Zn I

abstract: The present work reports results from systematic multiconfiguration Dirac-Hartree-Fock calculations of electronic isotope shift factors for a set of transitions between low-lying states in neutral zinc. These electronic quantities together with observed isotope shifts between different pairs of isotopes provide the changes in mean-square charge radii of the atomic nuclei. Within this computational approach, different models for electron correlation are explored in a systematic way to determine a reliable computational strategy and to estimate theoretical error bars of the isotope shift factors.


title: Valley-momentum locking in a graphene superlattice with Y-shaped Kekul\'e bond texture

abstract: Recent experiments by Guti\'errez $\textit{et al.}$ [Nature Phys. $\textbf{12}$, 950 (2016)] on a graphene-copper superlattice have revealed an unusual Kekul\'e bond texture in the honeycomb lattice --- a Y-shaped modulation of weak and strong bonds with a wave vector connecting two Dirac points. We show that this so-called "Kek-Y" texture produces two species of massless Dirac fermions, with valley isospin locked parallel or antiparallel to the direction of motion. In a magnetic field $B$ the valley degeneracy of the $B$-dependent Landau levels is removed by the valley-momentum locking --- but a $B$-independent and valley-degenerate zero-mode remains.


title: Cyber Risk Analysis of Combined Data Attacks Against Power System State Estimation

abstract: Understanding smart grid cyber attacks is key for developing appropriate protection and recovery measures. Advanced attacks pursue maximized impact at minimized costs and detectability. This paper conducts risk analysis of combined data integrity and availability attacks against the power system state estimation. We compare the combined attacks with pure integrity attacks - false data injection (FDI) attacks. A security index for vulnerability assessment to these two kinds of attacks is proposed and formulated as a mixed integer linear programming problem. We show that such combined attacks can succeed with fewer resources than FDI attacks. The combined attacks with limited knowledge of the system model also expose advantages in keeping stealth against the bad data detection. Finally, the risk of combined attacks to reliable system operation is evaluated using the results from vulnerability assessment and attack impact analysis. The findings in this paper are validated and supported by a detailed case study.


title: Matter-Antimatter Asymmetry in the Universe via String-Inspired CPT Violation at Early Eras

abstract: In four-space-time dimensional string/brane theory, obtained either through compactification of the extra spatial dimensions, or by appropriate restriction to brane worlds with three large spatial dimensions, the rich physics potential associated with the presence of non-trivial Kalb-Ramond (KR) axion-like fields has not been fully exploited so far. In this talk, I discuss a scenario whereby such fields produce spontaneous Lorentz- and CPT-violating cosmological backgrounds over which strings propagate, which in the early Universe can lead to Baryogenesis through Leptogenesis in models with heavy right-handed neutrinos.


title: Attosecond-Resolution Hong-Ou-Mandel Interferometry

abstract: When two indistinguishable photons are each incident on separate input ports of a beamsplitter they `bunch' deterministically, exiting via the same port as a direct consequence of their bosonic nature. This two-photon interference effect has long-held the potential for application in precision measurement of time delays, such as those induced by transparent specimens with unknown thickness profiles. However, the technique has never achieved resolutions significantly better than the few femtosecond (micron)-scale other than in a common-path geometry that severely limits applications. Here we develop the precision of HOM interferometry towards the ultimate limits dictated by statistical estimation theory, achieving few-attosecond (or nanometre path length) scale resolutions in a dual-arm geometry, thus providing access to length scales pertinent to cell biology and mono-atomic layer 2D materials.


title: Influence of substrate on structural and transport properties of LaNiO3 thin films prepared by pulsed laser deposition

abstract: We report the structural and transport properties of LaNiO3 thin films prepared by pulsed laser deposition technique. To understand the effects of film thickness, lattice mismatch and grain size on transport properties, various oriented substrates were used for deposition, including single-crystalline SrLaAlO4 (001), SrTiO3 (100) and LaAlO3 (100). To achieve a high quality LaNiO3 thin films, the vital parameters (such as laser fluence, substrate temperature, oxygen pressure, and deposition time) were optimized. The best quality films are found to be well textured samples with good crystalline properties.


title: Pivotal Estimation via Self-Normalization for High-Dimensional Linear Models with Error in Variables

abstract: We propose a new estimator for the high-dimensional linear regression model with observation error in the design where the number of coefficients is potentially larger than the sample size. The main novelty of our procedure is that the choice of penalty parameters is pivotal. The estimator is based on applying a self-normalization to the constraints that characterize the estimator. Importantly, we show how to cast the computation of the estimator as the solution of a convex program with second order cone constraints. This allows the use of algorithms with theoretical guarantees and reliable implementation. Under sparsity assumptions, we derive $\ell_q$-rates of convergence and show that consistency can be achieved even if the number of regressors exceeds the sample size. We further provide a simple to implement rule to threshold the estimator that yields a provably sparse estimator with similar $\ell_2$ and $\ell_1$-rates of convergence. The thresholds are data-driven and component dependents. Finally, we also study the rates of convergence of estimators that refit the data based on a selected support with possible model selection mistakes. In addition to our finite sample theoretical results that allow for non-i.i.d. data, we also present simulations to compare the performance of the proposed estimators.


title: Recent implementations, applications, and extensions of the Locally Optimal Block Preconditioned Conjugate Gradient method (LOBPCG)

abstract: Since introduction [A. Knyazev, Toward the optimal preconditioned eigensolver: Locally optimal block preconditioned conjugate gradient method, SISC (2001) DOI:10.1137/S1064827500366124] and efficient parallel implementation [A. Knyazev et al., Block locally optimal preconditioned eigenvalue xolvers (BLOPEX) in HYPRE and PETSc, SISC (2007) DOI:10.1137/060661624], LOBPCG has been used is a wide range of applications in mechanics, material sciences, and data sciences. We review its recent implementations and applications, as well as extensions of the local optimality idea beyond standard eigenvalue problems.


title: Data Attacks on Power System State Estimation: Limited Adversarial Knowledge vs. Limited Attack Resources

abstract: A class of data integrity attack, known as false data injection (FDI) attack, has been studied with a considerable amount of work. It has shown that with perfect knowledge of the system model and the capability to manipulate a certain number of measurements, the FDI attacks can coordinate measurements corruption to keep stealth against the bad data detection. However, a more realistic attack is essentially an attack with limited adversarial knowledge of the system model and limited attack resources due to various reasons. In this paper, we generalize the data attacks that they can be pure FDI attacks or combined with availability attacks (e.g., DoS attacks) and analyze the attacks with limited adversarial knowledge or limited attack resources. The attack impact is evaluated by the proposed metrics and the detection probability of attacks is calculated using the distribution property of data with or without attacks. The analysis is supported with results from a power system use case. The results show how important the knowledge is to the attacker and which measurements are more vulnerable to attacks with limited resources.


title: Magnetar-powered superluminous supernovae must first be exploded by jets

abstract: We analyze recent magnetar light-curve modeling of 38 hydrogen-poor superluminous supernovae (SLSNe), and find that the energies of the explosions themselves, that take place before the magnetar energy is released, are more than what the neutrino-driven explosion mechanism can supply for about half of the systems. These SLSNe must have been exploded by a different process than the delayed neutrino mechanism, most likely the jet feedback mechanism (JFM). The conclusion for magnetar modeling of SLSNe is that jets launched at magnetar birth cannot be ignored, not at the explosion itself and not later when mass fall-back might occur. More generally, the present analysis strengthens the call for a paradigm shift from neutrino-driven to jet-driven explosion models of all core collapse supernovae.


title: The density of the terms in an elliptic divisibility sequence having a fixed G.C.D. with their index

abstract: Let $\mathbf{D}=(D_{n})_{n\geq 1}$ be an elliptic divisibility sequence associated to the pair $(E,P)$. For a fixed integer $k$, we define $\mathscr{A}_{E,k}=\{n\geq 1 : \gcd(n,D_{n})=k\}$. We give an explicit structural description of $\mathscr{A}_{E,k}$. Also, we explain when $\mathscr{A}_{E,k}$ has positive asymptotic density using bounds related to the distribution of trace of Frobenius of $E$. Furthermore, we get explicit density of $\mathscr{A}_{E,k}$ using the M\"obius function.


title: Dark matter gamma-ray line searches toward the Galactic Center halo with H.E.S.S. I

abstract: The presence of dark matter is nowadays widely supported by a large body of astronomical and cosmological observations. A large amount of dark matter is expected to be present in the central region of the Milky Way. Very-high-energy (>100 GeV) {\gamma}-rays can be produced in the annihilation of dark matter particles. The H.E.S.S. array of Imaging Atmospheric Cherenkov Telescopes is a powerful tools to observe the Galactic Centre trying to detect {\gamma}-rays from dark matter annihilation. A new search for a dark matter signal has been carried out on the full H.E.S.S.-I data set of 2004-2014 observations. A 2D-binned likelihood method has been applied to exploit the spectral and spatial properties of signal and background. Updated constraints are derived on the velocity-weighted annihilation cross section for signals from prompt annihilation of dark matter particles into two photons. The larger statistics from the 10-year Galactic Center dataset of H.E.S.S.-I together with the 2D-analysis technique allows to significantly improve the previous limits.


title: Orbifold equivalence: structure and new examples

abstract: Orbifold equivalence is a notion of symmetry that does not rely on group actions. Among other applications, it leads to surprising connections between hitherto unrelated singularities. While the concept can be defined in a very general category-theoretic language, we focus on the most explicit setting in terms of matrix factorisations, where orbifold equivalences arise from defects with special properties. Examples are relatively difficult to construct, but we uncover some structural features that distinguish orbifold equivalences -- most notably a finite perturbation expansion. We use those properties to devise a search algorithm, then present some new examples including Arnold singularities.


title: A New Algorithm for Computing the Actions of Trigonometric and Hyperbolic Matrix Functions

abstract: A new algorithm is derived for computing the actions $f(tA)B$ and $f(tA^{1/2})B$, where $f$ is cosine, sinc, sine, hyperbolic cosine, hyperbolic sinc, or hyperbolic sine function. $A$ is an $n\times n$ matrix and $B$ is $n\times n_0$ with $n_0 \ll n$. $A^{1/2}$ denotes any matrix square root of $A$ and it is never required to be computed. The algorithm offers six independent output options given $t$, $A$, $B$, and a tolerance. For each option, actions of a pair of trigonometric or hyperbolic matrix functions are simultaneously computed. The algorithm scales the matrix $A$ down by a positive integer $s$, approximates $f(s^{-1}tA)B$ by a truncated Taylor series, and finally uses the recurrences of the Chebyshev polynomials of the first and second kind to recover $f(tA)B$. The selection of the scaling parameter and the degree of Taylor polynomial are based on a forward error analysis and a sequence of the form $\|A^k\|^{1/k}$ in such a way the overall computational cost of the algorithm is optimized. Shifting is used where applicable as a preprocessing step to reduce the scaling parameter. The algorithm works for any matrix $A$ and its computational cost is dominated by the formation of products of $A$ with $n\times n_0$ matrices that could take advantage of the implementation of level-3 BLAS. Our numerical experiments show that the new algorithm behaves in a forward stable fashion and in most problems outperforms the existing algorithms in terms of CPU time, computational cost, and accuracy.


title: Exploring Charge and Color Breaking vacuum in Non-Holomorphic MSSM

abstract: Non-Holomorphic MSSM (NHSSM) shows various promising features that are not easily obtained in MSSM. However, the additional Non-Holomorphic (NH) trilinear interactions that attribute to the interesting phenomenological features, also modify the effective scalar potential of the model significantly. We derive analytic constraints involving trilinear parameters $A_t'$ and $A_b'$ that exclude global charge and color breaking minima (CCB). Since the analytic constraints are obtained considering specific directions in the multi-dimensional field space, we further probe the applicability of these constraints by exhaustive scan over NH parameter space with two different regimes of $\tan\beta$ and delineate the nature of metastability by considering vacuum expectation values for third generation squarks. We adhere to a natural scenario by fixing Higgsino mass parameter ($\mu$) to a low value and estimate the allowed ranges of NH trilinear parameters by considering vacuum stability and observed properties of Higgs as the determining criteria.


title: Special geometry on the moduli space for the two-moduli non-Fermat Calabi-Yau

abstract: We clarify the recently proposed method to compute a Special K\"ahler metric on a Calabi-Yau complex structures moduli space that uses the fact that the moduli space is a subspace of specific Frobenius manifold. We apply this method to computing the Special K\"ahler metric in a two-moduli non-Fermat model which has been unknown until now.


title: Quantum Bound States in Yang-Mills-Higgs Theory

abstract: We give rigorous proofs for the existence of infinitely many (non-BPS) bound states for two linear operators associated with the Yang-Mills-Higgs equations at vanishing Higgs self-coupling and for gauge group SU(2): the operator obtained by linearising the Yang-Mills-Higgs equations around a charge one monopole and the Laplace operator on the Atiyah-Hitchin moduli space of centred charge two monopoles. For the linearised system we use the Riesz-Galerkin approximation to compute upper bounds on the lowest 20 eigenvalues. We discuss the similarities in the spectrum of the linearised system and the Laplace operator, and interpret them in the light of electric-magnetic duality conjectures.


title: A glassy phase in quenched disordered graphene and crystalline membranes

abstract: We investigate the flat phase of $D$-dimensional crystalline membranes embedded in a $d$-dimensional space and submitted to both metric and curvature quenched disorders using a nonperturbative renormalization group approach. We identify a second order phase transition controlled by a finite-temperature, finite-disorder fixed point unreachable within the leading order of $\epsilon=4-D$ and $1/d$ expansions. This critical point divides the flow diagram into two basins of attraction: that associated to the finite-temperature fixed point controlling the long distance behaviour of disorder-free membranes and that associated to the zero-temperature, finite-disorder fixed point. Our work thus strongly suggests the existence of a whole low-temperature glassy phase for quenched disordered graphene, graphene-like compounds and, more generally, crystalline membranes.


title: Unsteady Navier-Stokes studies on loads, wake and dynamic stall characteristics of a two-bladed vertical axis wind turbine

abstract: Computational fluid dynamics (CFD) studies are carried out on a two-bladed vertical axis wind turbine (VAWT) operating at a wind speed of 8 m/s for the tip speed ratios ($\lambda$) of 0.50 - 3.0. The blade consists of the NACA 0021 airfoil with the chord length of 0.265 m and a rotor radius of 1 m. Basic sensitivity studies for various time step sizes are carried out. The results are validated against available measurement data from literature. An excellent agreement is obtained for small $\lambda$ up to optimum condition. For the higher tip speed ratios, the two dimensional CFD computations predict higher results than the wind tunnel experiment, but they are very similar to the field measurement data. Wake characteristics are presented in the present studies, showing that the wake becomes Gaussian at 5 times radius downsteam of the rotor. It is shown that complex flow phenomena occur due to dynamic stall onset especially for the smaller tip speed ratio.


title: Mean Temperature Profiles in Turbulent Thermal Convection

abstract: To predict the mean temperature profiles in turbulent thermal convection, the thermal boundary layer (BL) equation including the effects of fluctuations has to be solved. In Shishkina et al., Phys. Rev. Lett. 114 (2015), the thermal BL equation with the fluctuations taken into account as an eddy thermal diffusivity has been solved for large Prandtl-number fluids for which the eddy thermal diffusivity and the velocity field can be approximated respectively as a cubic and a linear function of the distance from the plate. In the present work we make use of the idea of Prandtl's mixing length model and relate the eddy thermal diffusivity to the stream function. With this proposed relation, we can solve the thermal BL equation and obtain a closed-form expression for the dimensionless mean temperature profile in terms of two independent parameters for fluids with a general Prandtl number. With a proper choice of the parameters, our predictions of the temperature profiles are in excellent agreement with the results of our direct numerical simulations for a wide range of Prandtl numbers from 0.01 to 2547.9 and Rayleigh numbers from 10^7 to 10^9.


title: On Certain Analytical Representations of Cellular Automata

abstract: We extend a previously introduced semi-analytical representation of a decomposition of CA dynamics in arbitrary dimensions and neighborhood schemes via the use of certain universal maps in which CA rule vectors are derivable from the equivalent of superpotentials. The results justify the search for alternative analog models of computation and their possible physical connections.


title: Deciphering M-T diagram of shape memory Heusler alloys: reentrance, plateau and beyond

abstract: We present our recent results on temperature behaviour of magnetization observed in Ni_47Mn_39In_14 Heusler alloys. Three regions can be distinguished in the M-T diagram: (I) low temperature martensitic phase (with the Curie temperature T_CM = 140 K), (II) intermediate mixed phase (with the critical temperature T_MS = 230 K) exhibiting a reentrant like behavior (between T_CM and T_MS) and (III) high temperature austenitic phase (with the Curie temperature T_CA = 320 K) exhibiting a rather wide plateau region (between T_MS and T_CA). By arguing that powerful structural transformations, causing drastic modifications of the domain structure in alloys, would also trigger strong fluctuations of the order parameters throughout the entire M-T diagram, we were able to successfully fit all the data by incorporating Gaussian fluctuations (both above and below the above three critical temperatures) into the Ginzburg-Landau scenario.


title: Observables for possible QGP signatures in central pp collisions

abstract: Proton-proton (pp) data show collective effects, such as long-range azimuthal correlations and strangeness enhancement, which are similar to phenomenology observed in heavy ion collisions. Using simulations with and without explicit existing models of collective effects, we explore new ways to probe pp collisions at high multiplicity, in order to suggest measurements that could help identify the similarities and differences between large- and small-scale collective effects. In particular, we focus on the properties of jets produced in ultra-central pp collisions in association with a Z boson. We consider observables such as jet energy loss and jet shapes, which could point to the possible existence of an underlying quark-gluon plasma, or other new dynamical effects related to the presence of large hadronic densities.


title: Minimal free resolution of monoimal ideals by iterated mapping cone

abstract: In this paper we study minimal free resolutions of some classes of monomial ideals. we first give a sufficient condition to check the minimality of the resolution obtained by the mapping cone. Using it, we obtain the Betti numbers of max-path ideals of rooted trees and ideals containing powers of variables. In particular, we discuss about resolutions of ideals of the form $J_{\mathcal{H}}+(x_{i_1}^2,\ldots, x_{i_m}^2)$ where $J_{\mathcal{H}}$ is the edge ideal of a hypergraph $\mathcal{H}$.


title: Triple point semimetal and topological phase transitions in NaCu$_{3}$Te$_{2}$

abstract: Quasiparticle excitations of free electrons in condensed-matter physics, characterized by the dimensionality of the band crossing, can find their elementary-particle analogs in high-energy physics, such as Majorana, Weyl, and Dirac fermions. While crystalline symmetry allows more quasiparticle excitations and exotic fermions to emerge. Using symmetry analysis and {\it ab-initio} calculations, we propose that the 3D honeycomb crystal NaCu$_3$Te$_2$ hosts triply degenerate nodal points (TDNPs) which are perfectly separated from the bulk states. We find a tunable phase transition between TDNPs and a weak TI triggered by a symmetry-allowed perturbation, and we further reveal the crucial role played by the spin-orbital coupling (SOC) for the emergence of the TDNPs in this system. Such topological non-trivial ternary compound not only serves as a perfect candidate for studying three-component fermions, but also provides a beautiful playground for understanding the topological phase transitions between TDNPs, TIs and trivial insulators, which distinguishes this system from other TDNP candidates.


title: Positivity of the real part of the forward scattering amplitude

abstract: We prove the general theorem that the real part of the forward two-body scattering amplitude is positive at sufficiently high energies if, above a certain energy, the total cross section increases monotonically to infinity at infinite energy.


title: Evidence for field induced proximity type behavior in ferromagnetic nanofluid

abstract: We report some unusual magnetic properties observed in CoFe2O4 based ferrofluid (with an average particle size of D = 6 nm). More precisely, in addition to the low-field ferromagnetic (FM) phase transition with an intrinsic Curie temperature T_Cb=350K, a second phase transition with an extrinsic Curie temperature T_Cw = 266K emerges at higher (saturating) magnetic field. The transitions meet at the crossover point T_cr = 210 K. The origin of the second transition is attributed to magnetic field induced proximity type interaction between FM particles through non-FM layers.


title: Optimal Stopping and Worker Selection in Crowdsourcing: an Adaptive Sequential Probability Ratio Test Framework

abstract: In this paper, we aim at solving a class of multiple testing problems under the Bayesian sequential decision framework. Our motivating application comes from binary labeling tasks in crowdsourcing, where the requestor needs to simultaneously decide which worker to choose to provide the label and when to stop collecting labels under a certain budget constraint. We start with the binary hypothesis testing problem to determine the true label of a single object, and provide an optimal solution by casting it under the adaptive sequential probability ratio test (Ada-SPRT) framework. We characterize the structure of the optimal solution, i.e., optimal adaptive sequential design, which minimizes the Bayes risk through log-likelihood ratio statistic. We also develop a dynamic programming algorithm that can efficiently approximate the optimal solution. For the multiple testing problem, we further propose to adopt an empirical Bayes approach for estimating class priors and show that our method has an averaged loss that converges to the minimal Bayes risk under the true model. The experiments on both simulated and real data show the robustness of our method and its superiority in labeling accuracy as compared to several other recently proposed approaches.


title: Phase transition through the splitting of self-dual spectral singularity in optical potentials

abstract: We consider optical media which feature antilinear symmetries. We show that: (i) spectral singularities of such media (if any) are always self-dual, i.e., correspond to CPA-lasers; (ii) under the change of a system's parameter the self-dual spectral singularity may split into a pair of isolated complex conjugate eigenvalues, which corresponds to an unconventional and overlooked in the most of previous studies scenario of the phase transition (known as $PT$-symmetry breaking in systems obeying parity-time symmetry); (iii) if the antilinear symmetry is local, i.e., does not involve any spatial reflection, then no spectral singularity is possible. Our findings are illustrated with several examples including a $PT$-symmetric bilayer and other complex potentials discussed in recent literature.


title: Evaluation of Time-Series, Regression and Neural Network Models for Solar Forecasting: Part I: One-Hour Horizon

abstract: The need to forecast solar irradiation at a specific location over short-time horizons has acquired immense importance. In this paper, we report on analyses results involving statistical and machine learning techniques to predict hourly horizontal solar irradiation at one-hour ahead horizon using data sets from three different cities in the U.S. with different climatic conditions. A simple forecast approach that assumes consecutive days are identical serves as a baseline model against which to compare competing forecast alternatives. One approach is to use seasonal ARIMA models. Surprisingly, such models are found to be poorer than the simple forecast. To account for seasonal variability and capture short-term fluctuations, cloud cover is an obvious variable to consider. Monthly models with cloud cover as regressor were found to outperform the simple forecast model. More sophisticated lagged moving average (LMX) models were also evaluated, and one of the variants, LMX2, identified at monthly time scales, proved to be the best choice. Finally, the LMX2 model is compared against artificial neural network (ANN) models and the latter proved to be more accurate. The companion paper will present algorithms and results of how such models can be used for 4-hr rolling horizon and 24-hr ahead forecasting.


title: Two-Dimensional Indirect Binary Search for the Positive One-in-Three Satisfiability Problem

abstract: In this paper, we propose an algorithm for the positive one-in-three satisfiability problem (Pos1in3SAT). The proposed algorithm can efficiently decide the existence of a satisfying assignment in all assignments for a given formula by using a 2-dimensional binary search method without constructing an exponential number of assignments.


title: PDF estimation for power grid systems via sparse regression

abstract: We present a numerical approach for estimating the probability density function (PDF) of quantities of interest (QoIs) of power grid systems subject to uncertain power generation and load fluctuations. In our approach, generation and load fluctuations are modeled by means of autocorrelated-in-time random processes, which are approximated in terms of a finite set of random parameters by means of Karhunen-Lo\`{e}ve approximations. The map from random parameters to QoIs is approximated by means of Hermite polynomial expansions. We propose a new approach based on compressive sensing to estimate the coefficients in the Hermite expansions from a small number of realizations (sampling points). Linear transforms identified by iterative rotations are introduced to improve the sparsity of the Hermite representations, exploiting the intrinsic low-dimensional structure of the map. As such, the proposed approach significantly reduces the required number of sampling points to achieve a given accuracy compared to the standard least squares method. The proposed approach is employed to estimate the PDF of relative angular velocities and bus voltages of systems of classical machines driven by autocorrelated random generation. More accurate PDF estimates, as measured by the Kullback-Leibler divergence, are achieved using fewer realizations than required by basic Monte Carlo sampling.


title: Non-local Multi-continua Upscaling for Flows in Heterogeneous Fractured Media

abstract: In this paper, we propose a rigorous and accurate non-local (in the oversampled region) upscaling framework based on some recently developed multiscale methods [10]. Our proposed method consists of identifying multi-continua parameters via local basis functions and constructing non-local (in the oversampled region) transfer and effective properties. To achieve this, we significantly modify our recent work proposed within Generalized Multiscale Finite Element Method (GMsFEM) in [10] and derive appropriate local problems in oversampled regions once we identify important modes representing each continua. We use piecewise constant functions in each fracture network and in the matrix to write an upscaled equation. Thus, the resulting upscaled equation is of minimal size and the unknowns are average pressures in the fractures and the matrix. We note that the use of non-local upscaled model for porous media flows is not new, e.g., in [14], the authors derive non-local approach. Our main contribution is identifying appropriate local problems together with local spectral modes to represent each continua. The model problem for fractures assumes that one can identify fracture networks. The resulting non-local equation (restricted to the oversampling region, which is several times larger compared to the target coarse block) has the same form as \cite{Hamdi_Nonlocal} with much smaller local regions. We present numerical results, which show that the proposed approach can provide good accuracy.


title: How to reduce long-term drift in present-day and deep-time simulations?

abstract: Climate models are often affected by long-term drift that is revealed by the evolution of global variables such as the ocean temperature or the surface air temperature. This spurious trend reduces the fidelity to initial conditions and has a great influence on the equilibrium climate after long simulation times. Useful insight on the nature of the climate drift can be obtained using two global metrics, i.e. the energy imbalance at the top of the atmosphere and at the ocean surface. The former is an indicator of the limitations within a given climate model, at the level of both numerical implementation and physical parameterisations, while the latter is an indicator of the goodness of the tuning procedure. Using the MIT general circulation model, we construct different configurations with various degree of complexity (i.e. different parameterisations for the bulk cloud albedo, inclusion or not of friction heating, different bathymetry configurations) to which we apply the same tuning procedure in order to obtain control runs for fixed external forcing where the climate drift is minimised. We find that the interplay between tuning procedure and different configurations of the same climate model provides crucial information on the stability of the control runs and on the goodness of a given parameterisation. This approach is particularly relevant for constructing good-quality control runs of the geological past where huge uncertainties are found in both initial and boundary conditions. We will focus on robust results that can be generally applied to other climate models.


title: Photometric and Polarimetric Observations of a New Polar USNO-A2.0 0825-18396733

abstract: We present photometric and polarimetric observations of a new magnetic cataclysmic variable, presumably a polar, USNO-A2.0 0825-18396733. The photometric observations were carried out with the SAO RAS Zeiss-1000 telescope, and the polarimetry was performed with the 6-m BTA telescope. The redefined orbital period P = 0:d08481(2); the brightness of the system varied from 17:5 to 20:0 in the Rc filter. Polarimetric observations of the object in the V filter revealed strong variable circular polarization: -2% to over -31%. This indicates that the variable USNO-A2.0 0825-18396733 is a polar.


title: A modular, extendible and field-tolerant multichannel vector magnetometer based on current sensor SQUIDs

abstract: We present the prototype module of our extendible and robust multichannel SQUID magnetometer system. A multi-module arrangement can be implemented by using up to 7 modules. It is intended for high-precision measurements of biomagnetism and spin precession. Further demanding applications are magnetorelaxometry and ultra-low-field nuclear magnetic resonance (ULF NMR), where pulsed fields of up to 100 mT are typically applied. The system is operated inside the Berlin Magnetically Shielded Room and equipped with 18 magnetometers consisting of niobium (Nb) wire-wound pick-up coils. A total of 16 small pick-up coils with 17.1 mm diameter form a regular grid with individual channels arranged to ensure system sensitivity covers all three orthogonal spatial directions. Two large hexagonal pick-up coils with an equivalent diameter of 74.5 mm sensitive in z-direction surround the grid at two different heights and are suitable for the detection of deep sources. Each coil is connected to the input of a thin-film Nb SQUID current sensor via a detachable superconducting contact. The SQUIDs are equipped with integrated input current limiters. Feedback into the pick-up coils minimizes crosstalk between channels. The current sensor chip package includes a superconducting shield of Nb. The field distortion of the prototype and a multi-module arrangement was analysed by numerical simulation. The measured noise of the small magnetometers was between 0.6 and 1.5 fT/Hz$^{1/2}$, and well below 1 fT/Hz$^{1/2}$ for the large ones. Using a software gradiometer, we achieved a minimum noise level of 0.54 fT/Hz$^{1/2}$. We performed ULF NMR experiments, verifying the system's robustness against pulsed fields, and magnetoencephalographgy (MEG) on somatosensory evoked neuronal activity. The low noise performance of our 18-channel prototype enabled the detection of high-frequency components at around 1 kHz by MEG.


title: Isomorphisms between big mapping class groups

abstract: We show that any isomorphism between mapping class groups of orientable infinite-type surfaces is induced by a homeomorphism between the surfaces. Our argument additionally applies to automorphisms between finite-index subgroups of these `big' mapping class groups and shows that each finite-index subgroup has finite outer automorphism group. As a key ingredient, we prove that all simplicial automorphisms between curve complexes of infinite-type orientable surfaces are induced by homeomorphisms.


title: Some compactness criteria for weak solutions of time fractional PDEs

abstract: The Aubin-Lions lemma and its variants play crucial roles for the existence of weak solutions of nonlinear evolutionary PDEs. In this paper, we aim to develop some compactness criteria that are analogies of the Aubin--Lions lemma for the existence of weak solutions to time fractional PDEs. We first define the weak Caputo derivatives of order $\gamma\in (0,1)$ for functions valued in general Banach spaces, consistent with the traditional definition if the space is $\mathbb{R}^d$ and functions are absolutely continuous. Based on a Volterra type integral form, we establish some time regularity estimates of the functions provided that the weak Caputo derivatives are in certain spaces. The compactness criteria are then established using the time regularity estimates. The existence of weak solutions for a special case of time fractional compressible Navier-Stokes equations with constant density and time fractional Keller-Segel equations in $\mathbb{R}^2$ are then proved as model problems. This work provides a framework for studying weak solutions of nonlinear time fractional PDEs.


title: Certain Simple Maximal Subfields in Division Rings

abstract: Let D be a division ring finite dimensional over its center F. The goal of this paper is to prove that for any positive integer n there exists a in D^(n); the n-th multiplicative derived subgroup, such that F(a) is a maximal subfield of D. We also show that a single depth-n iterated additive commutator would generate a maximal subfield of D.


title: Insight into the physical properties of two niobium based compounds Nb3Be and Nb3Be2 via first principles calculation

abstract: We investigate the structural, electronic, mechanical and elastic properties of two niobium based intermetallic compounds Nb3Be and Nb3Be2 by using the DFT based theoretical method. A good agreement is found among the structural parameters of both the phases with experimentally evaluated parameters. For both the phases metallic conductivity is observed while Nb3Be phase is more conducting than that of Nb3Be2 phase. Evaluated DOS at Fermi level indicates that Nb3Be2 phase is electrically more stable than Nb3Be phase. For both phases Nb-4d states is mostly responsible for metallic conductivity. The study of total charge density and Mulliken atomic population reveal the existence of covalent, metallic and ionic bonds in both intermetallics. Both the phases are mechanically stable in nature while Nb3Be phase is more ductile than Nb3Be2 phase. The study of Vickers hardness exhibits that Nb3Be2 phase is harder than that of Nb3Be. Both compounds are anisotropic in nature while Nb3Be phase possesses large anisotropic characteristics than that of Nb3Be2 phase. The Debye temperature of both the compounds are also calculated and discussed.