title: S-index: Towards Better Metrics for Quantifying Research Impact

abstract: The ongoing growth in the volume of scientific literature available today precludes researchers from efficiently discerning the relevant from irrelevant content. Researchers are constantly interested in impactful papers, authors and venues in their respective fields. Moreover, they are interested in the so-called recent "rising stars" of these contexts which may lead to attractive directions for future work, collaborations or impactful publication venues. In this work, we address the problem of quantifying research impact in each of these contexts, in order to better direct attention of researchers and streamline the processes of comparison, ranking and evaluation of contribution. Specifically, we begin by outlining intuitive underlying assumptions that impact quantification methods should obey and evaluate when current state-of-the-art methods fail to satisfy these properties. To this end, we introduce the s-index metric which quantifies research impact through influence propagation over a heterogeneous citation network. s-index is tailored from these intuitive assumptions and offers a number of desirable qualities including robustness, natural temporality and straightforward extensibility from the paper impact to broader author and venue impact contexts. We evaluate its effectiveness on the publicly available Microsoft Academic Search citation graph with over 119 million papers and 1 billion citation edges with 103 million and 21 thousand associated authors and venues respectively.


title: Collinearly-improved BK evolution meets the HERA data

abstract: In a previous publication, we have established a collinearly-improved version of the Balitsky-Kovchegov (BK) equation, which resums to all orders the radiative corrections enhanced by large double transverse logarithms. Here, we study the relevance of this equation as a tool for phenomenology, by confronting it to the HERA data. To that aim, we first improve the perturbative accuracy of our resummation, by including two classes of single-logarithmic corrections: those generated by the first non-singular terms in the DGLAP splitting functions and those expressing the one-loop running of the QCD coupling. The equation thus obtained includes all the next-to-leading order corrections to the BK equation which are enhanced by (single or double) collinear logarithms. We then use numerical solutions to this equation to fit the HERA data for the electron-proton reduced cross-section at small Bjorken x. We obtain good quality fits for physically acceptable initial conditions. Our best fit, which shows a good stability up to virtualities as large as Q^2=400 GeV^2 for the exchanged photon, uses as an initial condition the running-coupling version of the McLerran-Venugopalan model, with the QCD coupling running according to the smallest dipole prescription.


title: Lasso adjustments of treatment effect estimates in randomized experiments

abstract: We provide a principled way for investigators to analyze randomized experiments when the number of covariates is large. Investigators often use linear multivariate regression to analyze randomized experiments instead of simply reporting the difference of means between treatment and control groups. Their aim is to reduce the variance of the estimated treatment effect by adjusting for covariates. If there are a large number of covariates relative to the number of observations, regression may perform poorly because of overfitting. In such cases, the Lasso may be helpful. We study the resulting Lasso-based treatment effect estimator under the Neyman-Rubin model of randomized experiments. We present theoretical conditions that guarantee that the estimator is more efficient than the simple difference-of-means estimator, and we provide a conservative estimator of the asymptotic variance, which can yield tighter confidence intervals than the difference-of-means estimator. Simulation and data examples show that Lasso-based adjustment can be advantageous even when the number of covariates is less than the number of observations. Specifically, a variant using Lasso for selection and OLS for estimation performs particularly well, and it chooses a smoothing parameter based on combined performance of Lasso and OLS.


title: Phase structure with nonzero $\Theta_{\rm QCD}$ and twisted mass fermions

abstract: We determine the phase diagram and chiral condensate for lattice QCD with two flavors of twisted-mass fermions in the presence of nondegenerate up and down quarks, discretization errors and a nonzero value of $\Theta_{\rm QCD}$. Although such a theory has a complex action and cannot, at present, be simulated, the results are needed to understand how to tune to maximal twist in the presence of electromagnetism, a topic discussed in a companion paper. We find that, in general, the only phase structure is a first-order transition of finite length. Pion masses are nonvanishing throughout the phase plane except at the endpoints of the first-order line. Only for extremal values of the twist angle and $\Theta_{\rm QCD}$ ($\omega=0$ or $\pi/2$ and $\Theta_{\rm QCD}=0$ or $\pi$) are there second-order transitions.


title: 't Hooft suppression and holographic entropy

abstract: Recent works have related the bulk first law of black hole mechanics to the first law of entanglement in a dual CFT. These are first order relations, and receive corrections for finite changes. In particular, the latter is naively expected to be accurate only for small changes in the quantum state. But when Newton's constant is small relative to the AdS scale, the former holds to good approximation even for classical perturbations that contain many quanta. This suggests that -- for appropriate states -- corrections to the first law of entanglement are suppressed by powers of $N$ in CFTs whose correlators satisfy 't Hooft large-$N$ power counting. We take first steps toward verifying that this is so by studying the large-$N$ structure of the entropy of spatial regions for a class of CFT states motivated by those created from the vacuum by acting with real-time single-trace sources. We show that $1/N$ counting matches bulk predictions, though we require the effect of the source on the modular hamiltonian to be non-singular. The magnitude of our sources is $\epsilon N$ with $\epsilon$ fixed-but-small as $N\rightarrow \infty$. Our results also provide a perturbative derivation -- without relying on the replica trick -- of the subleading Faulkner-Lewkowycz-Maldacena correction to the Ryu-Takayagi and Hubeny-Rangamani-Takayanagi conjectures at all orders in $1/N$.


title: Photon-correlation measurements of atomic-cloud temperature using an optical nanofiber

abstract: We develop a temperature measurement of an atomic cloud based on the temporal correlations of fluorescence photons evanescently coupled into an optical nanofiber. We measure the temporal width of the intensity-intensity correlation function due to atomic transit time and use it to determine the most probable atomic velocity, hence the temperature. This technique agrees well with standard time-of-flight temperature measurements. We confirm our results with trajectory simulations.


title: Metal-Poor Stars Observed with the Magellan Telescope. III. New Extremely and Ultra Metal-Poor Stars from SDSS/SEGUE and Insights on the Formation of Ultra Metal-Poor Stars

abstract: We report the discovery of one extremely metal-poor (EMP; [Fe/H]<-3) and one ultra metal-poor (UMP; [Fe/H]<-4) star selected from the SDSS/SEGUE survey. These stars were identified as EMP candidates based on their medium-resolution (R~2,000) spectra, and were followed-up with high-resolution (R~35,000) spectroscopy with the Magellan-Clay Telescope. Their derived chemical abundances exhibit good agreement with those of stars with similar metallicities. We also provide new insights on the formation of the UMP stars, based on comparison with a new set of theoretical models of supernovae nucleosynthesis. The models were matched with 20 UMP stars found in the literature, together with one of the program stars (SDSS J1204+1201), with [Fe/H]=-4.34. From fitting their abundances, we find that the supernovae progenitors, for stars where carbon and nitrogen are measured, had masses ranging from 20.5 M_sun to 28 M_sun and explosion energies from 0.3 to 0.9x10^51 erg. These results are highly sensitive to the carbon and nitrogen abundance determinations, which is one of the main drivers for future high-resolution follow-up of UMP candidates. In addition, we are able to reproduce the different CNO abundance patterns found in UMP stars with a single progenitor type, by varying its mass and explosion energy.


title: Engineering the coupling between Majorana bound states

abstract: We study the coupling between Majorana bound states (CMBS), which is mediated by a topologically trivial chain in the presence of pairing coupling and long-range coupling. The results show that CMBS can be enhanced by the pairing coupling and long-range coupling of the trivial chain. When driving the trivial chain by periodic driving field, we deduce the analytical expressions of CMBS in the high-frequency limit, and demonstrate that CMBS can be modulated by the frequency and amplitude of driving field. Finally we exhibit the application of tunable CMBS in realizing quantum logic gates.


title: An exotic k-essence interpretation of interactive cosmological models

abstract: We define a generalization of scalar fields with non-canonical kinetic term which we call exotic k-essence or briefly, exotik. These fields are generated by the global description of cosmological models with two interactive fluids in the dark sector and under certain conditions, they correspond to usual k-essences. The formalism is applied to the cases of constant potential and of inverse square potential and also we develop the purely exotik version for the modified holographic Ricci type of dark energy (MHR), where the equations of state are not constant. With the kinetic function $F=1+mx$ and the inverse square potential we recover, through the interaction term, the identification between k-essences and quintessences of exponential potential, already known for Friedmann-Robertson-Walker and Bianchi type I geometries. Worked examples are shown that include the self-interacting MHR and also models with crossing of the phantom divide line (PDL).


title: A Study of the Management of Electronic Medical Records in Fijian Hospitals

abstract: Despite having a number of benefits for healthcare settings, the successful implementation of health information systems (HIS) continues to be a challenge in many developing countries. This paper examines the current state of health information systems in government hospitals in Fiji. It also investigates if the general public as well as medical practitioners in Fiji have interest in having web based electronic medical records systems that allow patients to access their medical reports and make online bookings for their appointments. Nausori Health Centre was used as a case study to examine the information systems in a government hospital in Fiji.


title: Enhancement of mechanical effects of single photons in modulated two-mode optomechanics

abstract: We propose an approach to enhance the mechanical effects of single photons in a two-mode optomechanical system. This is achieved by introducing a resonance-frequency modulation to the cavity fields. When the modulation frequency and amplitude satisfy certain conditions, the mechanical displacement induced by single photons could be larger than the quantum zero-point fluctuation of the oscillating resonator. This method can be used to create distinct mechanical superposition states.


title: On the neutral gas content of nine new Milky Way satellite galaxy candidates

abstract: We use a new, improved version of the HI Parkes All-Sky Survey to search for HI emission from nine new, ultra-faint Milky Way satellite galaxy candidates recently discovered in data from the Dark Energy Survey. None of the candidates is detected in HI, implying upper limits for their HI masses of typically several hundred to a few thousand solar masses. The resulting upper limits on M_HI / L_V and M_HI / M_star suggest that at least some of the new galaxy candidates are HI deficient. This finding is consistent with the general HI deficiency of satellite galaxies located within the Milky Way's virial radius and supports the hypothesis that gas is being removed from satellites by tidal and ram-pressure forces during perigalactic passages. In addition, some of the objects may be embedded in, and interacting with, the extended neutral and ionised gas filaments of the Magellanic Stream.


