title: Structural behavior and dynamics of an anomalous fluid between solvophilic and solvophobic walls: templating, molding and superdiffusion

abstract: Confinement can modify the dynamics, the thermodynamics and the structural properties of liquid water, the prototypical anomalous liquid. By considering a general anomalous liquid, suitable for globular proteins, colloids or liquid metals, we study by molecular dynamics simulations the effect of a solvophilic structured and a solvophobic unstructured wall on the phases, the crystal nucleation and the dynamics of the fluid. We find that at low temperatures the large density of the solvophilic wall induces a high-density, high-energy structure in the first layer ("tempting" effect). In turn, the first layer induces a "molding" effect on the second layer determining a structure with reduced energy and density, closer to the average density of the system. This low-density, low-energy structure propagates further through the layers by templating effect and can involve all the existing layers at the lowest temperatures investigated. Therefore, although the high-density, high-energy structure does not self-reproduce further than the first layer, the structured wall can have a long-range effect thanks to a sequence of templating, molding and templating effects through the layers. We find dynamical slowing down of the solvent near the solvophilic wall but with largely heterogeneous dynamics near the wall due to superdiffusive liquid veins within a frozen matrix of solvent. Hence, the partial freezing of the first hydration layer does not correspond necessarily to an effective reduction of the channel section in terms of transport properties.


title: On the use of the average large separation in surface layer independent model fitting

abstract: The physics of the outer layers of a star are not well understood but these layers make a major contribution to the large separation. We quantify this using stellar models and show that the contribution ranges from 6\% from the outer 0.1\% of the radius to 30\% from the outer 5\%. and therefore argue that the large separation should not be used as a constraint on surface layer independent model fitting. The mass and luminosity are independent of the outer layers and can be used as constraints, the mass being determined from binarity or from surface gravity and radius. The radius can be used as a constraint but with enhanced error estimates. We briefly consider the determination of the large separation for $\alpha$ Cen A and find that mass derived from surface gravity is closer to the binary mass than that derived from the large separation.


title: ProvAbs: model, policy, and tooling for abstracting PROV graphs

abstract: Provenance metadata can be valuable in data sharing settings, where it can be used to help data consumers form judgements regarding the reliability of the data produced by third parties. However, some parts of provenance may be sensitive, requiring access control, or they may need to be simplified for the intended audience. Both these issues can be addressed by a single mechanism for creating abstractions over provenance, coupled with a policy model to drive the abstraction. Such mechanism, which we refer to as abstraction by grouping, simultaneously achieves partial disclosure of provenance, and facilitates its consumption. In this paper we introduce a formal foundation for this type of abstraction, grounded in the W3C PROV model; describe the associated policy model; and briefly present its implementation, the Provabs tool for interactive experimentation with policies and abstractions.


title: Correspondence Theorems via Tropicalizations of Moduli Spaces

abstract: We show that the moduli spaces of irreducible labeled parametrized marked rational curves in toric varieties can be embedded into algebraic tori such that their tropicalizations are the analogous tropical moduli spaces. These embeddings are shown to respect the evaluation morphisms in the sense that evaluation commutes with tropicalization. With this particular setting in mind we prove a general correspondence theorem for enumerative problems which are defined via "evaluation maps" in both the algebraic and tropical world. Applying this to our motivational example we reprove Nishinou and Siebert's correspondence theorem using tropical intersection theory.


title: Introduction to Neutrosophic Statistics

abstract: Neutrosophic Statistics means statistical analysis of population or sample that has indeterminate (imprecise, ambiguous, vague, incomplete, unknown) data. For example, the population or sample size might not be exactly determinate because of some individuals that partially belong to the population or sample, and partially they do not belong, or individuals whose appurtenance is completely unknown. Also, there are population or sample individuals whose data could be indeterminate. In this book, we develop the 1995 notion of neutrosophic statistics. We present various practical examples. It is possible to define the neutrosophic statistics in many ways, because there are various types of indeterminacies, depending on the problem to solve.


title: Pseudocompact paratopological groups that are topological

abstract: We obtain necessary and sufficient conditions when a pseudocompact paratopological group is topological. (2-)pseudocompact and countably compact paratopological groups that are not topological are constructed. It is proved that each 2-pseudocompact paratopological group is pseudocompact and that each Hausdorff \sigma-compact pseudocompact paratopological group is a compact topological group. Our particular attention is devoted to periodic and topologically periodic pseudocompact paratopological groups.


title: Seeking the Epoch of Maximum Luminosity for Dusty Quasars

abstract: Infrared luminosities vLv(7.8 um) arising from dust reradiation are determined for Sloan Digital Sky Survey (SDSS) quasars with 1.4 < z < 5 using detections at 22 um by the Wide-Field Infrared Survey Explorer. Infrared luminosity does not show a maximum at any redshift z < 5, reaching a plateau for z >~ 3 with maximum luminosity vLv(7.8 um) >~ 10^{47} erg per s; luminosity functions show one quasar per cubic Gpc having vLv(7.8 um) > 10^{46.6} erg per s for all 2 < z < 5. We conclude that the epoch when quasars first reached their maximum luminosity has not yet been identified at any redshift below 5. The most ultraviolet luminous quasars, defined by rest frame vLv(0.25 um), have the largest values of the ratio vLv(0.25 um)/vLv(7.8 um) with a maximum ratio at z = 2.9. From these results, we conclude that the quasars most luminous in the ultraviolet have the smallest dust content and appear luminous primarily because of lessened extinction. Observed ultraviolet/infrared luminosity ratios are used to define "obscured" quasars as those having > 5 magnitudes of ultraviolet extinction. We present a new summary of obscured quasars discovered with the Spitzer Infrared Spectrograph and determine the infrared luminosity function of these obscured quasars at z ~ 2.1. This is compared with infrared luminosity functions of optically discovered, unobscured quasars in the SDSS and in the AGN and Galaxy Evolution Survey. The comparison indicates comparable numbers of obscured and unobscured quasars at z ~ 2.1 with a possible excess of obscured quasars at fainter luminosities.


title: Distinguishing Flavor Non-universal Colorons from Z' Bosons at the LHC

abstract: Electrically-neutral massive color-singlet and color-octet vector bosons, which are often predicted in Beyond the Standard Model theories, have the potential to be discovered as dijet resonances at the LHC. A color-singlet resonance that has leptophobic couplings needs further investigation to be distinguished from a color-octet one. In previous work, we introduced a method for discriminating between the two kinds of resonances when their couplings are flavor-universal, using measurements of the dijet resonance mass, total decay width and production cross-section. Here, we describe an extension of that method to cover a more general scenario, in which the vector resonances could have flavor non-universal couplings; essentially, we incorporate measurements of the heavy-flavor decays of the resonance into the method. We present our analysis in a model-independent manner for a dijet resonance with mass 2.5-6.0 TeV at the LHC with $\sqrt{s}=14$ TeV and integrated luminosities 30, 100, 300 and 1000 ${\rm fb}^{-1}$, and show that the measurements of the heavy-flavor decays should allow conclusive identification of the vector boson. Note that our method is generally applicable even for a Z' boson with non-Standard invisible decays. We include an appendix of results for various resonance couplings and masses to illustrate how well each observable must be measured to distinguish colorons from Z' bosons.


title: On Maximum Signless Laplacian Estrada Indices of Graphs with Given Parameters

abstract: Signless Laplacian Estrada index of a graph $G$, defined as $SLEE(G)=\sum^{n}_{i=1}e^{q_i}$, where $q_1, q_2, \cdots, q_n$ are the eigenvalues of the matrix $\mathbf{Q}(G)=\mathbf{D}(G)+\mathbf{A}(G)$. We determine the unique graphs with maximum signless Laplacian Estrada indices among the set of graphs with given number of cut edges, pendent vertices, (vertex) connectivity and edge connectivity.


title: Storage and on-demand release of microwaves using superconducting resonators with tunable coupling

abstract: We present a system which allows to tune the coupling between a superconducting resonator and a transmission line. This storage resonator is addressed through a second, coupling resonator, which is frequency-tunable and controlled by a magnetic flux applied to a superconducting quantum interference device (SQUID). We experimentally demonstrate that the lifetime of the storage resonator can be tuned by more than three orders of magnitude. A field can be stored for 18 {\mu}s when the coupling resonator is tuned off resonance and it can be released in 14 ns when the coupling resonator is tuned on resonance. The device allows capture, storage, and on-demand release of microwaves at a tunable rate.


title: Superintegrable systems with position dependent mass

abstract: First order integrals of motion for Schr\"odinger equations with position dependent masses are classified. Seventeen classes of such equations with non-equivalent symmetries are specified. They include integrable, superintegrable and maximally superintegrable systems. Among them is a system invariant with respect to the Lie algebra of Lorentz group and a system whose integrals of motion form algebra so(4). Three of the obtained systems are solved exactly.


title: Geochemistry of silicate-rich rocks can curtail spreading of carbon dioxide in subsurface aquifers

abstract: Pools of carbon dioxide are found in natural geological accumulations and in engineered storage in saline aquifers. It has been thought that once this CO2 dissolves in the formation water, making it denser, convection streams will transport it efficiently to depth, but this may not be so. Here, we assess theoretically and experimentally the impact of natural chemical reactions between the dissolved CO2 and the rock formation on the convection streams in the subsurface. We show that, while in carbonate rocks the streaming of dissolved carbon dioxide persists, the chemical interactions in silicate-rich rocks may curb this transport drastically and even inhibit it altogether. These results challenge our view of carbon sequestration and dissolution rates in the subsurface, suggesting that pooled carbon dioxide may remain in the shallower regions of the formation for hundreds to thousands of years. The deeper regions of the reservoir can remain virtually carbon free.


title: Rendezvous of Heterogeneous Mobile Agents in Edge-weighted Networks

