title: On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency

abstract: Concurrent systems are notoriously difficult to analyze, and technological advances such as weak memory architectures greatly compound this problem. This has renewed interest in partial order semantics as a theoretical foundation for formal verification techniques. Among these, symbolic techniques have been shown to be particularly effective at finding concurrency-related bugs because they can leverage highly optimized decision procedures such as SAT/SMT solvers. This paper gives new fundamental results on partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency. In particular, we give the theoretical basis for a decision procedure that can handle a fragment of concurrent programs endowed with least fixed point operators. In addition, we show that a certain partial order semantics of relaxed sequential consistency is equivalent to the conjunction of three extensively studied weak memory axioms by Alglave et al. An important consequence of this equivalence is an asymptotically smaller symbolic encoding for bounded model checking which has only a quadratic number of partial order constraints compared to the state-of-the-art cubic-size encoding.


title: A perturbative description of the deconfinement transition in Yang-Mills theories

abstract: We investigate the deconfinement transition of static quarks in SU(N) Yang-Mills theories using a perturbative approach based on a massive extension of the Landau-DeWitt gauge-fixed action, where the gluon mass term is related to the issue of Gribov ambiguities. A leading-order, one-loop calculation of the effective potential for the Polyakov loop produces a deconfinement transition of second order for the SU(2) theory and of first order for SU(3) with transition temperatures in qualitative agreement with known values. We also report on the results of a two-loop calculation of the critical temperature and of thermodynamical quantities in the SU(2) case.


title: Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions

abstract: The goal of this work is to formally abstract a Markov process evolving in discrete time over a general state space as a finite-state Markov chain, with the objective of precisely approximating its state probability distribution in time, which allows for its approximate, faster computation by that of the Markov chain. The approach is based on formal abstractions and employs an arbitrary finite partition of the state space of the Markov process, and the computation of average transition probabilities between partition sets. The abstraction technique is formal, in that it comes with guarantees on the introduced approximation that depend on the diameters of the partitions: as such, they can be tuned at will. Further in the case of Markov processes with unbounded state spaces, a procedure for precisely truncating the state space within a compact set is provided, together with an error bound that depends on the asymptotic properties of the transition kernel of the original process. The overall abstraction algorithm, which practically hinges on piecewise constant approximations of the density functions of the Markov process, is extended to higher-order function approximations: these can lead to improved error bounds and associated lower computational requirements. The approach is practically tested to compute probabilistic invariance of the Markov process under study, and is compared to a known alternative approach from the literature.


title: On the structure of dense triangle-free binary matroids

abstract: We prove, by means of an exact structural description, that every simple triangle-free binary matroid $M$ with $|M| > \tfrac{33}{128}2^{r(M)}$ has critical number at most $2$.


title: Optimality of Treating Interference as Noise: A Combinatorial Perspective

abstract: For single-antenna Gaussian interference channels, we re-formulate the problem of determining the Generalized Degrees of Freedom (GDoF) region achievable by treating interference as Gaussian noise (TIN) derived in [3] from a combinatorial perspective. We show that the TIN power control problem can be cast into an assignment problem, such that the globally optimal power allocation variables can be obtained by well-known polynomial time algorithms. Furthermore, the expression of the TIN-Achievable GDoF region (TINA region) can be substantially simplified with the aid of maximum weighted matchings. We also provide conditions under which the TINA region is a convex polytope that relax those in [3]. For these new conditions, together with a channel connectivity (i.e., interference topology) condition, we show TIN optimality for a new class of interference networks that is not included, nor includes, the class found in [3]. Building on the above insights, we consider the problem of joint link scheduling and power control in wireless networks, which has been widely studied as a basic physical layer mechanism for device-to-device (D2D) communications. Inspired by the relaxed TIN channel strength condition as well as the assignment-based power allocation, we propose a low-complexity GDoF-based distributed link scheduling and power control mechanism (ITLinQ+) that improves upon the ITLinQ scheme proposed in [4] and further improves over the heuristic approach known as FlashLinQ. It is demonstrated by simulation that ITLinQ+ provides significant average network throughput gains over both ITLinQ and FlashLinQ, and yet still maintains the same level of implementation complexity. More notably, the energy efficiency of the newly proposed ITLinQ+ is substantially larger than that of ITLinQ and FlashLinQ, which is desirable for D2D networks formed by battery-powered devices.


title: Fermionic orbital optimisation in tensor network states

abstract: Tensor network states and specifically matrix-product states have proven to be a powerful tool for simulating ground states of strongly correlated spin models. Recently, they have also been applied to interacting fermionic problems, specifically in the context of quantum chemistry. A new freedom arising in such non-local fermionic systems is the choice of orbitals, it being far from clear what choice of fermionic orbitals to make. In this work, we propose a way to overcome this challenge. We suggest a method intertwining the optimisation over matrix product states with suitable fermionic Gaussian mode transformations. The described algorithm generalises basis changes in the spirit of the Hartree-Fock method to matrix-product states, and provides a black box tool for basis optimisation in tensor network methods.


title: Cell-size maintenance: universal strategy revealed

abstract: How cells maintain a stable size has fascinated scientists since the beginning of modern biology, but has remained largely mysterious. Recently, however, the ability to analyze single bacteria in real time has provided new, important quantitative insights into this long-standing question in cell biology.


title: Relaxation times for atom dislocations in crystals

abstract: We study the relaxation times for a parabolic differential equation whose solution represents the atom dislocation in a crystal. The equation that we consider comprises the classical Peierls-Nabarro model as a particular case, and it allows also long range interactions. It is known that the dislocation function of such a model has the tendency to concentrate at single points, which evolve in time according to the external stress and a singular, long range potential. Depending on the orientation of the dislocation function at these points, the potential may be either attractive or repulsive, hence collisions may occur in the latter case and, at the collision time, the dislocation function does not disappear. The goal of this paper is to provide accurate estimates on the relaxation times of the system after collision. More precisely, we take into account the case of two and three colliding points, and we show that, after a small transition time subsequent to the collision, the dislocation function relaxes exponentially fast to a steady state. We stress that the exponential decay is somehow exceptional in nonlocal problems (for instance, the spatial decay in this case is polynomial). The exponential time decay is due to the coupling (in a suitable space/time scale) between the evolution term and the potential induced by the periodicity of the crystal.


title: Weakly Supervised Learning of Objects, Attributes and their Associations

abstract: When humans describe images they tend to use combinations of nouns and adjectives, corresponding to objects and their associated attributes respectively. To generate such a description automatically, one needs to model objects, attributes and their associations. Conventional methods require strong annotation of object and attribute locations, making them less scalable. In this paper, we model object-attribute associations from weakly labelled images, such as those widely available on media sharing sites (e.g. Flickr), where only image-level labels (either object or attributes) are given, without their locations and associations. This is achieved by introducing a novel weakly supervised non-parametric Bayesian model. Once learned, given a new image, our model can describe the image, including objects, attributes and their associations, as well as their locations and segmentation. Extensive experiments on benchmark datasets demonstrate that our weakly supervised model performs at par with strongly supervised models on tasks such as image description and retrieval based on object-attribute associations.


title: Sums of commutators in pure C*-algebras

abstract: In a pure C*-algebra (i.e., one having suitable regularity properties in its Cuntz semigroup), any element on which all bounded traces vanish is a sum of 7 commutators.


title: Klein foams as families of real forms of Riemann surfaces

abstract: Klein foams are analogues of Riemann surfaces for surfaces with one-dimensional singularities. They first appeared in mathematical physics (string theory etc.). By definition a Klein foam is constructed from Klein surfaces by gluing segments on their boundaries. We show that, a Klein foam is equivalent to a family of real forms of a complex algebraic curve with some structures. This correspondence reduces investigations of Klein foams to investigations of real forms of Riemann surfaces. We use known properties of real forms of Riemann surfaces to describe some topological and analytic properties of Klein foams.


title: Ergodic properties of equilibrium measures for smooth three dimensional flows

abstract: Let $\{T^t\}$ be a smooth flow with positive speed and positive topological entropy on a compact smooth three dimensional manifold, and let $\mu$ be an ergodic measure of maximal entropy. We show that either $\{T^t\}$ is Bernoulli, or $\{T^t\}$ is isomorphic to the product of a Bernoulli flow and a rotational flow. Applications are given to Reeb flows.


title: Splitting of the monolayer out-of-plane A'1 Raman mode in few-layer WS2

abstract: We present Raman measurements of mono- and few-layer WS2. We study the monolayer A'1 mode around 420 cm(-1) and its evolution with the number of layers. We show that with increasing layer number there is an increasing number of possible vibrational patterns for the out-of-plane Raman mode: in N-layer WS2 there are N Gamma-point phonons evolving from the A'1 monolayer mode. For an excitation energy close to resonance with the excitonic transition energy we were able to observe all of these N components, irrespective of their Raman activity. Density functional theory calculations support the experimental findings and make it possible to attribute the modes to their respective symmetries. The findings described here are of general importance for all other phonon modes in WS2 and other layered transition metal dichalcogenide systems in the few layer regime.


title: Explosive percolation in thresholded networks

abstract: Explosive percolation in a network is a phase transition where a large portion of nodes becomes connected with an addition of a small number of edges. Although extensively studied in random network models and reconstructed real networks, explosive percolation has not been observed in a more realistic scenario where a network is generated by thresholding a similarity matrix describing between-node associations. In this report, I examine construction schemes of such thresholded networks, and demonstrate that explosive percolation can be observed by introducing edges in a particular order.


title: Dynamical Evolution of Multi-Resonant Systems: the Case of GJ876

abstract: The GJ876 system was among the earliest multi-planetary detections outside of the Solar System, and has long been known to harbor a resonant pair of giant planets. Subsequent characterization of the system revealed the presence of an additional Neptune mass object on an external orbit, locked in a three body Laplace mean motion resonance with the previously known planets. While this system is currently the only known extrasolar example of a Laplace resonance, it differs from the Galilean satellites in that the orbital motion of the planets is known to be chaotic. In this work, we present a simple perturbative model that illuminates the origins of stochasticity inherent to this system and derive analytic estimates of the Lyapunov time as well as the chaotic diffusion coefficient. We then address the formation of the multi-resonant structure within a protoplanetary disk and show that modest turbulent forcing in addition to dissipative effects is required to reproduce the observed chaotic configuration. Accordingly, this work places important constraints on the typical formation environments of planetary systems and informs the attributes of representative orbital architectures that arise from extended disk-driven evolution.