title: Pulsar-Wind Nebulae: Recent Progress in Observations and Theory

abstract: In this review we describe recent observational and theoretical developments in our understanding of pulsar winds and pulsar-wind nebulae (PWNe). We put special emphasis on the results from observations of well-characterized PWNe of various types (e.g., torus-jet and bowshock-tail), the most recent MHD modeling efforts, and the status of the flaring Crab PWN puzzle.


title: Twist your logic with TouIST

abstract: SAT provers are powerful tools for solving real-sized logic problems, but using them requires solid programming knowledge and may be seen w.r.t.\ logic like assembly language w.r.t.\ programming. Something like a high level language was missing to ease various users to take benefit of these tools. {\sc \texttt {TouIST}}\ aims at filling this gap. It is devoted to propositional logic and its main features are 1) to offer a high-level logic langage for expressing succintly complex formulas (e.g.\ formulas describing Sudoku rules, planification problems,\ldots) and 2) to find models to these formulas by using the adequate powerful prover, which the user has no need to know about. It consists in a friendly interface that offers several syntactic facilities and which is connected with some sufficiently powerful provers allowing to automatically solve big instances of difficult problems (such as time-tables or Sudokus). It can interact with various provers: pure SAT solver but also SMT provers (SAT modulo theories - like linear theory of reals, etc) and thus may also be used by beginners for experiencing with pure propositional problems up to graduate students or even researchers for solving planification problems involving big sets of fluents and numerical constraints on them.


title: {dasasap}, an App for Syllogisms

abstract: The main goal of this contribution is to introduce a cross-platform application to learn-teach syllogistic. We call this application \textit{dasasap} for \textit{develop all syllogisms as soon as possible}. To introduce this application we show the logical foundations for the game with a system we call $\mathcal{L}_\square$, and its interface developed with LiveCode.


title: Easy Proofs of L\"owenheim-Skolem Theorems by Means of Evaluation Games

abstract: We propose a proof of the downward L\"owenheim-Skolem that relies on strategies deriving from evaluation games instead of the Skolem normal forms. This proof is simpler, and easily understood by the students, although it requires, when defining the semantics of first-order logic to introduce first a few notions inherited from game theory such as the one of an evaluation game.


title: The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs

abstract: We present the Sequent Calculus Trainer, a tool that supports students in learning how to correctly construct proofs in the sequent calculus for first-order logic with equality. It is a proof assistant fostering the understanding of all the syntactic principles that need to be obeyed in constructing correct proofs. It does not provide any help in finding good proof strategies. Instead it aims at understanding the sequent calculus on a lower syntactic level that needs to be mastered before one can consider proof strategies. Its main feature is a proper feedback system embedded in a graphical user interface. We also report on some empirical findings that indicate how the Sequent Calculus Trainer can improve the students' success in learning sequent calculus for full first-order logic.


title: Set theory and tableaux for teaching propositional logic

abstract: In this work we suggest the use of a set-theoretical interpretation of semantic tableaux for teaching propositional logic. If the student has previous notions of basic set theory, this approach to semantical tableaux can clarify her the way semantic trees operate, linking the syntactical and semantical sides of the process. Also, it may be useful for the introduction of more advanced topics in logic, like modal logic.


title: Teaching Le\'sniewski's Prothetic with a Natural Deduction System

abstract: Protothetic is one of the most stimulating systems for propositional logic. Including quantifiers and an inference rule for definitions, it is a very interesting mean for the study of many questions of metalogic. Unfortunately, it only exists in an axiomatic version, far too complicated and unusual to be easily understood by nowadays students in logic. In this paper, we present a system which is a natural deduction (in Fitch-Ja\'skowski's style) version of protothetic. According to us, this system is adequate for teaching Le\'sniewski's logic to students accustomed to natural deduction.


title: Topology of the Maximal Ideal Space of $H^\infty$ Revisited

abstract: Let $M(H^\infty)$ be the maximal ideal space of the Banach algebra $H^\infty$ of bounded holomorphic functions on the unit disk $\mathbb D\subset\mathbb C$. We prove that $M(H^\infty)$ is homeomorphic to the Freudenthal compactification $\gamma(M_a)$ of the set $M_a$ of all non-trivial (analytic disks) Gleason parts of $M(H^\infty)$. Also, we give alternative proofs of important results of Su\'{a}rez asserting that the set $M_s$ of trivial (one-pointed) Gleason parts of $M(H^\infty)$ is totally disconnected and that the \v{C}ech cohomology group $H^2(M(H^\infty),\mathbb Z)=0$.


title: Using Automated Theorem Provers to Teach Knowledge Representation in First-Order Logic

abstract: Undergraduate students of artificial intelligence often struggle with representing knowledge as logical sentences. This is a skill that seems to require extensive practice to obtain, suggesting a teaching strategy that involves the assignment of numerous exercises involving the formulation of some bit of knowledge, communicated using a natural language such as English, as a sentence in some logic. The number of such exercises needed to master this skill is far too large to allow typical artificial intelligence course teaching teams to provide prompt feedback on student efforts. Thus, an automated assessment system for such exercises is needed to ensure that students receive an adequate amount of practice, with the rapid delivery of feedback allowing students to identify errors in their understanding and correct them. This paper describes an automated grading system for knowledge representation exercises using first-order logic. A resolution theorem prover, \textit{Prover9}, is used to check if a student-submitted formula is logically equivalent to a solution provided by the instructor. This system has been used by students enrolled in undergraduate artificial intelligence classes for several years. Use of this teaching tool resulted in a statistically significant improvement on first-order logic knowledge representation questions appearing on the course final examination. This article explains how this system works, provides an analysis of changes in student learning outcomes, and explores potential enhancements of this system, including the possibility of providing rich formative feedback by replacing the resolution theorem prover with a tableaux-based method.


title: A pilot study of the use of LogEx, lessons learned

abstract: LogEx is a learning environment that supports students in rewriting propositional logical formulae, using standard equivalences. We organized a pilot study to prepare a large scale evaluation of the learning environment. In this paper we describe this study, together with the outcomes, which teach us valuable lessons for the large scale evaluation.


title: Teaching Logic for Computer Science: Are We Teaching the Wrong Narrative?

abstract: In this paper I discuss what, according to my long experience, every computer scientist should know from logic. We concentrate on issues of modeling, interpretability and levels of abstraction. We discuss what the minimal toolbox of logic tools should look like for a computer scientist who is involved in designing and analyzing reliable systems. We shall conclude that many classical topics dear to logicians are less important than usually presented, and that less-known ideas from logic may be more useful for the working computer scientist.


title: Fail better: What formalized math can teach us about learning

abstract: Real-life conjectures do not come with instructions saying whether they they should be proven or, instead, refuted. Yet, as we now know, in either case the final argument produced had better be not just convincing but actually verifiable in as much detail as our need for eliminating risk might require. For those who do not happen to have direct access to the realm of mathematical truths, the modern field of formalized mathematics has quite a few lessons to contribute, and one might pay heed to what it has to say, for instance, about: the importance of employing proof strategies; the fine control of automation in unraveling the structure of a certain proof object; reasoning forward from the givens and backward from the goals, in developing proof scripts; knowing when and how definitions and identities apply in a helpful way, and when they do not apply; seeing proofs [and refutations] as dynamical objects, not reflected by the static derivation trees that Proof Theory wants them to be. I believe that the great challenge for teachers and learners resides currently less on the availability of suitable generic tools than in combining them wisely in view of their preferred education paradigms and introducing them in a way that best fits their specific aims, possibly with the help of intelligent online interactive tutoring systems. As a proof of concept, a computerized proof assistant that makes use of several successful tools already freely available on the market and that takes into account some of the above findings about teaching and learning Logic is hereby introduced. To fully account for our informed intuitions on the subject it would seem that a little bit extra technology would still be inviting, but no major breakthrough is really needed: We are talking about tools that are already within our reach to develop, as the fruits of collaborative effort.


title: Algorithm for Solving Massively Underdefined Systems of Multivariate Quadratic Equations over Finite Fields

abstract: Solving systems of m multivariate quadratic equations in n variables (MQ-problem) over finite fields is NP-hard. The security of many cryptographic systems is based on this problem. Up to now, the best algorithm for solving the underdefined MQ-problem is Hiroyuki Miura et al.'s algorithm, which is a polynomial-time algorithm when \[n \ge m(m + 3)/2\] and the characteristic of the field is even. In order to get a wider applicable range, we reduce the underdefined MQ-problem to the problem of finding square roots over finite field, and then combine with the guess and determine method. In this way, the applicable range is extended to \[n \ge m(m + 1)/2\], which is the widest range until now. Theory analysis indicates that the complexity of our algorithm is \[O(q{n^\omega }m{(\log {\kern 1pt} {\kern 1pt} q)^2}){\kern 1pt} \] when characteristic of the field is even and \[O(q{2^m}{n^\omega }m{(\log {\kern 1pt} {\kern 1pt} q)^2})\] when characteristic of the field is odd, where \[2 \le \omega \le 3\] is the complexity of Gaussian elimination.


title: Easyprove: a tool for teaching precise reasoning

abstract: Teaching precise mathematical reasoning can be very hard. It is very easy for a student to make a subtle mistake in a proof which invalidates it, but it is often hard for the teacher to pinpoint and explain the problem in the (often chaotically written) student's proof. We present Easyprove, an interactive proof assistant aimed at first year computer science students and high school students, intended as a supplementary tool for teaching logical reasoning. The system is a Web application with a natural, mouse-oriented user interface.


title: Presentation of Classical Propositional Tableaux on Program Design Premises

abstract: We propose a presentation of classical propositional tableaux elaborated by application of methods that are noteworthy in program design, namely program derivation with separation of concerns. We start by deriving from a straightforward specification an algorithm given as a set of recursive equations for computing all models of a finite set of formulae. Thereafter we discuss the employment of data structures, mainly with regard to an easily traceable manual execution of the algorithm. This leads to the kinds of trees given usually as constituting the tableaux. The whole development strives at avoiding gaps, both of logical and motivational nature.


