title: Comparing molecules and solids across structural and alchemical space

abstract: Evaluating the (dis)similarity of crystalline, disordered and molecular compounds is a critical step in the development of algorithms to navigate automatically the configuration space of complex materials. For instance, a structural similarity metric is crucial for classifying structures, searching chemical space for better compounds and materials, and driving the next generation of machine-learning techniques for predicting the stability and properties of molecules and materials. In the last few years several strategies have been designed to compare atomic coordination environments. In particular, the Smooth Overlap of Atomic Positions (SOAP) has emerged as an elegant framework to obtain translation, rotation and permutation-invariant descriptors of groups of atoms, driven by the design of various classes of machine-learned inter-atomic potentials. Here we discuss how one can combine such local descriptors using a Regularized Entropy Match (REMatch) approach to describe the similarity of both whole molecular and bulk periodic structures, introducing powerful metrics that enable the navigation of alchemical and structural complexity within a unified framework. Furthermore, using this kernel and a ridge regression method we can predict atomization energies for a database of small organic molecules with a mean absolute error below 1kcal/mol, reaching an important milestone in the application of machine-learning techniques to the evaluation of molecular properties.


title: 6D RG Flows and Nilpotent Hierarchies

abstract: With the eventual aim of classifying renormalization group flows between 6D superconformal field theories (SCFTs), we study flows generated by the vevs of "conformal matter," a generalization of conventional hypermultiplets which naturally appear in the F-theory classification of 6D SCFTs. We consider flows in which the parent UV theory is (on its partial tensor branch) a linear chain of gauge groups connected by conformal matter, with one flavor group G at each end of the chain, and in which the symmetry breaking of the conformal matter at each end is parameterized by the orbit of a nilpotent element, i.e. T-brane data, of one of these flavor symmetries. Such nilpotent orbits admit a partial ordering, which is reflected in a hierarchy of IR fixed points. For each such nilpotent orbit, we determine the corresponding tensor branch for the resulting SCFT. An important feature of this algebraic approach is that it also allows us to systematically compute the unbroken flavor symmetries inherited from the parent UV theory.


title: Free hyperboloidal evolution in spherical symmetry

abstract: We address the hyperboloidal initial value problem in the context of Numerical Relativity, motivated by its evolution on hyperboloidal slices: smooth spacelike slices that reach future null infinity, the "location" in spacetime where radiation is to be extracted. Our approach uses the BSSN and Z4 formulations and a time-independent conformal factor. The resulting system of PDEs includes formally diverging terms at null infinity. Here we discuss a regularized numerical scheme in spherical symmetry. A critical ingredient are the gauge conditions, which control the treatment of future null infinity. Stable numerical evolutions have been performed with regular and black hole initial data on a hyperboloidal slice. A sufficiently large scalar field perturbation will create a black hole, whose final stationary state is different from the trumpet initial data derived here.


title: The Ohmic two-state system from the perspective of the interacting resonant level model: Thermodynamics and transient dynamics

abstract: We investigate the thermodynamics and transient dynamics of the (unbiased) Ohmic two-state system by exploiting the equivalence of this model to the interacting resonant level model. For the thermodynamics, we show, by using the numerical renormalization group (NRG) method, how the universal specific heat and susceptibility curves evolve with increasing dissipation strength, $\alpha$, from those of an isolated two-level system at vanishingly small dissipation strength, with the characteristic activated-like behavior in this limit, to those of the isotropic Kondo model in the limit $\alpha\to 1^{-}$. For the transient dynamics of the two-level system, $P(t)=\langle \sigma_{z}(t)\rangle$, with initial-state preparation $P(t\leq0)=+1$, we apply the time-dependent extension of the NRG (TDNRG) to the interacting resonant level model, and compare the results obtained with those from the noninteracting-blip approximation (NIBA), the functional renormalization group (FRG), and the time-dependent density matrix renormalization group (TD-DMRG). We demonstrate excellent agreement on short to intermediate time scales between TDNRG and TD-DMRG for $0\lesssim\alpha \lesssim 0.9$ for $P(t)$, and between TDNRG and FRG in the vicinity of $\alpha=1/2$. Furthermore, we quantify the error in the NIBA for a range of $\alpha$, finding significant errors in the latter even for $0.1\leq \alpha\leq 0.4$. We also briefly discuss why the long-time errors in the present formulation of the TDNRG prevents an investigation of the crossover between coherent and incoherent dynamics. Our results for $P(t)$ at short to intermediate times could act as useful benchmarks for the development of new techniques to simulate the transient dynamics of spin-boson problems.


title: Reversible filters

abstract: A space is reversible if every continuous bijection of the space onto itself is a homeomorphism. In this paper we study the question of which countable spaces with a unique non-isolated point are reversible. By Stone duality, these spaces correspond to closed subsets in the \v{C}ech-Stone compactification of the natural numbers $\beta\omega$. From this, the following natural problem arises: given a space $X$ that is embeddable in $\beta\omega$, is it possible to embed $X$ in such a way that the associated filter of neighborhoods defines a reversible (or non-reversible) space? We give the solution to this problem in some cases. It is specially interesting whether the image of the required embedding is a weak $P$-set.


title: Prym varieties of \'etale covers of hyperelliptic curves

abstract: It is well known that the Prym variety of an \'etale cyclic covering of a hyperelliptic curve is isogenous to the product of two Jacobians. Moreover, if the degree of the covering is odd or congruent to 2 mod 4, then the canonical isogeny is an isomorphism. We compute the degree of this isogeny in the remaining cases and show that only in the case of coverings of degree 4 it is an isomorphism.


title: Observational studies with unknown time of treatment

abstract: Time plays a fundamental role in causal analyses, where the goal is to quantify the effect of a specific treatment on future outcomes. In a randomized experiment, times of treatment, and when outcomes are observed, are typically well defined. In an observational study, treatment time marks the point from which pre-treatment variables must be regarded as outcomes, and it is often straightforward to establish. Motivated by a natural experiment in online marketing, we consider a situation where useful conceptualizations of the experiment behind an observational study of interest lead to uncertainty in the determination of times at which individual treatments take place. Of interest is the causal effect of heavy snowfall in several parts of the country on daily measures of online searches for batteries, and then purchases. The data available give information on actual snowfall, whereas the natural treatment is the anticipation of heavy snowfall, which is not observed. In this article, we introduce formal assumptions and inference methodology centered around a novel notion of plausible time of treatment. These methods allow us to explicitly bound the last plausible time of treatment in observational studies with unknown times of treatment, and ultimately yield valid causal estimates in such situations.


title: L-Store: A Real-time OLTP and OLAP System

abstract: Arguably data is the new natural resource in the enterprise world with an unprecedented degree of proliferation. But to derive real-time actionable insights from the data, it is important to bridge the gap between managing the data that is being updated at a high velocity (i.e., OLTP) and analyzing a large volume of data (i.e., OLAP). However, there has been a divide where specialized solutions were often deployed to support either OLTP or OLAP workloads but not both; thus, limiting the analysis to stale and possibly irrelevant data. In this paper, we present Lineage-based Data Store (L-Store) that combines the real-time processing of transactional and analytical workloads within a single unified engine by introducing a novel lineage-based storage architecture. By exploiting the lineage, we develop a contention-free and lazy staging of columnar data from a write-optimized form (suitable for OLTP) into a read-optimized form (suitable for OLAP) in a transactionally consistent approach that also supports querying and retaining the current and historic data. Our working prototype of L-Store demonstrates its superiority compared to state-of-the-art approaches under a comprehensive experimental evaluation.


title: Reconstructing the Solar Wind From Its Early History To Current Epoch

abstract: Stellar winds from active solar type stars can play a crucial role in removal of stellar angular momentum and erosion of planetary atmospheres. However, major wind properties except for mass loss rates cannot be directly derived from observations. We employed a three dimensional magnetohydrodynamic Alfven wave driven solar wind model, ALF3D, to reconstruct the solar wind parameters including the mass loss rate, terminal velocity and wind temperature at 0.7, 2 and 4.65 Gyr. Our model treats the wind thermal electrons, protons and pickup protons as separate fluids and incorporates turbulence transport, eddy viscosity, turbulent resistivity, and turbulent heating to properly describe proton and electron temperatures of the solar wind. To study the evolution of the solar wind, we specified three input model parameters, the plasma density, Alfven wave amplitude and the strength of the dipole magnetic field at the wind base for each of three solar wind evolution models that are consistent with observational constrains. Our model results show that the velocity of the paleo solar wind was twice as fast, about 50 times denser and 2 times hotter at 1 AU in the Suns early history at 0.7 Gyr. The theoretical calculations of mass loss rate appear to be in agreement with the empirically derived values for stars of various ages. These results can provide constraints for wind dynamic pressures on magnetospheres of (exo)planets around the young Sun and other active stars, which is crucial in realistic assessment of the Joule heating of their ionospheres and corresponding effects of atmospheric erosion.


title: Transition Rates for a Rydberg Atom Surrounded by a Plasma

abstract: We derive a quantum master equation for an atom coupled to a heat bath represented by a charged particle many-body environment. In Born-Markov approximation, the influence of the plasma environment on the reduced system is described by the dynamical structure factor. Expressions for the profiles of spectral lines are obtained. Wave packets are introduced as robust states allowing for a quasi-classical description of Rydberg electrons. Transition rates for highly excited Rydberg levels are investigated. A circular-orbit wave packet approach has been applied, in order to describe the localization of electrons within Rydberg states. The calculated transition rates are in a good agreement with experimental data.


title: Central charge

abstract: Proceeding in exactly the same way as in the derivation of the temperature of a dual CFT for the extremal black hole in the Kerr/CFT correspondence, it is found that the temperature of a chiral, dual CFT for the Schwarzschild black hole is $T=1/2\pi$. Comparing Cardy's formula with the Bekenstein-Hawking entropy and using $T$, it is found that the central charge for the Schwarzschild black hole is of the form $c=12J_{\rm in}$, where $J_{\rm in}$ is the intrinsic angular momentum of the black hole, $J_{\rm in}=A/8\pi G$. It is shown that the central charge for any four-dimensional (4D) extremal black hole is of the same form. The possible universality of this form is briefly discussed.


title: Calculation of Lebesgue Integrals by Using Uniformly Distributed Sequences in $(0,1)$