title: Improved Error Bounds Based on Worst Likely Assignments

abstract: Error bounds based on worst likely assignments use permutation tests to validate classifiers. Worst likely assignments can produce effective bounds even for data sets with 100 or fewer training examples. This paper introduces a statistic for use in the permutation tests of worst likely assignments that improves error bounds, especially for accurate classifiers, which are typically the classifiers of interest.


title: Ensemble annealing of complex physical systems

abstract: Algorithms for simulating complex physical systems or solving difficult optimization problems often resort to an annealing process. Rather than simulating the system at the temperature of interest, an annealing algorithm starts at a temperature that is high enough to ensure ergodicity and gradually decreases it until the destination temperature is reached. This idea is used in popular algorithms such as parallel tempering and simulated annealing. A general problem with annealing methods is that they require a temperature schedule. Choosing well-balanced temperature schedules can be tedious and time-consuming. Imbalanced schedules can have a negative impact on the convergence, runtime and success of annealing algorithms. This article outlines a unifying framework, ensemble annealing, that combines ideas from simulated annealing, histogram reweighting and nested sampling with concepts in thermodynamic control. Ensemble annealing simultaneously simulates a physical system and estimates its density of states. The temperatures are lowered not according to a prefixed schedule but adaptively so as to maintain a constant relative entropy between successive ensembles. After each step on the temperature ladder an estimate of the density of states is updated and a new temperature is chosen. Ensemble annealing is highly practical and broadly applicable. This is illustrated for various systems including Ising, Potts, and protein models.

categories: physics.comp-ph cond-mat.stat-mech physics.data-an stat.CO


title: Bifurcation of nonlinear eigenvalues in problems with antilinear symmetry

abstract: Many physical systems can be described by nonlinear eigenvalues and bifurcation problems with a linear part that is non-selfadjoint e.g. due to the presence of loss and gain. The balance of these effects is reflected in an antilinear symmetry, like e.g. the PT-symmetry, of the problem. Under this condition we show that the nonlinear eigenvalues bifurcating from real linear eigenvalues remain real and the corresponding nonlinear eigenfunctions remain symmetric. The abstract results are applied in a number of physical models of Bose-Einstein condensation, nonlinear optics and superconductivity, and further numerical analysis is performed.


title: Mean curvature, volume and properness of isometric immersions

abstract: We explore the relation among volume, curvature and properness of a $m$-dimensional isometric immersion in a Riemannian manifold. We show that, when the $L^p$-norm of the mean curvature vector is bounded for some $m \leq p\leq \infty$, and the ambient manifold is a Riemannian manifold with bounded geometry, properness is equivalent to the finiteness of the volume of extrinsic balls. We also relate the total absolute curvature of a surface isometrically immersed in a Riemannian manifold with its properness. Finally, we relate the curvature and the topology of a complete and non-compact $2$-Riemannian manifold $M$ with non-positive Gaussian curvature and finite topology, using the study of the focal points of the transverse Jacobi fields to a geodesic ray in $M$ . In particular, we have explored the relation between the minimal focal distance of a geodesic ray and the total curvature of an end containing that geodesic ray.


title: Constraining de Sitter Space in String Theory

abstract: We argue that the heterotic string does not have classical vacua corresponding to de Sitter space-times of dimension four or higher. The same conclusion applies to type II vacua in the absence of RR fluxes. Our argument extends prior supergravity no-go results to regimes of high curvature. We discuss the interpretation of the heterotic result from the perspective of dual type II orientifold constructions. Our result suggests that the genericity arguments used in string landscape discussions should be viewed with caution.


title: Optimal Power Flow with Weighted Chance Constraints and General Policies for Generation Control

abstract: Due to the increasing amount of electricity generated from renewable sources, uncertainty in power system operation will grow. This has implications for tools such as Optimal Power Flow (OPF), an optimization problem widely used in power system operations and planning, which should be adjusted to account for this uncertainty. One way to handle the uncertainty is to formulate a Chance Constrained OPF (CC-OPF) which limits the probability of constraint violation to a predefined value. However, existing CC-OPF formulations and solutions are not immune to drawbacks. On one hand, they only consider affine policies for generation control, which are not always realistic and may be sub-optimal. On the other hand, the standard CC-OPF formulations do not distinguish between large and small violations, although those might carry significantly different risk. In this paper, we introduce the Weighted CC-OPF (WCC-OPF) that can handle general control policies while preserving convexity and allowing for efficient computation. The weighted chance constraints account for the size of violations through a weighting function, which assigns a higher risk to a higher overloads. We prove that the problem remains convex for any convex weighting function, and for very general generation control policies. In a case study, we compare the performance of the new WCC-OPF and the standard CC-OPF and demonstrate that WCC-OPF effectively reduces the number of severe overloads. Furthermore, we compare an affine generation control policy with a more general policy, and show that the additional flexibility allow for a lower cost while maintaining the same level of risk.


title: Rest-frame Optical Spectra and Black Hole Masses of 3<z<6 Quasars

abstract: We present the rest-frame optical spectral properties of 155 luminous quasars at 3.3<z<6.4 taken with the AKARI space telescope, including the first detection of H$\alpha$ emission line as far out as z~6. We extend the scaling relation between the rest-frame optical continuum and line luminosity of active galactic nuclei (AGNs) to the high luminosity, high redshift regime that has rarely been probed before. Remarkably, we find that a single log-linear relation can be applied to the 5100${\rm \AA}$ and H$\alpha$ AGN luminosities over a wide range of luminosity (10$^{42}$<$L_{5100}$<10$^{47}$ergs/s) or redshift (0<z<6), suggesting that the physical mechanism governing this relation is unchanged from z=0 to 6, over five decades in luminosity. Similar scaling relations are found between the optical and the UV continuum luminosities or line widths. Applying the scaling relations to the H$\beta$ black hole mass ($M_{\rm BH}$) estimator of local AGNs, we derive the $M_{\rm BH}$ estimators based on H$\alpha$, MgII, and CIV lines, finding that the UV-line based masses are overall consistent with the Balmer-line based, but with a large intrinsic scatter of 0.40dex for the CIV estimates. Our 43 $M_{\rm BH}$ estimates from H$\alpha$ confirm the existence of BHs as massive as ~10$^{10}M_{\odot}$ out to z~5, and provide a secure footing for previous MgII-line based studies that a rapid $M_{\rm BH}$ growth has occurred in the early universe.


title: Quantum adiabatic pumping by modulating tunnel phase in quantum dots

abstract: In a mesoscopic system, under zero bias voltage, a finite charge is transferred by quantum adiabatic pumping by adiabatically and periodically changing two or more control parameters. We obtained expressions for the pumped charge for a ring of three quantum dots (QDs) by choosing the magnetic flux penetrating the ring as one of the control parameters. We found that the pumped charge shows a steplike behavior with respect to the variance of the flux. The value of the step heights is not universal but depends on the trajectory of the control parameters. We discuss the physical origin of this behavior on the basis of the Fano resonant condition of the ring.


title: Joint Belief and Intent Prediction for Collision Avoidance in Autonomous Vehicles

abstract: This paper describes a novel method for allowing an autonomous ground vehicle to predict the intent of other agents in an urban environment. This method, termed the cognitive driving framework, models both the intent and the potentially false beliefs of an obstacle vehicle. By modeling the relationships between these variables as a dynamic Bayesian network, filtering can be performed to calculate the intent of the obstacle vehicle as well as its belief about the environment. This joint knowledge can be exploited to plan safer and more efficient trajectories when navigating in an urban environment. Simulation results are presented that demonstrate the ability of the proposed method to calculate the intent of obstacle vehicles as an autonomous vehicle navigates a road intersection such that preventative maneuvers can be taken to avoid imminent collisions.


title: An Unbiased 1.3 mm Emission Line Survey of the Protoplanetary Disk Orbiting LkCa 15

abstract: The outer (>30 AU) regions of the dusty circumstellar disk orbiting the ~2-5 Myr-old, actively accreting solar analog LkCa 15 are known to be chemically rich, and the inner disk may host a young protoplanet within its central cavity. To obtain a complete census of the brightest molecular line emission emanating from the LkCa 15 disk over the 210-270 GHz (1.4 - 1.1 mm) range, we have conducted an unbiased radio spectroscopic survey with the Institute de Radioastronomie Millimetrique (IRAM) 30 meter telescope. The survey demonstrates that, in this spectral region, the most readily detectable lines are those of CO and its isotopologues 13CO and C18O, as well as HCO+, HCN, CN, C2H, CS, and H2CO. All of these species had been previously detected in the LkCa 15 disk; however, the present survey includes the first complete coverage of the CN (2-1) and C2H (3-2) hyperfine complexes. Modeling of these emission complexes indicates that the CN and C2H either reside in the coldest regions of the disk or are subthermally excited, and that their abundances are enhanced relative to molecular clouds and young stellar object environments. These results highlight the value of unbiased single-dish line surveys in guiding future high resolution interferometric imaging of disks.


title: Top Tips to Make Your Research Irreproducible

abstract: It is an unfortunate convention of science that research should pretend to be reproducible; our top tips will help you mitigate this fussy conventionality, enabling you to enthusiastically showcase your irreproducible work.


title: A fractional space-time optimal control problem: analysis and discretization\

abstract: We study a linear-quadratic optimal control problem involving a parabolic equation with fractional diffusion and Caputo fractional time derivative of orders $s \in (0,1)$ and $\gamma \in (0,1]$, respectively. The spatial fractional diffusion is realized as the Dirichlet-to-Neumann map for a nonuniformly elliptic operator. Thus, we consider an equivalent formulation with a quasi-stationary elliptic problem with a dynamic boundary condition as state equation. The rapid decay of the solution to this problem suggests a truncation that is suitable for numerical approximation. We consider a fully-discrete scheme: piecewise constant functions for the control and, for the state, first-degree tensor product finite elements in space and a finite difference discretization in time. We show convergence of this scheme and, for $s \in (0,1)$ and $\gamma = 1$, we derive a priori error estimates.


title: Crowdsourcing Feature Discovery via Adaptively Chosen Comparisons