title: RAESON: A Tool for Reasoning Tasks Driven by Interactive Visualization of Logical Structure

abstract: The paper presents a software tool for analysis and interactive engagement in various logical reasoning tasks. A first feature of the program consists in providing an interface for working with logic-specific repositories of formal knowledge. A second feature provides the means to intuitively visualize and interactively generate the underlying logical structure that propels customary logical reasoning tasks. Starting from this we argue that both aspects have didactic potential and can be integrated in teaching activities to provide an engaging learning experience.


title: How to prove it in Natural Deduction: A Tactical Approach

abstract: The motivation for this paper comes out of our experience with teaching natural deduction (ND) and with the way this formal system is implemented by the \textsc{Coq} proof assistant, namely by means of so-called tactics, which are heuristics that transform a goal formula into a sequence of subgoals whose provability implies that of the original formula. We aim at capturing some of these tactics into a system of ND for minimal logic. Our goal is twofold: formal and didactic. The former delivers a formal system with its underlying heuristics to build proofs, which in turn serves our latter purpose, that of making an ideal system for the teaching of ND at an undergraduate level in a computer science program.


title: Why teach an introductory course in Mathematical Logic in the Philosophy curriculum?

abstract: This paper tries to justify the relevance of an introductory course in Mathematical Logic in the Philosophy curriculum for analyzing philosophical arguments in natural language. It is argued that the representation of the structure of natural language arguments in Freeman's diagramming system can provide an intuitive foundation for the inferential processes involved in the use of First Order Logic natural deduction rules.


title: Transitioning to Proof

abstract: This paper describes some strategies used in a `transition' course. Such courses help undergraduate mathematics majors move from learning procedures to learning to function as critical mathematicians in order to understand and work with abstract concepts. One of the co-authors of this paper was a student of Leon Henkin. His influence on her helped shape the strategies used in the course, and is described at the end of the paper.


title: Teaching natural deduction in the right order with Natural Deduction Planner

abstract: We describe a strategy-based approach to teaching natural deduction using a notation that emphasises the order in which deductions are constructed, together with a {\LaTeX} package and Java app to aid in the production of teaching resources and classroom demonstrations. Our approach is aimed at students with little exposure to mathematical method and has been developed while teaching undergraduate classes for philosophy students over the last ten years.


title: ARG: Virtual Tool to Teaching Argumentation Theory

abstract: Researchers look for new virtual instruments that can improve and maximize traditional forms of teaching and learning. In this paper, we present the ARG system, a virtual tool developed to help the teaching/learning process in argumentation theory, especially in the field of Law. ARG was developed based on Araucaria by Reed and Rowe, Room 5 by Ronald P. Loui, as well on systems such as Argue!-System and ArguMed by Bart Verheij. ARG is a platform for online collaboration and applies the theory of Stephen Toulmin to produce arguments that are more concise, precise, minimally structured and more resistant to criticism.


title: Logic considered fun

abstract: This report describes the development and use of an online teaching tool giving students exercises in logical modelling, or \emph{formalisation} as it is called in the older literature. The original version of the site, `Logic for Fun', dates from 2001, though it was little used except by small groups of students at the Australian National University. It is currently in the process of being replaced by a new version, free to all Internet users, intended to be promoted widely as a useful addition to both online and traditional logic courses.


abstract: Understanding the notion of a model is not always easy in logic courses. Hence, tools such as Euler diagrams are frequently applied as informal illustrations of set-theoretical models. We formally investigate Euler diagrams as an introduction to set-theoretical models. We show that the model-theoretic notions of validity and invalidity are characterized by Euler diagrams, and, in particular, that model construction can be described as a manipulation of Euler diagrams.


title: TryLogic tutorial: an approach to Learning Logic by proving and refuting

abstract: Aiming to offer a framework for blended learning to the teaching of proof theory, the present paper describes an interactive tutorial, called \textsc{TryLogic}, teaching how to solve logical conjectures either by proofs or refutations. The paper also describes the integration of our infrastructure with the Virtual Learning Environment \texttt{Moodle} through the IMS Learning Tools Interoperability specification, and evaluates the tool we have developed.


title: Logic Modelling

abstract: This is a reflection on the author's experience in teaching logic at the graduate level in a computer science department. The main lesson is that model building and the process of modelling must be placed at the centre stage of logic teaching. Furthermore, effective use must be supported with adequate tools. Finally, logic is the methodology underlying many applications, it is hence paramount to pass on its principles, methods and concepts to computer science audiences.


title: Teaching Logic to Information Systems Students: Challenges and Opportunities

abstract: In contrast to Computer Science, where the fundamental role of Logic is widely recognized, it plays a practically non-existent role in Information Systems curricula. In this paper we argue that instead of Logic's exclusion from the IS curriculum, a significant adaptation of the contents, as well as teaching methodologies, is required for an alignment with the needs of IS practitioners. We present our vision for such adaptation and report on concrete steps towards its implementation in the design and teaching of a course for graduate IS students at the University of Haifa. We discuss the course plan and present some data on the students' feedback on the course.


title: Quantum phase transition triggering magnetic BICs in graphene

abstract: Graphene hosting a pair of collinear adatoms in the phantom atom configuration has pseudogap with cubic scaling on energy, $\Delta\propto|\varepsilon|^{3}$ which leads to the appearance of spin-degenerate bound states in the continuum (BICs) [Phys. Rev. B 92, 045409 (2015)]. In the case when adatoms are locally coupled to a single carbon atom the pseudogap scales linearly with energy, which prevents the formation of BICs. In this Letter, we explore the effects of non-local coupling characterized by the Fano factor of interference $q_{0},$ tunable by changing the slope of the Dirac cones in the graphene band-structure. We demonstrate that three distinct regimes can be identified: i) for $q_{0}<q_{c1}$ (critical point) a mixed pseudogap $\Delta\propto|\varepsilon|,|\varepsilon|^{2}$ appears yielding a phase with spin-degenerate BICs; ii) near $q_{0}=q_{c1}$ when $\Delta\propto|\varepsilon|^{2}$ the system undergoes a quantum phase transition in which the new phase is characterized by magnetic BICs and iii) at a second critical value $q_{0}>q_{c2}$ the cubic scaling of the pseudogap with energy $\Delta\propto|\varepsilon|^{3}$ characteristic to the phantom atom configuration is restored and the phase with non-magnetic BICs is recovered. The phase with magnetic BICs can be described in terms of an effective intrinsic exchange field of ferromagnetic nature between the adatoms mediated by graphene monolayer. We thus propose a new type of quantum phase transition resulting from the competition between the states characterized by spin-degenerate and magnetic BICs.


title: Zappa-Sz\'ep product groupoids and C*-blends

abstract: We study the external and internal Zappa-Sz\'ep product of topological groupoids. We show that under natural continuity assumptions the Zappa-Sz\'ep product groupoid is \'etale if and only if the individual groupoids are \'etale. In our main result we show that the C*-algebra of a locally compact Hausdorff \'etale Zappa-Sz\'ep product groupoid is a C*-blend, in the sense of Exel, of the individual groupoid C*-algebras. We finish with some examples, including groupoids built from *-commuting endomorphisms, and skew product groupoids.


title: Perturbation analysis on large band gap bowing of dilute nitride semiconductors

abstract: Contrary to the conventional empirical law, band gap of dilute nitride semiconductors decreases with nitrogen concentration. In spite of a number of investigations, origin of this "large band gap bowing", is still under debate. In order to elucidate this phenomenon, we investigate change of band edge energies of GaN$_x$As$_{1-x}$ due to nitrogen by using the perturbation theory. It is found that energy shift of conduction band edge is arising from mixing between $\Gamma$- and L-states and/or $\Gamma$- and X-states induced by displacement of Ga atoms around N. We also found that the valence band edge state shows upward shift in spite of negative potential of nitrogen. These results are well understood from character of the wavefunctions and symmetry of the perturbation potential.


title: Dynamic Sleep Control in Green Relay-Assisted Networks for Energy Saving and QoS Improving

abstract: We study the relay station (RS) sleep control mechanism targeting on reducing energy consumption while improving users' quality of service (QoS) in green relay-assisted cellular networks, where the base station (BS) is powered by grid power and the RSs are powered by renewable energy. By adopting green RSs, the grid power consumption of the BS is greatly reduced. But due to the uncertainty and stochastic characteristics of the renewable energy, power supply for RSs is not always sufficient. Thus the harvested energy needs to be scheduled appropriately to cater to the dynamic traffic so as to minimize the energy saving in the long term. An optimization problem is formulated to find the optimal sleep ratio of RSs to match the time variation of energy harvesting and traffic arrival. To fully use the renewable energy, green-RS-first principle is adopted in the user association process. The optimal RS sleeping policy is obtained through dynamic programming (DP) approach, which divides the original optimization problem into per-stage subproblems. A reduced DP algorithm and a greedy algorithm are further proposed to greatly reduce the computation complexity. By simulations, the reduced DP algorithm outperforms the greedy algorithm in achieving satisfactory energy saving and QoS performance.


title: Observation of particle acceleration in laboratory magnetosphere

abstract: The self-organization of magnetospheric plasma is brought about by inward diffusion of magnetized particles. Not only creating a density gradient toward the center of a dipole magnetic field, the inward diffusion also accelerates particles and provides a planetary radiation belt with high energy particles. Here, we report the first experimental observation of a 'laboratory radiation belt' created in the Ring Trap 1 (RT-1) device. By spectroscopic measurement, we found an appreciable anisotropy in the ion temperature, proving the betatron acceleration mechanism which heats particles in the perpendicular direction with respect to the magnetic field when particles move inward. The energy balance model including the heating mechanism explains the observed ion temperature profile.


title: NLO QCD + NLO EW corrections to $WZZ$ productions with leptonic decays at the LHC

