title: Global cycle properties in graphs with large minimum clustering coefficient

abstract: The clustering coefficient of a vertex in a graph is the proportion of neighbours of the vertex that are adjacent. The minimum clustering coefficient of a graph is the smallest clustering coefficient taken over all vertices. A complete structural characterization of those locally connected graphs, with minimum clustering coefficient 1/2 and maximum degree at most 6, that are fully cycle extendable is given in terms of strongly induced subgraphs with given attachment sets. Moreover, it is shown that all locally connected graphs with minimum clustering coefficient 1/2 and maximum degree at most 6 are weakly pancyclic, thereby proving Ryjacek's conjecture for this class of locally connected graphs.


title: Some monoids of Pisot matrices

abstract: We show that several monoids of non-negative integer matrices enjoy a Pisot property: each matrix in that monoid has only one eigenvalue with absolute value larger than one. These monoids come from multidimensional continued fractions, namely the fully subtractive and Brun continued fractions.


title: Optimization Monte Carlo: Efficient and Embarrassingly Parallel Likelihood-Free Inference

abstract: We describe an embarrassingly parallel, anytime Monte Carlo method for likelihood-free models. The algorithm starts with the view that the stochasticity of the pseudo-samples generated by the simulator can be controlled externally by a vector of random numbers u, in such a way that the outcome, knowing u, is deterministic. For each instantiation of u we run an optimization procedure to minimize the distance between summary statistics of the simulator and the data. After reweighing these samples using the prior and the Jacobian (accounting for the change of volume in transforming from the space of summary statistics to the space of parameters) we show that this weighted ensemble represents a Monte Carlo estimate of the posterior distribution. The procedure can be run embarrassingly parallel (each node handling one sample) and anytime (by allocating resources to the worst performing sample). The procedure is validated on six experiments.


title: Learning language through pictures

abstract: We propose Imaginet, a model of learning visually grounded representations of language from coupled textual and visual input. The model consists of two Gated Recurrent Unit networks with shared word embeddings, and uses a multi-task objective by receiving a textual description of a scene and trying to concurrently predict its visual representation and the next word in the sentence. Mimicking an important aspect of human language learning, it acquires meaning representations for individual words from descriptions of visual scenes. Moreover, it learns to effectively use sequential structure in semantic interpretation of multi-word phrases.


title: Erratum to: "Remarks on the second neighborhood problem"

abstract: We prove that the proof of existence of weighted local median order of weighted tournaments is wrong and that the proof of the correct statement which asserts that every digraph obtained from a tournament by deleting a set of arcs incident to the same vertex contains a mistake, in the paper entitled "Remarks on the second neighborhood problem". We introduce correct proofs of each.


title: Entanglement and Fast Quantum Thermalization in Heavy Ion Collisions

abstract: Let $A$ be subsystem of a larger system $A \cup B$, and $\psi$ be a typical state from the subspace of the Hilbert space ${\cal H}_{AB}$ satisfying an energy constraint. Then $\rho_A(\psi)= {\rm Tr}_B | \psi \rangle \langle \psi |$ is nearly thermal. We discuss how this observation is related to fast thermalization of the central region ($\approx A$) in heavy ion collisions, where $B$ represents other degrees of freedom (soft modes, hard jets, collinear particles) outside of $A$. Entanglement between the modes in $A$ and $B$ plays a central role: the entanglement entropy $S_A$ increases rapidly in the collision. In gauge-gravity duality, $S_A$ is related to the area of extremal surfaces in the bulk, which can be studied using gravitational duals.


title: Early Transcendental Analysis

abstract: In Early Transcendentals (The American Mathematical Monthly, Vol. 104, No 7) Steven Weintraub presents a rigorous justifcation of the "early transcendental" calculus textbook approach to the exponential and logarithmic functions. However, he uses tools such as term-by-term differentiation of infinite series. We present a rigorous treatment of the early transcendental approach suitable for a first course in analysis, using mainly the supremum property of the real numbers.


title: Giant Magneto-Seebeck Effect in Spin Valves

abstract: Giant magneto-Seebeck (GMS) effect was observed in Co/Cu/Co and NiFe/Cu/Co spin valves. Their Seebeck coefficients in parallel state was larger than that in antiparallel state, and GMS ratio defined as (SAP-SP)/SP could reach -9% in our case. The GMS originated not only from trivial giant magnetoresistance but also from spin current generated due to spin polarized thermoelectric conductivity in ferromagnetic materials and subsequent modulation of the spin current by spin configurations in spin valves. Simple Mott two-channel model reproduced a -11% GMS for the Co/Cu/Co spin valves, qualitatively consistent with our observations. The GMS effect could be applied simultaneously sensing temperature gradient and magnetic field and also be possibly applied to determine spin polarization of thermoelectric conductivity and Seebeck coefficient in ferromagnetic thin films.


title: Shifted Poisson Structures and Deformation Quantization

abstract: This paper is the sequel to [PTVV] (IHES Vol. 117, 2013). We develop a general and flexible context for differential calculus in derived geometry, including the de Rham algebra and polyvector fields. We then introduce the formalism of formal derived stacks and prove formal localization and gluing results. These allow us to define shifted Poisson structures on general derived Artin stacks, and prove that the non-degenerate Poisson structures correspond exactly to shifted symplectic forms. Shifted deformation quantization for a derived Artin stack endowed with a shifted Poisson structure is discussed in the last section. This paves the way for shifted deformation quantization of many interesting derived moduli spaces, like those studied in [PTVV] and probably many others.


title: Statistical approach based on 1D Voronoi tessellation as a tool for studying the randomness of fractional digits of some irrational numbers

abstract: An "experimental" study on the randomness of the fractional digits of $\pi$, $e$ and $\phi$ irrational numbers are presented. This is done by exploiting the $1D$ Poisson-Voronoi tessellation. We employed two approaches and in both cases, within the numerical error, no differences have been detected between the irrational fractional digits and an equivalent random sequence of digits. The number of tested digits is $1.6 \times 10^7$ and $4 \times 10^7$ for the first and second approach, respectively. Although not shown here, we investigated several irrational numbers and all of them have displayed a similar behavior.


title: Channel Interaction and Current Level Affect Across-Electrode Integration of Interaural Time Differences in Bilateral Cochlear-Implant Listeners

abstract: Sensitivity to ITDs is important for sound localization. Normal-hearing listeners benefit from across-frequency processing, as seen with improved ITD thresholds when consistent ITD cues are presented over a range of frequency channels compared to when ITD information is only presented in a single frequency channel. This study aimed to clarify whether cochlear-implant (CI) listeners can make use of similar processing when being stimulated with multiple interaural electrode pairs transmitting consistent ITD information. ITD thresholds for unmodulated, 100-pulse-per-second pulse trains were measured in seven bilateral CI listeners using research interfaces. Consistent ITDs were presented at either one or two electrode pairs at different current levels, allowing for comparisons at either constant level per component electrode or equal overall loudness. Different tonotopic distances between the pairs were tested in order to clarify the potential influence of channel interaction. Comparison of ITD thresholds between double pairs and the respective single pairs revealed systematic effects of tonotopic separation and current level. At constant levels, performance with double-pair stimulation improved compared to single-pair stimulation, but only for large tonotopic separation. Comparisons at equal overall loudness revealed no benefit from presenting ITD information at two electrode pairs for any tonotopic spacing. Irrespective of electrode-pair configuration, ITD sensitivity improved with increasing current level. Hence, the improved ITD sensitivity for double pairs found for a large tonotopic separation and constant current levels seems to be due to increased loudness. The overall data suggest that CI listeners can benefit from combining consistent ITD information across multiple electrodes, provided sufficient stimulus levels and that stimulating electrode pairs are widely spaced.


title: Eigenvalue-based determinants for scalar products and form factors in Richardson-Gaudin integrable models coupled to a bosonic mode

abstract: Starting from integrable $su(2)$ (quasi-)spin Richardson-Gaudin XXZ models we derive several properties of integrable spin models coupled to a bosonic mode. We focus on the Dicke-Jaynes-Cummings-Gaudin models and the two-channel $(p+ip)$-wave pairing Hamiltonian. The pseudo-deformation of the underlying $su(2)$ algebra is here introduced as a way to obtain these models in the contraction limit of different Richardson-Gaudin models. This allows for the construction of the full set of conserved charges, the Bethe Ansatz state, and the resulting Richardson-Gaudin equations. For these models an alternative and simpler set of quadratic equations can be found in terms of the eigenvalues of the conserved charges. Furthermore, the recently proposed eigenvalue-based determinant expressions for the overlaps and form factors of local operators are extended to these models, linking the results previously presented for the Dicke-Jaynes-Cummings-Gaudin models with the general results for Richardson-Gaudin XXZ models.


title: Entanglement entropies of the $J_1 - J_2$ Heisenberg antiferromagnet on the square lattice

abstract: Using a modified spin-wave theory which artificially restores zero sublattice magnetization on finite lattices, we investigate the entanglement properties of the N\'eel ordered $J_1 - J_2$ Heisenberg antiferromagnet on the square lattice. Different kinds of subsystem geometries are studied, either corner-free (line, strip) or with sharp corners (square). Contributions from the $n_G=2$ Nambu-Goldstone modes give additive logarithmic corrections with a prefactor ${n_G}/{2}$ independent of the R\'enyi index. On the other hand, corners lead to additional (negative) logarithmic corrections with a prefactor $l^{c}_q$ which does depend on both $n_G$ and the R\'enyi index $q$, in good agreement with scalar field theory predictions. By varying the second neighbor coupling $J_2$ we also explore universality across the N\'eel ordered side of the phase diagram of the $J_1 - J_2$ antiferromagnet, from the frustrated side $0<J_2/J_1<1/2$ where the area law term is maximal, to the strongly ferromagnetic regime $-J_2/J_1\gg1$ with a purely logarithmic growth $S_q=\frac{n_G}{2}\ln N$, thus recovering the mean-field limit for a subsystem of $N$ sites. Finally, a universal subleading constant term $\gamma_q^{\rm ord}$ is extracted in the case of strip subsystems, and a direct relation is found (in the large-S limit) with the same constant extracted from free lattice systems. The singular limit of vanishing aspect ratios is also explored, where we identify for $\gamma_q^\text{ord}$ a regular part and a singular component, explaining the discrepancy of the linear scaling term for fixed width {\it{vs}} fixed aspect ratio subsystems.


