title: Directed transport in quantum star graphs

abstract: We study the quantum dynamics of Gaussian wave packets on star graphs whose arms feature each a periodic potential and an external time-dependent field. Assuming that the potentials and the field can be manipulated separately for each arm of the star, we show that it is possible to manipulate the direction of the motion of a Gaussian wave packet through the bifurcation point by a suitable choice of the parameters of the external fields. In doing so, one can achieve a transmission of the wave packet into the desired arm with nearly 70\% while also keeping the shape of the wave packet approximately intact. Since a star graph is the simplest element of many other complex graphs, the obtained results can be considered as the first step to wave packet manipulations on complex networks.


title: Rational Solitons in the Parity-Time-Symmetric Nonlocal Nonlinear Schr\"{o}dinger Model

abstract: In this paper, via the generalized Darboux transformation, rational soliton solutions are derived for the parity-time-symmetric nonlocal nonlinear Schr\"{o}dinger (NLS) model with the defocusing-type nonlinearity. We find that the first-order solution can exhibit the elastic interactions of rational antidark-antidark, dark-antidark, and antidark-dark soliton pairs on a continuous wave background, but there is no phase shift for the interacting solitons. Also, we discuss the degenerate case in which only one rational dark or antidark soliton survives. Moreover, we reveal that the second-order rational solution displays the interactions between two solitons with combined-peak-valley structures in the near-field regions, but each interacting soliton vanishes or evolves into a rational dark or antidark soliton as $|z|\ra \infty$. In addition, we numerically examine the stability of the first- and second-order rational soliton solutions.


title: Hypercontractivity for Functional Stochastic Partial Differential Equations

abstract: Explicit sufficient conditions on the hypercontractivity are presented for two classes of functional stochastic partial differential equations driven by, respectively, non-degenerate and degenerate Gaussian noises. Consequently, these conditions imply that the associated Markov semigroup is $L^2$-compact and exponentially convergent to the stationary distribution in entropy, variance and total variational norm. As the log-Sobolev inequality is invalid under the framework, we apply a criterion presented in the recent paper \cite{Wang14} using Harnack inequality, coupling property and Gaussian concentration property of the stationary distribution. To verify the concentration property, we prove a Fernique type inequality for infinite-dimensional Gaussian processes which might be interesting by itself.


title: Isotope Anomalies in the Fe-group Elements in Meteorites and Connection to Nucleosynthesis in AGB Stars

abstract: We study the effects of neutron captures in AGB stars on \oq Fe-group\cqb elements, with an emphasis on Cr, Fe, and Ni. These elements show anomalies in $^{54}$Cr, $^{58}$Fe, and $^{64}$Ni in solar-system materials, which are commonly attributed to SNe. However, as large fractions of the interstellar medium (ISM) were reprocessed in AGB stars, these elements were reprocessed, too. We calculate the effects of such reprocessing on Cr, Fe, and Ni through 1.5\msb and 3\msb AGB models, adopting solar and 1/3 solar metallicities. All cases produce excesses of $^{54}$Cr, $^{58}$Fe, and $^{64}$Ni, while the other isotopes are little altered; hence, the observations may be explained by AGB processing. The results are robust and not dependent on the detailed initial isotopic composition. Consequences for other \oq Fe group\cqb elements are then explored. They include $^{50}$Ti excesses, and some production of $^{46,47,49}$Ti. In many circumstellar condensates, Ti quantitatively reflects these effects of AGB neutron captures. Scatter in the data results from small variations (granularity) in the isotopic composition of the local ISM. For Si, the main effects are instead due to variations in the local ISM from different SNe sources. The problem of Ca is discussed, particularly with regard to $^{48}$Ca. The measured data are usually represented assuming terrestrial values for $^{42}$Ca/$^{44}$Ca. Materials processed in AGB stars or sources with variable initial $^{42}$Ca/$^{44}$Ca ratios can give apparent $^{48}$Ca excesses/deficiencies, attributed to SNe. The broader issue of Galactic Chemical Evolution is also discussed in view of the isotopic granularity in the ISM. \end{abstract}


title: Optical Limiting and Theoretical Modelling of Layered Transition Metal Dichalcogenide Nanosheets

abstract: Nonlinear optical property of transition metal dichalcogenide (TMDC) nanosheet dispersions, including MoS2, MoSe2, WS2, and WSe2, was performed by using Z-scan technique with ns pulsed laser at 1064 nm and 532 nm. The results demonstrate that the TMDC dispersions exhibit significant optical limiting response at 1064 nm due to nonlinear scattering, in contrast to the combined effect of both saturable absorption and nonlinear scattering at 532 nm. Selenium compounds show better optical limiting performance than that of the sulfides in the near infrared. A liquid dispersion system based theoretical modelling is proposed to estimate the number density of the nanosheet dispersions, the relationship between incident laser fluence and the size of the laser generated micro-bubbles, and hence the Mie scattering-induced broadband optical limiting behavior in the TMDC dispersions.


title: Direct Observationof DegenerateTwo-Photon Absorption and Its Saturation in WS2 and MoS2 Monolayer and Few-Layer Films

abstract: The optical nonlinearity of WS2, MoS2 monolayer and few-layer films was investigated using the Z-scan technique with femtosecond pulses from the visible to the near infrared. The dependence of nonlinear absorption of the WS2 and MoS2 films on layer number and excitation wavelength was studied systematically. WS2 with 1~3 layers exhibits a giant two-photon absorption (TPA) coefficient. Saturation of TPA for WS2 with 1~3 layers and MoS2 with 25~27 layers was observed. The giant nonlinearity of WS2 and MoS2 is attributed to two dimensional confinement, a giant exciton effect and the band edge resonance of TPA.


title: Giant Two-Photon Absorption in Monolayer MoS2

abstract: Strong two-photon absorption (TPA) in monolayer MoS2 is demonstrated in contrast to saturable absorption (SA) in multilayer MoS2 under the excitation of femtosecond laser pulses in the near infrared region. MoS2 in the forms of monolayer single crystal and multilayer triangular islands are grown on either quartz or SiO2/Si by employing the seeding method through chemistry vapor deposition. The nonlinear transmission measurements reveal that monolayer MoS2 possesses a giant nonsaturation TPA coefficient, larger than that of conventional semiconductors. As a result of TPA, two-photon pumped frequency up-converted luminescence is observed directly in the monolayer MoS2. For the multilayer MoS2, the SA response is demonstrated with the ratio of the excited-state absorption cross section to ground-state cross section of 0.18. In addition, the laser damage threshold of the monolayer MoS2 is 97 GW/cm2, larger than that of the multilayer MoS2 of 78 GW/cm2.


title: Classical-driving-enhanced parameter-estimation precision of a non-Markovian dissipative two-state system

abstract: The dynamics of quantum Fisher information (QFI) of the phase parameter in a driven two-state system is studied within the framework of non-Markovian dissipative process. The influences of memory effects, classical driving and detunings on the parameter-estimation precision are demonstrated by exactly solving the Hamiltonian under rotating-wave approximation. In sharp contrast with the results obtained in the presence of Markovian dissipation, we find that classical driving can drastically enhance the QFI, namely, the precision of parameter estimation in the non-Markovian regime. Moreover, the parameter-estimation precision may even be preserved from the influence of surrounding non-Markovian dissipation with the assistance of classical driving. Remarkably, we reveal that the enhancement and preservation of QFI highly depend on the combination of classical driving and non-Markovian effects. Finally, a phenomenological explanation of the underlying mechanism is presented in detail via the quasimode theory


title: Attack Trees with Sequential Conjunction

abstract: We provide the first formal foundation of SAND attack trees which are a popular extension of the well-known attack trees. The SAND attack tree formalism increases the expressivity of attack trees by introducing the sequential conjunctive operator SAND. This operator enables the modeling of ordered events. We give a semantics to SAND attack trees by interpreting them as sets of series-parallel graphs and propose a complete axiomatization of this semantics. We define normal forms for SAND attack trees and a term rewriting system which allows identification of semantically equivalent trees. Finally, we formalize how to quantitatively analyze SAND attack trees using attributes.


title: Structural instability of the rutile compounds and its relevance to the metal-insulator transition of VO2

abstract: The metal-insulator transition (MIT) of VO2 is discussed with particular emphasis on the structural instability of the rutile compounds toward dimerization. Ti substitution experiments reveal that the MIT is robust up to 20% Ti substitutions and occurs even in extremely thin V-rich lamellas in spinodally decomposed TiO2-VO2 composites, indicating that the MIT is insensitive to hole doping and essentially takes on a local character. These observations suggest that either electron correlation in the Mott-Hubbard sense or Peierls (Fermi-surface) instability plays a minor role on the MIT. Through a broad perspective of crystal chemistry on the rutile-related compounds, it is noted that VO2 and another MIT compound NbO2 in the family eventually lie just near the borderline between the two structural groups with the regular rutile structure and the distorted structures characterized by the formation of dimers with direct metal-metal bonding. The MITs of VO2 and NbO2 are natural consequences of structural transitions between the two groups, as all the d electrons are trapped in the bonding molecular orbitals of dimers at low temperatures. Such dimer crystals are ubiquitously found in early transition metal compounds having chain-like structures, such as MoBr3, NbCl4, Ti4O7, and V4O7, the latter two of which also exhibit MITs probably of the same origin. In a broader sense, the dimer crystal is a kind of molecular orbital crystals in which virtual molecules made of transition metal atoms with partially-filled t2g shells, such as dimers, trimers or larger ones, are generated by metal-metal bonding and are embedded into edge- or face-sharing octahedron networks of various kinds. The molecular orbital crystallization opens a natural route to stabilization of unpaired t2g electrons in crystals.


title: Spectral Theorem for definitizable normal linear operators on Krein spaces

abstract: In the present note a spectral theorem for normal definitizable linear operators on Krein spaces is derived by developing a functional calculus $\phi \mapsto \phi(N)$ which is the proper analogue of $\phi \mapsto \int \phi \, dE$ in the Hilbert space situation.


title: Physics of Giant ElectroMagnetic Pulse generation in short pulse laser experiments