abstract: We introduce an unsupervised approach to efficiently discover the underlying features in a data set via crowdsourcing. Our queries ask crowd members to articulate a feature common to two out of three displayed examples. In addition we also ask the crowd to provide binary labels to the remaining examples based on the discovered features. The triples are chosen adaptively based on the labels of the previously discovered features on the data set. In two natural models of features, hierarchical and independent, we show that a simple adaptive algorithm, using "two-out-of-three" similarity queries, recovers all features with less labor than any nonadaptive algorithm. Experimental results validate the theoretical findings.


title: Optimality of the Laplace Mechanism in Differential Privacy

abstract: In the highly interconnected realm of Internet of Things, exchange of sensitive information raises severe privacy concerns. The Laplace mechanism -- adding Laplace-distributed artificial noise to sensitive data -- is one of the widely used methods of providing privacy guarantees within the framework of differential privacy. In this work, we present Lipschitz privacy, a slightly tighter version of differential privacy. We prove that the Laplace mechanism is optimal in the sense that it minimizes the mean-squared error for identity queries which provide privacy with respect to the $\ell_{1}$-norm. In addition to the $\ell_{1}$-norm which respects individuals' participation, we focus on the use of the $\ell_{2}$-norm which provides privacy of high-dimensional data. A variation of the Laplace mechanism is proven to have the optimal mean-squared error from the identity query. Finally, the optimal mechanism for the scenario in which individuals submit their high-dimensional sensitive data is derived.


title: On shocks driven by high-mass planets in radiatively inefficient disks. I. Two-dimensional global disk simulations

abstract: Recent observations of gaps and non-axisymmetric features in the dust distributions of transition disks have been interpreted as evidence of embedded massive protoplanets. However, comparing the predictions of planet-disk interaction models to the observed features has shown far from perfect agreement. This may be due to the strong approximations used for the predictions. For example, spiral arm fitting typically uses results that are based on low-mass planets in an isothermal gas. In this work, we describe two-dimensional, global, hydrodynamical simulations of disks with embedded protoplanets, with and without the assumption of local isothermality, for a range of planet-to-star mass ratios 1-10 M_jup for a 1 M_sun star. We use the Pencil Code in polar coordinates for our models. We find that the inner and outer spiral wakes of massive protoplanets (M>5 M_jup) produce significant shock heating that can trigger buoyant instabilities. These drive sustained turbulence throughout the disk when they occur. The strength of this effect depends strongly on the mass of the planet and the thermal relaxation timescale; for a 10 M_jup planet embedded in a thin, purely adiabatic disk, the spirals, gaps, and vortices typically associated with planet-disk interactions are disrupted. We find that the effect is only weakly dependent on the initial radial temperature profile. The spirals that form in disks heated by the effects we have described may fit the spiral structures observed in transition disks better than the spirals predicted by linear isothermal theory.


title: Eigenvalues of minimal Cantor systems

abstract: In this article we give necessary and sufficient conditions that a complex number must satisfy to be a continuous eigenvalue of a minimal Cantor system. Similarly, for minimal Cantor systems of finite rank, we provide necessary and sufficient conditions for having a measure theoretical eigenvalue. These conditions are established from the combinatorial information of the Bratteli-Vershik representations of such systems. As an application, from any minimal Cantor system, we construct a strong orbit equivalent system without irrational eigenvalues which shares all measure theoretical eigenvalues with the original system. In a second application a minimal Cantor system is constructed satisfying the so-called maximal continuous eigenvalue group property.


title: Mutation, Witten Index, and Quiver Invariant

abstract: We explore Seiberg-like dualities, or mutations, for ${\cal N}=4$ quiver quantum mechanics in the context of wall-crossing. In contrast to higher dimensions, the 1d Seiberg-duality must be performed with much care. With fixed Fayet-Iliopoulos constants, at most two nodes can be mutated, one left and the other right, mapping a chamber of a quiver into a chamber of a mutated quiver. We delineate this complex pattern for triangle quivers and show how the Witten indices are preserved under such finely chosen mutations. On the other hand, the quiver invariants, or wall-crossing-safe part of supersymmetric spectra, mutate more straightforwardly, whereby a quiver is mapped to a quiver. The mutation rule that preserves the quiver invariant is different from the usual one, however, which we explore and confirm numerically.


title: Improving constraints on the neutrino mass using sufficient statistics

abstract: We use the "Dark Energy and Massive Neutrino Universe" (DEMNUni) simulations to compare the constraining power of "sufficient statistics" with the standard matter power spectrum on the sum of neutrino masses, $M_\nu \equiv \sum m_\nu$. In general, the power spectrum, even supplemented with higher moments of the distribution, captures only a fraction of the available cosmological information due to correlations between the Fourier modes. In contrast, the non-linear transform of sufficient statistics, approximated by a logarithmic mapping A=ln(1+\delta), was designed to capture all the available cosmological information contained in the matter clustering; in this sense it is an optimal observable. Our analysis takes advantage of the recent analytical model developed by Carron et al. 2014 to estimate both the matter power spectrum and the A-power spectrum covariance matrices. Using a Fisher information approach, we find that using sufficient statistics increases up to 8 times the available information on the total neutrino mass at z=0, thus tightening the constraints by almost a factor of 3 compared to the matter power spectrum.


title: Higher Spin Currents in Wolf Space: Part III

abstract: The large N=4 linear superconformal algebra (generated by four spin-1/2 currents, seven spin-1 currents, four spin-3/2 currents and one spin-2 current) found by Sevrin, Troost and Van Proeyen (and other groups) was realized in the N=4 superconformal coset SU(5)/SU(3) theory previously. The lowest 16 higher spin currents of spins (1, 3/2, 3/2, 2), (3/2, 2, 2, 5/2), (3/2, 2, 2, 5/2) and (2, 5/2, 5/2, 3) are obtained by starting with the operator product expansions (OPEs) between the four spin-3/2 currents from the above large N=4 linear superconformal algebra and the lowest higher spin-1 current which is the same as the one in the Wolf space coset SU(5)/[SU(3) x SU(2) x U(1)] theory. These OPEs determine the four higher spin-3/2 currents and the next six higher spin-2 currents are obtained from the OPEs between the above four spin-3/2 currents associated with the N=4 supersymmetry and these four higher spin-3/2 currents. The four higher spin-5/2 currents can be determined by calculating the OPEs between the above four spin-3/2 currents and the higher spin-2 currents. Similarly, the higher spin-3 current is obtained from the OPEs between the four spin-3/2 currents and the higher spin-5/2 currents. The explicit relations between the above 16 higher spin currents and the corresponding 16 higher spin currents which were found in the extension of large N=4 nonlinear superconformal algebra previously are given. By examining the OPEs between the 16 currents from the large N=4 linear superconformal algebra and the 16 higher spin currents, the match with the findings of Beccaria, Candu and Gaberdiel is also given. The next 16 higher spin currents of spins (2, 5/2, 5/2, 3), (5/2, 3, 3, 7/2), (5/2, 3, 3, 7/2) and (3, 7/2, 7/2, 4) occur from the OPEs between the above lowest 16 higher spin currents.


title: Statistical model for overdispersed count outcome with many zeros: an approach for direct marginal inference

abstract: Marginalized models are in great demand by most researchers in the life sciences particularly in clinical trials, epidemiology, health-economics, surveys and many others since they allow generalization of inference to the entire population under study. For count data, standard procedures such as the Poisson regression and negative binomial model provide population average inference for model parameters. However, occurrence of excess zero counts and lack of independence in empirical data have necessitated their extension to accommodate these phenomena. These extensions, though useful, complicates interpretations of effects. For example, the zero-inflated Poisson model accounts for the presence of excess zeros but the parameter estimates do not have a direct marginal inferential ability as its base model, the Poisson model. Marginalizations due to the presence of excess zeros are underdeveloped though demand for such is interestingly high. The aim of this paper is to develop a marginalized model for zero-inflated univariate count outcome in the presence of overdispersion. Emphasis is placed on methodological development, efficient estimation of model parameters, implementation and application to two empirical studies. A simulation study is performed to assess the performance of the model. Results from the analysis of two case studies indicated that the refined procedure performs significantly better than models which do not simultaneously correct for overdispersion and presence of excess zero counts in terms of likelihood comparisons and AIC values. The simulation studies also supported these findings. In addition, the proposed technique yielded small biases and mean square errors for model parameters. To ensure that the proposed method enjoys widespread use, it is implemented using the SAS NLMIXED procedure with minimal coding efforts.


title: Dynamics of a charged particle around a weakly magnetized naked singularity

abstract: We examine the motion of a charged particle in the vicinity of a weakly magnetized naked singularity. The escape velocity and energy of the particle moving around the naked singularity after being kicked by another particle or photon are investigated. Also at the innermost stable circular orbit (ISCO) escape velocity and energy are examined. Effective potential and angular momentum of the particle are also discussed. We discuss the center of mass energy after collision between two particles having same mass and opposite charges moving along the same circular orbit in the opposite direction. It is investigated that under what conditions maximum energy can be produced as a result of collision.


title: Evidence for ordered magnetic moments at oxygen sites in antiferromagnetic Sr$_2$IrO$_4$ and Sr$_3$Ir$_2$O$_7$

abstract: In this study, the magnetic ground state of iridium perovskites (Sr$_{n+1}$Ir$_{n}$O$_{3n+1}$, where $n=1$, 2, and $\infty$) was considered using muon spin spectroscopy ($\mu$SR). When probed by muons in Sr$_2$IrO$_4$ and Sr$_3$Ir$_2$O$_7$ ($n=1,2$), the internal field ($B_{\rm loc}$) showed clear sign of a magnetic order in two stages at transition temperatures $T_{\rm N}\simeq 230$ K and $T_{\rm m}\simeq 90$ K in Sr$_2$IrO$_4$ and $T_{\rm N}\simeq 280$ K and $T_{\rm m}\simeq 70$ K in Sr$_3$Ir$_2$O$_7$, respectively. In contrast, no long-range magnetic order was observed in orthorhombic SrIrO$_3$ ($n=\infty$). Based on the known magnetic structure in Sr$_2$IrO$_4$ and Sr$_3$Ir$_2$O$_7$, we successfully identified muon sites in these compounds from the magnitude of $B_{\rm loc}$ in the first stage ($T_{\rm m}\le T\le T_{\rm N}$). Below $T_{\rm m}$, $B_{\rm loc}$ probed by a fraction of muons occupying sites near the apical oxygen of IrO$_6$ octahedra exhibited a further increase but remained mostly unchanged for sites close to the in-plane oxygen. While such behavior cannot be explained by the alteration of the Ir spin structure, it is consistent with the selective appearance of ordered magnetic moments on the apical oxygen. The oxygen polarization was also in line with the reported magnetization anomalies in these compounds below $\sim T_{\rm m}$. A possible link between the oxygen polarization and ferroelectric (multiferroic) behavior in Sr$_2$IrO$_4$ was considered.


