title: Multivariate Fronthaul Quantization for Downlink C-RAN

abstract: The Cloud-Radio Access Network (C-RAN) cellular architecture relies on the transfer of complex baseband signals to and from a central unit (CU) over digital fronthaul links to enable the virtualization of the baseband processing functionalities of distributed radio units (RUs). The standard design of digital fronthauling is based on either scalar quantization or on more sophisticated point to-point compression techniques operating on baseband signals. Motivated by network-information theoretic results, techniques for fronthaul quantization and compression that improve over point-to-point solutions by allowing for joint processing across multiple fronthaul links at the CU have been recently proposed for both the uplink and the downlink. For the downlink, a form of joint compression, known in network information theory as multivariate compression, was shown to be advantageous under a non-constructive asymptotic information-theoretic framework. In this paper, instead, the design of a practical symbol-by-symbol fronthaul quantization algorithm that implements the idea of multivariate compression is investigated for the C-RAN downlink. As compared to current standards, the proposed multivariate quantization (MQ) only requires changes in the CU processing while no modification is needed at the RUs. The algorithm is extended to enable the joint optimization of downlink precoding and quantization, reduced-complexity MQ via successive block quantization, and variable-length compression. Numerical results, which include performance evaluations over standard cellular models, demonstrate the advantages of MQ and the merits of a joint optimization with precoding.


title: Quasilocal conservation laws from semicyclic irreducible representations of $U_q(\mathfrak{sl}_2)$ in $XXZ$ spin-$1/2$ chains

abstract: We construct quasilocal conserved charges in the gapless ($|\Delta| \le 1$) regime of the Heisenberg $XXZ$ spin-$1/2$ chain, using semicyclic irreducible representations of $U_q(\mathfrak{sl}_2)$. These representations are characterized by a periodic action of ladder operators, which act as generators of the aforementioned algebra. Unlike previously constructed conserved charges, the new ones do not preserve magnetization, i.e. they do not possess the $U(1)$ symmetry of the Hamiltonian. The possibility of application in relaxation dynamics resulting from $U(1)$-breaking quantum quenches is discussed.


title: Magnetic Impurity in a Tonks Gas of Fermions

abstract: In this letter we consider a magnetic impurity in a one-dimensional spin-$1/2$ Fermi gas with infinitely strong repulsive interaction between fermions. We rigorously prove that, independent of whether the magnetic coupling between impurity and fermions is ferromagnetic or anti-ferromagnetic, the ground state is always a fully polarized ferromagnetic state for the itinerant fermions. This ferromagnetism can be understood as a cooperative effect of avoiding frustration of magnetic coupling during fermion hopping and the large spin degeneracy of a fermion Tonks gas. By numerically diagonalizing a finite size system, we show that the spin gap first increases linearly with magnetic coupling strength in the weak coupling regime, while decreases in the strong coupling regime. Our results show that a magnetic impurity in a strongly correlated gas can exhibit effect different from the Kondo effect as in a weakly correlated Fermi liquid.


title: Probing crystallinity of graphene samples via the vibrational density of states

abstract: The purity of graphene samples is of crucial importance for their experimental and practical use. In this regard, the detection of the defects is of direct relevance. Here, we show that structural defects in graphene samples give rise to clear signals in the vibrational density of states (VDOS) at the specific peaks at high and low frequencies.These can be used as an independent probe of the defect density. In particular, we consider grain boundaries made of pentagon-heptagon pairs, and show that they lead to a shift of the characteristic vibrational D mode towards higher frequency; this distinguishes these line defects from the Stone-Wales point defects, which do not lead to such a shift. Our findings may be instrumental for the detection of structural lattice defects using experimental techniques that can directly measure VDOS, such as inelastic electron tunneling and inelastic neutron spectroscopy.


title: Properties of Excited Charm and Charm-Strange Mesons

abstract: We calculate the properties of excited charm and charm-strange mesons. We use the relativized quark model to calculate their masses and wavefunctions that are used to calculate radiative transition partial widths and the $^3P_0$ quark-pair-creation model to calculate their strong decay widths. We use these results to make quark model spectroscopic assignments for recently observed charm and charm-strange mesons. In particular we find that the properties of the $D_J(2550)^0$ and $D_J^*(2600)^0$ are consistent with those of the $2^1S_0(c\bar{u})$ and the $2^3S_1(c\bar{u})$ states respectively, the $D_1^*(2760)^0$, $D_3^*(2760)^-$, and $D_J(2750)^0$ with those of the $1^3D_1(c\bar{u})$, $1^3D_3(d\bar{c})$, and $1D_2(c\bar{u})$ states respectively. We tentatively identify the $D^*_J(3000)^0$ as the $1^3F_4(c\bar{u})$ and favour the $D_J(3000)^0$ to be the $3^1S_0(c\bar{u})$ although we do not rule out the $1F_3$ and $1F_3'$ assignment. For the recently observed charm-strange mesons we identify the $D_{s1}^*(2709)^\pm$, $D_{s1}^*(2860)^-$, and $D_{s3}^*(2860)^-$ as the $2^3S_1(c\bar{s})$, $1^3D_1(s\bar{c})$, and $1^3D_3(s\bar{c})$ states respectively and suggest that the $D_{sJ}(3044)^\pm$ is most likely the $D_{s1}(2P_1')$ or $D_{s1}(2P_1)$ states although it might be the $D_{s2}^*(2^3P_2)$ with the $DK$ final state too small to be observed with current statistics. Based on the predicted properties of excited states, that they not have too large a total width and they have a reasonable branching ratio to simple final states, we suggest states that should be able to be found in the near future. We expect that the tables of properties summarizing our results will be useful for interpreting future observations of charm and charm-strange mesons.


title: Electron-Muon Ranger: performance in the MICE Muon Beam

abstract: The Muon Ionization Cooling Experiment (MICE) will perform a detailed study of ionization cooling to evaluate the feasibility of the technique. To carry out this program, MICE requires an efficient particle-identification (PID) system to identify muons. The Electron-Muon Ranger (EMR) is a fully-active tracking-calorimeter that forms part of the PID system and tags muons that traverse the cooling channel without decaying. The detector is capable of identifying electrons with an efficiency of 98.6%, providing a purity for the MICE beam that exceeds 99.8%. The EMR also proved to be a powerful tool for the reconstruction of muon momenta in the range 100-280 MeV/$c$.


title: Extending and quantising the Vogel plane

abstract: After introducing the Vogel plane we give the quantisation. Then we extend the Vogel plane to include certain symmetric spaces and give the quantisation of this extension.


title: Chiral symmetries and Majorana fermions in coupled magnetic atomic chains on a superconductor

abstract: We study the magnetic structures and their connections with topological superconductivity due to proximity effect for coupled magnetic atomic chains deposited on a superconductor. Several magnetic phases are self-consistently determined, including both the coplanar and non-coplanar ones. For a $N$-chain triangular atomic ladder, topologically nontrivial superconducting states can always be realized, but strongly depend on its magnetic structure and the number of atomic chains. When $N$ is even, the topologically nontrivial states with noncoplanar structures are characterized by $\mathbb{Z}_{2}$ invariants, while the topologically nontrivial noncoplanar states with an odd $N$ are characterized by integer $\mathbb{Z}$ invariants, due to the presence of a new chiral symmetry. The new chiral symmetry for the noncoplanar states is found to be robust against the on-site disorder, as long as the crystal reflection symmetry is respected.


title: How much cosmological information can be measured?

abstract: It has become common to call this the "era of precision cosmology," and hence one rarely hears about the finiteness of the amount of information that is available for constraining cosmological parameters. Under the assumption that the perturbations are purely Gaussian, the amount of extractable information (in terms of total signal-to-noise ratio for power spectrum measurements) is the same (up to a small numerical factor) as an accounting of the number of observable modes. For studies of the microwave sky, we are probably within a factor of a few of the amount of accessible information. To dramatically reduce the uncertainties on parameters will require three-dimensional probes, such as ambitious future redshifted 21-cm surveys. However, even there the available information is still finite, with the total effective signal-to-noise ratio on parameters probably not exceeding $10^7$. The amount of observable information will increase with time (but very slowly) into the extremely distant future.


title: High velocity stars from the interaction of a globular cluster and a massive black hole binary

abstract: High velocity stars are stars moving at velocities so high to require an acceleration mechanism involving binary systems or the presence of a massive central black hole. In the frame of a galaxy hosting a supermassive black hole binary (of total mass $10^8$ M$_\odot$), we investigated a mechanism for the production of high velocity stars due to the close interaction between a massive and orbitally decayed globular cluster and the super massive black hole binary. Some stars of the cluster acquire high velocities by conversion of gravitational energy into kinetic energy deriving from their interaction with the black hole binary. After the interaction, few stars reach a velocity sufficient to overcome the galactic gravitational well, while some of them are just stripped from the globular cluster and start orbiting around the galactic centre.


title: Trees on hyperbolic honeycombs

abstract: In the hyperbolic plane there are infinite regular lattices. From a fix vertex of a lattice tree graphs can be constructed recursively to the next layers with edges of the lattice. In this article we examine the properties of the growing of trees and the probabilities of length of trees considering the vertices on level i.


title: Properties of superheavy nuclei with Z = 124

abstract: We employ Relativistic Mean Field (RMF) model with NL3 parametrization to investigate the ground state properties of superheavy nucleus, Z = 124. The nuclei selected (from among complete isotopic series) for detailed investigation show that the nucleon density at the center is very low and therefore, these nuclei can be treated as semi-bubble nuclei. The considerable shell gap appears at neutron numbers N = 172, 184 and 198 showing the magicity corresponding to these numbers. The results are compared with the macro-microscopic Finite Range Droplet Model (FRDM) wherever possible.


title: Boundary behavior of solutions to the parabolic p-Laplace equation

abstract: We establish boundary estimates for non-negative solutions to the p-parabolic equation in the degenerate range $p>2$. Our main results include new parabolic intrinsic Harnack chains in cylindrical NTA-domains together with sharp boundary decay estimates. If the underlying domain is $C^{1,1}$-regular, we establish a relatively complete theory of the boundary behavior, including boundary Harnack principles and H\"older continuity of the ratios of two solutions, as well as fine properties of associated boundary measures. There is an intrinsic waiting time phenomena present which plays a fundamental role throughout the paper. In particular, conditions on these waiting times rule out well-known examples of explicit solutions violating the boundary Harnack principle.


title: A Geometric Characterization of Certain First Integrals for Nonholonomic Systems with Symmetries