abstract: Precision tests of the Standard Model (SM) require not only accurate experiments, but also precise and reliable theoretical predictions. Triple vector boson production provides a unique opportunity to investigate the quartic gauge couplings and check the validity of the gauge principle in the SM. Since the tree-level predictions alone are inadequate to meet this demand, the next-to-leading order (NLO) calculation becomes compulsory. In this paper, we calculate the NLO QCD + NLO electroweak (EW) corrections to the $W^{\pm}ZZ$ productions with subsequent leptonic decays at the $14~{\rm TeV}$ LHC by adopting an improved narrow width approximation which takes into account the off-shell contributions and spin correlations from the $W^{\pm}$- and $Z$-boson leptonic decays. The NLO QCD+EW corrected integrated cross sections for the $W^{\pm}ZZ$ productions and some kinematic distributions of final products are provided. The results show that both the NLO QCD and NLO EW corrections are significant. In the jet-veto event selection scheme with $p_{T,jet}^{cut} = 50~ {\rm GeV}$, the NLO QCD+EW relative corrections to the integrated cross section are $20.5\%$ and $31.1\%$, while the genuine NLO EW relative corrections are $-5.42\%$ and $-4.58\%$, for the $W^+ZZ$ and $W^-ZZ$ productions, respectively. We also investigate the theoretical dependence of the integrated cross section on the factorization/renormalization scale, and find that the scale uncertainty is underestimated at the LO due to the fact that the strong coupling $\alpha_s$ is not involved in the LO matrix elements.


title: Using coherent X-rays to directly measure the propagation velocity of defects during thin film deposition

abstract: The properties of artificially grown thin films are often strongly affected by the dynamic relationship between surface growth processes and subsurface structure. Coherent mixing of X-ray signals promises to provide an approach to better understand such processes. Here, we demonstrate the continuously variable mixing of surface and bulk scattering signals during real-time studies of sputter deposition of a-Si and a-WiS2 films by controlling the X-ray penetration and escape depths in coherent grazing incidence small angle X-ray scattering (Co-GISAXS). Under conditions where the X-ray signal comes from both the growth surface and the thin film bulk, oscillations in temporal correlations arise from coherent interference between scattering from stationary bulk features and from the advancing surface. We also observe evidence that elongated bulk features propagate upward at the same velocity as the surface. Additionally, a highly surface sensitive mode is demonstrated that can access the surface dynamics independently of the subsurface structure.


title: Transmission and Goos-H\"anchen like Shifts through a Graphene Double Barrier in an Inhomogeneous Magnetic Field

abstract: We studied the transport properties of electrons in graphene as they are scattered by a double barrier potential in the presence of an inhomogeneous magnetic field. We computed the transmission coefficient and Goos-H\"anchen like shifts for our system and noticed that transmission is not allowed for certain range of energies. In particular, we found that, in contrast to the electrostatic barriers, the magnetic barriers are able to confine Dirac fermions. We also established some correlation between the electronic transmission properties of Dirac fermions with the Goos-H\"anchen like shifts, as reflected in the numerical data.


title: Planar and curved droplet networks

abstract: We study how a two-dimensional square sheet of droplets evolves to the preferred triangular lattice. The rearrangement can be induced either by an impurity seed for flat sheets or by curving the sheet. We analyze the propagation of transformation fronts and the spatial reordering subsequent to the initial perturbation.


title: The Role of Interspecies Interactions in the Preparation of a Low-entropy Gas of Polar Molecules in a Lattice

abstract: The preparation of a quantum degenerate gas of heteronuclear molecules has been an outstanding challenge. We use path integral Quantum Monte Carlo simulations to understand the role of interactions and finite temperature effects in the protocol currently employed to adiabatically prepare a low-entropy gas of polar molecules in a lattice starting from an ultracold Bose-Fermi mixture. We find that interspecies interactions affect the final temperature of the mixture after the adiabatic loading procedure and detrimentally limit the molecular peak filling. Our conclusions are in agreement with recent experimental measurements [1] and therefore are of immediate relevance for the myriad experiments that aim to form molecules from dual-species atomic gases.


title: Lifting GIS Maps into Strong Geometric Context for Scene Understanding

abstract: Contextual information can have a substantial impact on the performance of visual tasks such as semantic segmentation, object detection, and geometric estimation. Data stored in Geographic Information Systems (GIS) offers a rich source of contextual information that has been largely untapped by computer vision. We propose to leverage such information for scene understanding by combining GIS resources with large sets of unorganized photographs using Structure from Motion (SfM) techniques. We present a pipeline to quickly generate strong 3D geometric priors from 2D GIS data using SfM models aligned with minimal user input. Given an image resectioned against this model, we generate robust predictions of depth, surface normals, and semantic labels. We show that the precision of the predicted geometry is substantially more accurate other single-image depth estimation methods. We then demonstrate the utility of these contextual constraints for re-scoring pedestrian detections, and use these GIS contextual features alongside object detection score maps to improve a CRF-based semantic segmentation framework, boosting accuracy over baseline models.


title: A New Method for Triangular Mesh Generation

abstract: Computational mathematics plays an increasingly important role in computational fluid dynamics (CFD). The aeronautics and aerospace re- search community is working on next generation of CFD capacity that is accurate, automatic, and fast. A key component of the next generation of CFD is a greatly enhanced capacity for mesh generation and adaptivity of the mesh according to solution and geometry. In this paper, we propose a new method that generates triangular meshes on domains of curved boundary. The method deforms a Cartesian mesh that covers the domain to generate a mesh with prescribed boundary nodes. The deformation fields are generated by a system of divergence and curl equations which are solved effectively by the least square finite element method.


title: Two-loop current-current operator contribution to the non-leptonic QCD penguin amplitude

abstract: The computation of direct CP asymmetries in charmless B decays at next-to-next-to-leading order (NNLO) in QCD is of interest to ascertain the short-distance contribution. Here we compute the two-loop penguin contractions of the current-current operators Q_{1,2} and provide a first estimate of NNLO CP asymmetries in penguin-dominated b -> s transitions.


title: Http-Burst: Improving HTTP Efficiency in the Era of Bandwidth Hungry Web Applications

abstract: The Hypertext Transfer Protocol (HTTP), a key building block of the World Wide Web, has succeeded to enable information exchange worldwide. Since its first version in 1996, HTTP/1.0, the average number of inlined objects and average total bytes per webpage have been increasing significantly for desktops and mobiles, from 1-10 objects in 1996 to more than 100 objects in June 2014. Even if the retrieving of inlined objects can be parallelized as a given Hypertext Markup Language (HTML) document is streamed, a maximum number of connections is allocated, and thus as the number of inlined objects increases, the overall webpage load duration grows, and the HTTP servers loading also gets higher. To overcome this issue, we propose a new HTTP method called BURST, which allows to retrieve the missing inlined objects of a webpage efficiently by requesting sets of web objects. We experimentally demonstrate the potential via a proof-of-concept demonstration, by comparing the regular HTTP to proposed HTTP-Burst using a virtual private server and real HTTP client and server over the Internet. The results indicate a latency reduction of webpage load duration compared to HTTP as high as 52 % under the considered configurations.


title: CP-stability and the local lifting property

abstract: The purpose of this note is to discuss the local lifting property in terms of an equivalent approximation-type property, CP-stability, which was formulated by the author and Isaac Goldbring for the purposes of studying the continuous model theory of C$^*$-algebras and operator systems.


title: Alchemical Grid Dock (AlGDock): Binding Free Energy Calculations between Flexible Ligands and Rigid Receptors

abstract: Alchemical Grid Dock (AlGDock) is open-source software designed to compute the binding potential of mean force (BPMF) - the binding free energy between a flexible ligand and a rigid receptor - for a small organic ligand and a biological macromolecule. Multiple BPMFs can be used to rigorously compute binding affinities between flexible partners. AlGDock uses replica exchange between thermodynamic states at different temperatures and receptor-ligand interaction strengths. Receptor-ligand interaction energies are represented by interpolating precomputed grids. Thermodynamic states are adaptively initialized and adjusted on-the-fly to maintain replica exchange rates. In demonstrative calculations, when the bound ligand is treated as fully solvated, AlGDock estimates BPMFs with a precision within 4 kT in 65% and within 8 kT for 91% of systems. It correctly identifies the native binding pose in 83% of simulations. Performance is sometimes limited by subtle differences in the important configuration space of sampled and targeted thermodynamic states.


title: Identifying exotic hidden-charm pentaquarks

abstract: The LHCb Collaboration at the Large Hadron Collider at CERN discovered two pentaquark states $P_c(4380)$ and $P_c(4450)$. These two hidden-charm states are interpreted as the loosely bound $\Sigma_c(2455)D^*$ and $\Sigma_c^*(2520)D^*$ molecular states in the boson exchange interaction model, which provides an explanation for why the experimental width of $P_c(4450)$ is much narrower than that of $P_c(4380)$. The discovery of the new resonances $P_c(4380)$ and $P_c(4450)$, indeed, opens a new page for hadron physics. The partners of $P_c(4380)$ and $P_c(4450)$ should be pursued in future experiments.


title: Infinite Orders and Non-$D$-finite Property of $3$-Dimensional Lattice Walks

abstract: Recently, Bostan and his coauthors investigated lattice walks restricted to the non-negative octant $\mathbb{N}^3$. For the $35548$ non-trivial models with at most six steps, they found that many models associated to a group of order at least $200$ and conjectured these groups were in fact infinite groups. In this paper, we first confirm these conjectures and then consider the non-$D$-finite property of the generating function for some of these models.


title: Analytic Solution of Dirac Equation for Extended Cornell Potential Using the Nikiforov-Uvarov Method

abstract: The extended Cornell potential which the harmonic oscillator potential is included in the original Cornell potential. The Dirac equation is solved by reducing the Dirac equation to the form of Schrodinger equation. The Nikiforov-Uvarov method is applied to obtain the energy eigenvalues and corresponding wave functions. The obtained results are important to calculate many characteristics of fermion relativistic particles.


title: Projected Wirtinger Gradient Descent for Low-Rank Hankel Matrix Completion in Spectral Compressed Sensing

