title: Path-Based Program Repair

abstract: We propose a path-based approach to program repair for imperative programs. Our repair framework takes as input a faulty program, a logic specification that is refuted, and a hint where the fault may be located. An iterative abstraction refinement loop is then used to repair the program: in each iteration, the faulty program part is re-synthesized considering a symbolic counterexample, where the control-flow is kept concrete but the data-flow is symbolic. The appeal of the idea is two-fold: 1) the approach lazily considers candidate repairs and 2) the repairs are directly derived from the logic specification. In contrast to prior work, our approach is complete for programs with finitely many control-flow paths, i.e., the program is repaired if and only if it can be repaired at the specified fault location. Initial results for small programs indicate that the approach is useful for debugging programs in practice.


title: Using Model-Checking Techniques for Component-Based Systems with Reconfigurations

abstract: Within a component-based approach allowing dynamic reconfigurations, sequences of successive reconfiguration operations are expressed by means of reconfiguration paths, possibly infinite. We show that a subclass of such paths can be modelled by finite state automata. This feature allows us to use techniques related to model-checking to prove some architectural, event, and temporal properties related to dynamic reconfiguration. Our method is proved correct w.r.t. these properties' definition.


title: A Model of Layered Architectures

abstract: Architectural styles and patterns play an important role in software engineering. One of the most known ones is the layered architecture style. However, this style is usually only stated informally, which may cause problems such as ambiguity, wrong conclusions, and difficulty when checking the conformance of a system to the style. We address these problems by providing a formal, denotational semantics of the layered architecture style. Mainly, we present a sufficiently abstract and rigorous description of layered architectures. Loosely speaking, a layered architecture consists of a hierarchy of layers, in which services communicate via ports. A layer is modeled as a relation between used and provided services, and layer composition is defined by means of relational composition. Furthermore, we provide a formal definition for the notions of syntactic and semantic dependency between the layers. We show that these dependencies are not comparable in general. Moreover, we identify sufficient conditions under which, in an intuitive sense which we make precise in our treatment, the semantic dependency implies, is implied by, or even coincides with the reflexive-transitive closure of the syntactic dependency. Our results provide a technology-independent characterization of the layered architecture style, which may be used by software architects to ensure that a system is indeed built according to that style.


title: A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems

abstract: Formal methods are widely recognized as a powerful engineering method for the specification, simulation, development, and verification of distributed interactive systems. However, most formal methods rely on a two-valued logic, and are therefore limited to the axioms of that logic: a specification is valid or invalid, component behavior is realizable or not, safety properties hold or are violated, systems are available or unavailable. Especially when the problem domain entails uncertainty, impreciseness, and vagueness, the appliance of such methods becomes a challenging task. In order to overcome the limitations resulting from the strict modus operandi of formal methods, the main objective of this work is to relax the boolean notion of formal specifications by using fuzzy logic. The present approach is based on Focus theory, a model-based and strictly formal method for componentbased interactive systems. The contribution of this work is twofold: i) we introduce a specification technique based on fuzzy logic which can be used on top of Focus to develop formal specifications in a qualitative fashion; ii) we partially extend Focus theory to a fuzzy one which allows the specification of fuzzy components and fuzzy interactions. While the former provides a methodology for approximating I/O behaviors under imprecision, the latter enables to capture a more quantitative view of specification properties such as realizability.


title: Lucretia - intersection type polymorphism for scripting languages

abstract: Scripting code may present maintenance problems in the long run. There is, then, the call for methodologies that make it possible to control the properties of programs written in dynamic languages in an automatic fashion. We introduce Lucretia, a core language with an introspection primitive. Lucretia is equipped with a (retrofitted) static type system based on local updates of types that describe the structure of objects being used. In this way, we deal with one of the most dynamic features of scripting languages, that is, the runtime modification of object interfaces. Judgements in our systems have a Hoare-like shape, as they have a precondition and a postcondition part. Preconditions describe static approximations of the interfaces of visible objects before a certain expression has been executed and postconditions describe them after its execution. The field update operation complicates the issue of aliasing in the system. We cope with it by introducing intersection types in method signatures.


title: Generating Hermite polynomial excited squeezed states by means of conditional measurements on a beam splitter

abstract: A scheme for conditional generating a Hermite polynomial excited squeezed vacuum states (HESVS) is proposed. Injecting a two-mode squeezed vacuum state (TMSVS) into a beam splitter (BS) and counting the photons in one of the output channels, the conditional state in the other output channel is just a HESVS. To exhibit a number of nonclassical effects and non-Guassianity, we mainly investigate the photon number distribution, sub-Poissonian distribution, quadrature component distribution, and quasi-probability distribution of the HPESVS. We find that its nonclassicality closely relates to the control parameter of the BS, the squeezed parameter of the TMSVS, and the photon number of conditional measurement. These further demonstrate that performing the conditional measurement on a BS is an effective approach to generate non-Guassian state.


title: Nonlocal description of sound propagation through an array of Helmholtz resonators

abstract: A generalized macroscopic nonlocal theory of sound propagation in rigid-framed porous media saturated with a viscothermal fluid has been recently proposed, which takes into account both temporal and spatial dispersion. Here, we consider applying this theory capable to describe resonance effects, to the case of sound propagation through an array of Helmholtz resonators whose unusual metamaterial properties such as negative bulk moduli, have been experimentally demonstrated. Three different calculations are performed, validating the results of the nonlocal theory, relating to the frequency-dependent Bloch wavenumber and bulk modulus of the first normal mode, for 1D propagation in 2D or 3D periodic structures.


title: Molecular MIMO Communication Link

abstract: In this demonstration, we will present the world's first molecular multiple-input multiple-output (MIMO) communication link to deliver two data streams in a spatial domain. We show that chemical signals such as concentration gradients could be used in MIMO fashion to transfer sequential data. Until now it was unclear whether MIMO techniques, which are used extensively in modern radio communication, could be applied to molecular communication. In the demonstration, using our devised MIMO apparatus and carefully designed detection algorithm, we will show that we can achieve about 1.7 times higher data rate than single input single output (SISO) molecular communication systems.


title: Collective dynamics in two populations of noisy oscillators with asymmetric interactions

abstract: We study two intertwined globally coupled networks of noisy Kuramoto phase oscillators that have the same natural frequency, but differ in their perception of the mean field and their contribution to it. Such a give-and-take mechanism is given by asymmetric in- and out-coupling strengths which can be both positive and negative. We uncover in this minimal network of networks intriguing patterns of discordance, where the ensemble splits into two clusters separated by a constant phase lag. If it differs from $\pi$, then traveling wave solutions emerge. We observe a second route to traveling waves via traditional one-cluster states. Bistability is found between the various collective states. Analytical results and bifurcation diagrams are derived with a reduced system.


title: Is there evidence for dark energy evolution?

abstract: Recently, Sahni, Shafielo o & Starobinsky (2014) combined two independent measurements of $H(z)$ from BAO data with the value of the Hubble constant $H_0 = H(z=0)$, in order to test the cosmological constant hypothesis by means of an improved version of the $Om$ diagnostic. Their result indicated a considerable tension between observations and predictions of the $\Lambda$CDM model. However, such strong conclusion was based only on three measurements of $H(z)$. This motivated us to repeat similar work on a larger sample. By using a comprehensive data set of 29 $H(z)$, we find that discrepancy indeed exists. Even though the value of $\Omega_{m,0} h^2$ inferred from $Omh^2$ diagnostic depends on the way one chooses to make a summary statistics (weighted mean or the median), the persisting discrepancy supports the claims of Sahni, Shafielo o & Starobinsky (2014) that $\Lambda$CDM model may not be the best description of our Universe.


title: Multi-photon quantum communication in quantum networks

abstract: We propose and analyze a multiphoton-state coherent transport protocol in a coupled-resonator quantum network. A multiphoton swap gate between two antipodes can be achieved with neither external modulation nor coupling strength engineering. Moreover, we extend this result to a coupled-resonator chain of arbitrary length with different coupling strengths. Effects of decoherence via quantum nondemolition interaction are studied with sources including vacuum quantum fluctuation and bath thermal excitations when the bath is in the thermal equilibrium state. These observations are helpful to understand the decoherence effects on quantum communication in quantum coupled-resonator systems.


title: The AKARI 2.5-5.0 Micron Spectral Atlas of Type-1 Active Galactic Nuclei: Black Hole Mass Estimator, Line Ratio, and Hot Dust Temperature

abstract: We present 2.5-5.0 $\mu$m spectra of 83 nearby ($0.002\,<\,z\,<\,0.48$) and bright ($K<14$mag) type-1 active galactic nuclei (AGNs) taken with the Infrared Camera (IRC) on board $\it{AKARI}$. The 2.5-5.0 $\mu$m spectral region contains emission lines such as Br$\beta$ (2.63 $\mu$m), Br$\alpha$ (4.05 $\mu$m), and polycyclic aromatic hydrocarbons (PAH; 3.3 $\mu$m), which can be used for studying the black hole (BH) masses and star formation activities in the host galaxies of AGNs. The spectral region also suffers less dust extinction than in the ultra violet (UV) or optical wavelengths, which may provide an unobscured view of dusty AGNs. Our sample is selected from bright quasar surveys of Palomar-Green (PG) and SNUQSO, and AGNs with reverberation-mapped BH masses from Peterson et al. (2004). Using 11 AGNs with reliable detection of Brackett lines, we derive the Brackett-line-based BH mass estimators. We also find that the observed Brackett line ratios can be explained with the commonly adopted physical conditions of the broad line region (BLR). Moreover, we fit the hot and warm dust components of the dust torus by adding photometric data of SDSS, 2MASS, $\it{WISE}$, and $\it{ISO}$ to the $\it{AKARI}$ spectra, finding hot and warm dust temperatures of $\sim1100\,\rm{K}$ and $\sim220\,\rm{K}$, respectively, rather than the commonly cited hot dust temperature of 1500 K.