abstract: We present modified proof of a certain version of Kolmogorov's strong law of large numbers for calculation of Lebesgue Integrals by using uniformly distributed sequences in $(0,1)$. We extend the result of C. Baxa and J. Schoi$\beta$engeier (cf.\cite{BaxSch2002}, Theorem 1, p. 271) to a maximal set of uniformly distributed (in $(0,1)$) sequences $S_f \subset(0,1)^{\infty}$ which strictly contains the set of sequences of the form $(\{\alpha n\})_{n \in {\bf N}}$ with irrational number $\alpha$ and for which $\ell_1^{\infty}(S_f)=1$, where $\ell_1^{\infty}$ denotes the infinite power of the linear Lebesgue measure $\ell_1$ in $(0,1)$.


title: Neutrino mixing and CP violation from Dirac-Majorana mixing

abstract: We consider a minimal condition that predicts the 1-3 lepton mixing angle $\theta_{13} \simeq \theta_{\rm C}/\sqrt{2}$ with $\theta_{\rm C}$ the Cabibbo angle, and give the improved prediction of $\theta_{13}$. In the case of normal mass ordering, the theoretical value of $\theta_{13}$ is predicted as $\theta_{13}=8.6^\circ$, which is in good agreement with the current global best fit. In the case of inverted mass ordering, the theoretical value is predicted as $\theta_{13}=9.7^\circ$, which is far from the current global best fit. We also study the leptonic CP violation. We show that any values of the leptonic Dirac CP phase $\delta_{\rm CP}$ can be obtained by fine tuning. Without fine tuning, $|\sin\delta_{\rm CP}|$ should be very small, typically of ${\cal O}(\lambda^2)$ where $\lambda\equiv \sin\theta_{\rm C}$. Furthermore, a model-independent measure of CP violation is proposed, which is applicable to any flavor models.


title: Finite BMS transformations

abstract: The action of finite BMS and Weyl transformations on the gravitational data at null infinity is worked out in three and four dimensions in the case of an arbitrary conformal factor for the boundary metric induced on Scri.


title: Multigrid Methods for Constrained Minimization Problems and Application to Saddle Point Problems

abstract: The first order condition of the constrained minimization problem leads to a saddle point problem. A multigrid method using a multiplicative Schwarz smoother for saddle point problems can thus be interpreted as a successive subspace optimization method based on a multilevel decomposition of the constraint space. Convergence theory is developed for successive subspace optimization methods based on two assumptions on the space decomposition: stable decomposition and strengthened Cauchy-Schwarz inequality, and successfully applied to the saddle point systems arising from mixed finite element methods for Poisson and Stokes equations. Uniform convergence is obtained without the full regularity assumption of the underlying partial differential equations. As a byproduct, a V-cycle multigrid method for non-conforming finite elements is developed and proved to be uniform convergent with even one smoothing step.


title: On the Star Formation Properties of Void Galaxies

abstract: We measure the star formation properties of two large samples of galaxies from the SDSS in large-scale cosmic voids on time scales of 10 Myr and 100 Myr, using H$\alpha$ emission line strengths and GALEX FUV fluxes, respectively. The first sample consists of 109,818 optically selected galaxies. We find that void galaxies in this sample have higher specific star formation rates (SSFRs; star formation rates per unit stellar mass) than similar stellar mass galaxies in denser regions. The second sample is a subset of the optically selected sample containing 8070 galaxies with reliable HI detections from ALFALFA. For the full HI detected sample, SSFRs do not vary systematically with large-scale environment. However, investigating only the HI detected dwarf galaxies reveals a trend towards higher SSFRs in voids. Furthermore, we estimate the star formation rate per unit HI mass (known as the star formation efficiency; SFE) of a galaxy, as a function of environment. For the overall HI detected population, we notice no environmental dependence. Limiting the sample to dwarf galaxies again reveals a trend towards higher SFEs in voids. These results suggest that void environments provide a nurturing environment for dwarf galaxy evolution allowing for higher specific star formation rates and efficiencies.


title: A Statistical Model of Inequality

abstract: This paper develops a nonparametric statistical model of wealth distribution that imposes little structure on the fluctuations of household wealth. In this setting, we use new techniques to obtain a closed-form household-by-household characterization of the stable distribution of wealth and show that this distribution is shaped entirely by two factors - the reversion rates (a measure of cross-sectional mean reversion) and idiosyncratic volatilities of wealth across different ranked households. By estimating these factors, our model can exactly match the U.S. wealth distribution. This provides information about the current trajectory of inequality as well as estimates of the distributional effects of progressive capital taxes. We find evidence that the U.S. wealth distribution might be on a temporarily unstable trajectory, thus suggesting that further increases in top wealth shares are likely in the near future. For capital taxes, we find that a small tax levied on just 1% of households substantially reshapes the distribution of wealth and reduces inequality.


title: Efficient and Flexible Crowdsourcing of Specialized Tasks with Precedence Constraints

abstract: Many companies now use crowdsourcing to leverage external (as well as internal) crowds to perform specialized work, and so methods of improving efficiency are critical. Tasks in crowdsourcing systems with specialized work have multiple steps and each step requires multiple skills. Steps may have different flexibilities in terms of obtaining service from one or multiple agents, due to varying levels of dependency among parts of steps. Steps of a task may have precedence constraints among them. Moreover, there are variations in loads of different types of tasks requiring different skill-sets and availabilities of different types of agents with different skill-sets. Considering these constraints together necessitates the design of novel schemes to allocate steps to agents. In addition, large crowdsourcing systems require allocation schemes that are simple, fast, decentralized and offer customers (task requesters) the freedom to choose agents. In this work we study the performance limits of such crowdsourcing systems and propose efficient allocation schemes that provably meet the performance limits under these additional requirements. We demonstrate our algorithms on data from a crowdsourcing platform run by a non-profit company and show significant improvements over current practice.


title: MultiGrid Preconditioners for Mixed Finite Element Methods of Vector Laplacian

abstract: Due to the indefiniteness and poor spectral properties, the discretized linear algebraic system of the vector Laplacian by mixed finite element methods is hard to solve. A block diagonal preconditioner has been developed and shown to be an effective preconditioner by Arnold, Falk, and Winther [Acta Numerica, 15:1--155, 2006]. The purpose of this paper is to propose alternative and effective block diagonal and block triangular preconditioners for solving this saddle point system. A variable V-cycle multigrid method with the standard point-wise Gauss-Seidel smoother is proved to be a good preconditioner for a discrete vector Laplacian operator. This multigrid solver will be further used to build preconditioners for the saddle point systems of the vector Laplacian and the Maxwell equations with divergent free constraint. The major benefit of our approach is that the point-wise Gauss-Seidel smoother is more algebraic and can be easily implemented as a black-box smoother.


title: Goodness-of-fit statistics for approximate Bayesian computation

abstract: Approximate Bayesian computation is a statistical framework that uses numerical simulations to calibrate and compare models. Instead of computing likelihood functions, Approximate Bayesian computation relies on numerical simulations, which makes it applicable to complex models in ecology and evolution. As usual for statistical modeling, evaluating goodness-of-fit is a fundamental step for Approximate Bayesian Computation. Here, we introduce a goodness-of-fit approach based on hypothesis-testing. We introduce two test statistics based on the mean distance between numerical summaries of the data and simulated ones. One test statistic relies on summaries simulated with the prior predictive distribution whereas the other one relies on simulations from the posterior predictive distribution. For different coalescent models, we find that the statistics are well calibrated, meaning that the type I error can be controlled. However, the statistical power of the two statistics is extremely variable across models ranging from 20% to 100%. The difference of power between the two statistics is negligible in models of demographic inference but substantial in an additional and purely statistical example. When analyzing resequencing data to evaluate models of human demography, the two statistics confirm that an out-of-Africa bottleneck cannot be rejected for Asiatic and European data. We also consider two speciation models in the context of a butterfly species complex. One goodness-of-fit statistic indicates a poor fit for both models, and the numerical summaries causing the poor fit were identified using posterior predictive checks. Statistical tests for goodness-of-fit should foster evaluation of model fit in Approximate Bayesian Computation. The test statistic based on simulations from the prior predictive distribution is implemented in the gfit function of the R abc package.


title: Nonlinear Consensus Strategies for Multi-Agent Networks in Presence of Communication Delays and Switching Topologies: Real-Time Receding Horizon Approach

abstract: This paper presents a novel framework which combines a non-iterative solution of Real-Time Nonlinear Receding Horizon Control (NRHC) methodology to achieve consensus within complex network topologies with existing time-delays and in presence of switching topologies. In this formulation, we solve the distributed nonlinear optimization problem for multi-agent network systems directly, \emph{in real-time}, without any dependency on iterative processes, where the stability and convergence guarantees are provided for the solution. Three benchmark examples on non-linear chaotic systems provide validated results which demonstrate the significant outcomes of such methodology.


title: Lighthouse Principle for Diffusion in Social Networks

abstract: The article investigates influence relation between two sets of agents in a social network. It proposes a logical system that captures propositional properties of this relation valid in all threshold models of social networks with the same topological structure. The logical system consists of Armstrong axioms for functional dependence and an additional Lighthouse axiom. The main results are soundness, completeness, and decidability theorems for this logical system.


title: A note on inverses of cyclotomic mapping permutation polynomials over finite fields

abstract: In this note, we give a shorter proof of the result of Zheng, Yu, and Pei on the explicit formula of inverses of generalized cyclotomic permutation polynomials over finite fields. Moreover, we characterize all these cyclotomic permutation polynomials that are involutions. Our results provide a fast algorithm (only modular operations are involved) to generate many classes of generalized cyclotomic permutation polynomials, their inverses, and involutions.


title: The sharp quantitative Euclidean concentration inequality

abstract: The Euclidean concentration inequality states that, among sets with fixed volume, balls have $r$-neighborhoods of minimal volume for every $r>0$. On an arbitrary set, the deviation of this volume growth from that of a ball is shown to control the square of the volume of the symmetric difference between the set and a ball. This sharp result is strictly related to the physically significant problem of understanding near maximizers in the Riesz rearrangement inequality with a strictly decreasing radially decreasing kernel. Moreover, it implies as a particular case the sharp quantitative Euclidean isoperimetric inequality from \cite{fuscomaggipratelli}.


title: NLO efforts in Herwig++