title: Entanglement swapping with quantum-memory-compatible photons

abstract: We report entanglement swapping with time-bin entangled photon pairs, each constituted of a 795 nm photon and a 1533 nm photon, that are created via spontaneous parametric down conversion in a non-linear crystal. After projecting the two 1533 nm photons onto a Bell state, entanglement between the two 795 nm photons is verified by means of quantum state tomography. As an important feature, the wavelength and bandwidth of the 795 nm photons is compatible with Tm:LiNbO3-based quantum memories, making our experiment an important step towards the realization of a quantum repeater.


title: Random Maxout Features

abstract: In this paper, we propose and study random maxout features, which are constructed by first projecting the input data onto sets of randomly generated vectors with Gaussian elements, and then outputing the maximum projection value for each set. We show that the resulting random feature map, when used in conjunction with linear models, allows for the locally linear estimation of the function of interest in classification tasks, and for the locally linear embedding of points when used for dimensionality reduction or data visualization. We derive generalization bounds for learning that assess the error in approximating locally linear functions by linear functions in the maxout feature space, and empirically evaluate the efficacy of the approach on the MNIST and TIMIT classification tasks.


title: Smear correction of highly-variable, frame-transfer-CCD images with application to polarimetry

abstract: Image smear, produced by the shutter-less operation of frame transfer CCD detectors, can be detrimental for many imaging applications. Existing algorithms used to numerically remove smear, do not contemplate cases where intensity levels change considerably between consecutive frame exposures. In this report we reformulate the smearing model to include specific variations of the sensor illumination. The corresponding desmearing expression and its noise properties are also presented and demonstrated in the context of fast imaging polarimetry.


title: Structure functions of many-boson system with regard for direct three- and four-particle correlations

abstract: On the basis of the expression for the density matrix of interacting Bose particles in the coordinate representation with regard for the direct three- and four-particle correlations [I.O.\,\,Vakarchuk and O.I.\,\,Hryhorchak, J.\,\,Phys.\,\,Stud.\,\,\textbf{3}, 3005 (2009)], the two-, three-, and four-particle structure factors of liquid $^{4}$He in a wide temperature interval were calculated in the approximation "one sum over the wave vector".\,\,In the low-temperature limit, the expression obtained for the two-particle structure factor transforms into the well-known one.\,\,In the high-temperature limit, the expressions for the two-, three-, and four-particle structure factors are reduced to those for the ideal Bose gas.\,\,The results obtained can be applied to calculations of the thermodynamic functions of liquid $^{4}$He and to the determination of the temperature dependence of the first-sound velocity in a many-boson system.


title: Markets, herding and response to external information

abstract: We focus on the influence of external sources of information upon financial markets. In particular, we develop a stochastic agent-based market model characterized by a certain herding behavior as well as allowing traders to be influenced by an external dynamic signal of information. This signal can be interpreted as a time-varying advertising, public perception or rumor, in favor or against one of two possible trading behaviors, thus breaking the symmetry of the system and acting as a continuously varying exogenous shock. As an illustration, we use a well-known German Indicator of Economic Sentiment as information input and compare our results with Germany's leading stock market index, the DAX, in order to calibrate some of the model parameters. We study the conditions for the ensemble of agents to more accurately follow the information input signal. The response of the system to the external information is maximal for an intermediate range of values of a market parameter, suggesting the existence of three different market regimes: amplification, precise assimilation and undervaluation of incoming information.


title: Finite determining parameters feedback control for distributed nonlinear dissipative systems - a computational study

abstract: We present a computational study of a simple finite-dimensional feedback control algorithm for stabilizing solutions of infinite-dimensional dissipative evolution equations such as reaction-diffusion systems, the Navier-Stokes equations and the Kuramoto-Sivashinsky equation. This feedback control scheme takes advantage of the fact that such systems possess finite number of determining parameters or degrees of freedom, namely, finite number of determining Fourier modes, determining nodes, and determining interpolants and projections. In particular, the feedback control scheme uses finitely many of such observables and controllers that are acting on the coarse spatial scales. We demonstrate our numerical results for the stabilization of the unstable zero solution of the 1D Chafee-Infante equation and 1D Kuramoto-Sivashinksky equation. We give rigorous stability analysis for the feedback control algorithm and derive sufficient conditions relating the control parameters and model parameter values to attune to the control objective.


title: On Equivalences, Metrics, and Polynomial Time (Long Version)

abstract: Interactive behaviors are ubiquitous in modern cryptography, but are also present in $\lambda$-calculi, in the form of higher-order constructions. Traditionally, however, typed $\lambda$-calculi simply do not fit well into cryptography, being both deterministic and too powerful as for the complexity of functions they can express. We study interaction in a $\lambda$-calculus for probabilistic polynomial time computable functions. In particular, we show how notions of context equivalence and context metric can both be characterized by way of traces when defined on linear contexts. We then give evidence on how this can be turned into a proof methodology for computational indistinguishability, a key notion in modern cryptography. We also hint at what happens if a more general notion of a context is used.


title: Curved A-infinity-categories: adjunction and homotopy

abstract: We develop a theory of curved A-infinity-categories around equivalences of their module categories. This allows for a uniform treatment of curved and uncurved A-infinity-categories which generalizes the classical theory of uncurved A-infinity algebras. Furthermore, the theory is sufficiently general to treat both Fukaya categories and categories of matrix factorizations, as well as to provide a context in which unitification and categorification of pre-categories can be carried out. Our theory is built around two functors: the adjoint algebra functor U_e and the functor Q_*. The bulk of the paper is dedicated to proving crucial adjunction and homotopy theorems about these functors. In addition, we explore the non-vanishing of the module categories and give a precise statement and proof the result known as "Positselski-Kontsevich vanishing".


title: High resolution imaging of NGC 2346 with GSAOI/GeMS: disentangling the planetary nebula molecular structure to understand its origin and evolution

abstract: We present high spatial resolution ($\approx$ 60--90 milliarcseconds) images of the molecular hydrogen emission in the Planetary Nebula (PN) NGC 2346. The data were acquired during the System Verification of the Gemini Multi-Conjugate Adaptive Optics System + Gemini South Adaptive Optics Imager. At the distance of NGC 2346, 700 pc, the physical resolution corresponds to $\approx$ 56 AU, which is slightly higher than that an [N II] image of NGC 2346 obtained with HST/WFPC2. With this unprecedented resolution we were able to study in detail the structure of the H$_2$ gas within the nebula for the first time. We found it to be composed of knots and filaments, which at lower resolution had appeared to be a uniform torus of material. We explain how the formation of the clumps and filaments in this PN is consistent with a mechanism in which a central hot bubble of nebular gas surrounding the central star has been depressurized, and the thermal pressure of the photoionized region drives the fragmentation of the swept-up shell.


title: Almost even-Clifford hermitian manifolds with large automorphism group

abstract: We study manifolds endowed with an (almost) even Clifford (hermitian) structure and admitting a large automorphism group. We classify them when they are simply connected and the dimension of the automorphism group is maximal, and also prove a gap theorem for the dimension of the automorphism group.


title: Gravitomagnetism in Massive Gravity

abstract: Massive gravity in the weak field limit is described by the Fierz-Pauli theory with 5 degrees of freedom in four dimensions. In this theory, we calculate the gravitomagnetic effects (potential energy) between two point-like, spinning sources that also orbit around each other in the limit where the spins and the velocities are small. Spin-spin, spin-orbit and orbit-orbit interactions in massive gravity theory have rather remarkable, discrete differences from their counterparts in General Relativity. Our computation is applicable for large distances, for example, for interaction between galaxies or galaxy clusters where massive gravity is expected to play a role. We also extend the computations to quadratic gravity theories in four dimensions and find the lowest order gravitomagnetic effects and show that at small separations quadratic gravity behaves differently than General Relativity.


title: Records of sunspot and aurora during CE 960-1279 in the Chinese chronicle of the Song dynasty

abstract: Records of sunspots and aurora observations in pre-telescopic historical documents can provide useful information about solar activity in the past. This is also true for extreme space weather events, as they may have been recorded as large sunspots observed by the naked eye or as low-latitude auroras. In this paper, we present the results of a comprehensive survey of records of sunspots and auroras in the Songshi, a Chinese formal chronicle spanning the tenth to the thirteenth century. This chronicle contains a record of continuous observations with well-formatted reports conducted as a policy of the government. A brief comparison of the frequency of observations of sunspots and auroras and the observations of radioisotopes as an indicator of the solar activity during corresponding periods is provided. This paper is the first step of our project in which we survey and compile the records of sunspots and aurora in historical documents from various locations and languages, ultimately providing it to the science community as online data.


title: Combining Grassmann algebra with entanglement renormalization method

abstract: By combining the Grassmann algebra with multi-scale entanglement renormalization ansatz (MERA), we introduce a new unbiased and effective numerical method for simulating 2D strongly correlated electronic systems. The new GMERA method inherits all the advantages of MERA, which constructs the variational wave function based on complicated tensor network. Besides it can deal with fermionic properties of the system due to Grassmann algebra through local tensor contractions. This general method can treat different tensor network structures in a universal way. We show several benchmark calculations of the GMERA method, including the free fermion model, tight binding model, as well as the t-J model with hole doping.


title: Convexity Properties of Discrete Schr\"odinger evolutions and Hardy's Uncertainty Principle

abstract: In this paper we give log-convexity properties for solutions to discrete Schr\"odinger equations with different discrete versions of Gaussian decay at two different times. For free evolutions, we use complex analysis arguments to derive these properties, while in a perturbative setting we use a preliminar log-convexity result in order to get these properties. Then, by proving a Carleman inequality we conclude, in one of the cases under study, a discrete version of Hardy's Uncertainty Principle.


title: Bose-Einstein correlation to measure the size of event of different types

