title: On strong dynamics of compressible two-component mixture flow

abstract: We investigate a system describing the flow of a compressible two-component mixture. The system is composed of the compressible Navier-Stokes equations coupled with non-symmetric reaction-diffusion equations describing the evolution of fractional masses. We show the local existence and, under certain smallness assumptions, also the global existence of unique strong solutions in $L_p-L_q$ framework. Our approach is based on so called entropic variables which enable to rewrite the system in a symmetric form. Then, applying Lagrangian coordinates, we show the local existence of solutions applying the $L_p$-$L_q$ maximal regularity estimate. Next, applying exponential decay estimate we show that the solution exists globally in time provided the initial data is sufficiently close to some constants. The nonlinear estimates impose restrictions $2<p<\infty, \ 3<q<\infty$. However, for the purpose of generality we show the linear estimates for wider range of $p$ and $q$.


title: Estimating a Separably-Markov Random Field (SMuRF) from Binary Observations

abstract: A fundamental problem in neuroscience is to characterize the dynamics of spiking from the neurons in a circuit that is involved in learning about a stimulus or a contingency. A key limitation of current methods to analyze neural spiking data is the need to collapse neural activity over time or trials, which may cause the loss of information pertinent to understanding the function of a neuron or circuit. We introduce a new method that can determine not only the trial-to-trial dynamics that accompany the learning of a contingency by a neuron, but also the latency of this learning with respect to the onset of a conditioned stimulus. The backbone of the method is a separable two-dimensional (2D) random field (RF) model of neural spike rasters, in which the joint conditional intensity function of a neuron over time and trials depends on two latent Markovian state sequences that evolve separately but in parallel. Classical tools to estimate state-space models cannot be applied readily to our 2D separable RF model. We develop efficient statistical and computational tools to estimate the parameters of the separable 2D RF model. We apply these to data collected from neurons in the pre-frontal cortex (PFC) in an experiment designed to characterize the neural underpinnings of the associative learning of fear in mice. Overall, the separable 2D RF model provides a detailed, interpretable, characterization of the dynamics of neural spiking that accompany the learning of a contingency.


title: Quantum advantage for probabilistic one-time programs

abstract: One-time programs, computer programs which self-destruct after being run only once, are a powerful building block in cryptography and would allow for new forms of secure software distribution. However, ideal one-time programs have been proved to be unachievable using either classical or quantum resources. Here we relax the definition of one-time programs to allow some probability of error in the output and show that quantum mechanics offers security advantages over purely classical resources. We introduce a scheme for encoding probabilistic one-time programs as quantum states with prescribed measurement settings, explore their security, and experimentally demonstrate various one-time programs using measurements on single-photon states. These include classical logic gates, a program to solve Yao's millionaires problem, and a one-time delegation of a digital signature. By combining quantum and classical technology, we demonstrate that quantum techniques can enhance computing capabilities even before full-scale quantum computers are available.


title: Word-representability of split graphs

abstract: Letters $x$ and $y$ alternate in a word $w$ if after deleting in $w$ all letters but the copies of $x$ and $y$ we either obtain a word $xyxy\cdots$ (of even or odd length) or a word $yxyx\cdots$ (of even or odd length). A graph $G=(V,E)$ is word-representable if and only if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy\in E$. It is known that a graph is word-representable if and only if it admits a certain orientation called semi-transitive orientation. Word-representable graphs generalize several important classes of graphs such as $3$-colorable graphs, circle graphs, and comparability graphs. There is a long line of research in the literature dedicated to word-representable graphs. However, almost nothing is known on word-representability of split graphs, that is, graphs in which the vertices can be partitioned into a clique and an independent set. In this paper, we shed a light to this direction. In particular, we characterize in terms of forbidden subgraphs word-representable split graphs in which vertices in the independent set are of degree at most 2, or the size of the clique is 4. Moreover, we give necessary and sufficient conditions for an orientation of a split graph to be semi-transitive.


title: Nonlinear absorption in dielectric metamaterials

abstract: We solve the nonlinear Maxwell equations in an InP-based dielectric metamaterial, considering both two-photon absorption and photo-induced free-carrier absorption. We obtain the intensity-dependent reflection, absorption, and effective permittivity and permeability of the metamaterial. Our results show that nonlinear absorption dampens both the electric and magnetic Mie resonance, although the magnetic resonance is more affected because it occurs at longer wavelengths where the free-carrier absorption cross section is larger. Owing to field concentration in the metamaterial at resonance, the threshold intensity for nonlinear absorption is smaller by a factor of about 30 compared to a homogeneous layer of the same thickness. Our results have implications on the use of dielectric metamaterials for nonlinear applications such as frequency conversion and optical limiting.


title: Is the Rayleigh-Sommerfeld diffraction always an exact reference for high speed diffraction algorithms?

abstract: In several areas of optics and photonics like wave propagation, digital holography, holographic microscopy, diffraction imaging, biomedical imaging and diffractive optics, the behavior of the electromagnetic waves has to be calculated with the scalar theory of diffraction by computational methods. Many of these high speed diffraction algorithms based on a fast Fourier transformation are in principle approximations of the Rayleigh-Sommerfeld Diffraction (RSD) theory. However, to investigate their numerical accuracy, they should be compared with and verified by RSD. All numerical simulations are in principle based on a sampling of the analogue continuous field. In this article we demonstrate a novel validity condition for the well-sampling in RSD, which makes a systematic treatment of sampling in RSD possible. We show the fundamental restrictions due to this condition and the anomalies caused by its violation. We also demonstrate that the restrictions are completely removed by a sampling below the Abbe resolution limit. Furthermore, we present a very general unified approach for applying the RSD outside its validity domain by the combination of a forward and reverse calculation.


title: Covering Groups of Nonconnected Topological Groups and 2-Groups

abstract: We investigate the universal cover of a topological group that is not necessarily connected. Its existence as a topological group is governed by a Taylor cocycle, an obstruction in 3-cohomology. Alternatively, it always exists as a topological 2-group. The splitness of this 2-group is also governed by an obstruction in 3-cohomology, a Sinh cocycle. We give explicit formulas for both obstructions and show that they are inverse of each other.


title: No evidence for dust B-mode decorrelation in Planck data

abstract: Constraints on inflationary $B$-modes using Cosmic Microwave Background polarization data commonly rely on either template cleaning or cross-spectra between maps at different frequencies to disentangle galactic foregrounds from the cosmological signal. Assumptions about how the foregrounds scale with frequency are therefore crucial to interpreting the data. Recent results from the Planck satellite collaboration claim significant evidence for a decorrelation in the polarization signal of the spatial pattern of galactic dust between 353 GHz and 217 GHz. Such a decorrelation would suppress power in the cross spectrum between high frequency maps, where the dust is strong, and lower frequency maps, where the sensitivity to cosmological $B$-modes is strongest. Alternatively, it would leave residuals in lower frequency maps cleaned with a template derived from the higher frequency maps. If not accounted for, both situations would result in an underestimate of the dust contribution and thus an upward bias on measurements of the tensor-to-scalar ratio, $r$. In this paper we revisit this measurement and find that the no-decorrelation hypothesis cannot be excluded with the Planck data. There are three main reasons for this: i) there is significant noise bias in cross spectra between Planck data splits that needs to be accounted for; ii) there is strong evidence for unknown instrumental systematics whose amplitude we estimate using alternative Planck data splits; iii) there are significant correlations between measurements in different sky patches that need to be taken into account when assessing the statistical significance. Between $\ell=55-90$ and over $72\%$ of the sky, the dust $BB$ correlation between 217 GHz and 353 GHz is $1.001^{+.004/.021}_{-.004/.000}$ ($68\%~stat./syst.$) and shows no significant trend with sky fraction.


title: Beyond the plane-parallel approximation for redshift surveys