abstract: We introduce a variant of the deterministic rendezvous problem for a pair of heterogeneous agents operating in an undirected graph, which differ in the time they require to traverse particular edges of the graph. Each agent knows the complete topology of the graph and the initial positions of both agents. The agent also knows its own traversal times for all of the edges of the graph, but is unaware of the corresponding traversal times for the other agent. The goal of the agents is to meet on an edge or a node of the graph. In this scenario, we study the time required by the agents to meet, compared to the meeting time $T_{OPT}$ in the offline scenario in which the agents have complete knowledge about each others speed characteristics. When no additional assumptions are made, we show that rendezvous in our model can be achieved after time $O(n T_{OPT})$ in a $n$-node graph, and that such time is essentially in some cases the best possible. However, we prove that the rendezvous time can be reduced to $\Theta (T_{OPT})$ when the agents are allowed to exchange $\Theta(n)$ bits of information at the start of the rendezvous process. We then show that under some natural assumption about the traversal times of edges, the hardness of the heterogeneous rendezvous problem can be substantially decreased, both in terms of time required for rendezvous without communication, and the communication complexity of achieving rendezvous in time $\Theta (T_{OPT})$.


title: Bilinear embedding theorems for differential operators in $\mathbb{R}^2$

abstract: We prove bilinear inequalities for differential operators in $\mathbb{R}^2$. Such type inequalities turned out to be useful for anisotropic embedding theorems for overdetermined systems and the limiting order summation exponent. However, here we study the phenomenon in itself. We consider elliptic case, where our analysis is complete, and non-elliptic, where it is not. The latter case is related to Strichartz estimates in a very easy case of two dimensions.


title: On low complexity Acceleration Techniques for Randomized Optimization: Supplementary Online Material

abstract: Recently it was shown by Nesterov (2011) that techniques form convex optimization can be used to successfully accelerate simple derivative-free randomized optimization methods. The appeal of those schemes lies in their low complexity, which is only $\Theta(n)$ per iteration---compared to $\Theta(n^2)$ for algorithms storing second-order information or covariance matrices. From a high-level point of view, those accelerated schemes employ correlations between successive iterates---a concept looking similar to the evolution path used in Covariance Matrix Adaptation Evolution Strategies (CMA-ES). In this contribution, we (i) implement and empirically test a simple accelerated random search scheme (SARP). Our study is the first to provide numerical evidence that SARP can effectively be implemented with adaptive step size control and does not require access to gradient or advanced line search oracles. We (ii) try to empirically verify the supposed analogy between the evolution path and SARP. We propose an algorithm CMA-EP that uses only the evolution path to bias the search. This algorithm can be generalized to a family of low memory schemes, with complexity $\Theta(mn)$ per iteration, following a recent approach by Loshchilov (2014). The study shows that the performance of CMA-EP heavily depends on the spectra of the objective function and thus it cannot accelerate as consistently as SARP.


title: The Black Hole Information Paradox and the Collapse of the Wave Function

abstract: The black hole information paradox arises from an apparent conflict between the Hawking black hole radiation and the fact that time evolution in quantum mechanics is unitary. The trouble is that while the former suggests that information of a system falling into a black hole disappears, the latter implies that information must be conserved. In this work we discuss the current divergence in views regarding the paradox, we evaluate the role that objective collapse theories could play in its resolution and we propose a link between spontaneous collapse events and microscopic virtual black holes.


title: Absorption of scalars by nonextremal charged black holes in string theory

abstract: We analyze the low frequency absorption cross section of minimally coupled massless scalar fields by different kinds of charged static black holes in string theory, namely the D1-D5 system in d=5 and a four dimensional dyonic four-charged black hole. In each case we show that this cross section always has the form of some parameter of the solution divided by the black hole Hawking temperature. We also verify in each case that, despite its explicit temperature dependence, such quotient is finite in the extremal limit, giving a well defined cross section. We show that this precise explicit temperature dependence also arises in the same cross section for black holes with string alpha' corrections: it is actually induced by them.


title: Further study on Hunt's hypothesis (H) for Levy processes

abstract: Getoor's conjecture that essentially all Levy processes satisfy (H) is a long-standing open problem in potential theory. In the beginning of the paper, we summarize the main results obtained so far for the problem. Then, we present two new necessary and sufficient conditions for the validity of (H). Furthermore, we give applications of these new criteria. First, we give explicit constructions of Levy processes satisfying (H) in a context where previously known results could not be applied. Second, we show that a large class of pure jump subordinators can be decomposed into the summation of two independent subordinators such that both of them satisfy (H).


title: Chiral symmetry breaking as a geometrical process

abstract: This article expands for spinor fields the recently developed Dynamical Bridge formalism which relates a linear dynamics in a curved space to a nonlinear dynamics in Minkowski space. Astonishingly, this leads to a new geometrical mechanism to generate a chiral symmetry breaking without mass, providing an alternative explanation for the undetected right-handed neutrinos. We consider a spinor field obeying the Dirac equation in an effective curved space constructed by its own currents. This way, both chiralities of the spinor field satisfy the same dynamics in the curved space. Subsequently, the dynamical equation is re-expressed in terms of the flat Minkowski space and then each chiral component behaves differently. The left-handed part of the spinor field satisfies the Dirac equation while the right-handed part is trapped by a Nambu-Jona-Lasinio (NJL) type potential.


title: MOOCdb: Developing Standards and Systems to Support MOOC Data Science

abstract: We present a shared data model for enabling data science in Massive Open Online Courses (MOOCs). The model captures students interactions with the online platform. The data model is platform agnostic and is based on some basic core actions that students take on an online learning platform. Students usually interact with the platform in four different modes: Observing, Submitting, Collaborating and giving feedback. In observing mode students are simply browsing the online platform, watching videos, reading material, reading book or watching forums. In submitting mode, students submit information to the platform. This includes submissions towards quizzes, homeworks, or any assessment modules. In collaborating mode students interact with other students or instructors on forums, collaboratively editing wiki or chatting on google hangout or other hangout venues. With this basic definitions of activities, and a data model to store events pertaining to these activities, we then create a common terminology to map Coursera and edX data into this shared data model. This shared data model called MOOCdb becomes the foundation for a number of collaborative frameworks that enable progress in data science without the need to share the data.


title: Boundary problems for the one-dimensional kinetic equation with the collisional frequence proportional to the module velocity of molecules

abstract: For the one-dimensional linear kinetic equations with collisional frequency of the molecules, proportional to the module velocity of molecules, analytical solutions of problems about temperature jump and weak evaporation (condensation) in rarefied gas are received. Quantities of temperature and concentration jumps are found. Distributions of concentration, mass velocity and temperature are constructed. Necessary numerical calculations and graphic researches are done.


title: Anticipating Activity in Social Media Spikes

abstract: We propose a novel mathematical model for the activity of microbloggers during an external, event-driven spike. The model leads to a testable prediction of who would become most active if a spike were to take place. This type of information is of great interest to commercial organisations, governments and charities, as it identifies key players who can be targeted with information in real time when the network is most receptive. The model takes account of the fact that dynamic interactions evolve over an underlying, static network that records who listens to whom. The model is based on the assumption that, in the case where the entire community has become aware of an external news event, a key driver of activity is the motivation to participate by responding to incoming messages. We test the model on a large scale Twitter conversation concerning the appointment of a UK Premier League football club manager. We also present further results for a Bundesliga football match, a marketing event and a television programme. In each case we find that exploiting the underlying connectivity structure improves the prediction of who will be active during a spike. We also show how the half-life of a spike in activity can be quantified in terms of the network size and the typical response rate.


title: Perceptual Quality of Video with Periodic Frame Rate and Quantization Variation-Subjective Studies and Analytical Modeling

abstract: In networked video applications, the frame rate (FR) and quantization stepsize (QS) of a compressed video are often adapted in response to the changes of the available bandwidth. It is important to understand how do the variation of FR and QS and their variation pattern affect the video quality. In this paper, we investigate the impact of temporal variation of FR and QS on the perceptual video quality. Among all possible variation patterns, we focus on videos in which two FR's (or QS's) alternate over a fixed interval. We explore the human responses to such variation by conducting subjective evaluation of test videos with different variation magnitudes and frequencies. We further analyze statistical significance of the impact of variation magnitude, variation frequency, video content, and their interactions. By analyzing the subjective ratings, we propose two models for predicting the quality of video with alternating FR and QS, respectively, The proposed models have simple mathematical forms with a few content-dependent parameters. The models fit the measured data very well using parameters determined by least square fitting with the measured data. We further propose some guidelines for adaptation of FR and QS based on trends observed from subjective test results.


title: Relationship of Time Reversal Symmetry Breaking with Optical Kerr Rotation

abstract: We prove an instance of the Reciprocity Theorem that demonstrates that Kerr rotation, also known as the magneto-optical Kerr effect, may only arise in materials that break microscopic time reversal symmetry. This argument applies in the linear response regime, and only fails for nonlinear effects. Recent measurements with a modified Sagnac Interferometer have found finite Kerr rotation in a variety of superconductors. The Sagnac Interferometer is a probe for nonreciprocity, so it must be that time reversal symmetry is broken in these materials.


title: Earthshine on a Young Moon: Explaining the Lunar Farside Highlands

abstract: The lunar farside highlands problem refers to the curious and unexplained fact that the farside lunar crust is thicker, on average, than the nearside crust. Here we recognize the crucial influence of Earthshine, and propose that it naturally explains this hemispheric dichotomy. Since the accreting Moon rapidly achieved synchronous rotation, a surface and atmospheric thermal gradient was imposed by the proximity of the hot, post-Giant-Impact Earth. This gradient guided condensation of atmospheric and accreting material, preferentially depositing crust-forming refractories on the cooler farside, resulting in a primordial bulk chemical inhomogeneity that seeded the crustal asymmetry. Our model provides a causal solution to the lunar highlands problem: the thermal gradient created by Earthshine produced the chemical gradient responsible for the crust thickness dichotomy that defines the lunar highlands.


title: Slime Mould Logic Gates Based on Frequency Changes of Electrical Potential Oscillation

abstract: Physarum polycephalum is a large single amoeba cell, which in its plasmodial phase,forages and connects nearby food sources with protoplasmic tubes. The organism forages for food by growing these tubes towards detected food stuffs, this foraging behaviour is governed by simple rules of photoavoidance and chemotaxis. The electrical activity of the tubes oscillates, creating a peristaltic like action within the tubes, forcing cytoplasm along the lumen; the frequency of this oscillation controls the speed and direction of growth. External stimuli such as light and food cause changes in the oscillation frequency. We demonstrate that using these stimuli as logical inputs we can approximate logic gates using these tubes and derive combinational logic circuits by cascading the gates, with software analysis providing the output of each gate and determining the input of the following gate. Basic gates OR, AND and NOT were correct 90%, 77.8% and 91.7% of the time respectively. Derived logic circuits XOR, Half Adder and Full Adder were 70.8%, 65% and 58.8% accurate respectively. Accuracy of the combinational logic decreases as the number of gates is increased, however they are at least as accurate as previous logic approximations using spatial growth of Physarum polycephalum and up to 30 times as fast at computing the logical output. The results shown here demonstrate a significant advancement in organism-based computing, providing a solid basis for hybrid computers of the future.