abstract: In this paper we describe the physical processes that lead to the generation of Giant Electro- Magnetic Pulses (GEMP) on powerful laser facilities. Our study is based on experimental mea- surements of both the charging of a solid target irradiated by an ultra-short, ultra-intense laser and the detection of the electromagnetic emission in the GHz domain. An unambiguous correlation between the neutralisation current in the target holder and the electromagnetic emission shows that the source of the GEMP is the remaining positive charge inside the target after the escape of fast electrons accelerated by the ultra-intense laser. A simple model for calculating this charge in the thick target case is presented. From this model and knowing the geometry of the target holder, it becomes possible to estimate the intensity and the dominant frequencies of the GEMP on any facility.


title: Higher Toda brackets and Massey products

abstract: We provide a uniform definition of higher order Toda brackets in a general setting, covering the known cases of long Toda brackets for topological spaces and chain complexes and Massey products for differential graded algebras, among others.


title: Network Coding for Cooperative Mobile Devices with Multiple Interfaces

abstract: Cooperation among mobile devices and utilizing multiple interfaces such as cellular and local area links simultaneously are promising to meet the increasing throughput demand over cellular links. In particular, when mobile devices are in the close proximity of each other and are interested in the same content, device-to-device connections such as WiFi-Direct, in addition to cellular links, can be utilized to construct a cooperative system. However, it is crucial to understand the potential of network coding for cooperating mobile devices with multiple interfaces. In this paper, we consider this problem, and (i) develop network coding schemes for cooperative mobile devices with multiple interfaces, and (ii) characterize the performance of network coding by using the number of transmissions to recover all packets as a performance metric.


title: Proton Spin and Tensorgluons

abstract: Recently it was suggested that inside the hadrons there are additional partons - tensorgluons - which carry the same charges as the gluons, but have larger spin. The nonzero density of tensorgluons can be created inside a nucleon by radiation of tensorgluons by gluons. Tensorgluons can carry a part of nucleon momentum together with gluons. Because tensorgluons have a larger spin, they can influence the spin structure of the nucleon. We analyse a possible contribution of polarised tensorgluon density to the spin of the nucleon. This contribution appears in the next to leading order, compared to the gluons and can provide a substantial screening effect due to the larger spin of tensorgluons.


title: Spacelike and Timelike Admissible Smarandache Curves in Pseudo-Galilean Space

abstract: In this paper, space and timelike admissible Smarandache curves in the pseudo- Galilean 3-space are investigated. Also, Smarandache curves of the position vector of space and timelike arbitrary curve and some of its special curves in the pseudo- Galilean 3-space are obtained. To confirm our main results, some examples are given and illustrated.


title: Local Hamiltonians with Approximation-Robust Entanglement

abstract: Quantum entanglement is considered, by and large, to be a very delicate and non-robust phenomenon that is very hard to maintain in the presence of noise, or non-zero temperatures. In recent years however, and motivated, in part, by a quest for a quantum analog of the PCP theorem researches have tried to establish whether or not we can preserve quantum entanglement at "constant" temperatures that are independent of system size. This would imply that any quantum state with energy at most, say 0.05 of the total available energy of the Hamiltonian, would be highly-entangled. To this date, no such systems were found, and moreover, it became evident that even embedding local Hamiltonians on robust, albeit "non-physical" topologies, namely expanders, does not guarantee entanglement robustness. In this study, we indicate that such robustness may be possible after all: We construct an infinite family of O(1)-local Hamiltonians, corresponding to check terms of a quantum error-correcting code with the following property of inapproximability: any quantum state with energy at most 0.05 w.r.t. the total available energy cannot be even approximately simulated by classical circuits of bounded (sub-logarithmic) depth. In a sense, this implies that even providing a "witness" to the fact that the local Hamiltonian can be "almost" satisfied, already requires some measure of long-range entanglement. Our construction is but a first step in what, we believe, is a whole range of possible entanglement - robust local Hamiltonians. A natural next step, we believe, is to devise such local Hamiltonians that resist approximation in terms of bounded-depth quantum circuits (e.g. NLTS), and even find such robust forms of entanglement that are useful for some computation.


title: Elastic Waves Scattering without Conversion in Metamaterials with Simultaneous Zero Indices for Longitudinal and Transverse waves

abstract: We theoretically investigate elastic waves propagating in metamaterials with simultaneous zero indices for both the longitudinal and transverse waves. With scattering objects (here cylinders) present in the metamaterials slabs, while the elastic waves can mostly transmit through the metamaterials slabs perfectly, exhibiting the well-known cloaking effect of zero index metamaterials, they nevertheless become totally blocked at resonances, indicating strong elastic waves scattering by the objects in the cases. However, despite the occurrence of the elastic waves scattering, there is, counter-intuitively, no mode conversion between the longitudinal and transverse waves in the process, completely in contrast with that in conventional elastic media. A design of two-dimensional phononic crystal with these peculiar properties is presented.


title: label.switching: An R Package for Dealing with the Label Switching Problem in MCMC Outputs

abstract: Label switching is a well-known and fundamental problem in Bayesian estimation of mixture or hidden Markov models. In case that the prior distribution of the model parameters is the same for all states, then both the likelihood and posterior distribution are invariant to permutations of the parameters. This property makes Markov chain Monte Carlo (MCMC) samples simulated from the posterior distribution non-identifiable. In this paper, the \pkg{label.switching} package is introduced. It contains one probabilistic and seven deterministic relabelling algorithms in order to post-process a given MCMC sample, provided by the user. Each method returns a set of permutations that can be used to reorder the MCMC output. Then, any parametric function of interest can be inferred using the reordered MCMC sample. A set of user-defined permutations is also accepted, allowing the researcher to benchmark new relabelling methods against the available ones


title: Multiplicative expression for the coefficient in fermionic 3-3 relation

abstract: Recently, a family of fermionic relations were discovered corresponding to Pachner move 3-3 and parameterized by complex-valued 2-cocycles, where the weight of a pentachoron (4-simplex) is a Grassmann-Gaussian exponent. Here, the proportionality coefficient between Berezin integrals in the l.h.s. and r.h.s. of such relations is written in a form multiplicative over simplices.


title: Nondense orbits for Anosov diffeomorphisms of the $2$-torus

abstract: Let $\lambda$ denote the probability Lebesgue measure on ${\mathbb T}^2$. For any $C^2$-Anosov diffeomorphism of the $2$-torus preserving $\lambda$ with measure-theoretic entropy equal to topological entropy, we show that the set of points with nondense orbits is hyperplane absolute winning (HAW). This generalizes the result in~\cite[Theorem~1.4]{T4} for $C^2$-expanding maps of the circle.


title: On the integrability in Grassmann geometries: integrable systems associated with fourfolds Gr(3, 5)

abstract: We investigate dispersionless integrable systems in 3D associated with fourfolds in the Grassmannian Gr(3,5). Such systems appear in numerous applications in continuum mechanics, general relativity and differential geometry, and include such well-known examples as the dispersionless Kadomtsev-Petviashvili equation, the Boyer-Finley equation, etc. We prove the equivalence of the four different approaches to integrability, revealing a remarkable correspondence with Einstein-Weyl geometry and the theory of GL(2,R) structures.


title: Minimal rational curves on wonderful group compactifications

abstract: Consider a simple algebraic group G of adjoint type, and its wonderful compactification X. We show that X admits a unique family of minimal rational curves, and we explicitly describe the subfamily consisting of curves through a general point. As an application, we show that X has the target rigidity property when G is not of type A_1 or C.


title: Tradeoff for Heterogeneous Distributed Storage Systems between Storage and Repair Cost

abstract: In this paper, we consider heterogeneous distributed storage systems (DSSs) having flexible reconstruction degree, where each node in the system has dynamic repair bandwidth and dynamic storage capacity. In particular, a data collector can reconstruct the file at time $t$ using some arbitrary nodes in the system and for a node failure the system can be repaired by some set of arbitrary nodes. Using $min$-$cut$ bound, we investigate the fundamental tradeoff between storage and repair cost for our model of heterogeneous DSS. In particular, the problem is formulated as bi-objective optimization linear programing problem. For an arbitrary DSS, it is shown that the calculated $min$-$cut$ bound is tight.


title: Generalized Frol\'ik classes

abstract: The class $\mathfrak C $ relative to countably compact topological spaces and the class $\mathfrak P$ relative to pseudocompact spaces introduced by Z. Frol\'ik are naturally generalized relative to every topological property. We provide a characterization of such generalized Frol\'ik classes in the broad case of properties defined in terms of filter convergence. If a class of spaces can be defined in terms of filter convergence, then the same is true for its Frol\'ik class.


title: Testing for replicability in a follow-up study when the primary study hypotheses are two-sided

abstract: When testing for replication of results from a primary study with two-sided hypotheses in a follow-up study, we are usually interested in discovering the features with discoveries in the same direction in the two studies. The direction of testing in the follow-up study for each feature can therefore be decided by the primary study. We prove that in this case the methods suggested in Heller, Bogomolov, and Benjamini (2014) for control over false replicability claims are valid. Specifically, we prove that if we input into the procedures in Heller, Bogomolov, and Benjamini (2014) the one-sided p-values in the directions favoured by the primary study, then we achieve directional control over the desired error measure (family-wise error rate or false discovery rate).


title: Large excitonic binding energy in GaN based superluminescent light emitting diode on naturally survived sub-10 nm lateral nanowires

abstract: We demonstrate a novel method for nanowire formation by natural selection during wet chemical etching in boiling Phosphoric acid. It is observed that wire lateral dimensions of sub-10 nm and lengths of 700 nm or more have been naturally formed during the wet etching. The dimension variation is controlled through etching times wherein the underlying cause is the merging of the nearby crystallographic hexagonal etch pits. The emission processes involving excitons are found to be efficient and lead to enhanced emission characteristics. The exciton binding energy is augmented by using quantum confinement whereby enforcing greater overlap of the electron-hole wave-function. The surviving nanowires are nearly defect-free, have large exciton binding energies of around 45 meV and a small temperature variation of the output electroluminescent light. We have observed superluminescent behaviour of the LEDs formed on these nanowires. There is no observable efficiency roll off till current densities of 400 A/cm2. The present work thus provides an innovative and cost effective manner of device fabrication on the formed nanowires and proves the immediate performance enhancement achievable.


title: Renormalization of dimension 6 gluon operators