abstract: Redshift space distortions privilege the location of the observer in cosmological redshift surveys, breaking the translational symmetry of the underlying theory. This violation of statistical homogeneity has consequences for the modeling of clustering observables, leading to what are frequently called `wide angle effects'. We study these effects analytically, computing their signature in the clustering of the multipoles in configuration and Fourier space. We take into account both physical wide angle contributions as well as the terms generated by the galaxy selection function. Similar considerations also affect the way power spectrum estimators are constructed. We quantify, in an analytical way the biases which enter and clarify the relation between what we measure and the underlying theoretical modeling. The presence of an angular window function is also discussed. Motivated by this analysis we present new estimators for the three dimensional Cartesian power spectrum and bispectrum multipoles written in terms of spherical Fourier-Bessel coefficients. We show how the latter have several interesting properties, allowing in particular a clear separation between angular and radial modes.


title: Influence of Te-doping on self-catalyzed VS InAs nanowires

abstract: We report on growth of Te-doped self-catalyzed InAs nanowires by molecular beam epitaxy on silicon (111) substrates. Changes in the wire morphology, i.e. a decrease in length and an increase in diameter have been observed with rising doping level. Crystal structure analysis based on transmission electron microscopy as well as X-ray diffraction reveals an enhancement of the zinc blende/(wurtzite+zinc blende) segment ratio if Te is provided during the growth process. Furthermore, electrical two-point measurements show that increased Te-doping causes a gain in conductivity. Two comparable growth series, differing only in As-partial pressure by about $1 \times 10^{-5}$ while keeping all other parameters constant, were analyzed for different Te-doping levels. Their comparison suggests that the crystal structure is stronger affected and the conductivity gain is more distinct for wires grown at a comparably higher As-partial pressure.


title: Exfoliation of single layer BiTeI flakes

abstract: Spin orbit interaction can be strongly boosted when a heavy element is embedded into an inversion asymmetric crystal field. A simple structure to realize this concept in a 2D crystal contains three atomic layers, a middle one built up from heavy elements generating strong atomic spin-orbit interaction and two neighboring atomic layers with different electron negativity. BiTeI is a promising candidate for such a 2D crystal, since it contains heavy Bi layer between Te and I layers. Recently the bulk form of BiTeI attracted considerable attention due to its giant Rashba interaction, however, 2D form of this crystal was not yet created. In this work we report the first exfoliation of single layer BiTeI using a recently developed exfoliation technique on stripped gold. Our combined scanning probe studies and first principles calculations show that SL BiTeI flakes with sizes of 100 $\mu$m were achieved which are stable at ambient conditions. The giant Rashba splitting and spin-momentum locking of this new member of 2D crystals open the way towards novel spintronic applications and synthetic topological heterostructures.


title: NIME: A Community of Communities

abstract: Commentary on the article Fourteen Years of NIME: The Value and Meaning of Community in Interactive Music Research by A. Marquez-Borbon and P. Stapleton.


title: From standard monomial theory to semi-toric degenerations via Newton-Okounkov bodies

abstract: The Hodge algebra structures on the homogeneous coordinate rings of Grassmann varieties provide semi-toric degenerations of these varieties. In this paper we construct these semi-toric degenerations using quasi-valuations and triangulations of Newton-Okounkov bodies.


title: Deep Haptic Model Predictive Control for Robot-Assisted Dressing

abstract: Robot-assisted dressing offers an opportunity to benefit the lives of many people with disabilities, such as some older adults. However, robots currently lack common sense about the physical implications of their actions on people. The physical implications of dressing are complicated by non-rigid garments, which can result in a robot indirectly applying high forces to a person's body. We present a deep recurrent model that, when given a proposed action by the robot, predicts the forces a garment will apply to a person's body. We also show that a robot can provide better dressing assistance by using this model with model predictive control. The predictions made by our model only use haptic and kinematic observations from the robot's end effector, which are readily attainable. Collecting training data from real world physical human-robot interaction can be time consuming, costly, and put people at risk. Instead, we train our predictive model using data collected in an entirely self-supervised fashion from a physics-based simulation. We evaluated our approach with a PR2 robot that attempted to pull a hospital gown onto the arms of 10 human participants. With a 0.2s prediction horizon, our controller succeeded at high rates and lowered applied force while navigating the garment around a persons fist and elbow without getting caught. Shorter prediction horizons resulted in significantly reduced performance with the sleeve catching on the participants' fists and elbows, demonstrating the value of our model's predictions. These behaviors of mitigating catches emerged from our deep predictive model and the controller objective function, which primarily penalizes high forces.


title: Nuclear Disarmament Verification via Resonant Phenomena

abstract: Nuclear disarmament treaties are not sufficient in and of themselves to neutralize the existential threat of the nuclear weapons. Technologies are necessary for verifying the authenticity of the nuclear warheads undergoing dismantlement before counting them towards a treaty partner's obligation. This work presents a novel concept that leverages isotope-specific nuclear resonance phenomena to authenticate a warhead's fissile components by comparing them to a previously authenticated template. All information is encrypted in the physical domain in a manner that amounts to a physical zero-knowledge proof system. Using Monte Carlo simulations, the system is shown to reveal no isotopic or geometric information about the weapon, while readily detecting hoaxing attempts. This nuclear technique can dramatically increase the reach and trustworthiness of future nuclear disarmament treaties.


title: On the tractability of optimization problems on H-graphs

abstract: For a graph $H$, a graph $G$ is an $H$-graph if it is an intersection graph of connected subgraphs of some subdivision of $H$. $H$-graphs naturally generalize several important graph classes like interval or circular-arc graph. This class was introduced in the early 1990s by B\'ir\'o, Hujter, and Tuza. Recently, Chaplick et al. initiated the algorithmic study of $H$-graphs by showing that a number of fundamental optimization problems are solvable in polynomial time on $H$-graphs. We extend and complement these algorithmic findings in several directions. First we show that for every fixed $H$, the class of $H$-graphs is of logarithmically-bounded boolean-width (via mim-width). Pipelined with the plethora of known algorithms on graphs of bounded boolean-width, this describes a large class of problems solvable in polynomial time on $H$-graphs. We also observe that $H$-graphs are graphs with polynomially many minimal separators. Combined with the work of Fomin, Todinca and Villanger on algorithmic properties of such classes of graphs, this identify another wide class of problems solvable in polynomial time on $H$-graphs. The most fundamental optimization problems among the problems solvable in polynomial time on $H$-graphs are Maximum Clique, Maximum Independent Set, and Minimum Dominating Set. We provide a more refined complexity analysis of these problems from the perspective of Parameterized Complexity. We show that Maximum Independent Set and Minimum Dominating Set are W[1]-hard being parameterized by the size of $H$ plus the size of the solution. On the other hand, we prove that when $H$ is a tree, then Minimum Dominating Set is fixed-parameter tractable parameterized (FPT) by the size of $H$. For Maximum Clique we show that it admits a polynomial kernel parameterized by $H$ and the solution size.


title: Formulations of the PFR Conjecture over $\mathbb{Z}$

abstract: The polynomial Fre\u{\i}man--Ruzsa conjecture is a fundamental open question in additive combinatorics. However, over the integers (or more generally $\mathbb{R}^d$ or $\mathbb{Z}^d$) the optimal formulation has not been fully pinned down. The conjecture states that a set of small doubling is controlled by a very structured set, with polynomial dependence of parameters. The ambiguity concerns the class of structured sets needed. A natural formulation in terms of generalized arithmetic progressions was recently disproved by Lovett and Regev. A more permissive alternative is in terms of \emph{convex progressions}; this avoids the obstruction, but uses is a significantly larger class of objects, yielding a weaker statement. Here we give another formulation of PFR in terms of Euclidean ellipsiods (and some variations). We show it is in fact equivalent to the convex progression version; i.e. that the full range of convex progressions is not needed. The key ingredient is a strong result from asymptotic convex geometry.


title: Parametrizations of three-body hadronic $B$- and $D$-decay amplitudes in terms of analytic and unitary meson-meson form factors

abstract: We introduce parametrizations of hadronic three-body $B$ and $D$ weak decay amplitudes that can be readily implemented in experimental analyses and are a sound alternative to the simplistic and widely used sum of Breit-Wigner type amplitudes, also known as the isobar model. These parametrizations can be particularly useful in the interpretation of CP asymmetries in the Dalitz plots. They are derived from previous calculations based on a quasi-two-body factorization approach in which two-body hadronic final state interactions are fully taken into account in terms of unitary $S$- and $P$-wave $\pi\pi$, $\pi K$ and $K \bar K$ form factors. These form factors can be determined rigorously, fulfilling fundamental properties of quantum field-theory amplitudes such as analyticity and unitarity, and are in agreement with the low-energy behaviour predicted by effective theories of QCD. They are derived from sets of coupled-channel equations using $T$-matrix elements constrained by experimental meson-meson phase shifts and inelasticities, chiral symmetry and asymptotic QCD. We provide explicit amplitude expressions for the decays $B^\pm \to \pi^+ \pi^- \pi^\pm$, $B \to K \ \pi^+ \pi^-$, $B^\pm \to K^+ K^-K^\pm$, $D^+ \to \pi^- \pi^+ \pi^+ $, $D^+ \to K^- \pi^+ \ \pi^+ $, $D^0 \to K^0_S \ \pi^+\ \pi^- $, for which we have shown in previous studies that this approach is phenomenologically successful, in addition, we provide expressions for the $D^0 \to K^0_S \ K^+ K^-$ decay. Other three-body hadronic channels can be parametrized likewise.


title: A note on rational curves on general Fano hypersurfaces

abstract: We show the Kontsevich space of rational curves of degree at most roughly $\frac{2-\sqrt{2}}{2}n$ on a general hypersurface $X\subset \mathbb{P}^n$ of degree $n-1$ is equidimensional of expected dimension and has two components: one consisting generically of smooth, embedded rational curves and the other consisting of multiple covers of a line. This proves more cases of a conjecture of Coskun, Harris, and Starr and shows the Gromov-Witten invariants in these cases are enumerative.


title: WHY: Natural Explanations from a Robot Navigator

abstract: Effective collaboration between a robot and a person requires natural communication. When a robot travels with a human companion, the robot should be able to explain its navigation behavior in natural language. This paper explains how a cognitively-based, autonomous robot navigation system produces informative, intuitive explanations for its decisions. Language generation here is based upon the robot's commonsense, its qualitative reasoning, and its learned spatial model. This approach produces natural explanations in real time for a robot as it navigates in a large, complex indoor environment.


title: Reducing the two-body problem in scalar-tensor theories to the motion of a test particle : a scalar-tensor effective-one-body approach

abstract: Starting from the second post-Keplerian (2PK) Hamiltonian describing the conservative part of the two-body dynamics in massless scalar-tensor (ST) theories, we build an effective-one-body (EOB) Hamiltonian which is a $\nu$-deformation (where $\nu= 0$ is the test mass limit) of the analytically known ST Hamiltonian of a test particle. This ST-EOB Hamiltonian leads to a simple (yet canonically equivalent) formulation of the conservative 2PK two-body problem, but also defines a resummation of the dynamics which is well-suited to ST regimes that depart strongly from general relativity (GR) and which may provide information on the strong-field dynamics, in particular, the ST innermost stable circular orbit (ISCO) location and associated orbital frequency. Results will be compared and contrasted with those deduced from the ST-deformation of the (5PN) GR-EOB Hamiltonian previoulsy obtained in [Phys. Rev. D95, 124054 (2017)].


title: Open Markov Processes and Reaction Networks

abstract: We define the concept of an `open' Markov process, a continuous-time Markov chain equipped with specified boundary states through which probability can flow in and out of the system. External couplings which fix the probabilities of boundary states induce non-equilibrium steady states characterized by non-zero probability currents flowing through the system. We show that these non-equilibrium steady states minimize a quadratic form which we call `dissipation.' This is closely related to Prigogine's principle of minimum entropy production. We bound the rate of change of the entropy of a driven non-equilibrium steady state relative to the underlying equilibrium state in terms of the flow of probability through the boundary of the process. We then consider open Markov processes as morphisms in a symmetric monoidal category by splitting up their boundary states into certain sets of `inputs' and `outputs.' Composition corresponds to gluing the outputs of one such open Markov process onto the inputs of another so that the probability flowing out of the first process is equal to the probability flowing into the second. We construct a `black-box' functor characterizing the behavior of an open Markov process in terms of the space of possible steady state probabilities and probability currents along the boundary. The fact that this is a functor means that the behavior of a composite open Markov process can be computed by composing the behaviors of the open Markov processes from which it is composed. We prove a similar black-boxing theorem for reaction networks whose dynamics are given by the non-linear rate equation. Along the way we describe a more general category of open dynamical systems where composition corresponds to gluing together open dynamical systems.