title: Statistical properties of superflares on solar-type stars based on 1-min cadence data

abstract: We searched for superflares on solar-type stars using Kepler data with 1 min sampling in order to detect superflares with short duration. We found 187 superflares on 23 solar-type stars whose bolometric energy ranges from the order of $10^{32}$ erg to $10^{36}$ erg. Some superflares show multiple peaks with the peak separation of the order of $100$-$1000$ seconds which is comparable to the periods of quasi-periodic pulsations in solar and stellar flares. Using these new data combined with the results from the data with 30 min sampling, we found the occurrence frequency ($dN/dE$) of superflares as a function of flare energy ($E$) shows the power-law distribution ($dN/dE \propto E^{-\alpha}$) with $\alpha \sim -1.5$ for $10^{33}<E<10^{36}$ erg which is consistent with the previous results. The average occurrence rate of superflares with the energy of $10^{33}$ erg which is equivalent to X100 solar flares is about once in 500-600 years. The upper limit of energy released by superflares is basically comparable to a fraction of the magnetic energy stored near starspots which is estimated from the photometry. We also found that the duration of superflares ($\tau$) increases with the flare energy ($E$) as $\tau \propto E^{0.39\pm 0.03}$. This can be explained if we assume the time-scale of flares is determined by the Alfv$\acute{\rm e}$n time.


title: Small scatter and nearly-isothermal mass profiles to four half-light radii from two-dimensional stellar dynamics of early-type galaxies

abstract: We study the total mass-density profile for a sample of 14 fast-rotator early-type galaxies (stellar masses $10.2<\log M_\ast/M_\odot<11.7$). We combine observations from the SLUGGS and Atlas3D surveys to map out the stellar kinematics in two-dimensions, out to a median radius for the sample of four half-light radii $R_e$ (or 10 kpc), and a maximum radius of 2.0-6.2 $R_e$ (or 4-21 kpc). We use axisymmetric dynamical models based on the Jeans equations, which allow for a spatially varying anisotropy, and employ quite general profiles for the dark halos, and in particular do not place any restriction on the profile slope. This is made possible by the availability of spatially extended two-dimensional kinematics. We find that our relatively simple models provide a remarkably good description of the observed kinematics. The resulting total density profiles are well described by a nearly-isothermal power law $\rho_{\rm tot}(r)\propto r^{-\gamma}$ from $R_e$/10 to at least 4$R_e$, the largest average deviation being 11%. The average logarithmic slope is $\langle\gamma\rangle=2.19\pm0.03$ with observed rms scatter of just $\sigma_\gamma=0.11$. This scatter out to large radii, where dark matter dominates, is as small as previously reported by lensing studies around $r\approx R_e/2$, where the stars dominate. Our bulge-halo conspiracy places much tighter constraints on galaxy formation models. It illustrates the power of two-dimensional stellar kinematics observations at large radii. It would now be important to test the generality of our results for different galaxy types and larger samples.


title: Beyond Chance-Constrained Convex Mixed-Integer Optimization: A Generalized Calafiore-Campi Algorithm and the notion of $S$-optimization

abstract: The scenario approach developed by Calafiore and Campi to attack chance-constrained convex programs utilizes random sampling on the uncertainty parameter to substitute the original problem with a representative continuous convex optimization with $N$ convex constraints which is a relaxation of the original. Calafiore and Campi provided an explicit estimate on the size $N$ of the sampling relaxation to yield high-likelihood feasible solutions of the chance-constrained problem. They measured the probability of the original constraints to be violated by the random optimal solution from the relaxation of size $N$. This paper has two main contributions. First, we present a generalization of the Calafiore-Campi results to both integer and mixed-integer variables. In fact, we demonstrate that their sampling estimates work naturally for variables restricted to some subset $S$ of $\mathbb R^d$. The key elements are generalizations of Helly's theorem where the convex sets are required to intersect $S \subset \mathbb R^d$. The size of samples in both algorithms will be directly determined by the $S$-Helly numbers. Motivated by the first half of the paper, for any subset $S \subset \mathbb R^d$, we introduce the notion of an $S$-optimization problem, where the variables take on values over $S$. It generalizes continuous, integer, and mixed-integer optimization. We illustrate with examples the expressive power of $S$-optimization to capture sophisticated combinatorial optimization problems with difficult modular constraints. We reinforce the evidence that $S$-optimization is "the right concept" by showing that the well-known randomized sampling algorithm of K. Clarkson for low-dimensional convex optimization problems can be extended to work with variables taking values over $S$.


title: An observational detection of the bridge effect of void filaments

abstract: The bridge effect of void filaments is a phrase coined by Park & Lee (2009b) to explain the correlations found in a numerical experiment between the luminosity of the void galaxies and the degree of the straightness of their host filaments. Their numerical finding implies that a straight void filament provides a narrow channel for the efficient transportation of gas and matter particles from the surroundings into the void galaxies. Analyzing the Sloan void catalog constructed by Pan et al (2012), we identify the filamentary structures in void regions and determine the specific size of each void filament as a measure of its straightness. To avoid possible spurious signals caused by the Malmquist bias, we consider only those void filaments whose redshifts are in the range of 0=< z <= 0.02 and find a clear tendency that the void galaxies located in the more straight filaments are on average more luminous, which is in qualitative agreement with the numerical prediction. It is also shown that the strength of correlation increases with the number of the member galaxies of the void filaments, which can be physically understood on the grounds that the more stretched filaments can connect the dense surroundings even to the galaxies located deep in the central parts of the voids. This observational evidence may provide a key clue to the puzzling issue of why the void galaxies have higher specific star formation rates and bluer colors than their wall counterparts.


title: Transient dual-energy lasing in a semiconductor microcavity

abstract: We demonstrate sequential lasing at two well-separated energies in a highly photoexcited planar microcavity at room temperature. Two spatially overlapped lasing states with distinct polarization properties appear at energies more than 5 meV apart. Under a circularly polarized nonresonant 2 ps pulse excitation, a sub-10-ps transient circularly polarized high-energy (HE) state emerges within 10 ps after the pulse excitation. This HE state is followed by a pulsed state that lasts for 20--50 ps at a low energy (LE) state. The HE state is highly circularly polarized as a result of a spin-preserving stimulated process, while the LE state shows a significantly reduced circular polarization because of a diminishing spin imbalance.


title: $L^p$-bounds on spectral clusters associated to polygonal domains

abstract: We look at the $L^p$ bounds on eigenfunctions for polygonal domains (or more generally Euclidean surfaces with conic singularities) by analysis of the wave operator on the flat Euclidean cone $C(\mathbb{S}^1_\rho) := \mathbb{R}_+ \times \left(\mathbb{R} \big/ 2\pi\rho \mathbb{Z}\right)$ of radius $\rho > 0$ equipped with the metric $h(r,\theta) = d r^2 + r^2 \, d\theta^2$. Using explicit oscillatory integrals and relying on the fundamental solution to the wave equation in geometric regions related to flat wave propagation and diffraction by the cone point, we can prove spectral cluster estimates equivalent to those in works on smooth Riemannian manifolds.


title: Stochastic completeness for graphs with curvature dimension conditions

abstract: We prove pointwise gradient bounds for heat semigroups associated to general (possibly unbounded) Laplacians on infinite graphs satisfying the curvature dimension condition CD(K,\infty). Using gradient bounds, we show stochastic completeness for graphs satisfying the curvature dimension condition.


title: Poincare Series And Very Ampleness Criterion For Pluri-canonical Bundles

abstract: Let $X$ be a compact quotient of a bounded domain in $\mathbb C^n$. Let $K_X$ be the canonical line bundle of $X$. In this paper, we shall introduce the notion of $S$ very ampleness for the pluri-canonical line bundles $mK_X$ by using the Poincar\'e series. The main result is an effective Seshadri constant criterion of $S$ very ampleness for $mK_X$. An elementary proof of surjectivity of the Poincar\'e map is also given.


title: A Unified Scheme for Two-Receiver Broadcast Channels with Receiver Message Side Information

abstract: This paper investigates the capacity regions of two-receiver broadcast channels where each receiver (i) has both common and private-message requests, and (ii) knows part of the private message requested by the other receiver as side information. We first propose a transmission scheme and derive an inner bound for the two-receiver memoryless broadcast channel. We next prove that this inner bound is tight for the deterministic channel and the more capable channel, thereby establishing their capacity regions. We show that this inner bound is also tight for all classes of two-receiver broadcast channels whose capacity regions were known prior to this work. Our proposed scheme is consequently a unified capacity-achieving scheme for these classes of broadcast channels.


title: A Theory of Feature Learning

abstract: Feature Learning aims to extract relevant information contained in data sets in an automated fashion. It is driving force behind the current deep learning trend, a set of methods that have had widespread empirical success. What is lacking is a theoretical understanding of different feature learning schemes. This work provides a theoretical framework for feature learning and then characterizes when features can be learnt in an unsupervised fashion. We also provide means to judge the quality of features via rate-distortion theory and its generalizations.


title: Stochastic domain decomposition for time dependent adaptive mesh generation

abstract: The efficient generation of meshes is an important component in the numerical solution of problems in physics and engineering. Of interest are situations where global mesh quality and a tight coupling to the solution of the physical partial differential equation (PDE) is important. We consider parabolic PDE mesh generation and present a method for the construction of adaptive meshes in two spatial dimensions using stochastic domain decomposition that is suitable for an implementation in a multi- or many-core environment. Methods for mesh generation on periodic domains are also provided. The mesh generator is coupled to a time dependent physical PDE and the system is evolved using an alternating solution procedure. The method uses the stochastic representation of the exact solution of a parabolic linear mesh generator to find the location of an adaptive mesh along the (artificial) subdomain interfaces. The deterministic evaluation of the mesh over each subdomain can then be obtained completely independently using the probabilistically computed solutions as boundary conditions. The parallel performance of this general stochastic domain decomposition approach has previously been shown. We demonstrate the approach numerically for the mesh generation context and compare the mesh obtained with the corresponding single domain mesh using a representative mesh quality measure.