abstract: We identify the independent dimension 6 twist 4 gluon operators and calculate their renormalization in the pure gauge theory. By constructing the renormalization group invariant combinations, we find the scale invariant condensates that can be estimated in nonperturbative calculations and used in QCD sum rules for heavy quark systems in medium.


title: MHD Seismology of a loop-like filament tube by observed kink waves

abstract: We report and analyze the observational evidence of global kink oscillations in a solar filament as observed in H alpha by National Solar Observatory (NSO)/Global Oscillation Network Group (GONG) instrument. An M1.1-class flare in active region 11692 on 2013 March 15 induced a global kink mode in the filament lying in the south-west of AR11692.We find periods of about 61 - 67 minutes and damping times of 92 - 117 minutes at three vertical slice positions chosen in and around the filament apex. We find that the waves are damped. From the observed global kink mode period and damping time scale using the theory of resonant absorption we perform prominence seismology. We estimate a lower cut-off value for the inhomogeneity length-scale to be around 0.34 - 0.44 times the radius of the filament cross-section.


title: Determination of the neutrino mass by electron capture in 163 Holmium and the role of the three-hole states in 163 Dysprosium

abstract: 163 Holmium to 163 Dysprosium is probably due to the small Q value of about 2.5 keV the best case to determine the neutrino mass by electron capture. The energy of the Q value is distributed between the excitation of Dysprosium (and the neglected small recoil of Holmium) and the relativistic energy of the emitted neutrino including the restmass. The reduction of the upper end of the deexcitation spectrum of Dysprosium below the Q value allows to determine the neutrino mass. The excitation of Dysprosium can be calculated in the sudden approximation of the overlap of the electron wave functions of Holmium minus the captured electron and one-, two-, three- and multiple hole-excitations in Dysprosium. Robertson and the author have calculated the influence of the two-hole states on the Dysprosium deexitation spectrum. Here for the first time the influence of the three-hole states on the deexcitation bolometer spectrum of 163 Dysprosium is presented. The electron wave functions and the overlaps are calculated selfconsitently in a fully relativistic and antisymmetrized Dirac-Hartree-Fock approach in Holmium and in Dysprosium. The electron orbitals in Dysprosium are determined including the one-hole states in the selfconsistent iteration. The influence of the three-hole states on the deexcitation (by X-rays and Auger electrons) spectrum is hardly visible. The three-hole states seem not to be important for the determination of the neutrino mass.


title: About the cohomological dimension of certain stratified varieties

abstract: We determine an upper bound for the cohomological dimension of the complement of a closed subset in a projective variety which possesses an appropriate stratification. We apply the result to several particular cases, including the Bialynicki-Birula stratification; in this latter case, the bound is optimal.


title: On the Bernstein-Hoeffding method

abstract: We show that the Bernstein-Hoeffding method can be employed to a larger class of generalized moments. This class includes the exponential moments whose properties play a key role in the proof of a well-known inequality of Wassily Hoeffding, for sums of independent and bounded random variables whose mean is assumed to be known. As a result we can generalise and improve upon this inequality. We show that Hoeffding's bound is optimal in a broader sense. Our approach allows to obtain "missing" factors in Hoeffding's inequality whose existence is motivated by the central limit theorem. The later result is a rather weaker version of a theorem that is due to Michel Talagrand. Using ideas from the theory of Bernstein polynomials, we show that the Bernstein-Hoeffding method can be adapted to case in which one has information on higher moments of the random variables. Moreover, we consider the performance of the method under additional information on the conditional distribution of the random variables and, finally, we show that the method reduces to Markov's inequality when employed to non-negative and unbounded random variables.


title: Structure Constants for Immaculate Functions

abstract: The immaculate functions, $\mathfrak{S}_{\alpha}$, were introduced as a Schur-like basis for $\operatorname{\mathsf{Nsym}}$. We investigate facts about their structure constants. These are analogues of Littlewood-Richardson coefficents. We will give a new proof of the left Pieri rule for the $\mathfrak{S}_{\alpha}$, a translation invariance property for the structure coefficients of the $\mathfrak{S}_{\alpha}$, and a counterexample to an $\mathfrak{S}_{\alpha}$-analogue of the saturation conjecture.


title: Three-Source Extractors for Polylogarithmic Min-Entropy

abstract: We continue the study of constructing explicit extractors for independent general weak random sources. The ultimate goal is to give a construction that matches what is given by the probabilistic method --- an extractor for two independent $n$-bit weak random sources with min-entropy as small as $\log n+O(1)$. Previously, the best known result in the two-source case is an extractor by Bourgain \cite{Bourgain05}, which works for min-entropy $0.49n$; and the best known result in the general case is an earlier work of the author \cite{Li13b}, which gives an extractor for a constant number of independent sources with min-entropy $\mathsf{polylog(n)}$. However, the constant in the construction of \cite{Li13b} depends on the hidden constant in the best known seeded extractor, and can be large; moreover the error in that construction is only $1/\mathsf{poly(n)}$. In this paper, we make two important improvements over the result in \cite{Li13b}. First, we construct an explicit extractor for \emph{three} independent sources on $n$ bits with min-entropy $k \geq \mathsf{polylog(n)}$. In fact, our extractor works for one independent source with poly-logarithmic min-entropy and another independent block source with two blocks each having poly-logarithmic min-entropy. Thus, our result is nearly optimal, and the next step would be to break the $0.49n$ barrier in two-source extractors. Second, we improve the error of the extractor from $1/\mathsf{poly(n)}$ to $2^{-k^{\Omega(1)}}$, which is almost optimal and crucial for cryptographic applications. Some of the techniques developed here may be of independent interests.


title: An improved approximation for the moist-air entropy potential temperature $\theta_s$

abstract: The moist-air entropy is defined in Marquet (QJRMS 2011, arXiv:1401.1097) by $\boxed{s = s_{ref} + c_{pd} \: \ln(\theta_{s})}$ in terms of two constant values ($s_{ref}$, $c_{pd}$) and a potential entropy temperature denoted by $\theta_s$. It is shown in Marquet (2011) that a quantity denoted by $({\theta}_{s})_1$ plays the role of a leading order approximation of ${\theta}_{s}$. The aim of this note is to demonstrate in a more rigorous way that $({\theta}_{s})_1$ is indeed the leading order approximation of ${\theta}_{s}$, and to derive a second order approximation which may be used in computations of values, gradients or turbulent fluxes of moist-air entropy. Some impacts of this second order approximation are described in this brief version of a note to be submitted to the QJRMS.


title: Four-dimensional projective orbifold hypersurfaces

abstract: We classify four-dimensional quasismooth weighted hypersurfaces with small canonical class, and verify a conjecture of Johnson and Kollar on infinite series of quasismooth hypersurfaces with anticanonical hyperplane section in the case of fourfolds. By considering the quotient singularities that arise, we classify those weighted hypersurfaces that are canonical, Calabi-Yau, and Fano fourfolds. We also consider other classes of hypersurfaces, including Fano hypersurfaces of index greater than 1 in dimensions 3 and 4.


title: Global Fits of the CKM Matrix with the SCAN Method

abstract: We present a Scan Method analysis of the allowed region of the rho bar - eta bar plane using the latest input measurements of the CKM matrix elements, sin 2 beta, B0(s,d) mixing, epsilon(K), alpha and gamma. In this approach, we make no assumptions as to the distribution of theory uncertainties; rather, we scan over the range of plausible theoretical uncertainties and determine confidence level contours in the rho bar eta bar plane. We determine alpha from branching fraction and CP asymmetry measurements of B decays to all light pseudoscalar-pseudoscalar, pesudoscalar-vector, vector-vector and a1-psudoscalar mesons and determine gamma from D(*)K(*), D(*) pi and D rho modes, thereby including correlations between the angles of the unitarity triangle. We parametrize the individual decay amplitudes in terms of color-allowed tree, color-suppressed tree, gluonic penguin, singlet penguin, electroweak penguin, as well as W-exchange and W-annihilation amplitudes. Our procedure accounts for all correlations among the fitted CKM parameters (rho bar, eta bar, A, lambda). The data are consistent with the Standard Model with no need for new physics contributions. We also examine example "wall plots", i.e., projections of sensitive parameters showing correlations among them and regions of preferred theoretical parameters.


title: Singularity theory and heat equation

abstract: The paper (in French) exemplifies graphically a solution of the heat equation which is a 1-dimensional unfolding of an elliptic umbilic catastrophe. The example is due to James Damon and adapts Thom-Mather's singularity theory to multiscale models of scale-space analysis in image processing.


title: TED: A Tolerant Edit Distance for Segmentation Evaluation

abstract: In this paper, we present a novel error measure to compare a segmentation against ground truth. This measure, which we call Tolerant Edit Distance (TED), is motivated by two observations: (1) Some errors, like small boundary shifts, are tolerable in practice. Which errors are tolerable is application dependent and should be a parameter of the measure. (2) Non-tolerable errors have to be corrected manually. The time needed to do so should be reflected by the error measure. Using integer linear programming, the TED finds the minimal weighted sum of split and merge errors exceeding a given tolerance criterion, and thus provides a time-to-fix estimate. In contrast to commonly used measures like Rand index or variation of information, the TED (1) does not count small, but tolerable, differences, (2) provides intuitive numbers, (3) gives a time-to-fix estimate, and (4) can localize and classify the type of errors. By supporting both isotropic and anisotropic volumes and having a flexible tolerance criterion, the TED can be adapted to different requirements. On example segmentations for 3D neuron segmentation, we demonstrate that the TED is capable of counting topological errors, while ignoring small boundary shifts.


title: Exploiting Device-to-Device Communications in Joint Scheduling of Access and Backhaul for mmWave Small Cells