categories: math-ph cond-mat.stat-mech math.CT math.MP


title: On the existence of unstable minimal Heegaard surfaces

abstract: We prove that for generic metrics on a 3-sphere, the minimal surface obtained from the min-max procedure of Simon-Smith has index 1. We prove an analogous result for minimal surfaces arising from strongly irreducible Heegaard sweepouts in 3-manifolds. We also confirm a conjecture of Pitts-Rubinstein that a strongly irreducible Heegaard splitting in a hyperbolic three-manifold can either be isotoped to a minimal surface of index at most 1 or else after a neck-pinch is isotopic to a one-sided minimal Heegaard surface.


title: Global modes and nonlinear analysis of inverted-flag flapping

abstract: An inverted flag has its trailing edge clamped and exhibits dynamics distinct from that of a conventional flag, whose leading edge is restrained. We perform nonlinear simulations and a global stability analysis of the inverted-flag system for a range of Reynolds numbers, flag masses and stiffnesses. Our global stability analysis is based on a linearisation of the fully-coupled fluid-structure system of equations. The calculated equilibria are steady-state solutions of the fully-coupled nonlinear equations. By implementing this approach, we (i) explore the mechanisms that initiate flapping, (ii) study the role of vortex shedding and vortex-induced vibration (VIV) in large-amplitude flapping, and (iii) characterise the chaotic flapping regime. For point (i), we identify a deformed-equilibrium state and show through a global stability analysis that the onset of flapping is due to a supercritical Hopf bifurcation. For large-amplitude flapping, point (ii), we confirm the arguments of Sader et al. (2016) that for a range of parameters this regime is a VIV. We also show that there are other flow regimes for which large-amplitude flapping persists and is not a VIV. Specifically, flapping can occur at low Reynolds numbers ($<50$), albeit via a previously unexplored mechanism. Finally, with respect to point (iii), chaotic flapping has been observed experimentally for Reynolds numbers of $O(10^4)$, and here we show that chaos also persists at a moderate Reynolds number of 200. We characterise this chaotic regime and calculate its strange attractor, whose structure is controlled by the above-mentioned deformed equilibria and is similar to a Lorenz attractor. These results are contextualised with bifurcation diagrams that depict the different equilibria and various flapping regimes.


title: Chiral partner structure of doubly heavy baryons with heavy quark spin-flavor symmetry

abstract: The spectrum of the doubly heavy baryons is estimated with respect to the new observation from the LHCb collaboration [Aaij:2017ueg] by using the chiral partner structure and heavy quark spin-flavor symmetry. The effects of heavy quark flavor symmetry breaking and light quark flavor symmetry are considered. The mass splitting of doubly heavy baryons with the same spin but opposite parity arises from the generalized Goldberger-Treiman relation. The intermultiplet one-pion transition and intramultiplet radiative transitions are also be estimated.


title: Conditions for the onset of the current filamentation instability in the laboratory

abstract: Current Filamentation Instability (CFI) is capable of generating strong magnetic fields relevant to explain radiation processes in astrophysical objects and lead to the onset of particle acceleration in collisionless shocks. Probing such extreme scenarios in the laboratory is still an open challenge. In this work, we investigate the possibility of using neutral $e^{-}$ $e^{+}$ beams to explore the CFI with realistic parameters, by performing 2D particle-in-cell simulations. We show that CFI can occur unless the rate at which the beam expands due to finite beam emittance is larger than the CFI growth rate and as long as the role of competing electrostatic two-stream instability (TSI) is negligible. We also show that the longitudinal energy spread, typical of plasma based accelerated electron-positron fireball beams, plays a minor role in the growth of CFI in these scenarios.


title: Dynamics of spontaneous activity in random networks with multiple neuron subtypes and synaptic noise

abstract: Spontaneous cortical population activity exhibits a multitude of oscillatory patterns, which often display synchrony during slow-wave sleep or under certain anesthetics and stay asynchronous during quiet wakefulness. The mechanisms behind these cortical states and transitions among them are not completely understood. Here we study spontaneous population activity patterns in random networks of spiking neurons of mixed types modeled by Izhikevich equations. Neurons are coupled by conductance-based synapses subject to synaptic noise. We localize the population activity patterns on the parameter diagram spanned by the relative inhibitory synaptic strength and the magnitude of synaptic noise. In absence of noise, networks display transient activity patterns, either oscillatory or at constant level. The effect of noise is to turn transient patterns into persistent ones: for weak noise, all activity patterns are asynchronous non-oscillatory independently of synaptic strengths; for stronger noise, patterns have oscillatory and synchrony characteristics that depend on the relative inhibitory synaptic strength. In the region of parameter space where inhibitory synaptic strength exceeds the excitatory synaptic strength and for moderate noise magnitudes networks feature intermittent switches between oscillatory and quiescent states with characteristics similar to those of synchronous and asynchronous cortical states, respectively. We explain these oscillatory and quiescent patterns by combining a phenomenological global description of the network state with local descriptions of individual neurons in their partial phase spaces. Our results point to a bridge from events at the molecular scale of synapses to the cellular scale of individual neurons to the collective scale of neuronal populations.


title: KeyVec: Key-semantics Preserving Document Representations

abstract: Previous studies have demonstrated the empirical success of word embeddings in various applications. In this paper, we investigate the problem of learning distributed representations for text documents which many machine learning algorithms take as input for a number of NLP tasks. We propose a neural network model, KeyVec, which learns document representations with the goal of preserving key semantics of the input text. It enables the learned low-dimensional vectors to retain the topics and important information from the documents that will flow to downstream tasks. Our empirical evaluations show the superior quality of KeyVec representations in two different document understanding tasks.


title: Linearly $\chi$-Bounding $(P_6,C_4)$-Free Graphs

abstract: Given two graphs $H_1$ and $H_2$, a graph $G$ is $(H_1,H_2)$-free if it contains no subgraph isomorphic to $H_1$ or $H_2$. Let $P_t$ and $C_s$ be the path on $t$ vertices and the cycle on $s$ vertices, respectively. In this paper we show that for any $(P_6,C_4)$-free graph $G$ it holds that $\chi(G)\le \frac{3}{2}\omega(G)$, where $\chi(G)$ and $\omega(G)$ are the chromatic number and clique number of $G$, respectively. %Our bound is attained by $C_5$ and the Petersen graph. Our bound is attained by several graphs, for instance, the five-cycle, the Petersen graph, the Petersen graph with an additional universal vertex, and all $4$-critical $(P_6,C_4)$-free graphs other than $K_4$ (see \cite{HH17}). The new result unifies previously known results on the existence of linear $\chi$-binding functions for several graph classes. Our proof is based on a novel structure theorem on $(P_6,C_4)$-free graphs that do not contain clique cutsets. Using this structure theorem we also design a polynomial time $3/2$-approximation algorithm for coloring $(P_6,C_4)$-free graphs. Our algorithm computes a coloring with $\frac{3}{2}\omega(G)$ colors for any $(P_6,C_4)$-free graph $G$ in $O(n^2m)$ time.


title: Periods of double octic Calabi--Yau manifolds

abstract: We compute numerical approximations of the period integrals for eleven rigid double octic Calabi--Yau threefolds and compare them with the periods of corresponding weight our cusp forms and find, as to be expected, commensurabilities. These give information on character of the correspondences of these varieties with the associated Kuga-Sato modular threefolds.


title: Picard-Fuchs operators for octic arrangements I (The case of orphans)

abstract: We report on $25$ families of projective Calabi-Yau threefolds that do not have a point of maximal unipotent monodromy in their moduli space. The construction is based on an analysis of certain pencils of octic arrangements that were found by C. Meyer. There are seven cases where the Picard-Fuchs operator is of order two and $18$ cases where it is of order four. The birational nature of the Picard-Fuchs operator can be used effectively to distinguish between families whose members have the same Hodge numbers.


title: Technical Design Report for the Paul Scherrer Institute Experiment R-12-01.1: Studying the Proton "Radius" Puzzle with {\mu}p Elastic Scattering

abstract: The difference in proton radii measured with $\mu p$ atoms and with $ep$ atoms and scattering remains an unexplained puzzle. The PSI MUSE proposal is to measure $\mu p$ and $e p$ scattering in the same experiment at the same time. The experiment will determine cross sections, two-photon effects, form factors, and radii independently for the two reactions, and will allow $\mu p$ and $ep$ results to be compared with reduced systematic uncertainties. These data should provide the best test of lepton universality in a scattering experiment to date, about an order of magnitude improvement over previous tests. Measuring scattering with both particle polarities will allow a test of two-photon exchange at the sub-percent level, about a factor of four improvement on uncertainties and over an order of magnitude more data points than previous low momentum transfer determinations, and similar to the current generation of higher momentum transfer electron experiments. The experiment has the potential to demonstrate whether the $\mu p$ and $ep$ interactions are consistent or different, and whether any difference results from novel physics or two-photon exchange. The uncertainties are such that if the discrepancy is real it should be confirmed with $\approx$5$\sigma$ significance, similar to that already established between the regular and muonic hydrogen Lamb shift.


title: Combining Real-Valued and Binary Gabor-Radon Features for Classification and Search in Medical Imaging Archives

abstract: Content-based image retrieval (CBIR) of medical images in large datasets to identify similar images when a query image is given can be very useful in improving the diagnostic decision of the clinical experts and as well in educational scenarios. In this paper, we used two stage classification and retrieval approach to retrieve similar images. First, the Gabor filters are applied to Radon-transformed images to extract features and to train a multi-class SVM. Then based on the classification results and using an extracted Gabor barcode, similar images are retrieved. The proposed method was tested on IRMA dataset which contains more than 14,000 images. Experimental results show the efficiency of our approach in retrieving similar images compared to other Gabor-Radon-oriented methods.


title: Quasi-random Monte Carlo application in CGE systematic sensitivity analysis