title: Measurements of the mean diffuse galactic light spectrum in the 0.95 {\mu}m to 1.65 {\mu}m band from CIBER

abstract: We report measurements of the Diffuse Galactic Light (DGL) spectrum in the near-infrared, spanning the wavelength range 0.95-1.65 {\mu}m by the Cosmic Infrared Background ExpeRiment (CIBER). Using the low-resolution spectrometer (LRS) calibrated for absolute spectro-photometry, we acquired long-slit spectral images of the total diffuse sky brightness towards four high-latitude fields spread over four sounding rocket flights. To separate the DGL spectrum from the total sky brightness, we correlated the spectral images with a 100 {\mu}m intensity map, which traces the dust column density in optically thin regions. The measured DGL spectrum shows no resolved features and is consistent with other DGL measurements in the optical and at near-infrared wavelengths longer than 1.8 {\mu}m. Our result implies that the continuum is consistently reproduced by models of scattered starlight in the Rayleigh scattering regime with a few large grains.


title: CENI: a Hybrid Framework for Efficiently Inferring Information Networks

abstract: Nowadays, the message diffusion links among users or websites drive the development of countless innovative applications. However, in reality, it is easier for us to observe the timestamps when different nodes in the network react on a message, while the connections empowering the diffusion of the message remain hidden. This motivates recent extensive studies on the network inference problem: unveiling the edges from the records of messages disseminated through them. Existing solutions are computationally expensive, which motivates us to develop an efficient two-step general framework, Clustering Embedded Network Inference (CENI). CENI integrates clustering strategies to improve the efficiency of network inference. By clustering nodes directly on the timelines of messages, we propose two naive implementations of CENI: Infection-centric CENI and Cascade-centric CENI. Additionally, we point out the critical dimension problem of CENI: instead of one-dimensional timelines, we need to first project the nodes to an Euclidean space of certain dimension before clustering. A CENI adopting clustering method on the projected space can better preserve the structure hidden in the cascades, and generate more accurately inferred links. This insight sheds light on other related work attempting to discover or utilize the latent cluster structure in the disseminated messages. By addressing the critical dimension problem, we propose the third implementation of the CENI framework: Projection-based CENI. Through extensive experiments on two real datasets, we show that the three CENI models only need around 20% $\sim$ 50% of the running time of state-of-the-art methods. Moreover, the inferred edges of Projection-based CENI preserves or even outperforms the effectiveness of state-of-the-art methods.


title: Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems

abstract: The presence of a tight integration between the discrete control (the "cyber") and the analog environment (the "physical")---via sensors and actuators over wired or wireless communication networks---is the defining feature of cyber-physical systems. Hence, the functional correctness of a cyber- physical system is crucially dependent not only on the dynamics of the analog physical environment, but also on the decisions taken by the discrete control that alter the dynamics of the environment. The framework of Hybrid automata---introduced by Alur, Courcoubetis, Henzinger, and Ho---provides a formal modeling and specification environment to analyze the interaction between the discrete and continuous parts of a cyber-physical system. Hybrid automata can be considered as generalizations of finite state automata augmented with a finite set of real-valued variables whose dynamics in each state is governed by a system of ordinary differential equations. Moreover, the discrete transitions of hybrid automata are guarded by constraints over the values of these real-valued variables, and enable discontinuous jumps in the evolution of these variables. Considering the richness of the dynamics in a hybrid automaton, it is perhaps not surprising that the fundamental verification questions, like reachability and schedulability, for the general model are undecidable. In this article we present a review of hybrid automata as modeling and verification framework for cyber-physical systems, and survey some of the key results related to practical verification questions related to hybrid automata.


title: A hybrid model for studying nuclear multifragmentation around Fermi energy domain: Case for central collision of Xe on Sn

abstract: Experimental data for central collisions of $^{129}$Xe on $^{119}$Sn at beam energies of (a) 32 MeV/nucleon, (b) 39 MeV/nucleon, (c) 45 MeV/nucleon and (d) 50 MeV/nucleon are compared with results calculated using a hybrid model. We use a transport model (BUU) to obtain the excitation energy per nucleon in the center of mass of the multifragmenting system. The canonical thermodynamic model is then used to determine the temperature which would lead to this excitation energy. With this temperature we use the canonical thermodynamic model to calculate various experimental data such as multiplicities of different composites, probability distribution of the largest cluster etc. Agreement with data establishes the validity of the model.


title: Reconstructing the WIMP Velocity Distribution from Direct Dark Matter Detection Data with a Non-Negligible Threshold Energy

abstract: In this paper, we investigate the modification of our expressions developed for the model-independent data analysis procedure of the reconstruction of the (time-averaged) one-dimensional velocity distribution of Galactic Weakly Interacting Massive Particles (WIMPs) with a non-negligible experimental threshold energy. Our numerical simulations show that, for a minimal reconstructable velocity of as high as O(200) km/s, our model-independent modification of the estimator for the normalization constant could provide precise reconstructed velocity distribution points to match the true WIMP velocity distribution with a <~ 10% bias.


title: Where is $f(z)/f'(z)$ univalent?