abstract: Bose-Einstein correlations of identical hadrons produced in high- energy pp collisions at the LHC is a good instrument to probe the size of the domain which emits these hadrons in different classes of events. This provides an additional information on the dynamics of multiparticle production. In particular this way we may measure the radius of the colour tube/string which create the secondary pions.


title: Analysis of the benefits of designing and implementing a virtual didactic model of multiple choice exam and problem-solving heuristic report, for first year engineering students

abstract: Improvements in performance and approval obtained by first year engineering students from University of Concepcion, Chile, were studied, once a virtual didactic model of multiple-choice exam, was implemented. This virtual learning resource was implemented in the Web ARCO platform and allows training, by facing test models comparable in both time and difficulty to those that they will have to solve during the course. It also provides a feedback mechanism for both: 1) The students, since they can verify the level of their knowledge. Once they have finished the simulations, they can access a complete problem-solving heuristic report of each problem; 2) The teachers, since they can obtain information about the habits of the students in their strategies of preparation; and they also can diagnose the weaknesses of the students prior to the exam. This study indicates how this kind of preparation generates substantial improvements on the approval rates by allowing the students: 1) A more structured and oriented systematic study, and 2) To learn, from the feedback report of each problem that the information described in their exams should have, at each stage, a proper logical connection. Likewise, this study allows differentiating how the repetition in the use of the platform and the formality in the time invested indicate clear differences on the obtained performance.


title: Dynamics near the subcritical transition of the 3D Couette flow I: Below threshold case

abstract: We study small disturbances to the periodic, plane Couette flow in the 3D incompressible Navier-Stokes equations at high Reynolds number $\textbf{Re}$. We prove that for sufficiently regular initial data of size $\epsilon \leq c_0\textbf{Re}^{-1}$ for some universal $c_0 > 0$, the solution is global, remains within $O(c_0)$ of the Couette flow in $L^2$, and returns to the Couette flow as $t \rightarrow \infty$. For times $t \gtrsim \textbf{Re}^{1/3}$, the streamwise dependence is damped by a mixing-enhanced dissipation effect and the solution is rapidly attracted to the class of "2.5 dimensional" streamwise-independent solutions referred to as streaks. Our analysis contains perturbations that experience a transient growth of kinetic energy from $O(\textbf{Re}^{-1})$ to $O(c_0)$ due to the algebraic linear instability known as the lift-up effect. Furthermore, solutions can exhibit a direct cascade of energy to small scales. The behavior is very different from the 2D Couette flow, in which stability is independent of $\textbf{Re}$, enstrophy experiences a direct cascade, and inviscid damping is dominant (resulting in a kind of inverse energy cascade). In 3D, inviscid damping will play a role on one component of the velocity, but the primary stability mechanism is the mixing-enhanced dissipation. Central to the proof is a detailed analysis of the interplay between the stabilizing effects of the mixing and enhanced dissipation and the destabilizing effects of the lift-up effect, vortex stretching, and weakly nonlinear instabilities connected to the non-normal nature of the linearization.


title: Dynamics near the subcritical transition of the 3D Couette flow II: Above threshold case

abstract: This is the second in a pair of works which study small disturbances to the plane, periodic 3D Couette flow in the incompressible Navier-Stokes equations at high Reynolds number $\textbf{Re}$. In this work, we show that there is constant $0 < c_0 \ll 1$, independent of $\textbf{Re}$, such that sufficiently regular disturbances of size $\epsilon \lesssim \textbf{Re}^{-2/3-\delta}$ for any $\delta > 0$ exist at least until $t = c_0\epsilon^{-1}$ and in general evolve to be $O(c_0)$ due to the lift-up effect. Further, after times $t \gtrsim \textbf{Re}^{1/3}$, the streamwise dependence of the solution is rapidly diminished by a mixing-enhanced dissipation effect and the solution is attracted back to the class of "2.5 dimensional" streamwise-independent solutions (sometimes referred to as "streaks"). The largest of these streaks are expected to eventually undergo a secondary instability at $t \approx \epsilon^{-1}$. Hence, our work strongly suggests, for all (sufficiently regular) initial data, the genericity of the "lift-up effect $\Rightarrow$ streak growth $\Rightarrow$ streak breakdown" scenario for turbulent transition of the 3D Couette flow near the threshold of stability forwarded in the applied mathematics and physics literature.


title: A nonconforming high-order method for the Biot problem on general meshes

abstract: In this work, we introduce a novel algorithm for the Biot problem based on a Hybrid High-Order discretization of the mechanics and a Symmetric Weighted Interior Penalty discretization of the flow. The method has several assets, including, in particular, the support of general polyhedral meshes and arbitrary space approximation order. Our analysis delivers stability and error estimates that hold also when the specific storage coefficient vanishes, and shows that the constants have only a mild dependence on the heterogeneity of the permeability coefficient. Numerical tests demonstrating the performance of the method are provided.


title: Large BCFT moduli in open string field theory

abstract: We use the recently constructed solution for marginal deformations by one of the authors, to analytically relate the BCFT modulus (lambda_BCFT) to the coefficient of the boundary marginal field in the solution (lambda_SFT). We explicitly find that the relation is not one to one and the same value of lambda_SFT corresponds to a pair of different lambda_BCFT 's: a "small" one, and a "large" one. The BCFT moduli space is fully covered, but the coefficient of the marginal field in the solution is not a good global coordinate on such a space.


title: Product Construction of Affine Codes

abstract: Binary matrix codes with restricted row and column weights are a desirable method of coded modulation for power line communication. In this work, we construct such matrix codes that are obtained as products of affine codes - cosets of binary linear codes. Additionally, the constructions have the property that they are systematic. Subsequently, we generalize our construction to irregular product of affine codes, where the component codes are affine codes of different rates.


title: Defying jet-gas alignment in two radio galaxies at z~2 with extended light profiles: Similarities to brightest cluster galaxies

abstract: We report the detection of extended warm ionized gas in two powerful high-redshift radio galaxies, NVSS J210626-314003 at z=2.10 and TXS 2353-003 at z=1.49, that does not appear to be associated with the radio jets. This is contrary to what would be expected from the alignment effect, a characteristic feature of distant, powerful radio galaxies at z> 0.6. The gas also has smaller velocity gradients and line widths than most other high-z radio galaxies with similar data. Both galaxies are part of a systematic study of 50 high-redshift radio galaxies with SINFONI, and are the only two that are characterized by the presence of high surface-brightness gas not associated with the jet axis and by the absence of such gas aligned with the jet. Both galaxies are spatially resolved with ISAAC broadband imaging covering the rest-frame R band, and have extended wings that cannot be attributed to line contamination. We argue that the gas and stellar properties of these galaxies are more akin to gas-rich brightest cluster galaxies in cool-core clusters than the general population of high-redshift radio galaxies at z>2. In support of this interpretation, one of our sources, TXS 2353-003, for which we have H\alpha\ narrowband imaging, is associated with an overdensity of candidate H\alpha\ emitters by a factor of 8 relative to the field at z=1.5. We discuss possible scenarios of the evolutionary state of these galaxies and the nature of their emission line gas within the context of cyclical AGN feedback.


title: Lacunaryx: Computing bounded-degree factors of lacunary polynomials

abstract: In this paper, we report on an implementation in the free software Mathemagix of lacunary factorization algorithms, distributed as a library called Lacunaryx. These algorithms take as input a polynomial in sparse representation, that is as a list of nonzero monomials, and an integer $d$, and compute its irreducible degree-$\le d$ factors. The complexity of these algorithms is polynomial in the sparse size of the input polynomial and $d$.


title: Salem numbers and arithmetic hyperbolic groups

abstract: In this paper we prove that there is a direct relationship between Salem numbers and translation lengths of hyperbolic elements of arithmetic hyperbolic groups that are determined by a quadratic form over a totally real number field. As an application we determine a sharp lower bound for the length of a closed geodesic in a noncompact arithmetic hyperbolic n-orbifold for each dimension n. We also discuss a "short geodesic conjecture", and prove its equivalence with "Lehmer's conjecture" for Salem numbers.


title: Upper and Lower Bounds on Long Dual-Paths in Line Arrangements

abstract: Given a line arrangement $\cal A$ with $n$ lines, we show that there exists a path of length $n^2/3 - O(n)$ in the dual graph of $\cal A$ formed by its faces. This bound is tight up to lower order terms. For the bicolored version, we describe an example of a line arrangement with $3k$ blue and $2k$ red lines with no alternating path longer than $14k$. Further, we show that any line arrangement with $n$ lines has a coloring such that it has an alternating path of length $\Omega (n^2/ \log n)$. Our results also hold for pseudoline arrangements.


title: Recovering communities in the general stochastic block model without knowing the parameters

abstract: Most recent developments on the stochastic block model (SBM) rely on the knowledge of the model parameters, or at least on the number of communities. This paper introduces efficient algorithms that do not require such knowledge and yet achieve the optimal information-theoretic tradeoffs identified in [AS15] for linear size communities. The results are three-fold: (i) in the constant degree regime, an algorithm is developed that requires only a lower-bound on the relative sizes of the communities and detects communities with an optimal accuracy scaling for large degrees; (ii) in the regime where degrees are scaled by $\omega(1)$ (diverging degrees), this is enhanced into a fully agnostic algorithm that only takes the graph in question and simultaneously learns the model parameters (including the number of communities) and detects communities with accuracy $1-o(1)$, with an overall quasi-linear complexity; (iii) in the logarithmic degree regime, an agnostic algorithm is developed that learns the parameters and achieves the optimal CH-limit for exact recovery, in quasi-linear time. These provide the first algorithms affording efficiency, universality and information-theoretic optimality for strong and weak consistency in the general SBM with linear size communities.


title: The SU(N) Casson-Lin invariants for links