abstract: The uncertainty and robustness of Computable General Equilibrium models can be assessed by conducting a Systematic Sensitivity Analysis. Different methods have been used in the literature for SSA of CGE models such as Gaussian Quadrature and Monte Carlo methods. This paper explores the use of Quasi-random Monte Carlo methods based on the Halton and Sobol' sequences as means to improve the efficiency over regular Monte Carlo SSA, thus reducing the computational requirements of the SSA. The findings suggest that by using low-discrepancy sequences, the number of simulations required by the regular MC SSA methods can be notably reduced, hence lowering the computational time required for SSA of CGE models.


title: No radiative generation of Chern-Simons-like term in Lorentz-violating QED: dealing with IR divergences

abstract: The issue intensively claimed in the literature on the generation of a CPT-odd and Lorentz violating Chern-Simons-like term by radiative corrections owing to a CPT violating interaction -- the axial coupling of fermions with a constant vector field $b_\m$ -- is mistaken. The presence of massless gauge field triggers IR divergences that might show up from the UV subtractions, therefore, so as to deal with the (actual physical) IR divergences, the Lowenstein-Zimmermann subtraction scheme, in the framework of BPHZL renormalization method, has to be adopted. The proof on the non generation of such a Chern-Simons-like term is done, independent of any kind of regularization scheme, at all orders in perturbation theory.


title: A note on truncated long-range percolation with heavy tails on oriented graphs

abstract: We consider oriented long-range percolation on a graph with vertex set $\mathbb{Z}^d \times \mathbb{Z}_+$ and directed edges of the form $\langle (x,t), (x+y,t+1)\rangle$, for $x,y$ in $\mathbb{Z}^d$ and $t \in \mathbb{Z}_+$. Any edge of this form is open with probability $p_y$, independently for all edges. Under the assumption that the values $p_y$ do not vanish at infinity, we show that there is percolation even if all edges of length more than $k$ are deleted, for $k$ large enough. We also state the analogous result for a long-range contact process on $\mathbb{Z}^d$.


title: EasyCritics I: Efficient detection of strongly-lensing galaxy groups and clusters in wide-field surveys

abstract: We present EasyCritics, an algorithm to detect strongly-lensing groups and clusters in wide-field surveys without relying on a direct recognition of arcs. EasyCritics assumes that light traces mass in order to predict the most likely locations of critical curves from the observed fluxes of luminous red early-type galaxies in the line of sight. The positions, redshifts and fluxes of these galaxies constrain the idealized gravitational lensing potential as a function of source redshift up to five free parameters, which are calibrated on few known lenses. From the lensing potential, EasyCritics derives the critical curves for a given, representative source redshift. The code is highly parallelized, uses fast Fourier methods and, optionally, GPU acceleration in order to process large datasets efficiently. The search of a $\smash{1 \, \mathrm{deg}^2}$ field of view requires less than 1 minute on a modern quad-core CPU, when using a pixel resolution of $0.25''/\mathrm{px}$. In this first part of a paper series on EasyCritics, we describe the main underlying concepts and present a first demonstration on data from the Canada-France-Hawaii-Telescope Lensing Survey. We show that EasyCritics is able to identify known group- and cluster-scale lenses, including a cluster with two giant arc candidates that were previously missed by automated arc detectors.


title: Eigenvalue bounds for non-self-adjoint Schr\"odinger operators with non-trapping metrics

abstract: We study eigenvalues of non-self-adjoint Schr\"odinger operators on non-trapping asymptotically conic manifolds of dimension $n\ge 3$. Specifically, we are concerned with the following two types of estimates. The first one deals with Keller type bounds on individual eigenvalues of the Schr\"odinger operator with a complex potential in terms of the $L^p$-norm of the potential, while the second one is a Lieb-Thirring type bound controlling sums of powers of eigenvalues in terms of the $L^p$-norm of the potential. We extend the results of Frank (2011), Frank-Sabin (2017), and Frank-Simon (2017) on the Keller and Lieb-Thirring type bounds from the case of Euclidean spaces to that of non-trapping asymptotically conic manifolds. In particular, our results are valid for the operator $\Delta_g+V$ on $\mathbb{R}^n$ with $g$ being a non-trapping compactly supported (or suitably short range) perturbation of the Euclidean metric and $V\in L^p$ complex valued.


title: Asymptotically approaching the Moore bound for diameter three by Cayley graphs

abstract: The largest order $n(d,k)$ of a graph of maximum degree $d$ and diameter $k$ cannot exceed the Moore bound, which has the form $M(d,k)=d^k - O(d^{k-1})$ for $d\to\infty$ and any fixed $k$. Known results in finite geometries on generalised $(k+1)$-gons imply, for $k=2,3,5$, the existence of an infinite sequence of values of $d$ such that $n(d,k)=d^k - o(d^k)$. This shows that for $k=2,3,5$ the Moore bound can be asymptotically approached in the sense that $n(d,k)/M(d,k)\to 1$ as $d\to\infty$; moreover, no such result is known for any other value of $k\ge 2$. The corresponding graphs are, however, far from vertex-transitive, and there appears to be no obvious way to extend them to vertex-transitive graphs giving the same type of asymptotic result. The second and the third author (2012) proved by a direct construction that the Moore bound for diameter $k=2$ can be asymptotically approached by Cayley graphs. Subsequently, the first and the third author (2015) showed that the same construction can be derived from generalised triangles with polarity. By a detailed analysis of regular orbits of suitable groups of automorphisms of graphs arising from polarity quotients of incidence graphs of generalised quadrangles with polarity, we prove that for an infinite set of values of $d$ there exist Cayley graphs of degree $d$, diameter $3$, and order $d^3{-}O(d^{2.5})$. The Moore bound for diameter $3$ can thus as well be asymptotically approached by Cayley graphs. We also show that this method does not extend to constructing Cayley graphs of diameter $5$ from generalised hexagons with polarity.


title: The detour problem in a stochastic environment: Tolman revisited

abstract: We designed a grid world task to study human planning and re-planning behavior in an unknown stochastic environment. In our grid world, participants were asked to travel from a random starting point to a random goal position while maximizing their reward. Because they were not familiar with the environment, they needed to learn its characteristics from experience to plan optimally. Later in the task, we randomly blocked the optimal path to investigate whether and how people adjust their original plans to find a detour. To this end, we developed and compared 12 different models. These models were different on how they learned and represented the environment and how they planned to catch the goal. The majority of our participants were able to plan optimally. We also showed that people were capable of revising their plans when an unexpected event occurred. The result from the model comparison showed that the model-based reinforcement learning approach provided the best account for the data and outperformed heuristics in explaining the behavioral data in the re-planning trials.


title: A free interpolation problem for a subspace of $H^\infty$

abstract: Given an inner function $\theta$, the associated star-invariant subspace $K^\infty_\theta$ is formed by the functions $f\in H^\infty$ that annihilate (with respect to the usual pairing) the shift-invariant subspace $\theta H^1$ of the Hardy space $H^1$. Assuming that $B$ is an interpolating Blaschke product with zeros $\{a_j\}$, we characterize the traces of functions from $K^\infty_B$ on the sequence $\{a_j\}$. The trace space that arises is, in general, non-ideal (i.e., the sequences $\{w_j\}$ belonging to it admit no nice description in terms of the size of $|w_j|$), but we do point out explicit -- and sharp -- size conditions on $|w_j|$ which make it possible to solve the interpolation problem $f(a_j)=w_j$ ($j=1,2,\dots$) with a function $f\in K^\infty_B$.


title: Multilevel Sequential${}^2$ Monte Carlo for Bayesian Inverse Problems

abstract: The identification of parameters in mathematical models using noisy observations is a common task in uncertainty quantification. We employ the framework of Bayesian inversion: we combine monitoring and observational data with prior information to estimate the posterior distribution of a parameter. Specifically, we are interested in the distribution of a diffusion coefficient of an elliptic PDE. In this setting, the sample space is high-dimensional, and each sample of the PDE solution is expensive. To address these issues we propose and analyse a novel Sequential Monte Carlo (SMC) sampler for the approximation of the posterior distribution. Classical, single-level SMC constructs a sequence of measures, starting with the prior distribution, and finishing with the posterior distribution. The intermediate measures arise from a tempering of the likelihood, or, equivalently, a rescaling of the noise. The resolution of the PDE discretisation is fixed. In contrast, our estimator employs a hierarchy of PDE discretisations to decrease the computational cost. We construct a sequence of intermediate measures by decreasing the temperature or by increasing the discretisation level at the same time. This idea builds on and generalises the multi-resolution sampler proposed in [P.S. Koutsourelakis, J. Comput. Phys., 228 (2009), pp. 6184-6211] where a bridging scheme is used to transfer samples from coarse to fine discretisation levels. Importantly, our choice between tempering and bridging is fully adaptive. We present numerical experiments in 2D space, comparing our estimator to single-level SMC and the multi-resolution sampler.


title: Rigidity of tilting modules in category O

abstract: In this note we give an overview of rigidity properties and Loewy lengths of tilting modules in the BGG category O associated to a reductive Lie algebra. These results are well-known by several specialists, but seem difficult to find in the existing literature.


title: State Estimation in Smart Distribution System With Low-Precision Measurements

abstract: Efficient and accurate state estimation is essential for the optimal management of the future smart grid. However, to meet the requirements of deploying the future grid at a large scale, the state estimation algorithm must be able to accomplish two major tasks: (1) combining measurement data with different qualities to attain an optimal state estimate and (2) dealing with the large number of measurement data rendered by meter devices. To address these two tasks, we first propose a practical solution using a very short word length to represent a partial measurement of the system state in the meter device to reduce the amount of data. We then develop a unified probabilistic framework based on a Bayesian belief inference to incorporate measurements of different qualities to obtain an optimal state estimate. Simulation results demonstrate that the proposed scheme significantly outperforms other linear estimators in different test scenarios. These findings indicate that the proposed scheme not only has the ability to integrate data with different qualities but can also decrease the amount of data that needs to be transmitted and processed.


title: The issue of gauge choice in the Landau problem and the physics of canonical and mechanical orbital angular momenta

