title: Compositional Safety Verification with Max-SMT

abstract: We present an automated compositional program verification technique for safety properties based on conditional inductive invariants. For a given program part (e.g., a single loop) and a postcondition $\varphi$, we show how to, using a Max-SMT solver, an inductive invariant together with a precondition can be synthesized so that the precondition ensures the validity of the invariant and that the invariant implies $\varphi$. From this, we build a bottom-up program verification framework that propagates preconditions of small program parts as postconditions for preceding program parts. The method recovers from failures to prove the validity of a precondition, using the obtained intermediate results to restrict the search space for further proof attempts. As only small program parts need to be handled at a time, our method is scalable and distributable. The derived conditions can be viewed as implicit contracts between different parts of the program, and thus enable an incremental program analysis.


title: Adjoint $SU(5)$ GUT model with $T_{7}$ flavor symmetry

abstract: We propose an adjoint $SU(5)$ GUT model with a $T_{7}$ family symmetry and an extra $Z_{2}\otimes Z_{3}\otimes Z_{4}\otimes Z_{4}^{\prime }\otimes Z_{12}$ discrete group, that successfully describes the prevailing Standard Model fermion mass and mixing pattern. The observed hierarchy of the charged fermion masses and the quark mixing angles arises from the $Z_{3}\otimes Z_{4}\otimes Z_{12}$ symmetry breaking, which occurs near the GUT scale. The light active neutrino masses are generated by type-I and type-III seesaw mechanisms mediated by the fermionic $SU(5)$ singlet and the adjoint $\mathbf{24}$-plet. The model predicts the effective Majorana neutrino mass parameter of neutrinoless double beta decay to be $m_{\beta \beta }=$ 4 and 50 meV for the normal and the inverted neutrino spectra, respectively. We construct several benchmark scenarios, which lead to $SU(5)$ gauge coupling unification and are compatible with the known phenomenological constraints originating from the lightness of neutrinos, proton decay, dark matter, etc. These scenarios contain TEV-scale colored fields, which could give rise to a visible signal or be stringently constrained at the LHC.


title: The weak Lefschetz property for monomial ideals of small type