abstract: We introduce the $SU(N)$ Casson-Lin invariants for links $L$ in $S^3$ with more than one component. Writing $L = \ell_1 \cup \cdots \cup \ell_n$, we require as input an $n$-tuple $(a_1,\ldots, a_n) \in {\mathbb Z}^n$ of labels, where $a_j$ is associated with $\ell_j$. The $SU(N)$ Casson-Lin invariant, denoted $h_{N,a}(L)$, gives an algebraic count of certain projective $SU(N)$ representations of the link group $\pi_1(S^3 \smallsetminus L)$, and the family $h_{N,a}$ of link invariants gives a natural extension of the $SU(2)$ Casson-Lin invariant, which was defined for knots by X.-S. Lin and for 2-component links by Harper and Saveliev. We compute the invariants for the Hopf link and more generally for chain links, and we show that, under mild conditions on the labels $(a_1, \ldots, a_n)$, the invariants $h_{N,a}(L)$ vanish whenever $L$ is a split link.


title: Induced-Gravity Inflation in Supergravity Confronted with Planck 2015 & BICEP2/Keck Array

abstract: Supersymmetric versions of induced-gravity inflation are formulated within Supergravity (SUGRA) employing two gauge singlet chiral superfields. The proposed superpotential is uniquely determined by applying a continuous R and a discrete Z_2 symmetry. We also employ a logarithmic Kahler potential respecting the symmetries above and including all the allowed terms up to fourth order in powers of the various fields. When the Kahler manifold exhibits a no-scale-type symmetry, the model predicts spectral index ns=0.963 and tensor-to-scalar r=0.004. Beyond no-scale SUGRA, ns and r depend crucially on the coefficient ksphi involved in the fourth order term, which mixes the inflaton Phi with the accompanying non-inflaton superfield S in the Kahler potential, and the prefactor encountered in it. Increasing slightly the latter above (-3), an efficient enhancement of the resulting r can be achieved putting it in the observable range favored by the Planck and BICEP2/Keck Array results. In all cases, imposing a lower bound on the parameter cR, involved in the coupling between the inflaton and the Ricci scalar curvature, inflation can be attained for subplanckian values of the inflaton while the corresponding effective theory respects the perturbative unitarity.


title: Structure and Quantum Well States in Silicene Nanoribbons on Ag(110)

abstract: We have performed scanning tunneling microscopy/spectroscopy (STM/STS) study and first-principles calculations to investigate the atomic structure and electronic properties of silicon nanoribbons (SiNRs) grown on Ag(110). Despite of the extensive research on SiNRs in the last decades, its atomic structure is still not fully understood so far. In this report we determine that the structure of SiNRs/Ag(110) is armchair silicene nanoribbon with reconstructed edges. Meanwhile, pronounced quantum well states (QWS) in SiNRs were observed and their energy spectrum was systematically measured. The QWS are due to the confinement of quasiparticles perpendicular to the nanoribbon and can be well explained by the theory of one-dimensional (1D) 'particle-in-a-box' model in quantum mechanics.


title: A naturalist account of the limited, and hence reasonable, effectiveness of mathematics in physics

abstract: The aim of this essay is to propose a conception of mathematics that is fully consonant with naturalism. By that I mean the hypothesis that everything that exists is part of the natural world, which makes up a unitary whole.


title: HAT-P-55b: A Hot Jupiter Transiting a Sun-like Star

abstract: We report the discovery of a new transiting extrasolar planet, HAT-P-55b. The planet orbits a V = 13.207 +/- 0.039 sun-like star with a mass of 1.013 +/- 0.037 solar masses, a radius of 1.011 +/- 0.036 solar radii and a metallicity of -0.03 +/- 0.08. The planet itself is a typical hot Jupiter with a period of 3.5852467 +/- 0.0000064 days, a mass of 0.582 +/- 0.056 Jupiter masses and a radius of 1.182 +/- 0.055 Jupiter radii. This discovery adds to the increasing sample of transiting planets with measured bulk densities, which is needed to put constraints on models of planetary structure and formation theories.


title: Magnetism in tetragonal manganese-rich Heusler compounds

abstract: A comprehensive study of the total energy of manganese-rich Heusler compounds using density functional theory is presented. Starting from a large set of cubic parent systems, the response to tetragonal distortions is studied in detail. We single out the systems that remain cubic from those that most likely become tetragonal. The driving force of the tetragonal distortion and its effect on the magnetic properties, especially where they deviate from the Slater--Pauling rule, as well as the trends in the Curie temperatures, are highlighted. By means of partial densities of states, the electronic structural changes reveal the microscopic origin of the observed trends. We focus our attention on the magnetocrystalline anisotropy and find astonishingly high values for tetragonal Heusler compounds containing heavy transition metals accompanied by low magnetic moments, which indicates that these materials are promising candidates for spin-transfer torque magnetization-switching applications.


title: GAP Safe screening rules for sparse multi-task and multi-class models

abstract: High dimensional regression benefits from sparsity promoting regularizations. Screening rules leverage the known sparsity of the solution by ignoring some variables in the optimization, hence speeding up solvers. When the procedure is proven not to discard features wrongly the rules are said to be \emph{safe}. In this paper we derive new safe rules for generalized linear models regularized with $\ell_1$ and $\ell_1/\ell_2$ norms. The rules are based on duality gap computations and spherical safe regions whose diameters converge to zero. This allows to discard safely more variables, in particular for low regularization parameters. The GAP Safe rule can cope with any iterative solver and we illustrate its performance on coordinate descent for multi-task Lasso, binary and multinomial logistic regression, demonstrating significant speed ups on all tested datasets with respect to previous safe rules.


title: L-PICOLA: A parallel code for fast dark matter simulation

abstract: Robust measurements based on current large-scale structure surveys require precise knowledge of statistical and systematic errors. This can be obtained from large numbers of realistic mock galaxy catalogues that mimic the observed distribution of galaxies within the survey volume. To this end we present a fast, distributed-memory, planar-parallel code, L-PICOLA, which can be used to generate and evolve a set of initial conditions into a dark matter field much faster than a full non-linear N-Body simulation. Additionally, L-PICOLA has the ability to include primordial non-Gaussianity in the simulation and simulate the past lightcone at run-time, with optional replication of the simulation volume. Through comparisons to fully non-linear N-Body simulations we find that our code can reproduce the $z=0$ power spectrum and reduced bispectrum of dark matter to within 2% and 5% respectively on all scales of interest to measurements of Baryon Acoustic Oscillations and Redshift Space Distortions, but 3 orders of magnitude faster. The accuracy, speed and scalability of this code, alongside the additional features we have implemented, make it extremely useful for both current and next generation large-scale structure surveys. L-PICOLA is publicly available at https://cullanhowlett.github.io/l-picola


title: Lower Bounds on Q for Finite Size Antennas of Arbitrary Shape

abstract: The problem of the lower bound on the radiation Q for an arbitrarily shaped finite size antenna of non-zero volume is formulated in terms of equivalent electric and magnetic currents densities distributed on a closed surface coinciding with antenna exterior surface. When these equivalent currents radiate in free space, the magnetic current augments the electric current, so that the fields interior to the surface vanish. In contrast to approaches based solely on electric currents, the proposed technique ensures no stored energy interior to the antenna exterior surface, and thus, allows the fundamental lower bound on Q to be determined. To facilitate the computation of the bound, new expressions for the stored energy, radiated power, and Q of coupled electric and magnetic source currents in free space are derived.


title: Ultrafast broadband tuning of resonant optical nanostructures using phase change materials

abstract: The functionalities of a wide range of optical and opto-electronic devices are based on resonance effects and active tuning of the amplitude and wavelength response is often essential. Plasmonic nanostructures are an efficient way to create optical resonances, a prominent example is the extraordinary optical transmission (EOT) through arrays of nanoholes patterned in a metallic film. Tuning of resonances by heating, applying electrical or optical signals has proven to be more elusive, due to the lack of materials that can induce modulation over a broad spectral range and/or at high speeds. Here we show that nanopatterned metals combined with phase change materials (PCMs) can overcome this limitation due to the large change in optical constants which can be induced thermally or on an ultrafast timescale. We demonstrate resonance wavelength shifts as large as 385 nm - an order of magnitude higher than previously reported - by combining properly designed Au EOT nanostructures with Ge2Sb2Te5 (GST). Moreover, we show, through pump probe measurements, repeatable and reversible, large amplitude modulations in the resonances, especially at telecommunication wavelengths, over ps time scales and at powers far below those needed to produce a permanent phase transition. Our findings open a pathway to the design of hybrid metal PCM nanostructures with ultrafast and widely tuneable resonance responses, which hold potential impact on active nanophotonic devices such as tuneable optical filters, smart windows, biosensors and reconfigurable memories.


title: Sharp bounds for cumulative distribution functions

abstract: Ratios of integrals can be bounded in terms of ratios of integrands under certain monotonicity conditions. This result, related with L'H\^{o}pital's monotone rule, can be used to obtain sharp bounds for cumulative distribution functions. We consider the case of noncentral cumulative gamma and beta distributions. Three different types of sharp bounds for the noncentral gamma distributions (also called Marcum functions) are obtained in terms of modified Bessel functions and one additional type of function: a second modified Bessel function, two error functions or one incomplete gamma function. For the noncentral beta case the bounds are expressed in terms of Kummer functions and one additional Kummer function or an incomplete beta function. These bounds improve previous results with respect to their range of application and/or its sharpness.


title: On the variance of sums of arithmetic functions over primes in short intervals and pair correlation for L-functions in the Selberg class

abstract: We establish the equivalence of conjectures concerning the pair correlation of zeros of $L$-functions in the Selberg class and the variances of sums of a related class of arithmetic functions over primes in short intervals. This extends the results of Goldston & Montgomery [7] and Montgomery & Soundararajan [11] for the Riemann zeta-function to other $L$-functions in the Selberg class. Our approach is based on the statistics of the zeros because the analogue of the Hardy-Littlewood conjecture for the auto-correlation of the arithmetic functions we consider is not available in general. One of our main findings is that the variances of sums of these arithmetic functions over primes in short intervals have a different form when the degree of the associated $L$-functions is 2 or higher to that which holds when the degree is 1 (e.g. the Riemann zeta-function). Specifically, when the degree is 2 or higher there are two regimes in which the variances take qualitatively different forms, whilst in the degree-1 case there is a single regime.


title: Compactification of certain Clifford-Klein forms of reductive homogeneous spaces