abstract: With the advent and recent extension of the BLHA standard to interface Monte Carlo event generators and one-loop matrix element providers, the Herwig++ event generator has expanded its range of applicability to a multitude of underlying hard processes at NLO QCD. The new NLO development is centered around the Matchbox framework, which turns fixed NLO QCD calculations into parton shower matched calculations - to be matched to the two parton shower variants of Herwig++. Matchbox provides thereby for the automated setup of the underlying fixed NLO QCD calculations and the interface to the one-loop matrix element providers, as well as for an efficient and automated multi-channel phase space sampling, and forms the basis for the NLO capabilities of the new release of Herwig++. Along with several other new features and developments, the new release marks the end of distinguishing Herwig++ and (Fortran) HERWIG, and constitutes the first major release of version 7 of the Herwig event generator.


title: Study of Distributed Conjugate Gradient Strategies for Distributed Estimation Over Sensor Networks

abstract: This paper presents distributed conjugate gradient algorithms for distributed parameter estimation and spectrum estimation over wireless sensor networks. In particular, distributed conventional conjugate gradient (CCG) and modified conjugate gradient (MCG) are considered, together with incremental and diffusion adaptive solutions. The distributed CCG and MCG algorithms have an improved performance in terms of mean square error as compared with least--mean square (LMS)--based algorithms and a performance that is close to recursive least--squares (RLS) algorithms. In comparison with existing centralized or distributed estimation strategies, key features of the proposed algorithms are: 1) more accurate estimates and faster convergence speed can be obtained; 2) the design of preconditioners for CG algorithms, which have the ability to improve the performance of the proposed CG algorithms is presented and 3) the proposed algorithms are implemented in the area of distributed parameter estimation and spectrum estimation. The performance of the proposed algorithms for distributed estimation is illustrated via simulations and the resulting algorithms are distributed, cooperative and able to respond in real time to change in the environment.


title: Thermal Sublimation: a Scalable and Controllable Thinning Method for the Fabrication of Few-Layer Black Phosphorus

abstract: In this work, we reported uniform layer-by-layer sublimation of black phosphorus under heating below 600 K. The uniformity and crystallinity of BP samples after thermal thinning were confirmed by Raman spectra and 2D Raman imaging. A uniform and crystalline bilayer black phosphorus flake with an area of 180 um^2 was prepared with this method. No micron scale defects were observed. The sublimation rate of BP was around 0.18 nm / min at 500 K and 1.5 nm / min at 550 K. Both room and high temperature Raman peak intensity ratio Si/A2g vs. BP thickness relations were established for in-situ thickness determination. The sublimation thinning method was shown to be a controllable and scalable approach to prepare few-layer black phosphorus.


title: Anisotropic exchange within decoupled tetrahedra in the quantum breathing pyrochlore Ba3Yb2Zn5O11

abstract: The low energy spin excitation spectrum of the breathing pyrochlore Ba3Yb2Zn5O11 has been investigated with inelastic neutron scattering. Several nearly resolution limited modes with no observable dispersion are observed at 250 mK while, at elevated temperatures, transitions between excited levels become visible. To gain deeper insight, a theoretical model of isolated Yb3+ tetrahedra parametrized by four anisotropic exchange constants is constructed. The model reproduces the inelastic neutron scattering data, specific heat, and magnetic susceptibility with high fidelity. The fitted exchange parameters reveal a Heisenberg antiferromagnet with a very large Dzyaloshinskii-Moriya interaction. Using this model, we predict the appearance of an unusual octupolar paramagnet at low temperatures and speculate on the development of inter-tetrahedron correlations.


title: Learning the Semantics of Structured Data Sources

abstract: Information sources such as relational databases, spreadsheets, XML, JSON, and Web APIs contain a tremendous amount of structured data that can be leveraged to build and augment knowledge graphs. However, they rarely provide a semantic model to describe their contents. Semantic models of data sources represent the implicit meaning of the data by specifying the concepts and the relationships within the data. Such models are the key ingredients to automatically publish the data into knowledge graphs. Manually modeling the semantics of data sources requires significant effort and expertise, and although desirable, building these models automatically is a challenging problem. Most of the related work focuses on semantic annotation of the data fields (source attributes). However, constructing a semantic model that explicitly describes the relationships between the attributes in addition to their semantic types is critical. We present a novel approach that exploits the knowledge from a domain ontology and the semantic models of previously modeled sources to automatically learn a rich semantic model for a new source. This model represents the semantics of the new source in terms of the concepts and relationships defined by the domain ontology. Given some sample data from the new source, we leverage the knowledge in the domain ontology and the known semantic models to construct a weighted graph that represents the space of plausible semantic models for the new source. Then, we compute the top k candidate semantic models and suggest to the user a ranked list of the semantic models for the new source. The approach takes into account user corrections to learn more accurate semantic models on future data sources. Our evaluation shows that our method generates expressive semantic models for data sources and services with minimal user input. ...


title: Minimization principle for non degenerate excited states (independent of orthogonality to lower lying known approximants)

abstract: The computation of small concise and comprehensible excited state wave functions is needed because many electronic processes occur in excited states. But since the excited energies are saddle points in the Hilbert space of wave functions, the standard computational methods, based on orthogonality to lower lying approximants, resort to huge and incomprehensible wave functions, otherwise, the truncated wave function is veered away from the exact. The presented variational principle for excited states, Fn, is demonstrated to lead to the correct excited eigenfunction in necessarily small truncated spaces. Using Hylleraas coordinates for He 1S 1s2s, the standard method based on the theorem of Hylleraas - Unheim, and MacDonald, yields misleading main orbitals 1s1s' and needs a series expansion of 27 terms to be corrected, whereas minimizing Fn goes directly to the corect main orbitals, 1s2s, and can be adequately improved by 8 terms. Fn uses crude, rather inaccurate, lower lying approximants and does not need orthogonality to them. This reduces significantly the computation cost. Thus, having a correct 1st excited state {\psi}1, a ground state approximant can be immediately improved toward an orthogonal to psi_1 function. Also higher lying functions can be found that have the energy of psi_1, but are orthogonal to psi_1. Fn can also recognize a flipped root in avoided crossings: The excited state, either flipped or not, has the smallest Fn. Thus, state average is unnecessary. The method is further applied via conventional configuration interaction to the three lowest singlet states of He 1S.


title: On the Origins of Near-Surface Stresses in Silicon around Cu-filled and CNT-filled Through Silicon Vias

abstract: Micro-Raman spectroscopy was employed to study the near-surface stress distributions and origins in Si around through silicon vias (TSVs) at both room temperature and elevated temperatures for Cu-filled and CNT-filled TSV samples. From the observations, we proved that the stresses near TSVs are mainly from two sources: 1) pre-existing stress before via filling, and 2) coefficients of thermal expansion (CTE) mismatch-induced stress. CTE-mismatch-induced stress is shown to dominate the compressive regime of the near-surface stress distribution around Cu-filled TSV structures, while pre-existing stress dominates the full range of the stress distribution in the CNT-filled TSV structures. Once the pre-existing stress is minimized, the total stress around CNT-filled TSVs can be minimized accordingly. Therefore, compared to Cu-filled TSVs, CNT-filled TSVs hold the potential to circumvent the hassle of stress-aware circuit layout and to solve the stress-related reliability issues.


title: Monolithic Integration of AlGaAs Distributed Bragg Reflectors on Virtual Ge Substrates via Aspect Ratio Trapping

abstract: High quality AlxGa1-xAs distributed Bragg reflectors (DBRs) were successfully monolithically grown on on-axis Si (100) substrates via a Ge layer formed by aspect ratio trapping (ART) technique. The GaAs/ART-Ge/Si-based DBRs have reflectivity spectra comparable to those grown on conventional bulk off-cut GaAs substrates and have smooth morphology, and good periodicity and uniformity. Anitphase domain formation is significantly reduced in GaAs on ART-Ge/Si substrates, and etch pit density of the GaAs base layer on the ART-Ge substrates ranges from 10^5 to 6 x 10^6 cm^(-2). These results paved the way for future VCSEL growth and fabrication on these ART-Ge substrates and also confirm that virtual Ge substrates via ART technique are effective Si platforms for optoelectronic integrated circuits.


title: Multipolar third-harmonic generation driven by optically-induced magnetic resonances

abstract: We analyze third-harmonic generation from high-index dielectric nanoparticles and discuss the basic features and multipolar nature of the parametrically generated electromagnetic fields near the Mie-type optical resonances. By combining both analytical and numerical methods, we study the nonlinear scattering from simple nanoparticle geometries such as spheres and disks in the vicinity of the magnetic dipole resonance. We reveal the approaches for manipulating and directing the resonantly enhanced nonlinear emission with subwavelength all-dielectric structures that can be of a particular interest for novel designs of nonlinear optical antennas and engineering the magnetic optical nonlinear response at nanoscale.


title: Inherent rhythm of smooth muscle cells in rat mesenteric arterioles: an eigensystem formulation

abstract: On the basis of experimental data and mathematical equations in the literature, we remodel the ionic dynamics of smooth muscle cells (SMCs) as an eigensystem formulation, which is valid for investigating finite variations of variables from the equilibrium like in common experimental operations. This algorithm provides an alternate viewpoint from frequency-domain analysis and enables one to probe functionalities of SMC's rhythm by means of a resonance-related mechanism. Numerical results show three types of calcium oscillations of SMCs in mesenteric arterioles: spontaneous calcium oscillation, agonist-dependent calcium oscillation, and agonist-dependent calcium spike. For simple single and double SMCs, we demonstrate properties of synchronization among complex signals related to calcium oscillations, and show different correlation relations between calcium and voltage signals for various synchronization and resonance conditions. For practical cell clusters, our analyses indicate that the rhythm of SMCs could (1) benefit enhancements of signal communications among remote cells, (2) respond to a significant calcium peaking against transient stimulations for triggering globally-oscillating modes, and (3) characterize the globally-oscillating modes via frog-leap (non-molecular-diffusion) calcium waves across inhomogeneous SMCs.


title: Rates of Convergence to Stationarity for Multidimensional RBM

abstract: We provide the first rate of convergence analysis for RBM as the dimension grows under natural uniformity conditions. In particular, if the underlying routing matrix is uniformly contractive, uniform stability of the drift vector holds, and the variances of the underlying Brownian Motion (BM) are bounded, then we show that the RBM converges exponentially fast to stationarity with a relaxation time of order $O(d^4\log(d)^2)$ as $d\to\infty$.


title: The bounce universe history from unimodular $F(R)$ gravity