abstract: One intriguing issue in the nucleon spin decomposition problem is the existence of two types of decompositions, which are representably characterized by two different orbital angular momenta (OAMs) of quarks. The one is the manifestly gauge-invariant mechanical OAM, while the other is the so-called gauge-invariant canonical (g.i.c.) OAM, the concept of which was introduced by Chen et al. To get a deep insight into the difference of these two decompositions, it is therefore vitally important to understand the the physical meanings of the above two OAMs correctly. Also to be clarified is the implication of the gauge symmetry that is immanent in the concept of g.i.c. OAM. We find that the famous Landau problem provides us with an ideal tool to answer these questions owing to its analytically solvable nature. After deriving a complete relation between the standard eigen-functions of the Landau Hamiltonian in the Landau gauge and in the symmetric gauge, we try to unravel the physics of the the canonical OAM and the mechanical OAM, by paying special attention to their gauge-dependence. We also argue that, different from the mechanical OAM of the electron, the canonical OAM or its gauge-invariant version would not correspond to any direct observables at least in the Landau problem. Also briefly discussed is the uniqueness or non-uniqueness problem of the nucleon spin decomposition, which arises from the arbitrariness in the definition of the so-called physical component of the gauge field.


title: A Nearly-linear Time Algorithm for Submodular Maximization with a Knapsack Constraint

abstract: We consider the problem of maximizing a monotone submodular function subject to a knapsack constraint. Our main contribution is an algorithm that achieves a nearly-optimal, $1 - 1/e - \epsilon$ approximation, using $(1/\epsilon)^{O(1/\epsilon^4)} n \log^2{n}$ function evaluations and arithmetic operations. Our algorithm is impractical but theoretically interesting, since it overcomes a fundamental running time bottleneck of the multilinear extension relaxation framework. This is the main approach for obtaining nearly-optimal approximation guarantees for important classes of constraints but it leads to $\Omega(n^2)$ running times, since evaluating the multilinear extension is expensive. Our algorithm maintains a fractional solution with only a constant number of entries that are strictly fractional, which allows us to overcome this obstacle.


title: Colonel Blotto Game for Secure State Estimation in Interdependent Critical Infrastructure

abstract: Securing the physical components of a city's interdependent critical infrastructure (ICI) such as power, natural gas, and water systems is a challenging task due to their interdependence and a large number of involved sensors. In this paper, using a novel integrated state-space model that captures the interdependence, a two-stage cyber attack on an ICI is studied in which the attacker first compromises the ICI's sensors by decoding their messages, and, subsequently, it alters the compromised sensors' data to cause state estimation errors. To thwart such attacks, the administrator of each critical infrastructure (CI) must assign protection levels to the sensors based on their importance in the state estimation process. To capture the interdependence between the attacker and the ICI administrator's actions and analyze their interactions, a Colonel Blotto game framework is proposed. The mixed-strategy Nash equilibrium of this game is derived analytically. At this equilibrium, it is shown that the administrator can strategically randomize between the protection levels of the sensors to deceive the attacker. Simulation results coupled with theoretical analysis show that, using the proposed game, the administrator can reduce the state estimation error by at least $ 50\% $ compared to a non-strategic approach that assigns protection levels proportional to sensor values.


title: Creating anyons from photons using a nonlinear resonator lattice subject to dynamic modulation

abstract: We study a one-dimensional photonic resonator lattice with Kerr nonlinearity under the dynamic modulation. With an appropriate choice of the modulation frequency and phase, we find that this system can be used to create anyons from photons. By coupling the resonators with external waveguides, the anyon characteristics can be explored by measuring the transport property of the photons in the external waveguides.


title: Multi-Erasure Locally Recoverable Codes Over Small Fields

abstract: Erasure codes play an important role in storage systems to prevent data loss. In this work, we study a class of erasure codes called Multi-Erasure Locally Recoverable Codes (ME-LRCs) for storage arrays. Compared to previous related works, we focus on the construction of ME-LRCs over small fields. We first develop upper and lower bounds on the minimum distance of ME-LRCs. Our main contribution is to propose a general construction of ME-LRCs based on generalized tensor product codes, and study their erasure-correcting properties. A decoding algorithm tailored for erasure recovery is given, and correctable erasure patterns are identified. We then prove that our construction yields optimal ME-LRCs with a wide range of code parameters, and present some explicit ME-LRCs over small fields. Finally, we show that generalized integrated interleaving (GII) codes can be treated as a subclass of generalized tensor product codes, thus defining the exact relation between these codes.


title: Quantum Mechanics / Coarse-Grained Molecular Mechanics (QM/CG-MM)

abstract: Numerous molecular systems, including solutions, proteins, and composite materials, can be modeled using mixed-resolution representations, of which the quantum mechanics/molecular mechanics (QM/MM) approach has become the most widely used. However, the QM/MM approach often faces a number of challenges, including the slow sampling of the large configuration space for the MM part, the high cost of repetitive QM computations for changing coordinates of atoms in the MM surroundings, and a difficulty in providing a simple, qualitative interpretation of numerical results in terms of the influence of the molecular environment upon the active QM region. In this paper, we address these issues by combining QM/MM modeling with the methodology of "bottom-up" coarse-graining (CG) to provide the theoretical basis for a systematic quantum-mechanical/coarse-grained molecular mechanics (QM/CG-MM) mixed resolution approach. A derivation of the method is presented based on a combination of statistical mechanics and quantum mechanics, leading to an equation for the effective Hamiltonian of the QM part, a central concept in the QM/CG-MM theory. A detailed analysis of different contributions to the effective Hamiltonian from electrostatic, induction, dispersion and exchange interactions between the QM part and the surroundings is provided, serving as a foundation for a potential hierarchy of QM/CG-MM methods varying in their accuracy and computational cost. A relationship of the QM/CG-MM methodology to other mixed resolution approaches is also discussed.


title: Categorical Quantum Dynamics

abstract: We use strong complementarity to introduce dynamics and symmetries within the framework of CQM, which we also extend to infinite-dimensional separable Hilbert spaces: these were long-missing features, which open the way to a wealth of new applications. The coherent treatment presented in this work also provides a variety of novel insights into the dynamics and symmetries of quantum systems: examples include the extremely simple characterisation of symmetry-observable duality, the connection of strong complementarity with the Weyl Canonical Commutation Relations, the generalisations of Feynman's clock construction, the existence of time observables and the emergence of quantum clocks. Furthermore, we show that strong complementarity is a key resource for quantum algorithms and protocols. We provide the first fully diagrammatic, theory-independent proof of correctness for the quantum algorithm solving the Hidden Subgroup Problem, and show that strong complementarity is the feature providing the quantum advantage. In quantum foundations, we use strong complementarity to derive the exact conditions relating non-locality to the structure of phase groups, within the context of Mermin-type non-locality arguments. Our non-locality results find further application to quantum cryptography, where we use them to define a quantum-classical secret sharing scheme with provable device-independent security guarantees. All in all, we argue that strong complementarity is a truly powerful and versatile building block for quantum theory and its applications, and one that should draw a lot more attention in the future.


title: A catalog of 44 GHz methanol masers in massive star-forming regions. IV. The high-mass protostellar object sample

abstract: We present a survey of 56 massive star-forming regions in the 44 GHz methanol maser transition made with the Karl G. Jansky Very Large Array (VLA); 24 of the 56 fields showed maser emission. The data allow us to demonstrate associations, at arcsecond precision, of the Class I maser emission with outflows, HII regions, and shocks traced by 4.5 micron emission. We find a total of 83 maser components with linewidths ranging from 0.17 to 3.3 km s$^{-1}$ with a nearly flat distribution and a median value of 1.1 km s$^{-1}$. The relative velocities of the masers with respect to the systemic velocity of the host clouds range from $-$2.5 to 3.1 km s$^{-1}$ with a distribution peaking near zero. We also study the correlation between the masers and the so-called extended green objects (EGOs) from the GLIMPSE survey. Multiple sources in each field are revealed from IR images as well as from centimeter continuum emission from VLA archival data; in the majority of cases the 44 GHz masers are positionally correlated with EGOs which seem to trace the younger sources in the fields. We report a possible instance of a 44 GHz maser associated with a low-mass protostar. If confirmed, this region will be the fifth known star-forming region that hosts Class I masers associated with low-mass protostars. We discuss three plausible cases of maser variability.


title: Algebraically hyperbolic manifolds have finite automorphism groups

abstract: A projective manifold $M$ is algebraically hyperbolic if there exists a positive constant $A$ such that the degree of any curve of genus $g$ on $M$ is bounded from above by $A(g-1)$. A classical result is that Kobayashi hyperbolicity implies algebraic hyperbolicity. It is known that Kobayashi hyperbolic manifolds have finite automorphism groups. Here we prove that, more generally, algebraically hyperbolic projective manifolds have finite automorphism groups.


title: Gap states and edge properties of rectangular graphene quantum dot in staggered potential

abstract: We investigate edge properties of a gapful rectangular graphene quantum dot in a staggered potential. In such a system gap states with discrete and closely spaced energy levels exist that are spatially located on the left or right zigzag edge. We find that, although the bulk states outside the energy gap are nearly unaffected, spin degeneracy of each gap state is lifted by the staggered potential. We have computed the occupation numbers of spin-up and -down gap states at various values of the strength of the staggered potential. The electronic and magnetic properties of the zigzag edges depend sensitively on these numbers. We discuss the possibility of applying this system as a single electron spintronic device.


title: Entanglement Entropy with a Time-dependent Hamiltonian

abstract: The time evolution of entanglement tracks how information propagates in interacting quantum systems. We study entanglement entropy in CFT$_2$ with a time-dependent Hamiltonian. We perturb by operators with time-dependent source functions and use the replica trick to calculate higher order corrections to entanglement entropy. At first order, we compute the correction due to a metric perturbation in AdS$_3$/CFT$_2$ and find agreement on both sides of the duality. Past first order, we find evidence of a universal structure of entanglement propagation to all orders. The central feature is that interactions entangle unentangled excitations. Entanglement propagates according to "entanglement diagrams," proposed structures that are motivated by accessory spacetime diagrams for real-time perturbation theory. To illustrate the mechanisms involved, we compute higher-order corrections to free fermion entanglement entropy. We identify an unentangled operator, one which does not change the entanglement entropy to any order. Then, we introduce an interaction and find it changes entanglement entropy by entangling the unentangled excitations. The entanglement propagates in line with our conjecture. We compute several entanglement diagrams. We provide tools to simplify the computation of loop entanglement diagrams, which probe UV effects in entanglement propagation in CFT and holography.