abstract: With the explosive growth of mobile data demand, there has been an increasing interest in deploying small cells of higher frequency bands underlying the conventional homogeneous macrocell network, which is usually referred to as heterogeneous cellular networks, to significantly boost the overall network capacity. With vast amounts of spectrum available in the millimeter wave (mmWave) band, small cells at mmWave frequencies are able to provide multi-gigabit access data rates, while the wireless backhaul in the mmWave band is emerging as a cost-effective solution to provide high backhaul capacity to connect access points (APs) of the small cells. In order to operate the mobile network optimally, it is necessary to jointly design the radio access and backhaul networks. Meanwhile, direct transmissions between devices should also be considered to improve system performance and enhance the user experience. In this paper, we propose a joint transmission scheduling scheme for the radio access and backhaul of small cells in the mmWave band, termed D2DMAC, where a path selection criterion is designed to enable device-to-device transmissions for performance improvement. In D2DMAC, a concurrent transmission scheduling algorithm is proposed to fully exploit spatial reuse in mmWave networks. Through extensive simulations under various traffic patterns and user deployments, we demonstrate D2DMAC achieves near-optimal performance in some cases, and outperforms other protocols significantly in terms of delay and throughput. Furthermore, we also analyze the impact of path selection on the performance improvement of D2DMAC under different selected parameters.


title: Strong near-infrared carbon in the Type Ia supernova iPTF13ebh

abstract: We present near-infrared (NIR) time-series spectroscopy, as well as complementary ultraviolet (UV), optical, and NIR data, of the Type Ia supernova (SN Ia) iPTF13ebh, which was discovered within two days from the estimated time of explosion. The first NIR spectrum was taken merely 2.3 days after explosion and may be the earliest NIR spectrum yet obtained of a SN Ia. The most striking features in the spectrum are several NIR C I lines, and the C I {\lambda}1.0693 {\mu}m line is the strongest ever observed in a SN Ia. Interestingly, no strong optical C II counterparts were found, even though the optical spectroscopic time series began early and is densely-cadenced. Except at the very early epochs, within a few days from the time of explosion, we show that the strong NIR C I compared to the weaker optical C II appears to be general in SNe Ia. iPTF13ebh is a fast decliner with {\Delta}m15(B) = 1.79 $\pm$ 0.01, and its absolute magnitude obeys the linear part of the width-luminosity relation. It is therefore categorized as a "transitional" event, on the fast-declining end of normal SNe Ia as opposed to subluminous/91bg-like objects. iPTF13ebh shows NIR spectroscopic properties that are distinct from both the normal and subluminous/91bg-like classes, bridging the observed characteristics of the two classes. These NIR observations suggest composition and density of the inner core similar to that of 91bg-like events, and a deep reaching carbon burning layer not observed in slower declining SNe Ia. There is also a substantial difference between the explosion times inferred from the early-time light curve and the velocity evolution of the Si II {\lambda}0.6355 {\mu}m line, implying a long dark phase of ~ 4 days.


title: Branching Fraction and CP Asymmetry Measurements in Inclusive B -> Xs l+l- and B -> Xs gamma Decays from BABAR

abstract: We present an update on total and partial branching fractions and on CP asymmetries in the semi-inclusive decay B -> Xs l+l-. Further, we summarize our results on branching fractions and CP asymmetries for semi-inclusive and fully-inclusive B -> Xs gamma decays. We present the first result on the CP asymmetry difference of charged and neutral B -> Xs gamma$ decays yielding the first constraint on the ratio of Wilson coefficients Im (C8/C7).


title: GOptimaEmbed: A SmartSMS-SQLDatabaseManagementSystem for Low-Cost Microcontrollers

abstract: The era of the Internet of things, machine-to-machine and human to machine computing has heralded the development of a modern-day smart industry in which humanoids can co-operate,co-exist and interact seamlessly.Currently, there are many projects in this area of smart communication and thus giving rise to an industry electrified by smart things.In this paper we present a novel smart database management system (dbms),GOptimaEmbed, for intelligent querying of databases in device constrained embedded systems. The system uses genetic algorithms as main search engine and simplifies the query process using stored in-memory model based on an invented device dependent Short-messaging-Structured Query Language SMS SQL schema translator. In addition, querying is done over the air using integrated GSM module in the smart space. The system has been applied to querying a plant database and results were quite satisfactory. Keywords. GOptimaEmbed,smart dbms, genetic algorithms, SMS SQL


title: Steering and correlations for the single qudit state on the example of $j=3/2$

abstract: The phenomenon of quantum steering and probabilistic meaning of the correlations are discussed for the state of the single qudit. The method of qubit portrait of the qudit states is used to extend the known steering detection inequality to the system without subsystems. The example of the $X$-state with $j=3/2$ is studied in detail.


title: Cross thermoelectric coupling in normal-superconductor quantum dots

abstract: We discuss the nonlinear current of an interacting quantum dot coupled to normal and superconducting reservoirs with applied voltage and temperature differences. Due to the particle-hole symmetry introduced by the superconducting lead, the pure (subgap) thermoelectric response vanishes. However, we show that the Andreev bound states shift as the thermal gradient increases. As a consequence, the $I$--$V$ characteristic can be tuned with a temperature bias if the system is simultaneously voltage biased. This is a cross effect that occurs beyond linear response only. Furthermore, we emphasize the role of quasiparticle tunneling processes in the generation of high thermopower sensitivities.


title: Cyclically five-connected cubic graphs

abstract: A cubic graph $G$ is cyclically 5-connected if $G$ is simple, 3-connected, has at least 10 vertices and for every set $F$ of edges of size at most four, at most one component of $G\backslash F$ contains circuits. We prove that if $G$ and $H$ are cyclically 5-connected cubic graphs and $H$ topologically contains $G$, then either $G$ and $H$ are isomorphic, or (modulo well-described exceptions) there exists a cyclically 5-connected cubic graph $G'$ such that $H$ topologically contains $G'$ and $G'$ is obtained from $G$ in one of the following two ways. Either $G'$ is obtained from $G$ by subdividing two distinct edges of $G$ and joining the two new vertices by an edge, or $G'$ is obtained from $G$ by subdividing each edge of a circuit of length five and joining the new vertices by a matching to a new circuit of length five disjoint from $G$ in such a way that the cyclic orders of the two circuits agree. We prove a companion result, where by slightly increasing the connectivity of $H$ we are able to eliminate the second construction. We also prove versions of both of these results when $G$ is almost cyclically 5-connected in the sense that it satisfies the definition except for 4-edge cuts such that one side is a circuit of length four. In this case $G'$ is required to be almost cyclically 5-connected and to have fewer circuits of length four than $G$. In particular, if $G$ has at most one circuit of length four, then $G'$ is required to be cyclically 5-connected. However, in this more general setting the operations describing the possible graphs $G'$ are more complicated.


title: Some results on the Hardy space H1 associated with the Dunkl operators

abstract: In the present paper, we investigate in Dunkl analysis, the action of some fundamental operators on the atomic Hardy space H1.


title: Model Predictive Control under Timing Constraints induced by Controller Area Networks

abstract: When multiple model predictive controllers are implemented on a shared control area network (CAN), their performance may degrade due to the inhomogeneous timing and delays among messages. The priority based real-time scheduling of messages on the CAN introduces complex timing of events, especially when the types and number of messages change at runtime. This paper introduces a novel hybrid timing model to make runtime predictions on the timing of the messages for a finite time window. Controllers can be designed using the optimization algorithms for model predictive control by considering the timing as optimization constraints. This timing model allows multiple controllers to share a CAN without significant degradation in the controller performance. The timing model also provides a convenient way to check the schedulability of messages on the CAN at runtime. Simulation results demonstrate that the timing model is accurate and computationally efficient to meet the needs of real-time implementation. Simulation results also demonstrate that model predictive controllers designed when considering the timing constraints have superior performance than the controllers designed without considering the timing constraints.


title: Baryon squishing in synthetic dimensions by effective $SU(M)$ gauge fields

abstract: We investigate few body physics in a cold atomic system with synthetic dimensions (Celi et al., PRL 112, 043001 (2014)) which realizes a Hofstadter model with long-ranged interactions along the synthetic dimension. We show that the problem can be mapped to a system of particles (with $SU(M)$ symmetric interactions) which experience an $SU(M)$ Zeeman field at each lattice site {\em and} a non-Abelian $SU(M)$ gauge potential that affects their hopping from one site to another. This mapping brings out the possibility of generating {\em non-local} interactions (interaction between particles at different physical sites). It also shows that the non-Abelian gauge field, which induces a flavor-orbital coupling, mitigates the "baryon breaking" effects of the Zeeman field. For $M$ particles, the $SU(M)$ singlet baryon which is site localized, is "deformed" to be a nonlocal object ("squished" baryon) by the combination of the Zeeman and the non-Abelian gauge potential, an effect that we conclusively demonstrate by analytical arguments and exact (numerical) diagonalization studies. These results not only promise a rich phase diagram in the many body setting, but also suggests possibility of using cold atom systems to address problems that are inconceivable in traditional condensed matter systems. As an example, we show that the system can be adapted to realize Hamiltonians akin to the $SU(M)$ random flux model.


title: DESAT: an SSW tool for SDO/AIA image de-saturation

abstract: Saturation affects a significant rate of images recorded by the Atmospheric Imaging Assembly on the Solar Dynamics Observatory. This paper describes a computational method and a technological pipeline for the de-saturation of such images, based on several mathematical ingredients like Expectation Maximization, image correlation and interpolation. An analysis of the computational properties and demands of the pipeline, together with an assessment of its reliability are performed against a set of data recorded from the Feburary 25 2014 flaring event.


title: SUSY and BSM in the face of LHC-14

abstract: In this talk I review the motivations for physics beyond the Standard Model at the TeV scale and the prospects for their detection in the second Run of LHC. Then I focus in the supersymmetric case, paying special attention to the formulation and implications of the Natural SUSY scenario.


title: Efficient Hardware Design and Implementation of Encrypted MIPS Processor

abstract: The paper describes the design and hardware implementation of 32-bit encrypted MIPS processor based on MIPS pipeline architecture. The organization of pipeline stages in such a way that pipeline can be clocked at high frequency. Encryption and Decryption blocks of data encryption standard (DES) cryptosystem and dependency among themselves are explained in detail with the help of block diagram. In order to increase the processor functionality and performance, especially for security applications we include three new instructions 32-bit LKLW, LKUW and CRYPT. The design has been synthesized at 40nm process technology targeting using Xilinx Virtex-6 device. The encrypted MIPS pipeline processor can work at 218MHz at synthesis level and 744MHz at simulation level.


title: Optical spectral weight: comparison of weak and strong spin-orbit coupling