abstract: In this paper we investigate how to realize various quite well known cosmological bouncing models in the context of the recently developed unimodular $F(R)$ gravity. Particularly, we shall study the matter bounce scenario, the singular bounce, the superbounce and a symmetric bounce scenario. We present the behavior of the Hubble radius for each of the bouncing models we shall take into account and we investigate which era of the bouncing model is responsible for the cosmological perturbations. As we shall demonstrate, the various bouncing models do not behave in the same way, so the cosmological perturbations for each model may correspond to a different era, in comparison to other models. Also we present which unimodular $F(R)$ gravity realizes each model. We also show that Newton's law is not modified in the unimodular $F(R)$ gravity, which also is proven to be a ghost-free theory, and in addition we discuss the matter stability issue. Finally, we demonstrate how it is possible to solve a cosmological constant problem in the context of unimodular $F(R)$ gravity.


title: An Overview of the SKA Science Analysis Pipeline

abstract: When completed the Square Kilometre Array (SKA) will feature an unprecedented rate of image generation. While previous generations of telescopes have relied on human expertise to extract scientifically interesting information from the images, the sheer data volume of the data will now make this impractical. Additionally, the rate at which data are accrued will not allow traditional imaging products to be stored indefinitely for later inspection meaning there is a strong imperative to discard uninteresting data in pseudo-real time. Here we outline components of the SKA science analysis pipeline being developed to produce a series of data products including continuum images, spectral cubes and Faraday depth spectra. We discuss a scheme to automatically extract value from these products and discard scientifically uninteresting data. This pipeline is thus expected to give both an increase in scientific productivity, and offers the possibility of reduced data archive size producing a considerable saving.


title: Training Recurrent Neural Networks by Diffusion

abstract: This work presents a new algorithm for training recurrent neural networks (although ideas are applicable to feedforward networks as well). The algorithm is derived from a theory in nonconvex optimization related to the diffusion equation. The contributions made in this work are two fold. First, we show how some seemingly disconnected mechanisms used in deep learning such as smart initialization, annealed learning rate, layerwise pretraining, and noise injection (as done in dropout and SGD) arise naturally and automatically from this framework, without manually crafting them into the algorithms. Second, we present some preliminary results on comparing the proposed method against SGD. It turns out that the new algorithm can achieve similar level of generalization accuracy of SGD in much fewer number of epochs.


title: Estimation of Fiber Orientations Using Neighborhood Information

abstract: Data from diffusion magnetic resonance imaging (dMRI) can be used to reconstruct fiber tracts, for example, in muscle and white matter. Estimation of fiber orientations (FOs) is a crucial step in the reconstruction process and these estimates can be corrupted by noise. In this paper, a new method called Fiber Orientation Reconstruction using Neighborhood Information (FORNI) is described and shown to reduce the effects of noise and improve FO estimation performance by incorporating spatial consistency. FORNI uses a fixed tensor basis to model the diffusion weighted signals, which has the advantage of providing an explicit relationship between the basis vectors and the FOs. FO spatial coherence is encouraged using weighted l1-norm regularization terms, which contain the interaction of directional information between neighbor voxels. Data fidelity is encouraged using a squared error between the observed and reconstructed diffusion weighted signals. After appropriate weighting of these competing objectives, the resulting objective function is minimized using a block coordinate descent algorithm, and a straightforward parallelization strategy is used to speed up processing. Experiments were performed on a digital crossing phantom, ex vivo tongue dMRI data, and in vivo brain dMRI data for both qualitative and quantitative evaluation. The results demonstrate that FORNI improves the quality of FO estimation over other state of the art algorithms.


title: Energy gaps and layer polarization of integer and fractional quantum Hall states in bilayer graphene

abstract: Owing to the spin, valley, and orbital symmetries, the lowest Landau level (LL) in bilayer graphene exhibits multicomponent quantum Hall ferromagnetism. Using transport spectroscopy, we investigate the energy gaps of integer and fractional quantum Hall states in bilayer graphene with controlled layer polarization. The state at filling factor {\nu}=1 has two distinct phases: a layer polarized state that has a larger energy gap and is stabilized by high electric field, and a hitherto unobserved interlayer coherent state with a smaller gap that is stabilized by large magnetic field. In contrast, the {\nu}=2/3 quantum Hall state and a feature at {\nu}=1/2 are only resolved at finite electric field and large magnetic field. These results underscore the importance of controlling layer polarization in understanding the competing symmetries in the unusual QH system of BLG.


title: Weyl groups of some hyperbolic Kac-Moody algebras

abstract: We use the theory of Clifford algebras and Vahlen groups to study Weyl groups of hyperbolic Kac-Moody algebras T_n^{++}, obtained by a process of double extension from a Cartan matrix of finite type T_n, whose corresponding generalized Cartan matrices are symmetric.


title: Approximating the maximum of a polynomial over a polytope: Handelman decomposition and continuous generating functions

abstract: We investigate a way to approximate the maximum of a polynomial over a polytopal region by using Handelman's polynomial decomposition and continuous multivariate generating functions. The maximization problem is NP-hard, but our approximation methods will run in polynomial time when the dimension is fixed.


title: Disjointness between bounded rank-one transformations

abstract: In this paper some sufficient conditions are given for when two bounded rank-one transformations are isomorphic or disjoint. For commensurate, canonically bounded rank-one transformations, isomorphism and disjointness are completely determined by simple conditions in terms of their cutting and spacer parameters. We also obtain sufficient conditions for bounded rank-one transformations to have minimal self-joinings. As an application, we give a proof of Ryzhikov's theorem that totally ergodic, non-rigid, bounded rank-one transformations have minimal self-joinings of all orders.


title: An Alternative Analysis of Discontinuous Galerkin Method for Hyperbolic Conservation Law

abstract: The development and application of the Discontinuous Galerkin (DG) method have attracted great attention in computational fluid dynamics (CFD) com- munity in the past decades. The underlying reason for such an intensive investigation is due to favorable properties of the DG method, such as higher order, compactness, and easy parallelization. However, for the compressible flow simulations, the DG method is also associated with unfavorable prop- erties, such as the frequent instabilities in non-smooth regions. Due to the finite element formulation, except the update of the cell averaged conserva- tive flow variable, it becomes rather difficulty to fully understand the physical mechanism in the DG method for the updates of other degrees of freedom in- side each element. In this short note, based on the linear advection equation we are going to analyze the DG method in an alternative way. The results obtained may be useful for the CFD community for its further development of the DG methods.


title: A stochastic Galerkin method for general system of quasilinear hyperbolic conservation laws with uncertainty

abstract: This paper is concerned with generalized polynomial chaos (gPC) approximation for a general system of quasilinear hyperbolic conservation laws with uncertainty. The one-dimensional (1D) hyperbolic system is first symmetrized with the aid of left eigenvector matrix of the Jacobian matrix. Stochastic Galerkin method is then applied to derive the equations for the gPC expansion coefficients. The resulting deterministic gPC Galerkin system is proved to be symmetrically hyperbolic. This important property then allows one to use a variety of numerical schemes for spatial and temporal discretization. Here a higher-order and path-conservative finite volume WENO scheme is adopted in space, along with a third-order total variation diminishing Runge-Kutta method in time. The method is further extended to two-dimensional (2D) quasilinear hyperbolic system with uncertainty, where the symmetric hyperbolicity of the one-dimensional system is carried over via the operator splitting technique. Several 1D and 2D numerical experiments are conducted to demonstrate the accuracy and effectiveness of the proposed gPC stochastic Galerkin method.


title: Reduced Complexity Sum-Product Algorithm for Decoding Network Codes and In-Network Function Computation

abstract: While the capacity, feasibility and methods to obtain codes for network coding problems are well studied, the decoding procedure and complexity have not garnered much attention. In this work, we pose the decoding problem at a sink node in a network as a marginalize a product function (MPF) problem over a Boolean semiring and use the sum-product (SP) algorithm on a suitably constructed factor graph to perform iterative decoding. We use \textit{traceback} to reduce the number of operations required for SP decoding at sink node with general demands and obtain the number of operations required for decoding using SP algorithm with and without traceback. For sinks demanding all messages, we define \textit{fast decodability} of a network code and identify a sufficient condition for the same. Next, we consider the in-network function computation problem wherein the sink nodes do not demand the source messages, but are only interested in computing a function of the messages. We present an MPF formulation for function computation at the sink nodes in this setting and use the SP algorithm to obtain the value of the demanded function. The proposed method can be used for both linear and nonlinear as well as scalar and vector codes for both decoding of messages in a network coding problem and computing linear and nonlinear functions in an in-network function computation problem.


title: Relative Thom Spectra Via Operadic Kan Extensions

abstract: We show that a large number of Thom spectra, i.e. colimits of morphisms $BG\to BGL_1(\mathbb{S})$, can be obtained as iterated Thom spectra, i.e. colimits of morphisms $BG\to BGL_1(Mf)$ for some Thom spectrum $Mf$. This leads to a number of new relative Thom isomorphisms, e.g. $MU[6,\infty)\wedge_{MString} MU[6,\infty)\simeq MU[6,\infty)\wedge\mathbb{S}[B^3Spin]$. As an example of interest to chromatic homotopy theorists, we also show that Ravenel's $X(n)$ filtration of $MU$ is a tower of intermediate Thom spectra determined by a natural filtration of $BU$ by sub-bialagebras.


title: Can mixed star-plus-wormhole systems mimic black holes?

abstract: We consider mixed strongly gravitating configurations consisting of a wormhole threaded by two types of ordinary matter. For such systems, the possibility of obtaining static spherically symmetric solutions describing compact massive central objects enclosed by high-redshift surfaces (black-hole-like configurations) is studied. Using the standard thin accretion disk model, we exhibit potentially observable differences allowing to distinguish the mixed systems from ordinary black holes with the same masses.


title: Complexity Analysis of 2-Heterogeneous Minimum Spanning Forest Problem

abstract: For complexity of the heterogeneous minimum spanning forest problem has not been determined, we reduce 3-SAT which is NP-complete to 2-heterogeneous minimum spanning forest problem to prove this problem is NP-hard and spread result to general problem, which determines complexity of this problem. It provides a theoretical basis for the future designing of approximation algorithms for the problem.


title: Engineering Safety in Machine Learning