title: Single-spin asymmetries in SIDIS induced by anomalous gluon-quark and photon-quark couplings

abstract: We calculate the contribution of the non-perturbative Pauli couplings in the quark-photon and quark-gluon vertices to the single-spin asymmetries (SSAs) in semi-inclusive deep inelastic scattering (SIDIS). We describe the nucleon using the spectator model with scalar and axial-vector diquarks. Both of the new couplings can cause the helicity flip of the struck quark. The helicity flip and the rescattering induced by the non-perturbative gluon exchange between the struck quark and diquark lead to the SSAs. Their azimuthal dependencies are the same as that usually ascribed to the Collins and Sivers effects. Our numerical results, based on the instanton model for the QCD vacuum, show that the non-perturbative quark-gluon and quark-photon interactions have a strong influence on these asymmetries.


title: Sampling Without Compromising Accuracy in Adaptive Data Analysis

abstract: In this work, we study how to use sampling to speed up mechanisms for answering adaptive queries into datasets without reducing the accuracy of those mechanisms. This is important to do when both the datasets and the number of queries asked are very large. In particular, we describe a mechanism that provides a polynomial speed-up per query over previous mechanisms, without needing to increase the total amount of data required to maintain the same generalization error as before. We prove that this speed-up holds for arbitrary statistical queries. We also provide an even faster method for achieving statistically-meaningful responses wherein the mechanism is only allowed to see a constant number of samples from the data per query. Finally, we show that our general results yield a simple, fast, and unified approach for adaptively optimizing convex and strongly convex functions over a dataset.


title: Relation between scattering amplitude and Bethe-Salpeter wave function in quantum field theory

abstract: We reexamine the relations between the Bethe-Salpeter (BS) wave function of two particles, the on-shell scattering amplitude, and the effective potential in quantum filed theory. It is emphasized that there is an exact relation between the BS wave function inside the interaction range and the scattering amplitude, and the reduced BS wave function, which is defined in this article, plays an essential role in this relation. Based on the exact relation, we show that the solution of Schr\"odinger equation with the effective potential gives us a correct on-shell scattering amplitude only at the momentum where the effective potential is calculated, while wrong results are obtained from the Schr\"odinger equation at general momenta. We also discuss about a momentum expansion of the reduced BS wave function and an uncertainty of the scattering amplitude stemming from the choice of the interpolating operator in the BS wave function. The theoretical conclusion obtained in this article could give hints to understand the inconsistency observed in lattice QCD calculation of the two-nucleon channels with different approaches.


title: Improving Dermoscopic Image Segmentation with Enhanced Convolutional-Deconvolutional Networks

abstract: Automatic skin lesion segmentation on dermoscopic images is an essential step in computer-aided diagnosis of melanoma. However, this task is challenging due to significant variations of lesion appearances across different patients. This challenge is further exacerbated when dealing with a large amount of image data. In this paper, we extended our previous work by developing a deeper network architecture with smaller kernels to enhance its discriminant capacity. In addition, we explicitly included color information from multiple color spaces to facilitate network training and thus to further improve the segmentation performance. We extensively evaluated our method on the ISBI 2017 skin lesion segmentation challenge. By training with the 2000 challenge training images, our method achieved an average Jaccard Index (JA) of 0.765 on the 600 challenge testing images, which ranked itself in the first place in the challenge


title: Effect of sterile Neutrinos and Nonstandard Interactions on the Geo-neutrino Flux

abstract: We calculate the effect of sterile neutrinos and nonstandard neutrino interactions on the flux of active neutrinos from the Earth's crust and mantle taking matter effect into account in both cases. For simple Earth model and using previous emission flux estimates at the source, we find that for reasonable choice of parameters for both the sterile neutrino and nonstandard interaction, the effect on the neutrino flux is a few percent or less.


title: Structure-aware error bounds for linear classification with the zero-one loss

abstract: We prove risk bounds for binary classification in high-dimensional settings when the sample size is allowed to be smaller than the dimensionality of the training set observations. In particular, we prove upper bounds for both 'compressive learning' by empirical risk minimization (ERM) (that is when the ERM classifier is learned from data that have been projected from high-dimensions onto a randomly selected low-dimensional subspace) as well as uniform upper bounds in the full high-dimensional space. A novel tool we employ in both settings is the 'flipping probability' of Durrant and Kaban (ICML 2013) which we use to capture benign geometric structures that make a classification problem 'easy' in the sense of demanding a relatively low sample size for guarantees of good generalization. Furthermore our bounds also enable us to explain or draw connections between several existing successful classification algorithms. Finally we show empirically that our bounds are informative enough in practice to serve as the objective function for learning a classifier (by using them to do so).


title: A Deep Neural Network Approach To Parallel Sentence Extraction

abstract: Parallel sentence extraction is a task addressing the data sparsity problem found in multilingual natural language processing applications. We propose an end-to-end deep neural network approach to detect translational equivalence between sentences in two different languages. In contrast to previous approaches, which typically rely on multiples models and various word alignment features, by leveraging continuous vector representation of sentences we remove the need of any domain specific feature engineering. Using a siamese bidirectional recurrent neural networks, our results against a strong baseline based on a state-of-the-art parallel sentence extraction system show a significant improvement in both the quality of the extracted parallel sentences and the translation performance of statistical machine translation systems. We believe this study is the first one to investigate deep learning for the parallel sentence extraction task.


title: Zero-modes on orbifolds : magnetized orbifold models by modular transformation

abstract: We study $T^2/Z_N$ orbifold models with magnetic fluxes. We propose a systematic way to analyze the number of zero-modes and their wavefunctions by use of modular transformation. Our results are consistent with the previous results, and our approach is more direct and analytical than the previous ones. The index theorem implies that the zero-mode number of the Dirac operator on $T^2$ is equal to the index $M$, which corresponds to the magnetic flux in a certain unit. Our results show that the zero-mode number of the Dirac operator on $T^2/Z_N$ is equal to $\lfloor M/N \rfloor +1$ except one case on the $T^2/Z_3$ orbifold.


title: PPLS/D: Parallel Pareto Local Search based on Decomposition

abstract: Pareto Local Search (PLS) is a basic building block in many metaheuristics for Multiobjective Combinatorial Optimization Problem (MCOP). In this paper, an enhanced PLS variant called Parallel Pareto Local Search based on Decomposition (PPLS/D) is proposed. PPLS/D improves the efficiency of PLS using the techniques of parallel computation and problem decomposition. It decomposes the original search space into L subregions and executes L parallel processes searching in these subregions simultaneously. Inside each subregion, the PPLS/D process is guided by a unique scalar objective function. PPLS/D differs from the well-known Two Phase Pareto Local Search (2PPLS) in that it uses the scalar objective function to guide every move of the PLS procedure in a fine-grained manner. In the experimental studies, PPLS/D is compared against the basic PLS and a recently proposed PLS variant on the multiobjective Unconstrained Binary Quadratic Programming problems (mUBQPs) and the multiobjective Traveling Salesman Problems (mTSPs) with at most four objectives. The experimental results show that, no matter whether the initial solutions are randomly generated or generated by heuristic methods, PPLS/D always performs significantly better than the other two PLS variants.


title: An Introduction to Radar Sliding Window Detectors

abstract: An introduction to the theory of sliding window detection processes, used as alternatives to optimal Neyman-Pearson based radar detectors, is presented. Included is an outline of their historical development, together with an explanation for the resurgence of interest in such detectors for operation in modern maritime surveillance radar clutter. In particular, recent research has developed criteria that enables one to construct such detection processes with the desired constant false alarm rate property for a comprehensive class of clutter model. The chapter also includes some examples of the performance of such detectors in a specific interference environment.


title: Thesis: Tensor networks for dynamic spacetimes

abstract: Tensor networks give simple representations of complex quantum states. They have proven useful in the study of condensed matter systems and conformal fields, and recently have provided toy models of AdS/CFT. Underlying the tensor network - AdS/CFT connection is the association of a graph geometry with the tensor network. In the context of the AdS/CFT correspondence tensor network models have so far been limited to describing static spacetimes. In this thesis we look to extend tensor network models of AdS/CFT by describing the geometry of a dynamic spacetime using a tensor network. We provide a review of tensor networks in the context of AdS/CFT to motivate this extension, before proposing modifications of holographic tensor network models that capture features of AdS/CFT with dynamic spacetimes. This thesis includes the results of arXiv submission 1611.06220, along with a review of the relevant literature.


title: Orbital stability of standing waves for a system of nonlinear Schr\"{o}dinger equations with three wave interaction

abstract: We study the existence and stability of standing waves solutions of a three-coupled nonlinear Schr\"{o}dinger system related to the Raman amplification in a plasma. By means of the concentration-compacteness method, we provide a characterization of the standing waves solutions as minimizers of an energy functional subject to three independent $L^{2}$ mass constraints. As a consequence, we establish existence and orbital stability of solitary waves.


title: Emergent orbitals in the cluster Mott insulator on a breathing Kagome lattice

abstract: Motivated by the recent developments on cluster Mott insulating materials such as the cluster magnet LiZn$_2$Mo$_3$O$_8$, we consider the strong plaquette charge ordered regime of the extended Hubbard model on a breathing Kagome lattice and reveal the properties of the cluster Mottness. The plaquette charge order arises from the inter-site charge interaction and the collective motion of three localized electrons on the hexagon plaquettes. This model leads naturally to a reduction of the local moments by 2/3 as observed in LiZn$_2$Mo$_3$O$_8$. Furthermore, at low temperatures each hexagon plaquette contains an extra orbital-like degree of freedom in addition to the remaining spin 1/2. We explore the consequence of this emergent orbital degree of freedom. We point out the interaction between the local moments is naturally described by a Kugel-Khomskii spin-orbital model. We develop a parton approach and suggest a spin liquid ground state with spinon Fermi surfaces for this model. We further predict an emergent orbital order when the system is under a strong magnetic field. Various experimental consequences for LiZn$_2$Mo$_3$O$_8$ are discussed, including an argument that the charge ordering much be short ranged if the charge per Mo is slightly off stoichiometry.