title: Equiangular Lines and Covers of the Complete Graph

abstract: The relation between equiangular sets of lines in the real space and distance-regular double covers of the complete graph is well known and studied since the work of Seidel and others in the 70's. The main topic of this paper is to continue the study on how complex equiangular lines relate to distance-regular covers of the complete graph with larger index. Given a set of equiangular lines meeting the relative (or Welch) bound, we show that if the entries of the corresponding Gram matrix are prime roots of unity, then these lines can be used to construct an antipodal distance-regular graph of diameter three. We also study in detail how the absolute (or Gerzon) bound for a set of equiangular lines can be used to derive bounds of the parameters of abelian distance-regular covers of the complete graph.


title: A remark on weaken restricted isometry property in compressed sensing

abstract: The restricted isometry property (RIP) has become well-known in the compressed sensing community. Recently, a weaken version of RIP was proposed for exact sparse recovery under weak moment assumptions. In this note, we prove that the weaken RIP is also sufficient for \textsl{stable and robust} sparse recovery by linking it with a recently introduced robust width property in compressed sensing. Moreover, we show that it can be widely apply to other compressed sensing instances as well.


title: Quantization of compressive samples with stable and robust recovery

abstract: In this paper we study the quantization stage that is implicit in any compressed sensing signal acquisition paradigm. We propose using Sigma-Delta quantization and a subsequent reconstruction scheme based on convex optimization. We prove that the reconstruction error due to quantization decays polynomially in the number of measurements. Our results apply to arbitrary signals, including compressible ones, and account for measurement noise. Additionally, they hold for sub-Gaussian (including Gaussian and Bernoulli) random compressed sensing measurements, as well as for both high bit-depth and coarse quantizers, and they extend to 1-bit quantization. In the noise-free case, when the signal is strictly sparse we prove that by optimizing the order of the quantization scheme one can obtain root-exponential decay in the reconstruction error due to quantization.


title: State Estimation for the Individual and the Population in Mean Field Control with Application to Demand Dispatch

abstract: This paper concerns state estimation problems in a mean field control setting. In a finite population model, the goal is to estimate the joint distribution of the population state and the state of a typical individual. The observation equations are a noisy measurement of the population. The general results are applied to demand dispatch for regulation of the power grid, based on randomized local control algorithms. In prior work by the authors it has been shown that local control can be carefully designed so that the aggregate of loads behaves as a controllable resource with accuracy matching or exceeding traditional sources of frequency regulation. The operational cost is nearly zero in many cases. The information exchange between grid and load is minimal, but it is assumed in the overall control architecture that the aggregate power consumption of loads is available to the grid operator. It is shown that the Kalman filter can be constructed to reduce these communication requirements,


title: Landau damping of Gardner solitons in a dusty bi-ion plasma

abstract: The effects of linear Landau damping on the nonlinear propagation of dust-acoustic solitary waves (DASWs) are studied in a collisionless unmagnetized dusty plasma with two species of positive ions. The extremely massive, micron-seized, cold and negatively charged dust particles are described by fluid equations, whereas the two species of positive ions, namely the cold (heavy) and hot (light) ions are described by the kinetic Vlasov equations. Following Ott and Sudan [Phys. Fluids {\bf 12}, 2388 (1969)], and by considering lower and higher-order perturbations, the evolution of DASWs with Landau damping is shown to be governed by Korteweg-de Vries (KdV), modified KdV (mKdV) or Gardner (KdV-mKdV)-like equations. The properties of the phase velocity and the Landau damping rate of DASWs are studied for different values of the ratios of the temperatures $(\sigma)$ and the number densities $(\mu)$ of hot and cold ions as well the cold to hot ion mass ratio $m$. The distinctive features of the decay rates of the amplitudes of the KdV, mKdV and Gardner solitons with a small effect of Landau damping are also studied in different parameter regimes. It is found that the Gardner soliton points to lower wave amplitudes than the KdV and mKdV solitons. The results may be useful for understanding the localization of solitary pulses and associated wave damping (collisionless) in laboratory and space plasmas (e.g., the F-ring of Saturn) in which the number density of free electrons is much smaller than that of ions and the heavy, micron seized dust grains are highly charged.


title: Two-parameter twisted quantum affine algebras

abstract: We establish Drinfeld realization for the two-parameter twisted quantum affine algebras using a new method. The Hopf algebra structure for Drinfeld generators is given for both untwisted and twisted two-parameter quantum affine algebras, which include the quantum affine algebras as special cases.


title: Learning in the Presence of Corruption

abstract: In supervised learning one wishes to identify a pattern present in a joint distribution $P$, of instances, label pairs, by providing a function $f$ from instances to labels that has low risk $\mathbb{E}_{P}\ell(y,f(x))$. To do so, the learner is given access to $n$ iid samples drawn from $P$. In many real world problems clean samples are not available. Rather, the learner is given access to samples from a corrupted distribution $\tilde{P}$ from which to learn, while the goal of predicting the clean pattern remains. There are many different types of corruption one can consider, and as of yet there is no general means to compare the relative ease of learning under these different corruption processes. In this paper we develop a general framework for tackling such problems as well as introducing upper and lower bounds on the risk for learning in the presence of corruption. Our ultimate goal is to be able to make informed economic decisions in regards to the acquisition of data sets. For a certain subclass of corruption processes (those that are \emph{reconstructible}) we achieve this goal in a particular sense. Our lower bounds are in terms of the coefficient of ergodicity, a simple to calculate property of stochastic matrices. Our upper bounds proceed via a generalization of the method of unbiased estimators appearing in recent work of Natarajan et al and implicit in the earlier work of Kearns.


title: On compact bicrossed products

abstract: We make a comprehensive and self-contained study of compact bicrossed products arising from matched pairs of discrete groups and compact groups. We exhibit an automatic regularity property of such a matched pair and and produce an easy construction of the associated bicrossed product $\mathbb{G}$. We investigate the relative co-property $(T)$ and the relative co-Haagerup property of the pair comprising of the compact group and the bicrossed product, discuss property $(T)$ and Haagerup property of the discrete dual $\widehat{\mathbb{G}}$, and review co-amenability of $\mathbb{G}$ as well. We distinguish two such non-trivial compact bicrossed products with relative co-property $(T)$ and also provide an infinite family of pairwise non isomorphic non-trivial discrete quantum groups with property $(T)$, the existence of even one of the latter was unknown. Finally, we examine all the properties mentioned above for the crossed product quantum group given by an action by quantum automorphisms of a discrete group on a compact quantum group, and also establish the permanence of rapid decay and weak amenability and provide several explicit examples.


title: Relative cluster tilting objects in triangulated categories