title: Two-dimensional Sentiment Analysis of text

abstract: Sentiment Analysis aims to get the underlying viewpoint of the text, which could be anything that holds a subjective opinion, such as an online review, Movie rating, Comments on Blog posts etc. This paper presents a novel approach that classify text in two-dimensional Emotional space, based on the sentiments of the author. The approach uses existing lexical resources to extract feature set, which is trained using Supervised Learning techniques.


title: Rational Closure in SHIQ

abstract: We define a notion of rational closure for the logic SHIQ, which does not enjoys the finite model property, building on the notion of rational closure introduced by Lehmann and Magidor in [23]. We provide a semantic characterization of rational closure in SHIQ in terms of a preferential semantics, based on a finite rank characterization of minimal models. We show that the rational closure of a TBox can be computed in EXPTIME using entailment in SHIQ.


title: Hilfer fractional advection-diffusion equations with power-law initial condition; a Numerical study using variational iteration method

abstract: We propose a Hilfer advection-diffusion equation of order $0<\alpha<1$ and type $0\leq\beta\leq1$, and find the power series solution by using variational iteration method. Power series solutions are expressed in a form that is easy to implement numerically and in some particular cases, solutions are expressed in terms of Mittag-Leffler function. Absolute convergence of power series solutions is proved and the sensitivity of the solutions is discussed with respect to changes in the values of different parameters. For power law initial conditions it is shown that the Hilfer advection-diffusion PDE gives the same solutions as the Caputo and Riemann-Liouville advection-diffusion PDE. To leading order, the fractional solution compared to the non-fractional solution increases rapidly with $\alpha$ for $\alpha > 0.7$ at a given time $t$; but for $\alpha<0.7$ this factor is weakly sensitive to $\alpha$. We also show that the truncation errors, arising when using the partial sum as approximate solutions, decay exponentially fast with the number of terms $n$ used. We find that for $\alpha< 0.7$ the number of terms needed is weakly sensitive to the accuracy level and to the fractional order, $n\approx 20$; but for $\alpha>0.7$ the required number of terms increases rapidly with the accuracy level and also with the fractional order $\alpha$.


title: Deviations from Tribimaximal Neutrino Mixing using a Model with $\Delta(27)$ Symmetry