abstract: We describe smooth compactifications of certain families of reductive homogeneous spaces such as group manifolds for classical Lie groups, or pseudo-Riemannian analogues of real hyperbolic spaces and their complex and quaternionic counterparts. We deduce compactifications of Clifford-Klein forms of these homogeneous spaces, namely quotients by discrete groups Gamma acting properly discontinuously, in the case that Gamma is word hyperbolic and acts via an Anosov representation. In particular, these Clifford-Klein forms are topologically tame.


title: The Gauss map and second fundamental form of surfaces in a Lie group

abstract: In this article, we give the integrability conditions for the existence of an isometric immersion from an orientable simply connected surface having prescribed Gauss map and positive extrinsic curvature into some unimodular Lie groups. In particular, we discuss the case when the Lie group is the euclidean unit sphere $\mathbb{S}^3$ and establish a correspondence between simply connected surfaces having extrinsic curvature $K$, $K$ different from 0 and -1, immersed in $\mathbb{S}^3$ with simply connected surfaces having non-vanishing extrinsic curvature immersed in the euclidean space $\mathbb{R}^3$. Moreover, we show that a surface isometrically immersed in $\mathbb{S}^3$ has positive constant extrinsic curvature if, and only if, its Gauss map is a harmonic map into the Riemann sphere.


title: Precoded GFDM System to Combat Inter Carrier Interference : Performance Analysis

abstract: The expected operating scenarios of 5G pose a great challenge to orthogonal frequency division multiplexing (OFDM) which has poor out of band (OoB) spectral properties, stringent synchronization requirements, and large symbol duration. Generalized frequency division multiplexing (GFDM) which is the focus of this work, has been suggested in the literature as one of the possible solutions to meet 5G requirements. In this work, the analytical performance evaluation of MMSE receiver for GFDM is presented. We also proposed precoding techniques to enhance the performance of GFDM. A simplified expression of SINR for MMSE receiver of GFDM is derived using special properties related to the modulation matrix of GFDM, which are described in this work. This SINR is used to evaluate the BER performance. Precoding schemes are proposed to reduce complexity of GFDM-MMSE receiver without compromising on the performance. Block Inverse Discrete Fourier Transform (BIDFT) and Discrete Fourier Transform (DFT) based precoding schemes are found to outperform GFDM-MMSE receiver due to frequency diversity gain while having complexity similar to zero-forcing receiver of GFDM. It is shown that both BIDFT and DFT-based precoding schemes reduce peak to average power ratio (PAPR) significantly. Computational complexity of different transmitters and receivers of precoded and uncoded GFDM is also presented.


title: Poisson-Boltzmann model for protein-surface electrostatic interactions and grid-convergence study using the PyGBe code