abstract: The Fermi velocity ($v_{F}$) associated with the spin-orbit coupling is two orders of magnitude smaller for spintronic semiconductors than it is for topological insulators. Both families can be treated with the same Hamiltonian which contains a relativistic (Dirac) linear in momentum term proportional to $v_{F}$ and a non-relativistic quadratic contribution with Schr\"{o}dinger mass (m). We find that the AC dynamic longitudinal and transverse (Hall) magneto-conductivities are strongly dependent on the size of $v_{F}$. When the Dirac fermi velocity is small, the absorption background provided by the interband optical transitions is finite only over a very limited range of photon energies as compared with topological insulators. Its onset depends on the value of the chemical potential ($\mu$) and on the magnetic field (B), as does its upper cut off. Within this limited range its magnitude is however constant and has the same magnitude of $e^{2}\pi/(8h)$ as is found in topological insulators and also in graphene noting a difference in degeneracy factor. The total optical spectral weight under the universal interband background is $e^{2}\pi/(8h)4mv_{F}^{2}$. In contrast to the known result for graphene no strict conservation law applies to the spectral weight transfers between inter and intra band transition brought about by variations in the magnitude of the chemical potential when a non-relativistic contribution is present in the Hamiltonian whatever size it may have.


title: How to deal with numbers of decision making units and variables in data envelopment analysis

abstract: Sufficient numbers of Decision Making Units (DMUs) in comparison with the number of input and output variables has been a concern of using Data Envelopment Analysis (DEA) in the last three decades. There are several studies in the literature of DEA which have tried to handle this issue by providing additional procedures to increase the number of DMUs, decreasing the number of variables or finding a relationship between the number of DMUs and variables. However, there are no concerns about the number of DMUs in comparison with the number of variables while Kourosh and Arash Method (KAM) is applied. A geometric reason is provided to depict the validity of the method without any extra conditions or additional methodologies. The technique is quite simple with no computational complexities of current methodologies even if the number of DMUs is less than the number of variables. A real-life numerical example of 32 DMUs with 45 variables demonstrates the advantages of the proposed technique.


title: KdV waves in atomic chains with nonlocal interactions

abstract: We consider atomic chains with nonlocal particle interactions and prove the existence of near-sonic solitary waves. Both our result and the general proof strategy are reminiscent of the seminal paper by Friesecke and Pego on the KdV limit of chains with nearest neighbor interactions but differ in the following two aspects: First, we allow for a wider class of atomic systems and must hence replace the distance profile by the velocity profile. Second, in the asymptotic analysis we avoid a detailed Fourier pole characterization of the nonlocal integral operators and employ the contraction mapping principle to solve the final fixed point problem.


title: Variations in mid-ocean ridge CO2 emissions driven by glacial cycles

abstract: The geological record shows links between glacial cycles and volcanic productivity, both subaerially and at mid-ocean ridges. Sea-level-driven pressure changes could also affect chemical properties of mid-ocean ridge volcanism. We consider how changing sea-level could alter the CO2 emissions rate from mid-ocean ridges, on both the segment and global scale. We develop a simplified transport model for a highly incompatible element through a homogenous mantle; variations in the melt concentration the emission rate of the element are created by changes in the depth of first silicate melting. The model predicts an average global mid-ocean ridge CO2 emissions-rate of 53 Mt/yr, in line with other estimates. We show that falling sea level would cause an increase in ridge CO2 emissions with a lag of about 100 kyrs after the causative sea level change. The lag and amplitude of the response are sensitive to mantle permeability and plate spreading rate. For a reconstructed sea-level time series of the past million years, we predict variations of up to 12% (7 Mt/yr) in global mid-ocean ridge CO2 emissions. The magnitude and timing of the predicted variations in CO2 emissions suggests a potential role for ridge carbon emissions in glacial cycles.


title: Homological Algebra for Commutative Monoids

abstract: We first study commutative, pointed monoids providing basic definitions and results in a manner similar commutative ring theory. Included are results on chain conditions, primary decomposition as well as normalization for a special class of monoids which lead to a study monoid schemes, divisors, Picard groups and class groups. It is shown that the normalization of a monoid need not be a monoid, but possibly a monoid scheme. After giving the definition of, and basic results for, $A$-sets, we classify projective $A$-sets and show they are completely determine by their rank. Subsequently, for a monoid $A$, we compute $K_0$ and $K_1$ and prove the Devissage Theorem for $G_0$. With the definition of short exact sequence for $A$-sets in hand, we describe the set $Ext(X,Y)$ of extensions for $A$-sets $X,Y$ and classify the set of square-zero extensions of a monoid $A$ by an $A$-set $X$ using the Hochschild cosimplicial set. We also examine the projective model structure on simplicial $A$-sets showcasing the difficulties involved in computing homotopy groups as well as determining the derived category for a monoid. The author defines the category $\operatorname{Da}(\mathcal{C})$ of double-arrow complexes for a class of non-abelian categories $\mathcal{C}$ and, in the case of $A$-sets, shows an adjunction with the category of simplicial $A$-sets.


title: Synchronization transition in ensemble of coupled phase oscillators with coherence-induced phase correction

abstract: We study synchronization phenomenon in a self-correcting population of noisy phase oscillators with randomly distributed natural frequencies. In our model each oscillator stochastically switches its phase to the ensemble-averaged value $\psi$ at a typical rate which is proportional to the degree of phase coherence $r$. The system exhibits a continuous phase transition to collective synchronization similar to classical Kuramoto model. Based on the self-consistent arguments and on the linear stability analysis of an incoherent state we derive analytically the threshold value $k_c$ of coupling constant corresponding to the onset of a partially synchronized state. Just above the transition point the linear scaling law $r\propto k-k_c$ is found. We also show that nonlinear relation between rate of phase correction and order parameter leads to non-trivial transition between incoherence and synchrony. To illustrate our analytical results, numerical simulations have been performed for a large population of phase oscillators with proposed type of coupling. The results of this work could become useful in designing distributed networked systems capable of self-synchronization.


title: Advection-diffusion equations with density constraints

abstract: In the spirit of the macroscopic crowd motion models with hard congestion (i.e. a strong density constraint $\rho\leq 1$) introduced by Maury {\it et al.} some years ago, we analyze a variant of the same models where diffusion of the agents is also taken into account. From the modeling point of view, this means that individuals try to follow a given spontaneous velocity, but are subject to a Brownian diffusion, and have to adapt to a density constraint which introduces a pressure term affecting the movement. From the PDE point of view, this corresponds to a modified Fokker-Planck equation, with an additional gradient of a pressure (only living in the saturated zone $\{\rho=1\}$) in the drift. The paper proves existence and some estimates, based on optimal transport techniques.


title: Quantum Simulations of Lattice Gauge Theories using Ultracold Atoms in Optical Lattices

abstract: Can high energy physics be simulated by low-energy, non-relativistic, many-body systems, such as ultracold atoms? Such ultracold atomic systems lack the type of symmetries and dynamical properties of high energy physics models: in particular, they manifest neither local gauge invariance nor Lorentz invariance, which are crucial properties of the quantum field theories which are the building blocks of the standard model of elementary particles. However, it turns out, surprisingly, that there are ways to configure atomic system to manifest both local gauge invariance and Lorentz invariance. In particular, local gauge invariance can arise either as an effective, low energy, symmetry, or as an "exact" symmetry, following from the conservation laws in atomic interactions. Hence, one could hope that such quantum simulators may lead to new type of (table-top) experiments, that shall be used to study various QCD phenomena, as the confinement of dynamical quarks, phase transitions, and other effects, which are inaccessible using the currently known computational methods. In this report, we review the Hamiltonian formulation of lattice gauge theories, and then describe our recent progress in constructing quantum simulation of Abelian and non-Abelian lattice gauge theories in 1+1 and 2+1 dimensions using ultracold atoms in optical lattices.

categories: quant-ph cond-mat.quant-gas hep-lat hep-th


title: Achieving Secrecy Capacity of the Gaussian Wiretap Channel with Polar Lattices

abstract: In this work, an explicit wiretap coding scheme based on polar lattices is proposed to achieve the secrecy capacity of the additive white Gaussian noise (AWGN) wiretap channel. Firstly, polar lattices are used to construct secrecy-good lattices for the mod-$\Lambda_s$ Gaussian wiretap channel. Then we propose an explicit shaping scheme to remove this mod-$\Lambda_s$ front end and extend polar lattices to the genuine Gaussian wiretap channel. The shaping technique is based on the lattice Gaussian distribution, which leads to a binary asymmetric channel at each level for the multilevel lattice codes. By employing the asymmetric polar coding technique, we construct an AWGN-good lattice and a secrecy-good lattice with optimal shaping simultaneously. As a result, the encoding complexity for the sender and the decoding complexity for the legitimate receiver are both O(N logN log(logN)). The proposed scheme is proven to be semantically secure.


title: Towards Making Random Passwords Memorable: Leveraging Users' Cognitive Ability Through Multiple Cues

abstract: Given the choice, users produce passwords reflecting common strategies and patterns that ease recall but offer uncertain and often weak security. System-assigned passwords provide measurable security but suffer from poor memorability. To address this usability-security tension, we argue that systems should assign random passwords but also help with memorization and recall. We investigate the feasibility of this approach with CuedR, a novel cued-recognition authentication scheme that provides users with multiple cues (visual, verbal, and spatial) and lets them choose the cues that best fit their learning process for later recognition of system-assigned keywords. In our lab study, all 37 of our participants could log in within three attempts one week after registration (mean login time: 38.0 seconds). A pilot study on using multiple CuedR passwords also showed 100% recall within three attempts. Based on our results, we suggest appropriate applications for CuedR, such as financial and e-commerce accounts.


title: Measurements of Sub-degree B-mode Polarization in the Cosmic Microwave Background from 100 Square Degrees of SPTpol Data

