August 2014 arXiv papers — page 15

Can Huang, Qingshuo Song, Zhimin Zhang

In this paper, a non-polynomial spectral Petrov-Galerkin method and associated collocation method for substantial fractional differential equations (FDEs) are proposed, analyzed, and tested. We extend a class of generalized Laguerre polynomials to form our basis. By a proper scaling of trial basis and test basis, our Petrov-Galerkin method results in a diago

Minming Li, Frances F. Yao, Hao Yuan

Dynamic Voltage Scaling techniques allow the processor to set its speed dynamically in order to reduce energy consumption. In the continuous model, the processor can run at any speed, while in the discrete model, the processor can only run at finite number of speeds given as input. The current best algorithm for computing the optimal schedules for the contin

Loo Kang Wee

This invited paper discusses why Physics performance task by grade 9 students in Singapore is worth participating in for two reasons; 1) the video analysis and modeling are open access, licensed creative commons attribution for advancing open educational resources in the world and 2) allows students to be like physicists, where the K12 science education fram

Jingchu Liu, Sheng Zhou, Jie Gong, Zhisheng Niu

Facing the explosion of mobile data traffic, cloud radio access network (C-RAN) is proposed recently to overcome the efficiency and flexibility problems with the traditional RAN architecture by centralizing baseband processing. However, there lacks a mathematical model to analyze the statistical multiplexing gain from the pooling of virtual base stations (VB

Christoph Czichowsky, Walter Schachermayer

For portfolio optimisation under proportional transaction costs, we provide a duality theory for general cadlag price processes. In this setting, we prove the existence of a dual optimiser as well as a shadow price process in a generalised sense. This shadow price is defined via a "sandwiched" process consisting of a predictable and an optional stron

I. R. Seitenzahl, F. X. Timmes, G. Magkotsios

We revisit the evidence for the contribution of the long-lived radioactive nuclides 44Ti, 55Fe, 56Co, 57Co, and 60Co to the UVOIR light curve of SN 1987A. We show that the V-band luminosity constitutes a roughly constant fraction of the bolometric luminosity between 900 and 1900 days, and we obtain an approximate bolometric light curve out to 4334 days by sc

M. Guttormsen, A. C. Larsen, F. L. Bello Garrote, Y. Byun

Particle-$γ$ coincidences from the $^{89}$Y($p,p' γ$)$^{89}$Y and $^{89}$Y($d,p γ$)$^{90}$Y reactions were utilized to obtain $γ$-ray spectra as function of excitation energy. The Oslo method was used to extract the level density from the particle-$γ$ coincidence matrices. The impact of the $N=50$ shell closure on the level densities is discussed within

Edward N. Taylor, Andrew M. Hopkins, Ivan K. Baldry, Joss Bland-Hawthorn

We measure the mass functions for generically red and blue galaxies, using a z < 0.12 sample of log M* > 8.7 field galaxies from the Galaxy And Mass Assembly (GAMA) survey. Our motivation is that, as we show, the dominant uncertainty in existing measurements stems from how &#39;red&#39; and &#39;blue&#39; galaxies have been selected/defined. Accordingly, we

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de&#39; Liguoro

In the setting of session behaviours, we study an extension of the concept of compliance when a disciplined form of backtracking is present. After adding checkpoints to the syntax of session behaviours, we formalise the operational semantics via a LTS, and define a natural notion of checkpoint compliance. We then obtain a co-inductive characterisation of suc

Ornela Dardha

Session types model structured communication-based programming. In particular, binary session types for the pi-calculus describe communication between exactly two participants in a distributed scenario. Adding sessions to the pi-calculus means augmenting it with type and term constructs. In a previous paper, we tried to understand to which extent the session

Rumyana Neykova, Laura Bocchi, Nobuko Yoshida

We propose a dynamic verification framework for protocols in real-time distributed systems. The framework is based on Scribble, a tool-chain for design and verification of choreographies based on multiparty session types, developed with our industrial partners. Drawing from recent work on multiparty session types for real-time interactions, we extend Scribbl

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez

We present initial results on a comprehensive model of structured communications, in which self- adaptation and security concerns are jointly addressed. More specifically, we propose a model of self-adaptive, multiparty communications with secure information flow guarantees. In this model, security violations occur when processes attempt to read or write mes

Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez

Protocol specifications often identify the roles involved in communications. In multiparty protocols that involve task delegation it is often useful to consider settings in which different sites may act on behalf of a single role. It is then crucial to control the roles that the different parties are authorized to represent, including the case in which role

Kohei Ichikawa, Masatoshi Imanishi, Yoshihiro Ueda, Takao Nakagawa

We present the result of a systematic infrared 2.5-5 um spectroscopic study of 22 nearby infrared galaxies over a wide infrared luminosity range (10 < log(L_IR / Lsun) < 13) obtained from AKARI Infrared Camera (IRC). The unique band of the AKARI IRC spectroscopy enables us to access both the 3.3 um polycyclic aromatic hydrocarbon (PAH) emission feature from

Dougal Mackey, Geraint Lewis, Michelle Collins, Nick Bate

A central tenet of the current cosmological paradigm is that galaxies grow over time through the accretion of smaller systems. Here, we present new kinematic measurements near the centre of one of the densest pronounced substructures, the South-West Cloud, in the outer halo of our nearest giant neighbour, the Andromeda galaxy. These observations reveal that

Michael J. Burek, Yiwen Chu, Madelaine S. Z. Liddy, Parth Patel

Single-crystal diamond, with its unique optical, mechanical and thermal properties, has emerged as a promising material with applications in classical and quantum optics. However, the lack of heteroepitaxial growth and scalable fabrication techniques remain major limiting factors preventing more wide-spread development and application of diamond photonics. I

Keyu Xia, Jason Twamley

We propose a design for a quantum interface exploiting the electron spins in crystals to swap the quantum states between the optical and microwave. Using sideband driving of a superconducting flux qubit and a combined cavity/solid-state spin ensemble Raman transition, we demonstrate how a stimulated Raman adiabatic passage (STIRAP)-type operation can swap th

Yue Shen, W. N. Brandt, Kyle S. Dawson, Patrick B. Hall

The Sloan Digital Sky Survey Reverberation Mapping project (SDSS-RM) is a dedicated multi-object RM experiment that has spectroscopically monitored a sample of 849 broad-line quasars in a single 7 deg$^2$ field with the SDSS-III BOSS spectrograph. The RM quasar sample is flux-limited to i_psf=21.7 mag, and covers a redshift range of 0.1<z<4.5. Optical spectr

Ilaria De Crescenzo, Salvatore La Torre, Yaron Velner

Games on recursive game graphs can be used to reason about the control flow of sequential programs with recursion. In games over recursive game graphs, the most natural notion of strategy is the modular strategy, i.e., a strategy that is local to a module and is oblivious to previous module invocations, and thus does not depend on the context of invocation.

Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi

We study reachability games on recursive timed automata (RTA) that generalize Alur-Dill timed automata with recursive procedure invocation mechanism similar to recursive state machines. It is known that deciding the winner in reachability games on RTA is undecidable for automata with two or more clocks, while the problem is decidable for automata with only o

Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko

There has been a growing interest in defining models of automata enriched with time. For instance, timed automata were introduced as automata extended with clocks. In this paper, we study models of timed finite state machines (TFSMs), i.e., FSMs enriched with time, which accept timed input words and generate timed output words. Here we discuss some models of

Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen

Automata for unordered unranked trees are relevant for defining schemas and queries for data trees in Json or Xml format. While the existing notions are well-investigated concerning expressiveness, they all lack a proper notion of determinism, which makes it difficult to distinguish subclasses of automata for which problems such as inclusion, equivalence, an

Yuki Osada, Tim French, Mark Reynolds, Harry Smallbone

In this paper, we define the class of hourglass automata, which are timed automata with bounded clocks that can be made to progress backwards as well as forwards at a constant rate. We then introduce a new clock update for timed automata that allows hourglass automata to be expressed. This allows us to show that language emptiness remains decidable with this

Jason Jaskolka, Ridha Khedri

An integral part of safeguarding systems of communicating agents from covert channel communication is having the ability to identify when a covert channel may exist in a given system and which agents are more prone to covert channels than others. In this paper, we propose a formulation of one of the necessary conditions for the existence of covert channels:

Antti Kuusisto

The immediate past has witnessed an increased amount of interest in local algorithms, i.e., constant time distributed algorithms. In a recent survey of the topic (Suomela, ACM Computing Surveys, 2013), it is argued that local algorithms provide a natural framework that could be used in order to theoretically control infinite networks in finite time. We study

Giorgio Delzanno, Michele Tatarek, Riccardo Traverso

We present a formal model of a distributed consensus algorithm in the executable specification language Promela extended with a new type of guards, called counting guards, needed to implement transitions that depend on majority voting. Our formalization exploits abstractions that follow from reduction theorems applied to the specific case-study. We apply the

Florian Bruse, Michael Falk, Martin Lange

It is known that the model checking problem for the modal mu-calculus reduces to the problem of solving a parity game and vice-versa. The latter is realised by the Walukiewicz formulas which are satisfied by a node in a parity game iff player 0 wins the game from this node. Thus, they define her winning region, and any model checking algorithm for the modal

Angelo Montanari, Pietro Sala

We introduce the synthesis problem for Halpern and Shoham&#39;s modal logic of intervals extended with an equivalence relation over time points, abbreviated HSeq. In analogy to the case of monadic second-order logic of one successor, the considered synthesis problem receives as input an HSeq formula phi and a finite set Sigma of propositional variables and t

Christof Löding, Sarah Winter

We consider the synthesis of deterministic tree transducers from automaton definable specifications, given as binary relations, over finite trees. We consider the case of specifications that are deterministic top-down tree automatic, meaning the specification is recognizable by a deterministic top-down tree automaton that reads the two given trees synchronou

Constantin Enea, Peter Habermehl, Omar Inverso, Gennaro Parlato

We consider the feasibility problem of integer linear programming (ILP). We show that solutions of any ILP instance can be naturally represented by an FO-definable class of graphs. For each solution there may be many graphs representing it. However, one of these graphs is of path-width at most 2n, where n is the number of variables in the instance. Since FO

Peter Faymonville, Martin Zimmermann

We introduce Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by temporal operators equipped with parameters that bound their scope. LDL was proposed as an extension of Linear Temporal Logic (LTL) that is able to express all $ω$-regular specifications while still maintaining many of LTL&#39;s desirable properties like an intui

Christian Wurm

We introduce the two substructural propositional logics KL, KL+, which use disjunction, fusion and a unary, (quasi-)exponential connective. For both we prove strong completeness with respect to the interpretation in Kleene algebras and a variant thereof. We also prove strong completeness for language models, where each logic comes with a different interpreta

Amir M. Ben-Amram

Finding whether a linear-constraint loop has a linear ranking function is an important key to understanding the loop behavior, proving its termination and establishing iteration bounds. If no preconditions are provided, the decision problem is known to be in coNP when variables range over the integers and in PTIME for the rational numbers, or real numbers. H

Sharif Ibrahim

Modern geometric measure theory, developed largely to solve the Plateau problem, has generated a great deal of technical machinery which is unfortunately regarded as inaccessible by outsiders. Some of its tools (e.g., flat norm distance and decomposition in generalized surface space) hold interest from a theoretical perspective but computational infeasibilit

Alexander Arriola, Sebabrata Mukherjee, Debaditya Choudhury, Lucas Labadie

We report the ultrafast laser fabrication and mid-IR characterization (3.39 microns) of four-port evanescent field directional couplers. The couplers were fabricated in a commercial gallium lanthanum sulphide glass substrate using sub-picosecond laser pulses of 1030 nm light. Straight waveguides inscribed using optimal fabrication parameters were found to ex

David Cohen, Ludwig Gauckler, Ernst Hairer, Christian Lubich

For trigonometric and modified trigonometric integrators applied to oscillatory Hamiltonian differential equations with one or several constant high frequencies, near-conservation of the total and oscillatory energies are shown over time scales that cover arbitrary negative powers of the step size. This requires non-resonance conditions between the step size

Sebastian Acosta

The formulation of the on-surface radiation condition (OSRC) is extended to handle wave scattering problems in the presence of multiple obstacles. The new multiple-OSRC simultaneously accounts for the outgoing behavior of the wave fields, as well as, the multiple wave reflections between the obstacles. Like boundary integral equations (BIE), this method lead

Vinicius V. L. Albani, Jorge P. Zubelli

We address the inverse problem of local volatility surface calibration from market given option prices. We integrate the ever-increasing flow of option price information into the well-accepted local volatility model of Dupire. This leads to considering both the local volatility surfaces and their corresponding prices as indexed by the observed underlying sto

Andrei Osipov

Evaluation of the eigenvectors of symmetric tridiagonal matrices is one of the most basic tasks in numerical linear algebra. It is a widely known fact that, in the case of well separated eigenvalues, the eigenvectors can be evaluated with high relative accuracy. Nevertheless, in general, each coordinate of the eigenvector is evaluated with only high $absolut

Renata Kallosh, Andrei Linde

Recently it was found that a broad class of existing inflationary models based on supergravity can be significantly simplified if some of the standard, unconstrained chiral superfields are replaced by nilpotent superfields, associated with Volkov-Akulov supersymmetry. The same method allows to simplify the existing models of uplifting of AdS vacua in string

Abigail Thompson

Let S be a triangulated 2-sphere with fixed triangulation T. We apply the methods of thin position from knot theory to obtain a simple version of the three geodesics theorem for the 2-sphere [5]. In general these three geodesics may be unstable, corresponding, for example, to the three equators of an ellipsoid. Using a piece-wise linear approach, we show tha

Abdoulaye Mbaye, Abdoul Aziz Ciss, Oumar Niang

The task of this paper is to introduce a new lightweight identification protocol based on biometric data and elliptic curves. In fact, we combine biometric data and asymetric cryptography, namely elliptic curves and standard tools to design a multifactor identification protocol. Our scheme is light, very fast, secure and robust against all the known attacks

J. E. Cieza Montalvo, C. A. Morgan Cruz, R. J. Gil Ramirez, G. H. Ramirez Ulloa

In this work we present an analysis of production and signature of neutral Higgs bosons $H_2^0$ in the version of the 3-3-1 model containing heavy leptons at the ILC (International Linear Collider) and CLIC (Cern Linear Collider). The production rate is found to be significant for the direct production of $e^{+} e^{-} \rightarrow H_{2}^{0} Z$. We also studie

Linda Eroh, Cong X. Kang, Eunjeong Yi

The \emph{metric dimension} $\dim(G)$ of a graph $G$ is the minimum number of vertices such that every vertex of $G$ is uniquely determined by its vector of distances to the chosen vertices. The \emph{zero forcing number} $Z(G)$ of a graph $G$ is the minimum cardinality of a set $S$ of black vertices (whereas vertices in $V(G)\!\setminus\!S$ are colored whit

Kai Müller, Armand Rundquist, Kevin A. Fischer, Tomas Sarmiento

The on-chip generation of non-classical states of light is a key-requirement for future optical quantum hardware. In solid-state cavity quantum electrodynamics, such non-classical light can be generated from self-assembled quantum dots strongly coupled to photonic crystal cavities. Their anharmonic strong light-matter interaction results in large optical non

Matteo Polettini, Massimiliano Esposito

We prove a transient fluctuation theorem for the currents for continuous-time Markov jump processes with stationary rates, generalizing an asymptotic result by Andrieux and Gaspard [J. Stat. Phys. 127, 107 (2007)] to finite times. The result is based on a graph theoretical decomposition in cycle currents and an additional set of tidal currents that character

Glencora Borradaile, David Eppstein, Pingan Zhu

We show that every graph has an induced pseudoforest of at least $n-m/4.5$ vertices, an induced partial 2-tree of at least $n-m/5$ vertices, and an induced planar subgraph of at least $n-m/5.2174$ vertices. These results are constructive, implying linear-time algorithms to find the respective induced subgraphs. We also show that the size of the largest $K_h$

Shi-Zeng Lin

This article reviews theoretical and experimental work on the novel physics in multiband superconductors. Multiband superconductors are characterized by multiple superconducting energy gaps in different bands with interaction between Cooper pairs in these bands. The discovery of prominent multiband superconductors $\mathrm{MgB_2}$ and later iron-based superc

Maxwell T. Hansen, Stephen R. Sharpe

We present a generalization of Luescher&#39;s relation between the finite-volume spectrum and scattering amplitudes to the case of three particles. We consider a relativistic scalar field theory in which the couplings are arbitrary aside from a Z2 symmetry that removes vertices with an odd number of particles. The theory is assumed to have two-particle phase

Takayuki Hibi, Liam Solus

Let $k, n$ and $r$ be positive integers with $k < n$ and $r\leq\lfloor\frac{n}{k}\rfloor$. We determine the facets of the $r$-stable $n,k$-hypersimplex. As a result, it turns out that the $r$-stable $n,k$-hypersimplex has exactly $2n$ facets for every $r<\lfloor\frac{n}{k}\rfloor$. We then utilize the equations of the facets to study when the $r$-stable hype

Valentina Gori

The trigger systems of the LHC detectors play a crucial role in determining the physics capabilities of the experiments. A reduction of several orders of magnitude of the event rate is needed to reach values compatible with the detector readout, offline storage and analysis capabilities. The CMS experiment has been designed with a two-level trigger system: t

Salvatore Talarico, Matthew C. Valenti, Thomas R. Halford

Barrage relays networks (BRNs) are ad hoc networks built on a rapid cooperative flooding primitive as opposed to the traditional point-to-point link abstraction. Controlled barrage regions (CBRs) can be used to contain this flooding primitive for unicast and multicast, thereby enabling spatial reuse. In this paper, the behavior of individual CBRs is describe

C. T. Boone, J. M. Shaw, H. T. Nembach, T. J. Silva

We determined the spin-transport properties of Pd and Pt thin films by measuring the increase in ferromagnetic resonance damping due to spin-pumping in ferromagnetic (FM)-nonferromagnetic metal (NM) multilayers with varying NM thicknesses. The increase in damping with NM thickness depends strongly on both the spin- and charge-transport properties of the NM,

Joel H. Kastner, Pierre Hily-Blant, David R. Rodriguez, Kristina Punzi

We have conducted the first comprehensive mm-wave molecular emission line surveys of the evolved circumstellar disks orbiting the nearby T Tauri stars TW Hya and V4046 Sgr AB. Both disks are known to retain significant residual gaseous components, despite the advanced ages of their host stars. Our unbiased broad-band radio spectral surveys of the TW Hya and

Saarik Kalia, Micha Sharir, Noam Solomon, Ben Yang

We generalize the Szemerédi-Trotter incidence theorem, to bound the number of complete \emph{flags} in higher dimensions. Specifically, for each $i=0,1,\ldots,d-1$, we are given a finite set $S_i$ of $i$-flats in $\R^d$ or in $\C^d$, and a (complete) flag is a tuple $(f_0,f_1,\ldots,f_{d-1})$, where $f_i\in S_i$ for each $i$ and $f_i\subset f_{i+1}$ for each

Jongmin Lee, Dong Hun Park

We propose a protection scheme of a superconducting microwave resonator to realize a hybrid quantum system, where cold neutral atoms are coupled with a single microwave photon through magnetic dipole interaction at an interface inductor. The evanescent field atom trap such as a waveguide/nanofiber atom trap, brings both surface-scattered photons and absorpti

Andrew Lucas, Piotr Surówka

We present a systematic derivation of the effective action for interacting vortices in a non-relativistic two-dimensional superfluid described by the Gross-Pitaevskii equation by integrating out longitudinal fluctuations of the order parameter. There are no logarithmically divergent coefficients in the equations of motion. Our analysis is valid in a dilute l

Sergej Moroz, Carlos Hoyos

We present a theory of Galilean-invariant conventional and chiral $p_x \pm ip_y$ fermionic superfluids at zero temperature in two spatial dimensions in terms of a dual gauge theory. Our formulation is general coordinate invariant. The parity-violating effects are encoded in the Wen-Zee term that gives rise to the Hall viscosity and edge current. We show that

T. Zhang, J. M. Schwarz, Moumita Das

We construct and analyze a model for a disordered linear spring network with anisotropy. The modeling is motivated by, for example, granular systems, nematic elastomers, and ultimately cytoskeletal networks exhibiting some underlying anisotropy. The model consists of a triangular lattice with two different bond occupation probabilities, $p_x$ and $p_y$, for

C. Pépin, V. S. de Carvalho, T. Kloss, X. Montiel

We address the timely issue of the presence of charge ordering at the hot-spots in the pseudo-gap phase of cuprate superconductors in the context of an emergent SU(2)-symmetry which relates the charge and pairing sectors. Performing the Hubbard-Stratonovich decoupling such that the free energy stays always real and physically meaningful we exhibit three solu

T. Tony Cai, Anru Zhang

Motivated by differential co-expression analysis in genomics, we consider in this paper estimation and testing of high-dimensional differential correlation matrices. An adaptive thresholding procedure is introduced and theoretical guarantees are given. Minimax rate of convergence is established and the proposed estimator is shown to be adaptively rate-optima

Benedict J. Broy, Diederik Roest, Alexander Westphal

Inflationary attractors predict the spectral index and tensor-to-scalar ratio to take specific values that are consistent with Planck. An example is the universal attractor for models with a generalised non-minimal coupling, leading to Starobinsky inflation. In this paper we demonstrate that it also predicts a specific relation between the amplitude of the p

Adam R. Brown

The non-perturbative instabilities of hot Kaluza-Klein spacetime are investigated. In addition to the known instability of hot space (the nucleation of 4D black holes) and the known instability of KK space (the nucleation of bubbles of nothing by quantum tunneling), we find two new instabilities: the nucleation of 5D black holes, and the nucleation of bubble

Manuel Behrendt, Andreas Burkert, Marc Schartmann

Gravitational instabilities play an important role in structure formation of gas-rich high-redshift disc galaxies. In this paper, we revisit the axisymmetric perturbation theory and the resulting growth of structure by taking the realistic thickness of the disc into account. In the unstable regime, which corresponds for thick discs to a Toomre parameter belo

Philip Kaaret

We review the basic principles of X-ray polarimetry and current detector technologies based on the photoelectric effect, Bragg reflection, and Compton scattering. Recent technological advances in high-spatial-resolution gas-filled X-ray detectors have enabled efficient polarimeters exploiting the photoelectric effect that hold great scientific promise for X-

Anna Barnacka, Margaret Geller, Ian P. Dell&#39;Antonio, Wystan Benbow

In principle, the most straightforward method of estimating the Hubble constant relies on time delays between mirage images of strongly-lensed sources. It is a puzzle, then, that the values of H0 obtained with this method span a range from 50 - 100 km/s/Mpc. Quasars monitored to measure these time delays, are multi-component objects. The variability may aris

Florian Kuhnel

An application of the quantum N-portrait to the Universe is discussed, wherein the space-time geometry is understood as a Bose-Einstein condensate of N soft gravitons. If near or at the critical point of a quantum phase transition, indications are found that the vacuum energy is partly suppressed by 1/N, as being due to quanta not in the condensate state. Ti

C. Maier, S. J. Lilly, B. L. Ziegler, zCOSMOS team

A relation between the stellar mass M and the gas-phase metallicity Z of galaxies, the MZR, is observed up to higher redshifts. It is a matter of debate, however, if the SFR is a second parameter in the MZR. To explore this issue at z > 1, we used VLT-SINFONI near-infrared (NIR) spectroscopy of eight zCOSMOS galaxies at 1.3 < z < 1.4 to measure the strengths

Gaber Faisel, Shu-Yu Ho, Jusak Tandean

We consider some implications of X-ray lines from certain astronomical objects as potential effects of dark matter decay in the context of the scotogenic model, where neutrinos acquire mass radiatively via one-loop interactions with dark matter. As an example, we focus on the 3.5 keV line recently detected in the X-ray spectra of galaxy clusters, assuming th

E. Conti, G. Collazuol, G. Sartori

We searched for the emission of microwave radiation in the Ku band generated by a 95 keV electron beam in air. We unequivocally detected the radiation, and measured its yield and angular dependence. Both the emitted power and its angular pattern are well described by a model, where microwave photons are generated via bremsstrahlung in the free-electron atomi

Gustavo Pulgar, Joel Saavedra, Genly Leon, Yoelsy Leyva

We study higher derivative terms associated with scalar field cosmology. We consider a coupling between the scalar field and the geometry inspired by the Pais-Uhlenbeck oscillator, given by $α\partial_μ\partial^μϕ\partial_ν\partial^νϕ.$ We investigate the cosmological dynamics in a phase space. For $α>0$, we provide conditions for the stability of de Sitter

David Möckli, E. V. L. de Mello

We present self-consistent calculations of the multi-gap structure measured in some Fe-based superconductors. These materials are known to have structural disorder in real space and a multi-gap structure due to the $3d$ Fe-orbitals contributing to a complex Fermi surface topology with hole and electron pockets. Different experiments identify three s-wave lik

Daniel A. Beller, Mohamed A. Gharbi, Iris B. Liu

The assembly of colloids in nematic liquid crystals via topological defects has been extensively studied for spherical particles, and investigations of other colloid shapes have revealed a wide array of new assembly behaviors. We show, using Landau-de Gennes numerical modeling, that nematic defect configurations and colloidal assembly can be strongly influen

Yoon Kim

We report on a series of experiments with convolutional neural networks (CNN) trained on top of pre-trained word vectors for sentence-level classification tasks. We show that a simple CNN with little hyperparameter tuning and static vectors achieves excellent results on multiple benchmarks. Learning task-specific vectors through fine-tuning offers further ga

Xiaolin Qin, Zhi Sun, Tuo Leng, Yong Feng

Computing the determinant of a matrix with the univariate and multivariate polynomial entries arises frequently in the scientific computing and engineering fields. In this paper, an effective algorithm is presented for computing the determinant of a matrix with polynomial entries using hybrid symbolic and numerical computation. The algorithm relies on the Ne

F. F. Freitas, C. A. de S. Pires, P. S. Rodrigues da Silva

The advent of the LHC, and the proposal of building future colliders as the ILC, both programmed to explore new physics at the TeV scale, justifies the recent interest in studying all kind of seesaw mechanisms whose signature lies on such energy scale. The natural candidate for this kind of seesaw mechanism is the inverse one. The conventional inverse seesaw

Marek Karliner, Jonathan L. Rosner

The large number of $B_c$ mesons observed by LHCb suggests a sizable cross section for producing doubly-heavy baryons in the same experiment. Motivated by this, we estimate masses of the doubly-heavy $J=1/2$ baryons $Ξ_{cc}$, $Ξ_{bb}$, and $Ξ_{bc}$, and their $J=3/2$ hyperfine partners, using a method which accurately predicts the masses of ground-state bary

Richard Rast, Davender Singh Sahota

Given a countable o-minimal theory T, we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the isomorphism problem for linear orders into the isomorphism problem for models of T. This is done by constructing models w

Mostafa Hesamiarshad, Mehdi Nadjafikhah

The Cartan&#39;s method of equivalence and moving coframe method has been applied to solve the local equivalence problem for KDV-type equations under the action of a pseudo-group of contact transformations. The structure equations, the sets of differential invariants for symmetry groups and equivalent conditions of these equations are found.

René Reimann, Wolfgang Alt, Tobias Kampschulte, Tobias Macha

We report on the observation of cooperative radiation of exactly two neutral atoms strongly coupled to the single mode field of an optical cavity, which is close to the lossless-cavity limit. Monitoring the cavity output power, we observe constructive and destructive interference of collective Rayleigh scattering for certain relative distances between the tw

Eliahu Cohen, Lev Vaidman, Yakir Aharonov

Current methods for measuring magnetic flux are based on performing many measurements over a large ensemble of electrons. We propose a novel method based on wavefunction &#34;revival&#34; for measuring the flux modulo hc/2e using only a single electron. A preliminary analysis of the feasibility of the experiment is provided.

Chris T. Woodward

This is the third in a sequence of papers in which we construct a quantum version of the Kirwan map from the equivariant quantum cohomology of a smooth polarized complex projective variety with the action of a connected complex reductive group to the orbifold quantum cohomology of its geometric invariant theory quotient, and prove that it intertwines the gen

Marina Iliopoulou

A point $x \in \mathbb{F}^n$ is a joint formed by a finite collection $\mathfrak{L}$ of lines in $\mathbb{F}^n$ if there exist at least $n$ lines in $\mathfrak{L}$ through $x$ that span $\mathbb{F}^n$. It is known that there are $\lesssim_n |\mathfrak{L}|^{\frac{n}{n-1}}$ joints formed by $\mathfrak{L}$. We say that a point $x \in \mathbb{F}^n$ is a multijoi

John Ellis

This talk reviews some of the theoretical progress and outstanding issues in QCD, flavour physics, Higgs and electroweak physics and the search for physics beyond the Standard Model at the Tevatron and the LHC, and previews some physics possibilities for future runs of the LHC and proposed future hadron colliders.

Heather Smith, László Székely, Hua Wang

The eccentricity of a vertex, $ecc_T(v) = \max_{u\in T} d_T(v,u)$, was one of the first, distance-based, tree invariants studied. The total eccentricity of a tree, $Ecc(T)$, is the sum of eccentricities of its vertices. We determine extremal values and characterize extremal tree structures for the ratios $Ecc(T)/ecc_T(u)$, $Ecc(T)/ecc_T(v)$, $ecc_T(u)/ecc_T(

Chris T. Woodward

This is the second in a sequence of papers in which we construct a quantum version of the Kirwan map from the equivariant quantum cohomology of a smooth polarized complex projective variety with the action of a connected complex reductive group to the orbifold quantum cohomology of its geometric invariant theory quotient, and prove that it intertwines the ge

Giuseppe Toscano, Jakob Straubel, Alexander Kwiatkowski, Carsten Rockstuhl

The standard hydrodynamic Drude model with hard-wall boundary conditions can give accurate quantitative predictions for the optical response of noble-metal nanoparticles. However, it is less accurate for other metallic nanosystems, where surface effects due to electron density spill-out in free space cannot be neglected. Here we address the fundamental quest

James Montaldi

Central configurations have been of great interest over many years, with the earliest examples due to Euler and Lagrange. There are numerous results in the literature demonstrating the existence of central configurations with specific symmetry properties, using slightly different techniques in each. The aim here is to describe a uniform approach by adapting

Alexander Ayriyan, Jan Busa, Eugeny E. Donets, Hovik Grigorian

A model of a multilayer device with non-trivial geometrical structure and nonlinear dependencies of thermodynamic material properties at cryogenic temperatures is suggested. A considered device, called cryogenic cell, is intended for use in multicharged ion sources for pulse injection of gaseous species into ionization space of ion sources. The main requirem

Mohammad Pouranvari, Yuhui Zhang, Kun Yang

We calculate numerically the entanglement entropy of free fermion ground states in one-, two- and three-dimensional Anderson models, and find that it obeys the area law as long as the linear size of the subsystem is sufficiently larger than the mean free path. This result holds in the metallic phase of the three-dimensional Anderson model, where the mean fre

F. D. Lora-Clavijo, A. Cruz-Osorio, F. S. Guzman

We introduce CAFE, a new independent code designed to solve the equations of Relativistic ideal Magnetohydrodynamics (RMHD) in 3D. We present the standard tests for a RMHD code and for the Relativistic Hydrodynamics (RHD) regime since we have not reported them before. The tests include the 1D Riemann problems related to blast waves, head-on collision of stre

Ahmed Farag Ali, Mohammed M. Khalil

Various approaches to quantum gravity such as string theory, loop quantum gravity and Horava-Lifshitz gravity predict modifications of the energy-momentum dispersion relation. Magueijo and Smolin incorporated the modified dispersion relation (MDR) with the general theory of relativity to yield a theory of gravity&#39;s rainbow. In this paper, we investigate

Thomas A. Ryttov

We search for infrared zeros of the beta function and evaluate the anomalous dimension of the mass at the associated fixed point for asymptotically free vector-like fermionic gauge theories with gauge group SU(N). The fixed points of the beta function are studied at the two, three and four loop level in two different explicit schemes. These are the modified

Xuhua He

In this paper, we prove a conjecture of Kottwitz and Rapoport on a union of (generalized) affine Deligne-Lusztig varieties $X(μ, b)_J$ for any tamely ramified group $G$ and its parahoric subgroup $P_J$. We show that $X(μ, b)_J \neq \emptyset$ if and only if the group-theoretic version of Mazur&#39;s inequality is satisfied. In the process, we obtain a genera

Xuhua He, Sian Nie

In this paper, we study the set $B(G, \{μ\})$ of acceptable elements for any $p$-adic group $G$. We show that $B(G, \{μ\})$ contains a unique maximal element and the maximal element is represented by an element in the admissible subset of the associated Iwahori-Weyl group.

S. A. Dyakov, J. Dai, M. Yan, M. Qiu

We report the concept of a near-field memory device based on the radiative bistability effect in the system of two closely separated parallel plates of SiO$_2$ and VO$_2$ which exchange heat by thermal radiation in vacuum. We demonstrate that the VO$_2$ plate, having metal-insulator transition at 340 K, has two thermodynamical steady-states. One can switch b

Sergey K. Tolpygo, Vladimir Bolkhovsky, Terence J. Weir, Leonard M. Johnson

A fabrication process for Nb/Al-AlOx/Nb Josephson junctions (JJs) with sizes down to 200 nm has been developed on a 200-mm-wafer tool set typical for CMOS foundry. This process is the core of several nodes of a roadmap for fully-planarized fabrication processes for superconductor integrated circuits with 4, 8, and 10 niobium layers developed at MIT Lincoln L

Sergey K. Tolpygo, Vladimir Bolkhovsky, T. J. Weir, C. J. Galbraith

Inductance of superconducting thin-film inductors and structures with linewidth down to 250 nm has been experimentally evaluated. The inductors include various striplines and microstrips, their 90-degree bends and meanders, interlayer vias, etc., typically used in superconducting digital circuits. The circuits have been fabricated by a fully planarized proce

Alen Alexanderian

We study the problem of characterizing the effective (homogenized) properties of materials whose diffusive properties are modeled with random fields. Focusing on elliptic PDEs with stationary and ergodic random coefficient functions, we provide a gentle introduction to the mathematical theory of homogenization of random media. We also present numerical examp

Shyamal Biswas, Saugata Bhattacharyya, Amit Agarwal

We explore Casimir effect on an interacting Bose-Einstein condensate (BEC) inside a cylindrical tube. The Casimir force for the confined BEC comprises of (i) a mean-field part arising from the spatial inhomogeneity of the condensate order parameter, and (ii) a quantum fluctuation part arising from the confinement of Bogoliubov excitations in the condensate.