abstract: Interactions between surfaces and proteins occur in many vital processes and are crucial in biotechnology: the ability to control specific interactions is essential in fields like biomaterials, biomedical implants and biosensors. In the latter case, biosensor sensitivity hinges on ligand proteins adsorbing on bioactive surfaces with a favorable orientation, exposing reaction sites to target molecules. Protein adsorption, being a free-energy-driven process, is difficult to study experimentally. This paper develops and evaluates a computational model to study electrostatic interactions of proteins and charged nanosurfaces, via the Poisson-Boltzmann equation. We extended the implicit-solvent model used in the open-source code PyGBe to include surfaces of imposed charge or potential. This code solves the boundary integral formulation of the Poisson-Boltzmann equation, discretized with surface elements. PyGBe has at its core a treecode-accelerated Krylov iterative solver, resulting in O(N log N) scaling, with further acceleration on hardware via multi-threaded execution on \gpu s. It computes solvation and surface free energies, providing a framework for studying the effect of electrostatics on adsorption. We then derived an analytical solution for a spherical charged surface interacting with a spherical molecule, then completed a grid-convergence study to build evidence on the correctness of our approach. The study showed the error decaying with the average area of the boundary elements, i.e., the method is O(1/N), which is consistent with our previous verification studies using PyGBe. We also studied grid-convergence using a real molecular geometry (protein GB1D4'), in this case using Richardson extrapolation (in the absence of an analytical solution) and confirmed the O(1/N) scaling in this case.


title: Split Graphs and Nordhaus-Gaddum Graphs

abstract: A graph G is an NG-graph if \chi(G) + \chi(G complement) = |V(G)| + 1. We characterize NG-graphs solely from degree sequences leading to a linear-time recognition algorithm. We also explore the connections between NG-graphs and split graphs. There are three types of NG-graphs and split graphs can also be divided naturally into two categories, balanced and unbalanced. We characterize each of these five classes by degree sequence. We construct bijections between classes of NG-graphs and balanced and unbalanced split graphs which, together with the known formula for the number of split graphs on n vertices, allows us to compute the sizes of each of these classes. Finally, we provide a bijection between unbalanced split graphs on n vertices and split graphs on n-1 or fewer vertices providing evidence for our conjecture that the rapid growth in the number of split graphs comes from the balanced split graphs.


title: Multi-electron dynamics in the tunnel ionization of correlated quantum systems

abstract: The importance of multi-electron dynamics during the tunnel ionization of a correlated quantum system is investigated. By comparison of the solution of the time-dependent Schr\"odinger equation (TDSE) with the time-dependent configuration interaction singles approach (TDCIS), we demonstrate the importance of a multi-electron description of the tunnel ionization process especially for weakly confined quantum systems. Within this context, we observe that adiabatic driving by an intense light field can even enhance the correlations between still trapped electrons.


title: Hardy spaces of holomorphic functions for domains in $\mathbb C^n$ with minimal smoothness

abstract: We prove various representations and density results for Hardy spaces of holomorphic functions for two classes of bounded domains in $\mathbb C^n$, whose boundaries satisfy minimal regularity conditions (namely the classes $C^2$ and $C^{1,1}$ respectively) together with naturally occurring notions of convexity.


title: The algebra of slice functions

abstract: In this paper we study some fundamental algebraic properties of slice functions and slice regular functions over an alternative $^*$-algebra $A$ over $\mathbb{R}$. These recently introduced function theories generalize to higher dimensions the classical theory of functions of a complex variable. Slice functions over $A$, which comprise all polynomials over $A$, form an alternative $^*$-algebra themselves when endowed with appropriate operations. We presently study this algebraic structure in detail and we confront with questions about the existence of multiplicative inverses. This study leads us to a detailed investigation of the zero sets of slice functions and of slice regular functions, which are of course of independent interest.


title: Stability of resonant configurations during the migration of planets and constraints on disk-planet interactions

abstract: We study the stability of mean-motion resonances (MMR) between two planets during their migration in a protoplanetary disk. We use an analytical model of resonances, and describe the effect of the disk by a migration timescale (T_{m,i}) and an eccentricity damping timescale (T_{e,i}) for each planet (i=1,2 respectively for the inner and outer planet). We show that the resonant configuration is stable if T_{e,1}/T_{e,2} > (e_1/e_2)^2. This general result can be used to put constraints on specific models of disk-planet interactions. For instance, using classical prescriptions for type I migration, we show that when the angular momentum deficit (AMD) of the inner orbit is larger than the outer's orbit AMD, resonant systems must have a locally inverted disk density profile to stay locked in resonance during the migration. This inversion is very untypical of type I migration and our criterion can thus provide an evidence against classical type I migration. That is indeed the case for the Jupiter-mass resonant systems HD 60532b, c (3:1 MMR), GJ 876b, c (2:1 MMR), and HD 45364b, c (3:2 MMR). This result may be an evidence for type II migration (gap opening planets), which is compatible with the large masses of these planets.


title: 2 TeV Walking Technirho at LHC?

abstract: The ATLAS collaboration has recently reported an excess of about 2.5 $\sigma$ global significance at around 2 TeV in the diboson channel with the boson-tagged fat dijets, which may imply a new resonance beyond the standard model. We provide a possible explanation of the excess as the isospin-triplet technivector mesons (technirhos, denoted as $\rho_\Pi^{\pm,3}$) of the walking technicolor in the case of the one-family model as a benchmark. As the effective theory for the walking technicolor at the scales relevant to the LHC experiment, we take a scale-invariant version of the hidden local symmetry model so constructed as to accommodate technipions, technivector mesons, and the technidilaton in such a way that the model respects spontaneously broken chiral and scale symmetries of the underlying walking technicolor. In particular, the technidilaton, a (pseudo) Nambu-Goldstone boson of the (approximate) scale symmetry predicted in the walking technicolor, has been shown to be successfully identified with the 125 GeV Higgs. Currently available LHC limits on those technihadrons are used to fix the couplings of technivector mesons to the standard-model fermions and weak gauge bosons. We find that the technirho's are mainly produced through the Drell-Yan process and predominantly decay to the dibosons, which accounts for the currently reported excess at around 2 TeV. The consistency with the electroweak precision test and other possible discovery channels of the 2 TeV technirhos are also addressed.


title: A coordinated wavefunction for the ground state of liquid helium-4

abstract: We present a variational ansatz for the ground state of a strongly correlated Bose system. This ansatz goes beyond the Jastrow-Feenberg functional form and explicitly enforces coordination shells in the structure of the wavefunction. We apply this ansatz to liquid helium-4 with a simple three-variable parametrization of the pair functions. The optimized wavefunction is found to give an excellent description of the mid-range correlations in the fluid. We also demonstrate the possibility to use this ansatz to study inhomogeneous systems. The phase separation and free surface emerge naturally in this wavefunction, even though it is constructed of short-range two-body functions and does not contain one-body terms. Because no explicit description of the surface is necessary, this provides a powerful description tool for cluster states.


title: Application of Multi factor authentication in Internet of Things domain

abstract: Authentication forms the gateway to any secure system. Together with integrity, confidentiality and authorization it helps in preventing any sort of intrusions into the system. Up until a few years back password based authentication was the most common form of authentication to any secure network. But with the advent of more sophisticated technologies this form of authentication although still widely used has become insecure. Furthermore, with the rise of 'Internet of Things' where the number of devices would grow manifold it would be infeasible for user to remember innumerable passwords. Therefore, it's important to address this concern by devising ways in which multiple forms of authentication would be required to gain access to any smart devices and at the same time its usability would be high. In this paper, a methodology is discussed as to what kind of authentication mechanisms could be deployed in internet of things (IOT).


title: Skeletons of stable maps I: Rational curves in toric varieties

abstract: We study the Berkovich analytification of the space of genus $0$ logarithmic stable maps to a toric variety $X$ and present applications to both algebraic and tropical geometry. On algebraic side, insights from tropical geometry give two new geometric descriptions of this space of maps -- (1) as an explicit toroidal modification of $\overline M_{0,n}\times X$ and (2) as a tropical compactification in a toric variety. On the combinatorial side, we prove that the tropicalization of the space of genus $0$ logarithmic stable maps coincides with the space of tropical stable maps, giving a large new collection of examples of faithful tropicalizations for moduli. Moreover, we identify the optimal settings in which the tropicalization of the moduli space of maps is faithful. The Nishinou--Siebert correspondence theorem is shown to be a consequence of this geometric connection between the algebraic and tropical moduli spaces.


title: Effective fermion kinematics from a modified quantum gravity

abstract: We consider a classical fermion and a classical scalar, propagating on two different kinds of 4-dimensional diffeomorphism breaking gravity backgrounds, and we derive the one-loop effective dispersion relation for matter, after integrating out gravitons. One gravity model involves quadratic divergences at one-loop, as in Einstein gravity, and the other model is the $z=3$ non-projectable Horava-Lifshitz gravity, which involves logarithmic divergences only. Although these two models behave differently in the UV, the IR phenomenology for matter fields is comparable: {\it(i)} for generic values for the parameters, both models identify $10^{10}$ GeV as the typical characteristic scale above which they are not consistent with current upper bounds on Lorentz symmetry violation; {\it(ii)} on the other hand there is always, for both models, a fine-tuning of parameters which allows the cancellation of the indicator for Lorentz symmetry violation.


title: A Revisit to Non-maximally Entangled Mixed States: Teleportation Witness, Noisy Channel and Discord

abstract: We constructed a class of non-maximally entangled mixed states \cite{roy2010} and extensively studied its entanglement properties and also their usefulness as teleportation channels. In this article, we revisited our constructed state and have studied it from three different perspectives. Since every entangled state is associated with an witness operator, we have found a suitable entanglement as well as teleportation witness for our non-maximally entangled mixed states. We considered the noisy channel's effects on our constructed state and to see whether it affects the states' capacity as teleportation channel. For this purpose we have mainly emphasized on amplitude damping channel. A comparative study with concurrence and quantum discord of the state of ref. \cite{roy2010} has also been carried out here.


title: Renormalizability Properties of Supergravity

abstract: The possible local counterterms to supergravity are investigated to all loop orders. Supersymmetry implies that (1) supergravity-matter coupling is one-loop nonrenormalizable, with a specific counterterm; (2) pure supergravity is renormalizable at both one and two loops; (3) it fails at three loops; (4) extended supergravity models may avoid the three-loop catastrophe, and have no dangerous local counterterms to any order. In that case, the nonleading divergences could be removed by field redefinitions, which would establish renormalizability for these systems.


title: From Walras' auctioneer to continuous time double auctions: A general dynamic theory of supply and demand

abstract: In standard Walrasian auctions, the price of a good is defined as the point where the supply and demand curves intersect. Since both curves are generically regular, the response to small perturbations is linearly small. However, a crucial ingredient is absent of the theory, namely transactions themselves. What happens after they occur? To answer the question, we develop a dynamic theory for supply and demand based on agents with heterogeneous beliefs. When the inter-auction time is infinitely long, the Walrasian mechanism is recovered. When transactions are allowed to happen in continuous time, a peculiar property emerges: close to the price, supply and demand vanish quadratically, which we empirically confirm on the Bitcoin. This explains why price impact in financial markets is universally observed to behave as the square root of the excess volume. The consequences are important, as they imply that the very fact of clearing the market makes prices hypersensitive to small fluctuations.


title: Tur\'an numbers for 3-uniform linear paths of length 3

abstract: In this paper we confirm a conjecture of F\"uredi, Jiang, and Seiver, and determine an exact formula for the Tur\'an number $ex_3(n; P_3^3)$ of the 3-uniform linear path $P^3_3$ of length 3, valid for all $n$. It coincides with the analogous formula for the 3-uniform triangle $C^3_3$, obtained earlier by Frankl and F\"uredi for $n\ge 75$ and Cs\'ak\'any and Kahn for all $n$. In view of this coincidence, we also determine a `conditional' Tur\'an number, defined as the maximum number of edges in a $P^3_3$-free 3-uniform hypergraph on $n$ vertices which is \emph{not} $C^3_3$-free.


title: A Tight Algorithm for Strongly Connected Steiner Subgraph On Two Terminals With Demands

abstract: Given an edge-weighted directed graph $G=(V,E)$ on $n$ vertices and a set $T=\{t_1, t_2, \ldots, t_p\}$ of $p$ terminals, the objective of the \scss ($p$-SCSS) problem is to find an edge set $H\subseteq E$ of minimum weight such that $G[H]$ contains an $t_{i}\rightarrow t_j$ path for each $1\leq i\neq j\leq p$. In this paper, we investigate the computational complexity of a variant of $2$-SCSS where we have demands for the number of paths between each terminal pair. Formally, the \sharinggeneral problem is defined as follows: given an edge-weighted directed graph $G=(V,E)$ with weight function $\omega: E\rightarrow \mathbb{R}^{\geq 0}$, two terminal vertices $s, t$, and integers $k_1, k_2$ ; the objective is to find a set of $k_1$ paths $F_1, F_2, \ldots, F_{k_1}$ from $s\leadsto t$ and $k_2$ paths $B_1, B_2, \ldots, B_{k_2}$ from $t\leadsto s$ such that $\sum_{e\in E} \omega(e)\cdot \phi(e)$ is minimized, where $\phi(e)= \max \Big\{|\{i\in [k_1] : e\in F_i\}|\ ,\ |\{j\in [k_2] : e\in B_j\}|\Big\}$. For each $k\geq 1$, we show the following: The \sharing problem can be solved in $n^{O(k)}$ time. A matching lower bound for our algorithm: the \sharing problem does not have an $f(k)\cdot n^{o(k)}$ algorithm for any computable function $f$, unless the Exponential Time Hypothesis (ETH) fails. Our algorithm for \sharing relies on a structural result regarding an optimal solution followed by using the idea of a "token game" similar to that of Feldman and Ruhl. We show with an example that the structural result does not hold for the \sharinggeneral problem if $\min\{k_1, k_2\}\geq 2$. Therefore \sharing is the most general problem one can attempt to solve with our techniques.


title: On the Cauchy problem and the black solitons of a singularly perturbed Gross-Pitaevskii equation

abstract: We consider the one-dimensional Gross-Pitaevskii equation perturbed by a Dirac potential. Using a fine analysis of the properties of the linear propagator, we study the well-posedness of the Cauchy Problem in the energy space of functions with modulus 1 at infinity. Then we show the persistence of the stationary black soliton of the unperturbed problem as a solution. We also prove the existence of another branch of non-trivial stationary waves. Depending on the attractive or repulsive nature of the Dirac perturbation and of the type of stationary solutions, we prove orbital stability via a variational approach, or linear instability via a bifurcation argument.


title: Recovering metric from full ordinal information

abstract: Given a geodesic space (E, d), we show that full ordinal knowledge on the metric d-i.e. knowledge of the function D d : (w, x, y, z) $\rightarrow$ 1 d(w,x)$\le$d(y,z) , determines uniquely-up to a constant factor-the metric d. For a subspace En of n points of E, converging in Hausdorff distance to E, we construct a metric dn on En, based only on the knowledge of D d on En and establish a sharp upper bound of the Gromov-Hausdorff distance between (En, dn) and (E, d).


title: Resurgence of the Cusp Anomalous Dimension

abstract: We revisit the strong coupling limit of the cusp anomalous dimension in planar N=4 super Yang-Mills theory. It is known that the strong coupling expansion is asymptotic and non-Borel summable. As a consequence, the cusp anomalous dimension receives non-perturbative corrections, and the complete strong coupling expansion should be a resurgent transseries. We reveal that the perturbative and non-perturbative parts in the transseries are closely interrelated. Solving the Beisert-Eden-Staudacher equation systematically, we analyze in detail the large order behavior in the strong coupling perturbative expansion and show that the non-perturbative information is indeed encoded there. An ambiguity of (lateral) Borel resummations of the perturbative expansion is precisely canceled by the contributions from the non-perturbative sectors,


title: From van der Corput to modern constructions of sequences for quasi-Monte Carlo rules

abstract: In 1935 J.G. van der Corput introduced a sequence which has excellent uniform distribution properties modulo 1. This sequence is based on a very simple digital construction scheme with respect to the binary digit expansion. Nowadays the van der Corput sequence, as it was named later, is the prototype of many uniformly distributed sequences, also in the multi-dimensional case. Such sequences are required as sample nodes in quasi-Monte Carlo algorithms, which are deterministic variants of Monte Carlo rules for numerical integration. Since its introduction many people have studied the van der Corput sequence and generalizations thereof. This led to a huge number of results. On the occasion of the 125th birthday of J.G. van der Corput we survey many interesting results on van der Corput sequences and their generalizations. In this way we move from van der Corput's ideas to the most modern constructions of sequences for quasi-Monte Carlo rules, such as, e.g., generalized Halton sequences or Niederreiter's $(t,s)$-sequences.


title: Moment estimators of the extreme value index for randomly censored data in the Weibull domain of attraction

abstract: This paper addresses the problem of estimating the extreme value index in presence of random censoring for distributions in the Weibull domain of attraction. The methodologies introduced in [Worms (2014)], in the heavy-tailed case, are adapted here to the negative extreme value index framework, leading to the definition of weighted versions of the popular moments of relative excesses with arbitrary exponent. This leads to the definition of two families of estimators (with an adaptation of the so called Moment estimator as a particular case), for which the consistency is proved under a first order condition. Illustration of their performance, issued from an extensive simulation study, are provided.


title: Robust Dynamical Decoupling Sequences for Individual Nuclear Spin Addressing

abstract: We propose the use of non-equally spaced decoupling pulses for high-resolution selective addressing of nuclear spins by a quantum sensor. The analytical model of the basic operating principle is supplemented by detailed numerical studies that demonstrate the high degree of selectivity and the robustness against static and dynamic control field errors of this scheme. We exemplify our protocol with an NV center-based sensor to demonstrate that it enables the identification of individual nuclear spins that form part of a large spin ensemble.


title: Spectral Representations for Convolutional Neural Networks

abstract: Discrete Fourier transforms provide a significant speedup in the computation of convolutions in deep learning. In this work, we demonstrate that, beyond its advantages for efficient computation, the spectral domain also provides a powerful representation in which to model and train convolutional neural networks (CNNs). We employ spectral representations to introduce a number of innovations to CNN design. First, we propose spectral pooling, which performs dimensionality reduction by truncating the representation in the frequency domain. This approach preserves considerably more information per parameter than other pooling strategies and enables flexibility in the choice of pooling output dimensionality. This representation also enables a new form of stochastic regularization by randomized modification of resolution. We show that these methods achieve competitive results on classification and approximation tasks, without using any dropout or max-pooling. Finally, we demonstrate the effectiveness of complex-coefficient spectral parameterization of convolutional filters. While this leaves the underlying model unchanged, it results in a representation that greatly facilitates optimization. We observe on a variety of popular CNN configurations that this leads to significantly faster convergence during training.


title: Probabilistic Curve Learning: Coulomb Repulsion and the Electrostatic Gaussian Process

abstract: Learning of low dimensional structure in multidimensional data is a canonical problem in machine learning. One common approach is to suppose that the observed data are close to a lower-dimensional smooth manifold. There are a rich variety of manifold learning methods available, which allow mapping of data points to the manifold. However, there is a clear lack of probabilistic methods that allow learning of the manifold along with the generative distribution of the observed data. The best attempt is the Gaussian process latent variable model (GP-LVM), but identifiability issues lead to poor performance. We solve these issues by proposing a novel Coulomb repulsive process (Corp) for locations of points on the manifold, inspired by physical models of electrostatic interactions among particles. Combining this process with a GP prior for the mapping function yields a novel electrostatic GP (electroGP) process. Focusing on the simple case of a one-dimensional manifold, we develop efficient inference algorithms, and illustrate substantially improved performance in a variety of experiments including filling in missing frames in video.


title: A Corrigendum to Unreasonable Slightness

abstract: We revisit Bogdan Nica's 2011 paper, The Unreasonable Slightness of E2 over Imaginary Quadratic Rings, and correct an inaccuracy in his proof.


title: Observational Accuracy of Variable Stars, Novae and Supernovae from Naked Eye to General Relativistic Standard: a Balance over Thousand SGQ Observations Sent to AAVSO

abstract: The theory of General Relativity deals with very accurate measurements that show significant divergences from Newtonian predictions only with speeds near to the velocity of light. An introduction for educational purposes, based on naked eye photometry, deals with the radiation near collapsing star's shells like novae and supernovae. The theme of accuracy is drafted from entry level observations to the precision of professional data, often of public domain on the web. Thousand observations of variable stars, included the type 1a SN2014J, the Nova Del 2013 and the Nova Cen 2013, sent to the AAVSO by the author, with SGQ code, during the period 1998-2015 are analyzed to increase the photometric accuracy, in the occasion of the International Year of Light 2015.


title: Fast Methods for Eikonal Equations: an Experimental Survey

abstract: The Fast Marching Method is a very popular algorithm to compute times-of-arrival maps (distances map measured in time units). Since their proposal in 1995, it has been applied to many different applications such as robotics, medical computer vision, fluid simulation, etc. Many alternatives have been proposed with two main objectives: to reduce its computational time and to improve its accuracy. In this paper, we collect the main approaches which improve the computational time of the standard Fast Marching Method, focusing on single-threaded methods and isotropic environments. 9 different methods are studied under a common mathematical framework and experimentally in representative environments: Fast Marching Method with binary heap, Fast Marching Method with Fibonacci Heap, Simplified Fast Marching Method, Untidy Fast Marching Method, Fast Iterative Method, Group Marching Method, Fast Sweeping Method, Lock Sweeping Method and Double Dynamic Queue Method.


title: Entanglement Scrambling in 2d Conformal Field Theory

abstract: We investigate how entanglement spreads in time-dependent states of a 1+1 dimensional conformal field theory (CFT). The results depend qualitatively on the value of the central charge. In rational CFTs, which have central charge below a critical value, entanglement entropy behaves as if correlations were carried by free quasiparticles. This leads to long-term memory effects, such as spikes in the mutual information of widely separated regions at late times. When the central charge is above the critical value, the quasiparticle picture fails. Assuming no extended symmetry algebra, any theory with $c>1$ has diminished memory effects compared to the rational models. In holographic CFTs, with $c \gg 1$, these memory effects are eliminated altogether at strong coupling, but reappear after the scrambling time $t \gtrsim \beta \log c$ at weak coupling.


title: On the Fourier analytic structure of the Brownian graph

abstract: In a previous article (\textit{Int. Math. Res. Not.} 2014, 2730--2745) T. Orponen and the authors proved that the Fourier dimension of the graph of any real-valued function on $\mathbb{R}$ is bounded above by $1$. This partially answered a question of Kahane ('93) by showing that the graph of the Wiener process $W_t$ (Brownian motion) is almost surely not a Salem set. In this article we complement this result by showing that the Fourier dimension of the graph of $W_t$ is almost surely $1$. In the proof we introduce a method based on Ito calculus to estimate Fourier transforms by reformulating the question in the language of Ito drift-diffusion processes and combine it with the classical work of Kahane on Brownian images.


title: Vulnerability Analysis and Consequences of False Data Injection Attack on Power System State Estimation

abstract: An unobservable false data injection (FDI) attack on AC state estimation (SE) is introduced and its consequences on the physical system are studied. With a focus on understanding the physical consequences of FDI attacks, a bi-level optimization problem is introduced whose objective is to maximize the physical line flows subsequent to an FDI attack on DC SE. The maximization is subject to constraints on both attacker resources (size of attack) and attack detection (limiting load shifts) as well as those required by DC optimal power flow (OPF) following SE. The resulting attacks are tested on a more realistic non-linear system model using AC state estimation and ACOPF, and it is shown that, with an appropriately chosen sub-network, the attacker can overload transmission lines with moderate shifts of load.


title: Entity-Specific Sentiment Classification of Yahoo News Comments

abstract: Sentiment classification is widely used for product reviews and in online social media such as forums, Twitter, and blogs. However, the problem of classifying the sentiment of user comments on news sites has not been addressed yet. News sites cover a wide range of domains including politics, sports, technology, and entertainment, in contrast to other online social sites such as forums and review sites, which are specific to a particular domain. A user associated with a news site is likely to post comments on diverse topics (e.g., politics, smartphones, and sports) or diverse entities (e.g., Obama, iPhone, or Google). Classifying the sentiment of users tied to various entities may help obtain a holistic view of their personality, which could be useful in applications such as online advertising, content personalization, and political campaign planning. In this paper, we formulate the problem of entity-specific sentiment classification of comments posted on news articles in Yahoo News and propose novel features that are specific to news comments. Experimental results show that our models outperform state-of-the-art baselines.


title: Witnessing causal nonseparability

abstract: Our common understanding of the physical world deeply relies on the notion that events are ordered with respect to some time parameter, with past events serving as causes for future ones. Nonetheless, it was recently found that it is possible to formulate quantum mechanics without any reference to a global time or causal structure. The resulting framework includes new kinds of quantum resources that allow performing tasks - in particular, the violation of causal inequalities - which are impossible for events ordered according to a global causal order. However, no physical implementation of such resources is known. Here we show that a recently demonstrated resource for quantum computation - the quantum switch - is a genuine example of "indefinite causal order". We do this by introducing a new tool - the causal witness - which can detect the causal nonseparability of any quantum resource that is incompatible with a definite causal order. We show however that the quantum switch does not violate any causal nequality.


title: Reversible Logic Synthesis with Minimal Usage of Ancilla Bits

abstract: Reversible logic has attracted much research interest over the last few decades, especially due to its application in quantum computing. In the construction of reversible gates from basic gates, ancilla bits are commonly used to remove restrictions on the type of gates that a certain set of basic gates generates. With unlimited ancilla bits, many gates (such as Toffoli and Fredkin) become universal reversible gates. However, ancilla bits can be expensive to implement, thus making the problem of minimizing necessary ancilla bits a practical topic. This thesis explores the problem of reversible logic synthesis using a single base gate and a few ancilla bits. Two base gates are discussed: a variation of the 3-bit Toffoli gate and the original 3-bit Fredkin gate. There are three main results associated with these two gates: i) the variated Toffoli gate can generate all n-bit reversible gates using 1 ancilla bit, ii) the variated Toffoli can generate all n-bit reversible gates that are even permutations using no ancilla bit, iii) the Fredkin gate can generate all n-bit conservative reversible gates using 1 ancilla bit. Prior to this paper, the best known result for general universality requires three basic gates, and the best known result for conservative universality needs 5 ancilla bits. The second result is trivially optimal. For the first and the third result, we explicitly prove their optimality: the variated Toffoli cannot generate all n-bit reversible gates without using any extra input lines, and the Fredkin gate cannot generate all n-bit conservative reversible gates without using extra input lines. We also explore a stronger version of the second converse by introducing a new concept called borrowed bits, and prove that the Fredkin gate cannot generate all n-bit conservative reversible gates without ancilla bits, even with an unlimited number of borrowed bits.