abstract: Let ${\mathcal S}$ denote the family of all univalent functions $f$ in the unit disk $\ID$ with the normalization $f(0)=0= f'(0)-1$. There is an intimate relationship between the operator $P_f(z)=f(z)/f'(z)$ and the Danikas-Ruscheweyh operator $T_f:=\int_{0}^{z}(tf'(t)/f(t))\,dt$. In this paper we mainly consider the univalence problem of $F=P_f$, where $f$ belongs to some subclasses of ${\mathcal S}$. Among several sharp results and non-sharp results, we also show that if $f\in {\mathcal S}$, then $F \in {\mathcal U}$ in the disk $|z|<r$ with $r\leq r_6\approx 0.360794$ and conjecture that the upper bound for such $r$ is $\sqrt{2}-1$.


title: Neutrinos from gamma-ray bursts: propagation of cosmic rays in their host galaxies

abstract: Gamma-ray bursts (GRBs) are proposed as candidate sources of ultra-high energy cosmic rays (UHECRs). We study the possibility that the PeV neutrinos recently observed by IceCube are produced by GRB cosmic rays interacting with the interstellar gas in the host galaxies. By studying the relation between the X-ray absorption column density N_H and the surface star-formation rate of GRB host galaxies, we find that N_H is a good indicator of the surface gas density of the host galaxies. Then we are able to calculate the neutrino production efficiency of CRs for GRBs with known N_H. We collect a sample of GRBs that have both measurements of N_H and accurate gamma-ray fluence, and attempt to calculate the accumulated neutrino flux based on the current knowledge about GRBs and their host galaxies. When the CR intensity produced by GRBs is normalized with the observed UHECR flux above $10^{19}{\rm eV}$, the accumulated neutrino flux at PeV energies is estimated to be about $(0.3\pm0.2)\times10^{-8} \rm{GeV\ cm^{-2}\ s^{-1}\ sr^{-1}} $ (per flavor) under the assumption that GRB energy production rate follows the cosmic star-formation rate and the favorable assumption about the CR diffusion coefficient. This flux is insufficient to account for the IceCube observations, but the estimate suffers from some assumptions in the calculation and thus we can not rule out this scenario at present.


title: Relations between Multi-Poly-Bernoulli numbers and Poly-Bernoulli numbers of negative index

abstract: Poly-Bernoulli numbers $B_n^{(k)}\in\mathbb{Q}$\,($n \geq 0$,\,$k \in \mathbb{Z}$) are defined by Kaneko in 1997. Multi-Poly-Bernoulli numbers\,$B_n^{(k_1,k_2,\ldots, k_r)}$, defined by using multiple polylogarithms, are generations of Kaneko's Poly-Bernoulli numbers\,$B_n^{(k)}$. We researched relations between Multi-Poly-Bernoulli numbers and Poly-Bernoulli numbers of negative index in particular. In section 2, we introduce a identity for Multi-Poly-Bernoulli numbers of negative index which was proved by Kamano. In section 3, as main results, we introduce some relations between Multi-Poly-Bernoulli numbers and Poly-Bernoulli numbers of negative index in particular.


title: The Hubbard model in strong magnetic field: Low-frequency quantum oscillations due to strong electron correlations

abstract: The density of states of the two-dimensional fermionic Hubbard model in the perpendicular homogeneous magnetic field is calculated using the strong coupling diagram technique. The density of states at the Fermi level as a function of the inverse magnetic induction oscillates, and the frequency of these oscillations increases by an order of magnitude with the change of the deviation from half-filling from small to moderate values. This frequency variation is caused by the change of Landau subbands contributing to the density -- in the former case they are at the periphery of the Landau spectrum, while in the latter case the dominant contribution is provided by bands near its center. With changing induction these groups of bands behave differently. For small deviations from half-filling the calculated oscillation frequency is comparable to that observed in quantum oscillation experiments in yttrium cuprates.


title: Standard Model thermodynamics across the electroweak crossover

abstract: Even though the Standard Model with a Higgs mass mH = 125 GeV possesses no bulk phase transition, its thermodynamics still experiences a "soft point" at temperatures around T = 160 GeV, with a deviation from ideal gas thermodynamics. Such a deviation may have an effect on precision computations of weakly interacting dark matter relic abundances if their mass is in the few TeV range, or on leptogenesis scenarios operating in this temperature range. By making use of results from lattice simulations based on a dimensionally reduced effective field theory, we estimate the relevant thermodynamic functions across the crossover. The results are tabulated in a numerical form permitting for their insertion as a background equation of state into cosmological particle production/decoupling codes. We find that Higgs dynamics induces a non-trivial "structure" visible e.g. in the heat capacity, but that in general the largest radiative corrections originate from QCD effects, reducing the energy density by a couple of percent from the free value even at T > 160 GeV.


title: Hard Diffraction with Proton Tagging at the LHC

abstract: The main parts of the LHC diffractive physics programme possible to be measured using a proton tagging technique are presented. The geometric acceptance of the ATLAS forward proton detectors: ALFA and AFP for various LHC optics settings are shown. The probabilities of observing a proton originating from a minimum-bias event in ALFA and AFP stations are given. The main properties of single diffractive and double Pomeron exchange production of dijets, photon+jet, jet-gap-jet and W/Z bosons are discussed. The possibility of measuring the jet production in exclusive (double proton tag) and semi-exclusive (single tag) mode is evaluated.


title: Interactive MCQs as a tool for Knowledge Acquisition

abstract: Multiple Choice Questions or MCQs are very important for e-learning. Generally, MCQs are used as a tool for the assessment of student performance at the end of their learning sessions. Can MCQs become an important tool in the process of knowledge acquisition while attending a course? This paper intends to find out how MCQs could be used as a tool for the better understanding, coverage as well as knowledge acquisition.


title: A Germanium-Vacancy Single Photon Source in Diamond

abstract: Color centers in diamond are widely recognized as a promising solid state platform for quantum cryptography and quantum information processing. For these applications, single photon sources with a high intensity and reproducible fabrication methods are required. Here, we report a novel color center in diamond, composed of a germanium (Ge) and a vacancy (V) and named the GeV center, which has a sharp and strong photoluminescence band with a zero-phonon line at 602 nm at room temperature. We demonstrate this new color center works as a single photon source. Both ion implantation and chemical vapor deposition techniques enabled fabrication of GeV centers in diamond. A first-principles calculation revealed the atomic crystal structure and energy levels of the GeV center.


title: Total [1,2]-domination in graphs

abstract: A subset $S\subseteq V$ in a graph $G=(V,E)$ is a total $[1,2]$-set if, for every vertex $v\in V$, $1\leq |N(v)\cap S|\leq 2$. The minimum cardinality of a total $[1,2]$-set of $G$ is called the total $[1,2]$-domination number, denoted by $\gamma_{t[1,2]}(G)$. We establish two sharp upper bounds on the total [1,2]-domination number of a graph $G$ in terms of its order and minimum degree, and characterize the corresponding extremal graphs achieving these bounds. Moreover, we give some sufficient conditions for a graph without total $[1,2]$-set and for a graph with the same total $[1,2]$-domination number, $[1,2]$-domination number and domination number.


title: Study on the GEANT4 code applications to the dose calculation using imaging data

abstract: The use of GEANT4 code has increased in the medical field. There are various studies to calculate the patient dose distributions with the GEANT4 code using the imaging data. In present study, the Monte Carlo simulations based on the DICOM data were performed to calculate absorbed dose in the patient's body. Various visualization tools were equipped in the GEANT4 code to display the detector construction, however there are limitations to display the DICOM images. In addition, it is difficult to display the dose distributions on the imaging data of the patient. Recently, gMocren code, volume visualization tool for GEANT4 simulation, has been developed and used in volume visualization of image files. In this study, the imaging data based absorbed dose distributions in patient were performed by using the gMocren code. The dosimetric evaluations with TLD and film dosimetry methods were carried out to verify the calculation results.


title: How the symbol grounding of living organisms can be realized in artificial agents

abstract: A system with artificial intelligence usually relies on symbol manipulation, at least partly and implicitly. However, the interpretation of the symbols - what they represent and what they are about - is ultimately left to humans, as designers and users of the system. How symbols can acquire meaning for the system itself, independent of external interpretation, is an unsolved problem. Some grounding of symbols can be obtained by embodiment, that is, by causally connecting symbols (or sub-symbolic variables) to the physical environment, such as in a robot with sensors and effectors. However, a causal connection as such does not produce representation and aboutness of the kind that symbols have for humans. Here I present a theory that explains how humans and other living organisms have acquired the capability to have symbols and sub-symbolic variables that represent, refer to, and are about something else. The theory shows how reference can be to physical objects, but also to abstract objects, and even how it can be misguided (errors in reference) or be about non-existing objects. I subsequently abstract the primary components of the theory from their biological context, and discuss how and under what conditions the theory could be implemented in artificial agents. A major component of the theory is the strong nonlinearity associated with (potentially unlimited) self-reproduction. The latter is likely not acceptable in artificial systems. It remains unclear if goals other than those inherently serving self-reproduction can have aboutness and if such goals could be stabilized.


title: General Decay in some Timoshenko-type systems with thermoelasticity second sound

abstract: In this article, we consider a vibrating nonlinear Timoshenko system with thermoelasticity with second sound. We discuss the well-posedness and the regularity of Timoshenko solution using the semi-group theory. Moreover, we etablish an explicit and general decay results for a wide class of relaxating functions which depend on a stability number $\mu$.


title: Entropy and complexity analysis of the D-dimensional rigid rotator and hyperspherical harmonics

abstract: In this paper we carry out an information-theoretic analysis of the $D$-dimensional rigid rotator by studying the entropy and complexity measures of its wavefunctions, which are controlled by the hyperspherical harmonics. These measures quantify single and two-fold facets of the rich intrinsic structure of the system which are manifest by the intricate and complex variety of D-dimensional geometries of the hyperspherical harmonics. We calculate the explicit expressions of the entropic moments and the R\'enyi entropies as well as the Fisher-R\'enyi, Fisher-Shannon and LMC complexities of the system. The explicit expression for the last two complexity measures is not yet possible, mainly because the logarithmic functional of the Shannon entropy has not yet been obtained up until now in a closed for


title: Hawking Radiation of a Charged Black Hole in Quantum Gravity

abstract: We study black hole radiation of a Reissner-Nordstrom black hole with an electric charge in the framework of quantum gravity. Based on a canonical quantization for a spherically symmetric geometry, under physically plausible assumptions, we solve the Wheeler-De Witt equation in the regions not only between the outer apparent horizon and the spatial infinity but also between the spacetime singularity and the inner apparent horizon, and then show that the mass loss rate of an evaporating black hole due to thermal radiation agrees with the semiclassical result when we choose an integration constant properly by physical reasoning. Furthermore, we also solve the Wheeler-De Witt equation in the region between the inner Cauchy horizon and the outer apparent horizon, and show that the mass loss rate of an evaporating black hole has the same expression. The present study is the natural generalization of the case of a Schwarzschild black hole to that of a charged Reissner-Nordstrom black hole.


title: Exotica or the failure of the strong cosmic censorship in four dimensions

abstract: In this letter a generic counterexample to the strong cosmic censor conjecture is exhibited. More precisely---taking into account that the conjecture lacks any precise formulation yet---first we make sense of what one would mean by a "generic counterexample" by introducing the mathematically unambigous and logically stronger concept of a "robust counterexample". Then making use of Penrose' nonlinear graviton construction (i.e., twistor theory) and a Wick rotation trick we construct a smooth Ricci-flat but not flat Lorentzian metric on the largest member of the Gompf--Taubes uncountable radial family of large exotic ${\mathbb R}^4$'s. We observe that this solution of the Lorentzian vacuum Einstein's equations with vanishing cosmological constant provides us with a sort of counterexample which is weaker than a "robust counterexample" but still reasonable to consider as a "generic counterexample". It is interesting that this kind of counterexample exists only in four dimensions.


title: The Cauchy problem for parallel spinors as first-order symmetric hyperbolic system

abstract: We prove that a smooth Riemannian manifold admitting an imaginary generalized Killing spinor whose Dirac current satisfies an additional algebraic constraint condition can be embedded as spacelike Cauchy hypersurface in a smooth Lorentzian manifold on which the given spinor extends to a null parallel spinor. This is in contrast to a corresponding Cauchy problem for real generalized Killing spinors into Riemannian manifolds. The construction is based on first order symmetric hyperbolic PDE-methods. In fact, the coupled evolution equations for metric and spinor as considered here extend and generalize the well known PDE-system appearing in the Cauchy problem for the vacuum Einstein equations. Special cases are discussed and the statement is compared with a similar result obtained recently for the analytic category.


title: Density of states method for the Z(3) spin model

abstract: We apply the density of states approach to the Z(3) spin model with a chemical potential mu. For determining the density of states we use restricted Monte Carlo simulations on small intervals of the variable for the density. In each interval we probe the response of the system to the variation of a free parameter in the Boltzmann factor. This response is a known function which we fit to the Monte Carlo data and the parameters of the density are obtained from that fit (functional fit approch; FFA). We evaluate observables related to the particle number and the particle number susceptibility, as well as the free energy. We find that for a surprisingly large range of mu the results from the FFA agree very well with the results from a reference simulation in the dual formulation of the Z(3) spin model which is free of the complex action problem.


title: Stable Multiscale Petrov-Galerkin Finite Element Method for High Frequency Acoustic Scattering

abstract: We present and analyze a pollution-free Petrov-Galerkin multiscale finite element method for the Helmholtz problem with large wave number $\kappa$ as a variant of [Peterseim, ArXiv:1411.1944, 2014]. We use standard continuous $Q_1$ finite elements at a coarse discretization scale $H$ as trial functions, whereas the test functions are computed as the solutions of local problems at a finer scale $h$. The diameter of the support of the test functions behaves like $mH$ for some oversampling parameter $m$. Provided $m$ is of the order of $\log(\kappa)$ and $h$ is sufficiently small, the resulting method is stable and quasi-optimal in the regime where $H$ is proportional to $\kappa^{-1}$. In homogeneous (or more general periodic) media, the fine scale test functions depend only on local mesh-configurations. Therefore, the seemingly high cost for the computation of the test functions can be drastically reduced on structured meshes. We present numerical experiments in two and three space dimensions.


title: Learning Sparse High Dimensional Filters: Image Filtering, Dense CRFs and Bilateral Neural Networks

abstract: Bilateral filters have wide spread use due to their edge-preserving properties. The common use case is to manually choose a parametric filter type, usually a Gaussian filter. In this paper, we will generalize the parametrization and in particular derive a gradient descent algorithm so the filter parameters can be learned from data. This derivation allows to learn high dimensional linear filters that operate in sparsely populated feature spaces. We build on the permutohedral lattice construction for efficient filtering. The ability to learn more general forms of high-dimensional filters can be used in several diverse applications. First, we demonstrate the use in applications where single filter applications are desired for runtime reasons. Further, we show how this algorithm can be used to learn the pairwise potentials in densely connected conditional random fields and apply these to different image segmentation tasks. Finally, we introduce layers of bilateral filters in CNNs and propose bilateral neural networks for the use of high-dimensional sparse data. This view provides new ways to encode model structure into network architectures. A diverse set of experiments empirically validates the usage of general forms of filters.


title: V-type electromagnetically induced transparency and saturation effect at the gas-solid interface

abstract: We theoretically study electromagnetically induced transparency (EIT) in reflection spectra of V-type system at the gas-solid interface. In addition to a narrow dip arising from the EIT effect, we find the other particular saturation effect induced by pump field, which does not exist in $\Lambda$ or $\Xi$ -type system reflection spectra. The saturation effect only induces an intensity decrement in the reflection spectra, and there is no influence on the narrow dip arising from the EIT effect. We detailedly calculate and analyze the dependence of V-type system reflection spectra on probe field intensity, pump field intensity, coherent decay rate, and the initial population after the collision between atoms and the interface.


title: Chemical tracers of episodic accretion in low-mass protostars

abstract: Aims: Accretion rates in low-mass protostars can be highly variable in time. Each accretion burst is accompanied by a temporary increase in luminosity, heating up the circumstellar envelope and altering the chemical composition of the gas and dust. This paper aims to study such chemical effects and discusses the feasibility of using molecular spectroscopy as a tracer of episodic accretion rates and timescales. Methods: We simulate a strong accretion burst in a diverse sample of 25 spherical envelope models by increasing the luminosity to 100 times the observed value. Using a comprehensive gas-grain network, we follow the chemical evolution during the burst and for up to 10^5 yr after the system returns to quiescence. The resulting abundance profiles are fed into a line radiative transfer code to simulate rotational spectra of C18O, HCO+, H13CO+, and N2H+ at a series of time steps. We compare these spectra to observations taken from the literature and to previously unpublished data of HCO+ and N2H+ 6-5 from the Herschel Space Observatory. Results: The bursts are strong enough to evaporate CO throughout the envelope, which in turn enhances the abundance of HCO+ and reduces that of N2H+. After the burst, it takes 10^3-10^4 yr for CO to refreeze and for HCO+ and N2H+ to return to normal. The chemical effects of the burst remain visible in the rotational spectra for as long as 10^5 yr after the burst has ended, highlighting the importance of considering luminosity variations when analyzing molecular line observations in protostars. The spherical models are currently not accurate enough to derive robust timescales from single-dish observations. As follow-up work, we suggest that the models be calibrated against spatially resolved observations in order to identify the best tracers to be used for statistically significant source samples.


title: Spectra of infinite graphs with tails

abstract: We compute explicitly (modulo solutions of certain algebraic equations) the spectra of infinite graphs obtained by attaching one or several infinite paths to some vertices of certain finite graphs. The main result concerns a canonical form of the adjacency matrix of such infinite graphs. A complete answer is given in the case when the number of attached paths to each vertex is the same.


title: Disorder effect on magneto-transport on the surface of a topological insulator

abstract: We study the magneto-transport properties on the disordered surface of a topological insulator attached with a ferromagnet/ferromagnet junction. Since, in the surface Dirac Hamiltonian, out-of-plane magnetization induces a mass gap, while in-plane magnetization has a role of the effective vector potential, the mechanism of magneto-transport is different between these two cases. The former is similar to the conventional one in ferromagnetic metals, while the latter is due to the shift of Fermi circles in momentum space. Our numerical calculations show that the magnetoconductance in in-plane configuration is robust against disorder compared to that in out-of-plane configuration.


title: Existence of positive solutions in the superlinear case via coincidence degree: the Neumann and the periodic boundary value problems

abstract: We prove the existence of positive periodic solutions for the second order nonlinear equation $u" + a(x) g(u) = 0$, where $g(u)$ has superlinear growth at zero and at infinity. The weight function $a(x)$ is allowed to change its sign. Necessary and sufficient conditions for the existence of nontrivial solutions are obtained. The proof is based on Mawhin's coincidence degree and applies also to Neumann boundary conditions. Applications are given to the search of positive solutions for a nonlinear PDE in annular domains and for a periodic problem associated to a non-Hamiltonian equation.


title: Fast Multiplication of Large Integers: Implementation and Analysis of the DKSS Algorithm

abstract: The Sch\"onhage-Strassen algorithm (SSA) is the de-facto standard for multiplication of large integers. For $N$-bit numbers it has a time bound of $O(N \cdot \log N \cdot \log \log N)$. De, Kurur, Saha and Saptharishi (DKSS) presented an asymptotically faster algorithm with a better time bound of $N \cdot \log N \cdot 2^{O(\log^* N)}$. In this diploma thesis, results of an implementation of DKSS multiplication are presented: run-time is about 30 times larger than SSA, while memory requirements are about 3.75 times higher than SSA. A possible crossover point is estimated to be out of reach even if we utilized the whole universe for computer memory.


title: On Excited States of Deuteron Nucleus

abstract: For a long time it was known that deuteron, as a weakly coupled nucleon pair, has no excited states. However, A.M. Baldin et al, commenting results of the first physical experiment with accelerated nuclei at JINR synchrophasotron, assumed as far back as in 1979 that one of peaks in a differential cross-section may arise due to an "excited state of deuterium". We have established that one of the peaks in the cross-section may be explained indeed in this way and corresponds to the dibaryon reported by WASA-at-COSY Collaboration. Another peak in the same region is interpreted most likely by interference of several $N^*$-resonances, and this possibility was also mentioned in the paper by A.M. Baldin et al. Further experimental studies based on modern experimental facilities and more abundant statistics are necessary to verify these observations.


title: Conformance Checking Based on Multi-Perspective Declarative Process Models

abstract: Process mining is a family of techniques that aim at analyzing business process execution data recorded in event logs. Conformance checking is a branch of this discipline embracing approaches for verifying whether the behavior of a process, as recorded in a log, is in line with some expected behaviors provided in the form of a process model. The majority of these approaches require the input process model to be procedural (e.g., a Petri net). However, in turbulent environments, characterized by high variability, the process behavior is less stable and predictable. In these environments, procedural process models are less suitable to describe a business process. Declarative specifications, working in an open world assumption, allow the modeler to express several possible execution paths as a compact set of constraints. Any process execution that does not contradict these constraints is allowed. One of the open challenges in the context of conformance checking with declarative models is the capability of supporting multi-perspective specifications. In this paper, we close this gap by providing a framework for conformance checking based on MP-Declare, a multi-perspective version of the declarative process modeling language Declare. The approach has been implemented in the process mining tool ProM and has been experimented in three real life case studies.


title: The blind detection for palette image watermarking without changing the color

abstract: To hide a binary pattern in the palette image a steganographic scheme with blind detection is considered. The embedding algorithm uses the Lehmer code by palette color permutations for which the cover image palette is generally required. The found transformation between the palette and RGB images allows to extract the hidden data without any cover work.


title: Characterization of topological phase transitions via topological properties of transition points

abstract: We study topological properties of phase transition points of topological quantum phase transitions by assigning a topological invariant defined on a closed circle or surface surrounding the phase transition point in the parameter space of momentum and transition driving parameter. By applying our scheme to the Su-Schrieffer-Heeger model and Haldane model, we demonstrate that the topological phase transition can be well characterized by the defined topological invariant of the transition point, which reflects the change of topological invariants of topologically different phases across the phase transition point.


title: Uniform distribution of subpolynomial functions along primes and applications

abstract: Let $H$ be a Hardy field (a field consisting of germs of real-valued functions at infinity that is closed under differentiation) and let $f \in H$ be a subpolynomial function. Let $\mathcal{P} = \{2, 3, 5, 7, \dots \}$ be the (naturally ordered) set of primes. We show that $(f(n))_{n \in \mathbb{N}}$ is uniformly distributed mod 1 if and only if $(f(p))_{p \in \mathcal{P}}$ is uniformly distributed mod 1. This result is then utilized to derive various ergodic and combinatorial statements which significantly generalize the results obtained in [BKMST].


title: Superconformal field theory in three dimensions: Correlation functions of conserved currents

abstract: For N-extended superconformal field theories in three spacetime dimensions (3D), with N=1,2,3, we compute the two- and three-point correlation functions of the supercurrent and the flavour current multiplets. We demonstrate that supersymmetry imposes additional restrictions on the correlators of conserved currents as compared with the non-supersymmetric case studied by Osborn and Petkou in hep-th/9307010. It is shown that the three-point function of the supercurrent is determined by a single functional form consistent with the conservation equation and all the symmetry properties. Similarly, the three-point function of the flavour current multiplets is also determined by a single functional form in the N=1 and N=3 cases. The specific feature of the N=2 case is that two independent structures are allowed for the three-point function of flavour current multiplets, but only one of them contributes to the three-point function of the conserved currents contained in these multiplets. Since the supergravity and super-Yang-Mills Ward identities are expected to relate the coefficients of the two- and three-point functions under consideration, the results obtained for 3D superconformal field theory are analogous to those in 2D conformal field theory. In addition, we present a new supertwistor construction for compactified Minkowski superspace. It is suitable for developing superconformal field theory on 3D spacetimes other than Minkowski space, such as S^1 x S^2 and its universal covering space R x S^2.


title: Violent relaxation of ellipsoidal clouds

abstract: An isolated, initially cold and ellipsoidal cloud of self-gravitating particles represents a relatively simple system to study the effects of the deviations from spherical symmetry in the mechanism of violent relaxation. Initial deviations from spherical symmetry are shown to play a dynamical role that is equivalent to that of density fluctuations in the case of an initially spherical cloud. Indeed, these deviations control the amount of particles energy change and thus determine the properties of the final energy distribution, particularly the appearance of two species of particles: bound and free. Ejection of mass and energy from the system together with the formation of a density profile decaying as $\rho(r) \sim r^{-4}$ and a Keplerian radial velocity dispersion profile, are the prominent features similar to those observed after the violent relaxation of spherical clouds. In addition, we find that ejected particles are characterized by highly non-spherical shapes, whose features can be traced in the initial deviations from spherical symmetry that are amplified during the dynamical evolution: particles can indeed form anisotropic configurations, like bars and/or disks, even though the initial cloud was very close to spherical.


title: Algebraic Methods in the Congested Clique

abstract: In this work, we use algebraic methods for studying distance computation and subgraph detection tasks in the congested clique model. Specifically, we adapt parallel matrix multiplication implementations to the congested clique, obtaining an $O(n^{1-2/\omega})$ round matrix multiplication algorithm, where $\omega < 2.3728639$ is the exponent of matrix multiplication. In conjunction with known techniques from centralised algorithmics, this gives significant improvements over previous best upper bounds in the congested clique model. The highlight results include: -- triangle and 4-cycle counting in $O(n^{0.158})$ rounds, improving upon the $O(n^{1/3})$ triangle detection algorithm of Dolev et al. [DISC 2012], -- a $(1 + o(1))$-approximation of all-pairs shortest paths in $O(n^{0.158})$ rounds, improving upon the $\tilde{O} (n^{1/2})$-round $(2 + o(1))$-approximation algorithm of Nanongkai [STOC 2014], and -- computing the girth in $O(n^{0.158})$ rounds, which is the first non-trivial solution in this model. In addition, we present a novel constant-round combinatorial algorithm for detecting 4-cycles.


title: Energy Sharing for Multiple Sensor Nodes with Finite Buffers

abstract: We consider the problem of finding optimal energy sharing policies that maximize the network performance of a system comprising of multiple sensor nodes and a single energy harvesting (EH) source. Sensor nodes periodically sense the random field and generate data, which is stored in the corresponding data queues. The EH source harnesses energy from ambient energy sources and the generated energy is stored in an energy buffer. Sensor nodes receive energy for data transmission from the EH source. The EH source has to efficiently share the stored energy among the nodes in order to minimize the long-run average delay in data transmission. We formulate the problem of energy sharing between the nodes in the framework of average cost infinite-horizon Markov decision processes (MDPs). We develop efficient energy sharing algorithms, namely Q-learning algorithm with exploration mechanisms based on the $\epsilon$-greedy method as well as upper confidence bound (UCB). We extend these algorithms by incorporating state and action space aggregation to tackle state-action space explosion in the MDP. We also develop a cross entropy based method that incorporates policy parameterization in order to find near optimal energy sharing policies. Through simulations, we show that our algorithms yield energy sharing policies that outperform the heuristic greedy method.


title: On the algebraicity of Puiseux series

abstract: We deal with the algebraicity of a Puiseux series in terms of the properties of its coefficients. We show that the algebraicity of a Puiseux series for given bounded degree is determined by a finite number of explicit polynomial formulae. Conversely, given a vanishing polynomial, there is a closed-form formula for the coefficients of the series in terms of the coefficients of the polynomial and of an initial part of the series.


title: Polarons in Ultracold Fermi Superfluids

abstract: We study a new type of Fermi polaron induced by an impurity interacting with an ultracold Fermi superfluid. Due to the three-component nature of the system, the polaron can become trimer-like with a non-universal energy spectrum. We identify multiple avoided crossings between impurity- and trimer-like solutions in both the attractive and the repulsive polaron spectra. In particular, the widths of avoided crossings gradually increase as the Fermi superfluid undergoes a crossover from the BCS side towards the BEC side, which suggests instabilities towards three-body losses. Such losses can be reduced for interaction potentials with small effective ranges. We also demonstrate, using the second-order perturbation theory, that the mean-field evaluation of the fermion-impurity interaction energy is inadequate even for small fermion-impurity scattering lengths, due to the essential effects of Fermi superfluid and short-range physics in such a system. Our results are practically useful for cold atom experiments on mixtures.


title: Implementation and Evaluation of multimodal input/output channels for task-based industrial robot programming

abstract: Programming industrial robots is not very intuitive, and the programmer has to be a domain expert for e.g. welding and programming to know how the task is optimally executed. For SMEs such employees are not affordable, nor cost-effective. Therefore a new system is needed where domain experts from a specific area, like welding or assembly, can easily program a robot without knowing anything about programming languages or how to use TeachPads. Such a system needs to be flexible to adapt to new tasks and functions. These requirements can be met by using a task based programming approach where the robot program is built up using a hierarchical structure of process, tasks and skills. It also needs to be intuitive so that domain experts don't need much training time on handling the system. Intuitive interaction is achieved by using different input and output modalities like gesture input, speech input, or touch input which are suitable for the current task. This master thesis focuses on the implementation of a user interface (GUI) for task based industrial robot programming and evaluates different input modalities (gesture, speech, touch, pen input) for the interaction with the system. The evaluation is based on a user study conducted with 30 participants as a Wizard-Of-Oz experiment, where non expert users had to program assembly and welding tasks to an industrial robot, using the previously developed GUI and various input and output modalities. The findings of the task analysis and user study are then used for creating a semantic description which will be used in the cognitive robotics-worker cell for automatically inferring required system components, and to provide the best suited input modality.


title: Comparison between some norm and order gauge integrals in Banach lattices

abstract: Henstock-type integrals are considered, for functions defined in a Radon measure space and taking values in a Banach lattice X considering the norm and the order structure of the space. A number of results are obtained, highlighting the differences between them, specially in the case of L-space-valued functions.


title: Topological phase in a $d_{x^2-y^2}+(p+ip)$ superconductor in presence of spin-density-wave

abstract: We consider a mean-field Hamiltonian for a $d_{x^2-y^2}+(p+ip)$ superconductor(SC) in presence of spin-density-wave(SDW) order. This is due to the fact that the non-commutativity of any two orders produces the third one. The energy spectrum of such a Hamiltonian is shown to be gapped and it yields a topological phase in addition to the conventional one. A phase diagram characterizing different topological phases is construted. The Chern numbers and hence the nature of the topological phases are determined. The edge state spectrum and the possibility of whether the vortex state harbouring the zero modes are discussed.


title: TeV Scale Lepton Number Violation and Baryogenesis

abstract: Contrary to the common lore based on naive dimensional analysis, the seesaw scale for neutrino masses can be naturally in the TeV range, with small parameters coming from radiative corrections. We present one such class of type-I seesaw models, based on the left-right gauge group $SU(2)_L\times SU(2)_R\times U(1)_{B-L}$ realized at the TeV scale, which fits the observed neutrino oscillation parameters as well as other low energy constraints. We discuss how the small parameters of this scenario can arise naturally from one loop effects. The neutrino fits in this model use quasi-degenerate heavy Majorana neutrinos, as also required to explain the matter-antimatter asymmetry in our Universe via resonant leptogenesis mechanism. We discuss the constraints implied by the dynamics of this mechanism on the mass of the right-handed gauge boson in this class of models with enhanced neutrino Yukawa couplings compared to the canonical seesaw model and find a lower bound of $m_{W_R}\geq 9.9$ TeV for successful leptogenesis assuming maximal CP asymmetry for each flavor. We also present a model with explicit neutrino mass fit, where the lower bound goes up to 13.1 TeV due to less than maximal primordial CP asymmetry predicted by the model.


title: Towards understanding dynamo action in M dwarfs

abstract: Recent progress in observational studies of magnetic activity in M dwarfs urgently requires support from ideas of stellar dynamo theory. We propose a strategy to connect observational and theoretical studies. In particular, we suggest four magnetic configurations that appear relevant to dwarfs from the viewpoint of the most conservative version of dynamo theory, and discuss observational tests to identify the configurations observationally. As expected, any such identification contains substantial uncertainties. However the situation in general looks less pessimistic than might be expected. Several identifications between the phenomenology of individual stars and dynamo models are suggested. Remarkably, all models discussed predict substantial surface magnetic activity at rather high stellar latitudes. This prediction looks unexpected from the viewpoint of our experience observing the Sun (which of course differs in some fundamental ways from these late-type dwarfs). We stress that a fuller understanding of the topic requires a long-term (at least 15 years) monitoring of M dwarfs by Zeeman-Doppler imaging.


title: Some new inequalities for the gamma function

abstract: In this paper, we present some new inequalities for the gamma function. The main tools are the multiple-correction method developed in our previous works, and a generalized Mortici's lemma.


title: Recent Advances and Challenges in Ubiquitous Sensing

abstract: Ubiquitous sensing is tightly coupled with activity recognition. This survey reviews recent advances in Ubiquitous sensing and looks ahead on promising future directions. In particular, Ubiquitous sensing crosses new barriers giving us new ways to interact with the environment or to inspect our psyche. Through sensing paradigms that parasitically utilise stimuli from the noise of environmental, third-party pre-installed systems, sensing leaves the boundaries of the personal domain. Compared to previous environmental sensing approaches, these new systems mitigate high installation and placement cost by providing a robustness towards process noise. On the other hand, sensing focuses inward and attempts to capture mental activities such as cognitive load, fatigue or emotion through advances in, for instance, eye-gaze sensing systems or interpretation of body gesture or pose. This survey summarises these developments and discusses current research questions and promising future directions.


title: On the Formation of Elliptical Rings in Disk Galaxies

abstract: N-body simulations of galactic collisions are employed to investigate the formation of elliptical rings in disk galaxies. The relative inclination between disk and dwarf galaxies is studied with a fine step of five degrees. It is confirmed that the eccentricity of elliptical ring is linearly proportional to the inclination angle. Deriving from the simulational results, an analytic formula which expresses the eccentricity as a function of time and inclination angle is obtained. This formula shall be useful for the interpretations of the observations of ring systems, and therefore reveals the merging histories of galaxies.


title: Free cyclic submodules in the context of the projective line

abstract: We discuss the free cyclic submodules over an associative ring $R$ with unity. Special attention is paid to those, which are generated by outliers. This paper describes all orbits of such submodules in the ring of lower triangular $3$x$3$ matrices over a field $F$ under the action of the general linear group. Besides rings with outliers generating free cyclic submodules, there are also rings with outliers generating only torsion cyclic submodules and without any outliers. We give examples of all cases.


title: Mass-velocity and size-velocity distributions of ejecta cloud from shock-loaded tin surface using atomistic simulations

abstract: The mass (volume and areal densities) versus velocity as well as the size versus velocity distributions of a shock-induced cloud of particles are investigated using large scale molecular dynamics (MD) simulations. A generic 3D tin crystal with a sinusoidal free surface roughness (single wavelength) is set in contact with vacuum and shock-loaded so that it melts directly on shock. At the reflection of the shock wave onto the perturbations of the free surface, 2D sheets/jets of liquid metal are ejected. The simulations show that the distributions may be described by an analytical model based on the propagation of a fragmentation zone, from the tip of the sheets to the free surface, within which the kinetic energy of the atoms decreases as this zone comes closer to the free surface on late times. As this kinetic energy drives (i) the (self-similar) expansion of the zone once it has broken away from the sheet and (ii) the average size of the particles which result from fragmentation in the zone, the ejected mass and the average size of the particles progressively increase in the cloud as fragmentation occurs closer to the free surface. Though relative to nanometric scales, our model reproduces quantitatively experimental profiles and may help in their analysis.


title: Extensive amenability and an application to interval exchanges

abstract: Extensive amenability is a property of group actions which has recently been used as a tool to prove amenability of groups. We study this property and prove that it is preserved under a very general construction of semidirect products. As an application, we establish the amenability of all subgroups of the group IET of interval exchange transformations that have angular components of rational rank~${\leq 2}$. In addition, we obtain a reformulation of extensive amenability in terms of inverted orbits and use it to present a purely probabilistic proof that recurrent actions are extensively amenable. Finally, we study the triviality of the Poisson boundary for random walks on IET and show that there are subgroups $G <IET$ admitting no finitely supported measure with trivial boundary.


title: No substitute for real data: phylogenies from birth-death polytomy resolvers should not be used for many downstream comparative analyses

abstract: The statistical estimation of phylogenies is always associated with uncertainty, and accommodating this uncertainty is an important component of modern phylogenetic comparative analysis. The birth-death polytomy resolver is a method of accounting for phylogenetic uncertainty that places missing (unsampled) taxa onto phylogenetic trees, using taxonomic information alone. Recent studies of birds and mammals have used this approach to generate pseudo-posterior distributions of phylogenetic trees that are complete at the species level, even in the absence of genetic data for many species. Many researchers have used these distributions of phylogenies for downstream evolutionary analyses that involve inferences on phenotypic evolution, geography, and community assembly. I demonstrate that the use of phylogenies constructed in this fashion is inappropriate for many questions involving traits. Because species are placed on trees at random with respect to trait values, the birth-death polytomy resolver breaks down natural patterns of trait phylogenetic structure. Inferences based on these trees are predictably and often drastically biased in a direction that depends on the underlying (true) pattern of phylogenetic structure in traits. I illustrate the severity of the phenomenon for both continuous and discrete traits using examples from a global bird phylogeny.


title: The affine inflation market models

abstract: Interest rate market models, like the LIBOR market model, have the advantage that the basic model quantities are directly observable in financial markets. Inflation market models extend this approach to inflation markets, where zero-coupon and year-on-year inflation-indexed swaps are the basic observable products. For inflation market models considered so far closed formulas exist for only one type of swap, but not for both. The model in this paper uses affine processes in such a way that prices for both types of swaps can be calculated explicitly. Furthermore call and put options on both types of swap rates can be calculated using one-dimensional Fourier inversion formulas. Using the derived formulas we present an example calibration to market data.


title: Validity of the ICFT R-matrix method: Be-like Al$^{9+}$ a case study

abstract: We have carried-out 98-level configuration-interaction / close-coupling (CI/CC) intermediate coupling frame transformation (ICFT) and Breit-Pauli R-matrix calculations for the electron-impact excitation of Be-like Al$^{9+}$. The close agreement that we find between the two sets of effective collision strengths demonstrates the continued robustness of the ICFT method. On the other hand, a comparison of this data with previous 238-level CI/CC ICFT effective collision strengths shows that the results for excitation up to n=4 levels are systematically and increasingly underestimated over a wide range of temperatures by R-matrix calculations whose close-coupling expansion extends only to n=4 (98-levels). Thus, we find to be false a recent conjecture that the ICFT approach may not be completely robust. The conjecture was based upon a comparison of 98-level CI/CC Dirac R-matrix effective collision strengths for Al$^{9+}$ with those from the 238-level CI/CC ICFT R-matrix calculations. The disagreement found recently is due to a lack of convergence of the close-coupling expansion in the 98-level CI/CC Dirac work. The earlier 238-level CI/CC ICFT work has a superior target to the 98-level CI/CC Dirac one and provides more accurate atomic data. Similar considerations need to be made for other Be-like ions and for other sequences.


title: An Inhomogeneous Jarn\'ik type theorem for planar curves

abstract: In metric Diophantine approximation there are two main types of approximations: simultaneous and dual for both homogeneous and inhomogeneous settings. The well known measure-theoretic theorems of Khintchine and Jarn\'ik are fundamental in these settings. Recently, there has been substantial progress towards establishing a metric theory of Diophantine approximations on manifolds. In particular, both the Khintchine and Jarn\'ik type results have been established for planar curves except for only one case. In this paper, we prove an inhomogeneous Jarn\'ik type theorem for convergence on planar curves and in so doing complete the metric theory for both the homogeneous and inhomogeneous settings for approximation on planar curves.


title: Improved constraints on the coupling constants of axion-like particles to nucleons from recent Casimir-less experiment

abstract: We obtain improved constraints on the coupling constants of axion-like particles to nucleons from a recently performed Casimir-less experiment. For this purpose, the differential force between a Au-coated sphere and either Au or Si sectors of a rotating disc, arising due to two-axion exchange, is calculated. Over a wide region of axion masses from 1.7 meV to 0.9 eV the obtained constraints are stronger up to a factor of 60 than the previously known ones following from the Cavendish-type experiment and measurements of the effective Casimir pressure.


title: Contactless heat flux control with photonic devices

abstract: The ability to control electric currents in solids using diodes and transistors is undoubtedly at the origin of the main developments in modern electronics which have revolutionized the daily life in the second half of 20th century. Surprisingly, until the year 2000 no thermal counterpart for such a control had been proposed. Since then, based on pioneering works on the control of phononic heat currents new devices were proposed which allow for the control of heat fluxes carried by photons rather than phonons or electrons. The goal of the present paper is to summarize the main advances achieved recently in the field of thermal energy control with photons.


title: Transient analysis of one-sided L\'evy-driven queues

abstract: In this paper we analyze the transient behavior of the workload process in a L\'evy input queue. We are interested in the value of the workload process at a random epoch; this epoch is distributed as the sum of independent exponential random variables. We consider both cases of spectrally one-sided L\'evy input processes, for which we succeed in deriving explicit results. As an application we approximate the mean and the Laplace transform of the workload process after a deterministic time.


title: A frequency domain empirical likelihood method for irregularly spaced spatial data

abstract: This paper develops empirical likelihood methodology for irregularly spaced spatial data in the frequency domain. Unlike the frequency domain empirical likelihood (FDEL) methodology for time series (on a regular grid), the formulation of the spatial FDEL needs special care due to lack of the usual orthogonality properties of the discrete Fourier transform for irregularly spaced data and due to presence of nontrivial bias in the periodogram under different spatial asymptotic structures. A spatial FDEL is formulated in the paper taking into account the effects of these factors. The main results of the paper show that Wilks' phenomenon holds for a scaled version of the logarithm of the proposed empirical likelihood ratio statistic in the sense that it is asymptotically distribution-free and has a chi-squared limit. As a result, the proposed spatial FDEL method can be used to build nonparametric, asymptotically correct confidence regions and tests for covariance parameters that are defined through spectral estimating equations, for irregularly spaced spatial data. In comparison to the more common studentization approach, a major advantage of our method is that it does not require explicit estimation of the standard error of an estimator, which is itself a very difficult problem as the asymptotic variances of many common estimators depend on intricate interactions among several population quantities, including the spectral density of the spatial process, the spatial sampling density and the spatial asymptotic structure. Results from a numerical study are also reported to illustrate the methodology and its finite sample properties.


title: Entanglement entropy in the Hamming networks

abstract: We investigate the Hamming networks that their nodes are considered as quantum harmonic oscillators. The entanglement of the ground state can be used to quantify the amount of information each part of a network shares with the rest of the system via quantum fluctuations. Therefore, the Schmidt numbers and entanglement entropy between two special parts of Hamming network, can be calculated. To this aim, first we use the stratification method to rewrite the adjacency matrix of the network in the stratification basis. Then the entanglement entropy and Schmidt number for special partitions are calculated analytically by using the generalized Schur complement method. Also, we calculate the entanglement entropy between two arbitrary subsets (two equal subsets have the same number of vertices) in H(2; 3) and H(2; 4) numerically, and we give the minimum and maximum values of entanglement entropy in these two Hamming network.


title: Big Data meets Quantum Chemistry Approximations: The $\Delta$-Machine Learning Approach

abstract: Chemically accurate and comprehensive studies of the virtual space of all possible molecules are severely limited by the computational cost of quantum chemistry. We introduce a composite strategy that adds machine learning corrections to computationally inexpensive approximate legacy quantum methods. After training, highly accurate predictions of enthalpies, free energies, entropies, and electron correlation energies are possible, for significantly larger molecular sets than used for training. For thermochemical properties of up to 16k constitutional isomers of C$_7$H$_{10}$O$_2$ we present numerical evidence that chemical accuracy can be reached. We also predict electron correlation energy in post Hartree-Fock methods, at the computational cost of Hartree-Fock, and we establish a qualitative relationship between molecular entropy and electron correlation. The transferability of our approach is demonstrated, using semi-empirical quantum chemistry and machine learning models trained on 1 and 10\% of 134k organic molecules, to reproduce enthalpies of all remaining molecules at density functional theory level of accuracy.


title: Perfect Consistent Hashing

abstract: Consistent Hashing functions are widely used for load balancing across a variety of applications. However, the original presentation and typical implementations of Consistent Hashing rely on randomised allocation of hash codes to keys which results in a flawed and approximately-uniform allocation of keys to hash codes. We analyse the desired properties and present an algorithm that perfectly achieves them without resorting to any random distributions. The algorithm is simple and adds to our understanding of what is necessary to create a consistent hash function.


title: Stochastic maximum principle for optimal control of a class of nonlinear SPDEs with dissipative drift

abstract: We prove a version of the stochastic maximum principle, in the sense of Pontryagin, for the finite horizon optimal control of a stochastic partial differential equation driven by an infinite dimensional additive noise. In particular we treat the case in which the non-linear term is of Nemytskii type, dissipative and with polynomial growth. The performance functional to be optimized is fairly general and may depend on point evaluation of the controlled equation. The results can be applied to a large class of non-linear parabolic equations such as reaction-diffusion equations.


title: The Book Thickness of 1-Planar Graphs is Constant

abstract: In a book embedding, the vertices of a graph are placed on the spine of a book and the edges are assigned to pages, so that edges on the same page do not cross. In this paper, we prove that every $1$-planar graph (that is, a graph that can be drawn on the plane such that no edge is crossed more than once) admits an embedding in a book with constant number of pages. To the best of our knowledge, the best non-trivial previous upper-bound is $O(\sqrt{n})$, where $n$ is the number of vertices of the graph.


title: Dyck algebras, interval temporal logic and posets of intervals

abstract: We investigate a natural Heyting algebra structure on the set of Dyck paths of the same length. We provide a geometrical description of the operations of pseudocomplement and relative pseudocomplement, as well as of regular elements. We also find a logic-theoretic interpretation of such Heyting algebras, which we call Dyck algebras, by showing that they are the algebraic counterpart of a certain fragment of a classical interval temporal logic (also known as Halpern-Shoham logic). Finally, we propose a generalization of our approach, suggesting a similar study of the Heyting algebra arising from the poset of intervals of a finite poset using Birkh\"off duality. In order to illustrate this, we show how several combinatorial parameters of Dyck paths can be expressed in terms of the Heyting algebra structure of Dyck algebras together with a certain total order on the set of atoms of each Dyck algebra.


title: Reliable scaling of Position Weight Matrices for binding strength comparisons between transcription factors

abstract: Scoring DNA sequences against Position Weight Matrices (PWMs) is a widely adopted method to identify putative transcription factor binding sites. While common bioinformatics tools produce scores that can reflect the binding strength between a specific transcription factor and the DNA, these scores are not directly comparable between different transcription factors. Here, we provide two different ways to find the scaling parameter $\lambda$ that allows us to infer binding energy from a PWM score. The first approach uses a PWM and background genomic sequence as input to estimate $\lambda$ for a specific transcription factor, which we applied to show that $\lambda$ distributions for different transcription factor families correspond with their DNA binding properties. Our second method can reliably convert $\lambda$ between different PWMs of the same transcription factor, which allows us to directly compare PWMs that were generated by different approaches. These two approaches provide consistent and computationally efficient ways to scale PWMs scores and estimate transcription factor binding sites strength.


title: Numerical calculation of spectral functions of the Bose-Hubbard model using B-DMFT

abstract: We calculate the momentum dependent spectral function of the Bose-Hubbard model on a simple cubic lattice in three dimensions within the bosonic dynamical mean-field theory (B-DMFT). The continuous-time quantum Monte Carlo method is used to solve the self-consistent B-DMFT equations together with the maximum entropy method for the analytic continuation to real frequencies. Results for weak, intermediate, and strong interactions are presented. In the limit of weak and strong interactions very good agreement with results obtained by perturbation theory is found. By contrast, at intermediate interactions the results differ significantly, indicating that in this regime perturbative methods fail do describe the dynamics of interacting bosons.


title: A Linear-Time Algorithm for Finding All Double-Vertex Dominators of a Given Vertex

abstract: Dominators provide a general mechanism for identifying reconverging paths in graphs. This is useful for a number of applications in Computer-Aided Design (CAD) including signal probability computation in biased random simulation, switching activity estimation in power and noise analysis, and cut points identification in equivalence checking. However, traditional single-vertex dominators are too rare in circuit graphs. In order to handle reconverging paths more efficiently, we consider the case of double-vertex dominators which occur more frequently. First, we derive a number of specific properties of double-vertex dominators. Then, we describe a data structure for representing all double-vertex dominators of a given vertex in linear space. Finally, we present an algorithm for finding all double-vertex dominators of a given vertex in linear time. Our results provide an efficient systematic way of partitioning large graphs along the reconverging points of the signal flow.


title: Chirality transitions in frustrated $S^{2}$-valued spin systems

abstract: We study the discrete-to-continuum limit of the helical XY $S^{2}$-spin system on the lattice $\mathbb{Z}^{2}$. We scale the interaction parameters in order to reduce the model to a spin chain in the vicinity of the Landau-Lifschitz point and we prove that at the same energy scaling under which the $S^{1}$-model presents scalar chirality transitions, the cost of every vectorial chirality transition is now zero. In addition we show that if the energy of the system is modified penalizing the distance of the $S^{2}$ field from a finite number of copies of $S^{1}$, it is still possible to prove the emergence of nontrivial (possibly trace dependent) chirality transitions.


title: On Extreme Pruning of Random Forest Ensembles for Real-time Predictive Applications

abstract: Random Forest (RF) is an ensemble supervised machine learning technique that was developed by Breiman over a decade ago. Compared with other ensemble techniques, it has proved its accuracy and superiority. Many researchers, however, believe that there is still room for enhancing and improving its performance accuracy. This explains why, over the past decade, there have been many extensions of RF where each extension employed a variety of techniques and strategies to improve certain aspect(s) of RF. Since it has been proven empiricallthat ensembles tend to yield better results when there is a significant diversity among the constituent models, the objective of this paper is twofold. First, it investigates how data clustering (a well known diversity technique) can be applied to identify groups of similar decision trees in an RF in order to eliminate redundant trees by selecting a representative from each group (cluster). Second, these likely diverse representatives are then used to produce an extension of RF termed CLUB-DRF that is much smaller in size than RF, and yet performs at least as good as RF, and mostly exhibits higher performance in terms of accuracy. The latter refers to a known technique called ensemble pruning. Experimental results on 15 real datasets from the UCI repository prove the superiority of our proposed extension over the traditional RF. Most of our experiments achieved at least 95% or above pruning level while retaining or outperforming the RF accuracy.


title: RG flows from (1,0) 6D SCFTs to N=1 SCFTs in four and three dimensions

abstract: We study $AdS_5\times \Sigma_2$ and $AdS_4\times \Sigma_3$ solutions of $N=2$, $SO(4)$ gauged supergravity in seven dimensions with $\Sigma_{2,3}$ being $S^{2,3}$ or $H^{2,3}$. The $SO(4)$ gauged supergravity is obtained from coupling three vector multiplets to the pure $N=2$, $SU(2)$ gauged supergravity. With a topological mass term for the 3-form field, the $SO(4)\sim SU(2)\times SU(2)$ gauged supergravity admits two supersymmetric $AdS_7$ critical points, with $SO(4)$ and $SO(3)$ symmetries, provided that the two $SU(2)$ gauge couplings are different. These vacua correspond to $N=(1,0)$ superconformal field theories (SCFTs) in six dimensions. In the case of $\Sigma_2$, we find a class of $AdS_5\times S^2$ and $AdS_5\times H^2$ solutions preserving eight supercharges and $SO(2)\times SO(2)$ symmetry, but only $AdS_5\times H^2$ solutions exist for $SO(2)$ symmetry. These should correspond to some $N=1$ four-dimensional SCFTs. We also give RG flow solutions from the $N=(1,0)$ SCFTs in six dimensions to these four-dimensional fixed points including a two-step flow from the $SO(4)$ $N=(1,0)$ SCFT to the $SO(3)$ $N=(1,0)$ SCFT that eventually flows to the $N=1$ SCFT in four dimensions. For $AdS_4\times\Sigma_3$, we find a class of $AdS_4\times S^3$ and $AdS_4\times H^3$ solutions with four supercharges, corresponding to $N=1$ SCFTs in three dimensions. When the two $SU(2)$ gauge couplings are equal, only $AdS_4\times H^3$ are possible. The uplifted solutions for equal $SU(2)$ gauge couplings to eleven dimensions are also given.


title: Event-by-event study of CR composition with the SPHERE experiment using the 2013 data

abstract: We present an event-by-event study of cosmic ray (CR) composition with the reflected Cherenkov light method. The fraction of CR light component above 5 PeV was reconstructed using the 2013 run data of the SPHERE experiment which observed optical Vavilov-Cherenkov radiation of extensive air showers, reflected from snow surface of Lake Baikal. Additionally, we discuss a possibility to improve the elemental groups separability by means of multidimensional criteria.


title: Quickest Change Detection in Adaptive Censoring Sensor Networks

abstract: The problem of quickest change detection with communication rate constraints is studied. A network of wireless sensors with limited computation capability monitors the environment and sends observations to a fusion center via wireless channels. At an unknown time instant, the distributions of observations at all the sensor nodes change simultaneously. Due to limited energy, the sensors cannot transmit at all the time instants. The objective is to detect the change at the fusion center as quickly as possible, subject to constraints on false detection and average communication rate between the sensors and the fusion center. A minimax formulation is proposed. The cumulative sum (CuSum) algorithm is used at the fusion center and censoring strategies are used at the sensor nodes. The censoring strategies, which are adaptive to the CuSum statistic, are fed back by the fusion center. The sensors only send observations that fall into prescribed sets to the fusion center. This CuSum adaptive censoring (CuSum-AC) algorithm is proved to be an equalizer rule and to be globally asymptotically optimal for any positive communication rate constraint, as the average run length to false alarm goes to infinity. It is also shown, by numerical examples, that the CuSum-AC algorithm provides a suitable trade-off between the detection performance and the communication rate.


title: Spin dipole oscillation and relaxation of coherently coupled Bose-Einstein condensates

abstract: We study the static and the dynamic response of coherently coupled two component Bose-Einstein condensates due to a spin-dipole perturbation. The static dipole susceptibility is determined and it is shown to be a key quantity to identify the second order ferromagnetic transition occurring at large inter-species interaction. The dynamics, which is obtained by quenching the spin-dipole perturbation, is very much affected by the system being paramagnetic or ferromagnetic and by the correlation between the motional and the internal degrees of freedom. In the paramagnetic phase the gas exhibits well defined out-of-phase dipole oscillations, whose frequency can be related to the susceptibility of the system using a sum rule approach. In particular in the interaction SU (2) symmetric case, i.e., all the two-body interactions are the same, the external dipole oscillation coincides with the internal Rabi flipping frequency. In the ferromagnetic case, where linear response theory in not applicable, the system show highly non linear dynamics. In particular we observe phenomena related to ground state selection: the gas, initially trapped in a domain wall configuration, reaches a final state corresponding to the magnetic ground state plus small density ripples. Interestingly the time during which the gas is unable to escape from its initial configuration is found to be proportional to the square root of the wall surface tension.


title: Generalized conditions for genuine multipartite continuous-variable entanglement

abstract: We derive a hierarchy of continuous-variable multipartite entanglement conditions in terms of second-order moments of position and momentum operators that generalizes existing criteria. Each condition corresponds to a convex optimization problem which, given the covariance matrix of the state, can be numerically solved in a straightforward way. The conditions are independent of partial transposition and thus are also able to detect bound entangled states. Our approach can be used to obtain an analytical condition for genuine multipartite entanglement. We demonstrate that even a special case of our conditions can detect entanglement very efficiently. Using multi-objective optimization it is also possible to numerically verify genuine entanglement of some experimentally realizable states.


title: Mott multicriticality of Dirac electrons in graphene

abstract: We study the multicritical behavior for the semimetal-insulator transitions on graphene's honeycomb lattice using the Gross-Neveu-Yukawa effective theory with two order parameters: the SO(3) (Heisenberg) order parameter describes the antiferromagnetic transition, and the $\mathbb{Z}_2$ (Ising) order parameter describes the transition to a staggered density state. Their coupling induces multicritical behavior which determines the structure of the phase diagram close to the multicritical point. Depending on the number of fermion flavors $N_f$ and working in the perturbative regime in vicinity of three (spatial) dimensions, we observe first order or continuous phase transitions at the multicritical point. For the graphene case of $N_f=2$ and within our low order approximation, the phase diagram displays a tetracritical structure.


abstract: We develop a theory of Darboux transformations for CMV matrices, canonical representations of the unitary operators. In perfect analogy with their self-adjoint version -- the Darboux transformations of Jacobi matrices -- they are equivalent to Laurent polynomial modifications of the underlying measures. We address other questions which emphasize the similarities between Darboux transformations for Jacobi and CMV matrices, like their (almost) isospectrality or the relation that they establish between the corresponding orthogonal polynomials, showing also that both transformations are connected by the Szeg\"o mapping. Nevertheless, we uncover some features of the Darboux transformations for CMV matrices which are in striking contrast with those of the Jacobi case. In particular, when applied to CMV matrices, the matrix realization of the inverse Darboux transformations -- what we call 'Darboux transformations with parameters' -- leads to spurious solutions whose interpretation deserves future research. Such spurious solutions are neither unitary nor band matrices, so Darboux transformations for CMV matrices are much more subject to the subtleties of the algebra of infinite matrices than their Jacobi counterparts. A key role in our theory is played by the Cholesky factorizations of infinite matrices. Actually, the Darboux transformations introduced in this paper are based on the Cholesky factorizations of degree one Hermitian Laurent polynomials evaluated on CMV matrices. We also show how these transformations can be generalized to higher degree Laurent polynomials, as well as to the extension of CMV matrices to quasi-definite functionals -- what we call 'quasi-CMV' matrices.


title: Surface versus bulk contributions to the giant Rashba splitting in the ferroelectric {\alpha}-GeTe(111) semiconductor

abstract: In systems with broken inversion symmetry spin-orbit coupling (SOC) yields a Rashba-type spin splitting of electronic states, manifested in a k-dependent splitting of the bands. While most research had previously focused on 2D electron systems, recently a three-dimensional (3D) form of such Rashba-effect was found in a series of bismuth tellurohalides. Whereas these materials exhibit a very large spin-splitting, they lack an important property concerning functionalization, namely the possibility to switch or tune the spin texture. This limitation can be overcome in a new class of functional materials displaying Rashba-splitting coupled to ferroelectricity: the ferroelectric Rashba semiconductors (FERS). Using spin- and angle-resolved photoemission spectroscopy (SARPES) we show that GeTe(111) forms a prime member of this class, displaying a complex spin-texture for the Rashba-split surface and bulk bands arising from the intrinsic inversion symmetry breaking caused by the ferroelectric polarization of the bulk (FE). Apart from pure surface and bulk states we find surface-bulk resonant states (SBR) whose wavefunctions entangle the spinors from the bulk and surface contributions. At the Fermi level their hybridization results in unconventional spin topologies with cochiral helicities and concomitant gap opening. The GeTe(111) surface and SBR states make the semiconductor surface conducting. At the same time our SARPES data confirm that GeTe is a narrow-gap semiconductor, suggesting that GeTe(111) electronic states are endowed with spin properties that are theoretically challenging to anticipate. As the helicity of the spins in Rashba bands is connected to the direction of the FE polarization, this work paves the way to all-electric non-volatile control of spin-transport properties in semiconductors.


title: On the spacetime connecting two aeons in conformal cyclic cosmology

abstract: As quotient spaces, Minkowski and de Sitter are fundamental, non-gravitational spacetimes for the construction of physical theories. When general relativity is constructed on a de Sitter spacetime, the usual Riemannian structure is replaced by a more general structure called de Sitter-Cartan geometry. In the contraction limit of an infinite cosmological term, the de Sitter-Cartan spacetime reduces to a singular, flat, conformal invariant four-dimensional cone spacetime, in which our ordinary notions of time interval and space distance are absent. It is shown that such spacetime satisfies all properties, including the Weyl curvature hypothesis, necessary to play the role of the bridging spacetime connecting two aeons in Penrose's conformal cyclic cosmology.


title: Electromagnetic fields in nonuniform disk-loaded waveguides

abstract: On the base of general approach we obtain some results that can be useful in the process of tuning of nonunifrom disc-loaded waveguides. Our consideration has shown that simple values that characterize the detuning of the cells can be introduced only for the disc-loaded waveguide with parameters that change very slow. In general case it is needed to conduct full numerical simulation of specific disc-loaded waveguide and obtain all necessary coupling coefficients. After that one can start the tuning process on the base of bead-pull field distribution measurements.


title: The Evolution of Quantum Field Theory, From QED to Grand Unification

abstract: In the early 1970s, after a slow start, and lots of hurdles, Quantum Field Theory emerged as the superior doctrine for understanding the interactions between relativistic sub-atomic particles. After the conditions for a relativistic field theoretical model to be renormalizable were established, there were two other developments that quickly accelerated acceptance of this approach: first the Brout-Englert-Higgs mechanism, and then asymptotic freedom. Together, these gave us a complete understanding of the perturbative sector of the theory, enough to give us a detailed picture of what is now usually called the Standard Model. Crucial for this understanding were the strong indications and encouragements provided by numerous experimental findings. Subsequently, non-perturbative features of the quantum field theories were addressed, and the first proposals for completely unified quantum field theories were launched. Since the use of continuous symmetries of all sorts, together with other topics of advanced mathematics, were recognised to be of crucial importance, many new predictions were pointed out, such as the Higgs particle, supersymmetry and baryon number violation. There are still many challenges ahead.


title: Peiffer product and Peiffer commutator for internal pre-crossed modules

abstract: In this work we introduce the notions of Peiffer product and Peiffer commutator of internal pre-crossed modules over a fixed object B, extending the corresponding classical notions to any semi-abelian category C. We prove that, under mild additional assumptions on C, crossed modules are characterized as those pre-crossed modules X whose Peiffer commutator <X,X> is trivial. Furthermore we provide suitable conditions on C (fulfilled by a large class of algebraic varietes, including among others groups, associative algebras, Lie and Leibniz algebras) under which the Peiffer product realizes the coproduct in the category of crossed modules over B.


title: Partition Function of Interacting Calorons Ensemble

abstract: We present a method for computing the partition function of a caloron ensemble taking into account the interaction of calorons. We focus on caloron-Dirac string interaction and show that the metric that Diakonov and Petrov offered works well in the limit where this interaction occurs. We suggest computing the correlation function of two polyakov loops by applying Ewald's method.


title: Accessible model categories

abstract: We prove that a weak factorization system on a locally presentable category is accessible if and only if it is small generated in the sense of R. Garner. Moreover, we discuss an analogy of Smith's theorem for accessible model categories.


title: Scalar field localization on deformed extra space

abstract: Field localization on 2-dim extra space is considered in the framework of f(R) gravity. It is shown that an interference of local matter energy distribution and a metric of the extra space form a point-like defect - 4-dim brane. The energy-momentum of the brane depends on initial conditions that could lead to the cosmological $\Lambda$ term being arbitrarily small.