abstract: We present a model of neutrino mixing based on the flavour group $\Delta(27)$ in order to account for the observation of a non-zero reactor mixing angle ($\theta_{13}$). The model provides a common flavour structure for the charged-lepton and the neutrino sectors, giving their mass matrices a `circulant-plus-diagonal' form. Mass matrices of this form readily lead to mixing patterns with realistic deviations from tribimaximal mixing, including non-zero $\theta_{13}$. With the parameters constrained by existing measurements, our model predicts an inverted neutrino mass hierarchy. We obtain two distinct sets of solutions in which the atmospheric mixing angle lies in the first and the second octants. The first (second) octant solution predicts the lightest neutrino mass, $m_3 \sim 29~\text{meV}$ ($m_3 \sim 65~\text{meV}$) and the $CP$ phase, $\delta_{CP} \sim -\frac{\pi}{4}$ ($\delta_{CP} \sim \frac{\pi}{2}$), offering the possibility of large observable $CP$ violating effects in future experiments.


title: Neutrino Mass from SZ Surveys

abstract: The expected sensitivity of cluster SZ number counts to neutrino mass in the sub-eV range is assessed. We find that from the ongoing {\it Planck}/SZ measurements the (total) neutrino mass can be determined at a (1-sigma) precision of 0.06 eV, if the mass is in the range 0.1-0.3 eV, and the survey detection limit is set at the 5-sigma significance level. The mass uncertainty is predicted to be lower by a factor ~2/3, if a similar survey is conducted by a cosmic-variance-limited experiment, a level comparable to that projected if CMB lensing extraction is accomplished with the same experiment. At present, the main uncertainty in modeling cluster statistical measures reflects the difficulty in determining the mass function at the high-mass end.


title: Focus Point in the Light Stop Scenario

abstract: The recent discovery of a light CP-even Higgs in a region of masses consistent with the predictions of models with low energy supersymmetry have intensified the discussion of naturalness in these situations. The focus point solution alleviates the MSSM fine tuning problem. In a previous work, we showed the general form of the MSSM focus point solution, for different values of the messenger scale and of the ratio of gaugino and scalar masses. Here we study the possibility of inducing a light stop as a result of the renormalization group running from high energies. This scenario is highly predictive and leads to observables that may be constrained by future collider and flavor physics data.


title: Perpendicular magnetic anisotropy and magnetization process in CoFeB/Pd multilayer films

abstract: Perpendicular magnetic anisotropy (PMA) and dynamic magnetization reversal process in [CoFeB $t$ nm/Pd 1.0 nm]$_n$ ($t$ = 0.4, 0.6, 0.8, 1.0, and 1.2 nm; $n$ = 2 - 20) multilayer films have been studied by means of magnetic hysteresis and Kerr effect measurements. Strong and controllable PMA with an effective uniaxial anisotropy up to 7.7$\times$ 10$^6$ J.m$^{-3}$ and a saturation magnetization as low as 200 emu/cc are achieved. Surface/interfacial anisotropy of CoFeB/Pd interfaces, the main contribution to the PMA, is separated from the effective uniaxial anisotropy of the films, and appears to increase with the number of the CoFeB/Pd bilayers. Observation of the magnetic domains during a magnetization reversal process using polar magneto-optical Kerr microscopy shows the detailed behavior of nucleation and displacement of the domain walls.


title: Stochastic Projected Gross-Pitaevskii equation for spinor and multi-component condensates

abstract: A stochastic Gross-Pitaevskii equation is derived for partially condensed Bose gas systems subject to binary contact interactions. The theory we present provides a classical-field theory suitable for describing dissipative dynamics and phase transitions of spinor and multi-component Bose gas systems comprised of an arbitrary number of distinct interacting Bose fields. A new class of dissipative processes involving distinguishable particle interchange between coherent and incoherent regions of phase-space is identified. The formalism and its implications are illustrated for two-component mixtures and spin-1 Bose-Einstein condensates. For systems comprised of atoms of equal mass, with thermal reservoirs that are close to equilibrium, the dissipation rates of the theory are reduced to analytical expressions that may be readily evaluated. The unified treatment of binary contact interactions presented here provides a theory with broad relevance for quasi-equilibrium and far-from-equilibrium Bose-Einstein condensates.


title: New examples of Neuwirth-Stallings pairs and non-trivial real Milnor fibrations

abstract: We use topology of configuration spaces to give a characterization of Neuwirth--Stallings pairs $(S^5, K)$ with $\dim K = 2$. As a consequence, we construct polynomial map germs $(\mathbb{R}^{6},0)\to (\mathbb{R}^{3},0)$ with an isolated singularity at the origin such that their Milnor fibers are not diffeomorphic to a disk, thus putting an end to Milnor's non-triviality question. Furthermore, for a polynomial map germ $(\mathbb{R}^{2n},0) \to (\mathbb{R}^{n},0)$ or $(\mathbb{R}^{2n+1},0) \to (\mathbb{R}^{n},0)$, $n \geq 3$, with an isolated singularity at the origin, we study the conditions under which the associated Milnor fiber has the homotopy type of a bouquet of spheres. We then construct, for every pair $(n, p)$ with $n/2 \geq p \geq 2$, a new example of a polynomial map germ $(\mathbb{R}^n,0) \to (\mathbb{R}^p,0)$ with an isolated singularity at the origin such that its Milnor fiber has the homotopy type of a bouquet of a positive number of spheres.


title: Detect What You Can: Detecting and Representing Objects using Holistic Models and Body Parts

abstract: Detecting objects becomes difficult when we need to deal with large shape deformation, occlusion and low resolution. We propose a novel approach to i) handle large deformations and partial occlusions in animals (as examples of highly deformable objects), ii) describe them in terms of body parts, and iii) detect them when their body parts are hard to detect (e.g., animals depicted at low resolution). We represent the holistic object and body parts separately and use a fully connected model to arrange templates for the holistic object and body parts. Our model automatically decouples the holistic object or body parts from the model when they are hard to detect. This enables us to represent a large number of holistic object and body part combinations to better deal with different "detectability" patterns caused by deformations, occlusion and/or low resolution. We apply our method to the six animal categories in the PASCAL VOC dataset and show that our method significantly improves state-of-the-art (by 4.1% AP) and provides a richer representation for objects. During training we use annotations for body parts (e.g., head, torso, etc), making use of a new dataset of fully annotated object parts for PASCAL VOC 2010, which provides a mask for each part.


title: On the $\Gamma$-limit for a non-uniformly bounded sequence of two phase metric functionals

abstract: In this study we consider the $\Gamma$-limit of a highly oscillatory Riemannian metric length functional as its period tends to 0. The metric coefficient takes values in either $\{1,\infty\}$ or $\{1,\beta \varepsilon^{-p}\}$ where $\beta,\varepsilon > 0$ and $p \in (0,\infty)$. We find that for a large class of metrics, in particular those metrics whose surface of discontinuity forms a differentiable manifold, the $\Gamma$-limit exists, as in the uniformly bounded case. However, when one attempts to determine the $\Gamma$-limit for the corresponding boundary value problem, the existence of the $\Gamma$-limit depends on the value of $p$. Specifically, we show that the power $p=1$ is critical in that the $\Gamma$-limit exists for $p < 1$, whereas it ceases to exist for $p \geq 1$. The results here have applications in both nonlinear optics and the effective description of a Hamiltonian particle in a discontinuous potential.


title: The evolution of antiferromagnetic susceptibility to uniaxial pressure in Ba(Fe{1-x}Co{x})2As2

abstract: Neutron diffraction measurements are presented measuring the responses of both magnetic and structural order parameters of parent and lightly Co-doped Ba(Fe{1-x}Co{x})2As2 under the application of uniaxial pressure. We find that the uniaxial pressure induces a thermal shift in the onset of antiferromagnetic order that grows as a percentage of T_N as Co-doping is increased and the superconducting phase is approached. Additionally, as uniaxial pressure is increased within parent and lightly-doped Ba(Fe{1-x}Co{x})2As2 on the first order side of the tricritical point, we observe a decoupling between the onsets of the orthorhombic structural distortion and antiferromagnetism. Our findings place needed constraints on models exploring the nematic susceptibility of the bilayer pnictides in the tetragonal, paramagnetic regime.


title: Electron correlation in solids via density embedding theory

abstract: Density matrix embedding theory (Phys. Rev. Lett. 109, 186404 (2012)) and density embedding theory ((Phys. Rev. B 89, 035140 (2014)) have recently been introduced for model lattice Hamiltonians and molecular systems. In the present work, the formalism is extended to the ab initio description of infinite systems. An appropriate definition of the impurity Hamiltonian for such systems is presented and demonstrated in cases of 1, 2 and 3 dimensions, using coupled cluster theory as the impurity solver. Additionally, we discuss the challenges related to disentanglement of fragment and bath states. The current approach yields results comparable to coupled cluster calculations of infinite systems even when using a single unit cell as the fragment. The theory is formulated in the basis of Wannier functions but it does not require separate localization of unoccupied bands. The embedding scheme presented here is a promising way of employing highly accurate electronic structure methods for extended systems at a fraction of their original computational cost.


title: Learning Word Representations with Hierarchical Sparse Coding

abstract: We propose a new method for learning word representations using hierarchical regularization in sparse coding inspired by the linguistic study of word meanings. We show an efficient learning algorithm based on stochastic proximal methods that is significantly faster than previous approaches, making it possible to perform hierarchical sparse coding on a corpus of billions of word tokens. Experiments on various benchmark tasks---word similarity ranking, analogies, sentence completion, and sentiment analysis---demonstrate that the method outperforms or is competitive with state-of-the-art methods. Our word representations are available at \url{http://www.ark.cs.cmu.edu/dyogatam/wordvecs/}.


title: Classical and quantum cosmology with York time

abstract: We consider a solution to the problem of time in quantum gravity by deparameterisation of the ADM action in terms of York time, a parameter proportional to the extrinsic curvature of a spatial hypersurface. We study a minisuperspace model together with a homogeneous scalar field, for which we can solve the Hamiltonian constraint exactly and arrive at an explicit expression for the physical (non-vanishing) Hamiltonian. The scale factor and associated momentum cease to be dynamical variables, leaving the scalar field as the only physical degree of freedom. We investigate the resulting classical theory, showing how the dynamics of the scale factor can be recovered via an appropriate interpretation of the Hamiltonian as a volume. We then quantise the system in the Schr\"odinger picture. In the quantum theory we recover the dynamics of the scale factor by interpreting the spectrum and expectation value of the Hamiltonian as being associated with volume rather than energy. If trajectories in the sense of de~Broglie-Bohm are introduced in the quantum theory, these are found to match those of the classical theory. We suggest that these trajectories may provide the basis for a perturbation theory in which both background and perturbations are quantised.


title: Resolving the Origin of the Diffuse Soft X-ray Background

abstract: The ubiquitous diffuse soft (1/4 keV) X-ray background was one of the earliest discoveries of X-ray astronomy. At least some of the emission may arise from charge exchange between solar wind ions and neutral atoms in the heliosphere, but no detailed models have been fit to the available data. Here we report on a new model for charge exchange in the solar wind, which when combined with a diffuse hot plasma component filling the Local Cavity provides a good fit to the only available high-resolution soft X-ray and extreme ultraviolet (EUV) spectra using plausible parameters for the solar wind. The implied hot plasma component is in pressure equilibrium with the local cloud that surrounds the solar system, creating for the first time a self-consistent picture of the local interstellar medium.


title: Single-shot 3D sensing with improved data density

abstract: We introduce a novel concept for motion robust optical 3D-sensing. The concept is based on multi-line triangulation. The aim is to evaluate a large number of projected lines (high data density) in a large measurement volume with high precision. Implementing all those three attributes at the same time allows for the "perfect" real-time 3D movie camera (our long term goal). The key problem towards this goal is ambiguous line indexing: we will demonstrate that the necessary information for unique line indexing can be acquired by two synchronized cameras and a back projection scheme. The introduced concept preserves high lateral resolution, since the lines are as narrow as the sampling theorem allows, no spatial bandwidth is consumed by encoding of the lines. In principle, the distance uncertainty is only limited by shot noise and coherent noise. The concept can be also advantageously implemented with a hand-guided sensor and real-time registration, for a complete and dense 3D-acquisition of complicated scenes.


title: Categorical concepts and their generalization by means of game theory (german: Kategorien-Konzepte und ihre spieltheoretische Verallgemeinerung)

abstract: This paper deals with different concepts for characterizing the size of mathematical objects. A game theoretic investigation and generalization of two size concepts, which can both be formulated in topological terms, is provided: the so called "Baire category" and the "$\sigma $-category". This is mainly done by means of (generalized) Banach-Mazur games using the Axiom of determinacy (the inconsistency of AC and AD is reflected in the beginning and a weaker form of AC is chosen for proofs). Analogue versions of Cantor-Bendixson and Heine-Borel are proofed as well as some definability results. Such size concepts are established f.i. in measure and integration theory, set theory and topology often leading to mathematically precise formulations of "fuzziness". In measure and integration theory f.i. one defines for a "measure space" $(\Omega, \underline{A}, \mu)$ - i.e. $\Omega$ is a non empty set, $\underline{A}$ a $\sigma$-algebra on $\Omega$ and $\mu$ a measure on $(\Omega,\underline{A})$ - and a property $E \subset \Omega$ of elements of $\Omega$, that the property $E$ is valid in a set $A\in\underline{A}$ "$\mu$-almost everywhere", if $E$ is true in $A$ up to a "$\mu$-null set" - i.e. $\exists N\in\underline{A}{ } (\mu(N)=0 \wedge A\cap N^\complement \subset E)$. This is crucial for the formulation of uniqueness statements in measure and integration theory as its theorems usually only apply up to "small" ($\mu$-null) sets. Key words: Axiom of choice AC, Axiom of determinacy AD, Baire category theorem, Baire property, Baire space, Banach-Mazur games, Borel hierachy, Cantor-Bendixson, definability, Gale-Stewart, Heine-Borel, Lusin hierarchy, meager sets, perfect set property, polish spaces, projective hierarchy, sigma bounded sets, sigma compact sets, superperfect sets, topological games, winning strategy


title: Quantum arithmetic and numerical analysis using Repeat-Until-Success circuits

abstract: We develop a method for approximate synthesis of single--qubit rotations of the form $e^{-i f(\phi_1,\ldots,\phi_k)X}$ that is based on the Repeat-Until-Success (RUS) framework for quantum circuit synthesis. We demonstrate how smooth computable functions $f$ can be synthesized from two basic primitives. This synthesis approach constitutes a manifestly quantum form of arithmetic that differs greatly from the approaches commonly used in quantum algorithms. The key advantage of our approach is that it requires far fewer qubits than existing approaches: as a case in point, we show that using as few as $3$ ancilla qubits, one can obtain RUS circuits for approximate multiplication and reciprocals. We also analyze the costs of performing multiplication and inversion on a quantum computer using conventional approaches and find that they can require too many qubits to execute on a small quantum computer, unlike our approach.


title: Platform-Centric Android Monitoring---Modular and Efficient

abstract: We present an add-on for the Android platform, capable of intercepting nearly all interactions between apps or apps with the platform, including arguments of method invocations in a human-readable format. A preliminary performance evaluation shows that the performance penalty of our solution is roughly comparable with similar tools in that area. The advantage of our solution, however, is that it is truly modular in the sense that we do not actually modify the Android platform itself, and can include it even with an already running system. Possible uses of such an add-on are manifold; we discuss one from the area of runtime verification that aims at improving system security.


title: On the Characterization Problem of Alexander Polynomials of Closed 3-Manifolds

abstract: We give a characterization for the Alexander Polynomials of closed orientable 3-manifolds M with first Betti number 1, as well as some partial results for the characterization problem for M having first Betti number > 1. We first prove an analogue of a theorem of Levine: that the product of an Alexander polynomial of M with a symmetric polynomial in the same number of variables having non 0 trace, is again an Alexander polynomial of a closed orientable 3-manifold. Using the fact that there exists M with Alexander polynomial = 1 for M with first Betti number 1, 2 or 3, we conclude that symmetric polynomials of non 0 trace in 1, 2 or 3 variables are Alexander polynomials of closed orientable 3-manifolds. When the first Betti number of M is 1 we prove that non 0 trace symmetric polynomials are the only ones that can arise. Finally, for M with first Betti number > 3 we prove that the Alexander polynomial can not be 1, implying that for such manifolds not all symmetric polynomials having non 0 trace will occur.


title: Characterization of superconducting nanowire single-photon detector with artificial constrictions

abstract: Statistical studies on the performance of different superconducting nanowire single-photon detectors (SNSPDs) on one chip suggested that random constrictions existed in the nanowire that were barely registered by scanning electron microscopy. With the aid of advanced e-beam lithography, artificial geometric constrictions were fabricated on SNSPDs as well as single nanowires. In this way, we studied the influence of artificial constrictions on SNSPDs in a straight forward manner. By introducing artificial constrictions with different wire widths in single nanowires, we concluded that the dark counts of SNSPDs originate from a single constriction. Further introducing artificial constrictions in SNSPDs, we studied the relationship between detection efficiency and kinetic inductance and the bias current, confirming the hypothesis that constrictions exist in SNSPDs.


title: Photon activation analysis of the scraper in a 200-MeV electron accelerator using gamma-spectrometry depth profiling

abstract: For a high energy electron facility, the estimates of induced radioactivity in materials are of major importance to keep exposure to personnel and to the environment as low as reasonably achievable. In addition, an accurate prediction of induced radioactivity is also essential for the design, operation and decommissioning of a high energy electron linear accelerator. The research of induced radioactivity focuses on the photonuclear reaction, whose giant resonance response in the copper is ranging from 10 MeV to 28 MeV. The 200 MeV electron linac of NSRL is one of the earliest high-energy electron linear accelerators in P. R. China. The electrons are accelerated to 200 MeV by five acceleration tubes and collimated by the scrapers made of copper. At present, it is the first retired high-energy electron linear accelerator in domestic. Its decommissioning provides an efficient way for the induced radioactivity research of such accelerators, and is a matter of great significance to the accumulation of the induced radioactivity experience. When the copper target is impacted by an 158 MeV electron beam, the number of photons generated whose energy are in the range of giant resonance response is the largest. Thus, this paper focuses on the induced radioactivity for a copper target impacted by the 158 MeV electron beam. The slicing method is applied in the research. The specific activity of each slice was measured at cooling times of ten months and the results were compared with the prediction from the Monte-Carlo program FLUKA. The simulation results are in good agreement with the measurement results. The method by Monte Carlo simulation in this paper gives a reasonable prediction of the induced radioactivity problem for the high-energy electron linear accelerators, laying a foundation for the accumulation of the induced radioactivity experience.


title: UCT-Kirchberg algebras have nuclear dimension one

abstract: We prove that every Kirchberg algebra in the UCT class has nuclear dimension 1. We first show that Kirchberg 2-graph algebras with trivial $K_0$ and finite $K_1$ have nuclear dimension 1 by adapting a technique developed by Winter and Zacharias for Cuntz algebras. We then prove that every Kirchberg algebra in the UCT class is a direct limit of 2-graph algebras to obtain our main theorem.


title: Observation of dispersive wave emission by temporal cavity solitons

abstract: We examine a coherently-driven, dispersion-managed, passive Kerr fiber ring resonator and report the first direct experimental observation of dispersive wave emission by temporal cavity solitons. Our observations are in excellent agreement with analytical predictions and they are fully corroborated by numerical simulations. These results lead to a better understanding of the behavior of temporal cavity solitons under conditions where higher-order dispersion plays a significant role. Significantly, since temporal cavity solitons manifest themselves in monolithic microresonators, our results are likely to explain the origins of spectral features observed in broadband Kerr frequency combs.


title: Carrier-free Raman manipulation of trapped neutral atoms

abstract: We experimentally realize an enhanced Raman control scheme for neutral atoms that features an intrinsic suppression of the two-photon carrier transition, but retains the sidebands which couple to the external degrees of freedom of the trapped atoms. This is achieved by trapping the atom at the node of a blue detuned standing wave dipole trap, that acts as one field for the two-photon Raman coupling. The improved ratio between cooling and heating processes in this configuration enables a five times lower fundamental temperature limit for resolved sideband cooling. We apply this method to perform Raman cooling to the two-dimensional vibrational ground state and to coherently manipulate the atomic motion. The presented scheme requires minimal additional resources and can be applied to experiments with challenging optical access, as we demonstrate by our implementation for atoms strongly coupled to an optical cavity.


title: Controlling the 2DEG states evolution at a metal/Bi$_2$Se$_3$ interface

abstract: We have demonstrated that the evolution of the two-dimensional electron gas (2DEG) system at an interface of metal and the model topological insulator (TI) Bi$_2$Se$_3$ can be controlled by choosing an appropriate kind of metal elements and by applying a low temperature evaporation procedure. In particular, we have found that only topological surface states (TSSs) can exist at a Mn/Bi$_2$Se$_3$ interface, which would be useful for implementing an electric contact with surface current channels only. The existence of the TSSs alone at the interface was confirmed by angle-resolved photoemission spectroscopy (ARPES). Based on the ARPES and core-level x-ray photoemission spectroscopy measurements, we propose a cation intercalation model to explain our findings.


title: Image Tag Completion by Low-rank Factorization with Dual Reconstruction Structure Preserved

abstract: A novel tag completion algorithm is proposed in this paper, which is designed with the following features: 1) Low-rank and error s-parsity: the incomplete initial tagging matrix D is decomposed into the complete tagging matrix A and a sparse error matrix E. However, instead of minimizing its nuclear norm, A is further factor-ized into a basis matrix U and a sparse coefficient matrix V, i.e. D=UV+E. This low-rank formulation encapsulating sparse coding enables our algorithm to recover latent structures from noisy initial data and avoid performing too much denoising; 2) Local reconstruction structure consistency: to steer the completion of D, the local linear reconstruction structures in feature space and tag space are obtained and preserved by U and V respectively. Such a scheme could alleviate the negative effect of distances measured by low-level features and incomplete tags. Thus, we can seek a balance between exploiting as much information and not being mislead to suboptimal performance. Experiments conducted on Corel5k dataset and the newly issued Flickr30Concepts dataset demonstrate the effectiveness and efficiency of the proposed method.


title: Complementary Ramsey numbers and Ramsey graphs

abstract: In this paper, we consider a variant of Ramsey numbers which we call complementary Ramsey numbers $\bar{R}(m,t,s)$. We first establish their connections to pairs of Ramsey $(s,t)$-graphs. Using the classification of Ramsey $(s,t)$-graphs for small $s,t$, we determine the complementary Ramsey numbers $\bar{R}(m,t,s)$ for $(s,t)=(4,4)$ and $(3,6)$.


title: Monopole Production and Glasma Decay

abstract: It has been discussed that quark gluon plasma is produced following the rapid decay of coherent color gauge fields generated immediately after high energy heavy ion collisions. But there are no convincing mechanisms known for the rapid decay of the gauge fields which satisfy phenomenological constraints on their lifetime. We show by using classical statistical field theory that the gauge fields rapidly decay into magnetic monopoles. For comparison, we show how fast they decay into Nielsen-Olesen unstable modes. We find that the rapid decay of the glasma is caused by the monopole production.


title: Sets Characterized by Missing Sums and Differences in Dilating Polytopes

abstract: A sum-dominant set is a finite set $A$ of integers such that $|A+A| > |A-A|$. As a typical pair of elements contributes one sum and two differences, we expect sum-dominant sets to be rare in some sense. In 2006, however, Martin and O'Bryant showed that the proportion of sum-dominant subsets of $\{0,\dots,n\}$ is bounded below by a positive constant as $n\to\infty$. Hegarty then extended their work and showed that for any prescribed $s,d\in\mathbb{N}_0$, the proportion $\rho^{s,d}_n$ of subsets of $\{0,\dots,n\}$ that are missing exactly $s$ sums in $\{0,\dots,2n\}$ and exactly $2d$ differences in $\{-n,\dots,n\}$ also remains positive in the limit. We consider the following question: are such sets, characterized by their sums and differences, similarly ubiquitous in higher dimensional spaces? We generalize the integers in a growing interval to the lattice points in a dilating polytope. Specifically, let $P$ be a polytope in $\mathbb{R}^D$ with vertices in $\mathbb{Z}^D$, and let $\rho_n^{s,d}$ now denote the proportion of subsets of $L(nP)$ that are missing exactly $s$ sums in $L(nP)+L(nP)$ and exactly $2d$ differences in $L(nP)-L(nP)$. As it turns out, the geometry of $P$ has a significant effect on the limiting behavior of $\rho_n^{s,d}$. We define a geometric characteristic of polytopes called local point symmetry, and show that $\rho_n^{s,d}$ is bounded below by a positive constant as $n\to\infty$ if and only if $P$ is locally point symmetric. We further show that the proportion of subsets in $L(nP)$ that are missing exactly $s$ sums and at least $2d$ differences remains positive in the limit, independent of the geometry of $P$. A direct corollary of these results is that if $P$ is additionally point symmetric, the proportion of sum-dominant subsets of $L(nP)$ also remains positive in the limit.


title: A Method of Reducing Dimension of Space Variables in Multi-dimensional Black-Scholes Equations

abstract: We study a method of reducing space dimension in multi-dimensional Black-Scholes partial differential equations as well as in multi-dimensional parabolic equations. We prove that a multiplicative transformation of space variables in the Black-Scholes partial differential equation reserves the form of Black-Scholes partial differential equation and reduces the space dimension. We show that this transformation can reduce the number of sources of risks by two or more in some cases by giving remarks and several examples of financial pricing problems. We also present that the invariance of the form of Black-Scholes equations is based on the invariance of the form of parabolic equation under a change of variables with the linear combination of variables.


title: Free monoids and forests of rational numbers

abstract: The Calkin-Wilf tree is an infinite binary tree whose vertices are the positive rational numbers. Each such number occurs in the tree exactly once and in the form $a/b$, where are $a$ and $b$ are relatively prime positive integers. This tree is associated with the matrices $L_1 = \left( \begin{matrix} 1 & 0 \\ 1 & 1 \end{matrix} \right)$ and $R_1 = \left( \begin{matrix} 1 & 1 \\ 0 & 1 \end{matrix} \right)$, which freely generate the monoid $SL_2(\mathbf{N}_0)$ of $2 \times 2$ matrices with determinant 1 and nonnegative integral coordinates. For other pairs of matrices $L_u$ and $R_v$ that freely generate submonoids of $GL_2(\mathbf{N}_0)$, there are forests of infinitely many rooted infinite binary trees that partition the set of positive rational numbers, and possess a remarkable symmetry property.


title: An analytic result for the two-loop seven-point MHV amplitude in N=4 SYM

abstract: We describe a general algorithm which builds on several pieces of data available in the literature to construct explicit analytic formulas for two-loop MHV amplitudes in N=4 super-Yang-Mills theory. The non-classical part of an amplitude is built from $A_3$ cluster polylogarithm functions; classical polylogarithms with (negative) cluster X-coordinate arguments are added to complete the symbol of the amplitude; beyond-the-symbol terms proportional to $\pi^2$ are determined by comparison with the differential of the amplitude; and the overall additive constant is fixed by the collinear limit. We present an explicit formula for the seven-point amplitude $R_7^{(2)}$ as a sample application.


title: Pion TMDs in light-front constituent approach, and Boer-Mulders effect in the pion-induced Drell-Yan process

abstract: At leading twist the transverse-momentum dependent parton distributions of the pion consist of two functions, the unpolarized $f_{1,\pi}(x,\boldsymbol k^{\, 2}_\perp)$ and the Boer-Mulders function $h_{1,\pi}^{\perp}(x,\boldsymbol k^{\, 2}_\perp)$. We study both functions within a light-front constituent model of the pion, comparing the results with different pion models and the corresponding nucleon distributions from a light-front constituent model. After evolution from the model scale to the relevant experimental scales, the results for the collinear pion valence parton distribution function $f_{1,\pi}(x)$ are in very good agreement with available parameterizations. Using the light-front constituent model results for the Boer-Mulders functions of the pion and nucleon, we calculate the coefficient $\nu$ in the angular distribution of Drell-Yan dileptons produced in pion-nucleus scattering, which is responsible for the violation of the Lam-Tung relation. We find a good agreement with data, and carefully discuss the range of applicability of our approach.


title: Witt-Burnside functor attached to $\mathbf{Z}_p^2$ and $p$-adic Lipschitz continuous functions

abstract: Dress and Siebeneicher gave a significant generalization of the construction of Witt vectors, by producing for any profinite group $G$, a ring-valued functor $\mathbf{W}_G$. This paper gives a concrete interpretation of the rings $\mathbf{W}_{\mathbf{Z}_p^2}(k)$ where $k$ is a field of characteristic $p > 0$ in terms of rings of Lipschitz continuous functions on the $p$-adic upper half plane $\mathbf{P}^1(\mathbf{Q}_p)$. As a consequence we show that the Krull dimensions of the rings $\mathbf{W}_{\mathbf{Z}_p^d}(k)$ are infinite for $d \geq 2$ and we show the Teichm\"uller representatives form an analogue of the van der Put basis for continuous functions on $\mathbf{Z}_p$.


title: Monad Transformers for Backtracking Search

abstract: This paper extends Escardo and Oliva's selection monad to the selection monad transformer, a general monadic framework for expressing backtracking search algorithms in Haskell. The use of the closely related continuation monad transformer for similar purposes is also discussed, including an implementation of a DPLL-like SAT solver with no explicit recursion. Continuing a line of work exploring connections between selection functions and game theory, we use the selection monad transformer with the nondeterminism monad to obtain an intuitive notion of backward induction for a certain class of nondeterministic games.


title: Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types

abstract: In this paper, we present an Agda formalization of a normalizer for simply-typed lambda terms. The normalizer consists of two coinductively defined functions in the delay monad: One is a standard evaluator of lambda terms to closures, the other a type-directed reifier from values to eta-long beta-normal forms. Their composition, normalization-by-evaluation, is shown to be a total function a posteriori, using a standard logical-relations argument. The successful formalization serves as a proof-of-concept for coinductive programming and reasoning using sized types and copatterns, a new and presently experimental feature of Agda.


title: Polymonadic Programming

abstract: Monads are a popular tool for the working functional programmer to structure effectful computations. This paper presents polymonads, a generalization of monads. Polymonads give the familiar monadic bind the more general type forall a,b. L a -> (a -> M b) -> N b, to compose computations with three different kinds of effects, rather than just one. Polymonads subsume monads and parameterized monads, and can express other constructions, including precise type-and-effect systems and information flow tracking; more generally, polymonads correspond to Tate's productoid semantic model. We show how to equip a core language (called lambda-PM) with syntactic support for programming with polymonads. Type inference and elaboration in lambda-PM allows programmers to write polymonadic code directly in an ML-like syntax--our algorithms compute principal types and produce elaborated programs wherein the binds appear explicitly. Furthermore, we prove that the elaboration is coherent: no matter which (type-correct) binds are chosen, the elaborated program's semantics will be the same. Pleasingly, the inferred types are easy to read: the polymonad laws justify (sometimes dramatic) simplifications, but with no effect on a type's generality.


title: Koka: Programming with Row Polymorphic Effect Types

abstract: We propose a programming model where effects are treated in a disciplined way, and where the potential side-effects of a function are apparent in its type signature. The type and effect of expressions can also be inferred automatically, and we describe a polymorphic type inference system based on Hindley-Milner style inference. A novel feature is that we support polymorphic effects through row-polymorphism using duplicate labels. Moreover, we show that our effects are not just syntactic labels but have a deep semantic connection to the program. For example, if an expression can be typed without an exn effect, then it will never throw an unhandled exception. Similar to Haskell's `runST` we show how we can safely encapsulate stateful operations. Through the state effect, we can also safely combine state with let-polymorphism without needing either imperative type variables or a syntactic value restriction. Finally, our system is implemented fully in a new language called Koka and has been used successfully on various small to medium-sized sample programs ranging from a Markdown processor to a tier-splitted chat application. You can try out Koka live at www.rise4fun.com/koka/tutorial.


title: Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion

abstract: Functional reactive programming (FRP) makes it possible to express temporal aspects of computations in a declarative way. Recently we developed two kinds of categorical models of FRP: abstract process categories (APCs) and concrete process categories (CPCs). Furthermore we showed that APCs generalize CPCs. In this paper, we extend APCs with additional structure. This structure models recursion and corecursion operators that are related to time. We show that the resulting categorical models generalize those CPCs that impose an additional constraint on time scales. This constraint boils down to ruling out $\omega$-supertasks, which are closely related to Zeno's paradox of Achilles and the tortoise.


title: Foundations of Total Functional Data-Flow Programming

abstract: The field of declarative stream programming (discrete time, clocked synchronous, modular, data-centric) is divided between the data-flow graph paradigm favored by domain experts, and the functional reactive paradigm favored by academics. In this paper, we describe the foundations of a framework for unifying functional and data-flow styles that differs from FRP proper in significant ways: It is based on set theory to match the expectations of domain experts, and the two paradigms are reduced symmetrically to a low-level middle ground, with strongly compositional semantics. The design of the framework is derived from mathematical first principles, in particular coalgebraic coinduction and a standard relational model of stateful computation. The abstract syntax and semantics introduced here constitute the full core of a novel stream programming language.


title: Coherence for Skew-Monoidal Categories

abstract: I motivate a variation (due to K. Szlach\'{a}nyi) of monoidal categories called skew-monoidal categories where the unital and associativity laws are not required to be isomorphisms, only natural transformations. Coherence has to be formulated differently than in the well-known monoidal case. In my (to my knowledge new) version, it becomes a statement of uniqueness of normalizing rewrites. I present a proof of this coherence theorem and also formalize it fully in the dependently typed programming language Agda.


title: Stochastically timed predicate-based communication primitives for autonomic computing

abstract: Predicate-based communication allows components of a system to send messages and requests to ensembles of components that are determined at execution time through the evaluation of a predicate, in a multicast fashion. Predicate-based communication can greatly simplify the programming of autonomous and adaptive systems. We present a stochastically timed extension of the Software Component Ensemble Language (SCEL) that was introduced in previous work. Such an extension raises a number of non-trivial design and formal semantics issues with different options as possible solutions at different levels of abstraction. We discuss four of these options, of which two in more detail. We provide a formal semantics definition and an illustration of the use of the language modeling a bike sharing system, together with some preliminary analysis of the system performance.


title: GSOS for non-deterministic processes with quantitative aspects

abstract: Recently, some general frameworks have been proposed as unifying theories for processes combining non-determinism with quantitative aspects (such as probabilistic or stochastically timed executions), aiming to provide general results and tools. This paper provides two contributions in this respect. First, we present a general GSOS specification format (and a corresponding notion of bisimulation) for non-deterministic processes with quantitative aspects. These specifications define labelled transition systems according to the ULTraS model, an extension of the usual LTSs where the transition relation associates any source state and transition label with state reachability weight functions (like, e.g., probability distributions). This format, hence called Weight Function SOS (WFSOS), covers many known systems and their bisimulations (e.g. PEPA, TIPP, PCSP) and GSOS formats (e.g. GSOS, Weighted GSOS, Segala-GSOS, among others). The second contribution is a characterization of these systems as coalgebras of a class of functors, parametric on the weight structure. This result allows us to prove soundness of the WFSOS specification format, and that bisimilarities induced by these specifications are always congruences.


title: Extended Differential Aggregations in Process Algebra for Performance and Biology

abstract: We study aggregations for ordinary differential equations induced by fluid semantics for Markovian process algebra which can capture the dynamics of performance models and chemical reaction networks. Whilst previous work has required perfect symmetry for exact aggregation, we present approximate fluid lumpability, which makes nearby processes perfectly symmetric after a perturbation of their parameters. We prove that small perturbations yield nearby differential trajectories. Numerically, we show that many heterogeneous processes can be aggregated with negligible errors.


title: MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata

abstract: Markov automata combine continuous time, probabilistic transitions, and nondeterminism in a single model. They represent an important and powerful way to model a wide range of complex real-life systems. However, such models tend to be large and difficult to handle, making abstraction and abstraction refinement necessary. In this paper we present an abstraction and abstraction refinement technique for Markov automata, based on the game-based and menu-based abstraction of probabilistic automata. First experiments show that a significant reduction in size is possible using abstraction.


title: Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE - ZebraNet as an Example

abstract: Individual-based hybrid modelling of spatially distributed systems is usually expensive. Here, we consider a hybrid system in which mobile agents spread over the space and interact with each other when in close proximity. An individual-based model for this system needs to capture the spatial attributes of every agent and monitor the interaction between each pair of them. As a result, the cost of simulating this model grows exponentially as the number of agents increases. For this reason, a patch-based model with more abstraction but better scalability is advantageous. In a patch-based model, instead of representing each agent separately, we model the agents in a patch as an aggregation. This property significantly enhances the scalability of the model. In this paper, we convert an individual-based model for a spatially distributed network system for wild-life monitoring, ZebraNet, to a patch-based stochastic HYPE model with accurate performance evaluation. We show the ease and expressiveness of stochastic HYPE for patch-based modelling of hybrid systems. Moreover, a mean-field analytical model is proposed as the fluid flow approximation of the stochastic HYPE model, which can be used to investigate the average behaviour of the modelled system over an infinite number of simulation runs of the stochastic HYPE model.


title: The Phenomenologically symmetric geometry of two sets of rank (3,2)

abstract: A geometry of two sets (GTS) is given on manifolds $\mathfrak{M}$ and $\mathfrak{N}$ by a metric (two-point) function $f:\mathfrak{M\times N}\to R$. Its phenomenological symmetry (PS) means that for some numbers of points from each manifold all the reciprocal distances are tied to some equation. Such simplest geometry on one-dimensional manifolds was discovered by Yu.I. Kulakov when he was analyzing the structure of Newton's 2nd law. In this note the PS G2S of rank (3,2) that springs up in the process of analysis the structure of Ohm's law is precisely defined and analyzed using a new approach.


title: Formal and Informal Methods for Multi-Core Design Space Exploration

abstract: We propose a tool-supported methodology for design-space exploration for embedded systems. It provides means to define high-level models of applications and multi-processor architectures and evaluate the performance of different deployment (mapping, scheduling) strategies while taking uncertainty into account. We argue that this extension of the scope of formal verification is important for the viability of the domain.


title: Exciton-plasmaritons in graphene-semiconductor structures

abstract: We study strong coupling between plasmons in monolayer charge-doped graphene and excitons in a narrow gap semiconductor quantum well separated from graphene by a potential barrier. We show that the Coulomb interaction between excitons and plasmons result in mixed states described by a Hamiltonian similar to that for exciton-polaritons and derive the exciton-plasmon coupling constant that depends on system parameters. We calculate numerically the Rabi splitting of exciton- plasmariton dispersion branches for several semiconductor materials and find that it can reach values of up to 50 - 100 meV.


title: A staggered finite element cell-centered scheme for nearly incompressible elasticity on general meshes

abstract: We apply the finite element cell-centered (FECC) scheme [2] to the solution of the nearly incompressible elasticity problem. By applying a technique of dual mesh, such a low-order finite element scheme can be constructed from any given mesh and it is proved to satisfy the "macroelement condition" [5], meaning that the stability condition is fulfilled. Numerical results show that the method, which is simple to implement, is effective in terms of accuracy and computational cost compared with other methods.


title: ATP concentration regulates enzyme kinetics

abstract: Adenosine 5'-triphosphate (ATP) is the nearly ubiquitous "energy currency" of living organisms, and thus is a crucial participant in the majority of enzymatic reactions. The standard models in enzyme kinetics generally ignore the temporal dynamics of ATP because it is assumed to be present in large excess. However, this assumption may not hold in many situations of cellular stress where ATP concentrations may be comparable to substrate levels. Here, we demonstrate the importance of ATP concentration on the dynamics of multi-enzyme reactions by explicit consideration of ATP as a secondary substrate for an enzyme. We apply our model to the mitogen-activated protein (MAP) kinase cascade, which is involved in the regulation of a vast range of cellular activities. We show that three fundamental features of this signaling network --- (i) duration of response, (ii) signal amplification, and (iii) ultrasensitivity to stimulus concentration --- are all dependent on ATP concentration. Our results indicate that the concentration of ATP regulates the response of the MAP kinase activation network, and potentially suggests another possible mechanism for disruption of the cascade in pathogenic states.


title: Stochastic Gradient-Push for Strongly Convex Functions on Time-Varying Directed Graphs

abstract: We investigate the convergence rate of the recently proposed subgradient-push method for distributed optimization over time-varying directed graphs. The subgradient-push method can be implemented in a distributed way without requiring knowledge of either the number of agents or the graph sequence; each node is only required to know its out-degree at each time. Our main result is a convergence rate of $O \left((\ln t)/t \right)$ for strongly convex functions with Lipschitz gradients even if only stochastic gradient samples are available; this is asymptotically faster than the $O \left((\ln t)/\sqrt{t} \right)$ rate previously known for (general) convex functions.


title: Doppler Tolerance, Complementary Code Sets and the Generalized Thue-Morse Sequence

abstract: We generalize the construction of Doppler-tolerant Golay complementary waveforms by Pezeshki-Calderbank-Moran-Howard to complementary code sets having more than two codes. This is accomplished by exploiting number-theoretic results involving the sum-of-digits function, equal sums of like powers, and a generalization to more than two symbols of the classical two-symbol Prouhet-Thue-Morse sequence.


title: Interfaces, Strings, and a Soft Mode in the Square Lattice Quantum Dimer Model

abstract: The quantum dimer model on the square lattice is equivalent to a $U(1)$ gauge theory. Quantum Monte Carlo calculations reveal that, for values of the Rokhsar-Kivelson (RK) coupling $\lambda < 1$, the theory exists in a confining columnar phase. The interfaces separating distinct columnar phases display plaquette order, which, however, is not realized as a bulk phase. Static "electric" charges are confined by flux tubes that consist of multiple strands, each carrying a fractionalized flux $\frac{1}{4}$. A soft pseudo-Goldstone mode emerges around $\lambda \approx 0$, long before one reaches the RK point at $\lambda = 1$.


title: Reverberation Measurements of the Inner Radius of the Dust Torus in 17 Seyfert Galaxies

abstract: We present the results of a dust reverberation survey for 17 nearby Seyfert 1 galaxies, which provides the largest homogeneous data collection for the radius of the innermost dust torus. A delayed response of the K-band light curve after the V-band light curve was found for all targets, and 49 measurements of lag times between the flux variation of the dust emission in the K band and that of the optical continuum emission in the V band were obtained. The lag times strongly correlated with the optical luminosity in the luminosity range of M_V=-16 to -22 mag, and the regression analysis was performed to obtain the correlation log $\Delta t$ (days) = -2.11 -0.2 M_V assuming $\Delta t \propto L^{0.5}$, which was theoretically expected. We discuss the possible origins of the intrinsic scatter of the dust lag-luminosity correlation, which was estimated to be about 0.13 dex, and we find that the difference of internal extinction and delayed response of changes in lag times to the flux variations could have partly contributed to intrinsic scatter. However, we could not detect any systematic change of the correlation with the subclass of the Seyfert type or the Eddington ratio. Finally, we compare the dust reverberation radius with the near-infrared interferometric radius of the dust torus and the reverberation radius of broad Balmer emission lines. The interferometric radius in the K band was found to be systematically larger than the dust reverberation radius in the same band by about a factor of two, which could be interpreted by the difference between the flux-weighted radius and the response-weighted radius of the innermost dust torus. The reverberation radius of the broad Balmer emission lines was found to be systematically smaller than the dust reverberation radius by about a factor of 4-5, which strongly supports the unified scheme of the Seyfert type of active galactic nuclei. (Abridged)


title: Program Verification of Numerical Computation - Part 2

abstract: These notes present some extensions of a formal method introduced in an earlier paper. The formal method is designed as a tool for program verification of numerical computation and forms the basis of the software package VPC. Included in the extensions that are presented here are disjunctions and methods for detecting non-computable programs. A more comprehensive list of the construction rules as higher order constructs is also presented.


title: Training Convolutional Networks with Noisy Labels

abstract: The availability of large labeled datasets has allowed Convolutional Network models to achieve impressive recognition results. However, in many settings manual annotation of the data is impractical; instead our data has noisy labels, i.e. there is some freely available label for each image which may or may not be accurate. In this paper, we explore the performance of discriminatively-trained Convnets when trained on such noisy data. We introduce an extra noise layer into the network which adapts the network outputs to match the noisy label distribution. The parameters of this noise layer can be estimated as part of the training process and involve simple modifications to current training infrastructures for deep networks. We demonstrate the approaches on several datasets, including large scale experiments on the ImageNet classification benchmark.


title: Connection between proton decay suppression and seesaw mechanism in supersymmetric SO(10) models

abstract: We propose a mechanism to suppress proton decay induced by dimension-5 operators in a supersymmetric SO(10) model. Proton lifetime is directly connected with the intermediate vacuum expectation value which is responsible for the seesaw mechanism. The model shows many consistencies with the present theoretical results such as the components of the two Higgs doublets in the minimal supersymmetric standard model.


title: Fast and Flexible ADMM Algorithms for Trend Filtering

abstract: This paper presents a fast and robust algorithm for trend filtering, a recently developed nonparametric regression tool. It has been shown that, for estimating functions whose derivatives are of bounded variation, trend filtering achieves the minimax optimal error rate, while other popular methods like smoothing splines and kernels do not. Standing in the way of a more widespread practical adoption, however, is a lack of scalable and numerically stable algorithms for fitting trend filtering estimates. This paper presents a highly efficient, specialized ADMM routine for trend filtering. Our algorithm is competitive with the specialized interior point methods that are currently in use, and yet is far more numerically robust. Furthermore, the proposed ADMM implementation is very simple, and importantly, it is flexible enough to extend to many interesting related problems, such as sparse trend filtering and isotonic trend filtering. Software for our method is freely available, in both the C and R languages.


title: On the Decreasing Power of Kernel and Distance based Nonparametric Hypothesis Tests in High Dimensions

abstract: This paper is about two related decision theoretic problems, nonparametric two-sample testing and independence testing. There is a belief that two recently proposed solutions, based on kernels and distances between pairs of points, behave well in high-dimensional settings. We identify different sources of misconception that give rise to the above belief. Specifically, we differentiate the hardness of estimation of test statistics from the hardness of testing whether these statistics are zero or not, and explicitly discuss a notion of "fair" alternative hypotheses for these problems as dimension increases. We then demonstrate that the power of these tests actually drops polynomially with increasing dimension against fair alternatives. We end with some theoretical insights and shed light on the \textit{median heuristic} for kernel bandwidth selection. Our work advances the current understanding of the power of modern nonparametric hypothesis tests in high dimensions.

categories: stat.ML cs.IT cs.LG math.IT math.ST stat.ME stat.TH


title: Spectra of Tukey types of ultrafilters on Boolean algebras

abstract: Extending recent investigations on the structure of Tukey types of ultrafilters on $\mathcal{P}(\omega)$ to Boolean algebras in general, we classify the spectra of Tukey types of ultrafilters for several classes of Boolean algebras, including interval algebras, tree algebras, and pseudo-tree algebras.


title: Meridional flow velocities on solar-like stars with known activity cycles

abstract: The direct measurements of the meridional flow velocities on stars are impossible today. To evaluate the meridional flow velocities on solar-like stars with stable activity periods, we supposed that during the stellar Hale cycle the matter on surfaces of stars passes the meridional way equivalent to $2\pi R_\star$. We present here the dependence of the mean meridional flow velocity on Rossby number, which is an effective parameter of the stellar magnetic dynamo.


title: The First Very Long Baseline Interferometry Image of 44 GHz Methanol Maser with the KVN and VERA Array (KaVA)

abstract: We have carried out the first very long baseline interferometry (VLBI) imaging of 44 GHz class I methanol maser (7_{0}-6_{1}A^{+}) associated with a millimeter core MM2 in a massive star-forming region IRAS 18151-1208 with KaVA (KVN and VERA Array), which is a newly combined array of KVN (Korean VLBI Network) and VERA (VLBI Exploration of Radio Astrometry). We have succeeded in imaging compact maser features with a synthesized beam size of 2.7 milliarcseconds x 1.5 milliarcseconds (mas). These features are detected at a limited number of baselines within the length of shorter than approximately 650 km corresponding to 100 Mlambda in the uv-coverage. The central velocity and the velocity width of the 44 GHz methanol maser are consistent with those of the quiescent gas rather than the outflow traced by the SiO thermal line. The minimum component size among the maser features is ~ 5 mas x 2 mas, which corresponds to the linear size of ~ 15 AU x 6 AU assuming a distance of 3 kpc. The brightness temperatures of these features range from ~ 3.5 x 10^{8} to 1.0 x 10^{10} K, which are higher than estimated lower limit from a previous Very Large Array observation with the highest spatial resolution of ~ 50 mas. The 44 GHz class I methanol maser in IRAS 18151-1208 is found to be associated with the MM2 core, which is thought to be less evolved than another millimeter core MM1 associated with the 6.7 GHz class II methanol maser.


title: Mechanical Properties and Plasticity of a Model Glass Loaded Under Stress Control

abstract: Much of the progress achieved in understanding plasticity and failure in amorphous solids had been achieved using experiments and simulations in which the materials were loaded using strain control. There is paucity of results under stress control. Here we present a new method that was carefully geared to allow loading under stress control either at $T=0$ or at any other temperature, using Monte-Carlo techniques. The method is applied to a model perfect crystalline solid, to a crystalline solid contaminated with topological defects, and to a generic glass. The highest yield stress belongs to the crystal, the lowest to the crystal with a few defects, with the glass in between. Although the glass is more disordered than the crystal with a few defects, it yields stress is much higher than that of the latter. We explain this fact by considering the actual microscopic interactions that are typical to glass forming materials, pointing out the reasons for the higher cohesive nature of the glass. The main conclusion of this paper is that the instabilities encountered in stress-control condition are the identical saddle-node bifurcation seen in strain-control. Accordingly one can use the latter condition to infer about the former. Finally we discuss temperature effects and comment on the time needed to see a stress controlled material failure.


title: Two-Dimensional Adaptive Fourier Decomposition

abstract: One-dimensional adaptive Fourier decomposition, abbreviated as 1-D AFD, or AFD, is an adaptive representation of a physically realizable signal into a linear combination of parameterized Szeg\"o and higher order Szeg\"o kernels of the context. In the present paper we study multi-dimensional AFDs based on multivariate complex Hardy spaces theory. We proceed with two approaches of which one uses Product-TM Systems; and the other uses Product-Szeg\"o Dictionaries. With the Product-TM Systems approach we prove that at each selection of a pair of parameters the maximal energy may be attained, and, accordingly, we prove the convergence. With the Product-Szeg\"o dictionary approach we show that Pure Greedy Algorithm is applicable. We next introduce a new type of greedy algorithm, called Pre-Orthogonal Greedy Algorithm (P-OGA). We prove its convergence and convergence rate estimation, allowing a weak type version of P-OGA as well. The convergence rate estimation of the proposed P-OGA evidences its advantage over Orthogonal Greedy Algorithm (OGA). In the last part we analyze P-OGA in depth and introduce the concept P-OGA-Induced Complete Dictionary, abbreviated as Complete Dictionary . We show that with the Complete Dictionary P-OGA is applicable to the Hardy $H^2$ space on $2$-torus.


title: Cosmology and thermodynamics of FRW universe with bulk viscous stiff fluid

abstract: We consider a cosmological model dominated by stiff fluid with a constant bulk viscosity. We classify all the possible cases of the universe predicted by the model and analyzing the scale factor, density as well as the curvature scalar. We find that when the dimensionless constant bulk viscous parameter is in the range $0 < \bar\zeta <6$ the model began with a Big Bang, and make a transition form the decelerating expansion epoch to an accelerating epoch, then tends to the de Sitter phase as $ t\to \infty$. The transition into the accelerating epoch would be in the recent past, when $4<\bar\zeta<6.$ For $\bar\zeta>6$ the model doesn't have a Big Bang and suffered an increase in the fluid density and scalar curvature as the universe expands, which are eventually saturates as the scale factor $a \to \infty$ in the future. We have analyzed the model with statefinder diagnostics and find that the model is different from $\Lambda$CDM model but approaches $\Lambda$CDM point as $a \to \infty.$ We have also analyzed the status of the generalized second law of thermodynamics with apparent horizon as the boundary of the universe and found that the law is generally satisfied when $0 \leq \bar\zeta <6$ and for $\bar\zeta >6$ the law is satisfied when the scale factor is larger than a minimum value.


title: Phase separation near half-filling point in superconducting compounds

abstract: We present the model of superconducting ceramics using the single band extended Hubbard Hamiltonian. We investigate the simultaneous presence of antiferromagnetism (AF) and d-wave superconductivity (SC) in the coherent potential (CP) approximation applied to the on-site Coulomb repulsion $U$. We consider the hopping interaction, $\Delta t$, the inter-site charge-charge interaction, $V$, (creating SC), and the single site Hund's type exchange interaction, $F_{in}$, (creating AF). The influence of these interactions on the separation of superconducting and antiferromagnetic phases near the half-filling point is investigated. Results are compared with the experimental data for YBaCuO and NdCeCuO compounds.


title: The design of the optimized muon beamline

abstract: We designed an optimized antimuon beamline with the simulation using G4beamline and TRANSPORT software packages for Heavy Ion Accelerator Project in South Korea. This research suggests the optimized muon beamline can transport $2.4\times10^{8}$ antimuons per second to a circle with a radius of 3 cm. In terms of muon rate, this is competitive with world leading muon beam facilities.


title: Division by zero in non-involutive meadows

abstract: Meadows have been proposed as alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposing that the multiplicative inverse of zero is zero. Thus, the multiplicative inverse operation of a meadow is an involution. In this paper, we study `non-involutive meadows', i.e.\ variants of meadows in which the multiplicative inverse of zero is not zero, and pay special attention to non-involutive meadows in which the multiplicative inverse of zero is one.