abstract: Machine learning algorithms are increasingly influencing our decisions and interacting with us in all parts of our daily lives. Therefore, just like for power plants, highways, and myriad other engineered sociotechnical systems, we must consider the safety of systems involving machine learning. In this paper, we first discuss the definition of safety in terms of risk, epistemic uncertainty, and the harm incurred by unwanted outcomes. Then we examine dimensions, such as the choice of cost function and the appropriateness of minimizing the empirical average training cost, along which certain real-world applications may not be completely amenable to the foundational principle of modern statistical machine learning: empirical risk minimization. In particular, we note an emerging dichotomy of applications: ones in which safety is important and risk minimization is not the complete story (we name these Type A applications), and ones in which safety is not so critical and risk minimization is sufficient (we name these Type B applications). Finally, we discuss how four different strategies for achieving safety in engineering (inherently safe design, safety reserves, safe fail, and procedural safeguards) can be mapped to the machine learning context through interpretability and causality of predictive models, objectives beyond expected prediction accuracy, human involvement for labeling difficult or rare examples, and user experience design of software.


title: The unfolded universe of elementary particles. A geometric explanation of the standard model structure

abstract: We propose a geometric explanation of the standard model of Glashow, Weinberg and Salam for the known elementary particles. Our model is a generic Quantum Field Theory in dimension four, obtained by developing along a Lorentz sub-manifold the lagrangian of Einstein and Dirac in dimension twelve. The main mechanism which gives birth to the standard model is a certain gauge fixing of triality, which permits to identify the multiplicity of fermions, as seen from the four dimensional world, with the eight unseen dimensions of the generating universe. In this way we get the known tables of particles, explaining the series of fermions and the gauge bosons. We suggest that the Higgs field dynamics could appear through a bosonization of the right handed neutrino and correspond to a displacement in the unseen dimensions. We also propose hypotheses for dark matter, and perhaps dark energy. Then we suggest predictions to go beyond the standard model.


title: Analytic approaches to relativistic hydrodynamics

abstract: I summarize our recent work towards finding and utilizing analytic solutions of relativistic hydrodynamic. In the first part I discuss various exact solutions of the second-order conformal hydrodynamics. In the second part I compute flow harmonics $v_n$ analytically using the anisotropically deformed Gubser flow and discuss its dependence on $n$, $p_T$, viscosity, the chemical potential and the charge.


title: Ricci curvature for submanifolds of Bochner Kahler manifold

abstract: B. Y. Chen establish the relationship between the Ricci curvature and the squared mean curvature for submanifolds of Riemannian space form with arbitrary codimension. In this paper, we generalize the relationship between the Ricci curvature and the squared norm of mean curvature vector for submanifolds of Bochner Kahler manifolds.


title: On some inequalities for submanifolds of Bochner Kaehler manifolds

abstract: B. Y. Chen established sharp inequalities between certain Riemannian invariants and the squared mean curvature for submanifolds in real space form as well as in complex space form. In this paper we generalize Chen inequalities for submanifolds of Bochner Kaehler manifolds. Moreover, we consider CR-warped product submanifolds of Bochner Kaehler manifold and establish an inequality for scalar curvature.


title: Statistical Analysis of a Posteriori Channel and Noise Distribution Based on HARQ Feedback

abstract: In response to a comment on one of our manuscript, this work studies the posterior channel and noise distributions conditioned on the NACKs and ACKs of all previous transmissions in HARQ system with statistical approaches. Our main result is that, unless the coherence interval (time or frequency) is large as in block-fading assumption, the posterior distribution of the channel and noise either remains almost identical to the prior distribution, or it mostly follows the same class of distribution as the prior one. In the latter case, the difference between the posterior and prior distribution can be modeled as some parameter mismatch, which has little impact on certain type of applications.


title: Hemi-slant submanifolds of cosymplectic manifolds

abstract: In this paper we study the hemi-slant submanifolds of cosymplectic manifolds. Necessary and sufficient conditions for distributions to be integrable are worked out. Some important results are obtained in this direction.


title: Maximal Non-commuting Sets in Certain Unipotent Upper-triangular Linear Groups

abstract: We find the exact size of a maximal non-commuting set in unipotent uppertriangular linear group $UU_4(\mathbb{F}_q)$ in terms of a non-commuting geometric structure (Refer Definition [10]), where $\mathbb{F}_q$ is the finite field with $q$ elements. Then we get bounds on the size of such a set by explicitly finding certain non-commuting sets in the non-commuting structure.


title: On improvements of the $r$-adding walk in a finite field of characteristic 2

abstract: It is currently known from the work of Shoup and Nechaev that a generic algorithm to solve the discrete logarithm problem in a group of prime order must have complexity at least $k\sqrt{N}$ where $N$ is the order of the group. In many collision search algorithms this complexity is achieved. So with generic algorithms one can only hope to make the $k$ smaller. This $k$ depends on the complexity of the iterative step in the generic algorithms. The $\sqrt{N}$ comes from the fact there is about $\sqrt{N}$ iterations before a collision. So if we can find ways that can reduce the amount of work in one iteration then that is of great interest and probably the only possible modification of a generic algorithm. The modified $r$-adding walk allegedly does just that. It claims to reduce the amount of work done in one iteration of the original $r$-adding walk. In this paper we study this modified $r$-adding walk, we critically analyze it and we compare it with the original $r$-adding walk.


title: Whats in a Country Name - Twitter Hashtag Analysis of #singapore

abstract: Twitter as a micro-blogging platform rose to instant fame mainly due to its minimalist features that allow seamless communication between users. As the conversations grew thick and faster, a placeholder feature called as Hashtags became important as it captured the themes behind the tweets. Prior studies have investigated the conversation dynamics, inter-play with other media platforms and communication patterns between users for specific event-based hashtags such as the #Occupy movement. Commonplace hashtags which are used on a daily basis have been largely ignored due to their seemingly innocuous presence in tweets and also due to the lack of connection with real-world events. However, it can be postulated that utility of these hashtags is the main reason behind their continued usage. This study is aimed at understanding the rationale behind the usage of a particular type of commonplace hashtags - location hashtags such as country and city name hashtags. Tweets with the hashtag #singapore were extracted for one week duration. Manual and automatic tweet classification was performed along with social network analysis, to identify the underlying themes. Seven themes were identified. Findings indicate that the hashtag is prominent in tweets about local events, local news, users current location and landmark related information sharing. Users who share content from social media sites such as Instagram make use of the hashtag in a more prominent way when compared to users who post textual content. News agencies, commercial bodies and celebrities make use of the hashtag more than common individuals. Overall, the results show the non-conversational nature of the hashtag. The findings are to be validated with other country names and cross-validated with hashtag data from other social media platforms.


title: Shape optimisation for a class of semilinear variational inequalities with applications to damage models

abstract: The present contribution investigates shape optimisation problems for a class of semilinear elliptic variational inequalities with Neumann boundary conditions. Sensitivity estimates and material derivatives are firstly derived in an abstract operator setting where the operators are defined on polyhedral subsets of reflexive Banach spaces. The results are then refined for variational inequalities arising from minimisation problems for certain convex energy functionals considered over upper obstacle sets in $H^1$. One particularity is that we allow for dynamic obstacle functions which may arise from another optimisation problems. We prove a strong convergence property for the material derivative and establish state-shape derivatives under regularity assumptions. Finally, as a concrete application from continuum mechanics, we show how the dynamic obstacle case can be used to treat shape optimisation problems for time-discretised brittle damage models for elastic solids. We derive a necessary optimality system for optimal shapes whose state variables approximate desired damage patterns and/or displacement fields.


title: Insight into $f_0(980)$ through the $B_{(s)}$ charmed decays

abstract: Through analyzing the $B_{(s)}$ charmed decays $B^{0}\to \bar D_{0}f_0(980)$ and $B_{s}\to \bar D_{0}f_0(980)$ within the framework of the PQCD factorization approach and comparing with the current data, we find that there are two possible regions for the $f_0(980)-f_0(500)$ mixing angle $\theta$: one is centered at $34^\circ\sim38^\circ$ and the other is falls into $142^\circ\sim154^\circ$. The former can overlap mostly with one of allowed angle regions extracted from the decay $B^{0}\to \bar D_{0}f_0(500)$. The branching fractions of $B_s$ decay modes are less sensitive to the mixing angle compared with those of B decay modes. Especially, for the decay $B_{s}\to D^0 f_0(980)$, its branching fraction changes only slightly between $(1.2\sim1.8)\times10^{-7}$ when the mixing angle $\theta$ runs from $0^\circ$ to $180^\circ$. All of our results support the picture that the $f_0(980)$ is dominated by two quark component in the B decay dynamic mechanism. Furthermore, the $s\bar s$ component is more important than the $q\bar q=(u\bar u+d\bar d)/\sqrt{2}$ component. This point is different from $f_0(500)/\sigma$. Last but not least, our picture is not in conflict with the popular four-quark explanation.


title: QED calculations of three-photon transition probabilities in H-like ions with arbitrary nuclear charge

abstract: The quantum electrodynamical theory of the three-photon transitions in hydrogen-like ions is presented. Emission probabilities of various three-photon decay channels for $ 2p_{3/2} $, $ 2p_{1/2} $ and $ 2s_{1/2} $ states are calculated for the nuclear charge $Z$ values $1\leqslant Z \leqslant 95$. The results are given in two different gauges. The fully relativistic three-photon decay rates of hydrogen-like ions with half-integer nuclear spin are given for transitions between fine structure components. The results can be applied to the tests of the Bose-Einstein statistics for the multiphoton systems.


title: Tree property at successor of a singular limit of measurable cardinals

abstract: Assume $\lambda$ is a singular limit of $\eta$ supercompact cardinals, where $\eta \leq \lambda$ is a limit ordinal. We present two forcing methods for making $\lambda^+$ the successor of the limit of the first $\eta$ measurable cardinals while the tree property holding at $\lambda^+.$ The first method is then used to get, from the same assumptions, tree property at $\aleph_{\eta^2+1}$ with the failure of $SCH$ at $\aleph_{\eta^2}$. This extends results of Neeman and Sinapova. The second method is also used to get tree property at successor of an arbitrary singular cardinal, which extends some results of Magidor-Shelah, Neeman and Sinapova.


title: Resurgent transseries $\&$ Dyson-Schwinger equations