abstract: We study the existence of first integrals in nonholonomic systems with symmetry. First we define the concept of $\mathcal{M}$-cotangent lift of a vector field on a manifold $Q$ in order to unify the works [Balseiro P., Arch. Ration. Mech. Anal. 214 (2014), 453-501, arXiv:1301.1091], [Fass\`o F., Ramos A., Sansonetto N., Regul. Chaotic Dyn. 12 (2007), 579-588], and [Fass\`o F., Giacobbe A., Sansonetto N., Rep. Math. Phys. 62 (2008), 345-367]. Second, we study gauge symmetries and gauge momenta, in the cases in which there are the symmetries that satisfy the so-called vertical symmetry condition. Under such condition we can predict the number of linearly independent first integrals (that are gauge momenta). We illustrate the theory with two examples.


title: Measurement of an excess in the yield of J/$\psi$ at very low-$p_{\rm T}$ in Pb--Pb collisions with the ALICE detector

abstract: We report on the measurement of J/$\psi$ production at very low transverse momentum ($p_{\rm T} < $ 300 MeV/$c$) in Pb--Pb collisions performed with the ALICE detector at the LHC. We find an excess in the yield of J/$\psi$ with respect to expectations from hadronic production. Coherent photo-production of J/$\psi$ is proposed as a plausible origin of this excess. We show the nuclear modification factor of very low-$p_{\rm T}$ J/$\psi$ as a function of centrality. Then we measure the J/$\psi$ coherent photoproduction cross section in peripheral events assuming that it is the mechanism at the origin of the measured excess. It's worth noting that the observation of J/$\psi$ coherent photoproduction in Pb--Pb collisions at impact parameters smaller than twice the nuclear radius has never been observed so far and would open new theoretical challenges.


title: An all-optical Compton source for single-exposure X-ray imaging

abstract: All-optical Compton sources are innovative, compact devices to produce high energy femtosecond X-rays. Here we present results on a single-pulse scheme that uses a plasma mirror to reflect the drive beam of a laser plasma accelerator and to make it collide with the highly-relativistic electrons in its wake. The accelerator is operated in the self-injection regime, producing quasi-monoenergetic electron beams of around 150 MeV peak energy. Scattering with the intense femtosecond laser pulse leads to the emission of a collimated high energy photon beam. Using continuum-attenuation filters we measure significant signal content beyond 100 keV and with simulations we estimate a peak photon energy of around 500 keV. The source divergence is about 13 mrad and the pointing stability is 7 mrad. We demonstrate that the photon yield from the source is sufficiently high to illuminate a centimeter-size sample placed 90 centimeters behind the source, thus obtaining radiographs in a single shot.


title: Strong long-range relaxations of structural defects in graphene simulated using a new semi-empirical potential

abstract: We present a new semi-empirical potential for graphene, which includes also an out-of-plane energy term. This novel potential is developed from density functional theory (DFT) calculations for small numbers of atoms, and can be used for configurations with millions of atoms. Our simulations show that buckling caused by typical defects such as the Stone-Wales (SW) defect extends to hundreds of nanometers. Surprisingly, this long-range relaxation lowers the defect formation energy dramatically - by a factor of $2$ or $3$ - implying that previously published DFT-calculated defect formation energies suffer from large systematic errors. We also show the applicability of the novel potential to other long-range defects including line dislocations and grain boundaries, all of which exhibit pronounced out-of-plane relaxations. We show that the energy as a function of dislocation separation diverges logarithmically for flat graphene, but converges to a constant for free standing buckled graphene. A potential in which the atoms are attracted to the 2D plane restores the logarithmic behaviour of the energy. Future simulations employing this potential will elucidate the influence of the typical long-range buckling and rippling on the physical properties of graphene.


title: A Generic and Efficient E-field Parallel Imaging Correlator for Next-Generation Radio Telescopes

abstract: Modern radio telescopes are favouring densely packed array layouts with large numbers of antennas ($N_\textrm{A}\gtrsim 1000$). Since the complexity of traditional correlators scales as $\mathcal{O}(N_\textrm{A}^2)$, there will be a steep cost for realizing the full imaging potential of these powerful instruments. Through our generic and efficient E-field Parallel Imaging Correlator (EPIC), we present the first software demonstration of a generalized direct imaging algorithm, namely, the Modular Optimal Frequency Fourier (MOFF) imager. Not only does it bring down the cost for dense layouts to $\mathcal{O}(N_\textrm{A}\log_2 N_\textrm{A})$ but can also image from irregular layouts and heterogeneous arrays of antennas. EPIC is highly modular, parallelizable, implemented in object-oriented Python, and publicly available. We have verified the images produced to be equivalent to those from traditional techniques to within a precision set by gridding coarseness. We have also validated our implementation on data observed with the Long Wavelength Array (LWA1). We provide a detailed framework for imaging with heterogeneous arrays and show that EPIC robustly estimates the input sky model for such arrays. Antenna layouts with dense filling factors consisting of a large number of antennas such as LWA, the Square Kilometre Array, Hydrogen Epoch of Reionization Array, and Canadian Hydrogen Intensity Mapping Experiment will gain significant computational advantage by deploying an optimized version of EPIC. The algorithm is a strong candidate for instruments targeting transient searches of Fast Radio Bursts (FRB) as well as planetary and exoplanetary phenomena due to the availability of high-speed calibrated time-domain images and low output bandwidth relative to visibility-based systems.


title: Klein's "Erlanger Programm": do traces of it exist in physical theories?

abstract: A possible influence of Klein's Erlangen program on physical theories is investigated. While some connections are found, it is concluded that Lie's theory of transformation groups and Lie algebras have had a much larger impact. In this context, an extension to tangential Lie algebroids is discussed.


title: Networkcontrology

abstract: An increasing number of complex systems are now modeled as networks of coupled dynamical entities. Nonlinearity and high-dimensionality are hallmarks of the dynamics of such networks but have generally been regarded as obstacles to control. Here I discuss recent advances on mathematical and computational approaches to control high-dimensional nonlinear network dynamics under general constraints on the admissible interventions. I also discuss the potential of network control to address pressing scientific problems in various disciplines.

categories: cond-mat.dis-nn math.OC nlin.CD physics.soc-ph q-bio.MN


title: L\'evy Processes on Quantum Permutation Groups

abstract: We describe basic motivations behind quantum or noncommutative probability, introduce quantum L\'evy processes on compact quantum groups, and discuss several aspects of the study of the latter in the example of quantum permutation groups. The first half of this paper is a survey on quantum probability, compact quantum groups, and L\'evy processes on compact quantum groups. In the second half the theory is applied to quantum permutations groups. Explicit examples are constructed and certain classes of such L\'evy processes are classified.


title: Level repulsion exponent $\beta$ for Many-Body Localization Transitions and for Anderson Localization Transitions via Dyson Brownian Motion

abstract: The generalization of the Dyson Brownian Motion approach of random matrices to Anderson Localization (AL) models [Chalker, Lerner and Smith PRL 77, 554 (1996)] and to Many-Body Localization (MBL) Hamiltonians [Serbyn and Moore arxiv:1508.07293] is revisited to extract the level repulsion exponent $\beta$, where $\beta=1$ in the delocalized phase governed by the Wigner-Dyson statistics, $\beta=0$ in the localized phase governed by the Poisson statistics, and $0<\beta_c<1$ at the critical point. The idea is that the Gaussian disorder variables $h_i$ are promoted to Gaussian stationary processes $h_i(t)$ in order to sample the disorder stationary distribution with some time correlation $\tau$. The statistics of energy levels can be then studied via Langevin and Fokker-Planck equations. For the MBL quantum spin Hamiltonian with random fields $h_i$, we obtain $\beta =2q^{EA}_{n,n+1}(N)/q^{EA}_{n,n}(N) $ in terms of the Edwards-Anderson matrix $q^{EA}_{nm}(N) \equiv \frac{1}{N} \sum_{i=1}^N | < \phi_n | \sigma_i^z | \phi_m> |^2 $ for the same eigenstate $m=n$ and for consecutive eigenstates $m=n+1$. For the Anderson Localization tight-binding Hamiltonian with random on-site energies $h_i$, we find $\beta =2 Y_{n,n+1}(N)/(Y_{n,n}(N)-Y_{n,n+1}(N)) $ in terms of the Density Correlation matrix $Y_{nm}(N) \equiv \sum_{i=1}^N | < \phi_n | i> |^2 | <i | \phi_m> |^2 $ for consecutive eigenstates $m=n+1$, while the diagonal element $m=n$ corresponds to the Inverse Participation Ratio $Y_{nn}(N) \equiv \sum_{i=1}^N | < \phi_n | i> |^4 $ of the eigenstate $| \phi_n>$.


title: On the dual problem of utility maximization in incomplete markets

abstract: In this paper, we study the dual problem of the expected utility maximization in incomplete markets with bounded random endowment. We start with the problem formulated in the paper of Cvitani\'{c}-Schachermayer-Wang (2001) and prove the following statement: in the Brownian framework, the countably additive part $Q^r$ of the dual optimizer $Q\in (L^\infty)^*$ obtained in that paper can be represented by the terminal value of a supermartingale deflator $Y$ defined in the paper of Kramkov-Schachermayer (1999), which is a local martingale.


title: Modernizing the SI: implications of recent progress with the fundamental constants

abstract: Recent proposals to re-define some of the base units of the SI make use of definitions that refer to fixed numerical values of certain constants. We review these proposals in the context of the latest results of the least-squares adjustment of the fundamental constants and against the background of the difficulty experienced with communicating the changes. We show that the benefit of a definition of the kilogram made with respect to the atomic mass constant (mu) may now be significantly stronger than when the choice was first considered 10 years ago.


title: The Herschel Point Source Catalogue

abstract: The Herschel Space Observatory was the fourth cornerstone mission in the European Space Agency (ESA) science programme with excellent broad band imaging capabilities in the sub-mm and far-infrared part of the spectrum. Although the spacecraft finished its observations in 2013, it left a large legacy dataset that is far from having been fully scrutinised and still has a large potential for new scientific discoveries. This is specifically true for the photometric observations of the PACS and SPIRE instruments. Some source catalogues have already been produced by individual observing programs, but there are many observations that risk to remain unexplored. To maximise the science return of the SPIRE and PACS data sets, we are in the process of building the Herschel Point Source Catalogue (HPSC) from all primary and parallel mode observations. Our homogeneous source extraction enables a systematic and unbiased comparison of sensitivity across the different Herschel fields that single programs will generally not be able to provide. The catalogue will be made available online through archives like the Herschel Science Archive (HSA), the Infrared Science Archive (IRSA), and the Strasbourg Astronomical Data Center (CDS).


title: On Airy Solutions of the Second Painlev\'e Equation

abstract: In this paper we discuss Airy solutions of the second Painlev\'e equation (\mbox{\rm P$_{\rm II}$}) and two related equations, the Painlev\'e XXXIV equation ($\mbox{\rm P}_{34}$) and the Jimbo-Miwa-Okamoto $\sigma$ form of \mbox{\rm P$_{\rm II}$}\ (\mbox{\rm S$_{\rm II}$}), are discussed. It is shown that solutions which depend only on the Airy function $\mathop{\rm Ai}\nolimits(z)$ have a completely difference structure to those which involve a linear combination of the Airy functions $\mathop{\rm Ai}\nolimits(z)$ and $\mathop{\rm Bi}\nolimits(z)$. For all three equations, the special solutions which depend only on $\mathop{\rm Ai}\nolimits(t)$ are \textit{tronqu\'ee} solutions, i.e.\ they have no poles in a sector of the complex plane. Further for both $\mbox{\rm P}_{34}$\ and \mbox{\rm S$_{\rm II}$}, it is shown that amongst these \textit{tronqu\'ee} solutions there is a family of solutions which have no poles on the real axis.


title: On the comparison of energy sources: feasibility of radio frequency and ambient light harvesting

abstract: With growing interest in multi source energy harvesting including integrated microchips we propose a comparison of radio frequency (RF) and solar energy sources in a typical city. Harvesting devices for RF and solar energy will be competing for space of a compact micro or nano device as well as for orientation with respect to the energy source. This is why it is important to investigate importance of every source of energy and make a decision whether it will be worthwhile to include such harvesters. We considered theoretically possible irradiance by RF signal in different situations, typical for the modern urban environment and compared it with ambient solar energy sources available through the night, including moon light. Our estimations show that solar light energy dominates by far margin practically all the time, even during the night, if there is a full moon in the absence of clouds. At the same time, in the closed compartments or at the new moon RF harvesting can be beneficial as a source of "free" energy.


title: Reaction-Diffusion Degradation Model for Delayed Erosion of Cross-Linked Polyanhydride Biomaterials

abstract: We develop a theoretical model to explain the long induction interval of water intake that precedes the onset of erosion due to degradation caused by hydrolysis in the recently synthesized and studied cross-linked polyanhydrides. Various kinetic mechanisms are incorporated in the model in an attempt to explain the experimental data for the mass loss profile. Our key finding is that the observed long induction interval is attributable to the nonlinear dependence of the degradation rate constants on the local water concentration, which essentially amounts to the breakdown of the standard rate-equation approach, potential causes for which are then discussed. Our theoretical results offer physical insights into which microscopic studies will be required to supplement the presently available macroscopic mass-loss data in order to fully understand the origin of the observed behavior.


title: Off-disk straylight measurements for the Swedish 1-meter Solar Telescope

abstract: Context. Accurate photometry with ground based solar telescopes requires characterization of straylight. Scattering in Earth's atmosphere and in the telescope optics are potentially significant sources of straylight, for which the point spread function (PSF) has wings that reach very far. This kind of straylight produces an aureola, extending several solar radii off the solar disk. Aims. We want to measure such straylight using the ordinary science instrumentation. Methods. We scanned the intensity on and far off the solar disk by use of the science cameras in several different wavelength bands on a day with low-dust conditions. We characterized the far wing straylight by fitting a model to the recorded intensities involving a multi-component straylight PSF and the limb darkening of the disk. Results. The measured scattered light adds an approximately constant fraction of the local granulation intensity to science images at any position on the disk. The fraction varied over the day but never exceeded a few percent. The PSFs have weak tails that extend to several solar radii but most of the scattered light originates within ~1'. Conclusions. Far-wing scattered light contributes only a small amount of straylight in SST data. Other sources of straylight are primarily responsible for the reduced contrast in SST images.


title: Common slot lemmas in characteristic 2

abstract: The Hilbert symbol $(\cdot,\cdot )$ from characteristic $\neq 2$ has two analogues in characteristic $2$, $[\cdot,\cdot )$ and $((\cdot,\cdot ))$. In characteristic $\neq 2$ we have a well known result called the common slot lemma or the chain lemma. It involves the symbol $(\cdot,\cdot )$. This result has three analogues in characteristic $2$. Two of these analogues involve the symbol $[\cdot,\cdot )$ and one involves $((\cdot,\cdot ))$. So far only one of these analogues has been considered. In this paper we state and prove the remaining two analogues.


title: Structurally Cyclic Petri Nets

abstract: A Petri net is structurally cyclic if every configuration is reachable from itself in one or more steps. We show that structural cyclicity is decidable in deterministic polynomial time. For this, we adapt the Kosaraju's approach for the general reachability problem for Petri nets.


title: A theory on power in networks

abstract: The eigenvector centrality equation $\lambda x = A \, x$ is a successful compromise between simplicity and expressivity. It claims that central actors are those connected with central others. For at least 70 years, this equation has been explored in disparate contexts, including econometrics, sociometry, bibliometrics, Web information retrieval, and network science. We propose an equally elegant counterpart: the power equation $x = A x^{\div}$, where $x^{\div}$ is the vector whose entries are the reciprocal of those of $x$. It asserts that power is in the hands of those connected with powerless others. It is meaningful, for instance, in bargaining situations, where it is advantageous to be connected to those who have few options. We tell the parallel, mostly unexplored story of this intriguing equation.


title: Quantum Mirror Symmetry for Borcea-Voisin Threefolds

abstract: Borcea-Voisin threefolds provided some of the first examples of mirror pairs in the Hodge-theoretic sense, but their mirror symmetry at the quantum level have not previously been shown. We prove a Givental-style quantum mirror theorem for certain Borcea-Voisin threefolds: by means of certain birational models, we show that their Gromov-Witten J-functions are related by a mirror map to solutions of the multi-parameter Picard-Fuchs equations coming from the variation of Hodge structures of their mirror partners.


title: Toward fault-tolerant parallel-in-time integration with PFASST

abstract: We introduce and analyze different strategies for the parallel-in-time integration method PFASST to recover from hard faults and subsequent data loss. Since PFASST stores solutions at multiple time steps on different processors, information from adjacent steps can be used to recover after a processor has failed. PFASST's multi-level hierarchy allows to use the coarse level for correcting the reconstructed solution, which can help to minimize overhead. A theoretical model is devised linking overhead to the number of additional PFASST iterations required for convergence after a fault. The potential efficiency of different strategies is assessed in terms of required additional iterations for examples of diffusive and advective type.


title: A Stochastic Electricity Market Clearing Formulation with Consistent Pricing Properties

abstract: We argue that deterministic market clearing formulations introduce arbitrary distortions between day-ahead and expected real-time prices that bias economic incentives and block diversification. We extend and analyze the stochastic clearing formulation proposed by Pritchard et al. (2010) in which the social surplus function induces penalties between day-ahead and real-time quantities. We prove that the formulation yields price distortions that are bounded by the bid prices, and we show that adding a similar penalty term to transmission flows and phase angles ensures boundedness throughout the network. We prove that when the price distortions are zero, day-ahead quantities converge to the quantile of real-time counterparts. The undesired effects of price distortions suggest that stochastic settings provide significant benefits over deterministic ones that go beyond social surplus improvements. We propose additional metrics to evaluate these benefits.


title: Tight error bounds for rank-1 lattice sampling in spaces of hybrid mixed smoothness

abstract: We consider the approximate recovery of multivariate periodic functions from a discrete set of function values taken on a rank-$s$ integration lattice. The main result is the fact that any (non-)linear reconstruction algorithm taking function values on a rank-$s$ lattice of size $M$ has a dimension-independent lower bound of $2^{-(\alpha+1)/2} M^{-\alpha/2}$ when considering the optimal worst-case error with respect to function spaces of (hybrid) mixed smoothness $\alpha>0$ on the $d$-torus. We complement this lower bound with upper bounds that coincide up to logarithmic terms. These upper bounds are obtained by a detailed analysis of a rank-1 lattice sampling strategy, where the rank-1 lattices are constructed by a component-by-component (CBC) method. This improves on earlier results obtained in [25] and [27]. The lattice (group) structure allows for an efficient approximation of the underlying function from its sampled values using a single one-dimensional fast Fourier transform. This is one reason why these algorithms keep attracting significant interest. We compare our results to recent (almost) optimal methods based upon samples on sparse grids.


title: A Finiteness Property of Torus Invariants

abstract: In this paper the invariant subring $R_n$ of an algebraic torus $T=(\mathbb{C}^\times)^r$ acting on the multi-homogenous polynomial ring $$S^{\boxtimes n}=\bigoplus_{d=0}^\infty (S^{(d)})^{\otimes n},$$ where $S^{(d)}$ is the $d$th graded piece of the polynomial ring $S=\mathbb{C}[x_1,\dots,x_k]$, is studied from the viewpoint of matrices whose entries sum to zero. Using these weight matrices we prove that there exists a $d_1$ such that for all positive integers $n$, the relations of the invariant subring $R_n$ are generated in multi-homogenous degree $\leq d_1$. Grant: 0943832


title: Strain-induced large band-gap topological insulator in a new stable silicon allotrope: dumbbell silicene

abstract: By the generalized gradient approximation in framewok of density functional theory, we investigate a 2D topological insulator of new silicon allotrope (call dumbbell silicene synthesized recently by Cahangirov et al) through tuning external compression strain, and find a topological quantum phase transition from normal to topological insulator, i.e., the dumbbell silicene can turn a two-dimensional topological insulator with an inverted band gap. The obtained maximum topological nontrivial band gap about 12 meV under isotropic strain is much larger than that for previous silicene, and can be further improved to 36 meV by tuning anisotropic strain, which is sufficiently large to realize quantum spin Hall effect even at room-temperature, and thus is beneficial to the fabrication of high-speed spintronics devices. Furthermore, we confirm that the boron nitride sheet is an ideal substrate for the experimental realization of the dumbbell silicene under external strain, maintaining its nontrivial topology. These properties make the two-dimensional dumbbell silicene a good platform to study novel quantum states of matter, showing great potential for future applications in modern silicon-based microelectronics industry.


title: Towards the understanding of the origin of charge-current-induced spin voltage signals in the topological insulator Bi$_2$Se$_3$

abstract: Topological insulators provide a new platform for spintronics due to the spin texture of the surface states that are topologically robust against elastic backscattering. Here, we report on an investigation of the measured voltage obtained from efforts to electrically probe spin-momentum locking in the topological insulator Bi$_2$Se$_3$ using ferromagnetic contacts. Upon inverting the magnetization of the ferromagnetic contacts, we find a reversal of the measured voltage. Extensive analysis of the bias and temperature dependence of this voltage was done, considering the orientation of the magnetization relative to the current. Our findings indicate that the measured voltage can arise due to fringe-field-induced Hall voltages, different from current-induced spin polarization of the surface state charge carriers, as reported recently. Understanding the nontrivial origin of the measured voltage is important for realizing spintronic devices with topological insulators.


title: Gravitational Rutherford scattering and Keplerian orbits for electrically charged bodies in heterotic string theory

abstract: Properties of the motion of electrically charged particles in the background of the Gibbons-Maeda-Garfinkle-Horowitz-Strominger (GMGHS) black hole is presented in this paper. Radial and angular motion are studied analytically for different values of the fundamental parameter. Therefore, gravitational Rutherford scattering and Keplerian orbits are analysed in detail. Finally, this paper complements previous work by Fernando for null geodesics (Phys. Rev. D 85: 024033, 2012), Olivares & Villanueva (Eur. Phys. J. C 73: 2659, 2013) and Blaga (Automat. Comp. Appl. Math. 22, 41 (2013); Serb. Astron. J. 190, 41 (2015)) for time-like geodesics.


title: Bounds on Variance for Unimodal Distributions

abstract: We show a direct relationship between the variance and the differential entropy for subclasses of symmetric and asymmetric unimodal distributions by providing an upper bound on variance in terms of entropy power. Combining this bound with the well-known entropy power lower bound on variance, we prove that the variance of the appropriate subclasses of unimodal distributions can be bounded below and above by the scaled entropy power. As differential entropy decreases, the variance is sandwiched between two exponentially decreasing functions in the differential entropy. This establishes that for the subclasses of unimodal distributions, the differential entropy can be used as a surrogate for concentration of the distribution.


title: Electron neutrino charged-current quasielastic scattering in the MINERvA experiment

abstract: The electron-neutrino charged-current quasielastic (CCQE) cross section on nuclei is an important input parameter to appearance-type neutrino oscillation experiments. Current experiments typically work from the muon neutrino cross section and apply corrections from theoretical arguments to obtain a prediction for the electron neutrino cross section, but to date there has been no experimental verification of the estimates for this channel at an energy scale appropriate to such experiments. We present the first measurement of an exclusive reaction in few-GeV electron neutrino interactions, namely, the cross section for a CCQE-like process, made using the MINERvA detector. The result is given as differential cross-sections vs. the electron energy, electron angle, and square of the four-momentum transferred to the nucleus, $Q^2$. We also compute the ratio to a muon neutrino cross-section in $Q^2$ from MINERvA. We find satisfactory agreement between this measurement and the predictions of the GENIE generator.


title: Koszul Duality for Quasi-split Real Groups

abstract: We establish a categorical version of Vogan duality for quasi-split real groups. This proves a conjecture of Soergel in the quasi-split case.


title: A general approximation for the dynamics of quantitative traits

abstract: Selection, mutation and random drift affect the dynamics of allele frequencies and consequently of quantitative traits. While the macroscopic dynamics of quantitative traits can be measured, the underlying allele frequencies are typically unobserved. Can we understand how the macroscopic observables evolve without following these microscopic processes? The problem has previously been studied by analogy with statistical mechanics: the allele frequency distribution at each time is approximated by the stationary form, which maximizes entropy. We explore the limitations of this method when mutation is small ($4N\!\mu<1$) so that populations are typically close to fixation and we extend the theory in this regime to account for changes in mutation strength. We consider a single diallelic locus under either directional selection, or with over-dominance, and then generalise to multiple unlinked biallelic loci with unequal effects. We find that the maximum entropy approximation is remarkably accurate, even when mutation and selection change rapidly.


title: A polynomial expansion line search for large-scale unconstrained minimization of smooth L2-regularized loss functions, with implementation in Apache Spark

abstract: In large-scale unconstrained optimization algorithms such as limited memory BFGS (LBFGS), a common subproblem is a line search minimizing the loss function along a descent direction. Commonly used line searches iteratively find an approximate solution for which the Wolfe conditions are satisfied, typically requiring multiple function and gradient evaluations per line search, which is expensive in parallel due to communication requirements. In this paper we propose a new line search approach for cases where the loss function is analytic, as in least squares regression, logistic regression, or low rank matrix factorization. We approximate the loss function by a truncated Taylor polynomial, whose coefficients may be computed efficiently in parallel with less communication than evaluating the gradient, after which this polynomial may be minimized with high accuracy in a neighbourhood of the expansion point. Our Polynomial Expansion Line Search (PELS) was implemented in the Apache Spark framework and used to accelerate the training of a logistic regression model on binary classification datasets from the LIBSVM repository with LBFGS and the Nonlinear Conjugate Gradient (NCG) method. In large-scale numerical experiments in parallel on a 16-node cluster with 256 cores using the URL, KDDA, and KDDB datasets, the PELS approach produced significant convergence improvements compared to the use of classical Wolfe line searches. For example, to reach the final training label prediction accuracies, LBFGS using PELS had speedup factors of 1.8--2 over LBFGS using a Wolfe line search, measured by both the number of iterations and the time required, due to the better accuracy of step sizes computed in the line search. PELS has the potential to significantly accelerate large-scale regression and factorization computations, and is applicable to continuous optimization problems with smooth loss functions.


title: Connecting the evolution of thermally pulsing asymptotic giant branch stars to the chemistry in their circumstellar envelopes -- I. The case of hydrogen cyanide

abstract: We investigate the formation of hydrogen cyanide (HCN) in the inner circumstellar envelopes of thermally pulsing asymptotic giant branch (TP-AGB) stars. A dynamic model for periodically shocked atmospheres, which includes an extended chemo-kinetic network, is for the first time coupled to detailed evolutionary tracks for the TP-AGB phase computed with the COLIBRI code. We carried out a calibration of the main shock parameters (the shock formation radius and the effective adiabatic index) using the circumstellar HCN abundances recently measured for a populous sample of pulsating TP-AGB stars. Our models recover the range of the observed HCN concentrations as a function of the mass-loss rates, and successfully reproduce the systematic increase of HCN moving along the M-S-C chemical sequence of TP-AGB stars, that traces the increase of the surface C/O ratio. The chemical calibration brings along two important implications: i) the first shock should emerge very close to the photosphere, and ii) shocks are expected to have a dominant isothermal character in the denser region close to the star (within ~ 3-4 R), implying that radiative processes should be quite efficient. Our analysis also suggests that the HCN concentrations in the inner circumstellar envelopes are critically affected by the H-H2 chemistry during the post-shock relaxation stages.


title: On the periodic and asymptotically periodic nonlinear Helmholtz equation

abstract: In the first part of this paper, the existence of infinitely many $L^p$-standing wave solutions for the nonlinear Helmholtz equation $$ -\Delta u -\lambda u=Q(x)|u|^{p-2}u\quad\text{ in }\mathbb{R}^N $$ is proven for $N\geq 2$ and $\lambda>0$, under the assumption that $Q$ be a nonnegative, periodic and bounded function and the exponent $p$ lies in the Helmholtz subcritical range. In a second part, the existence of a nontrivial solution is shown in the case where the coefficient $Q$ is only asymptotically periodic.


title: Beyond the Standard Model with noncommutative geometry, strolling towards quantum gravity

abstract: Noncommutative geometry, in its many incarnations, appears at the crossroad of various researches in theoretical and mathematical physics: from models of quantum space-time (with or without breaking of Lorentz symmetry) to loop gravity and string theory, from early considerations on UV-divergencies in quantum field theory to recent models of gauge theories on noncommutative spacetime, from Connes description of the standard model of elementary particles to recent Pati-Salam like extensions. We list several of these applications, emphasizing also the original point of view brought by noncommutative geometry on the nature of time. This text serves as an introduction to the volume of proceedings of the parallel session "Noncommutative geometry and quantum gravity", as a part of the conference "Conceptual and technical challenges in quantum gravity" organized at the University of Rome "La Sapienza" in September 2014.


title: Magnetic structures and Z_2 vortices in a non-Abelian gauge model

abstract: The magnetic order of the triangular lattice with antiferromagnetic interactions is described by an SO(3) field and allows for the presence of Z2 magnetic vortices as defects. In this work we show how these Z2 vortices can be fitted into a local SU(2) gauge theory. We propose simple Ansatzes for vortex configurations and calculate their energies using well-known results of the Abelian gauge model. We comment on how Dzyaloshinskii-Moriya interactions could be derived from a non-Abelian gauge theory and speculate on their effect on non trivial configurations.


title: Tests for complete $K$-spectral sets

abstract: Let $\Phi$ be a family of functions analytic in some neighborhood of a complex domain $\Omega$, and let $T$ be a Hilbert space operator whose spectrum is contained in $\overline\Omega$. Our typical result shows that under some extra conditions, if the closed unit disc is complete $K'$-spectral for $\phi(T)$ for every $\phi\in \Phi$, then $\overline\Omega$ is complete $K$-spectral for $T$ for some constant $K$. In particular, we prove that under a geometric transversality condition, the intersection of finitely many $K'$-spectral sets for $T$ is again $K$-spectral for some $K\ge K'$. These theorems generalize and complement results by Mascioni, Stessin, Stampfli, Badea-Beckerman-Crouzeix and others. We also extend to non-convex domains a result by Putinar and Sandberg on the existence of a skew dilation of $T$ to a normal operator with spectrum in $\partial\Omega$. As a key tool, we use the results from our previous paper on traces of analytic uniform algebras.


title: Conforming the measured lifetimes of the $5d \ ^2D_{3/2,5/2}$ states in Cs with theory

abstract: We find very good agreement between our theoretically evaluated lifetimes of the $5d \ ^2D_{3/2}$ and $5d \ ^2D_{5/2}$ states of Cs with the experimental values reported in [Phys. Rev. A {\bf 57}, 4204 (1998)], which were earlier evinced to be disagreeing with an earlier rigorous theoretical study [Phys. Rev. A {\bf 69}, 040501(R) (2004)] and with another precise measurement [Opt. Lett. {\bf 21}, 74 (1996)]. In this work, we have carried out calculations of the radiative transition matrix elements using many variants of relativistic many-body methods, mainly in the coupled-cluster theory framework, and analyze propagation of the electron correlation effects to elucidate their roles for accurate evaluations of the matrix elements. We also demonstrate contributions explicitly from the Dirac-Coulomb interactions, frequency independent Breit interaction and lower order quantum electrodynamics (QED) effects. Uncertainties to these matrix elements due to different possible sources of errors are estimated. By combining our calculated radiative matrix elements with the experimental values of the transition wavelengths, we obtain the transition probabilities due to both the allowed and lower order forbidden channels. Adding these quantities together, the lifetimes of the above two states are determined precisely and plausible reasons for the reported inconsistencies between the earlier theoretical calculations and the experimental results have been pointed out.


title: Quantum Oracle Classification - The Case of Group Structure

abstract: The Quantum Oracle Classification (QOC) problem is to classify a function, given only quantum black box access, into one of several classes without necessarily determining the entire function. Generally, QOC captures a very wide range of problems in quantum query complexity. However, relatively little is known about many of these problems. In this work, we analyze the a subclass of the QOC problems where there is a group structure. That is, suppose the range of the unknown function A is a commutative group G, which induces a commutative group law over the entire function space. Then we consider the case where A is drawn uniformly at random from some subgroup A of the function space. Moreover, there is a homomorpism f on A, and the goal is to determine f(A). This class of problems is very general, and covers several interesting cases, such as oracle evaluation; polynomial interpolation, evaluation, and extrapolation; and parity. These problems are important in the study of message authentication codes in the quantum setting, and may have other applications. We exactly characterize the quantum query complexity of every instance of QOC with group structure in terms of a particular counting problem. That is, we provide an algorithm for this general class of problems whose success probability is determined by the solution to the counting problem, and prove its exact optimality. Unfortunately, solving this counting problem in general is a non-trivial task, and we resort to analyzing special cases. Our bounds unify some existing results, such as the existing oracle evaluation and parity bounds. In the case of polynomial interpolation and evaluation, our bounds give new results for secret sharing and information theoretic message authentication codes in the quantum setting.


title: Dispersing Envelope around the Keplerian Circumbinary Disk in L1551 NE and its Implications for the Binary Growth

abstract: We performed mapping observations of the Class I protostellar binary system L1551 NE in the C$^{18}$O ($J$=3-2), $^{13}$CO ($J$=3-2), CS ($J$=7-6), and SO ($J_N$=7$_8$-6$_7$) lines with Atacama Submillimeter Telescope Experiment (ASTE). The ASTE C$^{18}$O data are combined with our previous SMA C$^{18}$O data, which show a $r \sim$300-AU scale Keplerian disk around the protostellar binary system. The C$^{18}$O maps show a $\sim$20000-AU scale protostellar envelope surrounding the central Keplerian circumbinary disk. The envelope exhibits a northeast (blue) - southwest (red) velocity gradient along the minor axis, which can be interpreted as a dispersing gas motion with an outward velocity of 0.3 km s$^{-1}$, while no rotational motion in the envelope is seen. In addition to the envelope, two $\lesssim$4000 AU scale, high-velocity ($\gtrsim$1.3 km s$^{-1}$) redshifted $^{13}$CO and CS emission components are found to $\sim$40$^{\prime\prime}$ southwest and $\sim$20$^{\prime\prime}$ west of the protostellar binary. These redshifted components are most likely outflow components driven from the neighboring protostellar source L1551 IRS 5, and are colliding with the envelope in L1551 NE. The net momentum, kinetic and internal energies of the L1551 IRS 5 outflow components are comparable to those of the L1551 NE envelope, and the interactions between the outflows and the envelope are likely to cause the dissipation of the envelope and thus suppression of the further growth of the mass and mass ratio of the central protostellar binary in L1551 NE.


title: Spontaneous symmetry breaking and masses numerical results in DFR noncommutative space-time

abstract: With the elements of the Doplicher, Fredenhagen and Roberts (DFR) noncommutative formalism, we have constructed the standard electroweak model. To accomplish this task we have begun with the WM-product basis group of symmetry. We have introduced the spontaneous symmetry breaking and the hypercharge in DFR framework. The electroweak symmetry breaking was analyzed and the masses of the new bosons were computed.


title: Parity-time symmetry-breaking mechanism of dynamic Mott transitions in dissipative systems

abstract: We describe the critical behavior of electric field-driven (dynamic) Mott insulator-to-metal transitions in dissipative Fermi and Bose systems in terms of non-Hermitian Hamiltonians invariant under simultaneous parity (P) and time-reversal (T) operations. The dynamic Mott transition is identified as a PT symmetry-breaking phase transition, with the Mott insulating state corresponding to the regime of unbroken PT symmetry with a real energy spectrum. We establish that the imaginary part of the Hamiltonian arises from the combined effects of the driving field and inherent dissipation. We derive the renormalization and collapse of the Mott gap at the dielectric breakdown and describe the resulting critical behavior of transport characteristics. The obtained critical exponent is in an excellent agreement with experimental findings.


title: Mass-loss rate by the Mira in the symbiotic binary V1016 Cygni from Raman scattering

abstract: The mass-loss rate from Mira variables represents a key parameter in our understanding of their evolutionary tracks. We introduce a method for determining the mass-loss rate from the Mira component in D-type symbiotic binaries via the Raman scattering of atomic hydrogen in the wind from the giant. Using our method, we investigated Raman HeII 1025\AA\ --> 6545\AA\ conversion in the spectrum of the symbiotic Mira V1016 Cyg. We determined its efficiency to be 0.102 and 0.148, and the corresponding mass-loss rate 2.0 (+0.1/-0.2) x 1E-6 and 2.7 (+0.2/-0.1) x 1E-6 M(Sun)/year, using our spectra from 2006 April and 2007 July,respectively. Our values of the mass-loss rate that we derived from Raman scattering are comparable with those obtained independently by other methods. Applying the method to other Mira-white dwarf binary systems can provide a necessary constraint in the calculation of asymptotic giant branch evolution.


title: A generalized detailed balance relation

abstract: Given a system $M$ in a thermal bath we obtain a generalized detailed balance relation for the ratio $r=\pi_\tau(K\to J)/\pi_\tau(J\to K)$ of the transition probabilities $M:J\to K$ and $M:K\to J$ in time $\tau$. We assume an active bath, containing solute molecules in metastable states. These molecules may react with $M$ and the transition $J\to K$ occurs through different channels $\alpha$ involving different reactions with the bath. We find that $r=\sum p^\alpha r^\alpha$, where $p^\alpha$ is the probability that channel $\alpha$ occurs, and $r^\alpha$ depends on the amount of heat (more precisely enthalpy) released to the bath in channel $\alpha$.

categories: physics.bio-ph math-ph math.MP physics.chem-ph


title: X-Ray Polarimetry with the Polarization Spectroscopic Telescope Array (PolSTAR)

abstract: This paper describes the Polarization Spectroscopic Telescope Array (PolSTAR), a mission proposed to NASA's 2014 Small Explorer (SMEX) announcement of opportunity. PolSTAR measures the linear polarization of 3-50 keV (requirement; goal: 2.5-70 keV) X-rays probing the behavior of matter, radiation and the very fabric of spacetime under the extreme conditions close to the event horizons of black holes, as well as in and around magnetars and neutron stars. The PolSTAR design is based on the technology developed for the Nuclear Spectroscopic Telescope Array (NuSTAR) mission launched in June 2012. In particular, it uses the same X-ray optics, extendable telescope boom, optical bench, and CdZnTe detectors as NuSTAR. The mission has the sensitivity to measure ~1% linear polarization fractions for X-ray sources with fluxes down to ~5 mCrab. This paper describes the PolSTAR design as well as the science drivers and the potential science return.


title: Improved error thresholds for measurement-free error correction

abstract: Motivated by limitations and capabilities of neutral atom qubits, we examine whether measurement-free error correction can produce practical error thresholds. We show that this can be achieved by extracting redundant syndrome information, giving our procedure extra fault tolerance and eliminating the need for ancilla verification. The procedure is particularly favorable when multi-qubit gates are available for the correction step. Simulations of the bit-flip, Bacon-Shor, and Steane codes indicate that coherent error correction can produce threshold error rates that are on the order of $10^{-3}$ to $10^{-4}$---comparable with or better than measurement-based values, and much better than previous results for other coherent error correction schemes. This indicates that coherent error correction is worthy of serious consideration for achieving protected logical qubits.


title: (Dimensional) twisted reduction in large N gauge theories

abstract: We show that the spontaneous breaking of center symmetry can be avoided on a $L^2\times 1^2$ lattice with the appropriate choice of twisted boundary conditions. In order for this to work it is crucial that the twisted boundary conditions are chosen in the reduced plane. This suggests that the choice of twist tensor can influence the directions in which color and space degrees of freedom become indistinguishable. We also present some preliminary quantitative data comparing the value of the plaquette for different forms of reduction.


title: Snake states and their symmetries in graphene

abstract: Snake states are open trajectories for charged particles propagating in two dimensions under the influence of a spatially varying perpendicular magnetic field. In the quantum limit they are protected edge modes that separate topologically inequivalent ground states and can also occur when the particle density rather than the field is made nonuniform. We examine the correspondence of snake trajectories in single-layer graphene in the quantum limit for two families of domain walls: (a) a uniform doped carrier density in an antisymmetric field profile and (b) antisymmetric carrier distribution in a uniform field. These families support different internal symmetries but the same pattern of boundary and interface currents. We demonstrate that these physically different situations are gauge equivalent when rewritten in a Nambu doubled formulation of the two limiting problems. Using gauge transformations in particle-hole space to connect these problems, we map the protected interfacial modes to the Bogoliubov quasiparticles of an interfacial one-dimensional p-wave paired state. A variational model is introduced to interpret the interfacial solutions of both domain wall problems.


title: Orientational Order in the Nematic and Heliconical Nematic Liquid Crystals

abstract: X-ray scattering and polarized microscopic studies of the structure and order parameters in the nematic (N) and heliconical, or the twist-bend nematic (Ntb), phase have been performed as a function of temperature. The nematic orientational order parameters <P2(cos{\theta})> and <P4(cos{\theta})> in the nematic phases of CB7CB and its mixtures with less than 20 wt% CB6CB reveal that they both increase with decreasing temperature in the N phase. Both order parameters decrease upon entering the Ntb phase and <P4(cos{\theta})> becomes negative providing a direct confirmation of the conical molecular orientational distribution. The heliconical tilt angle, estimated from the orientational distribution functions (ODFs), in all cases increases from zero at the N - Ntb transition to approximately 27{\deg} at about 40 K below the transition, in excellent agreement with freeze fracture transmission electron microscopy results of Chen and the birefringence results of Meyer. The growth of the tilt angle in the Ntb phase follows a single power law with exponents between ~0.09 +/- 0.01 to -0.12 +/- 0.01, which is far from the expected tricritical or mean field exponents of 0.25 or 0.5. The temperature dependence of the tilt angle calculated from the ODFs also is in good qualitative agreement with the values estimated from optical studies of their ropelike textures within adjacent blocks of left- and right-handed twist in homogeneously aligned cells.


title: Independent and simultaneous tailoring of amplitude, phase, and complete polarization of vector beams

abstract: We present an approach that enables complete control over the amplitude, phase and arbitrary polarization state on the Poincar\'e sphere of an optical beam in a 4-f system with a spatial light modulator (SLM). The beams can be constructed from a coaxial superposition of x- and y-linearly polarized light, each carrying structured amplitude profile and phase distributions by using an amplitude-modulated mask imposed on the SLM. The amplitude, phase and polarization distribution of vector beams with four free parameters can be tailored independently and simultaneously by the SLM.


title: Inactivation Decoding Analysis for LT Codes

abstract: We provide two analytical tools to model the inactivation decoding process of LT codes. First, a model is presented which derives the expected number of inactivations occurring in the decoding process of an LT code. This analysis is then extended allowing the derivation of the distribution of the number of inactivations. The accuracy of the method is verified by Monte Carlo simulations. The proposed analysis opens the door to the design of LT codes optimized for inactivation decoding.


title: Stable interactions via proper deformations

abstract: A new method is proposed for switching on interactions that are compatible with global symmetries and conservation laws of the original free theory. The method is applied to the control of stability in Lagrangian and non-Lagrangian theories with higher derivatives. By way of illustration, a wide class of stable interactions is constructed for the Pais-Uhlenbeck oscillator.


title: Relationship between blocking temperature and strength of interparticle interaction in magnetic nanoparticle systems

abstract: In magnetic nanoparticle systems, the variation of the blocking temperature $T_B$ with the measuring frequency $f_m$ is often used to determine the strength of the interparticle interactions (IPI) through a parameter $\Phi$ or the Vogel-Fulcher temperature $T_o$. Presence of IPI is inferred if $T_o$$>$0 and $\Phi=$$\Delta$$T_B$$/$$[T_B\Delta$$log_{10}$$f_m]<$0.13 where $\Delta$ signifies changes in $T_B$ and $f_m$. Here it is shown that these two parameters are related by the Eq. $\Phi=$$\Phi_o$$\approx$ 0.11 to 0.15 is a constant of the system depending on the magnitudes of measuring frequency and $\Phi=$$\Phi_o$$[1-T_o/T_B]$ where the attempt frequency $f_o$ of the N\'eel relaxation. Experimental verification of this relationship is also presented using data on a variety of nanoparticle systems.


title: First observation of the decay $D^{0}\rightarrow K^{-}\pi^{+}\mu^{+}\mu^{-}$ in the $\rho^{0}$-$\omega$ region of the dimuon mass spectrum

abstract: A study of the decay $D^{0}\rightarrow K^{-}\pi^{+}\mu^{+}\mu^{-}$ is performed using data collected by the LHCb detector in proton-proton collisions at a centre-of-mass energy of 8 TeV, corresponding to an integrated luminosity of 2.0 fb$^{-1}$. Decay candidates with muon pairs that have an invariant mass in the range 675--875 MeV$/c^2$ are considered. This region is dominated by the $\rho^{0}$ and $\omega$ resonances. The branching fraction in this range is measured to be ${\cal B}$($D^{0}\rightarrow K^{-}\pi^{+}\mu^{+}\mu^{-}$) = $(4.17 \pm 0.12(stat) \pm 0.40(syst))\times10^{-6}$. This is the first observation of the decay $D^{0}\rightarrow K^{-}\pi^{+}\mu^{+}\mu^{-}$. Its branching fraction is consistent with the value expected in the Standard Model.


title: Switching control for incremental stabilization of nonlinear systems via contraction theory

abstract: In this paper we present a switching control strategy to incrementally stabilize a class of nonlinear dynamical systems. Exploiting recent results on contraction analysis of switched Filippov systems derived using regularization, sufficient conditions are presented to prove incremental stability of the closed-loop system. Furthermore, based on these sufficient conditions, a design procedure is proposed to design a switched control action that is active only where the open-loop system is not sufficiently incrementally stable in order to reduce the required control effort. The design procedure to either locally or globally incrementally stabilize a dynamical system is then illustrated by means of a representative example.


title: How scalar-field dark matter may conspire to facilitate baryogenesis at the electroweak scale

abstract: The cosmic evolution of a dark matter model which behaves relativistically in the early Universe is explored. Dark matter is described as a complex scalar field, whose earliest evolution is characterized by a stiff equation of state ($p \simeq \rho$). In this phase, it is the dominant component in the Universe. We present constraints from Big Bang nucleosynthesis and primordial gravity waves from inflation. Also, we study how the associated enhanced expansion rate due to the stiff phase might facilitate a first-order electroweak symmetry breaking phase transition, in light of the recently measured value of the Higgs boson mass.


title: Canonical Divergence Analysis

abstract: We aim to analyze the relation between two random vectors that may potentially have both different number of attributes as well as realizations, and which may even not have a joint distribution. This problem arises in many practical domains, including biology and architecture. Existing techniques assume the vectors to have the same domain or to be jointly distributed, and hence are not applicable. To address this, we propose Canonical Divergence Analysis (CDA). We introduce three instantiations, each of which permits practical implementation. Extensive empirical evaluation shows the potential of our method.


title: Canonical Representatives of Morphic Permutations

abstract: An infinite permutation can be defined as a linear ordering of the set of natural numbers. In particular, an infinite permutation can be constructed with an aperiodic infinite word over $\{0,\ldots,q-1\}$ as the lexicographic order of the shifts of the word. In this paper, we discuss the question if an infinite permutation defined this way admits a canonical representative, that is, can be defined by a sequence of numbers from [0, 1], such that the frequency of its elements in any interval is equal to the length of that interval. We show that a canonical representative exists if and only if the word is uniquely ergodic, and that is why we use the term ergodic permutations. We also discuss ways to construct the canonical representative of a permutation defined by a morphic word and generalize the construction of Makarov, 2009, for the Thue-Morse permutation to a wider class of infinite words.


title: T cell equation as a conceptual model of T cell responses for maximizing the efficacy of cancer immunotherapy

abstract: Following antigen stimulation, the net outcomes of a T cell response are shaped by integrated signals from both positive co-stimulatory and negative regulatory molecules. Recently, the blockade of negative regulatory molecules (i.e. immune checkpoint signals) demonstrates therapeutic effects in treatment of human cancer, but only in a fraction of cancer patients. Since this therapy is aimed to enhance T cell responses to cancers, here we devised a conceptual model by integrating both positive and negative signals in addition to antigen stimulation. A digital range of adjustment of each signal is formulated in our model for prediction of a final T cell response. This model allows us to evaluate strategies in order to enhance antitumor T cell responses. Our model provides a rational combination strategy for maximizing the therapeutic effects of cancer immunotherapy.


title: Extremal graph for intersecting odd cycles

abstract: An extremal graph for a graph $H$ on $n$ vertices is a graph on $n$ vertices with maximum number of edges that does not contain $H$ as a subgraph. Let $T_{n,r}$ be the Tur\'{a}n graph, which is the complete $r$-partite graph on $n$ vertices with part sizes that differ by at most one. The well-known Tur\'{a}n Theorem states that $T_{n,r}$ is the only extremal graph for complete graph $K_{r+1}$. Erd\"{o}s et al. (1995) determined the extremal graphs for intersecting triangles and Chen et al. (2003) determined the maximum number of edges of the extremal graphs for intersecting cliques. In this paper, we determine the extremal graphs for intersecting odd cycles.


title: Infall through the evolution of high-mass star-forming clumps

abstract: With the GREAT receiver at the Stratospheric Observatory for Infrared Astronomy (SOFIA), nine massive molecular clumps have been observed in the ammonia $3_{2+}- 2_{2-}$ line at 1.8~THz in a search for signatures of infall. The sources were selected from the ATLASGAL submillimeter dust continuum survey of our Galaxy. Clumps with high masses covering a range of evolutionary stages based on their infrared properties were chosen. The ammonia line was detected in all sources, leading to five new detections and one confirmation of a previous detection of redshifted absorption in front of their strong THz continuum as a probe of infall in the clumps. These detections include two clumps embedded in infrared dark clouds. The measured velocity shifts of the absorptions compared to optically thin \CSEO\ (3--2) emission are 0.3--2.8~km/s, corresponding to fractions of 3\%\ to 30\% of the free-fall velocities of the clumps. The ammonia infall signature is compared with complementary data of different transitions of HCN, HNC, CS, and HCO$^+$, which are often used to probe infall via their blue-skewed line profiles. The best agreement with the ammonia results is found for the HCO$^+$ (4--3) transitions, but the latter is still strongly blended with emission from associated outflows. This outflow signature is far less prominent in the THz ammonia lines, which confirms it as a powerful probe of infall in molecular clumps. Infall rates in the range from 0.3 to 16~$10^{-3}\,M_\odot/$yr were derived with a tentative correlation with the virial parameters of the clumps. The new observations show that infall on clump scales is ubiquitous through a wide range of evolutionary stages, from $L/M$ covering about ten to several hundreds.


title: Completeness of cubic curves in PG(2, q), q <= 81

abstract: Theoretical results are known about the completeness of a planar algebraic cubic curve as a (n,3)-arc in PG(2,q). They hold for q big enough and sometimes have restriction on the characteristic and on the value of the j-invariant. We determine the completeness of all cubic curves for q <= 81.


title: Anisotropic particles near surfaces: Self-propulsion and friction

abstract: We theoretically study the phenomenon of self-propulsion through Casimir forces in thermal non-equilibrium. Using fluctuational electrodynamics, we derive a formula for the self-propulsion force for an arbitrary small object in two scenarios, i) for the object being isolated, and ii) for the object being close to a planar surface. In the latter case, the self-propulsion force (i.e., the force parallel to the surface) increases with decreasing distance, i.e., it couples to the near-field. We numerically calculate the lateral force acting on a hot spheroid near a surface and show that it can be as large as the gravitational force, thus being potentially measurable in fly-by experiments. We close by linking our results to well-known relations of linear response theory in fluctuational electrodynamics: Looking at the friction of the anisotropic object for constant velocity, we identify a correction term that is additional to the typically used approach.


title: Light wave propagation through a dilaton-Maxwell domain wall

abstract: We consider the propagation of electromagnetic waves through a dilaton-Maxwell domain wall of the type introduced by Gibbons and Wells [G.W. Gibbons and C.G. Wells, Class. Quant. Grav. 11, 2499-2506 (1994)]. It is found that if such a wall exists within our observable universe, it would be absurdly thick, or else have a magnetic field in its core which is much stronger than observed intergalactic fields. We conclude that it is highly improbable that any such wall is physically realized.


title: Conformal weights of charged Renyi entropy twist operators for free Dirac fields in arbitrary dimensions

abstract: The conformal weights of spherical twist operators at non--zero (Euclidean) chemical potential are computed for free Dirac fields in arbitrary dimensions. An image technique, equivalent to replicas, is again used to obtain the $n$--fold cover quantities. The proof of a conjecture made by Bueno, Myers and Witczac--Krempa regarding the relation between the conformal weights and a corner coefficient in the R\'enyi entropy, given before for scalar fields, is extended to the fermion case. The variation of the weights with chemical potential indicates phase changes.


title: Global structure and geodesics for Koenigs superintegrable systems

abstract: Starting from the framework defined by Matveev and Shevchishin we derive the local and the global structure for the four types of super-integrable Koenigs metrics. These dynamical systems are always defined on non-compact manifolds, namely $\,{\mb R}^2\,$ and $\,{\mb H}^2$. The study of their geodesic flows is made easier using their linear and quadratic integrals. Using Carter (or minimal) quantization we show that the formal superintegrability is preserved at the quantum level and in two cases, for which all of the geodesics are closed, it is even possible to compute the discrete spectrum of the quantum hamiltonian.


title: Towards a Realistic Model for Failure Propagation in Interdependent Networks

abstract: Modern networks are becoming increasingly interdependent. As a prominent example, the smart grid is an electrical grid controlled through a communications network, which in turn is powered by the electrical grid. Such interdependencies create new vulnerabilities and make these networks more susceptible to failures. In particular, failures can easily spread across these networks due to their interdependencies, possibly causing cascade effects with a devastating impact on their functionalities. In this paper we focus on the interdependence between the power grid and the communications network, and propose a novel realistic model, HINT (Heterogeneous Interdependent NeTworks), to study the evolution of cascading failures. Our model takes into account the heterogeneity of such networks as well as their complex interdependencies. We compare HINT with previously proposed models both on synthetic and real network topologies. Experimental results show that existing models oversimplify the failure evolution and network functionality requirements, resulting in severe underestimations of the cascading failures.


title: A Central Limit Theorem for Operators

abstract: We prove an analogue of the Central Limit Theorem for operators. For every operator $K$ defined on $\mathbb{C}[x]$ we construct a sequence of operators $K_N$ defined on $\mathbb{C}[x_1,...,x_N]$ and demonstrate that, under certain orthogonality conditions, this sequence converges in a weak sense to an unique operator $\mathcal{C}$. We show that this operator $\mathcal{C}$ is a member of a family of operators $\mathfrak{C}$ that we call {\it Centered Gaussian Operators} and which coincides with the family of operators given by a centered Gaussian Kernel. Inspired in the approximation method used by Beckner in [W. Beckner, Inequalities in Fourier Analysis, Annals of Mathematics, 102 (1975), 159-182] to prove the sharp form of the Hausdorff-Young inequality, the present article shows that Beckner's method is a special case of a general approximation method for operators. In particular, we characterize the Hermite semi-group as the family of Centered Gaussian Operators associated with any semi-group of operators.


title: Flexibly Mining Better Subgroups

abstract: In subgroup discovery, also known as supervised pattern mining, discovering high quality one-dimensional subgroups and refinements of these is a crucial task. For nominal attributes, this is relatively straightforward, as we can consider individual attribute values as binary features. For numerical attributes, the task is more challenging as individual numeric values are not reliable statistics. Instead, we can consider combinations of adjacent values, i.e. bins. Existing binning strategies, however, are not tailored for subgroup discovery. That is, they do not directly optimize for the quality of subgroups, therewith potentially degrading the mining result. To address this issue, we propose FLEXI. In short, with FLEXI we propose to use optimal binning to find high quality binary features for both numeric and ordinal attributes. We instantiate FLEXI with various quality measures and show how to achieve efficiency accordingly. Experiments on both synthetic and real-world data sets show that FLEXI outperforms state of the art with up to 25 times improvement in subgroup quality.


title: Interpolation Formulas With Derivatives in De Branges Spaces II

abstract: We investigate necessary and sufficient conditions under which entire functions in de Branges spaces can be recovered from function values and values of derivatives. Our main focus is on spaces with a structure function whose logarithmic derivative is bounded in the upper half-plane.


title: Direct calculation of hadronic light-by-light scattering

abstract: We report calculations of hadronic light-by-light scattering amplitudes via lattice QCD evaluation of Euclidean four-point functions of vector currents. These initial results include only the fully quark-connected contribution. Particular attention is given to the case of forward scattering, which can be related via dispersion relations to the $\gamma^* \gamma^* \to$ hadrons cross section, and thus allows lattice data to be compared with phenomenology. We also present a strategy for computing the hadronic light-by-light contribution to the muon anomalous magnetic moment.


title: Linear-time Detection of Non-linear Changes in Massively High Dimensional Time Series

abstract: Change detection in multivariate time series has applications in many domains, including health care and network monitoring. A common approach to detect changes is to compare the divergence between the distributions of a reference window and a test window. When the number of dimensions is very large, however, the naive approach has both quality and efficiency issues: to ensure robustness the window size needs to be large, which not only leads to missed alarms but also increases runtime. To this end, we propose LIGHT, a linear-time algorithm for robustly detecting non-linear changes in massively high dimensional time series. Importantly, LIGHT provides high flexibility in choosing the window size, allowing the domain expert to fit the level of details required. To do such, we 1) perform scalable PCA to reduce dimensionality, 2) perform scalable factorization of the joint distribution, and 3) scalably compute divergences between these lower dimensional distributions. Extensive empirical evaluation on both synthetic and real-world data show that LIGHT outperforms state of the art with up to 100% improvement in both quality and efficiency.


title: Height one specializations of Selmer groups

abstract: We provide applications to studying the behavior of Selmer groups under specialization. We consider Selmer groups associated to four dimensional Galois representations coming from (i) the tensor product of two cuspidal Hida families $F$ and $G$, (ii) its cyclotomic deformation, (iii) the tensor product of a cusp form $f$ and the Hida family $G$, where $f$ is a classical specialization of $F$ with weight $k \geq 2$. We prove control theorems to relate (a) the Selmer group associated to the tensor product of Hida families $F$ and $G$ to the Selmer group associated to its cyclotomic deformation and (b) the Selmer group associated to the tensor product of $f$ and $G$ to the Selmer group associated to the tensor product of $F$ and $G$. On the analytic side of the main conjectures, Hida has constructed one variable, two variable and three variable Rankin-Selberg $p$-adic $L$-functions. Our specialization results enable us to verify that Hida's results relating (a) the two variable $p$-adic $L$-function to the three variable $p$-adic $L$-function and (b) the one variable $p$-adic $L$-function to the two variable $p$-adic $L$-function and our control theorems for Selmer groups are completely consistent with the main conjectures.


title: Type IIn supernovae as sources of high energy astrophysical neutrinos

abstract: It is shown that high-energy astrophysical neutrinos observed in the IceCube experiment can be produced by protons accelerated in extragalactic Type IIn supernova remnants by shocks propagating in the dense circumstellar medium. The nonlinear diffusive shock acceleration model is used for description of particle acceleration. We calculate the neutrino spectrum produced by an individual Type IIn supernova and the spectrum of neutrino background produced by IIn supernovae in the expanding Universe. We also found that the arrival direction of one Icecube neutrino candidate (track event 47) is at 1.35$^{\circ }$ from Type IIn supernova 2005bx.


title: Quantum walks on embedded hypercubes: Nonsymmetric and nonlocal cases

abstract: The expected hitting time of discrete quantum walks on a hypercube (HC) is numerically known to be exponentially shorter than that of their classical analogs in terms of the scaling with the HC dimension. Recent numerical analyses illustrated that this scaling exists not only on the bare HC, but also when the HC graph is symmetrically and locally embedded into larger graphs. The present work investigates the necessity of symmetry and locality for the speed-up by considering embeddings that are nonsymmetric or nonlocal. We provide numerical evidence that the exponential speed-up survives also in these cases. Furthermore, our numerical simulations demonstrate that removing a single edge from the HC also does not destroy the exponential speed-up. In the nonlocal embedding of the HC we encounter dark states, which we analyze. We provide a general and detailed presentation of the mapping that reduces the exponentially large Hilbert space of the quantum walk to an effective subspace of polynomial scaling. This mapping is our essential tool to numerically study quantum walks in such high-dimensional structures.


title: Universal Dependency Analysis

abstract: Most data is multi-dimensional. Discovering whether any subset of dimensions, or subspaces, of such data is significantly correlated is a core task in data mining. To do so, we require a measure that quantifies how correlated a subspace is. For practical use, such a measure should be universal in the sense that it captures correlation in subspaces of any dimensionality and allows to meaningfully compare correlation scores across different subspaces, regardless how many dimensions they have and what specific statistical properties their dimensions possess. Further, it would be nice if the measure can non-parametrically and efficiently capture both linear and non-linear correlations. In this paper, we propose UDS, a multivariate correlation measure that fulfills all of these desiderata. In short, we define \uds based on cumulative entropy and propose a principled normalization scheme to bring its scores across different subspaces to the same domain, enabling universal correlation assessment. UDS is purely non-parametric as we make no assumption on data distributions nor types of correlation. To compute it on empirical data, we introduce an efficient and non-parametric method. Extensive experiments show that UDS outperforms state of the art.


title: Rydberg-Stark states in oscillating electric fields

abstract: Experimental and theoretical studies of the effects of weak radio-frequency electric fields on Rydberg-Stark states with electric dipole moments as large as 10000 D are reported. High-resolution laser spectroscopic studies of Rydberg states with principal quantum number $n=52$ and $53$ were performed in pulsed supersonic beams of metastable helium with the excited atoms detected by pulsed electric field ionisation. Experiments were carried out in the presence of sinusoidally oscillating electric fields with frequencies of 20~MHz, amplitudes of up to 120~mV/cm, and dc offsets of up to 4.4~V/cm. In weak fields the experimentally recorded spectra are in excellent agreement with the results of calculations carried out using Floquet methods to account for electric dipole couplings in the oscillating fields. This highlights the validity of these techniques for the accurate calculation of the Stark energy level structure in such fields, and the limitations of the calculations in stronger fields where $n-$mixing and higher-order contributions become important.


title: Comparative study of the electronic structures of the In and Sn/In2O3 (111) interfaces

abstract: The electronic structure of the transparent semiconductor In2O3 has been studied by angle resolved photoemission spectroscopy upon deposition of metallic indium and also tin on the surface of the semiconductor. By deposition of metallic indium on In2O3 (111) single crystals, we detected the formation of a free-electron like band of effective mass (0.38+-0.05) m0. At low coverages, metallic In shifts the Fermi level of In2O3 to higher energies and a new electronic state forms at the metal/semiconductor interface. This state of two-dimensional character (2D-electron gas) is completely responsible for the electrical conduction in In2O3 (111) at the surface region and has a band dispersion, which does not correspond to the previously found surface accumulation layers in this material. Despite the similarity of the electronic properties of In and Sn, a larger downward banding was observed by Sn coverage, which was not accompanied by the appearance of the surface state.


title: Deep Chandra observations of Pictor A

abstract: We report on deep Chandra observations of the nearby broad-line radio galaxy Pictor A, which we combine with new Australia Telescope Compact Array (ATCA) observations. The new X-ray data have a factor 4 more exposure than observations previously presented and span a 15-year time baseline, allowing a detailed study of the spatial, temporal and spectral properties of the AGN, jet, hotspot and lobes. We present evidence for further time variation of the jet, though the flare that we reported in previous work remains the most significantly detected time-varying feature. We also confirm previous tentative evidence for a faint counterjet. Based on the radio through X-ray spectrum of the jet and its detailed spatial structure, and on the properties of the counterjet, we argue that inverse-Compton models can be conclusively rejected, and propose that the X-ray emission from the jet is synchrotron emission from particles accelerated in the boundary layer of a relativistic jet. For the first time, we find evidence that the bright western hotspot is also time-varying in X-rays, and we connect this to the small-scale structure in the hotspot seen in high-resolution radio observations. The new data allow us to confirm that the spectrum of the lobes is in good agreement with the predictions of an inverse-Compton model and we show that the data favour models in which the filaments seen in the radio images are predominantly the result of spatial variation of magnetic fields in the presence of a relatively uniform electron distribution.


title: What's Decidable about Syntax-Guided Synthesis?

abstract: Syntax-guided synthesis (SyGuS) is a recently proposed framework for program synthesis problems. The SyGuS problem is to find an expression or program generated by a given grammar that meets a correctness specification. Correctness specifications are given as formulas in suitable logical theories, typically amongst those studied in satisfiability modulo theories (SMT). In this work, we analyze the decidability of the SyGuS problem for different classes of grammars and correctness specifications. We prove that the SyGuS problem is undecidable for the theory of equality with uninterpreted functions (EUF).We identify a fragment of EUF, which we call regular-EUF, for which the SyGuS problem is decidable. We prove that this restricted problem is EXPTIME-complete and that the sets of solution expressions are precisely the regular tree languages. For theories that admit a unique, finite domain, we give a general algorithm to solve the SyGuS problem on tree grammars. Finite-domain theories include the bit-vector theory without concatenation. We prove SyGuS undecidable for a very simple bit-vector theory with concatenation, both for context-free grammars and for tree grammars. Finally, we give some additional results for linear arithmetic and bit-vector arithmetic along with a discussion of the implication of these results.


title: Titan Science with the James Webb Space Telescope (JWST)

abstract: The James Webb Space Telescope (JWST), scheduled for launch in 2018, is the successor to the Hubble Space Telescope (HST) but with a significantly larger aperture (6.5 m) and advanced instrumentation focusing on infrared science (0.6-28.0 $\mu$m ). In this paper we examine the potential for scientific investigation of Titan using JWST, primarily with three of the four instruments: NIRSpec, NIRCam and MIRI, noting that science with NIRISS will be complementary. Five core scientific themes are identified: (i) surface (ii) tropospheric clouds (iii) tropospheric gases (iv) stratospheric composition and (v) stratospheric hazes. We discuss each theme in depth, including the scientific purpose, capabilities and limitations of the instrument suite, and suggested observing schemes. We pay particular attention to saturation, which is a problem for all three instruments, but may be alleviated for NIRCam through use of selecting small sub-arrays of the detectors - sufficient to encompass Titan, but with significantly faster read-out times. We find that JWST has very significant potential for advancing Titan science, with a spectral resolution exceeding the Cassini instrument suite at near-infrared wavelengths, and a spatial resolution exceeding HST at the same wavelengths. In particular, JWST will be valuable for time-domain monitoring of Titan, given a five to ten year expected lifetime for the observatory, for example monitoring the seasonal appearance of clouds. JWST observations in the post-Cassini period will complement those of other large facilities such as HST, ALMA, SOFIA and next-generation ground-based telescopes (TMT, GMT, EELT).


title: Arthur's multiplicity formula for certain inner forms of special orthogonal and symplectic groups

abstract: Let G be a special orthogonal group or an inner form of a symplectic group over a number field F such that there exists a non-empty set S of real places of F at which G has discrete series and outside of which G is quasi-split. We prove Arthur's multiplicity formula for automorphic representations of G having algebraic regular infinitesimal character at all places in S.


title: Static multi-soliton solutions in the affine su(N+1) Toda models

abstract: We study some static multi-soliton configurations in the su(N + 1) Toda models. Such configurations exist for N > 1. We construct explicitly a multi-soliton solution for any N and study conditions for having such solutions. The number of static solitons is limited by the rank of the su(N + 1) Lie algebra. We give some examples of non-static multi-soliton solutions with static components.


title: Bioinformatic Scaling of Allosteric Interactions in Biomedical Isozymes

abstract: Allosteric (long-range) interactions can be surprisingly strong in proteins of biomedical interest. Here we use bioinformatic scaling to connect prior results on nonsteroidal anti-inflammatory drugs to promising new drugs that inhibit cancer cell metabolism. Many parallel features are apparent, which explain how even one amino acid mutation, remote from active sites, can alter medical results. The enzyme twins involved are cyclooxygenase (aspirin) and isocitrate dehydrogenase (IDH). The IDH results are accurate to 1% and are overdetermined by adjusting a single bioinformatic scaling parameter. It appears that the final stage in optimizing protein functionality may involve leveling of the hydrophobic cutoffs of the arms of conformational hydrophilic hinges.


title: Reflection of a Broadband Electromagnetic Pulse by Planar Plasma Layer at Normal Incidence

abstract: The problem of electromagnetic pulses propagation in plasma was studied in connection with various problems of radio engineering and radar systems. The description of propagation such signals is based on exactly solvable problems for monochromatic waves. We considered two cases: smooth layer and thin sheet. The conditions for different type of reflection are founded.


title: Pseudo-spherical submanifolds with 1-type pseudo-spherical Gauss map

abstract: In this work, we study the pseudo-Riemannian submanifolds of a pseudo-sphere with 1-type pseudo-spherical Gauss map. First, we classify the Lorentzian surfaces in a 4-dimensional pseudo-sphere $\mathbb{S}^4_s(1)$ with index s, $s=1, 2$, and having harmonic pseudo-spherical Gauss map. Then we give a characterization theorem for pseudo-Riemannian submanifolds of a pseudo-sphere $\mathbb{S}^{m-1}_s(1)\subset\mathbb{E}^m_s$ with 1-type pseudo-spherical Gauss map, and we classify spacelike surfaces and Lorentzian surfaces in the de Sitter space $\mathbb{S}^4_1(1)\subset\mathbb{E}^5_1$ with 1-type pseudo-spherical Gauss map. Finally, according to the causal character of the mean curvature vector we obtain the classification of submanifolds of a pseudo-sphere having 1-type pseudo-spherical Gauss map with nonzero constant component in its spectral decomposition.


title: Rotating nuclei: from ground state to the extremes of spin and deformation

abstract: The rotating nuclei represent one of most interesting subjects for theoretical and experimental studies. They open a new dimension of nuclear landscape, namely, spin direction. Contrary to the majority of nuclear systems, their properties sensitively depend on time-odd mean fields and currents in density functional theories. Moreover, they show a considerable interplay of collective and single-particle degrees of freedom. In this chapter, I discuss the basic features of the description of rotating nuclei in one-dimensional cranking approximation of covariant density functional theory. The successes of this approach to the description of rotating nuclei at low spin in pairing regime and at high spin in unpaired regime in wide range of deformations (from normal to hyperdeformation) are illustrated. I also discuss the recent progress and open questions in our understanding of the role of proton-neutron pairing in rotating nuclei at $N\approx Z$, the physics of band termination and other phenomena in rotating nuclei.


title: The Generalized Marshall-Olkin-Kumaraswamy-G family of distributions

abstract: A new family of distribution is proposed by using Kumaraswamy-G (Cordeiro and de Castro, 2011) distribution as the base line distribution in the Generalized Marshal-Olkin (Jayakumar and Mathew, 2008) Construction. A number of special cases are presented. By expanding the probability density function and the survival function as infinite series the proposed family is seen as infinite mixtures of the Kumaraswamy-G (Cordeiro and de Castro, 2011) distribution. Density function and its series expansions for order statistics are also obtained. Order statistics, moments, moment generating function, R\'enyi entropy, quantile function, random sample generation, asymptotes, shapes and stochastic orderings are also investigated. The methods of parameter estimation by method of maximum likelihood and method of moment are presented. Large sample standard error and confidence intervals for the mles are also discussed. One real life application of comparative data fitting with some of the important sub models of the family and some other models is considered.


title: Betti-linear Ideals

abstract: We introduce the notion of a Betti-linear monomial ideal, which generalizes the notion of lattice-linear monomial ideal introduced by Clark. We provide a characterization of Betti-linearity in terms of Tchernev's poset construction. As an application we obtain an explicit canonical construction for the minimal free resolutions of monomial ideals having pure resolutions.