title: Spontaneous Parity Breaking in Spin-Orbital Coupled Systems

abstract: Effects of spontaneous parity breaking by charge, spin, and orbital orders are investigated in a two-band Hubbard model on a honeycomb lattice. This is a minimal model in which the inter-orbital hopping, atomic spin-orbit coupling, and strong electron correlation give rise to fascinating properties, such as the magnetoelectric effects, quantum spin Hall effect, and spin or valley splitting in the band structure. We perform the symmetry analysis of possible broken-parity states and the mean-field analysis of their competition. We find that the model at 1/4 filling exhibits a spin-orbital composite ordered state and a charge ordered state, in addition to a paramagnetic quantum spin-Hall insulator. We show that the composite ordered phase exhibits two types of magnetoelectric responses. The charge ordered state shows spin splitting in the band structure, while the topological nature varies depending on electron correlations.


title: kk-Theory for Banach Algebras I: The Non-Equivariant Case

abstract: kk$^{\text{ban}}$ is a bivariant K-theory for Banach algebras that has reasonable homological properties, a product and is Morita invariant in a very general sense. We define it here by a universal property and ensure its existence in a rather abstract manner using triangulated categories. The definition ensures that there is a natural transformation from Lafforgue's theory KK$^{\text{ban}}$ into it so that one can take products of elements in KK$^{\text{ban}}$ that lie in kk$^{\text{ban}}$.