title: Investigation of Mechanical Properties of Cryogenically Treated Music Wire

abstract: It has been reported that treating music wire (high carbon steel wire) by cooling to cryogenic temperatures can enhance its mechanical properties with particular reference to those properties important for musical performance. We use such wire for suspending many of the optics in Advanced LIGO, the upgrade to LIGO - the Laser Interferometric Gravitational-Wave Observatory. Two properties that particularly interest us are mechanical loss and breaking strength. A decrease in mechanical loss would directly reduce the thermal noise associated with the suspension, thus enhancing the noise performance of mirror suspensions within the detector. An increase in strength could allow thinner wire to be safely used, which would enhance the dilution factor of the suspension, again leading to lower suspension thermal noise. In this article we describe the results of an investigation into some of the mechanical properties of music wire, comparing untreated wire with the same wire which has been cryogenically treated. For the samples we studied we conclude that there is no significant difference in the properties of interest for application in gravitational wave detectors.


title: Open k-monopolies in graphs: complexity and related concepts

abstract: Closed monopolies in graphs have a quite long range of applications in several problems related to overcoming failures, since they frequently have some common approaches around the notion of majorities, for instance to consensus problems, diagnosis problems or voting systems. We introduce here open $k$-monopolies in graphs which are closely related to different parameters in graphs. Given a graph $G=(V,E)$ and $X\subseteq V$, if $\delta_X(v)$ is the number of neighbors $v$ has in $X$, $k$ is an integer and $t$ is a positive integer, then we establish in this article a connection between the following three concepts: - Given a nonempty set $M\subseteq V$ a vertex $v$ of $G$ is said to be $k$-controlled by $M$ if $\delta_M(v)\ge \frac{\delta_V(v)}{2}+k$. The set $M$ is called an open $k$-monopoly for $G$ if it $k$-controls every vertex $v$ of $G$. - A function $f: V\rightarrow \{-1,1\}$ is called a signed total $t$-dominating function for $G$ if $f(N(v))=\sum_{v\in N(v)}f(v)\geq t$ for all $v\in V$. - A nonempty set $S\subseteq V$ is a global (defensive and offensive) $k$-alliance in $G$ if $\delta_S(v)\ge \delta_{V-S}(v)+k$ holds for every $v\in V$. In this article we prove that the problem of computing the minimum cardinality of an open $0$-monopoly in a graph is NP-complete even restricted to bipartite or chordal graphs. In addition we present some general bounds for the minimum cardinality of open $k$-monopolies and we derive some exact values.