abstract: Assume that $\D$ is a Krull-Schmidt, Hom-finite triangulated category with a Serre functor and a cluster-tilting object $T$. We introduce the notion of relative cluster tilting objects, and $T[1]$-cluster tilting objects in $\D$, which are a generalization of cluster-tilting objects. When $\D$ is $2$-Calabi-Yau, the relative cluster tilting objects are cluster-tilting. Let $\la={\rm End}^{op}_{\D}(T)$ be the opposite algebra of the endomorphism algebra of $T$. We show that there exists a bijection between $T[1]$-cluster tilting objects in $\D$ and support $\tau$-tilting $\la$-modules, which generalizes a result of Adachi-Iyama-Reiten \cite{AIR}. We develop a basic theory on $T[1]$-cluster tilting objects. In particular, we introduce a partial order on the set of $T[1]$-cluster tilting objects and mutation of $T[1]$-cluster tilting objects, which can be regarded as a generalization of `cluster-tilting mutation'. As an application, we give a partial answer to a question posed in \cite{AIR}.


title: Nonlinear seismic imaging via reduced order model backprojection

abstract: We introduce a novel nonlinear seismic imaging method based on model order reduction. The reduced order model (ROM) is an orthogonal projection of the wave equation propagator operator on the subspace of the snapshots of the solutions of the wave equation. It can be computed entirely from the knowledge of the measured time domain seismic data. The image is a backprojection of the ROM using the subspace basis for the known smooth kinematic velocity model. The implicit orthogonalization of solution snapshots is a nonlinear procedure that differentiates our approach from the conventional linear methods (Kirchhoff, RTM). It allows for the removal of multiple reflection artifacts. It also enables us to estimate the magnitude of the reflectors similarly to the true amplitude migration algorithms.


title: Inverse design and demonstration of a compact and broadband on-chip wavelength demultiplexer

abstract: Integrated photonic devices are poised to play a key role in a wide variety of applications, ranging from optical interconnects and sensors to quantum computing. However, only a small library of semi-analytically designed devices are currently known. In this paper, we demonstrate the use of an inverse design method that explores the full design space of fabricable devices and allows us to design devices with previously unattainable functionality, higher performance and robustness, and smaller footprints compared to conventional devices. We designed a silicon wavelength demultiplexer that splits $1300~\mathrm{nm}$ and $1550~\mathrm{nm}$ light from an input waveguide into two output waveguides, and fabricated and characterized several devices. The devices display low insertion loss $\left(2 - 4~\mathrm{dB}\right)$, high contrast $\left(12 - 17~\mathrm{dB}\right)$, and wide bandwidths $\left(\sim 100~\mathrm{nm} \right)$. The device footprint is $2.8 \times 2.8 ~\mathrm{\mu m}$, making this the smallest dielectric wavelength splitter to date.


title: High-resolution 25 \mu m imaging of the disks around Herbig Ae/Be stars

abstract: We imaged circumstellar disks around 22 Herbig Ae/Be stars at 25 \mu m using Subaru/COMICS and Gemini/T-ReCS. Our sample consists of equal numbers of objects belonging to the two categories defined by Meeus et al. (2001); 11 group I (flaring disk) and II (at disk) sources. We find that group I sources tend to show more extended emission than group II sources. Previous studies have shown that the continuous disk is hard to be resolved with 8 meter class telescopes in Q-band due to the strong emission from the unresolved innermost region of the disk. It indicates that the resolved Q-band sources require a hole or gap in the disk material distribution to suppress the contribution from the innermost region of the disk. As many group I sources are resolved at 25 \mu m, we suggest that many, not all, group I Herbig Ae/Be disks have a hole or gap and are (pre-)transitional disks. On the other hand, the unresolved nature of many group II sources at 25 \mu m supports that group II disks have continuous at disk geometry. It has been inferred that group I disks may evolve into group II through settling of dust grains to the mid-plane of the proto-planetary disk. However, considering growing evidence for the presence of a hole or gaps in the disk of group I sources, such an evolutionary scenario is unlikely. The difference between groups I and II may reflect different evolutionary pathways of protoplanetary disks.


title: Conformal Surface Morphing with Applications on Facial Expressions

abstract: Morphing is the process of changing one figure into another. Some numerical methods of 3D surface morphing by deformable modeling and conformal mapping are shown in this study. It is well known that there exists a unique Riemann conformal mapping from a simply connected surface into a unit disk by the Riemann mapping theorem. The dilation and relative orientations of the 3D surfaces can be linked through the M\"obius transformation due to the conformal characteristic of the Riemann mapping. On the other hand, a 3D surface deformable model can be built via various approaches such as mutual parameterization from direct interpolation or surface matching using landmarks. In this paper, we take the advantage of the unique representation of 3D surfaces by the mean curvatures and the conformal factors associated with the Riemann mapping. By registering the landmarks on the conformal parametric domains, the correspondence of the mean curvatures and the conformal factors for each surfaces can be obtained. As a result, we can construct the 3D deformation field from the surface reconstruction algorithm proposed by Gu and Yau. Furthermore, by composition of the M\"obius transformation and the 3D deformation field, the morphing sequence can be generated from the mean curvatures and the conformal factors on a unified mesh structure by using the cubic spline homotopy. Several numerical experiments of the face morphing are presented to demonstrate the robustness of our approach.


title: Bacterial floc mediated rapid streamer formation in creeping flows

abstract: One of the central puzzles concerning the interaction of low Reynolds number (Re<<1) fluid transport with bacterial biomass is the formation of filamentous structures called streamers. In this manuscript, we report our discovery of a new kind of low Re bacterial streamers, which appear from pre-formed bacterial flocs. In sharp contrast to the biofilm-mediated streamers, these streamers form over extremely small timescales (less than a second). Our experiments, carried out in a microchannel with micropillars rely on fluorescence microscopy techniques to illustrate that floc-mediated streamers form when a freely-moving floc adheres to the micropillar wall and gets rapidly sheared by the background flow. We also show that at their inception the deformation of the flocs is dominated by recoverable large strains indicating significant elasticity. These strains subsequently increase tremendously to produce filamentous streamers. Interestingly, we find that these fully formed streamers are not static structures and show viscous response at time scales larger than their formation time scales. Finally we show that such novel streamer formation can lead to rapid clogging of microfluidic devices.


title: The geometric Langlands twist in five and six dimensions

abstract: Abelian 6d (2,0) theory has SO(5) R symmetry. We twist this theory by identifying the R symmetry group with the SO(5) subgroup of the SO(1,5) Lorentz group. This twisted theory can be put on any five-manifold M, times R, while preserving one scalar supercharge. We subsequently assume the existence of one unit normalized Killing vector field on M, and we find a corresponding SO(4) twist that preserves two supercharges and is a generalization of the geometric Langlands twist of 4d SYM. We generalize the story to non-Abelian gauge group for the corresponding 5d SYM theories on M. We derive a vanishing theorem for BPS contact instantons by identifying the 6d potential energy and its BPS bound, in the 5d theory. To this end we need to perform a Wick rotation that complexifies the gauge field.


title: Additivity of maps preserving Jordan $\eta_{\ast}$-products on $C^{*}$-algebras

abstract: Let $\mathcal{A}$ and $\mathcal{B}$ be two $C^{*}$-algebras such that $\mathcal{B}$ is prime. In this paper, we investigate the additivity of map $\Phi$ from $\mathcal{A}$ onto $\mathcal{B}$ that are bijective unital and satisfies $$\Phi(AP+\eta PA^{*})=\Phi(A)\Phi(P)+\eta \Phi(P)\Phi(A)^{*},$$ for all $A\in\mathcal{A}$ and $P\in\{P_{1},I_{\mathcal{A}}-P_{1}\}$ where $P_{1}$ is a nontrivial projection in $\mathcal{A}$. Let $\eta$ be a non-zero complex number such that $|\eta|\neq1$, then $\Phi$ is additive. Moreover, if $\eta$ is rational then $\Phi$ is $\ast$-additive.


title: Second-order nonlinear optical metamaterials: ABC-type nanolaminates

abstract: Structuring optical materials on a nanometer scale can lead to artificial effective media, or metamaterials, with strongly altered optical behavior. Metamaterials can provide a wide range of linear optical properties such as negative refractive index, hyperbolic dispersion, or magnetic behavior at optical frequencies. Nonlinear optical properties, however, have only been demonstrated for patterned metallic films which suffer from high optical losses. Here we show that second-order nonlinear metamaterials can also be obtained from non-metallic centrosymmetric constituents with inherently low optical absorption. In our proof-of-principle experiments, we have iterated atomic-layer deposition (ALD) of three different constituents, A = Al$_2$O$_3$, B = TiO$_2$ and C = HfO$_2$. The centrosymmetry of the resulting ABC stack is broken since the ABC and the inverted CBA sequences are not equivalent - a necessary condition for non-zero second-order nonlinearity. To the best of our knowledge, this is the first realization of a bulk nonlinear optical metamaterial.


title: Simple and efficient representations for the fundamental solutions of Stokes flow in a half-space

abstract: We derive new formulas for the fundamental solutions of slow, viscous flow, governed by the Stokes equations, in a half-space. They are simpler than the classical representations obtained by Blake and collaborators, and can be efficiently implemented using existing fast solvers libraries. We show, for example, that the velocity field induced by a Stokeslet can be annihilated on the boundary (to establish a zero slip condition) using a single reflected Stokeslet combined with a single Papkovich-Neuber potential that involves only a scalar harmonic function. The new representation has a physically intuitive interpretation.


title: On Pimsner Popa bases

abstract: In this paper we examine bases for finite index inclusion of $II_1$ factors and connected inclusion of finite dimensional $C^*$- algebras. These bases behave nicely with respect to basic construction towers. As applications we have studied automorphisms of the hyperfinite $II_1$ factor $R$ which are `compatible with respect to the Jones' tower of finite dimensional $C^*$-algebras'. As a further application, in both cases we obtain a characterization, in terms of bases, of basic constructions. Finally we use these bases to describe the phenomenon of multistep basic constructions (in both the cases).


title: Coarsening in inhomogeneous systems

abstract: This Article is a brief review of coarsening phenomena occurring in systems where quenched features - such as random field, varying coupling constants or lattice vacancies - spoil homogeneity. We discuss the current understanding of the problem in ferromagnetic systems with a non-conserved scalar order parameter by focusing primarily on the form of the growth-law of the ordered domains and on the scaling properties.


title: Symmetries and reductions of order for certain nonlinear third and second-order differential equations with arbitrary nonlinearity

abstract: We examine the reductions of the order of certain third- and second-order nonlinear equations with arbitrary nonlinearity through their symmetries and some appropriate transformations. We use the folding transformation which enables one to change from a nonlinearity with an arbitrary exponent to a nonlinearity with a specific numerical exponent.


title: Holographic Entanglement Entropy for noncommutative Anti-de Sitter space

abstract: A metric is proposed to explore the noncommutative form of the Anti-de Sitter space due to quantum effects. It has been proved that the non commutativity in AdS space induces a single component gravitoelectric field. The holographic Ryu-Takayanagi (RT) algorithm is then applied to compute the entanglement entropy in dual $CFT_2$. This calculation can be exploited to compute UV-IR cutoff dependent central charge of the certain noncommutative $CFT_2$. This non commutative computation of the entanglement entropy can be interpreted in the form of the surface/state correspondence. We have shown that non commutativity increases the dimension of the effective Hilbert space of the dual CFT.


title: Diffuse emission of high-energy neutrinos from gamma-ray burst fireballs

abstract: Gamma-ray bursts (GRBs) have been suggested as possible sources of the high-energy neutrino flux recently detected by the IceCube telescope. We revisit the fireball emission model and elaborate an analytical prescription to estimate the high-energy neutrino prompt emission from pion and kaon decays, assuming that the leading mechanism for the neutrino production is lepto-hadronic. To this purpose, we include hadronic, radiative and adiabatic cooling effects and discuss their relevance for long- (including high- and low-luminosity) and short-duration GRBs. The expected diffuse neutrino background is derived, by requiring that the GRB high-energy neutrino counterparts follow up-to-date gamma-ray luminosity functions and redshift evolutions of the long and short GRBs. Although dedicated stacking searches have been unsuccessful up to now, we find that GRBs could contribute up to a few % to the observed IceCube high-energy neutrino flux for sub-PeV energies, assuming that the latter has a diffuse origin. Gamma-ray bursts, especially low-luminosity ones, could however be the main sources of the IceCube high-energy neutrino flux in the PeV range. While high-luminosity and low-luminosity GRBs have comparable intensities, the contribution from the short-duration component is significantly smaller. Our findings confirm the most-recent IceCube results on the GRB searches and suggest that larger exposure is mandatory to detect high-energy neutrinos from high-luminosity GRBs in the near future.


title: A Farewell to Falsifiability

abstract: Some of the most obviously correct physical theories - namely string theory and the multiverse - make no testable predictions, leading many to question whether we should accept something as scientific even if it makes no testable predictions and hence is not refutable. However, some far-thinking physicists have proposed instead that we should give up on the notion of Falsifiability itself. We endorse this suggestion but think it does not go nearly far enough. We believe that we should also dispense with other outdated ideas, such as Fidelity, Frugality, Factuality and other "F" words. And we quote a lot of famous people to support this view.


title: Defining relations of fusion products and Schur positivity

abstract: In this note we give defining relations of an $\mathfrak{sl}_{n+1}[t]$-module defined by the fusion product of simple $\mathfrak{sl}_{n+1}$-modules whose highest weights are multiples of a given fundamental weight. From this result we obtain a surjective homomorphism between two fusion products, which can be considered as a current algebra analog of Schur positivity.