title: Semi-dileptonic decays of the light vector mesons in Light Front Quark Model

abstract: We study the transition form factors of the light vector to pseudoscalar mesons as functions of the momentum transfer $q^2$ within the light-front quark model. With these form factors, we calculate the decay branching ratios of all possible modes for $V\to P\ell^+\ell^-$ ($V=\omega$ and $\phi$, $P=\pi^0$, $\eta$ and $\eta^{\prime}$ and $\ell=e$ and $\mu$). We find that our numerical results fit with the data, such as those of $\omega \to \pi^0 \ell^+\ell^-$ and $\phi\to \pi^0 e^+e^-$ by NA60 and $\phi \to\eta e^+e^-$ by SND. We also predict that the branching ratios of $\phi \to \pi^0 \mu^+\mu^-$, $\omega\to \eta e^+e^-$, $\omega\to \eta \mu^+\mu^-$, $\phi\to \eta \mu^+\mu^-$ and $\phi\to \eta^{\prime} e^+e^-$ to be aroud $3.48\times 10^{-6}$, $3.22\times 10^{-6}$, $1.81\times 10^{-9}$, $6.86\times 10^{-6}$ $2.97\times 10^{-7}$, respectively.


title: RuleCNL: A Controlled Natural Language for Business Rule Specifications

abstract: Business rules represent the primary means by which companies define their business, perform their actions in order to reach their objectives. Thus, they need to be expressed unambiguously to avoid inconsistencies between business stakeholders and formally in order to be machine-processed. A promising solution is the use of a controlled natural language (CNL) which is a good mediator between natural and formal languages. This paper presents RuleCNL, which is a CNL for defining business rules. Its core feature is the alignment of the business rule definition with the business vocabulary which ensures traceability and consistency with the business domain. The RuleCNL tool provides editors that assist end-users in the writing process and automatic mappings into the Semantics of Business Vocabulary and Business Rules (SBVR) standard. SBVR is grounded in first order logic and includes constructs called semantic formulations that structure the meaning of rules.


title: Groups with Tarski number 5

abstract: The Tarski number of a non-amenable group G is the minimal number of pieces in a paradoxical decomposition of G. Until now the only numbers which were known to be Tarski numbers of some groups were 4 and 6. We construct a group with Tarski number 5 and mention a related result for Tarski numbers of group actions.