abstract: We employ resurgent transseries as algebraic tools to investigate two self-consistent Dyson-Schwinger equations, one in Yukawa theory and one in quantum electrodynamics. After a brief but pedagogical review, we derive fixed point equations for the associated anomalous dimensions and insert a moderately generic log-free transseries ansatz to study the possible strictures imposed. While proceeding in various stages, we develop an algebraic method to keep track of the transseries' coefficients. We explore what conditions must be violated in order to stay clear of fixed point theorems to eschew a unique solution, if so desired, as we explain. An interesting find is that the flow of data between the different sectors of the transseries shows a pattern typical of resurgence, ie the phenomenon that the perturbative sector of the transseries talks to the nonperturbative ones in a one-way fashion. However, our ansatz is not exotic enough as it leads to trivial solutions with vanishing nonperturbative sectors, even when logarithmic monomials are included. We see our result as a harbinger of what future work might reveal about the transseries representations of observables in fully renormalised four-dimensional quantum field theories and adduce a tentative yet to our mind weighty argument as to why one should not expect otherwise. This paper is considerably self-contained. Readers with little prior knowledge are let in on the basic reasons why perturbative series in quantum field theory eventually require an upgrade to transseries. Furthermore, in order to acquaint the reader with the language utilised extensively in this work, we also provide a concise mathematical introduction to grid-based transeries.


title: Power set at $\aleph_\omega$: On a theorem of Woodin

abstract: We give Woodin's original proof that if there exists a $(\kappa+2)-$strong cardinal $\kappa,$ then there is a generic extension of the universe in which $\kappa=\aleph_\omega,$ $GCH$ holds below $\aleph_\omega$ and $2^{\aleph_\omega}=\aleph_{\omega+2}.$


title: Test of the triple Higgs boson form factor in $\mu^-\mu^+\to HH$

abstract: We study the sensitivity of the process $\mu^-\mu^+\to HH$ to the $q^2$-dependence of the $HHH$ form factor, which can reflect the Higgs boson structure, especially in the case of compositeness. We compute the Born and 1 loop SM contribution to this process. We then show how the $\mu^-\mu^+\to HH$ polarized and unpolarized cross sections are modified by the presence of various types of anomalous contributions to the $HHH$ form factor, in particular Higgs constituents in the case of compositeness.


title: Compositional Model based Fisher Vector Coding for Image Classification

abstract: Deriving from the gradient vector of a generative model of local features, Fisher vector coding (FVC) has been identified as an effective coding method for image classification. Most, if not all, FVC implementations employ the Gaussian mixture model (GMM) to depict the generation process of local features. However, the representative power of the GMM could be limited because it essentially assumes that local features can be characterized by a fixed number of feature prototypes and the number of prototypes is usually small in FVC. To handle this limitation, in this paper we break the convention which assumes that a local feature is drawn from one of few Gaussian distributions. Instead, we adopt a compositional mechanism which assumes that a local feature is drawn from a Gaussian distribution whose mean vector is composed as the linear combination of multiple key components and the combination weight is a latent random variable. In this way, we can greatly enhance the representative power of the generative model of FVC. To implement our idea, we designed two particular generative models with such a compositional mechanism.


title: About anomalous g-factor value of Mn related defects in GaAs:Mn

abstract: The results of experimental investigations of ESR spectra of manganese impurity ions in a GaAs : Mn system are presented. The studies are done for various a Fermi level position relative to valence band edge in the system. Characteristic defects for the system that give rise to lines with g factors of 5.62 and 2.81 in the ESR spectra are studied in some detail. The experimental results are discussed in the framework of a previously developed model with a double defect involving the impurity ion. The "3d5 + hole" model is a special case of the double defect model in this system. An analytical expression for the covalent renormalization of the g factor of an ESR line in this system is obtained.


title: Tests of the Einstein Equivalence Principle using TeV Blazars

abstract: The observed time delays between different energy bands from TeV blazars provide a new interesting way of testing the Einstein Equivalence Principle (EEP). If the whole time delay is assumed to be dominated by the gravitational field of the Milky Way, the conservative upper limit on the EEP can be estimated. Here we show that the strict limits on the differences of the parameterized post-Newtonian parameter $\gamma$ values are $\gamma_{\rm TeV}-\gamma_{\rm keV}<3.86\times10^{-3}$ for Mrk 421 and $\gamma_{\rm TeV}-\gamma_{\rm keV}<4.43\times10^{-3}$ for Mrk 501, while expanding the scope of the tested EEP energy range out to the TeV--keV range for the first time. With the small time lag from the 0.2--0.8 TeV and $>0.8$ TeV light curves of PKS 2155-304, a much more severe constraint on $\gamma$ differences of $\sim10^{-6}$ can be achieved, although the energy difference is of order of $\sim$ TeV. Furthermore, we can combine these limits on the energy dependence of $\gamma$ with the bound on the absolute $\gamma$ value $\gamma-1\sim0.3\%$ from light deflection measurements at the optical (eV) bands, and conclude that this absolute bound on $\gamma$ can be extended from optical to TeV energies.


title: More differences than multiple sums

abstract: We compare the size of the difference set $A-A$ to that of the set $kA$ of $k$-fold sums. We show the existence of sets such that $|kA| < |A-A|^{a_k}$ with $a_k<1$.


title: Dynamic Game Semantics

abstract: The present paper gives a mathematical, in particular, syntax-independent, formulation of intensionality and dynamics of computation in terms of games and strategies. Specifically, we give a game semantics for a higher-order programming language that distinguishes programs with the same value yet different algorithms (or intensionality), equipped with the hiding operation on strategies that precisely corresponds to the (small-step) operational semantics (or dynamics) of the language. Categorically, our games and strategies give rise to a cartesian closed bicategory, and our game semantics forms an instance of a generalization of the standard interpretation of functional programming languages in cartesian closed categories. This work is intended to be the first step towards a mathematical (both categorical and game-semantic) foundation of intensional and dynamic aspects of logic and computation; our approach should be applicable to a wide range of logics and computations.


title: A modified WKB formulation for linear eigenmodes of a collisionless self-gravitating disc in the epicyclic approximation

abstract: The short--wave asymptotics (WKB) of spiral density waves in self-gravitating stellar discs is well suited for the study of the dynamics of tightly--wound wavepackets. But the textbook WKB theory is not well adapted to the study of the linear eigenmodes in a collisionless self-gravitating disc because of the transcendental nature of the dispersion relation. We present a modified WKB of spiral density waves, for collisionless discs in the epicyclic limit, in which the perturbed gravitational potential is related to the perturbed surface density by the Poisson integral in Kalnaj's logarithmic spiral form. An integral equation is obtained for the surface density perturbation, which is seen to also reduce to the standard WKB dispersion relation. We specialize to a low mass (or Keplerian) self-gravitating disc around a massive black hole, and derive an integral equation governing the eigenspectra and eigenfunctions of slow precessional modes. For a prograde disc, the integral kernel turns out be real and symmetric, implying that all slow modes are stable. We apply the slow mode integral equation to two unperturbed disc profiles, the Jalali--Tremaine annular discs, and the Kuzmin disc. We determine eigenvalues and eigenfunctions for both $m = 1$ and $m = 2$ slow modes for these profiles and discuss their properties. Our results compare well with those of Jalali--Tremaine.


title: $\mathbf{D^3}$: Deep Dual-Domain Based Fast Restoration of JPEG-Compressed Images

abstract: In this paper, we design a Deep Dual-Domain ($\mathbf{D^3}$) based fast restoration model to remove artifacts of JPEG compressed images. It leverages the large learning capacity of deep networks, as well as the problem-specific expertise that was hardly incorporated in the past design of deep architectures. For the latter, we take into consideration both the prior knowledge of the JPEG compression scheme, and the successful practice of the sparsity-based dual-domain approach. We further design the One-Step Sparse Inference (1-SI) module, as an efficient and light-weighted feed-forward approximation of sparse coding. Extensive experiments verify the superiority of the proposed $D^3$ model over several state-of-the-art methods. Specifically, our best model is capable of outperforming the latest deep model for around 1 dB in PSNR, and is 30 times faster.


title: Selection of Most Effective Control Variables for Solving Optimal Power Flow Using Sensitivity Analysis in Particle Swarm Algorithm

abstract: Solving the optimal power flow problem is one of the main objectives in electrical power systems analysis and design. The modern optimization algorithms such as the evolutionary algorithms are also adopted to solve this problem, especially when the intermittency nature of generation resources are included, as in wind and solar energy resources, where the models are stochastic and non-linear. This paper uses the particle swarm optimization algorithm for solving the optimal power flow for IEEE-30 bus system. In addition to selection of the most effective control variables based on sensitivity analysis to alleviate the violations and return the system back to its normal state. This adopted strategy would decrease the optimal power flow calculation burden by particle swarm optimization algorithm, especially with large systems.


title: Hamiltonian for a particle in a magnetic field on a curved surface in orthogonal curvilinear coordinates

abstract: The Schr\"odinger Hamiltonian of a spin zero particle as well as the Pauli Hamiltonian with spin-orbit coupling included of a spin one-half particle in electromagnetic fields that are confined to a curved surface embedded in a three-dimensional space spanned by a general Orthogonal Curvilinear Coordinate (OCC) are constructed. A new approach, based on the physical argument that upon squeezing the particle to the surface by a potential, then it is the physical gauge-covariant kinematical momentum operator (velocity operator) transverse to the surface that should be dropped from the Hamiltonian(s). In both cases,the resulting Hermitian gauge-invariant Hamiltonian on the surface is free from any reference to the component of the vector potential transverse to the surface, and the approach is completely gauge-independent. In particular, for the Pauli Hamiltonian these results are obtained exactly without any further assumptions or approximations. Explicit covariant plug-and-play formulae for the Schr\"odinger Hamiltonians on the surfaces of a cylinder, a sphere and a torus are derived.


title: Chiral autocatalysis: reaction noise, micro-reversibility and chiral inhibition in mirror symmetry breaking

abstract: Applying the constraints dictated by the principle of detailed balance, we analyze a recent proposal for spontaneous mirror symmetry breaking (SMSB) based on enantioselective autocatalysis coupled to a linear decay of the enantiomers and in the presence of reaction noise. We find the racemic state is the final stable outcome for both deterministic as well as for stochastic dynamics, and for both well-mixed and small spatially-coupled systems. The racemic outcome results even when the autocatalytic cycles are driven irreversibly by external reagents, in manifestly non-equilibrium conditions. Our findings suggest that first-order autocatalysis coupled to reactions involving \textit{non-linear} heterochiral dynamics is a necessary pre-condition for any mechanism purporting to lead to molecular homochirality.