title: Three-isogeny Selmer groups and ranks of abelian varieties in quadratic twist families over a number field

abstract: For an abelian variety $A$ over a number field $F$, we prove that the average rank of the quadratic twists of $A$ is bounded, under the assumption that the multiplication-by-3 isogeny on $A$ factors as a composition of 3-isogenies over $F$. This is the first such boundedness result for an absolutely simple abelian variety $A$ of dimension greater than one. In fact, we exhibit such twist families in arbitrarily large dimension and over any number field. In dimension one, we deduce that if $E/F$ is an elliptic curve admitting a 3-isogeny, then the average rank of its quadratic twists is bounded. If $F$ is totally real, we moreover show that a positive proportion of twists have rank 0 and a positive proportion have $3$-Selmer rank 1. These results on bounded average ranks in families of quadratic twists represent new progress towards Goldfeld's conjecture -- which states that the average rank in the quadratic twist family of an elliptic curve over $\mathbb{Q}$ should be $1/2$ -- and the first progress towards the analogous conjecture over number fields other than $\mathbb{Q}$. Our results follow from a computation of the average size of the $\phi$-Selmer group in the family of quadratic twists of an abelian variety admitting a 3-isogeny $\phi$.


title: Goldie twisted partial skew power series rings

abstract: In this article, we work with unital twisted partial action of $\mathbb{Z}$ on an unital ring $R$ and we introduce the twisted partial skew power series rings and twisted partial skew Laurent series rings. We study primality, semi-primality and prime ideals in these rings. We completely describe the prime radical in partial skew Laurent series rings. Moreover, we study the Goldie property in partial skew power series rings and partial skew Laurent series rings and we describe conditions of the semiprimality of twisted partial skew power series rings.


title: Fully pseudospectral solution of the conformally invariant wave equation near the cylinder at spacelike infinity. III: Nonspherical Schwarzschild waves and singularities at null infinity

abstract: We extend earlier numerical and analytical considerations of the conformally invariant wave equation on a Schwarzschild background from the case of spherically symmetric solutions, discussed in Class. Quantum Grav. 34, 045005 (2017), to the case of general, nonsymmetric solutions. A key element of our approach is the modern standard representation of spacelike infinity as a cylinder. With a decomposition into spherical harmonics, we reduce the four-dimensional wave equation to a family of two-dimensional equations. These equations can be used to study the behaviour at the cylinder, where the solutions turn out to have logarithmic singularities at infinitely many orders. We derive regularity conditions that may be imposed on the initial data, in order to avoid the first singular terms. We then demonstrate that the fully pseudospectral time evolution scheme can be applied to this problem leading to a highly accurate numerical reconstruction of the nonsymmetric solutions. We are particularly interested in the behaviour of the solutions at future null infinity, and we numerically show that the singularities spread from the cylinder to null infinity. The observed numerical behaviour is consistent with similar logarithmic singularities found analytically on the cylinder. Finally, we demonstrate that even solutions with singularities at low orders can be obtained with high accuracy by virtue of a coordinate transformation that converts functions with logarithmic singularities into smooth solutions.


title: Transport properties of nuclear pasta phase with quantum molecular dynamics

abstract: We study the transport properties of nuclear pasta for a wide range of density, temperature and proton fractions, relevant for different astrophysical scenarios adopting a quantum molecular dynamics model. In particular, we estimate the values of shear viscosity as well as electrical and thermal conductivities by calculating the static structure factor $S(q)$ using simulation data. In the density and temperature range where the pasta phase appears, the static structure factor shows irregular behavior. The presence of a slab phase greatly enhances the peak in $S(q)$. However, the effect of irregularities in $S(q)$ on the transport coefficients is not very dramatic. The values of all three transport coefficients are found to have the same orders of magnitude as found in theoretical calculations for the inner crust matter of neutron stars without the pasta phase and therefore, is in contrast to earlier speculations that a pasta layer might be highly resistive, both thermally and electrically.


title: Falsifying cosmological models based on a non-linear electrodynamics

abstract: Recently, the nonlinear electrodynamics (NED) has been gaining attention to generate primordial magnetic fields in the Universe and also to resolve singularity problems. Moreover, recent works have shown the crucial role of the NED on the inflation. This paper provides a new approach based on a new model of NED as a source of gravitation to remove the cosmic singularity at the big bang and explain the cosmic acceleration during the inflation era on the background of stochastic magnetic field. Also, we found a realization of a cyclic Universe, free of initial singularity, due to the proposed NED energy density. In addition, we explore whether a NED field without or with matter can be the origin of the late-time acceleration. For this we obtain explicit equations for $H(z)$ and perform a MCMC analysis to constrain the NED parameters by using $31$ observational Hubble data (OHD) obtained from cosmic chronometers covering the redshift range $0 < z < 1.97$; and with the joint-light-analysis (JLA) SNIa compilation consisting in $740$ data points in the range $0.01<z<1.2$. All our constraints on the current magnetic field give $B_{0}\sim 10^{-31}\mathrm{cm^{-1}}$, which are larger than the upper limit $10^{-33}\mathrm{cm^{-1}}$ by the Planck satellite implying that NED cosmologies could not be suitable to explain the Universe late-time dynamics. However, the current data is able to falsify the scenario at late times. Indeed, one is able to reconstruct the deceleration parameter $q(z)$ using the best fit values of the parameters obtained from OHD and SNIa data sets. If the matter component is not included, the data sets predict an accelerated phase in the early Universe, but a non accelerated Universe is preferred in the current epoch...


title: Sharp $L^p$-$L^q$ estimates for the spherical harmonic projection

abstract: We consider $L^p$-$L^q$ estimates for the spherical harmonic projection operators and obtain sharp bounds on a certain range of $p$, $q$. As an application, we provide a proof of off-diagonal Carleman estimates for the Laplacian, which extends the earlier results due to Jerison and Kenig \cite{JK}, and Stein \cite{St-append}.


title: Vector Boson Fusion in the Inert Doublet Model

abstract: In this paper we probe inert Higgs doublet model at the LHC using Vector Boson Fusion (VBF) search strategy. We optimize the selection cuts and investigate the parameter space of the model and we show that the VBF search has a better reach when compared with the monojet searches. We also investigate the Drell-Yan type cuts and show that they can be important for smaller charged Higgs masses. We determine the $3\sigma$ reach for the parameter space using these optimized cuts for a luminosity of 3000 fb$^{-1}$.


title: Tomography of silicate dust around M-type AGB stars I. Diagnostics based on dynamical models

abstract: The heavy mass loss observed in evolved asymptotic giant branch stars is usually attributed to a two-step process: atmospheric levitation by pulsation-induced shock waves, followed by radiative acceleration of newly formed dust grains. Detailed wind models suggest that the outflows of M-type AGB stars may be triggered by photon scattering on Fe-free silicates with grain sizes of about 0.1 - 1 $\mu$m. Due to the low grain temperature, these Fe-free silicates can condense close to the star, but they do not produce the characteristic mid-IR features that are often observed in M-type AGB stars. However, it is probable that the silicate grains are gradually enriched with Fe as they move away from the star, to a degree where the grain temperature stays below the sublimation temperature, but is high enough to produce emission features. We investigate whether differences in grain temperature in the inner wind region, which are related to changes in the grain composition, can be detected with current interferometric techniques, in order to put constraints on the wind mechanism. To investigate this we use radial structures of the atmosphere and wind of an M-type AGB star, produced with the 1D radiation-hydrodynamical code DARWIN. The spectral energy distribution is found to be a poor indicator of different temperature profiles and therefore is not a good tool for distinguishing different scenarios of changing grain composition. However, spatially resolved interferometric observations have promising potential. They show signatures even for Fe-free silicates (found at 2-3 stellar radii), in contrast to the spectral energy distribution. Observations with baselines that probe spatial scales of about 4 stellar radii and beyond are suitable for tracing changes in grain composition, since this is where effects of Fe enrichment should be found.


title: Canonical extensions and ultraproducts of polarities