abstract: This paper considers reconstructing a spectrally sparse signal from a small number of randomly observed time-domain samples. The signal of interest is a linear combination of complex sinusoids at $R$ distinct frequencies. The frequencies can assume any continuous values in the normalized frequency domain $[0,1)$. After converting the spectrally sparse signal recovery into a low rank structured matrix completion problem, we propose an efficient feasible point approach, named projected Wirtinger gradient descent (PWGD) algorithm, to efficiently solve this structured matrix completion problem. We further accelerate our proposed algorithm by a scheme inspired by FISTA. We give the convergence analysis of our proposed algorithms. Extensive numerical experiments are provided to illustrate the efficiency of our proposed algorithm. Different from earlier approaches, our algorithm can solve problems of very large dimensions very efficiently.


title: Numerical Solution of the 1D-Schr\"odinger Equation with Pseudo-Delta Barrier Using Numerov Method

abstract: In this work, aiming to solve numerically the Schr\"odinger equation with a Dirac delta function potential, we use the Numerov method to solve the time independent 1D-Schr\"odinger equation with potentials of the form V(x) + deltap(x), where deltap(x) is a pseudo-delta function, a very high and thin barrier. The numerical results show good agreement with analytical results found in the literature. Furthermore, we show the numerical solutions of a system formed by three delta function potentials inside of an infinite quantum well and the harmonic potential with position dependent mass and a delta barrier in the center.


title: Microscopic derivation of the quadrupole collective Hamiltonian for shape coexistence/mixing dynamics

abstract: Assuming that the time-evolution of the self-consistent mean field is determined by five pairs of collective coordinate and collective momentum, we microscopically derive the collective Hamiltonian for low-frequency quadrupole modes of excitation. We show that the five-dimensional collective Schr\"odinger equation is capable of describing large-amplitude quadrupole shape dynamics seen as shape coexistence/mixing phenomena. We focus on basic ideas and recent advances of the approaches based on the time-dependent mean-field theory, but relations to other time-independent approaches are also briefly discussed.


title: Transition fronts in nonlocal Fisher-KPP equations in time heterogeneous media

abstract: The present paper is devoted to the study of transition fronts of nonlocal Fisher-KPP equations in time heterogeneous media. We first construct transition fronts with prescribed interface location functions, which are natural generalizations of front location functions in homogeneous media. It it shown that these transition fronts have exact decaying rates as the space variable tends to infinity. Then, by the general results on space regularity of transition fronts of nonlocal evolution equations proven in the authors' earlier work (\cite{ShSh14-4}), these transition fronts are continuously differentiable in space. We show that their space partial derivatives have exact decaying rates as the space variable tends to infinity. Finally, we study the asymptotic stability of transition fronts. It is shown that transition fronts attract those solutions whose initial data decays as fast as transition fronts near infinity and essentially above zero near negative infinity.


title: Existence, uniqueness and stability of transition fronts of nonlocal equations in time heterogeneous bistable media

abstract: The present paper is devoted to the study of existence, uniqueness and stability of transition fronts of nonlocal dispersal evolution equations in time heterogeneous media of bistable type under the unbalanced condition. We first study space nonincreasing transition fronts and prove various important qualitative properties, including uniform steepness, stability, uniform stability and exponential decaying estimates. Then, we show that any transition front, after certain space shift, coincides with a space nonincreasing transition front (if it exists), which implies the uniqueness, up to space shifts, and monotonicity of transition fronts provided that a space nonincreasing transition front exists. Moreover, we show that a transition front must be a periodic traveling wave in periodic media and asymptotic speeds of transition fronts exist in uniquely ergodic media. Finally, we prove the existence of space nonincreasing transition fronts, whose proof does not need the unbalanced condition.


title: Controlling Chirality of Entropic Crystals

abstract: Colloidal crystal structures with complexity and diversity rivaling atomic and molecular crystals have been predicted and obtained for hard particles by entropy maximization. However, so far homochiral colloidal crystals, which are candidates for photonic metamaterials, are absent. Using Monte Carlo simulations we show that chiral polyhedra exhibiting weak directional entropic forces self-assemble either an achiral crystal or a chiral crystal with limited control over the crystal handedness. Building blocks with stronger faceting exhibit higher selectivity and assemble a chiral crystal with handedness uniquely determined by the particle chirality. Tuning the strength of directional entropic forces by means of particle rounding or the use of depletants allows for reconfiguration between achiral and homochiral crystals. We rationalize our findings by quantifying the chirality strength of each particle, both from particle geometry and potential of mean force and torque diagrams.


title: A Flexible Coordinate Descent Method

abstract: We present a novel randomized block coordinate descent method for the minimization of a convex composite objective function. The method uses (approximate) partial second-order (curvature) information, so that the algorithm performance is more robust when applied to highly nonseparable or ill conditioned problems. We call the method Flexible Coordinate Descent (FCD). At each iteration of FCD, a block of coordinates is sampled randomly, a quadratic model is formed about that block and the model is minimized \emph{approximately/inexactly} to determine the search direction. An inexpensive line search is then employed to ensure a monotonic decrease in the objective function and acceptance of large step sizes. We present several high probability iteration complexity results to show that convergence of FCD is guaranteed theoretically. Finally, we present numerical results on large-scale problems to demonstrate the practical performance of the method.


title: Dark Spinors Hawking Radiation in String Theory Black Holes

abstract: The Hawking radiation spectrum of Kerr-Sen axion-dilaton black holes is derived, in the context of dark spinors tunnelling across the horizon. Since a black hole has a well defined temperature, it should radiate in principle all the standard model particles, similar to a black body at that temperature. We investigate the tunnelling of mass dimension one spin-1/2 dark fermions, that are beyond the standard model and are prime candidates to the dark matter. Their interactions with the standard model matter and gauge fields are suppressed by at least one power of unification scale, being restricted just to the Higgs field and to the graviton likewise. The tunnelling method for the emission and absorption of mass dimension one particles across the event horizon of Kerr-Sen axion-dilaton black holes is shown here to provide further evidence for the universality of black hole radiation, further encompassing particles beyond the standard model.


title: New Variational Method of Grid Generation with Prescribed Jacobian Determinant and Prescribed Curl

abstract: Adaptive grid generation is an active research topic for numer- ical solution of differential equations. In this paper, we propose a variational method which generates transformations with prescribed Jacobian determinant and curl. Then we use this transformation to achieve adaptive grid generation task, and show the importance of curl in a transformation.


title: Computational Capacity and Energy Consumption of Complex Resistive Switch Networks

abstract: Resistive switches are a class of emerging nanoelectronics devices that exhibit a wide variety of switching characteristics closely resembling behaviors of biological synapses. Assembled into random networks, such resistive switches produce emerging behaviors far more complex than that of individual devices. This was previously demonstrated in simulations that exploit information processing within these random networks to solve tasks that require nonlinear computation as well as memory. Physical assemblies of such networks manifest complex spatial structures and basic processing capabilities often related to biologically-inspired computing. We model and simulate random resistive switch networks and analyze their computational capacities. We provide a detailed discussion of the relevant design parameters and establish the link to the physical assemblies by relating the modeling parameters to physical parameters. More globally connected networks and an increased network switching activity are means to increase the computational capacity linearly at the expense of exponentially growing energy consumption. We discuss a new modular approach that exhibits higher computational capacities and energy consumption growing linearly with the number of networks used. The results show how to optimize the trade-off between computational capacity and energy efficiency and are relevant for the design and fabrication of novel computing architectures that harness random assemblies of emerging nanodevices.


title: Towards exotic hidden-charm pentaquarks in QCD

abstract: Inspired by $P_c(4380)$ and $P_c(4450)$ recently observed by LHCb, a QCD sum rule investigation is performed, by which they can be identified as exotic hidden-charm pentaquarks composed of an anti-charmed meson and a charmed baryon. Our results suggest that $P_c(4380)$ and $P_c(4450)$ have quantum numbers $J^P=3/2^-$ and $5/2^+$, respectively. Furthermore, two extra hidden-charm pentaqurks with configurations $\bar{D}\Sigma_c^*$ and $\bar{D}^*\Sigma_c^*$ are predicted, which have spin-parity quantum numbers $J^P=3/2^-$ and $J^P=5/2^+$, respectively. As an important extension, the mass predictions of hidden-bottom pentaquarks are also given. Searches for these partners of $P_c(4380)$ and $P_c(4450)$ are especially accessible at future experiments like LHCb and BelleII.


title: Mechanosensitivity of the IInd kind: TGFb mechanism of cell sensing the substrate stiffness