title: The Libra Toolkit for Probabilistic Models

abstract: The Libra Toolkit is a collection of algorithms for learning and inference with discrete probabilistic models, including Bayesian networks, Markov networks, dependency networks, and sum-product networks. Compared to other toolkits, Libra places a greater emphasis on learning the structure of tractable models in which exact inference is efficient. It also includes a variety of algorithms for learning graphical models in which inference is potentially intractable, and for performing exact and approximate inference. Libra is released under a 2-clause BSD license to encourage broad use in academia and industry.


title: Dirac or Inverse Seesaw Neutrino Masses from Gauged B - L Symmetry

abstract: The gauged $B - L$ symmetry is one of the simplest and well studied extension of standard model. In the conventional case, addition of three singlet right handed neutrinos each transforming as $-1$ under the $B - L$ symmetry renders it anomaly free. It is usually assumed that the $B - L$ symmetry is spontaneously broken by a singlet scalar having two units of $B - L$ charge, resulting in a natural implementation of Majorana seesaw mechanism for neutrinos. However, as we discuss in this proceeding, there is another simple anomaly free solution which leads to Dirac or inverse seesaw masses for neutrinos. These new possibilities are explored along with an application to neutrino mixing with $S_3$ flavour symmetry.


title: Possible Field-Temperature Phase Diagrams of Two-Band Superconductors with Paramagnetic Pair-Breaking

abstract: Possible field-temperature superconducting (SC) phase diagrams in two-band quasi-two-dimensional materials with a strong paramagnetic pair-breaking (PPB) are considered theoretically. Attention is paid to the case under a magnetic field $perpendicular$ to the SC layers and to essential differences from the counterpart in the ordinary single-band material. It is found by examining the $H_{c2}(T)$ curve and the vortex lattices to be realized close to $H_{c2}$ that a PPB-induced SC phase with a spatial modulation parallel to the field tends to occur more easily than in the single-band case, and that a crisscrossing vortex lattice proposed previously can occur in place of the conventional Fulde-Ferrell-Larkin-Ovchinnikov state within a parameter range. The relevance of the obtained results to FeSe and other iron-based superconductors is discussed.


title: Curvature of the critical line on the plane of quark chemical potential and pseudo scalar meson mass for three-flavor QCD

abstract: We investigate the phase structure of three-flavor QCD in the presence of finite quark chemical potential $\mu/T\lesssim1.2$ by using the non-perturbatively $O(a)$ improved Wilson fermion action on lattices with a fixed temporal extent $N_{\rm t}=6$ and varied spatial linear extents $N_{\rm s}=8,10,12$. Especially, we focus on locating the critical end point that characterizes the phase structure, and extracting the curvature of the critical line on the $\mu$-$m_{\pi}$ plane. For Wilson-type fermions, the correspondence between bare parameters and physical parameters is indirect. Hence we present a strategy to transfer the bare parameter phase structure to the physical one, in order to obtain the curvature. Our conclusion is that the curvature is positive. This implies that, if one starts from a quark mass in the region of crossover at zero chemical potential, one would encounter a first-order phase transition when one raises the chemical potential.


title: On Stability of the Linearized Spacecraft Attitude Control System

abstract: This note is concerned with the stability and stabilization of the linearized spacecraft attitude control system. Necessary and sufficient conditions are respectively provided to guarantee that the considered systems are polynomially stable and stable in the Lyapunov sense. These two classes of conditions guarantee that the linearized spacecraft attitude control system can be respectively stabilized semi-globally and globally by saturated linear state feedback.


title: New shape resonances in one dimension

abstract: Hitherto, a finitely thick barrier next to a well or a rigid wall has been considered the potential of simplest shape giving rise to resonances (metastable states) in one dimension: $x \in(-\infty, \infty)$. In such a potential, there are three real turning points at an energy below the barrier. Resonances are Gamow's (time-wise) decaying states with discrete complex energies $({\cal E}_n = E_n -i\Gamma_n/2)$. These are also spatially catastrophic states that manifest as peaks/wiggles in Wigner's reflection time-delay at $E = \epsilon_n \approx E_n$. Here we explore potentials with simpler shapes giving rise to resonances - two-piece rising potentials having just one-turning point. We demonstrate our point by using rising exponential profile in various ways.


title: Uniform expansivity outside the critical neighborhood in the quadratic family

abstract: We use rigorous numerical techniques to compute a lower bound for the exponent of expansivity outside a neighborhood of the critical point for thousands of intervals of parameter values in the quadratic family. We compute a possibly small radius of the critical neighborhood, and a lower bound for the corresponding expansivity exponent outside this neighborhood, valid for all the parameters in each of the intervals. We illustrate and study the distribution of the radii and these exponents. The results of our computations are mathematically rigorous. The source code of the software and the results of the computations are made publicly available at http://www.pawelpilarczyk.com/quadratic/..


title: Catalogues of isolated galaxies, isolated pairs, and isolated triplets in the local Universe

abstract: The construction of catalogues of galaxies and the a posteriori study of galaxy properties in relation to their environment have been hampered by scarce redshift information. The new 3-dimensional (3D) surveys permit small, faint, physically bound satellites to be distinguished from a background-projected galaxy population. We aim to provide representative samples of isolated galaxies, isolated pairs, and isolated triplets for testing galaxy evolution and secular processes in low density regions of the local Universe, as well as to characterise their local and large-scale environments. We used spectroscopic data from the tenth data release of the SDSS-DR10 to automatically and homogeneously compile catalogues of 3702 isolated galaxies, 1240 isolated pairs, and 315 isolated triplets in the local Universe. To quantify the effects of their local and large-scale environments, we computed the projected density and the tidal strength for the brightest galaxy in each sample. We find evidence of isolated pairs and isolated triplets that are physically bound at projected separations up to $d \leq 450$ kpc with radial velocity difference $\Delta v \leq 160$ km s$^{-1}$, where the effect of the companion typically accounts for more than 98% of the total tidal strength affecting the central galaxy. For galaxies in the catalogues, we provide their positions, redshifts, and degrees of relation with their physical and large-scale environments. The catalogues are publicly available to the scientific community. For isolated galaxies, isolated pairs, and isolated triplets, there is no difference in their degree of interaction with the large-scale structure, which may suggest that they have a common origin in their formation and evolution. We find that most of them belong to the outer parts of filaments, walls, and clusters, and generally differ from the void population of galaxies.


title: Experimental Search for Hidden Photon CDM in the eV mass range with a Dish Antenna

abstract: A search for hidden photon cold dark matter (HP CDM) using a new technique with a dish antenna is reported. From the result of the measurement, we found no evidence for the existence of HP CDM and set an upper limit on the photon-HP mixing parameter $\chi$ of $\sim 6\times 10^{-12}$ for the hidden photon mass $m_\gamma = 3.1 \pm 1.2$ eV.


title: Disorder-induced suppression of superconductivity in the Si(111)-($\sqrt{7}\times\sqrt{3}$)-In surface: Scanning tunneling microscopy study

abstract: The critical effect of disorder on the two-dimensional (2D) surface superconductor Si(111)-($\sqrt{7}\times\sqrt{3}$)-In is clarified by comparing two regions with different degrees of disorder. Low-temperature scanning tunneling microscopy measurements reveal that superconductivity is retained in the less disordered region, judging from the characteristic differential conductance ($dI/dV$) spectra and from the formation of vortices under magnetic fields. In striking contrast, the absence of those features in the highly disordered region shows that superconductivity is strongly suppressed there. Analysis of observed zero-bias anomalies in $dI/dV$ spectra allows us to estimate the reduction in the transition temperature $T_{\rm c}$, which explains the fate of superconductivity in each region.


title: Increased signaling entropy in cancer requires the scale-free property of protein interaction networks

abstract: One of the key characteristics of cancer cells is an increased phenotypic plasticity, driven by underlying genetic and epigenetic perturbations. However, at a systems-level it is unclear how these perturbations give rise to the observed increased plasticity. Elucidating such systems-level principles is key for an improved understanding of cancer. Recently, it has been shown that signaling entropy, an overall measure of signaling pathway promiscuity, and computable from integrating a sample's gene expression profile with a protein interaction network, correlates with phenotypic plasticity and is increased in cancer compared to normal tissue. Here we develop a computational framework for studying the effects of network perturbations on signaling entropy. We demonstrate that the increased signaling entropy of cancer is driven by two factors: (i) the scale-free (or near scale-free) topology of the interaction network, and (ii) a subtle positive correlation between differential gene expression and node connectivity. Indeed, we show that if protein interaction networks were random graphs, described by Poisson degree distributions, that cancer would generally not exhibit an increased signaling entropy. In summary, this work exposes a deep connection between cancer, signaling entropy and interaction network topology.


title: On skein relations in class S theories

abstract: Loop operators of a class S theory arise from networks on the corresponding Riemann surface, and their operator product expansions are given in terms of the skein relations, that we describe in detail in the case of class S theories of type A. As two applications, we explicitly determine networks corresponding to dyonic loops of $N=4$ $SU(3)$ super Yang-Mills, and compute the superconformal index of a nontrivial network operator of the $T_3$ theory.


title: Formal normal form of Ak slow fast systems

abstract: An Ak slow fast system is a particular type of singularly perturbed ODE. The corresponding slow manifold is defined by the critical points of a universal unfolding of an Ak singularity. In this note we propose a formal normal form of Ak slow fast systems.


title: A short note on biharmonic submanifolds in non-Sasakian contact metric 3-manifolds

abstract: We characterize biharmonic anti-invariant surfaces in $3$-dimensional generalized $(\kappa, \mu)$-manifolds with non-zero constant mean curvature by means of the scalar curvature of the ambient space and the mean curvature. In addition, we give a method for constructing infinity many examples of biharmonic submanifolds in a certain $3$-dimensional generalized $(\kappa, \mu)$-manifold. Moreover, we determine $3$-dimensional generalized $(\kappa, \mu)$-manifolds which admit a certain kind of proper biharmonic foliation.


title: Chemical modifications and stability of phosphorene with impurities: A first principles study