abstract: We present a measurement of the $B$-mode polarization power spectrum (the $BB$ spectrum) from 100 $\mathrm{deg}^2$ of sky observed with SPTpol, a polarization-sensitive receiver currently installed on the South Pole Telescope. The observations used in this work were taken during 2012 and early 2013 and include data in spectral bands centered at 95 and 150 GHz. We report the $BB$ spectrum in five bins in multipole space, spanning the range $300 \le \ell \le 2300$, and for three spectral combinations: 95 GHz $\times$ 95 GHz, 95 GHz $\times$ 150 GHz, and 150 GHz $\times$ 150 GHz. We subtract small ($< 0.5 \sigma$ in units of statistical uncertainty) biases from these spectra and account for the uncertainty in those biases. The resulting power spectra are inconsistent with zero power but consistent with predictions for the $BB$ spectrum arising from the gravitational lensing of $E$-mode polarization. If we assume no other source of $BB$ power besides lensed $B$ modes, we determine a preference for lensed $B$ modes of $4.9 \sigma$. After marginalizing over tensor power and foregrounds, namely polarized emission from galactic dust and extragalactic sources, this significance is $4.3 \sigma$. Fitting for a single parameter, $A_\mathrm{lens}$, that multiplies the predicted lensed $B$-mode spectrum, and marginalizing over tensor power and foregrounds, we find $A_\mathrm{lens} = 1.08 \pm 0.26$, indicating that our measured spectra are consistent with the signal expected from gravitational lensing. The data presented here provide the best measurement to date of the $B$-mode power spectrum on these angular scales.


title: Classical Tests of General Relativity: Brane-World Sun from Minimal Geometric Deformation

abstract: We consider a solution of the effective four-dimensional brane-world equations, obtained from the General Relativistic Schwarzschild metric via the principle of Minimal Geometric Deformation, and investigate the corresponding signatures stemming from the possible existence of a warped extra dimension. In particular, we derive bounds on an extra-dimensional parameter, closely related with the fundamental gravitational length, from the experimental results of the classical tests of General Relativity in the Solar system.


title: Cosmic String Loops as the Seeds of Super-Massive Black Holes

abstract: Recent discoveries of super-massive black holes at high redshifts indicate a possible tension with the standard Lambda CDM paradigm of early universe cosmology which has difficulties in explaining the origin of the required nonlinear compact seeds which trigger the formation of these super-massive black holes. Here we show that cosmic string loops which result from a scaling solution of strings formed during a phase transition in the very early universe lead to an additional source of compact seeds. The number density of string-induced seeds dominates at high redshifts and can help trigger the formation of the observed super-massive black holes.

categories: astro-ph.CO astro-ph.GA gr-qc hep-ph hep-th


title: Understanding Image Virality