abstract: Cells can sense forces applied to them, but also the stiffness of their environment. These are two different phenomena, and here we investigate the mechanosensitivity of the IInd kind: how the cell can measure an elastic modulus at a single point of adhesion -- and how the cell can receive and interpret the chemical signal released from the sensor. Our model uses the example of large latent complex of TGFb as a sensor. Stochastic theory gives the rate of breaking of latent complex, which initiates the signaling feedback loop after the active TGFb release and leads to a change of cell phenotype driven by the smooth muscle actin. We investigate the dynamic and steady-state behaviours of the model, comparing them with experiments. In particular, we analyse the timescale of approach to the steady state, the stability of the non-linear dynamical system, and how the steady-state concentrations of the key markers vary depending on the elasticity of the substrate. We discover a crossover region for values of substrate elasticity closely corresponding to that of the fibroblast to myofibroblast transition. We suggest that the cell could actively vary the parameters of its dynamic feedback loop to `choose' the position of the transition region and the range of substrate elasticity that it can detect. In this way, the theory offers the unifying mechanism for a variety of phenomena, such as the myofibroblast conversion in fibrosis of wounds and lungs and smooth muscle cell dysfunction in cardiac disease.


title: A New Framework for Distributed Submodular Maximization

abstract: A wide variety of problems in machine learning, including exemplar clustering, document summarization, and sensor placement, can be cast as constrained submodular maximization problems. A lot of recent effort has been devoted to developing distributed algorithms for these problems. However, these results suffer from high number of rounds, suboptimal approximation ratios, or both. We develop a framework for bringing existing algorithms in the sequential setting to the distributed setting, achieving near optimal approximation ratios for many settings in only a constant number of MapReduce rounds. Our techniques also give a fast sequential algorithm for non-monotone maximization subject to a matroid constraint.


title: Level crossing, spin structure factor and quantum phases of the frustrated spin-1/2 chain with first and second neighbor exchange

abstract: The spin-1/2 chain with isotropic Heisenberg exchange $J_1$, $J_2 > 0$ between first and second neighbors is frustrated for either sign of J1. Its quantum phase diagram has critical points at fixed $J_1/J_2$ between gapless phases with nondegenerate ground state (GS) and quasi-long-range order (QLRO) and gapped phases with doubly degenerate GS and spin correlation functions of finite range. In finite chains, exact diagonalization (ED) estimates critical points as level crossing of excited states. GS spin correlations enter in the spin structure factor $S(q)$ that diverges at wave vector $q_m$ in QLRO($q_m$) phases with periodicity $2\pi/q_m$ but remains finite in gapped phases. $S(q_m)$ is evaluated using ED and density matrix renormalization group (DMRG) calculations. Level crossing and the magnitude of $S(q_m)$ are independent and complementary probes of quantum phases, based respectively on excited and ground states. Both indicate a gapless QLRO($\pi/2$) phase between $-1.2 < J_1/|J_2| < 0.45$. Numerical results and field theory agree well for quantum critical points at small frustration $J_2$ but disagree in the sector of weak exchange $J_1$ between Heisenberg antiferromagnetic chains on sublattices of odd and even-numbered sites.


title: Some measure-theoretic properties of U-statistics applied in statistical physics

abstract: This paper investigates the relationship between various measure-theoretic properties of U-statistics with fixed sample size $N$ and the same properties of their kernels. Specifically, the random variables are replaced with elements in some measure space $(\Lambda; dx)$, the resultant real-valued functions on $\Lambda^N$ being called generalized $N$-means. It is shown that a.e. convergence of sequences, measurability, essential boundedness and, under certain conditions, integrability with respect to probability measures of generalized $N$-means and their kernels are equivalent. These results are crucial for the solution of the inverse problem in classical statistical mechanics in the canonical formulation.


title: Superconductivity in La1-xSmxO0.5F0.5BiS2 (x = 0.2, 0.8) under hydrostatic pressure

abstract: We have investigated the pressure effect on the newly discovered samarium doped La1-xSmxO0.5F0.5BiS2 superconductors. More than threefold increase in Tc (10.3 K) is observed with external pressure (at ~1.74 GPa at a rate of 4.08 K/GPa)) for x = 0.2 composition. There is a concomitant large improvement in the quality of the superconducting transition. Beyond this pressure Tc decreases monotonously at the rate of -2.09 K/GPa. In the x = 0.8 sample, we do not observe any enhancement in Tc with application of pressure (up to 1.76 GPa). The semiconducting behavior observed in the normal state resistivity of both of the samples is significantly subdued with the application of pressure which, if interpreted invoking thermal activation process, implies that the activation energy gap of the carriers is significantly reduced with pressure. We believe these observations should generate further interest in the La1-xSmxO0.5F0.5BiS2 superconductors.


title: Quartic interaction vertex in the massive integer higher spin field theory in a constant electromagnetic field

abstract: We consider the massive integer higher spin fields coupled to an external constant electromagnetic field in flat space of arbitrary dimension and find a gauge invariant quartic interaction vertex which is quadratic in dynamical higher spin field and quadratic in external field. Construction of the vertex is based on the BRST approach to higher spin filed theory where no off-shell constraints on the fields and on the gauge parameters are imposed from the very beginning (unconstrained formulation).


title: Visualizing revivals and fractional revivals in a Kerr medium using optical tomogram

abstract: We theoretically study the optical tomography of the time evolved states generated by the evolution of different kinds of initial wave packets in a Kerr medium. Exact analytical expression for the optical tomogram of the quantum state at any instant during the evolution of a generic initial wave packet is derived in terms of Hermite polynomials. Time evolution of the optical tomogram is discussed for three kinds of initial states: a coherent state, an $m$-photon-added coherent state, and even and odd coherent states. We show the manifestation of revival and fractional revivals in the optical tomograms of the time evolved states. We find that the optical tomogram of the time evolved state at the instants of fractional revivals shows structures with sinusoidal strands. The number of sinusoidal strands in the optical tomogram of the time evolved state at $l$-sub-packet fractional revivals is $l$ times the number of sinusoidal strands present in the optical tomogram of the initial state. We have also investigated the effect of decoherence on the optical tomograms of the states at the instants of fractional revivals for the initial states considered above. We consider amplitude decay and phase damping models of decoherence, and show the direct manifestations of decoherence in the optical tomogram.


title: New Method for Probing Dark Energy using the Rees-Sciama Effect

abstract: The integrated Sachs-Wolfe (ISW) effect provides us the information of the time evolution of gravitational potential. The cross-correlation between the cosmic microwave background (CMB) and the large scale structure (LSS) is known as a promising way to extract the ISW effect. Compared to CMB, the matter fluctuation can grow non-linearly and this is represented in the gravitational potential. Compared to the linear ISW effect, this non-linear ISW effect known as the Rees-Sciama (RS) effect shows the unique behavior by changing the anti-correlated cross correlation between the CMB and the mass tracer into the positively correlated cross correlation. We show that the dependence of this flipping scale on dark energy models and it might be used as a new method to investigate dark energy models.


title: On the norm of the centralizers of a group

abstract: For any group G, let C(G) denote the intersection of the normal- izers of centralizers of all elements of G. Set C0 = 1. Define Ci+1(G)=Ci(G) = C(G=Ci(G)) for i ? 0. By C1(G) denote the terminal term of the ascending series. In this paper, we show that a finitely generated group G is nilpotent if and only if G = Cn(G) for some positive integer n.


title: On Probabilistic Completeness of Probabilistic Cell Decomposition

abstract: Probabilistic Cell Decomposition (PCD) is a probabilistic path planning method combining the concepts of approximate cell decomposition with probabilistic sampling. It has been shown that the use of lazy evaluation techniques and supervised sampling in important areas result in a high performance path planning method. Even if it was postulated before that PCD is probabilistically complete, we present a detailed proof of probabilistic completeness here for the first time.


title: Flux compactifications in Einstein-Born-Infeld theories

abstract: We investigate the flux compactification mechanism in simple toy models of Einstein-Born-Infeld theories. These are the direct generalizations of the Einstein-Maxwell flux compactifications that recently gained fame as a toy model for tunneling in the landscape. Our investigation reveals that the Born-Infeld form does not significantly modify the qualitative result of the Einstein-Maxwell theory. for the case of Einstein-Higgs theory, however, we found that the effect of Born-Infeld nonlinearity is to render all q>1 extradimensional compactification unstable against semiclassical tunneling to nothing.


title: Optimization of Code Rates in SISOME Wiretap Channels

abstract: We propose a new framework for determining the wiretap code rates of single-input single-output multi-antenna eavesdropper (SISOME) wiretap channels when the capacity of the eavesdropper's channel is not available at the transmitter. In our framework we introduce the effective secrecy throughput (EST) as a new performance metric that explicitly captures the two key features of wiretap channels, namely, reliability and secrecy. Notably, the EST measures the average rate of the confidential information transmitted from the transmitter to the intended receiver without being eavesdropped on. We provide easy-to-implement methods to determine the wiretap code rates for two transmission schemes: 1) adaptive transmission scheme in which the capacity of the main channel is available at the transmitter and 2) fixed-rate transmission scheme in which the capacity of the main channel is not available at the transmitter. Such determinations are further extended into an absolute-passive eavesdropping scenario where even the average signal-to-noise ratio of the eavesdropper's channel is not available at the transmitter. Notably, our solutions for the wiretap code rates do not require us to set reliability or secrecy constraints for the transmission within wiretap channels.


title: On the relation between the (censored) shifted Wald and the Wiener distribution as measurement models for choice response times

abstract: Inferring processes or constructs from performance data is a major hallmark of cognitive psychometrics. Particularly, diffusion modeling of response times (RTs) from correct and erroneous responses using the Wiener distribution has become a popular measurement tool because it provides a set of psychologically interpretable parameters. However, an important precondition to identify all of these parameters is a sufficient number of RTs from erroneous responses. In the present article, we show by simulation that the parameters of the Wiener distribution can be recovered from tasks yielding very high or even perfect response accuracies using the shifted Wald distribution. Specifically, we argue that error RTs can be modeled as correct RTs that have undergone censoring by using techniques from parametric survival analysis. We illustrate our reasoning by fitting the Wiener and (censored) shifted Wald distribution to RTs from six participants who completed a Go/No-go task. In accordance with our simulations, diffusion modeling using the Wiener and the shifted Wald distribution yielded identical parameter estimates when the number of erroneous responses was predicted to be low. Moreover, the modeling of error RTs as censored correct RTs substantially improved the recovery of these diffusion parameters when premature trial timeout was introduced to increase the number of omission errors. Thus, the censored shifted Wald distribution provides a suitable means for diffusion modeling in situations when the Wiener distribution cannot be fitted without parametric constraints.


title: A numerical method for Mean Field Games on networks

abstract: We propose a numerical method for stationary Mean Field Games defined on a network. In this framework a correct approximation of the transition conditions at the vertices plays a crucial role. We prove existence, uniqueness and convergence of the scheme and we also propose a least squares method for the solution of the discrete system. Numerical experiments are carried out.


title: Low-Frequency Spectral Turn-Overs in Millisecond Pulsars Studied from Imaging Observations

abstract: Measurements of pulsar flux densities are of great importance for understanding the pulsar emission mechanism and for predictions of pulsar survey yields and the pulsar population at large. Typically these flux densities are determined from phase-averaged "pulse profiles", but this method has limited applicability at low frequencies because the observed pulses can easily be spread out by interstellar effects like scattering or dispersion, leading to a non-pulsed continuum component that is necessarily ignored in this type of analysis. In particular for the class of the millisecond pulsars (MSPs) at frequencies below 200MHz, such interstellar effects can seriously compromise de- tectability and measured flux densities. In this paper we investigate MSP spectra based on a complementary approach, namely through investigation of archival con- tinuum imaging data. Even though these images lose sensitivity to pulsars since the on-pulse emission is averaged with off-pulse noise, they are insensitive to effects from scattering and provide a reliable way to determine the flux density and spectral indices of MSPs based on both pulsed and unpulsed components. Using the 74MHz VLSSr as well as the 325MHz WENSS and 1.4GHz NVSS catalogues, we investigate the imaging flux densities of MSPs and evaluate the likelihood of spectral turn-overs in this population. We determine three new MSP spectral indices and identify six new MSPs with likely spectral turn-overs.


title: Light $\Xi$ hypernuclei

abstract: Arguments in favor of a light $\Xi NN$ hypernucleus with $(I)J^P=(3/2)1/2^+$ are presented, within the uncertainties of our knowledge of the baryon-baryon strangeness $-2$ interactions. If bound, this $\Xi NN$ state, being decoupled from the lowest $N\Lambda\Lambda$ system, would be stable. It will also benefit from additional binding due to the electromagnetic interaction what makes it worthwhile to look for. We show how the equivalent state with $J=3/2$ could never be bound in spite of the attractive interaction of the two-body subsystems. We illustrate our discussion with a full-fledged Faddeev calculation of the $\Xi NN$ system using simple potentials that mimic more elaborate interactions. We also make contact with different recent phenomenological interactions from the literature, like the ESC08 Nijmegen potential or quark-model based potentials.


title: Smooth Alternating Direction Methods for Nonsmooth Constrained Convex Optimization

abstract: We propose two new alternating direction methods to solve "fully" nonsmooth constrained convex problems. Our algorithms have the best known worst-case iteration-complexity guarantee under mild assumptions for both the objective residual and feasibility gap. Through theoretical analysis, we show how to update all the algorithmic parameters automatically with clear impact on the convergence performance. We also provide a representative numerical example showing the advantages of our methods over the classical alternating direction methods using a well-known feasibility problem.


title: Constituent-quark model description of triply heavy-baryon nonperturbative lattice QCD data

abstract: This paper provides results for the spectra of triply charmed and bottom baryons based on a constituent quark model approach. We take advantage of the assumption that potential models are expected to describe triply heavy baryons to a similar degree of accuracy as the successful results obtained in the charmonium and bottomonium sectors. The high precision calculation of the ground state and positive and negative parity excited states recently reported by nonperturbative lattice QCD provides us with a unique opportunity to confront model predictions with data. This comparison may also help to build a bridge between two difficult to reconcile lattice QCD results, namely, the lattice SU(3) QCD static three-quark potential and the recent results of nonperturbative lattice QCD for the triply heavy-baryon spectra.


title: Heavy-baryon quark model picture from lattice QCD

abstract: The ground state and excited spectra of baryons containing three identical heavy quarks, $b$ or $c$, have been recently calculated in nonperturbative lattice QCD. The energy of positive and negative parity excitations has been determined with high precision. Lattice results constitute a unique opportunity to learn about the quark-confinement mechanism as well as elucidating our knowledge about the nature of the strong force. We analyze the nonperturbative lattice QCD results by means of heavy-quark static potentials derived using SU(3) lattice QCD. We make use of different numerical techniques for the three-body problem.


title: Large $p$-groups of automorphisms of algebraic curves in characteristic $p$

abstract: Let $S$ be a $p$-subgroup of the $\mathbb K$-automorphism group $Aut(\mathcal X)$ of an algebraic curve $\mathcal X$ of genus $g\ge 2$ and $p$-rank $\gamma$ defined over an algebraically closed field $\mathbb{K}$ of characteristic $p\geq 3$. Nakajima proved that if $\gamma \ge 2$ then $|S|\leq \textstyle\frac{p}{p-2}(g-1)$. If equality holds, $\mathcal X$ is a Nakajima extremal curve. We prove that if $$|S|>\textstyle\frac{p^2}{p^2-p-1}(g-1)$$ then one of the following cases occurs: (i) $\gamma=0$ and the extension $\mathbb K(\mathcal X)|\mathbb K(\mathcal X)^S$ completely ramifies at a unique place, and does not ramify elsewhere. (ii) $|S|=p$, and $\mathcal X$ is an ordinary curve of genus $g=p-1$. (iii) $\mathcal X$ is an ordinary, Nakajima extremal curve, and $\mathbb K(\mathcal X)$ is an unramified Galois extension of a function field of a curve given in (ii). There are exactly $p-1$ such Galois extensions. Moreover, if some of them is an abelian extension then $S$ has maximal nilpotency class. The full $\mathbb{K}$-automorphism group of any Nakajima extremal curve is determined, and several infinite families of Nakajima extremal curves are constructed by using their pro-$p$ fundamental groups.


title: Tight Bounds for Subgraph Isomorphism and Graph Homomorphism

abstract: We prove that unless Exponential Time Hypothesis (ETH) fails, deciding if there is a homomorphism from graph $G$ to graph $H$ cannot be done in time $|V(H)|^{o(|V(G)|)}$. Combined with the reduction of Cygan, Pachocki, and Soca{\l}a, our result rules out (subject to ETH) a possibility of $|V(G)|^{o(|V(G)|)}$-time algorithm deciding if graph $H$ is a subgraph of $G$. For both problems our lower bounds asymptotically match the running time of brute-force algorithms trying all possible mappings of one graph into another. Thus, our work closes the gap in the known complexity of these fundamental problems.


title: High cooperativity coupling between a phosphorus donor spin ensemble and a superconducting microwave resonator

abstract: We investigate the coupling of an ensemble of phosphorus donors in an isotopically purified $^{28}$Si host lattice interacting with a superconducting coplanar waveguide resonator. The microwave transmission spectrum of the resonator shows a normal mode splitting characteristic for high cooperativity. The evaluated collective coupling strength $g_{\mathrm{eff}}$ is of the same order as the loss rate of the spin system $\gamma$, indicating the onset of strong coupling. We develop a statistical model to describe the influence of temperature on the coupling strength from $50\,\mathrm{mK}$ to $3.5\,\mathrm{K}$ and find a scaling of the coupling strength with the square root of the number of thermally polarized spins.


title: Quantum Key Distribution Using Qudits Each Encoding One Bit Of Raw Key

abstract: All known qudit-based prepare-and-measure quantum key distribution (PM-QKD) schemes are more error resilient than their qubit-based counterparts. Their high error resiliency comes partly from the careful encoding of multiple bits of signals used to generate the raw key in each transmitted qudit so that the same eavesdropping attempt causes a higher bit error rate (BER) in the raw key. Here I show that highly error-tolerant PM-QKD schemes can be constructed simply by encoding one bit of classical information in each transmitted qudit in the form $(|i\rangle\pm|j\rangle)/\sqrt{2}$, where $|i\rangle$'s form an orthonormal basis of the $2^n$-dimensional Hilbert space. Moreover, I prove that these schemes can tolerate up to the theoretical maximum of 50\% BER for $n\ge 2$ provided that the raw key is generated under a certain technical condition, making them the most error-tolerant PM-QKD schemes involving the transmission of unentangled finite-dimensional qudits to date. This shows the potential of processing quantum information using lower-dimensional quantum signals encoded in a higher-dimensional quantum state.


title: Gas phase formation of the prebiotic molecule formamide: insights from new quantum computations

abstract: New insights into the formation of interstellar formamide, a species of great relevance in prebiotic chemistry, are provided by electronic structure and kinetic calculations for the reaction NH2 + H2CO -> NH2CHO + H. Contrarily to what previously suggested, this reaction is essentially barrierless and can, therefore, occur under the low temperature conditions of interstellar objects thus providing a facile formation route of formamide. The rate coefficient parameters for the reaction channel leading to NH2CHO + H have been calculated to be A = 2.6x10^{-12} cm^3 s^{-1}, beta = -2.1 and gamma = 26.9 K in the range of temperatures 10-300 K. Including these new kinetic data in a refined astrochemical model, we show that the proposed mechanism can well reproduce the abundances of formamide observed in two very different interstellar objects: the cold envelope of the Sun-like protostar IRAS16293-2422 and the molecular shock L1157-B2. Therefore, the major conclusion of this Letter is that there is no need to invoke grain-surface chemistry to explain the presence of formamide provided that its precursors, NH2 and H2CO, are available in the gas-phase.

categories: astro-ph.GA astro-ph.EP astro-ph.SR physics.chem-ph


title: Gravitational fragmentation caught in the act: the filamentary Musca molecular cloud

abstract: Filamentary structures are common in molecular clouds. Explaining how they fragment to dense cores is a missing step in understanding their role in star formation. We perform a case study of whether low-mass filaments are close-to hydrostatic prior to their fragmentation, and whether their fragmentation agrees with gravitational fragmentation models. For this, we study the 6.5 pc long Musca molecular cloud that is an ideal candidate for a filament at an early stage of fragmentation. We employ dust extinction mapping in conjunction with near-infrared data from the NEWFIRM instrument, and 870 um dust continuum emission data from the LABOCA instrument, to estimate column densities. We use the data to identify fragments from the cloud and to determine the radial density distribution of its filamentary part. We compare the cloud's morphology with 13CO and C18O line emission observed with the APEX/SHeFI instrument. The Musca cloud is pronouncedly fragmented at its ends, but harbours a remarkably well-defined, 1.6 pc long filament in its Center region. The line mass of the filament is 21-31 Ms pc^-1 and FWHM 0.07 pc. Its radial profile can be fitted with a Plummer profile that has the power-index of 2.6 \pm 11%, flatter than that of an infinite hydrostatic filament. The profile can also be fitted with a hydrostatic cylinder truncated by external pressure. These models imply a central density of 5-10 x 10^4 cm^-3. The fragments in the cloud have a mean separation of 0.4 pc, in agreement with gravitational fragmentation. These properties, together with the subsonic and velocity-coherent nature of the cloud, suggest a scenario in which an initially hydrostatic cloud is currently gravitationally fragmenting. The fragmentation has started a few tenths of a Myr ago from the cloud ends, leaving its center yet relatively non-fragmented, possibly because of gravitational focusing in a finite geometry.


title: Electron-phonon coupling and energy flow in a simple metal beyond the two-temperature approximation

abstract: The electron-phonon coupling and the corresponding energy exchange was investigated experimentally and by ab initio theory in non-equilibrium states of the free-electron metal aluminium. The temporal evolution of the atomic mean squared displacement in laser-excited thin free-standing films was monitored by femtosecond electron diffraction. The electron-phonon coupling strength was obtained for a range of electronic and lattice temperatures from density functional theory molecular dynamics (DFT-MD) simulations. The electron-phonon coupling parameter extracted from the experimental data in the framework of a two-temperature model (TTM) deviates significantly from the ab initio values. We introduce a non-thermal lattice model (NLM) for describing non-thermal phonon distributions as a sum of thermal distributions of the three phonon branches. The contributions of individual phonon branches to the electron-phonon coupling are considered independently and found to be dominated by longitudinal acoustic phonons. Using all material parameters from first-principle calculations besides the phonon-phonon coupling strength, the prediction of the energy transfer from electrons to phonons by the NLM is in excellent agreement with time-resolved diffraction data. Our results suggest that the TTM is insufficient for describing the microscopic energy flow even for simple metals like aluminium and that the determination of the electron-phonon coupling constant from time-resolved experiments by means of the TTM leads to incorrect values. In contrast, the NLM describing transient phonon populations by three parameters appears to be a sufficient model for quantitatively describing electron-lattice equilibration in aluminium. We discuss the general applicability of the NLM and provide a criterion for the suitability of the two-temperature approximation for other metals.


title: Weak Cosmic Censorship, Superradiance and Quantum Particle Creation

abstract: Since 1970's, gedanken experiments have been devised to challenge the weak cosmic censorship conjecture (WCCC), which is the expectation that spacetime singularities will be hidden from faraway observers by event horizons so that classical predictability in a spacetime is preserved. These experiments involve the interaction of an extremal or a slightly sub-extremal black hole with a test particle or field, attempting to destroy the horizon, i.e. to create a so-called naked singularity. They usually conclude that WCCC cannot be violated starting from an extremal black hole, but may be violated starting from a slightly sub-extremal one, if backreaction and self-force effects are neglected. Some other works also analyze these effects. Starting 2007, a string of papers argue if WCCC can be violated by classically forbidden interactions occuring via the quantum nature of the particles associated with the fields; and where backrection and/or superradiance are pointed out as effects working in the direction of preserving the WCCC. We correct/modify a backrection argument, and furthermore point out that superradiance does not prevent {\em single particles} from being captured by the black hole; even if this capture would lead to WCCC violation. Then we consider the spontaneous emission (which we call the Zel'dovich-Unruh effect) of particles by the black hole, and find that at least for scalars, it can be understood without second quantization. It also completely invalidates the mentioned single- or few-particle thought experiments. However, the conclusions of our previous work on (at least) scalar fields interacting with black holes, i.e. that WCCC may be violated starting from slightly subextremal black holes, remains valid in this (semi)classical framework.


title: On braids and groups $G_n^k$

abstract: In [V.O. Manturov, Non-reidemeister knot theory and its applications in dynamical systems, geometry, and topology, arxiv:1501.05208] the first named author gave the definition of $k$-free braid groups $G_n^k$. Here we establish connections between free braid groups, classical braid groups and free groups: we describe explicitly the homomorphism from (pure) braid group to $k$-free braid groups for important cases $k=3,4$. On the other hand, we construct a homomorphism from (a subgroup of) free braid groups to free groups. The relations established would allow one to construct new invariants of braids and to define new powerful and easily calculated complexities for classical braid groups.


title: Definability lattice for addition of rationals

abstract: In the present paper we discuss the lattice of reducts of $\langle \mathbb{Q}, \{$+$\} \rangle$


title: Benchmark Computations of stresses in a spherical dome with shell finite elements

abstract: We present a computational framework for analysing thin shell structures using the finite element method. The framework is based on a mesh-dependent shell model which we derive from the general laws of three-dimensional elasticity. We apply the framework for the so called Girkmann benchmark problem involving a spherical shell stiffened with a foot ring. In particular, we compare the accuracy of different reduced strain four-node elements in this context. We conclude that the performance of the bilinear shell finite elements depends on the mesh quality but reasonable accuracy of the quantities of interest of the Girkmann problem can be attained in contrast to earlier results obtained with general shell elements for the problem.


title: Ion irradiation effects on a magnetic Si/Ni/Si trilayer and lateral magnetic-nonmagnetic multistrip patterning by focused ion beam

abstract: Fabrication of a multistrip magnetic/nonmagnetic structure in a thin sandwiched Ni layer [Si(5 nm)/Ni(10 nm)/Si] by a focused ion beam (FIB) irradiation has been attempted. A control experiment was initially performed by irradiation with a standard 30 keV Ga ion beam at various fluences. Analyses were carried out by Rutherford backscattering spectrometry, X-ray reflectivity, magnetooptical Kerr effect (MOKE) measurements and MOKE microscopy. With increasing ion fluence, the coercivity as well as Kerr rotation decreases. A threshold ion fluence has been identified, where ferromagnetism of the Ni layer is lost at room temperature and due to Si incorporation into the Ni layer, a Ni0.68Si0.32 alloy layer is formed. This fluence was used in FIB irradiation of parallel 50 nm wide stripes, leaving 1 micrometer wide unirradiated stripes in between. MOKE microscopy on this FIB-patterned sample has revealed interacting magnetic domains across several stripes. Considering shape anisotropy effects, which would favor an alignment of magnetization parallel to the stripe axis, the opposite behavior is observed. Magneto-elastic effects introducing a stress-induced anisotropy component oriented perpendicular to the stripe axis are the most plausible explanation for the observed behavior.


title: Diophantine properties of the zeros of (monic) polynomials the coefficients of which are the zeros of Hermite polynomials

abstract: We introduce a monic polynomial p_N(z) of degree N whose coefficients are the zeros of the N-th degree Hermite polynomial. Note that there are N! such different polynomials p_N(z), depending on the ordering assignment of the N zeros of the Hermite polynomial of order N. We construct two NxN matrices M_1 and M_2 defined in terms of the N zeros of the polynomial p_N(z). We prove that the eigenvalues of M_1 and M_2 are the first N integers respectively the first N squared-integers, a remarkable isospectral and Diophantine property. The technique whereby these findings are demonstrated can be extended to other named polynomials.


title: Approximating the Laplace transform of the sum of dependent lognormals

abstract: Let $(X_1, \dots, X_n)$ be multivariate normal, with mean vector $\boldsymbol{\mu}$ and covariance matrix $\boldsymbol{\Sigma}$, and $S_n=\mathrm{e}^{X_1}+\cdots+\mathrm{e}^{X_n}$. The Laplace transform ${\cal L}(\theta)=\mathbb{E}\mathrm{e}^{-\theta S_n} \propto \int \exp\{-h_\theta(\boldsymbol{x})\} \,\mathrm{d} \boldsymbol{x}$ is represented as $\tilde{\cal L}(\theta)I(\theta)$, where $\tilde{\cal L}(\theta)$ is given in closed-form and $I(\theta)$ is the error factor ($\approx 1$). We obtain $\tilde{\cal L}(\theta)$ by replacing $h_\theta(\boldsymbol{x})$ with a second order Taylor expansion around its minimiser $\boldsymbol{x}^*$. An algorithm for calculating the asymptotic expansion of $\boldsymbol{x}^*$ is presented, and it is shown that $I(\theta)\to 1$ as $\theta\to\infty$. A variety of numerical methods for evaluating $I(\theta)$ are discussed, including Monte Carlo with importance sampling and quasi-Monte Carlo. Numerical examples (including Laplace transform inversion for the density of $S_n$) are also given.


title: Closed Curves and Elementary Visual Object Identification

abstract: For two closed curves on a plane (discrete version) and local criteria for similarity of points on the curves one gets a potential, which describes the similarity between curve points. This is the base for a global similarity measure of closed curves (Fr\'echet distance). I use borderlines of handwritten digits to demonstrate an area of application. I imagine, measuring the similarity of closed curves is an essential and elementary task performed by a visual system. This approach to similarity measures may be used by visual systems.


title: Parton Distribution Functions properties of the statistical model

abstract: We show that the parton distribution functions (PDF) described by the statistical model have very interesting physical properties which help to understand the structure of partons. The role of the quark helicity components is emphasized as they represent the building blocks of the PDF. In the model the sign of the polarized quarks PDF comes out in a quite natural way once the thermodynamical potentials with a given helicity are known. Introducing the concept of entropy we study the states madeof |2u + d >, |u +d +s > and $|2\bar u +\bar d >$, for a fixed Q^2, the variation with x shows that the first state has a dominant entropy due to the effect of u quark. We prove that the PDF parameters obtained from experiments give in fact an optimal solution of an entropy equation subject to constraints. We develop a new approach of the polarized gluon density based on a neural model which explains its property, in particular, a large positivity value and an agreement with the positvity constraint. An extension of this neural approach is applied to quarks giving a coherent description of the partons structure.


title: A spectral characterization of nonlinear normal modes

abstract: This paper explores the relationship that exists between nonlinear normal modes (NNMs) defined as invariant manifolds in phase space and the spectral expansion of the Koopman operator. Specifically, we demonstrate that NNMs correspond to zero level sets of specific eigenfunctions of the Koopman operator. Thanks to this direct connection, a new, global parametrization of the invariant manifolds is established. Unlike the classical parametrization using a pair of state-space variables, this parametrization remains valid whenever the invariant manifold undergoes folding, which extends the computation of NNMs to regimes of greater energy. The proposed ideas are illustrated using a two-degree-of-freedom system with cubic nonlinearity.


title: Contention-based Geographic Forwarding Strategies for Wireless Sensors Networks

abstract: This paper studies combined relay selection and opportunistic geographic routing strategies for autonomous wireless sensor networks where transmissions occur over multiple hops. The proposed solution is built upon three constituent parts: (i) relay selection algorithm, (ii) contention resolution mechanism, and (iii) geographic forwarding strategy. Using probability generating function and spatial point process as the theoretic background, we propose an auction-based algorithm for selecting the relay node that relies on the network topology as side-information. Our results show that geographic solutions that iteratively exploit the local knowledge of the topology to ponder the algorithm operation outperforms established random approaches.