abstract: J{\'o}nsson and Tarski's notion of the perfect extension of a Boolean algebra with operators has evolved into an extensive theory of canonical extensions of lattice-based algebras. After reviewing this evolution we make two contributions. First it is shown that the failure of a variety of algebras to be closed under canonical extensions is witnessed by a particular one of its free algebras. The size of the set of generators of this algebra can be made a function of a collection of varieties and is a kind of Hanf number for canonical closure. Secondly we study the complete lattice of stable subsets of a polarity structure, and show that if a class of polarities is closed under ultraproducts, then its stable set lattices generate a variety that is closed under canonical extensions. This generalises an earlier result of the author about generation of canonically closed varieties of Boolean algebras with operators, which was in turn an abstraction of the result that a first-order definable class of Kripke frames determines a modal logic that is valid in its so-called canonical frames.


title: Centrally Concentrated X-ray Radiation from an Extended Accreting Corona in Active Galactic Nuclei

abstract: The X-ray emission from bright active galactic nuclei (AGNs) is believed to originate in a hot corona lying above a cold, geometrically thin accretion disk. A highly concentrated corona located within $\sim10$ gravitational radii above the black hole is inferred from observations. Based on the accretion of interstellar medium/wind, a disk corona model has been proposed in which the corona is well coupled to the disk by radiation, thermal conduction, as well as by mass exchange \citep{Liu2015, Qiao2017}. Such a model avoids artificial energy input to the corona and has been used to interpret the spectral features observed in AGN. In this work, it is shown that the bulk emission size of the corona is very small for the extended accretion flow in our model. More than 80\% of the hard X-ray power is emitted from a small region confined within 10 Schwarzschild radii around a non-spinning black hole, which is expected to be even smaller accordingly for a spinning black hole. Here, the corona emission is more extended at higher Eddington ratios. The compactness parameter of the corona, $l={L\over R}{\sigma_{\rm T}\over m_{\rm e} c^3}$, is shown to be in the range of 1-33 for Eddington ratios of 0.02 - 0.1. Combined with the electron temperature in the corona, this indicates that electron--positron pair production is not dominant in this regime. A positive relation between the compactness parameter and photon index is also predicted. By comparing the above model predictions with observational features, we find that the model is in agreement with observations.


title: Non-standard FDTD implementation of the Schr\"odinger equation

abstract: In this work, we apply the Cole's non-standard form of the FDTD to solve the time dependent Schr\"odinger equation. We deduce the equations for the non-standard FDTD considering an electronic wave function in the presence of potentials which can be higher or lower in comparison with the energy of the electron. The non-standard term is found to be almost the same, except for a sine functions which is transformed to a hyperbolic sine function,as the argument is imaginary when the potential has higher energy than the electron. Perfectly Matched Layers using this methodology are also presented.


title: Limit shape and height fluctuations of random perfect matchings on square-hexagon lattices

abstract: We study asymptotics of perfect matchings on a large class of graphs called the contracting square-hexagon lattice, which is constructed row by row from either a row of a square grid or a row of a hexagonal lattice. We assign the graph periodic edge weights with period $1\times n$, and consider the probability measure of perfect matchings in which the probability of each configuration is proportional to the product of edge weights. We show that the partition function of perfect matchings on such a graph can be computed explicitly by a Schur function depending on the edge weights. By analyzing the asymptotics of the Schur function, we then prove the Law of Large Numbers (limit shape) and the Central Limit Theorem (convergence to the Gaussian free field) for the corresponding height functions. We also show that the distribution of certain type of dimers near the turning corner is the same as the eigenvalues of Gaussian Unitary Ensemble, and that in the scaling limit under the boundary condition that each segment of the bottom boundary grows linearly with respect the dimension of the graph, the frozen boundary is a cloud curve whose number of tangent points to the bottom boundary of the domain depends on the size of the period, as well as the number of segments along the bottom boundary.


title: Direct Evidence of Spontaneous Abrikosov Vortex State in Ferromagnetic Superconductor EuFe$_2$(As$_{1-x}$P$_x$)$_2$ with $x=0.21$

abstract: Using low-temperature Magnetic Force Microscopy (MFM) we provide direct experimental evidence for spontaneous vortex phase (SVP) formation in EuFe$_2$(As$_{0.79}$P$_{0.21}$)$_2$ single crystal with the superconducting $T^{\rm 0}_{\rm SC}=23.6$~K and ferromagnetic $T_{\rm FM}\sim17.7$~K transition temperatures. Spontaneous vortex-antivortex (V-AV) pairs are imaged in the vicinity of $T_{\rm FM}$. Also, upon cooling cycle near $T_{\rm FM}$ we observe the first-order transition from the short period domain structure, which appears in the Meissner state, into the long period domain structure with spontaneous vortices. It is the first experimental observation of this scenario in the ferromagnetic superconductors. Low-temperature phase is characterized by much larger domains in V-AV state and peculiar branched striped structures at the surface, which are typical for uniaxial ferromagnets with perpendicular magnetic anisotropy (PMA). The domain wall parameters at various temperatures are estimated.


title: Quantization for Low-Rank Matrix Recovery

abstract: We study Sigma-Delta quantization methods coupled with appropriate reconstruction algorithms for digitizing randomly sampled low-rank matrices. We show that the reconstruction error associated with our methods decays polynomially with the oversampling factor, and we leverage our results to obtain root-exponential accuracy by optimizing over the choice of quantization scheme. Additionally, we show that a random encoding scheme, applied to the quantized measurements, yields a near-optimal exponential bit-rate. As an added benefit, our schemes are robust both to noise and to deviations from the low-rank assumption. In short, we provide a full generalization of analogous results, obtained in the classical setup of bandlimited function acquisition, and more recently, in the finite frame and compressed sensing setups to the case of low-rank matrices sampled with sub-Gaussian linear operators. Finally, we believe our techniques for generalizing results from the compressed sensing setup to the analogous low-rank matrix setup is applicable to other quantization schemes.


title: Hamiltonian approach to 2nd order gauge invariant cosmological perturbations

abstract: In view of growing interest in tensor modes and their possible detection, we clarify the definition of tensor modes up to 2nd order in perturbation theory within the Hamiltonian formalism. Like in gauge theory, in cosmology the Hamiltonian is a suitable and consistent approach to reduce the gauge degrees of freedom. In this paper we employ the Faddeev-Jackiw method of Hamiltonian reduction. An appropriate set of gauge invariant variables that describe the dynamical degrees of freedom may be obtained by suitable canonical transformations in the phase space. We derive a set of gauge invariant variables up to 2nd order in perturbation expansion and for the first time we reduce the 3rd order action without adding gauge fixing terms. In particular, we are able to show the relation between the uniform-$\phi$ and Newtonian slicings, and study the difference in the definition of tensor modes in these two slicings.


title: On weak reducing disks for the unknot in $3$-bridge position

abstract: We show that the complex of weak reducing disks for the unknot in $3$-bridge position is contractible.


title: The emergence of 3+1D Einstein gravity from topological gravity

abstract: Quantum field theory successfully explains the origin of all fundamental forces except gravity due to the renormalizability problem. In this paper, we proposed a topological scenario to understand this puzzle. First, we proposed a $3+1$D topological (quantum) gravity theory which is renormalizable, and it can be regarded as a straightforward generalization of Edward Witten's Chern-Simons theory approach to $2+1$D topological gravity. Then, we showed that the (vacuum) Einstein-Cartan equation and classical space-time naturally emerge from topological (quantum) gravity via loop condensation. The second step is a unique feature in $3+1$D and it might even naturally explain why our space-time is four dimensional.

categories: gr-qc cond-mat.str-el hep-th math-ph math.MP


title: A note on a Brooks' type theorem for DP-coloring

abstract: Dvo\v{r}\'{a}k and Postle \cite{DP} introduced a \textit{DP-coloring} of a simple graph as a generalization of a list-coloring. They proved a Brooks' type theorem for a DP-coloring, and Bernshteyn, Kostochka and Pron \cite{BKP} extended it to a DP-coloring of multigraphs. However, detailed structure when a multigraph does not admit a DP-coloring was not specified in \cite{BKP}. In this note, we make this point clear and give the complete structure. This is also motivated by the relation to signed coloring of signed graphs.


title: Fully leafed induced subtrees

abstract: Let $G$ be a simple graph on $n$ vertices. We consider the problem LIS of deciding whether there exists an induced subtree with exactly $i \leq n$ vertices and $\ell$ leaves in $G$. We study the associated optimization problem, that consists in computing the maximal number of leaves, denoted by $L_G(i)$, realized by an induced subtree with $i$ vertices, for $0 \le i \le n$. We begin by proving that the LIS problem is NP-complete in general and then we compute the values of the map $L_G$ for some classical families of graphs and in particular for the $d$-dimensional hypercubic graphs $Q_d$, for $2 \leq d \leq 6$. We also describe a nontrivial branch and bound algorithm that computes the function $L_G$ for any simple graph $G$. In the special case where $G$ is a tree of maximum degree $\Delta$, we provide a $\mathcal{O}(n^3\Delta)$ time and $\mathcal{O}(n^2)$ space algorithm to compute the function $L_G$.


title: A Sufficient condition for DP-4-colorability

abstract: DP-coloring of a simple graph is a generalization of list coloring, and also a generalization of signed coloring of signed graphs. It is known that for each $k \in \{3, 4, 5, 6\}$, every planar graph without $C_k$ is 4-choosable. Furthermore, Jin, Kang, and Steffen \cite{JKS} showed that for each $k \in \{3, 4, 5, 6\}$, every signed planar graph without $C_k$ is signed 4-choosable. In this paper, we show that for each $k \in \{3, 4, 5, 6\}$, every planar graph without $C_k$ is 4-DP-colorable, which is an extension of the above results.


title: Comparison of gravitational waves from central engines of gamma-ray bursts: neutrino-dominated accretion flows, Blandford-Znajek mechanisms, and millisecond magnetars

abstract: Neutrino-dominated accretion flow (NDAF) around a rotating stellar-mass black hole (BH) is one of the plausible candidates for the central engines of gamma-ray bursts (GRBs). Because the time-variant and anisotropic emission of neutrinos from NDAFs leads to GRB variability, NDAFs can be regarded as the sources of the strong gravitational waves (GWs). We calculate the dependences of the GW strains on both the BH spin and the accretion rate. We demonstrate that for typical GRBs with either single pulse or multiple pulses, the GWs from NDAFs might be detected at a distance of $\sim 100$ kpc/$\sim 1$ Mpc by advanced LIGO/Einstein Telescope with a typical frequency of $\sim 10-100$ Hz. Besides NDAFs, the other two competitive candidates for GRB central engine are Blandford-Znajek (BZ) mechanism and millisecond magnetars. We explore the GW signals from these two as well, and compare the corresponding results with NDAFs'. We find that for a certain GRB, the possible detected distance from NDAFs is about two orders of magnitude higher than that from BZ mechanism, but at least two orders of magnitude lower than that from magnetars. The typical GW frequency for BZ mechanism is the same with that of NDAFs, $\sim 10-100$ Hz, while the typical frequency for magnetars is $\sim 2000$ Hz. Therefore, the GWs released by the central engines of adjacent GRBs might be used to determine whether there is an NDAF, a BZ jet or a magnetar in GRB center.


title: Spin-orbit interaction of light induced by transverse spin angular momentum engineering

abstract: We report the first demonstration of a direct interaction between the extraordinary transverse spin angular momentum in evanescent waves and the intrinsic orbital angular momentum in optical vortex beams. By tapping the evanescent wave of whispering gallery modes in a micro-ring-based optical vortex emitter and engineering the transverse spin state carried therein, a transverse-spin-to-orbital conversion of angular momentum is predicted in the emitted vortex beams. Numerical and experimental investigations are presented for the proof-of-principle demonstration of this unconventional interplay between the spin and orbital angular momenta, which could provide new possibilities and restrictions on the optical angular momentum manipulation techniques on the sub-wavelength scale. This phenomenon further gives rise to an enhanced spin-direction coupling effect in which waveguide or surface modes are unidirectional excited by incident optical vortex, with the directionality jointly controlled by spin-orbit states. Our results enrich the spin-orbit interaction phenomena by identifying a previously unknown pathway between the polarization and spatial degrees of freedom of light, and can enable a variety of functionalities employing spin and orbital angular momenta of light in applications such as communications and quantum information processing.