abstract: Virality of online content on social networking websites is an important but esoteric phenomenon often studied in fields like marketing, psychology and data mining. In this paper we study viral images from a computer vision perspective. We introduce three new image datasets from Reddit, and define a virality score using Reddit metadata. We train classifiers with state-of-the-art image features to predict virality of individual images, relative virality in pairs of images, and the dominant topic of a viral image. We also compare machine performance to human performance on these tasks. We find that computers perform poorly with low level features, and high level information is critical for predicting virality. We encode semantic information through relative attributes. We identify the 5 key visual attributes that correlate with virality. We create an attribute-based characterization of images that can predict relative virality with 68.10% accuracy (SVM+Deep Relative Attributes) -- better than humans at 60.12%. Finally, we study how human prediction of image virality varies with different `contexts' in which the images are viewed, such as the influence of neighbouring images, images recently viewed, as well as the image title or caption. This work is a first step in understanding the complex but important phenomenon of image virality. Our datasets and annotations will be made publicly available.


title: Uniform Interpolation for Coalgebraic Fixpoint Logic

abstract: We use the connection between automata and logic to prove that a wide class of coalgebraic fixpoint logics enjoys uniform interpolation. To this aim, first we generalize one of the central results in coalgebraic automata theory, namely closure under projection, which is known to hold for weak-pullback preserving functors, to a more general class of functors, i.e.; functors with quasi-functorial lax extensions. Then we will show that closure under projection implies definability of the bisimulation quantifier in the language of coalgebraic fixpoint logic, and finally we prove the uniform interpolation theorem.


title: Indication of Gamma-ray Emission from the Newly Discovered Dwarf Galaxy Reticulum II

abstract: We present a search for gamma-ray emission from the direction of the newly discovered dwarf galaxy Reticulum II. Using Fermi-LAT data, we detect a signal that exceeds expected backgrounds between ~2-10 GeV and is consistent with annihilation of dark matter for particle masses less than a few x 10^2 GeV. Modeling the background as a Poisson process based on Fermi-LAT diffuse models, and taking into account trials factors, we detect emission with p-value less than 9.8 x 10^-5 (>3.7 sigma). An alternative, model-independent treatment of background reduces the significance, raising the p-value to 9.7 x 10^-3 (2.3 sigma). Even in this case, however, Reticulum II has the most significant gamma-ray signal of any known dwarf galaxy. If Reticulum II has a dark matter halo that is similar to those inferred for other nearby dwarfs, the signal is consistent with the s-wave relic abundance cross section for annihilation.


title: Asymptotic structure of steady Stokes flow around a rotating obstacle in two dimensions

abstract: This paper provides asymptotic structure at spatial infinity of plane steady Stokes flow in exterior domains when the obstacle is rotating with constant angular velocity. The result shows that there is no longer Stokes paradox due to the rotating effect.


title: Realization of adiabatic Aharonov-Bohm scattering with neutrons

abstract: The adiabatic Aharonov-Bohm (AB) effect is a manifestation of the Berry phase acquired when some slow variables take a planar spin around a loop. While the effect has been observed in molecular spectroscopy, direct measurement of the topological phase shift in a scattering experiment has been elusive in the past. Here, we demonstrate an adiabatic AB effect by explicit simulation of the dynamics of unpolarized very slow neutrons that scatter on a long straight current-carrying wire.


title: Binomial vanishing ideals

abstract: In this paper we characterize, in algebraic and geometric terms, when a graded vanishing ideal is generated by binomials over any field K.


title: Volume and Hilbert function of R-divisors

abstract: If D is a big divisor and E is an effective divisor, then vol(D-E)<=vol(D)<=vol(D+E). We discuss when each inequality is an equality. Surprisingly, the answer is that the asymptotic equality vol(D-E)=vol(D) is equivalent to the equality of the Hilbert functions of D-E and D. The analogous result holds when vol(D)=vol(D+E).


title: On the spatial distribution of thermal energy in equilibrium

abstract: The equipartition theorem states that in equilibrium thermal energy is equally distributed among uncoupled degrees of freedom which appear quadratically in the system's Hamiltonian. However, for spatially coupled degrees of freedom --- such as interacting particles --- one may speculate that the spatial distribution of thermal energy may differ from the value predicted by equipartition, possibly quite substantially in strongly inhomogeneous/disordered systems. Here we show that for systems undergoing simple Gaussian fluctuations around an equilibrium state, the spatial distribution is universally bounded from above by $\frac{1}{2}k_BT$. We further show that in one-dimensional systems with short-range interactions, the thermal energy is equally partitioned even for coupled degrees of freedom in the thermodynamic limit and that in higher dimensions non-trivial spatial distributions emerge. Some implications are discussed.


title: Do Newtonian large-scale structure simulations fail to include relativistic effects?

abstract: The Newtonian simulations describing the formation of large-scale structures do not include relativistic effects. A new approach to this problem is proposed, which consists of splitting the Hawking-Hayward quasi-local energy of a closed spacelike 2-surface into a "Newtonian" part due to local perturbations and a "relativistic" part due to the cosmology. It is found that the Newtonian part dominates over the relativistic one as time evolves, lending support to the validity of Newtonian simulations.


title: Lattice-Fluid Models derived from Density Functional Theory

abstract: In the current article, we rederive the lattice-fluid excess models UNIQUAC, UNIFAC, and COSMO-RS from a continuum functional. The calculation explains the missing dependence on the particle geometry and how to include the Coulomb interaction, problems that are common to all three models. It is then shown that the Wilson ansatz, used in UNIQUAC and UNIFAC to minimize the grand potential, is not a physically valid solution of the Euler-Lagrange equation. A consistent approach is the Larsen-Rasmussen equation, which forms the foundation of COSMO-RS. We then analyze the various approximation methods and interpret them in the framework of a molecular density functional.


title: Financial Market Prediction

abstract: Given financial data from popular sites like Yahoo and the London Exchange, the presented paper attempts to model and predict stocks that can be considered "good investments". Stocks are characterized by 125 features ranging from gross domestic product to EDIBTA, and are labeled by discrepancies between stock and market price returns. An artificial neural network (Self-Organizing Map) is fitted to train on more than a million data points to predict "good investments" given testing stocks from 2013 and after.


title: Conserved momenta of a ferromagnetic soliton

abstract: Linear and angular momenta of a soliton in a ferromagnet are commonly derived through the application of Noether's theorem. We show that these quantities exhibit unphysical behavior: they depend on the choice of a gauge potential in the spin Lagrangian and can be made arbitrary. To resolve this problem, we exploit a similarity between the dynamics of a ferromagnetic soliton and that of a charged particle in a magnetic field. For the latter, canonical momentum is also gauge-dependent and thus unphysical; the physical momentum is the generator of magnetic translations, a symmetry combining physical translations with gauge transformations. We use this analogy to unambiguously define conserved momenta for ferromagnetic solitons. General considerations are illustrated on simple models of a domain wall in a ferromagnetic chain and of a vortex in a thin film.


title: Fitting 3D Morphable Models using Local Features

abstract: In this paper, we propose a novel fitting method that uses local image features to fit a 3D Morphable Model to 2D images. To overcome the obstacle of optimising a cost function that contains a non-differentiable feature extraction operator, we use a learning-based cascaded regression method that learns the gradient direction from data. The method allows to simultaneously solve for shape and pose parameters. Our method is thoroughly evaluated on Morphable Model generated data and first results on real data are presented. Compared to traditional fitting methods, which use simple raw features like pixel colour or edge maps, local features have been shown to be much more robust against variations in imaging conditions. Our approach is unique in that we are the first to use local features to fit a Morphable Model. Because of the speed of our method, it is applicable for realtime applications. Our cascaded regression framework is available as an open source library (https://github.com/patrikhuber).


title: Entropic fluctuations of XY quantum spin chains

abstract: We consider an XY quantum spin chain that consists of a left, center and right part initially at thermal equilibrium at temperatures $T_l$, $T_c$, and $T_r$, respectively. The left and right systems are infinitely extended thermal reservoirs and the central system is a small quantum system linking these two reservoirs. If there is a temperature differential, then heat and entropy will flow from one part of the chain to the other. We consider the Evans-Searles and Gallavotti-Cohen functionals which describe the fluctuations of this flux with respect to the initial state of the system and the non-equilibrium steady state reached by the system in the large time limit. We also define the full counting statistics for the XY chain and consider the associated entropic functional, as well a natural class of functionals that interpolate between the full counting statistics functional and the direct quantization of the variational characterization of the Evans-Searles functional which appears in classical non-equilibrium statistical mechanics. The Jordan-Wigner transformation associates a free Fermi gas and Jacobi matrix to our XY chain. Using this representation we are able to compute the entropic functionals in the large time limit in terms of the scattering data of the underlying Jacobi matrix. We show that the Gallavotti-Cohen and Evans-Searles functionals are identical in this limit. Furthermore, we show that all of these entropic functionals are equal in the large time limit if and only if the underlying Jacobi matrix is reflectionless.


title: Robust Anomaly Detection in Dynamic Networks

abstract: We propose two robust methods for anomaly detection in dynamic networks in which the properties of normal traffic are time-varying. We formulate the robust anomaly detection problem as a binary composite hypothesis testing problem and propose two methods: a model-free and a model-based one, leveraging techniques from the theory of large deviations. Both methods require a family of Probability Laws (PLs) that represent normal properties of traffic. We devise a two-step procedure to estimate this family of PLs. We compare the performance of our robust methods and their vanilla counterparts, which assume that normal traffic is stationary, on a network with a diurnal normal pattern and a common anomaly related to data exfiltration. Simulation results show that our robust methods perform better than their vanilla counterparts in dynamic networks.


title: In-plane Charge Fluctuations in Bismuth Sulfide Superconductors

abstract: Evidence for local charge fluctuations linked to a charge disproportionation of the Bi ions in the distorted lattice of superconducting LaO$_{1-x}$F$_{x}$ BiS$_{2}$ is presented. In-plane short-range distortions of sulfur atoms up to 0.3 \AA\ in magnitude break site symmetry and create two distinct environments around Bi. Out-of-plane motion of apical sulfur brings it closer to the La-O/F doping layer with increasing $x$ that may lead to a charge transfer conduit between the doping layers and the superconducting BiS$_{2}$ planes. The mechanism for superconductivity may arise from the interplay between charge density fluctuations and an enhanced spin-orbit coupling suggested theoretically, that induces spin polarization.


title: Analytical high-order post-Newtonian expansions for extreme mass ratio binaries

abstract: We present analytic computations of gauge invariant quantities for a point mass in a circular orbit around a Schwarzschild black hole, giving results up to 15.5 post-Newtonian order in this paper and up to 21.5 post-Newtonian order in an online repository. Our calculation is based on the functional series method of Mano, Suzuki and Takasugi (MST) and a recent series of results by Bini and Damour. We develop an optimised method for generating post-Newtonian expansions of the MST series, enabling significantly faster computations. We also clarify the structure of the expansions for large values of $\ell$, and in doing so develop an efficient new method for generating the MST renormalised angular momentum, $\nu$.


title: An Unsupervised Method for Uncovering Morphological Chains

abstract: Most state-of-the-art systems today produce morphological analysis based only on orthographic patterns. In contrast, we propose a model for unsupervised morphological analysis that integrates orthographic and semantic views of words. We model word formation in terms of morphological chains, from base words to the observed words, breaking the chains into parent-child relations. We use log-linear models with morpheme and word-level features to predict possible parents, including their modifications, for each word. The limited set of candidate parents for each word render contrastive estimation feasible. Our model consistently matches or outperforms five state-of-the-art systems on Arabic, English and Turkish.


title: A generative model for protein contact networks

abstract: In this paper we present a generative model for protein contact networks. The soundness of the proposed model is investigated by focusing primarily on mesoscopic properties elaborated from the spectra of the graph Laplacian. To complement the analysis, we study also classical topological descriptors, such as statistics of the shortest paths and the important feature of modularity. Our experiments show that the proposed model results in a considerable improvement with respect to two suitably chosen generative mechanisms, mimicking with better approximation real protein contact networks in terms of diffusion properties elaborated from the Laplacian spectra. However, as well as the other considered models, it does not reproduce with sufficient accuracy the shortest paths structure. To compensate this drawback, we designed a second step involving a targeted edge reconfiguration process. The ensemble of reconfigured networks denotes improvements that are statistically significant. As a byproduct of our study, we demonstrate that modularity, a well-known property of proteins, does not entirely explain the actual network architecture characterizing protein contact networks. In fact, we conclude that modularity, intended as a quantification of an underlying community structure, should be considered as an emergent property of the structural organization of proteins. Interestingly, such a property is suitably optimized in protein contact networks together with the feature of path efficiency.


title: Botnet Detection using Social Graph Analysis

abstract: Signature-based botnet detection methods identify botnets by recognizing Command and Control (C\&C) traffic and can be ineffective for botnets that use new and sophisticate mechanisms for such communications. To address these limitations, we propose a novel botnet detection method that analyzes the social relationships among nodes. The method consists of two stages: (i) anomaly detection in an "interaction" graph among nodes using large deviations results on the degree distribution, and (ii) community detection in a social "correlation" graph whose edges connect nodes with highly correlated communications. The latter stage uses a refined modularity measure and formulates the problem as a non-convex optimization problem for which appropriate relaxation strategies are developed. We apply our method to real-world botnet traffic and compare its performance with other community detection methods. The results show that our approach works effectively and the refined modularity measure improves the detection accuracy.


title: Cluster and virial expansions for the multi-species Tonks gas

abstract: We consider a mixture of non-overlapping rods of different lengths $\ell_k$ moving in $\mathbb{R}$ or $\mathbb{Z}$. Our main result are necessary and sufficient convergence criteria for the expansion of the pressure in terms of the activities $z_k$ and the densities $\rho_k$. This provides an explicit example against which to test known cluster expansion criteria, and illustrates that for non-negative interactions, the virial expansion can converge in a domain much larger than the activity expansion. In addition, we give explicit formulas that generalize the well-known relation between non-overlapping rods and labelled rooted trees. We also prove that for certain choices of the activities, the system can undergo a condensation transition akin to that of the zero-range process. The key tool is a fixed point equation for the pressure.


title: Multiple and single snapshot compressive beamforming

abstract: For a sound field observed on a sensor array, compressive sensing (CS) reconstructs the direction-of-arrival (DOA) of multiple sources using a sparsity constraint. The DOA estimation is posed as an underdetermined problem by expressing the acoustic pressure at each sensor as a phase-lagged superposition of source amplitudes at all hypothetical DOAs. Regularizing with an $\ell_1$-norm constraint renders the problem solvable with convex optimization, and promoting sparsity gives high-resolution DOA maps. Here, the sparse source distribution is derived using maximum a posteriori (MAP) estimates for both single and multiple snapshots. CS does not require inversion of the data covariance matrix and thus works well even for a single snapshot where it gives higher resolution than conventional beamforming. For multiple snapshots, CS outperforms conventional high-resolution methods, even with coherent arrivals and at low signal-to-noise ratio. The superior resolution of CS is demonstrated with vertical array data from the SWellEx96 experiment for coherent multi-paths.


title: Antiferromagnetic order and spin dynamics in iron-based superconductors

abstract: High-transition temperature (high-$T_c$) superconductivity in the iron pnictides/chalcogenides emerges from the suppression of the static antiferromagnetic order in their parent compounds, similar to copper oxides superconductors. This raises a fundamental question concerning the role of magnetism in the superconductivity of these materials. Neutron scattering, a powerful probe to study the magnetic order and spin dynamics, plays an essential role in determining the relationship between magnetism and superconductivity in high-$T_c$ superconductors. The rapid development of modern neutron time-of-flight spectrometers allows a direct determination of the spin dynamical properties of iron-based superconductors throughout the entire Brillouin zone. In this review, we present an overview of the neutron scattering results on iron-based superconductors, focusing on the evolution of spin excitation spectra as a function of electron/hole-doping and isoelectronic substitution. We compare spin dynamical properties of iron-based superconductors with those of copper oxide and heavy fermion superconductors, and discuss the common features of spin excitations in these three families of unconventional superconductors and their relationship with superconductivity.


title: Terwilliger algebras of wreath products by 3-equivalent schemes

abstract: Recently G. Bhattacharyya, S.Y. Song and R. Tanaka began to study Terwilliger algebras of wreath products of one-class association schemes. K. Kim determined the structure of Terwilliger algebras of wreath products by one-class association schemes or quasi-thin schemes. In this paper, we study Terwilliger algebras of wreath products by $3$-equivalenced schemes.


title: Common subfields of p-algebras of prime degree

abstract: We show that if two division $p$-algebras of prime degree share an inseparable field extension of the center then they also share a cyclic separable one. We show that the converse is in general not true. We also point out that sharing all the inseparable field extensions of the center does not imply sharing all the cyclic separable ones.


title: The free path in a high velocity random flight process associated to a Lorentz gas in an external field

abstract: We investigate the asymptotic behavior of the free path of a variable density random flight model in an external field as the initial velocity of the particle goes to infinity. The random flight models we study arise naturally as the Boltzmann-Grad limit of a random Lorentz gas in the presence of an external field. By analyzing the time duration of the free path, we obtain exact forms for the asymptotic mean and variance of the free path in terms of the external field and the density of scatterers. As a consequence, we obtain a diffusion approximation for the joint process of the particle observed at reflection times and the amount of time spent in free flight.


title: Selection of the optimal Box-Cox transformation parameter for modelling and forecasting age-specific fertility

abstract: The Box-Cox transformation can sometimes yield noticeable improvements in model simplicity, variance homogeneity and precision of estimation, such as in modelling and forecasting age-specific fertility. Despite its importance, there have been few studies focusing on the optimal selection of Box-Cox transformation parameters in demographic forecasting. A simple method is proposed for selecting the optimal Box-Cox transformation parameter, along with an algorithm based on an in-sample forecast error measure. Illustrated by Australian age-specific fertility, the out-of-sample accuracy of a forecasting method can be improved with the selected Box-Cox transformation parameter. Furthermore, the log transformation is not adequate for modelling and forecasting age-specific fertility. The Box-Cox transformation parameter should be embedded in statistical analysis of age-specific demographic data, in order to fully capture forecast uncertainties.


title: Rayleigh-Taylor instability under an inclined plane

abstract: We revisit the canonical Rayleigh-Taylor instability and investigate the case of a thin film of fluid upon the underside of an inclined plane. The presence of a natural flow along the plane competes with the conventional droplet forming instability. In particular, experiments reveal that no drops form for inclinations greater than a critical value. These features are rationalized in the context of the absolute/convective analysis conducted in this article.


title: One Scan 1-Bit Compressed Sensing

abstract: Based on $\alpha$-stable random projections with small $\alpha$, we develop a simple algorithm for compressed sensing (sparse signal recovery) by utilizing only the signs (i.e., 1-bit) of the measurements. Using only 1-bit information of the measurements results in substantial cost reduction in collection, storage, communication, and decoding for compressed sensing. The proposed algorithm is efficient in that the decoding procedure requires only one scan of the coordinates. Our analysis can precisely show that, for a $K$-sparse signal of length $N$, $12.3K\log N/\delta$ measurements (where $\delta$ is the confidence) would be sufficient for recovering the support and the signs of the signal. While the method is very robust against typical measurement noises, we also provide the analysis of the scheme under random flipping of the signs of the measurements. \noindent Compared to the well-known work on 1-bit marginal regression (which can also be viewed as a one-scan method), the proposed algorithm requires orders of magnitude fewer measurements. Compared to 1-bit Iterative Hard Thresholding (IHT) (which is not a one-scan algorithm), our method is still significantly more accurate. Furthermore, the proposed method is reasonably robust against random sign flipping while IHT is known to be very sensitive to this type of noise.


title: Hopf algebra $\mathcal{K}_n$ and universal Chern classes

abstract: We construct a variant $\mathcal{K}_n$ of the Hopf algebra $\mathcal{H}_n$, which acts directly on the noncommutative model for the generic space of leaves rather than on its frame bundle. We prove that the Hopf cyclic cohomology of $\mathcal{K}_n$ is isomorphic to that of the pair $(\mathcal{H}_n, {\mathop{\rm GL}_n})$ and thus consists of the universal Hopf cyclic classes. We then realize these classes in terms of geometric cocycles.


title: Buffer Aided Relaying Improves Both Throughput and End-to-End Delay

abstract: Buffer aided relaying has recently attracted a lot of attention due to the improvement in the system throughput. However, a side effect usually deemed is that buffering at relay nodes results in the increase in packet delays. In this paper, we study the effect of buffering relays on the end-to-end delay of users' data, from the time they arrive at source until delivery to the destination. We use simple discussions to provide an insight on the overall waiting time of the packets in the system. By studying the Bernoulli distributed channel conditions, and using intuitive generalizations, we conclude that the use of buffers at relays improves not only throughput, but ironically the end-to-end delay as well. Computer simulations in the settings of practical systems confirm the above results.


title: Arithmetic in Metamath, Case Study: Bertrand's Postulate

abstract: Unlike some other formal systems, the proof system Metamath has no built-in concept of "decimal number" in the sense that arbitrary digit strings are not recognized by the system without prior definition. We present a system of theorems and definitions and an algorithm to apply these as basic operations to perform arithmetic calculations with a number of steps proportional to an arbitrary-precision arithmetic calculation. We consider as case study the formal proof of Bertrand's postulate, which required the calculation of many small primes. Using a Mathematica implementation, we were able to complete the first formal proof in Metamath using numbers larger than 10. Applications to the mechanization of Metamath proofs are discussed, and a heuristic argument for the feasability of large proofs such as Tom Hales' proof of the Kepler conjecture is presented.


title: The isoperimetric inequality on asymptotically flat manifolds with nonnegative scalar curvature

abstract: In this note, we consider the isoperimetric inequality on an asymptotically flat manifold with nonnegative scalar curvature, and improve it by using Hawking mass. We also obtain a rigidity result when equality holds for the classical isoperimetric inequality on an asymptotically flat manifold with nonnegative scalar curvature.


title: Fully Connected Deep Structured Networks

abstract: Convolutional neural networks with many layers have recently been shown to achieve excellent results on many high-level tasks such as image classification, object detection and more recently also semantic segmentation. Particularly for semantic segmentation, a two-stage procedure is often employed. Hereby, convolutional networks are trained to provide good local pixel-wise features for the second step being traditionally a more global graphical model. In this work we unify this two-stage process into a single joint training algorithm. We demonstrate our method on the semantic image segmentation task and show encouraging results on the challenging PASCAL VOC 2012 dataset.


title: Infinite-dimensional $\ell^1$ minimization and function approximation from pointwise data

abstract: We consider the problem of approximating a smooth function from finitely-many pointwise samples using $\ell^1$ minimization techniques. In the first part of this paper, we introduce an infinite-dimensional approach to this problem. Three advantages of this approach are as follows. First, it provides interpolatory approximations in the absence of noise. Second, it does not require \textit{a priori} bounds on the expansion tail in order to be implemented. In particular, the truncation strategy we introduce as part of this framework is independent of the function being approximated, provided the function has sufficient regularity. Third, it allows one to explain the key role weights play in the minimization; namely, that of regularizing the problem and removing aliasing phenomena. In the second part of this paper we present a worst-case error analysis for this approach. We provide a general recipe for analyzing this technique for arbitrary deterministic sets of points. Finally, we use this tool to show that weighted $\ell^1$ minimization with Jacobi polynomials leads to an optimal method for approximating smooth, one-dimensional functions from scattered data.


title: Fast Distributed Algorithms for Connectivity and MST in Large Graphs

abstract: Motivated by the increasing need to understand the algorithmic foundations of distributed large-scale graph computations, we study a number of fundamental graph problems in a message-passing model for distributed computing where $k \geq 2$ machines jointly perform computations on graphs with $n$ nodes (typically, $n \gg k$). The input graph is assumed to be initially randomly partitioned among the $k$ machines, a common implementation in many real-world systems. Communication is point-to-point, and the goal is to minimize the number of communication rounds of the computation. Our main result is an (almost) optimal distributed randomized algorithm for graph connectivity. Our algorithm runs in $\tilde{O}(n/k^2)$ rounds ($\tilde{O}$ notation hides a $\poly\log(n)$ factor and an additive $\poly\log(n)$ term). This improves over the best previously known bound of $\tilde{O}(n/k)$ [Klauck et al., SODA 2015], and is optimal (up to a polylogarithmic factor) in view of an existing lower bound of $\tilde{\Omega}(n/k^2)$. Our improved algorithm uses a bunch of techniques, including linear graph sketching, that prove useful in the design of efficient distributed graph algorithms. Using the connectivity algorithm as a building block, we then present fast randomized algorithms for computing minimum spanning trees, (approximate) min-cuts, and for many graph verification problems. All these algorithms take $\tilde{O}(n/k^2)$ rounds, and are optimal up to polylogarithmic factors. We also show an almost matching lower bound of $\tilde{\Omega}(n/k^2)$ rounds for many graph verification problems by leveraging lower bounds in random-partition communication complexity.


title: A General Scheme for Noise-Tolerant Logic Design Based on Probabilistic and DCVS Approaches

abstract: In this paper, a general circuit scheme for noise-tolerant logic design based on Markov Random Field theory and differential Cascade Voltage Switch technique has been proposed, which is an extension of the work in [1-3], [4]. A block with only four transistors has been successfully inserted to the original circuit scheme from [3] and extensive simulation results show that our proposed design can operate correctly with the input signal of 1 dB signal-noise-ratio. When using the evaluation parameter from [5], the output value of our design decreases by 76.5% on average than [3] which means that superior noise-immunity could be obtained through our work.


title: Generalized distance-squared mappings of $\mathbb{R}^{n+1}$ into $\mathbb{R}^{2n+1}$

abstract: We classify generalized distance-squared mappings of $\mathbb{R}^{n+1}$ into $\mathbb{R}^{2n+1}$ ($n\ge 1$) having generic central points. Moreover, we show that there does not exist a universal bad set $\Sigma\subset (\mathbb{R}^{n+1})^{2n+1}$ in the case of this dimension-pair.


title: Mathematical understanding of detailed balance condition violation and its application to Langevin dynamics

abstract: We develop an efficient sampling method by simulating Langevin dynamics with an artificial force rather than a natural force by using the gradient of the potential energy. The standard technique for sampling following the predetermined distribution such as the Gibbs-Boltzmann one is performed under the detailed balance condition. In the present study, we propose a modified Langevin dynamics violating the detailed balance condition on the transition-probability formulation. We confirm that the numerical implementation of the proposed method actually demonstrates two major beneficial improvements: acceleration of the relaxation to the predetermined distribution and reduction of the correlation time between two different realizations in the steady state.


title: Context-Dependent Translation Selection Using Convolutional Neural Network

abstract: We propose a novel method for translation selection in statistical machine translation, in which a convolutional neural network is employed to judge the similarity between a phrase pair in two languages. The specifically designed convolutional architecture encodes not only the semantic similarity of the translation pair, but also the context containing the phrase in the source language. Therefore, our approach is able to capture context-dependent semantic similarities of translation pairs. We adopt a curriculum learning strategy to train the model: we classify the training examples into easy, medium, and difficult categories, and gradually build the ability of representing phrase and sentence level context by using training examples from easy to difficult. Experimental results show that our approach significantly outperforms the baseline system by up to 1.4 BLEU points.


title: On the uniqueness of $L_p$-Minkowski problems: the constant $p$-curvature case in $\mathbb{R}^3$

abstract: We study the $C^4$ smooth convex bodies $\mathbb{K}\subset\mathbb{R}^{n+1}$ satisfying $K(x)=u(x)^{1-p}$, where $x\in\mathbb{S}^n$, $K$ is the Gauss curvature of $\partial\mathbb{K}$, $u$ is the support function of $\mathbb{K}$, and $p$ is a constant. In the case of $n=2$, either when $p\in[-1,0]$ or when $p\in(0,1)$ in addition to a pinching condition, we show that $\mathbb{K}$ must be the unit ball. This partially answers a conjecture of Lutwak, Yang, and Zhang about the uniqueness of the $L_p$-Minkowski problem in $\mathbb{R}^3$. Moreover, we give an explicit pinching constant depending only on $p$ when $p\in(0,1)$.