title: Studying Very Low Resolution Recognition Using Deep Networks

abstract: Visual recognition research often assumes a sufficient resolution of the region of interest (ROI). That is usually violated in practice, inspiring us to explore the Very Low Resolution Recognition (VLRR) problem. Typically, the ROI in a VLRR problem can be smaller than $16 \times 16$ pixels, and is challenging to be recognized even by human experts. We attempt to solve the VLRR problem using deep learning methods. Taking advantage of techniques primarily in super resolution, domain adaptation and robust regression, we formulate a dedicated deep learning method and demonstrate how these techniques are incorporated step by step. Any extra complexity, when introduced, is fully justified by both analysis and simulation results. The resulting \textit{Robust Partially Coupled Networks} achieves feature enhancement and recognition simultaneously. It allows for both the flexibility to combat the LR-HR domain mismatch, and the robustness to outliers. Finally, the effectiveness of the proposed models is evaluated on three different VLRR tasks, including face identification, digit recognition and font recognition, all of which obtain very impressive performances.


title: Towards a microscopic understanding of nucleon polarizabilities

abstract: We outline a microscopic framework to calculate nucleon Compton scattering from the level of quarks and gluons within the covariant Faddeev approach. We explain the connection with hadronic expansions of the Compton scattering amplitude and discuss the obstacles in maintaining electromagnetic gauge invariance. Finally we give preliminary results for the nucleon polarizabilities.


title: Brain-Inspired Deep Networks for Image Aesthetics Assessment

abstract: Image aesthetics assessment has been challenging due to its subjective nature. Inspired by the scientific advances in the human visual perception and neuroaesthetics, we design Brain-Inspired Deep Networks (BDN) for this task. BDN first learns attributes through the parallel supervised pathways, on a variety of selected feature dimensions. A high-level synthesis network is trained to associate and transform those attributes into the overall aesthetics rating. We then extend BDN to predicting the distribution of human ratings, since aesthetics ratings are often subjective. Another highlight is our first-of-its-kind study of label-preserving transformations in the context of aesthetics assessment, which leads to an effective data augmentation approach. Experimental results on the AVA dataset show that our biological inspired and task-specific BDN model gains significantly performance improvement, compared to other state-of-the-art models with the same or higher parameter capacity.


title: Spin-Statistic Selection Rules for Multiphoton Transitions: Application to Helium Atom

abstract: A theoretical investigation of the three-photon transition rates $ 2^1P_1\rightarrow 2^1S_0\;,1^1S_0 $ and $ 2^3P_2\rightarrow 2^1S_0\;,1^1S_0 $ for the helium atom is presented. Photon energy distributions and precise values of the nonrelativistic transition rates are obtained with employment of correlated wave functions of the Hylleraas type. The possible experiments for the tests of the Bose-Einstein statistics for multiphoton systems are discussed.


title: Projection methods for stochastic differential equations with conserved quantities

abstract: In this paper, we consider the numerical methods preserving single or multiple conserved quantities, and these methods are able to reach high order of strong convergence simultaneously based on some kinds of projection methods. The mean-square convergence orders of these methods under certain conditions are given, which can reach order 1.5 or even 2 according to the supporting methods embedded in the projection step. Finally, three numerical experiments are taken into account to show the superiority of the projection methods.


title: Gauge Covariance and Spin Current Conservation in the Gauge Field Formulation of Systems with Spin-Orbit Coupling

abstract: The question of gauge-covariance in the non-Abelian gauge-field formulation of two space-dimensional systems with spin-orbit coupling relevant to spintronics is investigated. Although, these are generally gauge-fixed models, it is found that for the class of gauge fields that are space-time independent and satisfy a U(1) algebra, thus having a vanishing field strength, there is a residual gauge freedom in the Hamiltonian. The gauge transformations assume the form of a space-dependent rotation of the transformed wave functions with rotation angles and axes determined by the specific form of the gauge-field, i.e., the spin-orbit coupling. The fields can be gauged away, reducing the Hamiltonian to one which is isospectral to the free-particle Hamiltonian, and giving rise to the phenomenon of persistent spin helix reported first by B.~A.~Bernevig \emph{et al.} [Phys.~Rev.~Lett. \textbf{97}, 236601 (2006)]. The investigation of the global gauge transformations leads to the derivation of a continuity equation where the component of the spin-density along given directions, again fixed by the specific form of the gauge field, is conserved.


title: Estimation of the Accuracy of Method for Quantitative Determination of Volatile Compounds in Alcohol Products

abstract: Results of the estimation of the precision for determination volatile compounds in alcohol-containing products by gas chromatography: acetaldehyde, methyl acetate, ethyl acetate, methanol, isopropyl alcohol, propyl alcohol, isobutyl alcohol, butyl alcohol, isoamyl alcohol are presented. To determine the accuracy, measurements were planned in accordance with ISO 5725 and held at the gas chromatograph Chromatec-Crystal 5000. Standard deviation of repeatability, intermediate precision and their limits are derived from obtained experimental data. The uncertainty of the measurements was calculated on the base of an "empirical" method. The obtained values of accuracy indicate that the developed method allows measurement uncertainty extended from 2 to 20% depending on the analyzed compound and measured concentration.


title: On the integrable magnetic geodesic flow on a 2-torus

abstract: In this paper the magnetic geodesic flow on a 2-torus is considered. We study a semi-hamiltonian quasi-linear PDEs which is equivalent to the existence of polynomial in momenta first integral of magnetic geodesic flow on fixed energy level. It is known that diagonal metric associated with this system is Egorov one if degree of the first integral is equal to 2 or 3. In this paper we prove this fact in the case of existence of the first integral of any degree.


title: Stochastic symplectic Runge-Kutta methods for the strong approximation of Hamiltonian systems with additive noise

abstract: In this paper, we construct stochastic symplectic Runge--Kutta (SSRK) methods of high strong order for Hamiltonian systems with additive noise. By means of colored rooted tree theory, we combine conditions of mean-square order 1.5 and symplectic conditions to get totally derivative-free schemes. We also achieve mean-square order 2.0 symplectic schemes for a class of second-order Hamiltonian systems with additive noise by similar analysis. Finally, linear and non-linear systems are solved numerically, which verifies the theoretical analysis on convergence order. Especially for the stochastic harmonic oscillator with additive noise, the linear growth property can be preserved exactly over long-time simulation.


title: Solution to a conjecture on the proper connection number of graphs

abstract: A path in an edge-colored graph is called a proper path if no two adjacent edges of the path receive the same color. For a connected graph $G$, the proper connection number $pc(G)$ of $G$ is defined as the minimum number of colors needed to color its edges, so that every pair of distinct vertices of $G$ is connected by at least one proper path in $G$. Recently, Li and Magnant in [Theory Appl. Graphs 0(1)(2015), Art.2] posed the following conjecture: If $G$ is a connected noncomplete graph of order $n \geq 5$ and minimum degree $\delta(G) \geq n/4$, then $pc(G)=2$. In this paper, we show that this conjecture is true except for two small graphs on 7 and 8 vertices, respectively. As a byproduct we obtain that if $G$ is a connected bipartite graph of order $n\geq 4$ with $\delta(G)\geq \frac{n+6}{8}$, then $pc(G)=2$.


title: Two-dimensional function photonic crystals

abstract: In this paper, we have firstly proposed two-dimensional function photonic crystals, which the dielectric constants of medium columns are the functions of space coordinates $\vec{r}$, it is different from the two-dimensional conventional photonic crystals constituting by the medium columns of dielectric constants are constants. We find the band gaps of two-dimensional function photonic crystals are different from the two-dimensional conventional photonic crystals, and when the functions form of dielectric constants are different, the band gaps structure should be changed, which can be designed into the appropriate band gaps structures by the two-dimensional function photonic crystals.


title: Spin-orbit torque in Cr/CoFeAl/MgO and Ru/CoFeAl/MgO epitaxial magnetic heterostructures

abstract: We study the spin-orbit torque (SOT) effective fields in Cr/CoFeAl/MgO and Ru/CoFeAl/MgO magnetic heterostructures using the adiabatic harmonic Hall measurement. High-quality perpendicular-magnetic-anisotropy CoFeAl layers were grown on Cr and Ru layers. The magnitudes of the SOT effective fields were found to significantly depend on the underlayer material (Cr or Ru) as well as their thicknesses. The damping-like longitudinal effective field ({\Delta}H_L) increases with increasing underlayer thickness for all heterostructures. In contrast, the field-like transverse effective field ({\Delta}H_T) increases with increasing Ru thickness while it is almost constant or slightly decreases with increasing Cr thickness. The sign of {\Delta}H_L observed in the Cr-underlayer devices is opposite from that in the Ru-underlayer devices while {\Delta}H_T shows the same sign with a small magnitude. The opposite directions of {\Delta}HL indicate that the signs of spin Hall angle in Cr and Ru are opposite, which are in good agreement with theoretical predictions. These results show sizable contribution from SOT even for elements with small spin orbit coupling such as 3d Cr and 4d Ru.


title: A Detailed Analysis of Flavour-changing Decays of Top Quarks as a Probe of New Physics at the LHC

abstract: If the LHC should fail to observe direct signals for new physics, it may become necessary to look for new physics effects in rare events such as flavour-changing decays of the top quark, which, in the Standard Model, are predicted to be too small to be observed. We set up the theoretical framework in which experimentally accessible results can be expected in models of new physics, and go on to discuss two models of supersymmetry -- one with conserved $R$-parity, and one without $R$-parity -- to illustrate how the flavour-changing signals are predicted in these models. In the latter case, there is a distinct possibility of detecting the rare decay $t \to c + Z^0$ at the LHC. We also present a detailed set of very general formulae which can be used to make similar calculations in diverse models of new physics.


title: Groupoids and singular manifolds

abstract: We describe how Lie groupoids are used in singular analysis, index theory and non-commutative geometry and give a brief overview of the theory. We also expose groupoid proofs of the Atiyah-Singer index theorem and discuss the Baum-Connes conjecture for Lie groupoids. With the help of the general framework of Lie groupoids and related structures we survey recent progress on problems which were outside the scope of the original work of Atiyah and Singer. This includes the Atiyah-Singer type index problem for many classes of non-compact manifolds (e.g. manifolds with a Lie structure at infinity). We also consider generalizations of the pseudodifferential calculus on Lie groupoids, e.g. for boundary value problems.