abstract: In this work a combinatorial approach towards the weak Lefschetz property is developed that relates this property to enumerations of signed perfect matchings as well as to enumerations of signed families of non-intersecting lattice paths in certain triangular regions. This connection is used to study Artinian quotients by monomial ideals of a three-dimensional polynomial ring. Extending a main result in the recent memoir [Boij, Migliore, Mir\'o-Roig, Nagel, Zanello], we completely classify the quotients of type two that have the weak Lefschetz property in characteristic zero. We also derive results in positive characteristic for quotients whose type is at most two.


title: Making the stabilizer ZX-calculus complete for scalars

abstract: The ZX-calculus is a graphical language for quantum processes with built-in rewrite rules. The rewrite rules allow equalities to be derived entirely graphically, leading to the question of completeness: can any equality that is derivable using matrices also be derived graphically? The ZX-calculus is known to be complete for scalar-free pure qubit stabilizer quantum mechanics, meaning any equality between two pure stabilizer operators that is true up to a non-zero scalar factor can be derived using the graphical rewrite rules. Here, we replace those scalar-free rewrite rules with correctly scaled ones and show that, by adding one new diagram element and a new rewrite rule, the calculus can be made complete for pure qubit stabilizer quantum mechanics with scalars. This completeness property allows amplitudes and probabilities to be calculated entirely graphically. We also explicitly consider stabilizer zero diagrams, i.e. diagrams that represent a zero matrix, and show that two new rewrite rules suffice to make the calculus complete for those.


title: Global rigidity of conjugations for locally non-discrete subgroups of Diff^w(S^1)

abstract: We prove a global topological rigidity theorem for locally $C^2$-non-discrete subgroups of the group of real analytic diffeomorphisms of the circle.


title: Itinerant electron scenario for Fe-based superconductors

abstract: I review works on Fe-based superconductors which depart from a metal with well defined Fermi surfaces and Fermi liquid-type quasiparticles. I consider normal state instabilities -- SDW magnetism and nematic order, and superconductivity, all three as the consequences of the instability of a Fermi surface due to interactions between low-energy fermionic quasiparticles. This approach assumes that renormalizations coming from fermions from high energies, of order bandwidth, modify but do not destroy Fermi liquid behavior in the normal state and can be absorbed into the effective low-energy model of interacting fermions located near hole and electron-type Fermi surfaces. I argue that the interactions between these fermions are responsible for (i) a stripe-type SDW magnetic order (and, in some cases, a checkerboard order), (ii) a preliminary nematic-type instability, in which magnetic fluctuations break $C_4$ lattice rotational symmetry down to $C_2$, but magnetic order does not yet develop, and (iii) a superconductivity, which competes with these two orders. The experimental data on superconductivity show rich behavior with potentially different symmetry of a superconducting state even for different compositions of the same material. I argue that, despite all this, the physics of superconductivity in the itinerant scenario for Fe-based materials is governed by a single underlying pairing mechanism.


title: MMSE of probabilistic low-rank matrix estimation: Universality with respect to the output channel

abstract: This paper considers probabilistic estimation of a low-rank matrix from non-linear element-wise measurements of its elements. We derive the corresponding approximate message passing (AMP) algorithm and its state evolution. Relying on non-rigorous but standard assumptions motivated by statistical physics, we characterize the minimum mean squared error (MMSE) achievable information theoretically and with the AMP algorithm. Unlike in related problems of linear estimation, in the present setting the MMSE depends on the output channel only trough a single parameter - its Fisher information. We illustrate this striking finding by analysis of submatrix localization, and of detection of communities hidden in a dense stochastic block model. For this example we locate the computational and statistical boundaries that are not equal for rank larger than four.

categories: cs.IT cond-mat.stat-mech math.IT stat.ML


title: Thimble regularization at work: from toy models to chiral random matrix theories

abstract: We apply the Lefschetz thimble formulation of field theories to a couple of different problems. We first address the solution of a complex 0-dimensional phi^4 theory. Although very simple, this toy-model makes us appreciate a few key issues of the method. In particular, we will solve the model by a correct accounting of all the thimbles giving a contribution to the partition function and we will discuss a number of algorithmic solutions to simulate this (simple) model. We will then move to a chiral random matrix (CRM) theory. This is a somehow more realistic setting, giving us once again the chance to tackle the same couple of fundamental questions: how many thimbles contribute to the solution? how can we make sure that we correctly sample configurations on the thimble? Since the exact result is known for the observable we study (a condensate), we can verify that, in the region of parameters we studied, only one thimble contributes and that the algorithmic solution that we set up works well, despite its very crude nature. The deviation of results from phase quenched results highlights that in a certain region of parameter space there is a quite important sign problem. In view of this, the success of our thimble approach is quite a significant one.


title: A search for baryon- and lepton-number violating decays of $\Lambda$ hyperons using the CLAS detector at Jefferson Laboratory

abstract: We present a search for ten baryon-number violating decay modes of $\Lambda$ hyperons using the CLAS detector at Jefferson Laboratory. Nine of these decay modes result in a single meson and single lepton in the final state ($\Lambda \rightarrow m \ell$) and conserve either the sum or the difference of baryon and lepton number ($B \pm L$). The tenth decay mode ($\Lambda \rightarrow \bar{p}\pi^+$) represents a difference in baryon number of two units and no difference in lepton number. We observe no significant signal and set upper limits on the branching fractions of these reactions in the range $(4-200)\times 10^{-7}$ at the $90\%$ confidence level.


title: 5d fixed points from brane webs and O7-planes

abstract: We explore the properties of five-dimensional supersymmetric gauge theories living on 5-brane webs in orientifold 7-plane backgrounds. These include $USp(2N)$ and $SO(N)$ gauge theories with fundamental matter, as well as $SU(N)$ gauge theories with symmetric and antisymmetric matter. We find a number of new 5d fixed point theories that feature enhanced global symmetries. We also exhibit a number of new 5d dualities.


title: Maier-Saupe model for a mixture of uniaxial and biaxial molecules

abstract: We introduce shape fluctuations in a liquid-crystalline system by considering an elementary Maier--Saupe lattice model for a mixture of uniaxial and biaxial molecules. Shape variables are treated in the annealed (thermalized) limit. We analyze the thermodynamic properties of this system in terms of temperature $T$, concentration $c$ of intrinsically biaxial molecules, and a parameter $\Delta$ associated with the degree of biaxiality of the molecules. At the mean-field level, we use standard techniques of statistical mechanics to draw global phase diagrams, which are shown to display a rich structure, including uniaxial and biaxial nematic phases, a reentrant ordered region, and many distinct multicritical points. Also, we use the formalism to write an expansion of the free energy in order to make contact with the Landau--de Gennes theory of nematic phase transitions.


title: Applications of Balanced Pairs

abstract: Let $(\mathscr{X}$, $\mathscr{Y})$ be a balanced pair in an abelian category. We first introduce the notion of cotorsion pairs relative to $(\mathscr{X}$, $\mathscr{Y})$, and then give some equivalent characterizations when a relative cotorsion pair is hereditary or perfect. We prove that if the $\mathscr{X}$-resolution dimension of $\mathscr{Y}$ (resp. $\mathscr{Y}$-coresolution dimension of $\mathscr{X}$) is finite, then the bounded homotopy category of $\mathscr{Y}$ (resp. $\mathscr{X}$) is contained in that of $\mathscr{X}$ (resp. $\mathscr{Y}$). As a consequence, we get that the right $\mathscr{X}$-singularity category coincides with the left $\mathscr{Y}$-singularity category if the $\mathscr{X}$-resolution dimension of $\mathscr{Y}$ and the $\mathscr{Y}$-coresolution dimension of $\mathscr{X}$ are finite.


title: On the 2-mode and $k$-photon quantum Rabi models

abstract: By mapping the Hamiltonians of the two-mode and 2-photon Rabi models to differential operators in suitable Hilbert spaces of entire functions, we prove that the two models possess entire and normalizable wavefunctions in the Bargmann-Hilbert spaces only if the frequency $\omega$ and coupling strength $g$ satisfy certain constraints. This is in sharp contrast to the quantum Rabi model for which entire wavefunctions always exist. For model parameters fulfilling the aforesaid constraints we determine transcendental equations whose roots give the regular energy eigenvalues of the models. Furthermore, we show that for $k\geq 3$ the $k$-photon Rabi model does not possess wavefunctions which are elements of the Bargmann-Hilbert space for all non-trivial model parameters. This implies that the $k\geq 3$ case is not diagonalizable, unlike its RWA cousin, the $k$-photon Jaynes-Cummings model which can be completely diagonalized for all $k$.


title: Observations of Radio Giant Pulses with GAVRT

abstract: Radio giant pulses provide a unique opportunity to study the pulsar radio emission mechanism in exquisite detail. Previous studies have revealed a wide range of properties and phenomena, including extraordinarily high brightness temperatures, sub-nanosecond emission features, and banded dynamic spectra. New measurements of giant pulse characteristics can help guide and test theoretical emission models. To this end, an extensive observation campaign has begun which will provide more than 500 hours on the Crab with a 34-meter antenna located in California, USA. The observations are being done as part of an educational outreach program called the Goldstone-Apple Valley Radio Telescope (GAVRT). This antenna has a novel wide bandwidth receiver which provides up to 8 GHz of instantaneous bandwidth in the range of 2.5 to 14 GHz. These observations will provide detailed information about the variability, amplitude distribution, and detailed frequency structure of radio giant pulses. In addition, a database of pulses from these observations and others of the Crab pulsar is being created which will simplify multiwavelength correlation analysis.


title: Approximation by Spline Curves: towards an Application to Cognitive Neuroscience

abstract: We present a procedure to approximate a plane contour by piecewise polynomial functions, depending on various parameters, such as degree, number of local patches, selection of knots. This procedure aims to be adopted to study how information about shape is represented.


title: Ikeda type construction of cusp forms

abstract: This is a survey of results on the construction of holomorphic cusp forms on tube domains originally initiated by Ikeda. Besides a survey it includes conjectures and possible applications of our work.


title: Rich Component Analysis

abstract: In many settings, we have multiple data sets (also called views) that capture different and overlapping aspects of the same phenomenon. We are often interested in finding patterns that are unique to one or to a subset of the views. For example, we might have one set of molecular observations and one set of physiological observations on the same group of individuals, and we want to quantify molecular patterns that are uncorrelated with physiology. Despite being a common problem, this is highly challenging when the correlations come from complex distributions. In this paper, we develop the general framework of Rich Component Analysis (RCA) to model settings where the observations from different views are driven by different sets of latent components, and each component can be a complex, high-dimensional distribution. We introduce algorithms based on cumulant extraction that provably learn each of the components without having to model the other components. We show how to integrate RCA with stochastic gradient descent into a meta-algorithm for learning general models, and demonstrate substantial improvement in accuracy on several synthetic and real datasets in both supervised and unsupervised tasks. Our method makes it possible to learn latent variable models when we don't have samples from the true model but only samples after complex perturbations.


title: Hamiltonian dynamics in the space of asymptotically Kerr-de Sitter spacetimes

abstract: We determine all spacetime flows which lead to a Hamiltonian dynamics in the space of general relativistic initial data sets with asymptotically Kerr-de Sitter ends. The corresponding Hamiltonians are calculated. Some implications for black-hole thermodynamics are pointed out.


title: On the number of certain Del Pezzo surfaces of degree four violating the Hasse principle

abstract: We give an asymptotic expansion for the density of del Pezzo surfaces of degree four in a certain Birch Swinnerton-Dyer family violating the Hasse principle due to a Brauer-Manin obstruction. Under the assumption of Schinzel's hypothesis and the finiteness of Tate-Shafarevich groups for elliptic curves, we obtain an asymptotic formula for the number of all del Pezzo surfaces in the family, which violate the Hasse principle.


title: Endpoint Strichartz Estimates for Charge Transfer Hamiltonians

abstract: We prove the optimal endpoint Strichartz estimates for Schr\"{o}dinger equation with charge transfer potentials and a general source term in $\mathbb{R}^n$ for $n\geq3$. The proof is based on using the projection on the scattering states defined implicitly in Rodnianski, Schlag and Soffer \cite{RSS1}, and asymptotic completeness for such systems. The method works as well in the matrix non-selfadjoint case.


title: WIMP isocurvature perturbation and small scale structure

abstract: The adiabatic perturbation of dark matter is damped during the kinetic decoupling due to the collision with relativistic component on sub-horizon scales. However the isocurvature part is free from damping and could be large enough to make a substantial contribution to the formation of small scale structure. We explicitly study the weakly interacting massive particles as dark matter with an early mater dominated period before radiation domination and show that the isocurvature perturbation is generated during the phase transition and leaves imprint in the observable signatures for small scale structure.


title: Formation of Nanotwin Networks during High-Temperature Crystallization of Amorphous Germanium

abstract: Germanium is an extremely important material used for numerous functional applications in many fields of nanotechnology. In this paper, we study the crystallization of amorphous Ge using atomistic simulations of critical nano-metric nuclei at high temperatures. We find that crystallization occurs by the recurrent transfer of atoms via a diffusive process from the amorphous phase into suitably-oriented crystalline layers. We accompany our simulations with a comprehensive thermodynamic and kinetic analysis of the growth process, which explains the energy balance and the interfacial growth velocities governing grain growth. For the $\langle111\rangle$ crystallographic orientation, we find a degenerate atomic rearrangement process, with two zero-energy modes corresponding to a perfect crystalline structure and the formation of a $\Sigma3$ twin boundary. Continued growth in this direction results in the development a twin network, in contrast with all other growth orientations, where the crystal grows defect-free. This particular mechanism of crystallization from amorphous phases is also observed during solid-phase epitaxial growth of $\langle111\rangle$ semiconductor crystals, where growth is restrained to one dimension. We calculate the equivalent X-ray diffraction pattern of the obtained nanotwin networks, providing grounds for experimental validation.


title: A finite element method for high-contrast interface problems with error estimates independent of contrast

abstract: We define a new finite element method for a steady state elliptic problem with discontinuous diffusion coefficients where the meshes are not aligned with the interface. We prove optimal error estimates in the $L^2$ norm and $H^1$ weighted semi-norm independent of the contrast between the coefficients. Numerical experiments validating our theoretical findings are provided.


title: p-harmonic coordinates for H\"older metrics and applications

abstract: We show that on any Riemannian manifold with H\"older continuous metric tensor, there exists a $p$-harmonic coordinate system near any point. When $p = n$ this leads to a useful gauge condition for regularity results in conformal geometry. As applications, we show that any conformal mapping between manifolds having $C^\alpha$ metric tensors is $C^{1+\alpha}$ regular, and that a manifold with $W^{1,n} \cap C^\alpha$ metric tensor and with vanishing Weyl tensor is locally conformally flat if $n \geq 4$. The results extend the works [LS14, LS15] from the case of $C^{1+\alpha}$ metrics to the H\"older continuous case. In an appendix, we also develop some regularity results for overdetermined elliptic systems in divergence form.


title: The anamorphic universe

abstract: We introduce "anamorphic" cosmology, an approach for explaining the smoothness and flatness of the universe on large scales and the generation of a nearly scale-invariant spectrum of adiabatic density perturbations. The defining feature is a smoothing phase that acts like a contracting universe based on some Weyl frame-invariant criteria and an expanding universe based on other frame-invariant criteria. An advantage of the contracting aspects is that it is possible to avoid the multiverse and measure problems that arise in inflationary models. Unlike ekpyrotic models, anamorphic models can be constructed using only a single field and can generate a nearly scale-invariant spectrum of tensor perturbations. Anamorphic models also differ from pre-big bang and matter bounce models that do not explain the smoothness. We present some examples of cosmological models that incorporate an anamorphic smoothing phase.


title: Gaussian Discriminating Strength

abstract: We present a quantifier of non-classical correlations for bipartite, multi-mode Gaussian states. It is derived from the Discriminating Strength measure, introduced for finite dimensional systems in A. Farace et al., New. J. Phys. 16, 073010 (2014). As the latter the new measure exploits the Quantum Chernoff Bound to gauge the susceptibility of the composite system with respect to local perturbations induced by unitary gates extracted from a suitable set of allowed transformations (the latter being identified by posing some general requirements). Closed expressions are provided for the case of two-mode Gaussian states obtained by squeezing or by linearly mixing via a beam-splitter a factorized two-mode thermal state. For these density matrices, we study how non-classical correlations are related with the entanglement present in the system and with its total photon number.


title: The Informational Architecture Of The Cell

abstract: We compare the informational architecture of biological and random networks to identify informational features that may distinguish biological networks from random. The study presented here focuses on the Boolean network model for regulation of the cell cycle of the fission yeast Schizosaccharomyces Pombe. We compare calculated values of local and global information measures for the fission yeast cell cycle to the same measures as applied to two different classes of random networks: random and scale-free. We report patterns in local information processing and storage that do indeed distinguish biological from random, associated with control nodes that regulate the function of the fission yeast cell cycle network. Conversely, we find that integrated information, which serves as a global measure of "emergent" information processing, does not differ from random for the case presented. We discuss implications for our understanding of the informational architecture of the fission yeast cell cycle network in particular, and more generally for illuminating any distinctive physics that may be operative in life.


title: Topology of the tropical moduli spaces $M_{2,n}$

abstract: We study the topology of the link $M^{\mathrm{trop}}_{g,n}[1]$ of the tropical moduli spaces of curves when g=2. Tropical moduli spaces can be identified with boundary complexes for $\mathcal{M}_{g,n}$, as shown by Abramovich-Caporaso-Payne, so their reduced rational homology encodes top-weight rational cohomology of the complex moduli spaces $\mathcal{M}_{g,n}$. We prove that $M^{\mathrm{trop}}_{2,n}[1]$ is an $n$-connected topological space whose reduced integral homology is supported in the top two degrees only. We compute the reduced Euler characteristic of $M^{\mathrm{trop}}_{g,n}[1]$ for all n, and we compute the rational homology of $M^{\mathrm{trop}}_{2,n}[1]$ when $n \le 8$, determining completely the top-weight $\mathbb{Q}$-cohomology of $\mathcal{M}_{2,n}$ in that range.


title: The Eddington's Eclispe and a Possible Replica of the Experiment of Light Bending

abstract: The success of the first measurement of the light bending by the solar gravitational field is due to the particular stellar field during the Eddington's 1919 total eclipse of the Sun, near the Hyades, giving the opportunity to measure the gravitational bending of the light to the astronomers in two expeditions in Brazil, Sobral, and on the Principe Island in the Atlantic Ocean. The geometrical properties of this field and another field in Leo are discussed in view of repeating this experiment of General Relativity with SOHO satellite data in the context of the International Year of Light 2015.


title: Boundary Conditions as Dynamical Fields

abstract: The possibility of treating boundary conditions in terms of a bilocal dynamical field is formalized in terms of a boundary action. This allows for a simple path-integral perturbation theory approach to physical effects such as radiation from a time-dependent boundary. The nature of the action which governs the dynamics of the bilocal field is investigated for a limited case (which includes the Robin boundary conditions).


title: Statistical physics of neural systems with non-additive dendritic coupling

abstract: How neurons process their inputs crucially determines the dynamics of biological and artificial neural networks. In such neural and neural-like systems, synaptic input is typically considered to be merely transmitted linearly or sublinearly by the dendritic compartments. Yet, single-neuron experiments report pronounced supralinear dendritic summation of sufficiently synchronous and spatially close-by inputs. Here, we provide a statistical physics approach to study the impact of such non-additive dendritic processing on single neuron responses and the performance of associative memory tasks in artificial neural networks. First, we compute the effect of random input to a neuron incorporating nonlinear dendrites. This approach is independent of the details of the neuronal dynamics. Second, we use those results to study the impact of dendritic nonlinearities on the network dynamics in a paradigmatic model for associative memory, both numerically and analytically. We find that dendritic nonlinearities maintain network convergence and increase the robustness of memory performance against noise. Interestingly, an intermediate number of dendritic branches is optimal for memory functionality.


title: Relativistic corrections to prompt $J/\psi$ photo- and hadroproduction

abstract: We systematically calculate the relativistic corrections to prompt $J/\psi$ photoproduction and hadroproduction using the factorization formalism of nonrelativistic QCD. Specifically, we include the ${}^3\!S_1^{[1]}$ and ${}^3\!P_{J}^{[1]}$ color-singlet and the ${}^3\!S_1^{[8]}$, ${}^1\!S_{0}^{[8]}$, and ${}^3\!P_{J}^{[8]}$ color-octet channels as well as the effects due to the mixing between the ${}^3\!S_1^{[8]}$ and ${}^3\!D_1^{[8]}$ channels. We provide all the squared hard-scattering amplitudes in analytic form. Assuming the nonrelativistic-QCD long-distance matrix elements to satisfy the velocity scaling rules, we find the relativistic corrections to be appreciable, except in the ${}^3\!S_1^{[1]}$ color-singlet channel of hadroproduction. We also observe significant differences in the line shapes of the relativistic corrections between photoproduction and hadroproduction.


title: Relativistic corrections to $J/\psi$ polarization in photo- and hadroproduction

abstract: We systematically calculate the relativistic corrections to the polarization variables of prompt $J/\psi$ photoproduction and hadroproduction using the factorization formalism of nonrelativistic QCD. Specifically, we include the ${}^3\!S_1^{[1]}$ and ${}^3\!P_{J}^{[1]}$ color-singlet and the ${}^3\!S_1^{[8]}$, ${}^1\!S_{0}^{[8]}$, and ${}^3\!P_{J}^{[8]}$ color-octet channels as well as the effects due to the mixing between the ${}^3\!S_1^{[8]}$ and ${}^3\!D_1^{[8]}$ channels. We provide all the squared hard-scattering amplitudes in analytic form. Assuming the nonrelativistic-QCD long-distance matrix elements to satisfy the velocity scaling rules, we find the relativistic corrections to be appreciable, especially at small transverse momentum $p_T$ and large inelasticity $z$. The results obtained here and in our previous work on the unpolarized yield [Phys. Rev. D 90, 014045 (2014)] will help to render global analyses of prompt $J/\psi$ production data more complete and hopefully to shed light on the $J/\psi$ polarization puzzle.


title: Weak field limit in vierbein-Einstein-Palatini formalism and Fierz-Pauli Equation

abstract: We consider the weak field limit of gravity in the vierbein-Einstein-Palatini formalism, find the action and the equations for perturbations around an arbitrary background, and compare them with the usual metric perturbation equations. We also write the Fierz-Pauli equations for massive gravitons on an arbitrary curved background in this formalism.


title: Quantum Lower Bound for Graph Collision Implies Lower Bound for Triangle Detection

abstract: We show that an improvement to the best known quantum lower bound for GRAPH-COLLISION problem implies an improvement to the best known lower bound for TRIANGLE problem in the quantum query complexity model. In GRAPH-COLLISION we are given free access to a graph $(V,E)$ and access to a function $f:V\rightarrow \{0,1\}$ as a black box. We are asked to determine if there exist $(u,v) \in E$, such that $f(u)=f(v)=1$. In TRIANGLE we have a black box access to an adjacency matrix of a graph and we have to determine if the graph contains a triangle. For both of these problems the known lower bounds are trivial ($\Omega(\sqrt{n})$ and $\Omega(n)$, respectively) and there is no known matching upper bound.


title: The game story space of professional sports: Australian Rules Football

abstract: Sports are spontaneous generators of stories. Through skill and chance, the script of each game is dynamically written in real time by players acting out possible trajectories allowed by a sport's rules. By properly characterizing a given sport's ecology of `game stories', we are able to capture the sport's capacity for unfolding interesting narratives, in part by contrasting them with random walks. Here, we explore the game story space afforded by a data set of 1,310 Australian Football League (AFL) score lines. We find that AFL games exhibit a continuous spectrum of stories rather than distinct clusters. We show how coarse-graining reveals identifiable motifs ranging from last minute comeback wins to one-sided blowouts. Through an extensive comparison with biased random walks, we show that real AFL games deliver a broader array of motifs than null models, and we provide consequent insights into the narrative appeal of real games.


title: An SVM-like Approach for Expectile Regression

abstract: Expectile regression is a nice tool for investigating conditional distributions beyond the conditional mean. It is well-known that expectiles can be described with the help of the asymmetric least square loss function, and this link makes it possible to estimate expectiles in a non-parametric framework by a support vector machine like approach. In this work we develop an efficient sequential-minimal-optimization-based solver for the underlying optimization problem. The behavior of the solver is investigated by conducting various experiments and the results are compared with the recent R-package ER-Boost.


title: Phenomenology of Large Extra Dimensions Models at Hadrons Colliders using Monte Carlo Techniques (Spin-2 Graviton)

abstract: Large Extra Dimensions Models have been proposed to remove the hierarchy problem and give an explanation why the gravity is so much weaker than the other three forces. In this work, we present an analysis of Monte Carlo data events for new physics signatures of spin-2 Graviton in context of ADD model with total dimensions $D=4+\delta,$ $\delta = 1,2,3,4,5,6 $ where $ \delta $ is the extra special dimension, this model involves missing momentum $P_{T}^{miss}$ in association with jet in the final state via the process $pp(\bar{p}) \rightarrow G+jet$, Also, we present an analysis in context of the RS model with 5-dimensions via the process $pp(\bar{p}) \rightarrow G+jet$, $G \rightarrow e^{+}e^{-}$ with final state $e^{+}e^{-}+jet$. We used Monte Carlo event generator Pythia8 to produce efficient signal selection rules at the Large Hadron Collider with $\sqrt{s}$=14TeV and at the Tevatron $\sqrt{s}$=1.96TeV .


title: Quantitative analyses of the plant cytoskeleton reveal underlying organizational principles

abstract: The actin and microtubule cytoskeletons are vital structures for cell growth and development across all species. While individual molecular mechanisms underpinning actin and microtubule dynamics have been intensively studied, principles that govern the cytoskeleton organization remain largely unexplored. Here, we captured biologically relevant characteristics of the plant cytoskeleton through a network-driven imaging-based approach allowing to quantitatively assess dynamic features of the cytoskeleton. By introducing suitable null models, we demonstrate that the plant cytoskeletal networks exhibit properties required for efficient transport, namely, short average path lengths and high robustness. We further show that these advantageous features are maintained during temporal cytoskeletal re-arrangements. Interestingly, man-made transportation networks exhibit similar properties, suggesting general laws of network organization supporting diverse transport processes. The proposed network-driven analysis can be readily used to identify organizational principles of cytoskeletons in other organisms.


title: Mechanical analysis of a $\beta=0.09 $ 162.5MHz taper HWR cavity

abstract: One superconducting taper-type half-wave resonator (HWR) with frequency of 162.5MHz, \b{eta} of 0.09 has been developed at Peking University, which is used to accelerate high current proton ($\sim$ 100mA) and $D^{+}$($\sim$ 50mA). The radio frequency (RF) design of the cavity has been accomplished. Herein, we present the mechanical analysis of the cavity which is also an important aspect in superconducting cavity design. The frequency shift caused by bath helium pressure and Lorenz force, and the tuning by deforming the cavity along the beam axis will be analyzed in this paper.


title: Quantum and Post-Newtonian Effects in the Anomalistic Period and the Mean Motion of Celestial Bodies

abstract: We study the motion of a secondary celestial body under the influence of the corrected gravitational force of a primary. We study the effect of quantum and relativistic corrections to the gravitational potential of a primary body acting on the orbiting body. More specifically, two equations are derived to approximate the perigee/perihelion/periastron time rate of change and its total variation over one revolution (i.e., the difference between the anomalistic period and the Keplerian period) under the influence of the quantum as well as post- Newtonian accelerations. Numerical results have been obtained for the artificial Earth satellite Molnya, Mercury, and, finally, the for the HW Vir c, planetary companion.


title: Search for Gamma-ray Production in Supernovae Located in a Dense Circumstellar Medium with the Fermi-LAT

abstract: Supernovae (SNe) exploding in a dense circumstellar medium (CSM) are predicted to accelerate cosmic rays in collisionless shocks and emit GeV gamma rays and TeV neutrinos on a time scale of several months. Here we summarize the results of the first systematic search for gamma-ray emission in Fermi-LAT data in the energy range from 100 MeV to 300 GeV from a large sample of SNe exploding in dense CSM. We search for a gamma-ray excess at the position of 147 SNe Type IIn in a one year time window after the optical peak time. In addition we combine the closest and optically brightest sources of our sample in a joint likelihood analysis in three different time windows (3, 6 and 12 months). No excess gamma-ray emission is found and limits on the gamma-ray luminosity and the ratio of gamma-ray to optical luminosity are presented.


title: Strengths of the resonances at 436, 479, 639, 661, and 1279 keV in the $^{22}$Ne(p,$\gamma$)$^{23}$Na reaction

abstract: The $^{22}$Ne(p,$\gamma$)$^{23}$Na reaction is included in the neon-sodium cycle of hydrogen burning. A number of narrow resonances in the Gamow window dominates the thermonuclear reaction rate. Several resonance strengths are only poorly known. As a result, the $^{22}$Ne(p,$\gamma$)$^{23}$Na thermonuclear reaction rate is the most uncertain rate of the cycle. Here, a new experimental study of the strengths of the resonances at 436, 479, 639, 661, and 1279 keV proton beam energy is reported. The data have been obtained using a tantalum target implanted with $^{22}$Ne. The strengths $\omega\gamma$ of the resonances at 436, 639, and 661 keV have been determined with a relative approach, using the 479 and 1279 keV resonances for normalization. Subsequently, the ratio of resonance strengths of the 479 and 1279 keV resonances was determined, improving the precision of these two standards. The new data are consistent with, but more precise than, the literature with the exception of the resonance at 661 keV, which is found to be less intense by one order of magnitude. In addition, improved branching ratios have been determined for the gamma decay of the resonances at 436, 479, and 639 keV.


title: An introduction to pressure metrics on higher Teichm\"uller spaces

abstract: We discuss how one uses the thermodynamic formalism to produce metrics on higher Teichm\"uller spaces. Our higher Teichm\"uller spaces will be spaces of Anosov representations of a word-hyperbolic group into a semi-simple Lie group. We begin by discussing our construction in the classical setting of the Teichm\"uller space of a closed orientable surface of genus at least 2, then we explain the construction for Hitchin components and finally we treat the general case. This paper surveys results of Bridgeman-Canary-Labourie-Sambarino "\emph{The pressure metric for Anosov representations}" and discusses questions and open problems which arise.


title: On consistency and sparsity for sliced inverse regression in high dimensions

abstract: We provide here a framework to analyze the phase transition phenomenon of slice inverse regression (SIR), a supervised dimension reduction technique introduced by \cite{Li:1991}. Under mild conditions, the asymptotic ratio $\rho= \lim p/n$ is the phase transition parameter and the SIR estimator is consistent if and only if $\rho= 0$. When dimension $p$ is greater than $n$, we propose a diagonal thresholding screening SIR (DT-SIR) algorithm. This method provides us with an estimate of the eigen-space of the covariance matrix of the conditional expectation $var(\mathbf{E}[\boldsymbol{x}|y])$. The desired dimension reduction space is then obtained by multiplying the inverse of the covariance matrix on the eigen-space. Under certain sparsity assumptions on both the covariance matrix of predictors and the loadings of the directions, we prove the consistency of DT-SIR in estimating the dimension reduction space in high dimensional data analysis. Extensive numerical experiments demonstrate superior performances of the proposed method in comparison to its competitors.


title: Condition length and complexity for the solution of polynomial systems

abstract: Smale's 17th problem asks for an algorithm which finds an approximate zero of polynomial systems in average polynomial time (see Smale 2000). The main progress on Smale's problem is Beltr\'an-Pardo (2011) and B\"urgisser-Cucker (2010). In this paper we will improve on both approaches and we prove an important intermediate result. Our main results are Theorem 1 on the complexity of a randomized algorithm which improves the result of Beltr\'an-Pardo (2011), Theorem 2 on the average of the condition number of polynomial systems which improves the estimate found in B\"urgisser-Cucker (2010), and Theorem 3 on the complexity of finding a single zero of polynomial systems. This last Theorem is the main result of B\"urgisser-Cucker (2010). We give a proof of it relying only on homotopy methods, thus removing the need for the elimination theory methods used in B\"urgisser-Cucker (2010). We build on methods developed in Armentano et al. (2015).


title: Spectroscopy of cross-correlations of environmental noises with two qubits

abstract: A single qubit driven by an appropriate sequence of control pulses can serve as a spectrometer of local noise affecting its energy splitting. We show that by driving and observing two spatially separated qubits, it is possible to reconstruct the spectrum of cross-correlations of noises acting at various locations. When the qubits are driven by the same sequence of pulses, real part of cross-correlation spectrum can be reconstructed, while applying two distinct sequence to the two qubits allows for reconstruction of imaginary part of this spectrum. The latter quantity contains information on either causal correlations between environmental dynamics at distinct locations, or on the occurrence of propagation of noisy signals through the environment. We illustrate the former case by modeling the noise spectroscopy protocol for qubits coupled to correlated two-level systems. While entanglement between the qubits is not necessary, its presence enhances the signal from which the spectroscopic information is reconstructed.


title: Flux sensitivity of quantum spin Hall rings

abstract: We analyse the periodicity of persistent currents in quantum spin Hall loops, partly covered with an $s$-wave superconductor, in the presence of a flux tube. Much like in normal (non-helical) metals, the periodicity of the single-particle spectrum goes from $\Phi_0 = h/e$ to $\Phi_0/2$ as the length of the superconductor is increased past the coherence length of the superconductor. We further analyze the periodicity of the persistent current, which is a many-body effect. Interestingly, time reversal symmetry and parity conservation can significantly change the period. We find a $2\Phi_0$-periodic persistent current in two distinct regimes, where one corresponds to a Josephson junction and the other one to an Aharonov-Bohm setup.


title: Zippin's embedding theorem and amalgamations of classes of Banach spaces

abstract: It was proved by Dodos and Ferenczi that the classes of Banach spaces with a separable dual and of separable reflexive Banach spaces are strongly bounded. In this note, we provide an isometric version of this result.


title: Effect of Photon-Assisted Andreev Reflection in the Accuracy of a SINIS Turnstile

abstract: We consider a hybrid single-electron transistor (SET) constituted by a gate-controlled normal-metal island (N) connected to two voltage-biased superconducting leads (S) by means of two tunnel junctions (S-I-N-I-S), operated as a turnstile. We show that the exchange of photons between this system and the high-temperature electromagnetic environment where it is embedded enhances Andreev reflection, thereby limiting the single-electron tunneling accuracy.


title: Calculation of the Cherenkov fields in the cross-section of a short relativistic bunch

abstract: Recently, a new method for calculating the Cherenkov field acting on a point-like electron bunch passing through longitudinally homogeneous structures lined with arbitrary slowdown layers was proposed, where the formalism was obtained though consideration of a general integral relation that allows calculation of the fields at the vicinity of a point-like bunch. It demonstrates that the Cherenkov field at the point of the short relativistic bunch does not depend on the waveguide system material and is a constant for any given transverse dimensions and cross-section shapes of waveguides. With this paper we present a strict derivation of the fields formulas valid at the cross-section of a bunch on the basis of a conformal mapping method. We generalize the results of the previous paper to the case of transversely distributed bunch by deriving a two-dimensional Green function at the cross-section of a bunch. Comparison of the results proving validity of the method is given in the appendix.


title: Extended Maximum Likelihood Halo-independent Analysis of Dark Matter Direct Detection Data

abstract: We extend and correct a recently proposed maximum-likelihood halo-independent method to analyze unbinned direct dark matter detection data. Instead of the recoil energy as independent variable we use the minimum speed a dark matter particle must have to impart a given recoil energy to a nucleus. This has the advantage of allowing us to apply the method to any type of target composition and interaction, e.g. with general momentum and velocity dependence, and with elastic or inelastic scattering. We prove the method and provide a rigorous statistical interpretation of the results. As first applications, we find that for dark matter particles with elastic spin-independent interactions and neutron to proton coupling ratio $f_n/f_p=-0.7$, the WIMP interpretation of the signal observed by CDMS-II-Si is compatible with the constraints imposed by all other experiments with null results. We also find a similar compatibility for exothermic inelastic spin-independent interactions with $f_n/f_p=-0.8$.


title: Thin elastic plates supported over small areas. I. Korn's inequalities and boundary layers

abstract: A thin anisotropic elastic plate clamped along its lateral side and also supported at a small area $\theta_{h}$ of one base is considered; the diameter of $\theta_{h}$ is of the same order as the plate relative thickness $h\ll1$. In addition to the standard Kirchhoff model with the Sobolev point condition, a three-dimensional boundary layer is investigated in the vicinity of the support $\theta_{h}$, which with the help of the derived weighted inequality of Korn's type, will provide an error estimate with the bound $ch^{1/2}|\ln h|$. Ignoring this boundary layer effect reduces the precision order down to $|\ln h|^{-1/2}$.


title: On the boundary layer structure near a highly permeable porous interface

abstract: The method of matched asymptotic expansions is used to study the canonical problem of steady laminar flow through a narrow two-dimensional channel blocked by a tight-fitting finite-length highly permeable porous obstacle. We investigate the behaviour of the local flow close to the interface between the single-phase and porous regions (governed by the incompressible Navier--Stokes and Darcy flow equations, respectively). We solve for the flow in these inner regions in the limits of low and high Reynolds number, facilitating an understanding of the nature of the transition from Poiseuille to plug to Poiseuille flow in each of these limits. Significant analytic progress is made in the high-Reynolds-number limit, and we explore in detail the rich boundary layer structure that occurs. We consider the three-dimensional generalization to unsteady laminar flow through and around a tight-fitting highly permeable cylindrical porous obstacle within a Hele-Shaw cell. For the high-Reynolds-number limit, we give the coupling conditions and interfacial stress in terms of the outer flow variables, allowing information from a nonlinear three-dimensional problem to be obtained by solving a linear two-dimensional problem. Finally, we illustrate the utility of our analysis by considering the specific example of time-dependent forced far-field flow in a Hele-Shaw cell containing a porous cylinder with a circular cross-section. We determine the internal stress within the porous obstacle, which is key for tissue engineering applications, and the interfacial stress on the boundary of the porous obstacle, which has applications to biofilm erosion. In the high-Reynolds-number limit, we demonstrate that the fluid inertia can result in the cylinder experiencing a time-independent net force, even when the far-field forcing is periodic with zero mean.


title: The gluing orbit property, uniform hyperbolicity and large deviations principles for semiflows

abstract: In this article we introduce a gluing orbit property, weaker than specification, for both maps and flows. We prove that flows with the $C^1$-robust gluing orbit property are uniformly hyperbolic and that every uniformly hyperbolic flow satisfies the gluing orbit property. We also prove a level-1 large deviations principle and a level-2 large deviations lower bound for for semiflows with the gluing orbit property. As a consequence we establish a level-1 large deviations principle for hyperbolic flows and every continuous observable, and also a level-2 large deviations lower bound. Finally, since many non-uniformly hyperbolic flows can be modeled as suspension flows we also provide criteria for such flows to satisfy uniform and non-uniform versions of the gluing orbit property.


title: Contamination of early-type galaxy alignments to galaxy lensing-CMB lensing cross-correlation

abstract: Galaxy shapes are subject to distortions due to the tidal field of the Universe. The cross-correlation of galaxy lensing with the lensing of the Cosmic Microwave Background (CMB) cannot easily be separated from the cross-correlation of galaxy intrinsic shapes with CMB lensing. Previous work suggested that the intrinsic alignment contamination can be $15\%$ of this cross-spectrum for the CFHT Stripe 82 (CS82) and Atacama Cosmology Telescope surveys. Here we re-examine these estimates using up-to-date observational constraints of intrinsic alignments at a redshift more similar to that of CS82 galaxies. We find a $\approx$ $10\%$ contamination of the cross-spectrum from red galaxies, with $\approx$ $3\%$ uncertainty due to uncertainties in the redshift distribution of source galaxies and the modelling of the spectral energy distribution. Blue galaxies are consistent with being unaligned, but could contaminate the cross-spectrum by an additional $9.5\%$ within current $95\%$ confidence levels. While our fiducial estimate of alignment contamination is similar to previous work, our work suggests that the relevance of alignments for CMB lensing-galaxy lensing cross-correlation remains largely unconstrained. Little information is currently available about alignments at $z>1.2$. We consider the upper limiting case where all $z>1.2$ galaxies are aligned with the same strength as low redshift luminous red galaxies, finding as much as $\approx$ $60\%$ contamination.


title: Experimental Evaluation of the Claimed Coulomb Rotation (Electrostatic Torque)

abstract: In the year 2002 publications of A.V.M. Khachatourian and A.O. Wistrom were released, in which the existence of an electrostatic torque has been claimed. This moment of force should act in a three sphere configuration, where one sphere is held at a constant electric potential. This claim was based on an observed rotation and was supported by a mathematical solution derived by Wistrom and Khachatourian. The theoretical work of Wistrom and Khachatourian as well as the interpretation of the observed rotation were criticized by several scientists who offered alternative explanations for the rotation. We therefore designed an experimental setup which enabled us to investigate the phenomenon. By performing numerous measurements, we showed that the rotation is due to asymmetric mass distribution within the sphere, which is dislocated due to electrostatic forces between the spheres. We were able to clear our measurements from this effect and observed a null result more than two orders of magnitude smaller than predicted by Khachatourian and Wistrom's theory. We therefore showed that the rotation doesn't occur in an electrostatic system within the resolution of our experiment.


title: Fast evaluation of theoretical uncertainties with Sherpa and MCgrid

abstract: The determination of theoretical error estimates and PDF/$\alpha_S$-fits require fast evaluations of differential cross sections for varied QCD input parameters. These include PDFs, the strong coupling constant $\alpha_S$ and the renormalisation and factorisation scales. Beyond leading order QCD, a full dedicated calculation for each set of parameters is often too time-consuming, certainly when performing PDF-fits. We report on two methods to overcome this issue for any QCD NLO calculation: The novel event-reweighting feature in Sherpa and the automated generation of interpolation grids using the recently introduced MCgrid interface. For MCgrid we present the newly added support for fastNLO tables and highlight some future developments.


title: Galaxies as seen through the most Energetic Explosions in the Universe

abstract: A gamma-ray burst (GRB) is a strong and fast gamma-ray emission from the explosion of stellar systems (massive stars or coalescing binary compact stellar remnants), happening at any possible redshift, and detected by space missions. Although GRBs are the most energetic events after the Big Bang, systematic search (started after the first localization in 1997) led to only 374 spectroscopic redshift measurements. For less than half, the host galaxy is detected and studied in some detail. Despite the small number of known hosts, their impact on our understanding of galaxy formation and evolution is immense. These galaxies offer the opportunity to explore regions which are observationally hostile, due to the presence of gas and dust, or the large distances reached. The typical long-duration GRB host galaxy at low redshift is small, star-forming and metal poor, whereas, at intermediate redshift, many hosts are massive, dusty and chemically evolved. Going even farther in the past of the Universe, at z > 5, long-GRB hosts have never been identified, even with the deepest NIR space observations, meaning that these galaxies are very small (stellar mass < 10^7 M_sun). We considered the possibility that some high-z GRBs occurred in primordial globular clusters, systems that evolved drastically since the beginning, but would have back then the characteristics necessary to host a GRB. At that time, the fraction of stellar mass contained in proto globular clusters might have been orders of magnitude higher than today. Plus, these objects contained in the past many massive fast rotating binary systems, which are also regarded as a favorable situation for GRBs. The common factor for all long GRBs at any redshift is the stellar progenitor: it is a very massive rare/short-lived star, present in young regions, whose redshift evolution is closely related to the star-formation history of the Universe.


title: Collision Geometry and Flow in Uranium+Uranium Collisions

abstract: Using event-by-event viscous fluid dynamics to evolve fluctuating initial density profiles from the Monte-Carlo Glauber model for U+U collisions, we report a "knee"-like structure in the elliptic flow as a function of collision centrality, located around the 0.5% most central collisions as measured by the final charged multiplicity. This knee is due to the preferential selection of tip-on-tip collision geometries by a high-multiplicity trigger. Such a knee structure is not seen in the STAR data. This rules out the two-component MC-Glauber model for initial energy and entropy production. Hence an enrichment of tip-tip configurations by triggering solely on high-multiplicity in the U+U collisions does not work. On the other hand, by using the Zero Degree Calorimeters (ZDCs) coupled with event-shape engineering such a selection is possible. We identify the selection purity of body-body and tip-tip events in full-overlap U+U collisions. By additionally constraining the asymmetry of the ZDC signals we can further increase the probability of selecting tip-tip events in U+U collisions.


title: Dp-minimal valued fields

abstract: We show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definable type V topology is either real closed, algebraically closed or admits a non-trivial definable henselian valuation. We give classifications of dp-minimal ordered abelian groups and dp-minimal ordered fields without additional structure.


title: Similarity and singularity in adhesive elastohydrodynamic touchdown

abstract: We consider the touchdown of an elastic sheet as it adheres to a wall, which has a dynamics that is limited by the viscous resistance provided by the squeeze flow of the intervening liquid trapped between the two solid surfaces. The dynamics of the sheet is described mathematically by elastohydrodynamic lubrication theory, coupling the elastic deformation of the sheet, the microscopic van der Waals adhesion and the viscous thin film flow. We use a combination of numerical simulations of the governing partial differential equation and a scaling analysis to describe the self-similar solution of the touchdown of the sheet as it approaches the wall. An analysis of the equation satisfied by the similarity variables in the vicinity of the touchdown event shows that an entire sequence of solutions are allowed. However, a comparison of these shows that only the fundamental similarity solution is observed in the time-dependent numerical simulations, consistent with the fact that it alone is stable. Our analysis generalizes similar approaches for rupture in capillary thin film hydrodynamics and suggests experimentally verifiable predictions for a new class of singular flows linking elasticity, hydrodynamics and adhesion.


title: Recollements in stable $\infty$-categories

abstract: We develop the theory of recollements in a stable $\infty$-categorical setting. In the axiomatization of Beilinson, Bernstein and Deligne, recollement situations provide a generalization of Grothendieck's "six functors" between derived categories. The adjointness relations between functors in a recollement $\mathbf{D}^0\leftrightarrow \mathbf{D} \leftrightarrow \mathbf{D}^1$ induce a "recoll\'ee" $t$-structure $\mathfrak{t}_0\uplus\mathfrak{t}1$ on $\mathbf{D}$ , given $t$-structures $\mathfrak{t}_0,\mathfrak{t}_1$ on $\mathbf{D}^0, \mathbf{D}^1$. Such a classical result, well-known in the setting of triangulated categories, is recasted in the setting of stable $\infty$-categories and the properties of the associated ($\infty$-categorical) factorization systems are investigated. In the geometric case of a stratified space, various recollements arise, which "interact well" with the combinatorics of the intersections of strata to give a well-defined, associative $\uplus$ operation. From this we deduce a generalized associative property for $n$-fold gluing $\mathfrak{t}_0\uplus\cdots\uplus \mathfrak{t}_n$, valid in any stable $\infty$-category.


title: The Integrated Sachs-Wolfe Signal from BOSS Super-Structures

abstract: Cosmic structures leave an imprint on the microwave background radiation through the integrated Sachs-Wolfe effect. We construct a template map of the linear signal using the SDSS-III Baryon Acoustic Oscillation Survey at redshift 0.43 < z < 0.65. We verify the imprint of this map on the Planck CMB temperature map at the 97% confidence level and show consistency with the density-temperature cross-correlation measurement. Using this ISW reconstruction as a template we investigate the presence of ISW sources and further examine the properties of the Granett-Neyrinck-Szapudi supervoid and supercluster catalogue. We characterise the three-dimensional density profiles of these structures for the first time and demonstrate that they are significant structures. Model fits demonstrate that the supervoids are elongated along the line-of-sight and we suggest that this special orientation may be picked out by the void-finding algorithm in photometric redshift space. We measure the mean temperature profiles in Planck maps from public void and cluster catalogues. In an attempt to maximise the stacked ISW signal we construct a new catalogue of super-structures based upon local peaks and troughs of the gravitational potential. However, we do not find a significant correlation between these structures and the CMB temperature.


title: On Serre Intersection Multiplicity Conjecture

abstract: In this short note, we expose some of the works on Serre intersection multiplicity conjecture. I provide a proof of the vanishing of Serre intersection multiplicity in non-proper intersection over a regular ring based on the intersection theory in W. Fulton.


title: Engineering two-dimensional electron gases at the (001) and (101) surfaces of TiO2 anatase using light

abstract: We report the existence of metallic two-dimensional electron gases (2DEGs) at the (001) and (101) surfaces of bulk-insulating TiO2 anatase due to local chemical doping by oxygen vacancies in the near-surface region. Using angle-resolved photoemission spectroscopy, we find that the electronic structure at both surfaces is composed of two occupied subbands of d_xy orbital character. While the Fermi surface observed at the (001) termination is isotropic, the 2DEG at the (101) termination is anisotropic and shows a charge carrier density three times larger than at the (001) surface. Moreover, we demonstrate that intense UV synchrotron radiation can alter the electronic structure and stoichiometry of the surface up to the complete disappearance of the 2DEG. These results open a route for the nano-engineering of confined electronic states, the control of their metallic or insulating nature, and the tailoring of their microscopic symmetry, using UV illumination at different surfaces of anatase.


title: Evaluating Non-Analytic Functions of Matrices

abstract: The paper revisits the classical problem of evaluating $f(A)$ for a real function $f$ and a matrix $A$ with real spectrum. The evaluation is based on expanding $f$ in Chebyshev polynomials, and the focus of the paper is to study the convergence rates of these expansions. In particular, we derive bounds on the convergence rates which reveal the relation between the smoothness of $f$ and the diagonalizability of the matrix A. We present several numerical examples to illustrate our analysis.


title: A Landau-type quantization from a Lorentz symmetry violation background with crossed electric and magnetic fields

abstract: We investigate the arising of an analogue of the Landau quantization from a background of the violation of the Lorentz symmetry established by a time-like 4-vector and a field configuration of crossed electric and magnetic field. We also analyse the effects on this Landau-type system subject to a hard-wall confining potential by showing a particular case where a discrete spectrum of energy can be obtained. Further, we analyse the effects of a linear confining potential on the Landau-type system. We show that a quantum effect characterized by the dependence of the cyclotron frequency on the quantum numbers of the system can arise in this analogue of the Landau system. As an example, we calculate the cyclotron frequency associated with ground state of the system.


title: Would Real Analysis be complete without the Fundamental Theorem of Calculus?

abstract: The paper continues the intriguing theme that many key facts of (single-variable) Real Analysis are not only crucially dependent on the completeness of the real numbers, but are actually equivalent to it. The list of these characterizations of completeness is long and contains many prominent items, but so far the "biggest price", the Fundamental Theorem of Calculus (FTC), had resisted inclusion in the list. We show that the FTC $can$ be included, if one considers uniformly differentiable anti-derivatives. In the process, we exhibit some interesting facts about uniformly differentiable functions, including an additional characterization of completeness. We also discuss the second part of the FTC, the "Evaluation Theorem".


title: Fuzzy Answer Set Computation via Satisfiability Modulo Theories

abstract: Fuzzy answer set programming (FASP) combines two declarative frameworks, answer set programming and fuzzy logic, in order to model reasoning by default over imprecise information. Several connectives are available to combine different expressions; in particular the \Godel and \Luka fuzzy connectives are usually considered, due to their properties. Although the \Godel conjunction can be easily eliminated from rule heads, we show through complexity arguments that such a simplification is infeasible in general for all other connectives. %, even if bodies are restricted to \Luka or \Godel conjunctions. The paper analyzes a translation of FASP programs into satisfiability modulo theories~(SMT), which in general produces quantified formulas because of the minimality of the semantics. Structural properties of many FASP programs allow to eliminate the quantification, or to sensibly reduce the number of quantified variables. Indeed, integrality constraints can replace recursive rules commonly used to force Boolean interpretations, and completion subformulas can guarantee minimality for acyclic programs with atomic heads. Moreover, head cycle free rules can be replaced by shifted subprograms, whose structure depends on the eliminated head connective, so that ordered completion may replace the minimality check if also \Luka disjunction in rule bodies is acyclic. The paper also presents and evaluates a prototype system implementing these translations. To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015.


title: Emergent Mott Insulators and Possibility of High Tc Superconductivity in Pressurized Molecular Solids, H2S, SiH4, H2 etc

abstract: Paired valence electrons forming covalent bonds in molecues are confined cooper pair correlations. High pressure dissociates molecules in solid H2S, SiH4, H2 etc. and form extended structures. However, valence electrons are resilient and continue to bond and sometimes resonate. It is suggested that some structures contain emergent Mott insulators (EMI) and support superconductivity and other phases, under special conditions. In pressurized solid H2S, we propose presence of a sublattice of relatively narrow, nearly half filled band of H atoms, trapped in ordered interstitials of colvalently bonded S atom network. EMI offers a high pairing energy scale. A theory for recently claimed superconductivity in solid \hsm (Tc ~ 205 K), Silane (Tc ~ 17 K$), and systems like H2 is presented.


title: Complexity and Compilation of GZ-Aggregates in Answer Set Programming

abstract: Gelfond and Zhang recently proposed a new stable model semantics based on Vicious Circle Principle in order to improve the interpretation of logic programs with aggregates. The paper focuses on this proposal, and analyzes the complexity of both coherence testing and cautious reasoning under the new semantics. Some surprising results highlight similarities and differences versus mainstream stable model semantics for aggregates. Moreover, the paper reports on the design of compilation techniques for implementing the new semantics on top of existing ASP solvers, which eventually lead to realize a prototype system that allows for experimenting with Gelfond-Zhang's aggregates. To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015.


title: Rewriting recursive aggregates in answer set programming: back to monotonicity

abstract: Aggregation functions are widely used in answer set programming for representing and reasoning on knowledge involving sets of objects collectively. Current implementations simplify the structure of programs in order to optimize the overall performance. In particular, aggregates are rewritten into simpler forms known as monotone aggregates. Since the evaluation of normal programs with monotone aggregates is in general on a lower complexity level than the evaluation of normal programs with arbitrary aggregates, any faithful translation function must introduce disjunction in rule heads in some cases. However, no function of this kind is known. The paper closes this gap by introducing a polynomial, faithful, and modular translation for rewriting common aggregation functions into the simpler form accepted by current solvers. A prototype system allows for experimenting with arbitrary recursive aggregates, which are also supported in the recent version 4.5 of the grounder \textsc{gringo}, using the methods presented in this paper. To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015.


title: Simultaneous state and exogenous input estimation for nonlinear systems using boundary-layer sliding mode observers

abstract: While sliding mode observers (SMOs) using discontinuous relays are widely analyzed, most SMOs are implemented computationally using a continuous approximation of the discontinuous relays. This approximation results in the formation of a boundary layer in a neighborhood of the sliding manifold in the observer error space. Therefore, it becomes necessary to develop methods for attenuating the effect of the boundary layer and guaranteeing performance bounds on the resulting state estimation error. In this paper, a method is proposed for constructing boundary-layer SMOs (BL-SMOs) with prescribed state estimation error bounds. The BL-SMO formulation is then extended to simultaneously estimate exogenous inputs (disturbance signals in the state and output vector fields), along with the system state. Two numerical examples are presented to illustrate the effectiveness of the proposed approach.


title: Redesigning a junior-level electronics course to support engagement in scientific practices

abstract: Building on successful work on studying and transforming our senior-level Advanced Lab course, we have transformed our junior-level Electronics course to engage students in a variety of authentic scientific practices, including constructing, testing, and refining models of canonical measurement tools and analog circuits. We describe our approach to the transformation, provide a framework for incorporating authentic scientific practices, and present initial outcomes from the project. As part of the broader assessment of these course transformations, we examine one course learning outcome: development of the ability to model measurement systems. We demonstrate that in the transformed course students demonstrate greater likelihood of identifying discrepancies between the measurement and the model and significantly greater tendencies to refine their models to reconcile with the measurement.


title: Phase resolved spectroscopy and Kepler photometry of the ultracompact AM CVn binary SDSS J190817.07+394036.4

abstract: {\it Kepler} satellite photometry and phase-resolved spectroscopy of the ultracompact AM CVn type binary SDSS J190817.07+394036.4 are presented. The average spectra reveal a variety of weak metal lines of different species, including silicon, sulphur and magnesium as well as many lines of nitrogen, beside the strong absorption lines of neutral helium. The phase-folded spectra and the Doppler tomograms reveal an S-wave in emission in the core of the He I 4471 \AA\,absorption line at a period of $P_{\rm orb}=1085.7\pm2.8$\,sec identifying this as the orbital period of the system. The Si II, Mg II and the core of some He I lines show an S-wave in absorption with a phase offset of $170\pm15^\circ$ compared to the S-wave in emission. The N II, Si III and some helium lines do not show any phase variability at all. The spectroscopic orbital period is in excellent agreement with a period at $P_{\rm orb}=1085.108(9)$\,sec detected in the three year {\it Kepler} lightcurve. A Fourier analysis of the Q6 to Q17 short cadence data obtained by {\it Kepler} revealed a large number of frequencies above the noise level where the majority shows a large variability in frequency and amplitude. In an O-C analysis we measured a $\vert\dot{P}\vert\sim1.0\,$x$\,10^{-8}\,$s\,s$^{-1}$ for some of the strongest variations and set a limit for the orbital period to be $\vert\dot{P}\vert<10^{-10}$s\,s$^{-1}$. The shape of the phase folded lightcurve on the orbital period indicates the motion of the bright spot. Models of the system were constructed to see whether the phases of the radial velocity curves and the lightcurve variation can be combined to a coherent picture. However, from the measured phases neither the absorption nor the emission can be explained to originate in the bright spot.


title: SkyHash: a Hash Opinion Dynamics Model

abstract: This paper proposes the first hash opinion dynamics model, named SkyHash, that can help a P2P network quickly reach consensus on hash opinion. The model consists of a bit layer and a hash layer, each time when a node shapes its new opinion, the bit layer is to determine each bit of a pseudo hash, and the hash layer is to choose a hash opinion with minimum Hamming distance to the pseudo hash. With simulations, we conducted a comprehensive study on the convergence speed of the model by taking into account impacts of various configurations such as network size, node degree, hash size, and initial hash density. Evaluation demonstrates that using our model, consensus can be quickly reached even in large networks. We also developed a denial-of-service (DoS) proof extension for our model. Experiments on the SNAP dataset of the Wikipedia who-votes-on-whom network demonstrate that besides the ability to refuse known ill-behaved nodes, the DoS-proof extended model also outperforms Bitcoin by producing consensus in 45 seconds, and tolerating DoS attack committed by up to 0.9% top influential nodes.


title: Pseudo-Query Reformulation

abstract: Automatic query reformulation refers to rewriting a user's original query in order to improve the ranking of retrieval results compared to the original query. We present a general framework for automatic query reformulation based on discrete optimization. Our approach, referred to as pseudo-query reformulation, treats automatic query reformulation as a search problem over the graph of unweighted queries linked by minimal transformations (e.g. term additions, deletions). This framework allows us to test existing performance prediction methods as heuristics for the graph search process. We demonstrate the effectiveness of the approach on several publicly available datasets.


title: On integral and differential representations of Jordan chains and the confluent supersymmetry algorithm

abstract: We construct a relationship between integral and differential representation of second-order Jordan chains. Conditions to obtain regular potentials through the confluent supersymmetry algorithm when working with the differential representation are obtained using this relationship. Furthermore, it is used to find normalization constants of wave functions of quantum systems that feature energy-dependent potentials. Additionally, this relationship is used to express certain integrals involving functions that are solution of Schrodinger equations through derivatives.


title: Ferromagnetic and underscreened Kondo behavior in quantum dot arrays

abstract: We analyze the low energy properties of a device with $N+1$ quantum dots in a star configuration. A central quantum dot is tunnel coupled to source and drain electrodes and to $N$ quantum dots. Extending previous results for the $N=2$ case we show that, in the appropriate parameter regime, the low energy Hamiltonian of the system is a ferromagnetic Kondo model for a $S=(N-1)/2$ impurity spin. For small enough interdot tunnel coupling, however, a two-stage Kondo effect takes place as the temperature is decreased. The spin $1/2$ in the central quantum dot is Kondo screened first and at lower temperatures the antiferromagnetic coupling to the side coupled quantum dots leads to an underscreened $S=N/2$ Kondo effect. We present numerical results for the thermodynamic and spectral properties of the system which show a singular behavior at low temperatures and allow to characterize the different strongly correlated regimes of the device.


title: Whitney Extension Theorems for convex functions of the classes $C^1$ and $C^{1,\omega}$

abstract: Let $C$ be a subset of $\mathbb{R}^n$ (not necessarily convex), $f:C\to\mathbb{R}$ be a function, and $G:C\to\mathbb{R}^n$ be a uniformly continuous function, with modulus of continuity $\omega$. We provide a necessary and sufficient condition on $f$, $G$ for the existence of a convex function $F\in C^{1, \omega}(\mathbb{R}^n)$ such that $F=f$ on $C$ and $\nabla F=G$ on $C$, with a good control of the modulus of continuity of $\nabla F$ in terms of that of $G$. On the other hand, assuming that $C$ is compact, we also solve a similar problem for the class of $C^1$ convex functions on $\mathbb{R}^n$, with a good control of the Lipschitz constants of the extensions (namely, $\textrm{Lip}(F)\lesssim \|G\|_{\infty}$). Finally, we give a geometrical application concerning interpolation of compact subsets $K$ of $\mathbb{R}^n$ by boundaries of $C^1$ or $C^{1,1}$ convex bodies with prescribed outer normals on $K$.


title: Two-dimensional cavity polaritons under the influence of the perpendicular strong magnetic and electric fields. The gyrotropy effects

abstract: The properties of the two-dimensional cavity polaritons subjected to the action of a strong perpendicular magnetic and electric fields, giving rise to the Landau quantization (LQ) of the 2D electrons and holes accompanied by the Rashba spin-orbit coupling, by the Zeeman splitting and by the nonparabolicity of the heavy-hole dispersion law are investigated. We use the method proposed by Rashba [1] and the obtained results are based on the exact solutions for the eigenfunctions and for the eigenvalues of the Pauli-type Hamilonians with third order chirality terms and nonparabolic dispersion law for heavy-holes and with the first order chirality terms for electrons. The selection rules of the band-to-band optical quantum transitions as well as of the quantum transitions from the ground state of the crystal to the magnetoexciton states depend essentially on the numbers $n_{e}$ and $n_{h}$ of the LQ levels of the (e-h) pair forming the magnetoexciton. It is shown that the Rabi frequency $\Omega_{R}$ of the polariton branches and the magnetoexciton oscillator strength $f_{osc}$ increase with the magnetic field strength $B$ as $\Omega_{R}\sim \sqrt{B}$, and $f_{osc}\sim B$. The optical gyrotropy effects may be revealed changing the sign of the photon circular polarization at a given sign of the wave vector longitudinal projection $k_{z}$ or eqivalently changing the sign of $k_{z}$ at the same selected circular polarization.


title: Correlating students' beliefs about experimental physics with lab course success

abstract: Student learning in instructional physics labs is a growing area of research that includes studies exploring students' beliefs and expectations about experimental physics. To directly probe students' epistemologies about experimental physics and support broader lab transformation efforts both at the University of Colorado Boulder (CU) and nationally, we developed the Colorado Learning Attitudes about Science Survey for Experimental Physics (E-CLASS). Previous work focused on establishing the accuracy and clarity of the instrument through student interviews and preliminary testing. Ongoing validation efforts include establishing the extent to which student epistemologies as measured by E-CLASS align with other measures of student learning outcomes (e.g., course grades). Here, we report on correlations between final course grades and E-CLASS scores from two semesters of introductory and upper-division lab courses at CU and discuss implications of our findings for the validity of the E-CLASS instrument.


title: Recurrent Polynomial Network for Dialogue State Tracking

abstract: Dialogue state tracking (DST) is a process to estimate the distribution of the dialogue states as a dialogue progresses. Recent studies on constrained Markov Bayesian polynomial (CMBP) framework take the first step towards bridging the gap between rule-based and statistical approaches for DST. In this paper, the gap is further bridged by a novel framework -- recurrent polynomial network (RPN). RPN's unique structure enables the framework to have all the advantages of CMBP including efficiency, portability and interpretability. Additionally, RPN achieves more properties of statistical approaches than CMBP. RPN was evaluated on the data corpora of the second and the third Dialog State Tracking Challenge (DSTC-2/3). Experiments showed that RPN can significantly outperform both traditional rule-based approaches and statistical approaches with similar feature set. Compared with the state-of-the-art statistical DST approaches with a lot richer features, RPN is also competitive.


title: A T(1) theorem for fractional Sobolev spaces on domains

abstract: Given any uniform domain $\Omega$, the Triebel-Lizorkin space $F^s_{p,q}(\Omega)$ with $0<s<1$ and $1<p,q<\infty$ can be equipped with a norm in terms of first order differences restricted to pairs of points whose distance is comparable to their distance to the boundary. Using this characterization, originally due to Seeger and reproven here, we prove a T(1)-theorem for fractional Sobolev spaces with $0<s<1$ for any uniform domain and for a large family of Calder\'on-Zygmund operators in any ambient space $\mathbb{R}^d$ as long as $sp>d$.


title: Validation and analysis of the coupled multiple response Colorado upper-division electrostatics (CUE) diagnostic

abstract: Standardized conceptual assessment represents a widely-used tool for educational researchers interested in student learning within the standard undergraduate physics curriculum. For example, these assessments are often used to measure student learning across educational contexts and instructional strategies. However, to support the large-scale implementation often required for cross-institutional testing, it is necessary for these instruments to have question formats that facilitate easy grading. Previously, we created a multiple-response version of an existing, validated, upper-division electrostatics diagnostic with the goal of increasing the instrument's potential for large-scale implementation. Here, we report on the validity and reliability of this new version as an independent instrument. These findings establish the validity of the multiple-response version as measured by multiple test statistics including item difficulty, item discrimination, and internal consistency. Moreover, we demonstrate that the majority of student responses to the new version are internally consistent even when they are incorrect, and provide an example of how the new format can be used to gain insight into student difficulties with specific content in electrostatics.


title: Access to undergraduate research experiences at a large research university

abstract: The American Physical Society recently released a statement calling on all university physics departments to provide or facilitate access to research experiences for all undergraduate students. In response, we investigated the current status of access to undergraduate research at University of Colorado Boulder (CU), a large research institution where the number of undergraduate physics majors outnumber faculty by roughly ten to one. We created and administered two surveys within CU's Physics Department: one probed undergraduate students' familiarity with, and participation in, research; the other probed faculty members' experiences as research mentors to undergraduates. We describe the development of these instruments, our results, and our corresponding evidence-based recommendations for improving local access to undergraduate research experiences. Reflecting on our work, we make several connections to an institutional change framework and note how other universities and colleges might adapt our process.


title: Upper-division student difficulties with Separation of Variables

abstract: Separation of variables can be a powerful technique for solving many of the partial differential equations that arise in physics contexts. Upper-division physics students encounter this technique in multiple topical areas including electrostatics and quantum mechanics. To better understand the difficulties students encounter when utilizing the separation of variables technique, we examined students' responses to midterm exam questions and a standardized conceptual assessment, and conducted think-aloud, problem-solving interviews. Our analysis was guided by an analytical framework that focuses on how students activate, construct, execute, and reflect on the separation of variables technique when solving physics problems. Here we focus on student difficulties with separation of variables as a technique to solve Laplace's equation in both Cartesian and spherical coordinates in the context of junior-level electrostatics. Challenges include: recognizing when separation of variables is the appropriate tool; recalling/justifying the separated form of the potential and the need for the infinite sum; identifying implicit boundary conditions; and spontaneously reflecting on their solutions. Moreover, the type and frequency of errors was often different for SoV problems in Cartesian and spherical geometries. We also briefly discuss implication of these our findings for instruction.


title: The role of modeling in troubleshooting: an example from electronics

abstract: Troubleshooting systems is integral to experimental physics in both research and instructional laboratory settings. The recently adopted AAPT Lab Guidelines identify troubleshooting as an important learning outcome of the undergraduate laboratory curriculum. We investigate students' model-based reasoning on a troubleshooting task using data collected in think-aloud interviews during which pairs of students attempted to diagnose and repair a malfunctioning circuit. Our analysis scheme is informed by the Experimental Modeling Framework, which describes physicists' use of mathematical and conceptual models when reasoning about experimental systems. We show that this framework is a useful lens through which to characterize the troubleshooting process.


title: Vector resonances in weak-boson-fusion at future pp colliders

abstract: We present a first estimate of the reach of future pp colliders, the 14 TeV LHC and a futuristic 100 TeV pp collider, on a vector resonance, specifically a $W^{'}$, produced via weak-boson-fusion, and decaying dominantly into $tb$. The analysis is motivated by Composite Higgs, Randall-Sundrum and Little Higgs scenarios, which predict the existence of vector resonances with a large coupling to $W$ and $Z$ longitudinal bosons. In particular, in composite Higgs models with partial compositeness, the standard Drell-Yan production channel is suppressed at large coupling while the weak-boson-fusion is enhanced and could thus provide a unique opportunity to directly test the large coupling regime of the theory. We outline a search strategy for the $W^{'}$ in the weak-boson-fusion channel and present the reach of future colliders on the $W^{'}$ mass-coupling parameter space.


title: The role of metacognition in troubleshooting: an example from electronics

abstract: Students in physics laboratory courses, particularly at the upper division, are often expected to engage in troubleshooting. Although there are numerous ways in which students may proceed when diagnosing a problem, not all approaches are equivalent in terms of providing meaningful insight. It is reasonable to believe that metacognition, by assisting students in making informed decisions, is an integral component of effective troubleshooting. We report on an investigation of authentic student troubleshooting in the context of junior-level electronics courses at two institutions. Think-aloud interviews were conducted with pairs of students as they attempted to repair a malfunctioning operational-amplifier circuit. Video data from the interviews have been analyzed to examine the relationship between each group's troubleshooting activities and instances of socially mediated metacognition. We present an analysis of a short episode from one interview.


title: Strong Gravitational Lensing in the Einstein-Proca Theory

abstract: Adopting the strong field limit approach, we investigate the strong gravitational lensing of a spherically symmetric spacetime in the Einstein-Proca theory. With the strong field limit coefficient, three observable quantities are obtained, which are the innermost relativistic image, the deflection angle and the ratio of the flux. Comparing the observable value and the theoretical value of the strong gravitational lensing, we can verify the effectiveness of the strong gravitational lensing model.


title: Gauge $B-L$ Model with Residual $Z_3$ Symmetry

abstract: We study a gauge $B-L$ extension of the standard model of quarks and leptons with unconventional charges for the singlet right-handed neutrinos, and extra singlet scalars, such that a residual $Z_3$ symmetry remains after the spontaneous breaking of $B-L$. We discuss the phenomenological consequences of this scenario, including the possibility of long-lived self-interacting dark matter and $Z'$ collider signatures.


title: An Accumulative Model for Quantum Theories

abstract: For a general quantum theory that is describable by a path integral formalism, we construct a mathematical model of the universe as a sample point of an accumulative stochastic process. The model give predictions that are nearly identical to the given quantum theory. The model is neither local nor causal in spacetime, but is both local and causal is in a non-observable path space. The probabilistic nature of the squared wavefunction is a natural consequence of the model. We verify the model with simulations, and we discuss possible discrepancies from conventional quantum theory that might be detectable via experiment. Finally, we briefly discuss the physical implications of the model.


title: The proper characteristics of frame reference as a 4-invariants

abstract: The paper proposes 4-dimensional equations for the proper characteristics of a rigid reference frame \[ {{{W}'}^{\gamma }}=\Lambda ^{0}_{\;\;i}\frac{d\Lambda ^{\gamma i}}{d{t}}\,\,,\] \[ {{{\Omega }'}^{\gamma }}=-\frac{1}{2}\,{{e}^{\alpha \mu \gamma }}\Lambda _{\;\;i}^{\mu }\frac{d{{\Lambda }^{\alpha i}}}{d{t}}\,\,.\] From these conditions follow the law of motion of the proper tetrad and the equations of the inverse problem of kinematics, i.e., differential equations that solve the problem of restoring the motion parameters of a rigid reference frame from known proper acceleration and angular velocity. In particular, it is shown that when boosted, a moving reference frame that has proper Thomas precession relative to the new laboratory frame will have a combination of two rotations: the new Thomas proper precession and the Wigner rotation, which together give the original frequency of Thomas precession $$ \frac{1-\sqrt{1-v^{2}}}{v^{2}\sqrt{1-v^{2}}}\,\,e^{\beta\mu\nu}v^{\mu}\dot{v}^{\nu}=\omega'^{\beta}_{W} + b^{\beta\alpha}_{W}\,\frac{1-\sqrt{1-v^{*2}}}{v^{*2}\sqrt{1-v^{*2}}}\,\,e^{\alpha\mu\nu}v^{*\mu}\dot{v}^{*\nu}\,.$$


title: Accelerated 2D magnetic resonance spectroscopy of single spins using matrix completion

abstract: Two dimensional nuclear magnetic resonance (NMR) spectroscopy is one of the major tools for analysing the chemical structure of organic molecules and proteins. Despite its power, this technique requires long measurement times, which, particularly in the recently emerging diamond based single molecule NMR, limits its application to stable samples. Here we demonstrate a method which allows to obtain the spectrum by collecting only a small fraction of the experimental data. Our method is based on matrix completion which can recover the full spectral information from randomly sampled data points. We confirm experimentally the applicability of this technique by performing two dimensional electron spin echo envelope modulation (ESEEM) experiments on a two spin system consisting of a single nitrogen vacancy (NV) centre in diamond coupled to a single 13C nuclear spin. We show that the main peaks in the spectrum can be obtained with only 10 % of the total number of the data points. We believe that our results reported here can find an application in all types of two dimensional spectroscopy, as long as the measured matrices have a low rank.


title: Investigating student ownership of projects in an upper-division physics lab course

abstract: In undergraduate research experiences, student development of an identity as a scientist is coupled to their sense of ownership of their research projects. As a a first step towards studying similar connections in physics laboratory courses, we investigate student ownership of projects in a lasers-based upper-division course. Students spent the final seven weeks of the semester working in groups on final projects of their choosing. Using data from the Project Ownership Survey and weekly student reflections, we investigate student ownership as it relates to students' personal agency, self-efficacy, peer interactions, and complex affective responses to challenges and successes. We present evidence of students' project ownership in an upper-division physics lab. Additionally, we find that there is a complex relationship between student affect and their sense of ownership.


title: Energy source for the magnetic field growth in magnetars driven by the electron-nucleon interaction

abstract: We study the magnetic field generation in a neutron star within the model based on the magnetic field instability in the nuclear matter owing to the electron-nucleon parity violating interaction. We suggest that the growing magnetic field takes the energy from thermal background fermions in the neutron star matter. The system of kinetic equations for the spectra of the magnetic helicity density and magnetic energy density as well as the chiral imbalance are solved numerically accounting for this energy source. We obtain that, for the initial conditions corresponding to a typical neutron star, the large scale magnetic field $\sim 10^{15}\thinspace\text{G}$ is generated during $(10^4-10^5)\thinspace\text{yr}$. We suggest that the proposed model describes strong magnetic fields observed in magnetars.


title: On a Particular Thin-shell Wormhole

abstract: In this paper, using a black hole with scalar hair, we construct a scalar thin-shell wormhole (TSW) in 2+1 dimensions by applying the Visser's famous cut and paste technique. The surface stress, which is concentrated at the wormhole throat is determined by using the Darmois-Israel formalism. By employing the various gas models, we study the stability analysis of the TSW. The region of stability is changed by tuning the parameters of "l" and "u". It is observed that the obtained particular TSW originated from the black hole with scalar hair could be more stable with particular $l$ parameter, however it still needs exotic matter.


title: Graphene fish-scale array as controllable reflecting photonic structure

abstract: We report resonant features of novel controllable reflectarray which consists of meander-like graphene strips placed on a metal-backed dielectric substrate. The structure manifests two kinds of resonances appeared as sharp deeps of reflectivity. The first one exists because the strips of periodic cells of the structure have resonant sizes for induced surface plasmon-polaritons. The second kind of resonances is defined by excitation of TM eigenwaves of the whole structure as a plane photonic crystal. The latter resonances do not depend on whether the strips of the unit cells have resonant sizes or not.


title: Bottomonia suppression in 2.76 TeV Pb-Pb collisions

abstract: We compute the QGP suppression of Upsilon(1s), Upsilon(2s), Upsilon(3s), chi_b1, and chi_b2 states in sqrt(s_NN)=2.76 TeV Pb-Pb collisions. Using the suppression of each of these states, we estimate the inclusive R_AA for the Upsilon(1s) and Upsilon(2s) states as a function of N_part, y, and p_T including the effect of excited state feed down. We find that our model provides a reasonable description of preliminary CMS results for the N_part-, y-, and p_T-dependence of R_AA for both the Upsilon(1s) and Upsilon(2s). Comparing to our previous model predictions, we find a flatter rapidity dependence, thereby reducing some of the tension between our model and ALICE forward-rapidity results for Upsilon(1s) suppression.


title: Fraction space revisited

abstract: Rationals are known to form interesting and computationally rich structures, such as Farey sequences and infinite trees. Little attention is being paid to more general, systematic exposition of the basic properties of fractions as a set. Some concepts are being introduced without motivation, some proofs are unnecessarily artificial, and almost invariably both seem to be understood as related to specific structures rather than to the set of fractions in general. Surprisingly, there are essential propositions whose very statement seem to be missing in the number theory literature. This article aims at improving on the said state of affairs by proposing a general and properly ordered exposition of concepts and statements about them. In addition, historical remarks are made on generating the set of all fractions -- a much older discovery than it is widely believed.