abstract: We perform a systematic first-principles study of phosphorene in the presence of typical monovalent (hydrogen, fluorine) and divalent (oxygen) impurities. The results of our modeling suggest a decomposition of phosphorene into weakly bonded one-dimensional (1D) chains upon single- and double-side hydrogenation and fluorination. In spite of a sizable quasiparticle band gap (2.29 eV), fully hydrogenated phosphorene found to be dynamically unstable. In contrast, full fluorination of phosphorene gives rise to a stable structure, being an indirect gap semiconductor with the band gap of 2.27 eV. We also show that fluorination of phosphorene from the gas phase is significantly more likely than hydrogenation due to the relatively low energy barrier for the dissociative adsorption of F2 (0.19 eV) compared to H2 (2.54 eV). At low concentrations, monovalent impurities tend to form regular atomic rows phosphorene, though such patterns do not seem to be easily achievable due to high migration barriers (1.09 and 2.81 eV for H2 and F2, respectively). Oxidation of phosphorene is shown to be a qualitatively different process. Particularly, we observe instability of phosphorene upon oxidation, leading to the formation of disordered amorphous-like structures at high concentrations of impurities.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.chem-ph physics.comp-ph


title: Pressure-induced Lifshitz transition in black phosphorus

abstract: In a semimetal, both electron and hole carriers contribute to the density of states at the Fermi level. The small band overlaps and multi-band effects give rise to many novel electronic properties, such as relativistic Dirac fermions with linear dispersion, titanic magnetoresistance and unconventional superconductivity. Black phosphorus has recently emerged as an exceptional semiconductor with high carrier mobility and a direct, tunable bandgap. Of particular importance is the search for exotic electronic states in black phosphorus, which may amplify the material's potential beyond semiconductor devices. Here we show that a moderate hydrostatic pressure effectively suppresses the band gap and induces a Lifshitz transition from semiconductor to semimetal in black phosphorus; a colossal magnetoresistance is observed in the semimetallic phase. Quantum oscillations in high magnetic field reveal the complex Fermi surface topology of the semimetallic black phosphorus. In particular, a Dirac-like fermion emerges at around 1.2 GPa, which is continuously tuned by external pressure. The observed semi-metallic behavior greatly enriches black phosphorus's material property, and sets the stage for the exploration of novel electronic states in this material. Moreover, these interesting behaviors make phosphorene a good candidate for the realization of a new two-dimensional relativistic electron system, other than graphene.


title: Conjugate-Root Offset-QAM for Orthogonal Multicarrier Transmission

abstract: Current implementations of OFDM/OQAM are restricted to band-limited symmetric filters. To circumvent this, non-symmetric conjugate root (CR) filters are proposed for OQAM modulation. The system is applied to Generalized Frequency Division Multiplexing (GFDM) and a method for achieving transmit diversity with OQAM modulation is presented. The proposal reduces implementation complexity compared to existing works and provides a more regular phase space. GFDM/CR-OQAM outperforms conventional GFDM in terms of symbol error rate in fading multipath channels and provides a more localized spectrum compared to conventional OQAM.


title: Uniqueness of diffusion on domains with rough boundaries

abstract: Let $\Omega$ be a domain in $\mathbf R^d$ and $h(\varphi)=\sum^d_{k,l=1}(\partial_k\varphi, c_{kl}\partial_l\varphi)$ a quadratic form on $L_2(\Omega)$ with domain $C_c^\infty(\Omega)$ where the $c_{kl}$ are real symmetric $L_\infty(\Omega)$-functions with $C(x)=(c_{kl}(x))>0$ for almost all $x\in \Omega$. Further assume there are $a, \delta>0$ such that $a^{-1}d_\Gamma^{\delta}\,I\le C\le a\,d_\Gamma^{\delta}\,I$ for $d_\Gamma\le 1$ where $d_\Gamma$ is the Euclidean distance to the boundary $\Gamma$ of $\Omega$. We assume that $\Gamma$ is Ahlfors $s$-regular and if $s$, the Hausdorff dimension of $\Gamma$, is larger or equal to $d-1$ we also assume a mild uniformity property for $\Omega$ in the neighbourhood of one $z\in\Gamma$. Then we establish that $h$ is Markov unique, i.e. it has a unique Dirichlet form extension, if and only if $\delta\ge 1+(s-(d-1))$. The result applies to forms on Lipschitz domains or on a wide class of domains with $\Gamma$ a self-similar fractal. In particular it applies to the interior or exterior of the von Koch snowflake curve in $\mathbf R^2$ or the complement of a uniformly disconnected set in $\mathbf R^d$.


title: Interaction-Dependent Photon-Assisted Tunneling in Optical Lattices: A Quantum Simulator of Strongly-Correlated Electrons and Dynamical Gauge Fields

abstract: We introduce a scheme that combines photon-assisted tunneling by a moving optical lattice with strong Hubbard interactions, and allows for the quantum simulation of paradigmatic quantum many-body models. We show that, in a certain regime, this quantum simulator yields an effective Hubbard Hamiltonian with tunable bond-charge interactions, a model studied in the context of strongly-correlated electrons. In a different regime, we show how to exploit a correlated destruction of tunneling to explore Nagaoka ferromagnetism at finite Hubbard repulsion. By changing the photon-assisted tunneling parameters, we can also obtain a $t$-$J$ model with independently controllable tunneling $t$, super-exchange interaction $J$, and even a Heisenberg-Ising anisotropy. Hence, the full phase diagram of this paradigmatic model becomes accessible to cold-atom experiments, departing from the region $t\gg J$ allowed by standard single-band Hubbard Hamiltonians in the strong-repulsion limit. We finally show that, by generalizing the photon-assisted tunneling scheme, the quantum simulator yields models of dynamical Gauge fields, where atoms of a given electronic state dress the tunneling of the atoms with a different internal state, leading to Peierls phases that mimic a dynamical magnetic field.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.str-el quant-ph


title: Quantum discord for the general two-qubit case

abstract: Recently, Girolami and Adesso have demonstrated that the calculation of quantum discord for two-qubit case can be viewed as to solve a pair of transcendental equation (Phys. Rev. A, {\bf 83}, 052108(2011)). In present work, we introduce the generalized Choi-Jamiolkowski isomorphism and apply it as a convenient tool for constructing transcendental equations. For the general two-qubit case, we show that the transcendental equations always have a finite set of universal solutions, this result can be viewed as a generalization of the one get by Ali, Rau, and Alber (Phys. Rev. A, {\bf 81}, 042105 (2010)). For a subclass of $X$ state, we find the analytical solutions by solving the transcendental equations.


title: The system for delivery of IR laser radiaton into high vacuum

abstract: The system for insertion of a laser beam into the vacuum chamber of high-energy storage ring is described. The main part of the system is the high-vacuum viewport for the IR radiation, based on ZnSe or GaAs crystals. The design of the viewports is presented.


title: Entrainment of heterogeneous glycolytic oscillations in single cells

abstract: Cell signaling, gene expression, and metabolism are affected by cell-cell heterogeneity and random changes in the environment. The effects of such fluctuations on cell signaling and gene expression have recently been studied intensively using single-cell experiments. In metabolism heterogeneity may be particularly important because it may affect synchronisation of metabolic oscillations, an important example of cell-cell communication. This synchronisation is notoriously difficult to describe theoretically as the example of glycolytic oscillations shows: neither is the mechanism of glycolytic synchronisation understood nor the role of cell-cell heterogeneity. To pin down the mechanism and to assess its robustness and universality we have experimentally investigated the entrainment of glycolytic oscillations in individual yeast cells by periodic external perturbations. We find that oscillatory cells synchronise through phase shifts and that the mechanism is insensitive to cell heterogeneity (robustness) and similar for different types of external perturbations (universality).


title: Test of candidate light distributors for the muon (g$-$2) laser calibration system

abstract: The new muon (g-2) experiment E989 at Fermilab will be equipped with a laser calibration system for all the 1296 channels of the calorimeters. An integrating sphere and an alternative system based on an engineered diffuser have been considered as possible light distributors for the experiment. We present here a detailed comparison of the two based on temporal response, spatial uniformity, transmittance and time stability.


title: 5-minute Solar Oscillations and Ion Cyclotron Waves in the Solar Wind

abstract: In the present paper we study impact of the photospheric 5-minute oscillations on the ion cyclotron waves in the solar wind. We proceed from the assumption that the ion cyclotron waves in solar wind are experiencing modulation with a characteristic period of 5 minutes under the influence of Alfven waves driven by photospheric motions. The theory presented in our paper predicts a deep frequency modulation of the ion cyclotron waves. The frequency modulation is expected mainly from variations in orientation of the IMF lines. In turn, the variations in orientation are caused by the Alfven waves, propagating from the Sun. To test the theoretical predictions we have analyzed records of the ultra-low-frequency (ULF) geoelectromagnetic waves in order to find the permanent quasi-monochromatic oscillations of natural origin in the Pc1-2 frequency band (0.1-5 Hz), the carrier frequency of which varies with time in a wide range. As a result we found the so-called "serpentine emission" (SE), which was observed in Antarctic at the Vostok station near the South Geomagnetic Pole. The permanency, range of frequencies, and the deep frequency modulation of SE correspond to the qualitative properties of ion cyclotron waves in the solar wind. Clearly expressed 5-minute modulation of the carrier frequency is particularly important feature of the SE in the context of this work. We believe that we have found non-trivial manifestation of the solar 5-min oscillations on the Earth.


title: From Haar to Lebesgue via Domain Theory, Revised version

abstract: If ${\mathcal C}\simeq 2^{\mathbb N}$ denotes the Cantor set realized as the infinite product of two-point groups, then a folklore result says the Cantor map from ${\mathcal C}$ into $[0,1]$ sends Haar measure to Lebesgue measure on the interval. In fact, ${\mathcal C}$ admits many distinct topological group structures. In this note, we show that the Haar measures induced by these distinct group structures are share this property. We prove this by showing that Haar measure for any group structure is the same as Haar measure induced by a related abelian group structure. Moreover, each abelian group structure on ${\mathcal C}$ supports a natural total order that determines a map onto the unit interval that is monotone, and hence sends intervals in ${\mathcal C}$ to subintervals of the unit interval. Using techniques from domain theory, we show this implies this map sends Haar measure on ${\mathcal C}$ to Lebesgue measure on the interval, and we then use this to contract a Borel isomorphism between any two group structures on ${\mathcal C}$.