title: Well-posedness for a generalized derivative nonlinear Schr\"odinger equation

abstract: We study the Cauchy problem for a generalized derivative nonlinear Schr\"odinger equation with the Dirichlet boundary condition. We establish the local well-posedness results in the Sobolev spaces $H^1$ and $H^2$. Solutions are constructed as a limit of approximate solutions by a method independent of a compactness argument. We also discuss the global existence of solutions in the energy space $H^1$.


title: On the strength of a weak variant of the Axiom of Counting

abstract: In this paper $\mathrm{NFU}^{-\mathrm{AC}}$ is used to denote Ronald Jensen's modification of Quine's `New Foundations' Set Theory ($\mathrm{NF}$) fortified with a type-level pairing function but without the Axiom of Choice. The axiom $\mathrm{AxCount}_\geq$ is the variant of the Axiom of Counting which asserts that no finite set is smaller than its own set of singletons. This paper shows that $\mathrm{NFU}^{-\mathrm{AC}}+\mathrm{AxCount}_\geq$ proves the consistency of the Simple Theory of Types with Infinity ($\mathrm{TSTI}$). This result implies that $\mathrm{NF}+\mathrm{AxCount}_\geq$ proves that consistency of $\mathrm{TSTI}$, and that $\mathrm{NFU}^{-\mathrm{AC}}+\mathrm{AxCount}_\geq$ proves the consistency of $\mathrm{NFU}^{-\mathrm{AC}}$.


title: Multiple-Edge-Fault-Tolerant Approximate Shortest-Path Trees

abstract: Let $G$ be an $n$-node and $m$-edge positively real-weighted undirected graph. For any given integer $f \ge 1$, we study the problem of designing a sparse \emph{f-edge-fault-tolerant} ($f$-EFT) $\sigma${\em -approximate single-source shortest-path tree} ($\sigma$-ASPT), namely a subgraph of $G$ having as few edges as possible and which, following the failure of a set $F$ of at most $f$ edges in $G$, contains paths from a fixed source that are stretched at most by a factor of $\sigma$. To this respect, we provide an algorithm that efficiently computes an $f$-EFT $(2|F|+1)$-ASPT of size $O(f n)$. Our structure improves on a previous related construction designed for \emph{unweighted} graphs, having the same size but guaranteeing a larger stretch factor of $3(f+1)$, plus an additive term of $(f+1) \log n$. Then, we show how to convert our structure into an efficient $f$-EFT \emph{single-source distance oracle} (SSDO), that can be built in $\widetilde{O}(f m)$ time, has size $O(fn \log^2 n)$, and is able to report, after the failure of the edge set $F$, in $O(|F|^2 \log^2 n)$ time a $(2|F|+1)$-approximate distance from the source to any node, and a corresponding approximate path in the same amount of time plus the path's size. Such an oracle is obtained by handling another fundamental problem, namely that of updating a \emph{minimum spanning forest} (MSF) of $G$ after that a \emph{batch} of $k$ simultaneous edge modifications (i.e., edge insertions, deletions and weight changes) is performed. For this problem, we build in $O(m \log^3 n)$ time a \emph{sensitivity} oracle of size $O(m \log^2 n)$, that reports in $O(k^2 \log^2 n)$ time the (at most $2k$) edges either exiting from or entering into the MSF. [...]


title: On heterochromatic out-directed spanning trees in tournaments

abstract: Given a tournament T, let h(T) be the smallest integer k such that every arc-coloring of T with k or more colors produces at least one out-directed spanning tree of T with no pair of arcs with the same color. In this paper we give the exact value of h(T).


title: Boundary behavior of the quasi-hyperbolic metric

abstract: The precise behavior of the quasi-hyperbolic metric near a $\mathcal C^{1,1}$-smooth part of the boundary of a domain in $\mathbb{R}^n$ is obtained.


title: A Massive Molecular Gas Reservoir in the z=2.221 Type-2 Quasar Host Galaxy SMM J0939+8315 Lensed by the Radio Galaxy 3C220.3

abstract: We report the detection of CO(J=3-2) line emission in the strongly-lensed submillimeter galaxy (SMG) SMM J0939+8315 at z=2.221, using the Combined Array for Research in Millimeter-wave Astronomy. SMM J0939+8315 hosts a type-2 quasar, and is gravitationally lensed by the radio galaxy 3C220.3 and its companion galaxy at z=0.685. The 104 GHz continuum emission underlying the CO line is detected toward 3C220.3 with an integrated flux density of S_cont = 7.4 +/- 1.4 mJy. Using the CO(J=3-2) line intensity of I_(CO(3-2)) = (12.6 +/- 2.0) Jy km s^-1, we derive a lensing- and excitation-corrected CO line luminosity of L'(CO(3-2)) = (3.4 +/- 0.7) x 10^10 (10.1/mu_L) K km s^-1 pc^2 for the SMG, where mu_L is the lensing magnification factor inferred from our lens modeling. This translates to a molecular gas mass of M_gas = (2.7 +/- 0.6) x 10^10 (10.1/mu_L) Msun. Fitting spectral energy distribution models to the (sub)-millimeter data of this SMG yields a dust temperature of T = 63.1^{+1.1}_{-1.3} K, a dust mass of M_dust = (5.2 +/- 2.1) x 10^8 (10.1/mu_L) Msun, and a total infrared luminosity of L_IR = (9.1 +/- 1.2) x 10^12 (10.1/mu_L) Lsun. We find that the properties of the interstellar medium of SMM J0939+8315 overlap with both SMGs and type-2 quasars. Hence, SMM J0939+8315 may be transitioning from a star-bursting phase to an unobscured quasar phase as described by the "evolutionary link" model, according to which this system may represent an intermediate stage in the evolution of present-day galaxies at an earlier epoch.


title: Spectral equality for $C_0$ semigroups

abstract: In this paper, we give conditions for which the $C_0$ semigroups satisfies spectral equality for semiregular, essentially semiregular and semi-Fredholm spectrum. Also, we establish the spectral inclusion for B-Fredholm spectrum of a $C_0$ semigroups.


title: Group Sparse Recovery via the $\ell^0(\ell^2)$ Penalty: Theory and Algorithm

abstract: In this work we propose and analyze a novel approach for group sparse recovery. It is based on regularized least squares with an $\ell^0(\ell^2)$ penalty, which penalizes the number of nonzero groups. One distinct feature of the approach is that it has the built-in decorrelation mechanism within each group, and thus can handle challenging strong inner-group correlation. We provide a complete analysis of the regularized model, e.g., existence of a global minimizer, invariance property, support recovery, and properties of block coordinatewise minimizers. Further, the regularized problem admits an efficient primal dual active set algorithm with a provable finite-step global convergence. At each iteration, it involves solving a least-squares problem on the active set only, and exhibits a fast local convergence, which makes the method extremely efficient for recovering group sparse signals. Extensive numerical experiments are presented to illustrate salient features of the model and the efficiency and accuracy of the algorithm. A comparative study indicates its competitiveness with existing approaches.


title: An Analysis of Primal-Dual Algorithms for Discounted Markov Decision Processes

abstract: Several well-known algorithms in the field of combinatorial optimization can be interpreted in terms of the primal-dual method for solving linear programs. For example, Dijkstra's algorithm, the Ford-Fulkerson algorithm, and the Hungarian algorithm can all be viewed as the primal-dual method applied to the linear programming formulations of their respective optimization problems. Roughly speaking, successfully applying the primal-dual method to an optimization problem that can be posed as a linear program relies on the ability to find a simple characterization of the optimal solutions to a related linear program, called the `dual of the restricted primal' (DRP). This paper is motivated by the following question: What is the algorithm we obtain if we apply the primal-dual method to a linear programming formulation of a discounted cost Markov decision process? We will first show that several widely-used algorithms for Markov decision processes can be interpreted in terms of the primal-dual method, where the value function is updated with suboptimal solutions to the DRP in each iteration. We then provide the optimal solution to the DRP in closed-form, and present the algorithm that results when using this solution to update the value function in each iteration. Unlike the algorithms obtained from suboptimal DRP updates, this algorithm is guaranteed to yield the optimal value function in a finite number of iterations. Finally, we show that the iterations of the primal-dual algorithm can be interpreted as repeated application of the policy iteration algorithm to a special class of Markov decision processes. When considered alongside recent results characterizing the computational complexity of the policy iteration algorithm, this observation could provide new insights into the computational complexity of solving discounted-cost Markov decision processes.


title: Why does high pressure destroy co-non-solvency of PNIPAm in aqueous methanol?

abstract: It is well known that poly(N-isopropylacrylamide) (PNIPAm) exhibits an interesting, yet puzzling, phenomenon of co-non-solvency. Co-non-solvency occurs when two competing good solvents for PNIPAm, such as water and alcohol, are mixed together. As a result, the same PNIPAm collapses within intermediate mixing ratios. This complex conformational transition is driven by preferential binding of methanol with PNIPAm. Interestingly, co-non-solvency can be destroyed when applying high hydrostatic pressures. In this work, using a large scale molecular dynamics simulation employing high pressures, we propose a microscopic picture behind the suppression of the co-non-solvency phenomenon. Based on thermodynamic and structural analysis, our results suggest that the preferential binding of methanol with PNIPAm gets partially lost at high pressures, making the background fluid reasonably homogeneous for the polymer. This is consistent with the hypothesis that the co-non-solvency phenomenon is driven by preferential binding and is not based on depletion effects.


title: Late-time evolution of cosmological models with fluids obeying a Shan-Chen-like equation of state

abstract: Classical as well as quantum features of the late-time evolution of cosmological models with fluids obeying a Shan-Chen-like equation of state are studied. The latter is of the type $p=w_{\rm eff}(\rho)\,\rho$, and has been used in previous works to describe, e.g., a possible scenario for the growth of the dark-energy content of the present Universe. At the classical level the fluid dynamics in a spatially flat Friedmann-Robertson-Walker background implies the existence of two possible equilibrium solutions depending on the model parameters, associated with (asymptotic) finite pressure and energy density. We show that no future cosmological singularity is developed during the evolution for this specific model. The corresponding quantum effects in the late-time behavior of the system are also investigated within the framework of quantum geometrodynamics, i.e., by solving the (minisuperspace) Wheeler-DeWitt equation in the Born-Oppenheimer approximation, constructing wave-packets and analyzing their behavior.