title: Eigenvalues of the Wentzell-Laplace Operator and of the Fourth Order Steklov Problems

abstract: We prove a sharp upper bound and a lower bound for the first nonzero eigenvalue of the Wentzell-Laplace operator on compact manifolds with boundary and an isoperimetric inequality for the same eigenvalue in the case where the manifold is a bounded domain in a Euclidean space. We study some fourth order Stekolv problems and obtain isoperimetric upper bound for the first eigenvalue of them. We also find all the eigenvalues and eigenfunctions for two kind of fourth order Stekolv problems on a Euclidean ball.


title: Stochastic model for aerodynamic force dynamics on wind turbine blades in unsteady wind inflow

abstract: The paper presents a stochastic approach to estimate the aerodynamic forces with local dynamics on wind turbine blades in unsteady wind inflow. This is done by integrating a stochastic model of lift and drag dynamics for an airfoil into the aerodynamic simulation software AeroDyn. The model is added as an alternative to the static table lookup approach in blade element momentum (BEM) wake model used by AeroDyn. The stochastic forces are obtained for a rotor blade element using full field turbulence simulated wind data input and compared with the classical BEM and dynamic stall models for identical conditions. The comparison shows that the stochastic model generates additional extended dynamic response in terms of local force fluctuations. Further, the comparison of statistics between the classical BEM, dynamic stall and stochastic models' results in terms of their increment probability density functions gives consistent results.


title: Matched Metrics and Channels

abstract: The most common decision criteria for decoding are maximum likelihood decoding and nearest neighbor decoding. It is well-known that maximum likelihood decoding coincides with nearest neighbor decoding with respect to the Hamming metric on the binary symmetric channel. In this work we study channels and metrics for which those two criteria do and do not coincide for general codes.


title: Optimization of optical absorption in thin layers of amorphous silicon enhanced by silver nanospheres

abstract: We study a highly controllable perfect plasmonic absorber -- a thin metamaterial layer which possess balanced electric and magnetic responses in some frequency range. We show that this regime is compatible with both metal-backed variant of the structure or its semitransparent variant. This regime can be implemented in a prospective thin-film photovoltaic cell with negligible parasitic losses.


title: Sparse Partially Collapsed MCMC for Parallel Inference in Topic Models

abstract: Topic models, and more specifically the class of Latent Dirichlet Allocation (LDA), are widely used for probabilistic modeling of text. MCMC sampling from the posterior distribution is typically performed using a collapsed Gibbs sampler. We propose a parallel sparse partially collapsed Gibbs sampler and compare its speed and efficiency to state-of-the-art samplers for topic models on five well-known text corpora of differing sizes and properties. In particular, we propose and compare two different strategies for sampling the parameter block with latent topic indicators. The experiments show that the increase in statistical inefficiency from only partial collapsing is smaller than commonly assumed, and can be more than compensated by the speedup from parallelization and sparsity on larger corpora. We also prove that the partially collapsed samplers scale well with the size of the corpus. The proposed algorithm is fast, efficient, exact, and can be used in more modeling situations than the ordinary collapsed sampler.


title: Direct Imaging of Nanoscale Conductance Evolution in Ion-Gel-Gated Oxide Transistors

abstract: Electrostatic modification of functional materials by electrolytic gating has demonstrated a remarkably wide range of density modulation, a condition crucial for developing novel electronic phases in systems ranging from complex oxides to layered chalcogenides. Yet little is known microscopically when carriers are modulated in electrolyte-gated electric double-layer transistors (EDLTs) due to the technical challenge of imaging the buried electrolyte-semiconductor interface. Here, we demonstrate the real-space mapping of the channel conductance in ZnO EDLTs using a cryogenic microwave impedance microscope. A spin-coated ionic gel layer with typical thicknesses below 50 nm allows us to perform high resolution (on the order of 100 nm) sub-surface imaging, while maintaining the capability of inducing the metal-insulator transition under a gate bias. The microwave images vividly show the spatial evolution of channel conductance and its local fluctuations through the transition, as well as the uneven conductance distribution established by a large source-drain bias. The unique combination of ultra-thin ion-gel gating and microwave imaging offers a new opportunity to study the local transport and mesoscopic electronic properties in EDLTs.


title: The little-hierarchy problem is a little problem: understanding the difference between the big- and little-hierarchy problems with Bayesian probability

abstract: Experiments are once again under way at the LHC. This time around, however, the mood in the high-energy physics community is pessimistic. There is a growing suspicion that naturalness arguments that predict new physics near the weak scale are faulty and that prospects for a new discovery are limited. We argue that such doubts originate from a misunderstanding of the foundations of naturalness arguments. In spite of the first run at the LHC, which aggravated the little-hierarchy problem, there is no cause for doubting naturalness or natural theories. Naturalness is grounded in Bayesian probability logic - it is not a scientific theory and it makes no sense to claim that it could be falsified or that it is under pressure from experimental data. We should remain optimistic about discovery prospects; natural theories, such as supersymmetry, generally predict new physics close to the weak scale. Furthermore, from a Bayesian perspective, we briefly discuss 't Hooft's technical naturalness and a contentious claim that the little-hierarchy problem hints that the Standard Model is a fundamental theory.


title: A new HW Vir binary from the Palomar Transient Factory: PTF1 J072455.75+125300.3 - An eclipsing subdwarf B binary with a M-star companion

abstract: We report the discovery of an eclipsing binary -- PTF1 J072456$+$125301-- composed of a subdwarf B (sdB) star ($g'=17.2^m$) with a faint companion. Subdwarf B stars are core helium-burning stars, which can be found on the extreme horizontal branch. About half of them reside in close binary systems, but few are known to be eclipsing, for which fundamental stellar parameters can be derived.\newline We conducted an analysis of photometric data and spectra from the Palomar 60'' and the 200" Hale telescope respectively. A quantitative spectral analysis found an effective temperature of $T_{\text{eff}}=33900\pm350$\,K, log g = $5.74\pm0.08$ and log($n_{\text{He}}/n_{\text{H}}) = -2.02 \pm0.07$, typical for an sdB star. The companion does not contribute to the optical light of the system, except through a distinct reflection effect. From the light curve an orbital period of 0.09980(25)\,d and a system inclination of $83.56\pm0.30\,^{\circ}$ were derived. The radial velocity curve yielded an orbital semi-amplitude of $K_1=95.8\pm 8.1\,\text{km s$^{-1}$}$. The mass for the M-type dwarf companion is $0.155\pm0.020\,M_{\odot}$. PTF1\,J072456$+$125301 has similar atmospheric parameters to those of pulsating sdB stars (V346 Hya stars). Therefore it could be a high-priority object for asteroseismology, if pulsations were detected such as in the enigmatic case of NY Vir.


title: Cognitive science and the connection between physics and mathematics

abstract: The human mind is endowed with innate primordial perceptions such as space, distance, motion, change, flow of time, matter. The field of cognitive science argues that the abstract concepts of mathematics are not Platonic, but are built in the brain from these primordial perceptions, using what are known as conceptual metaphors. Known cognitive mechanisms give rise to the extremely precise and logical language of mathematics. Thus all of the vastness of mathematics, with its beautiful theorems, is human mathematics. It resides in the mind, and is not `out there'. Physics is an experimental science in which results of experiments are described in terms of concrete concepts - these concepts are also built from our primordial perceptions. The goal of theoretical physics is to describe the experimentally observed regularity of the physical world in an unambiguous, precise and logical manner. To do so, the brain resorts to the well-defined abstract concepts which the mind has metaphored from our primordial perceptions. Since both the concrete and the abstract are derived from the primordial, the connection between physics and mathematics is not mysterious, but natural. This connection is established in the human brain, where a small subset of the vast human mathematics is cognitively fitted to describe the regularity of the universe. Theoretical physics should be thought of as a branch of mathematics, whose axioms are motivated by observations of the physical world. We use the example of quantum theory to demonstrate the all too human nature of the physics-mathematics connection: it is at times frail, and imperfect. Our resistance to take this imperfection sufficiently seriously [since no known experiment violates quantum theory] shows the fundamental importance of experiments in physics.