title: Hopf Modules in the Representation Theory of Wreath Products

abstract: For a finite group G one may consider the associated tower S_n[G] of wreath product groups. Zelevinsky associates to such a tower a positive self-adjoint Hopf algebra (PSH-algebra) R(G) as the infinite direct sum of the Grothendieck groups of the categories of complex representations of these groups. In this paper, we study the interaction via induction and restriction of the PSH-algebras R(G) and R(H) for subgroups H of G. A class of Hopf modules over PSH-algebras with a compatibility between the comultiplication and multiplication involving the Hopf k^{th}-power map arise naturally and are studied independently. We also give an explicit formula for the natural PSH-algebra morphisms between R(H) and R(G) arising from induction and restriction. In an appendix, we consider the more general family of restricted wreath products, which are subgroups of wreath product groups analogous to the subgroups G(m, p, n) of the wreath product cyclotomic complex reflection groups G(m, 1, n).


title: Induction/Restriction Bialgebras for Restricted Wreath Products

abstract: To a finite group G one can associate a tower of wreath products S_n[G]. It is well known that the graded direct sum of the Grothendieck groups of the categories of finite dimensional complex representations of these groups can be given the structure of a graded Hopf algebra, and in fact a positive self-adjoint Hopf algebra in the sense of Zelevinsky [1], using the induction product and restriction coproduct. This paper introduces and explores an analogously defined algebra/coalgebra structure associated to a more general class of towers of groups, obtained as a certain family of subgroups of wreath products in the case G is abelian. We call these groups restricted wreath products, and they include the infinite family of complex reflection groups G(m, p, n). It is known that in the case of full wreath products the associated Hopf algebra decomposes as a tensor power of the Hopf algebra of integral symmetric functions. In the case of restricted wreath products, the associated algebra/coalgebra is no longer a Hopf algebra, but here we see that it contains an algebra containing every irreducible representation as a constituent and which is isomorphic to a tensor power of such an algebra/coalgebra associated to a smaller restricted wreath product, generalizing the tensor product decomposition for the full wreath products. We closely follow the approach of [1].


title: Secure Degrees of Freedom of Wireless X Networks Using Artificial Noise Alignment

abstract: The problem of transmitting confidential messages in $M \times K$ wireless X networks is considered, in which each transmitter intends to send one confidential message to every receiver. In particular, the secure degrees of freedom (SDOF) of the considered network are studied based on an artificial noise alignment (ANA) approach, which integrates interference alignment and artificial noise transmission. At first, an SDOF upper bound is derived for the $M \times K$ X network with confidential messages (XNCM) to be $\frac{K(M-1)}{K+M-2}$. By proposing an ANA approach, it is shown that the SDOF upper bound is tight when $K=2$ for the considered XNCM with time/frequency varying channels. For $K \geq 3$, it is shown that SDOF of $\frac{K(M-1)}{K+M-1}$ can be achieved, even when an external eavesdropper is present. The key idea of the proposed scheme is to inject artificial noise into the network, which can be aligned in the interference space at receivers for confidentiality. Moreover, for the network with no channel state information at transmitters, a blind ANA scheme is proposed to achieve SDOF of $\frac{K(M-1)}{K+M-1}$ for $K,M \geq 2$, with reconfigurable antennas at receivers. The proposed method provides a linear approach to secrecy coding and interference alignment.


title: Quantifying performance bottlenecks of stencil computations using the Execution-Cache-Memory model

abstract: Stencil algorithms on regular lattices appear in many fields of computational science, and much effort has been put into optimized implementations. Such activities are usually not guided by performance models that provide estimates of expected speedup. Understanding the performance properties and bottlenecks by performance modeling enables a clear view on promising optimization opportunities. In this work we refine the recently developed Execution-Cache-Memory (ECM) model and use it to quantify the performance bottlenecks of stencil algorithms on a contemporary Intel processor. This includes applying the model to arrive at single-core performance and scalability predictions for typical corner case stencil loop kernels. Guided by the ECM model we accurately quantify the significance of "layer conditions," which are required to estimate the data traffic through the memory hierarchy, and study the impact of typical optimization approaches such as spatial blocking, strength reduction, and temporal blocking for their expected benefits. We also compare the ECM model to the widely known Roofline model.


title: A Dirichlet Regression Model for Compositional Data with Zeros

abstract: Compositional data are met in many different fields, such as economics, archaeometry, ecology, geology and political sciences. Regression where the dependent variable is a composition is usually carried out via a log-ratio transformation of the composition or via the Dirichlet distribution. However, when there are zero values in the data these two ways are not readily applicable. Suggestions for this problem exist, but most of them rely on substituting the zero values. In this paper we adjust the Dirichlet distribution when covariates are present, in order to allow for zero values to be present in the data, without modifying any values. To do so, we modify the log-likelihood of the Dirichlet distribution to account for zero values. Examples and simulation studies exhibit the performance of the zero adjusted Dirichlet regression.


title: The upgrade of the LHCb trigger system

abstract: The LHCb experiment will operate at a luminosity of $2\times10^{33}$ cm$^{-2}$s$^{-1}$ during LHC Run 3. At this rate the present readout and hardware Level-0 trigger become a limitation, especially for fully hadronic final states. In order to maintain a high signal efficiency the upgraded LHCb detector will deploy two novel concepts: a triggerless readout and a full software trigger.


title: Darboux transformations, discrete integrable systems and related Yang-Baxter maps

abstract: In this thesis we study the Darboux transformations related to particular Lax operators of NLS type which are invariant under the action of the so-called reduction group. Specifically, we study the cases of: 1) the nonlinear Schr\"odinger equation (with no reduction), 2) the derivative nonlinear Schr\"odinger equation, where the corresponding Lax operator is invariant under the action of the $\mathbb{Z}_2$-reduction group and 3) a deformation of the derivative nonlinear Schr\"odinger equation, associated to a Lax operator invariant under the action of the dihedral reduction group. These reduction groups correspond to recent classification results of automorphic Lie algebras. We derive Darboux matrices for all the above cases and we use them to construct novel discrete integrable systems together with their Lax representations. For these systems of difference equations, we discuss the initial value problem and, moreover, we consider their integrable reductions. Furthermore, the derivation of the Darboux matrices gives rise to many interesting objects, such as B\"acklund transformations for the corresponding partial differential equations as well as symmetries and conservation laws of their associated systems of difference equations. Moreover, we employ these Darboux matrices to construct six-dimensional Yang-Baxter maps for all the afore-mentioned cases. These maps can be restricted to four-dimensional Yang-Baxter maps on invariant leaves, which are completely integrable; we also consider their vector generalisations.


title: Optimal Two-Step Prediction in Regression

abstract: High-dimensional prediction typically comprises two steps: variable selection and subsequent least-squares refitting on the selected variables. However, the standard variable selection procedures, such as the lasso, hinge on tuning parameters that need to be calibrated. Cross-validation, the most popular calibration scheme, is computationally costly and lacks finite sample guarantees. In this paper, we introduce an alternative scheme, easy to implement and both computationally and theoretically efficient.


title: How the permutation of edges of a metric graph affects the number of points moving along the edges

abstract: We consider a dynamical system on a metric graph, that corresponds to a semiclassical solution of a time-dependent Schr\"odinger equation. We omit all details concerning mathematical physics and work with a purely discrete problem. We find a weak inequality representation for the number of points coming out of the vertex of an arbitrary tree graph. We apply this construction to an "H-junction" graph. We calculate the difference between numbers of moving points corresponding to the permutation of edges. Then we find a symmetrical difference of the number of points moving along the edges of a metric graph.


title: Boolean Computation Using Self-Sustaining Nonlinear Oscillators

abstract: Self-sustaining nonlinear oscillators of practically any type can function as latches and registers if Boolean logic states are represented physically as the phase of oscillatory signals. Combinational operations on such phase-encoded logic signals can be implemented using arithmetic negation and addition followed by amplitude limiting. With these, general-purpose Boolean computation using a wide variety of natural and engineered oscillators becomes potentially possible. Such phase-encoded logic shows promise for energy efficient computing. It also has inherent noise immunity advantages over traditional level-based logic.


title: Nonlinear quantum optics in the (ultra)strong light-matter coupling

abstract: The propagation of $N$ photons in one dimensional waveguides coupled to $M$ qubits is discussed, both in the strong and ultrastrong qubit-waveguide coupling. Special emphasis is placed on the characterisation of the nonlinear response and its linear limit for the scattered photons as a function of $N$, $M$, qubit inter distance and light-matter coupling. The quantum evolution is numerically solved via the Matrix Product States technique. Both the time evolution for the field and qubits is computed. The nonlinear character (as a function of $N/M$) depends on the computed observable. While perfect reflection is obtained for $N/M \cong 1$, photon-photon correlations are still resolved for ratios $N/M= 2/20$. Inter-qubit distance enhances the nonlinear response. Moving to the ultrastrong coupling regime, we observe that inelastic processes are \emph{robust} against the number of qubits and that the qubit-qubit interaction mediated by the photons is qualitatively modified. The theory developed in this work modelises experiments in circuit QED, photonic crystals and dielectric waveguides.


title: Green, red and IR frequency comb line generation from single IR pump in AlN microring resonator

abstract: On-chip frequency comb generations enable compact broadband sources for spectroscopic sensing and precision spectroscopy. Recent microcomb studies focus on infrared spectral regime and have difficulty in accessing visible regime. Here, we demonstrate comb-like visible frequency line generation through second, third harmonic, and sum frequency conversion of a Kerr comb within a high Q aluminum nitride microring resonator pumped by a single telecom laser. The strong power enhancement, in conjunction with the unique combination of Pockels and Kerr optical nonlinearity of aluminum nitride, leads to cascaded frequency conversions in the visible spectrum. High-resolution spectroscopic study of the visible frequency lines indicates matched free spectrum range over all the bands. This frequency doubling and tripling effect in a single microcomb structure offers great potential for comb spectroscopy and self-referencing comb.


title: Ultrafast voltage-tunable detectors for Terahertz radiation operating above 100K

abstract: Collective vibrations of proteins, rotations of small molecules, excitations of high-temperature superconductors, and electronic transitions in semiconductor nanostructures occur with characteristic frequencies between 1 and 10 THz. Applications to medicine, communications, security and other fields are emerging. However, mapping the coldest parts of the universe has been the largest driver for developing THz detectors. The result is a family of exquisitely-sensitive detectors requiring sub-4K temperatures. For earthbound THz science and technology, sensitivity remains important but many applications require high speed and operating temperatures. Room-temperature Schottky diodes enable some of these applications. Here we demonstrate a new type of detector in which THz radiation excites a collective oscillation of ~25,000 electrons between two gates in a microscopic four terminal transistor. The energy dissipates into other modes of the electron gas, warming it and changing the source-drain resistance. The detector shows amplifier-limited rise times near 1 ns and has detected THz laser radiation at temperatures up to 120K. The frequency of the collective oscillation tunes with small gate voltages. The first-generation tunable antenna-coupled intersubband Terahertz (TACIT) detectors tune between 1.5 and 2 THz with voltages <2V.


title: Sparse Beamforming and User-Centric Clustering for Downlink Cloud Radio Access Network

abstract: This paper considers a downlink cloud radio access network (C-RAN) in which all the base-stations (BSs) are connected to a central computing cloud via digital backhaul links with finite capacities. Each user is associated with a user-centric cluster of BSs; the central processor shares the user's data with the BSs in the cluster, which then cooperatively serve the user through joint beamforming. Under this setup, this paper investigates the user scheduling, BS clustering and beamforming design problem from a network utility maximization perspective. Differing from previous works, this paper explicitly considers the per-BS backhaul capacity constraints. We formulate the network utility maximization problem for the downlink C-RAN under two different models depending on whether the BS clustering for each user is dynamic or static over different user scheduling time slots. In the former case, the user-centric BS cluster is dynamically optimized for each scheduled user along with the beamforming vector in each time-frequency slot, while in the latter case the user-centric BS cluster is fixed for each user and we jointly optimize the user scheduling and the beamforming vector to account for the backhaul constraints. In both cases, the nonconvex per-BS backhaul constraints are approximated using the reweighted l1-norm technique. This approximation allows us to reformulate the per-BS backhaul constraints into weighted per-BS power constraints and solve the weighted sum rate maximization problem through a generalized weighted minimum mean square error approach. This paper shows that the proposed dynamic clustering algorithm can achieve significant performance gain over existing naive clustering schemes. This paper also proposes two heuristic static clustering schemes that can already achieve a substantial portion of the gain.


title: Unshared Secret Key Cryptography

abstract: Current security techniques can be implemented with either secret key exchange or physical layer wiretap codes. In this work, we investigate an alternative solution for MIMO wiretap channels. Inspired by the artificial noise (AN) technique, we propose the unshared secret key (USK) cryptosystem, where the AN is redesigned as a one-time pad secret key aligned within the null space between transmitter and legitimate receiver. The proposed USK cryptosystem is a new physical layer cryptographic scheme, obtained by combining traditional network layer cryptography and physical layer security. Unlike previously studied artificial noise techniques, rather than ensuring non-zero secrecy capacity, the USK is valid for an infinite lattice input alphabet and guarantees Shannon's ideal secrecy and perfect secrecy, without the need of secret key exchange. We then show how ideal secrecy can be obtained for finite lattice constellations with an arbitrarily small outage.


title: Counting mountain-valley assignments for flat folds

abstract: We develop a combinatorial model of paperfolding for the purposes of enumeration. A planar embedding of a graph is called a {\em crease pattern} if it represents the crease lines needed to fold a piece of paper into something. A {\em flat fold} is a crease pattern which lies flat when folded, i.e. can be pressed in a book without crumpling. Given a crease pattern $C=(V,E)$, a {\em mountain-valley (MV) assignment} is a function $f:E\rightarrow \{$M,V$\}$ which indicates which crease lines are convex and which are concave, respectively. A MV assignment is {\em valid} if it doesn't force the paper to self-intersect when folded. We examine the problem of counting the number of valid MV assignments for a given crease pattern. In particular we develop recursive functions that count the number of valid MV assignments for {\em flat vertex folds}, crease patterns with only one vertex in the interior of the paper. We also provide examples, especially those of Justin, that illustrate the difficulty of the general multivertex case.


title: Antipodes and involutions

abstract: If H is a connected, graded Hopf algebra, then Takeuchi's formula can be used to compute its antipode. However, there is usually massive cancellation in the result. We show how sign-reversing involutions can sometimes be used to obtain cancellation-free formulas. We apply this idea to nine different examples. We rederive known formulas for the antipodes in the Hopf algebra of polynomials, the shuffle Hopf algebra, the Hopf algebra of quasisymmertic functions in both the monomial and fundamental bases, the Hopf algebra of multi-quasisymmetric functions in the fundamental basis, and the incidence Hopf algebra of graphs. We also find cancellation-free expressions for particular values of the antipode in the immaculate basis for the noncommutative symmetric functions as well as the Malvenuto-Reutenauer and Porier-Reutenauer Hopf algebras, some of which are the first of their kind. We include various conjectures and suggestions for future research.


title: Block-Sparsity-Induced Adaptive Filter for Multi-Clustering System Identification

abstract: In order to improve the performance of least mean square (LMS)-based adaptive filtering for identifying block-sparse systems, a new adaptive algorithm called block-sparse LMS (BS-LMS) is proposed in this paper. The basis of the proposed algorithm is to insert a penalty of block-sparsity, which is a mixed \$l_{2, 0}\$ norm of adaptive tap-weights with equal group partition sizes, into the cost function of traditional LMS algorithm. To describe a block-sparse system response, we first propose a Markov-Gaussian model, which can generate a kind of system responses of arbitrary average sparsity and arbitrary average block length using given parameters. Then we present theoretical expressions of the steady-state misadjustment and transient convergence behavior of BS-LMS with an appropriate group partition size for white Gaussian input data. Based on the above results, we theoretically demonstrate that BS-LMS has much better convergence behavior than \$l_0\$-LMS with the same small level of misadjustment. Finally, numerical experiments verify that all of the theoretical analysis agrees well with simulation results in a large range of parameters.


title: Space periodic Jacobi elliptic solution for triad modified Schr\"odinger equations

abstract: We present an analytical solution for triad nonlinear evolution equations with modified Schr\"odinger terms. An example for application in compressible water waves is presented.

categories: math-ph math.MP nlin.SI physics.flu-dyn physics.geo-ph


title: B\to K_1\pi(K) decays in the perturbative QCD approach

abstract: Within the framework of the perturbative QCD approach, we study the two-body charmless decays $B\to K_1(1270)(K_1(1400))\pi(K)$. We find the following results: (i) The decays $\bar B^0\to K_1(1270)^+\pi^-, K_1(1400)^+\pi^-$ are incompatible with the present experimental data. There exists a similar situation for the decays $\bar B^0\to a_1(1260)^+K^-, b_1(1235)^+K^-$, which are usually considered that the nonperturbative contributions are needed to explain the data. But the difference is that the nonperturbative contributions seem to play opposite roles in these two groups of decays.(ii) The pure annihilation type decays $\bar B^0\to K_1^{\pm}(1270)K^{\mp}, K_1^{\pm}(1400)K^{\mp}$ are good channels to test whether an approach can be used to calculate correctly the strength of the penguin-annihilation amplitudes. Their branching ratios are predicted at $10^{-7}$ order, which are larger than the QCDF results. (iii) The dependence of the direct CP-violating asymmetries of these decays on the mixing angle $\theta_{K_1}$ are also considered.


title: Extensions of the Charged Riemannian Penrose Inequality

abstract: In this paper we investigate the extension of the charged Riemannian Penrose inequality to the case where charges are present outside the horizon. We prove a positive result when the charge densities are compactly supported, and present a counterexample when the charges extend to infinity. We also discuss additional extensions to other matter models.


title: Diffraction Patterns of Layered Close-packed Structures from Hidden Markov Models

abstract: We recently derived analytical expressions for the pairwise (auto)correlation functions (CFs) between modular layers (MLs) in close-packed structures (CPSs) for the wide class of stacking processes describable as hidden Markov models (HMMs) [Riechers \etal, (2014), Acta Crystallogr.~A, XX 000-000]. We now use these results to calculate diffraction patterns (DPs) directly from HMMs, discovering that the relationship between the HMMs and DPs is both simple and fundamental in nature. We show that in the limit of large crystals, the DP is a function of parameters that specify the HMM. We give three elementary but important examples that demonstrate this result, deriving expressions for the DP of CPSs stacked (i) independently, (ii) as infinite-Markov-order randomly faulted 2H and 3C stacking structures over the entire range of growth and deformation faulting probabilities, and (iii) as a HMM that models Shockley-Frank stacking faults in 6H-SiC. While applied here to planar faulting in CPSs, extending the methods and results to planar disorder in other layered materials is straightforward. In this way, we effectively solve the broad problem of calculating a DP---either analytically or numerically---for any stacking structure---ordered or disordered---where the stacking process can be expressed as a HMM.

categories: cond-mat.mtrl-sci cs.IT math.IT math.ST stat.TH


title: Generalized Summation-by-Parts Operators for the Second Derivative with Variable Coefficients

abstract: The comprehensive generalization of summation-by-parts of Del Rey Fern\'andez et al.\ (J. Comput. Phys., 266, 2014) is extended to approximations of second derivatives with variable coefficients. This enables the construction of second-derivative operators with one or more of the following characteristics: i) non-repeating interior stencil, ii) nonuniform nodal distributions, and iii) exclusion of one or both boundary nodes. Definitions are proposed that give rise to generalized SBP operators that result in consistent, conservative, and stable discretizations of PDEs with or without mixed derivatives. It is proven that such operators can be constructed using a correction to the application of the first-derivative operator twice that is the same as used for the constant-coefficient operator. Moreover, for operators with a repeating interior stencil, a decomposition is proposed that makes the application of such operators particularly simple. A number of novel operators are constructed, including operators on pseudo-spectral nodal distributions and operators that have a repeating interior stencil, but unequal nodal spacing near boundaries. The various operators are compared to the application of the first-derivative operator twice in the context of the linear convection-diffusion equation with constant and variable coefficients.


title: Prediction of a Stable Post-Post-Perovskite Structure from First Principles

abstract: A novel stable crystallographic structure is discovered in a variety of ABO3, ABF3 and A2O3 compounds (including materials of geological relevance, prototypes of multiferroics, exhibiting strong spin-orbit effects, etc...), via the use of first principles. This novel structure appears under hydrostatic pressure, and is the first "post-post-perovskite" phase to be found. It provides a successful solution to experimental puzzles in important systems, and is characterized by one-dimensional chains linked by group of two via edge-sharing oxygen/fluorine octahedra. Such unprecedented organization automatically results in anisotropic elastic properties and new magnetic arrangements. Depending on the system of choice, this post-post-perovskite structure also possesses electronic band gaps ranging from zero to ~ 10 eV being direct or indirect in nature, which emphasizes its "universality" and its potential to have striking, e.g., electrical or transport phenomena.


title: A Complexity Indicator for 4D Flight Trajectories Based on Conflict Probability

abstract: In this paper, a complexity indicator for 4D flight trajectories is developed based on conflict probability. A 4D trajectory is modeled as piecewise linear segments connected by waypoints. The position of each aircraft is modeled as a 2D Gaussian random variable and an approximation of the conflict probability between two aircraft is deduced analytically over each segment. Based on such conflict probability, a complexity indicator is constructed for the whole trajectory. Numerical examples show that the proposed complexity indicator is able to reflect the complexity of 4D trajectories perceived by air traffic controllers.


title: Monotonicity of Avoidance Coupling on $K_N$

abstract: Answering a question by Angel, Holroyd, Martin, Wilson and Winkler, we show that the maximal number of non-colliding coupled simple random walks on the complete graph $K_N$, which take turns, moving one at a time, is monotone in $N$. We use this fact to couple $\lceil \frac N4 \rceil$ such walks on $K_N$, improving the previous $\Omega(N/\log N)$ lower bound of Angel et al. We also introduce a new generalization of simple avoidance coupling which we call partially ordered simple avoidance coupling and provide a monotonicity result for this extension as well.


title: Optimization-based State Estimation under Bounded Disturbances

abstract: This paper studies an optimization-based state estimation approach for discrete-time nonlinear systems under bounded process and measurement disturbances. We first introduce a full information estimator (FIE), which is given as a solution to minimize a cost function by using all the available measurements. Then, we prove that the FIE of an incrementally input/output-to-state stable system is robustly globally asymptotically stable under a certain class of cost functions. Moreover, the implications and relationships with related results in the literature are discussed. Finally, a simple example is included to illustrate the theoretical results.


title: Ordered combinatory algebras and realizability

abstract: We consider different classes of combinatory structures related to Krivine realizability. We show, in the precise sense that they give rise to the same class of triposes, that they are equivalent for the purpose of modeling higher-order logic. We center our attentions in the role of a special kind of Ordered Combinatory Algebras-- that we call the "Krivine ordered combinatory algebras" ($\mathcal{KOCA}$s)-- that we propose as the foundational pillars for the categorical perspective of Krivine's classical realizability as presented by Streicher. Our procedure is the following: we show that each of the considered combinatory structures gives rise to an indexed preorder, and describe a way to transform the different structures into each other that preserves the associated indexed preorders up to equivalence. Since all structures give rise to the same indexed preorders, we only prove that they are triposes once: for the class of $\mathcal{KOCA}$s. We finish showing that in $\mathcal{KOCA}$s, one can define realizability in every higher-order language and in particular in higher-order arithmetic.


title: Floquet Topological Superfluid and Majorana Zero Modes in Two-Dimensional Periodically Driven Fermi Systems

abstract: We propose a simple approach to realize two-dimensional Floquet topological superfluid by periodically tuning the depth of square optical lattice potentials. We show that the periodic driving can induce topological phase transitions between trivial superfluid and Floquet topological superfluid. For this systems we verify the anomalous bulk-boundary correspondence, namely that the robust chiral Floquet edge states can appear even when the winding number of all the bulk Floquet bands is zero. We establish the existence of two Floquet Majorana zero modes separated in the quasienergy space, with $\varepsilon_{0,\pi}=0,\pi/T$ at the topological defects.


title: Tightness and Convergence of Trimmed L\'evy Processes to Normality at Small Times

abstract: Let $^{(r,s)}X_t$ be the L\'evy process $X_t$ with the $r$ largest positive jumps and $s$ smallest negative jumps up till time $t$ deleted and let $^{(r)}\widetilde X_t$ be $X_t$ with the $r$ largest jumps in modulus up till time $t$ deleted. Let $a_t \in \mathbb{R}$ and $b_t>0$ be non-stochastic functions in $t$. We show that the tightness of $({}^{(r,s)}X_t - a_t)/b_t$ or $({}^{(r)}\widetilde X_t - a_t)/b_t$ at $0$ implies the tightness of all normed ordered jumps, hence the tightness of the untrimmed process $(X_t -a_t)/b_t$ at $0$. We use this to deduce that the trimmed process $({}^{(r,s)}X_t - a_t)/b_t$ or $({}^{(r)}\widetilde X_t - a_t)/b_t$ converges to $N(0,1)$ or to a degenerate distribution if and only if $(X_t-a_t)/b_t $ converges to $N(0,1)$ or to the same degenerate distribution, as $t \downarrow 0$.


title: Decidability of predicate logics with team semantics

abstract: We study the complexity of predicate logics based on team semantics. We show that the satisfiability problems of two-variable independence logic and inclusion logic are both NEXPTIME-complete. Furthermore, we show that the validity problem of two-variable dependence logic is undecidable, thereby solving an open problem from the team semantics literature. We also briefly analyse the complexity of the Bernays-Sch\"onfinkel-Ramsey prefix classes of dependence logic.


title: Axiomatizing Propositional Dependence Logics

abstract: We give sound and complete Hilbert-style axiomatizations for propositional dependence logic (PD), modal dependence logic (MDL), and extended modal dependence logic (EMDL) by extending existing axiomatizations for propositional logic and modal logic. In addition, we give novel labeled tableau calculi for PD, MDL, and EMDL. We prove soundness, completeness and termination for each of the labeled calculi.


title: Cylindric Young Tableaux and their Properties

abstract: Cylindric Young tableaux are combinatorial objects that first appeared in the 1990s. A natural extension of the classical notion of a Young tableau, they have since been used several times, most notably by Gessel and Krattenthaler and by Alexander Postnikov. Despite this, relatively little is known about cylindric Young tableaux. This paper is an investigation of the properties of this object. In this paper, we extend the Robinson-Schensted-Knuth Correspondence, a well-known and very useful bijection concerning regular Young tableaux, to be a correspondence between pairs of cylindric tableaux. We use this correspondence to reach further results about cylindric tableaux. We then establish an interpretation of cylindric tableaux in terms of a game involving marble-passing. Next, we demonstrate a generic method to use results concerning cylindric tableaux in order to prove results about skew Young tableaux. We finish with a note on Knuth equivalence and its analog for cylindric tableaux.


title: Success probability of the Babai estimators for box-constrained integer linear models

abstract: In many applications including communications, one may encounter a linear model where the parameter vector $\hbx$ is an integer vector in a box. To estimate $\hbx$, a typical method is to solve a box-constrained integer least squares (BILS) problem. However, due to its high complexity, the box-constrained Babai integer point $\x^\sBB$ is commonly used as a suboptimal solution. In this paper, we first derive formulas for the success probability $P^\sBB$ of $\x^\sBB$ and the success probability $P^\sOB$ of the ordinary Babai integer point $\x^\sOB$ when $\hbx$ is uniformly distributed over the constraint box. Some properties of $P^\sBB$ and $P^\sOB$ and the relationship between them are studied. Then, we investigate the effects of some column permutation strategies on $\P^\sBB$. In addition to V-BLAST and SQRD, we also consider the permutation strategy involved in the LLL lattice reduction, to be referred to as LLL-P. On the one hand, we show that when the noise is relatively small, LLL-P always increases $P^\sBB$ and argue why both V-BLAST and SQRD often increase $P^\sBB$; and on the other hand, we show that when the noise is relatively large, LLL-P always decreases $P^\sBB$ and argue why both V-BLAST and SQRD often decrease $P^\sBB$. We also derive a column permutation invariant bound on $P^\sBB$, which is an upper bound and a lower bound under these two opposite conditions, respectively. Numerical results demonstrate our findings. Finally, we consider a conjecture concerning $\x^\sOB$ proposed by Ma et al. We first construct an example to show that the conjecture does not hold in general, and then show that it does hold under some conditions.


title: On the Lorentz invariance of the Square root Klein-Gordon Equation

abstract: We show that the Born's rule is incompatible with Lorentz symmetry of the Square Root Klein-Gordon equation (SRKG equation). It has been demonstrated that the Born rule must be modified in relativistic regime if one wishes to keep the SRKG equation as the correct equation for describing quantum behavior.


title: General tree-level amplitudes by factorization limits

abstract: To find boundary contributions is a rather difficult problem when applying the BCFW recursion relation. In this paper, we propose an approach to bypass this problem by calculating general tree amplitudes that contain no polynomial using factorization limits. More explicitly, we construct an expression iteratively, which produces correct factorization limits for all physical poles, and does not contain other poles, then it should be the correct amplitude. To some extent, this approach can be considered as an alternative way to find boundary contributions. To demonstrate our approach, we present several examples: $\phi^4$ theory, pure gauge theory, Einstein-Maxwell theory, and Yukawa theory. While the amplitude allows the existence of polynomials which satisfy correct mass dimension and helicities, this approach is not applicable to determine the full amplitude.


title: On the integral representations of $|\Gamma (z)|^2$ and its Fourier transform

abstract: We derive integral representations in terms of the Macdonald functions for the square modulus $s\mapsto | \Gamma ( a + i s ) |^2$ of the Gamma function and its Fourier transform when $a<0$ and $a\not= -1,-2,\ldots $, generalizing known results in the case $a>0$. This representation is based on a renormalization argument using modified Bessel functions of the second kind, and it applies to the representation of the solutions of the Fokker-Planck equation.


title: Jet-dilepton conversion in expanding quark-gluon plasma

abstract: We calculate the production of large mass dileptons from the jet-dilepton conversion in the expanding quark-gluon plasma at Relativistic Heavy Ion Collider (RHIC) and Large Hadron Collider (LHC) energies. The jet-dilepton conversion exceeds the thermal dilepton production and Drell-Yan process in the large mass region of 3.9 GeV$<M<$5.8 GeV and 6.3 GeV$<M<$8.7 GeV in central Pb+Pb collisions at $\sqrt{s_{NN}}$=2.76 TeV and 5.5 TeV, respectively. We present the numerical solution of ideal fluid hydrodynamics. We find that the transverse flow leads to a rapid cooling of the fire ball. The suppression due to transverse flow is appeared from small to large mass, the transverse flow effect becomes important at LHC energies. The energy loss of jets in the hot and dense medium is also included.


title: Dark energy, QCD axion, BICEP2, and trans-Planckian decay constant

abstract: Discrete symmetries allowed in string compactification are the mother of all global symmetries which are broken at some level. We discuss the resulting pseudo-Goldstone bosons, in particular the QCD axion and a temporary cosmological constant, and inflatons. We also comment on some implications of the recent BICEP2 data.


title: Constraints on the Nambu-Goto cosmic string contribution to the CMB power spectrum in light of new temperature and polarisation data

abstract: Cosmic strings generate vector and tensor modes in the B-channel of polarization, as well as the usual temperature power spectrum and E-mode polarization spectrum. We use the power spectrum obtained from high-resolution Nambu-Goto cosmic string simulations together with the Planck and BICEP2 likelihoods to explore the degeneracies appearing between cosmic strings and other cosmological parameters in different inflationary scenarios, as well as the constraints that can be imposed on cosmic strings in each of these situations. In standard $\Lambda$CDM, the Planck likelihood yields an upper limit $G\mu<1.49 \times 10^{-7}$ (95% confidence). We also analyse the possibility of explaining the BB power spectrum signal recently detected by the BICEP2 probe. We find that cosmic strings alone are able to explain only part of the B-mode polarization signal. Apart from the standard $\Lambda$CDM model, we look at the following non-minimal parameters: the running of the spectral index, non-zero tensor-to-scalar ratio, additional degrees of freedom ($N_{eff}$) and sterile neutrinos. We find that in both Planck and BICEP2 scenarios adding $N_{eff}$ induces degeneracies between cosmic strings and $N_{eff}$ and other $\Lambda$CDM parameters. With $N_{eff}$ a larger contribution from cosmic strings is allowed, even favoured, but after combining with large-scale structure data, such as BAOs, strings remain strongly constrained.


title: Soft Theorem of N=4 SYM in Grassmannian Formulation

abstract: Inspired by the new soft theorem in gravity by Cachazo and Strominger, the soft theorem for color-ordered Yang-Mills amplitudes has also been identified by Casali. In this note, the same content of N=4 SYM using the Grassmannian formulation is studied. Explicitly, in the holomorphic soft limit, we reduce the n-particle amplitude in terms of Grassmannian contour integrations into the deformed (n-1)-particle amplitude by localizing k variables relevant to the n-th particle. Afterwards, the leading soft factor and sub-leading soft operator naturally emerge.


title: Activity and quiescence in galaxies at redshifts 1.4<z<3.5. The role of the starburst temperature

abstract: We investigate 'activity' and 'quiescence' in galaxies at relatively high redshifts by modelling the line(and continuum) spectra of each object. The models account consistently for photoionization and shocks. We claim that the starburst effective temperature, the flux from an AGN, and the shock velocity are critical to activity. The results confirm that two sample galaxies show intense starburst activity with temperatures reaching Ts=2x10^5K and shock velocities Vs> 250 km/s, while for the remaining galaxies of our sample the models show quiescent star formation with Ts< 7x10^4K. A Seyfert 2 like AGN is proposed in one galaxy. The O/H relative abundances derived by the detailed modelling of the spectra are nearly solar for all the sample galaxies, in contrast to those obtained by direct methods.


title: Exploring maximally multipartite entanglement of even n qubits with N-tangle

abstract: A necessary condition of the maximally multipartite entangled states (MMES) is given via n-tangle. The condition shows that the n-tangle equal zero for the four-, and eight-qubit of MMESs and the n-tangle equal 1 for two- and six- qubits of MMESs. Furthermore,we give the theoretical limitation for maximally ten-qubit and twelve-qubit entangled states. We conjecture that 4n-qubit states of MMES should have n-tangle equal zero and 4n+2-qubit states of MMES should have n-tangle equal one.


title: On the parity conjecture in finite-slope families

abstract: We generalize to the finite-slope setting several techniques due to Nekovar concerning the parity conjecture for self-dual motives. In particular we show that, for a $p$-adic analytic family, with irreducible base, of symplectic self-dual global Galois representations whose $(\varphi,\Gamma)$-modules at places lying over $p$ satisfy a Panchishkin condition, the validity of the parity conjecture is constant among all specializations that are pure. As an application, we extend some other results of Nekovar for Hilbert modular forms from the ordinary case to the finite-slope case.


title: Exponential attractors for abstract equations with memory and applications to viscoelasticity

abstract: We consider an abstract equation with memory of the form $$\partial_t \boldsymbol{x}(t)+\int_{0}^\infty k(s) \boldsymbol{A}\boldsymbol{x}(t-s){\rm d} s+\boldsymbol{B}\boldsymbol{x}(t)=0$$ where $\boldsymbol{A},\boldsymbol{B}$ are operators acting on some Banach space, and the convolution kernel $k$ is a nonnegative convex summable function of unit mass. The system is translated into an ordinary differential equation on a Banach space accounting for the presence of memory, both in the so-called history space framework and in the minimal state one. The main theoretical result is a theorem providing sufficient conditions in order for the related solution semigroups to possess finite-dimensional exponential attractors. As an application, we prove the existence of exponential attractors for the integrodifferential equation $$\partial_{tt} u - h(0)\Delta u - \int_{0}^\infty h'(s) \Delta u(t-s){\rm d} s+ f(u) = g$$ arising in the theory of isothermal viscoelasticity, which is just a particular concrete realization of the abstract model, having defined the new kernel $h(s)=k(s)+1$.


title: Subgroups of the upper-triangular matrix group with maximal derived length and a minimal number of generators

abstract: The group U_n(F) of all nxn unipotent upper-triangular matrices over F has derived length d := Ceiling(log_2 (n)), equivalently 2^{d-1} < n <= 2^d. We prove that U_n(F) has a 3-generated subgroup of derived length d, and it has a 2-generated subgroup of derived length d if and only if (21/32)* 2^d < n <= 2^d.


title: Gowers Norm, Function Limits, and Parameter Estimation

abstract: Let $\{f_i:\mathbb{F}_p^i \to \{0,1\}\}$ be a sequence of functions, where $p$ is a fixed prime and $\mathbb{F}_p$ is the finite field of order $p$. The limit of the sequence can be syntactically defined using the notion of ultralimit. Inspired by the Gowers norm, we introduce a metric over limits of function sequences, and study properties of it. One application of this metric is that it provides a characterization of affine-invariant parameters of functions that are constant-query estimable. Using this characterization, we show that the property of being a function of a constant number of low-degree polynomials and a constant number of factored polynomials (of arbitrary degrees) is constant-query testable if it is closed under blowing-up. Examples of this property include the property of having a constant spectral norm and degree-structural properties with rank conditions.


title: Strong law of large number for branching Hunt processes

abstract: In this paper we prove that, under certain conditions, a strong law of large number holds for a class of branching particle systems $X$ corresponding to the parameters $(Y,\beta,\psi)$, where $Y$ is a Hunt process and $\psi$ is the generating function for the offspring. The main tool of this paper is the spine decomposition and we only need a $L\log L$ condition.


title: Prior Support Knowledge-Aided Sparse Bayesian Learning with Partly Erroneous Support Information

abstract: It has been shown both experimentally and theoretically that sparse signal recovery can be significantly improved given that part of the signal's support is known \emph{a priori}. In practice, however, such prior knowledge is usually inaccurate and contains errors. Using such knowledge may result in severe performance degradation or even recovery failure. In this paper, we study the problem of sparse signal recovery when partial but partly erroneous prior knowledge of the signal's support is available. Based on the conventional sparse Bayesian learning framework, we propose a modified two-layer Gaussian-inverse Gamma hierarchical prior model and, moreover, an improved three-layer hierarchical prior model. The modified two-layer model employs an individual parameter $b_i$ for each sparsity-controlling hyperparameter $\alpha_i$, and has the ability to place non-sparsity-encouraging priors to those coefficients that are believed in the support set. The three-layer hierarchical model is built on the modified two-layer prior model, with a prior placed on the parameters $\{b_i\}$ in the third layer. Such a model enables to automatically learn the true support from partly erroneous information through learning the values of the parameters $\{b_i\}$. Variational Bayesian algorithms are developed based on the proposed hierarchical prior models. Numerical results are provided to illustrate the performance of the proposed algorithms.


title: Abstraction Refinement for Trace Inclusion of Infinite State Systems

abstract: A \emph{data automaton} is a finite automaton equipped with variables (counters or registers) ranging over infinite data domains. A trace of a data automaton is an alternating sequence of alphabet symbols and values taken by the counters during an execution of the automaton. The problem addressed in this paper is the inclusion between the sets of traces (data languages) recognized by such automata. Since the problem is undecidable in general, we give a semi-algorithm based on abstraction refinement, which is proved to be sound and complete, but whose termination is not guaranteed. We have implemented our technique in a~prototype tool and show promising results on several non-trivial examples.


title: Signature of Non-Abelian to Abelian Transition in Spin Systems Through Geometric Phase

abstract: Abelian and Non-Abelian evolution of a quantum system manifests differently in the geometric phase acquired by the system under such evolutions. In this work we develop and study, using dressed state techniques, an experimentally realizable spin system which allows us to transit smoothly from non-Abelian to Abelian evolutions by changing externally controllable parameters. The study provides insights into the underlying physical phenomenon governing such a transition allowing us greater control on phase generation in a quantum system. The robustness of geometric phase against fluctuations of the external parameters of the system has also been studied in this work. The noise analysis has direct consequence on the present search for fault tolerant quantum gates using geometric phase.


title: Dense 3D Face Correspondence

abstract: We present an algorithm that automatically establishes dense correspondences between a large number of 3D faces. Starting from automatically detected sparse correspondences on the outer boundary of 3D faces, the algorithm triangulates existing correspondences and expands them iteratively by matching points of distinctive surface curvature along the triangle edges. After exhausting keypoint matches, further correspondences are established by generating evenly distributed points within triangles by evolving level set geodesic curves from the centroids of large triangles. A deformable model (K3DM) is constructed from the dense corresponded faces and an algorithm is proposed for morphing the K3DM to fit unseen faces. This algorithm iterates between rigid alignment of an unseen face followed by regularized morphing of the deformable model. We have extensively evaluated the proposed algorithms on synthetic data and real 3D faces from the FRGCv2, Bosphorus, BU3DFE and UND Ear databases using quantitative and qualitative benchmarks. Our algorithm achieved dense correspondences with a mean localisation error of 1.28mm on synthetic faces and detected $14$ anthropometric landmarks on unseen real faces from the FRGCv2 database with 3mm precision. Furthermore, our deformable model fitting algorithm achieved 98.5% face recognition accuracy on the FRGCv2 and 98.6% on Bosphorus database. Our dense model is also able to generalize to unseen datasets.


title: EPR and Nonlocality: Understood in terms of Kuramoto Synchronisation

abstract: A new way of understanding the non local correlation effects observed in the 'Twin Photon' EPR experiment is presented. The theory is based on a vector version of the Kuramoto sychronisation for coupled non linear oscillators. EPR correlation is obtained without the use of superluminal signals. Bell's inequality is used to confirm that the local theory developed can still violate the inequality resolving the non local nature of the correlation.


title: Orbifold melting crystal models and reductions of Toda hierarchy

abstract: Orbifold generalizations of the ordinary and modified melting crystal models are introduced. They are labelled by a pair $a,b$ of positive integers, and geometrically related to $\mathbf{Z}_a\times\mathbf{Z}_b$ orbifolds of local $\mathbf{CP}^1$ geometry of the $\mathcal{O}(0)\oplus\mathcal{O}(-2)$ and $\mathcal{O}(-1)\oplus\mathcal{O}(-1)$ types. The partition functions have a fermionic expression in terms of charged free fermions. With the aid of shift symmetries in a fermionic realization of the quantum torus algebra, one can convert these partition functions to tau functions of the 2D Toda hierarchy. The powers $L^a,\bar{L}^{-b}$ of the associated Lax operators turn out to take a special factorized form that defines a reduction of the 2D Toda hierarchy. The reduced integrable hierarchy for the orbifold version of the ordinary melting crystal model is the bi-graded Toda hierarchy of bi-degree $(a,b)$. That of the orbifold version of the modified melting crystal model is the rational reduction of bi-degree $(a,b)$. This result seems to be in accord with recent work of Brini et al. on a mirror description of the genus-zero Gromov-Witten theory on a $\mathbf{Z}_a\times\mathbf{Z}_b$ orbifold of the resolved conifold.


title: Weak convergence theorems for equilibrium problems and generalized Hybrid mappings

abstract: In this paper, we introduce a new modified Ishikawa iteration for finding a common element of the set of solutions of an equilibrium problem and the set of fixed points of generalized hybrid mappings in a Hilbert space. Our results generalize, extend and enrich some existing results in the literature.


title: Mixing Color Coding-Related Techniques

abstract: Narrow sieves, representative sets and divide-and-color are three breakthrough color coding-related techniques, which led to the design of extremely fast parameterized algorithms. We present a novel family of strategies for applying mixtures of them. This includes: (a) a mix of representative sets and narrow sieves; (b) a faster computation of representative sets under certain separateness conditions, mixed with divide-and-color and a new technique, "balanced cutting"; (c) two mixtures of representative sets, iterative compression and a new technique, "unbalanced cutting". We demonstrate our strategies by obtaining, among other results, significantly faster algorithms for $k$-Internal Out-Branching and Weighted 3-Set $k$-Packing, and a framework for speeding-up the previous best deterministic algorithms for $k$-Path, $k$-Tree, $r$-Dimensional $k$-Matching, Graph Motif and Partial Cover.


title: The translating soliton of mean curvature flow

abstract: We study some basic problems of translating solitons: the volume growth, generalized maximum principle, Gauss maps and certain functions related to the Gauss maps, finally we carry out point-wise estimates and integral estimates for the squared norm of the second fundamental form. Those estimates give rigidity theorems for translating solitons in the Euclidean space in higher codimension.


title: Double parton interactions in $\gamma p, \gamma A$ collisions in the direct photon kinematics

abstract: We derive expressions for the differential distributions and the total cross section of double- parton interaction in direct photon interaction with proton and nuclei. We demonstrate that in this case the cross section is more directly related to the nucleon generalized parton distribution than in the case of double parton interactions in the proton - proton collisions. We focus on the production of two dijets each containing charm (anticharm) quarks and carrying $x_1,x_2>0.2$ fractions of the photon momentum. Numerical results are presented for the case of $\gamma p$ collisions at LHeC, HERA and in the ultraperipheral $AA$ and $pA$ collisions at the LHC. We find that the events of this kind would be abundantly produced at the LHeC. For $\sqrt{s}=1.3$ TeV the expected rate is $2\cdot 10^8$ events for the luminosity $10^{34}$ cm$^{-2}s^{-1}$, the running time of $10^6$ s and the transverse cutoff of $p_t>5$ GeV. This would make it feasible to use these processes for the model independent determination of two parton GPDs in nucleon and in nuclei. For HERA the total accumulated number of the events is also high, but efficiency of the detection of charm seems too low to study the process. We also find that a significant number of such double parton interactions should be produced in $p - Pb$ and $Pb- Pb$ collisions at the LHC: $\sim 6\cdot 10^4$ for $Pb-Pb$, and $\sim 7 \cdot 10^3$ for $p-Pb$ collisions for the same transverse momentum cutoff.


title: Quantum gravity corrections to the tunneling radiation of scalar particles

abstract: The original derivation of Hawking radiation shows the complete evaporation of black holes. However, theories of quantum gravity predict the existence of the minimal observable length. In this paper, we investigate the tunneling radiation of the scalar particles by introducing quantum gravity effects influenced by the generalized uncertainty principle. The Hawking temperatures are not only determined by the properties of the black holes, but also affected by the quantum numbers of the emitted particles. The quantum gravity corrections slow down the increase of the temperatures. The remnants are found during the evaporation.


title: Quantifying non-Markovianity for a chromophore-qubit pair in a super-Ohmic bath

abstract: An approach based on a non-Markovian time-convolutionless polaron master equation is used to probe the quantum dynamics of a chromophore-qubit in a super-Ohmic bath. Utilizing a measure of non-Markovianity based on dynamical fixed points, we study the effects of the environment temperature and the coupling strength on the non-Markovian behavior of the chromophore in a super-Ohmic bath. It is found that an increase in the temperature results in a reduction in the backflow information from the environment to the chromophore, and therefore, a suppression of non-Markovianity. In the weak coupling regime, increasing coupling strength will enhance the non- Markovianity, while the effect is reversed in the strong coupling regime.


title: Embeddings of maximal tori in classical groups and explicit Brauer-Manin obstruction

abstract: Embeddings of maximal tori into classical groups over global fields of characteristic not 2 are the subject matter of several recent papers, with special attention to the Hasse principle. The present paper gives necessary and sufficient conditions for this embedding problem, and in particular for the Hasse principle to hold. Using work of Borovoi, this is interpreted as a Brauer-Manin type obstruction.


title: RHOMOLO: A Dynamic Spatial General Equilibrium Model for Assessing the Impact of Cohesion Policy

abstract: The paper presents the newly developed dynamic spatial general equilibrium model of European Commission, RHOMOLO. The model incorporates several elements from economic geography in a novel and theoretically consistent way. It describes the location choice of different types of agents and captures the interplay between agglomeration and dispersion forces in determining the spatial equilibrium. The model is also dynamic as it allows for the accumulation of factors of production, human capital and technology. This makes RHOMOLO well suited for simulating policy scenario related to the EU cohesion policy and for the analysis of its impact on the regions and the Member States of the union.


title: Classification of Ricci solitons on Euclidean hypersurfaces

abstract: A Ricci soliton $(M,g,v,\lambda)$ on a Riemannian manifold $(M,g)$ is said to have concurrent potential field if its potential field $v$ is a concurrent vector field. Ricci solitons arisen from concurrent vector fields on Riemannian manifolds were studied recently in \cite{CD2}. The most important concurrent vector field is the position vector field on Euclidean submanifolds. In this paper we completely classify Ricci solitons on Euclidean hypersurfaces arisen from the position vector field of the hypersurfaces.


title: Towards SiPM camera for current and future generations of Cherenkov telescopes

abstract: So far the current ground-based Imaging Atmospheric Cherenkov Telescopes (IACTs) have energy thresholds in the best case in the range of ~30 to 50 GeV (H.E.S.S. II and MAGIC telescopes). Lowest energy gamma-ray showers produce low light intensity images and cannot be efficiently separated from dominating images from hadronic background. A cost effective way of improving the telescope performance at lower energies is to use novel photosensors with superior photon detection efficiency (PDE). Currently the best commercially available superbialkali photomultipliers (PMTs) have a PDE of about 30-33%, whereas the silicon photomultipliers (SiPMs, also known as MPPC, GAPD) from some manufacturers show a photon detection efficiency of about 40-45%. Using these devices can lower the energy threshold of the instrument and may improve the background rejection due to intrinsic properties of SiPMs such as a superb single photoelectron resolution. Compared to PMTs, SiPMs are more compact, fast in response, operate at low voltage, and are insensitive to magnetic fields. SiPMs can be operated at high background illumination, which would allow to operate the IACT also during partial moonlight, dusk and dawn, hence increasing the instrument duty cycle. We are testing the SiPMs for Cherenkov telescopes such as MAGIC and CTA. Here we present an overview of our setup and first measurements, which we perform in two independent laboratories, in Munich, Germany and in Barcelona, Spain.


title: Effects of quantum gravity on black holes

abstract: In this review, we discuss effects of quantum gravity on black hole physics. After a brief review of the origin of the minimal observable length from various quantum gravity theories, we present the tunneling method. To incorporate quantum gravity effects, we modify the Klein-Gordon equation and Dirac equation by the modified fundamental commutation relations. Then we use the modified equations to discuss the tunneling radiation of scalar particles and fermions. The corrected Hawking temperatures are related to the quantum numbers of the emitted particles. Quantum gravity corrections slow down the increase of the temperatures. The remnants are observed as $M_{\hbox{Res}}\gtrsim \frac{M_p}{\sqrt{\beta_0}}$. The mass is quantized by the modified Wheeler-DeWitt equation and is proportional to $n$ in quantum gravity regime. The thermodynamical property of the black hole is studied by the influence of quantum gravity effects.


title: Harnessing the power of Social Bookmarking for improving tag-based Recommendations

abstract: Social bookmarking and tagging has emerged a new era in user collaboration. Collaborative Tagging allows users to annotate content of their liking, which via the appropriate algorithms can render useful for the provision of product recommendations. It is the case today for tag-based algorithms to work complementary to rating-based recommendation mechanisms to predict the user liking to various products. In this paper we propose an alternative algorithm for computing personalized recommendations of products, that uses exclusively the tags provided by the users. Our approach is based on the idea of using the semantic similarity of the user-provided tags for clustering them into groups of similar meaning. Afterwards, some measurable characteristics of users' Annotation Competency are combined with other metrics, such as user similarity, for computing predictions. The evaluation on data used from a real-world collaborative tagging system, citeUlike, confirmed that our approach outperforms the baseline Vector Space model, as well as other state of the art algorithms, predicting the user liking more accurately.


title: Upgrade of the MAGIC telescopes

abstract: The MAGIC telescopes are two Imaging Atmospheric Cherenkov Telescopes (IACTs) located on the Canary island of La Palma. With 17m diameter mirror dishes and ultra-fast electronics, they provide an energy threshold as low as 50 GeV for observations at low zenith angles. The first MAGIC telescope was taken in operation in 2004 whereas the second one joined in 2009. In 2011 we started a major upgrade program to improve and to unify the stereoscopic system of the two similar but at that time different telescopes. Here we report on the upgrade of the readout electronics and digital trigger of the two telescopes, the upgrade of the camera of the MAGIC I telescope as well as the commissioning of the system after this major upgrade.


title: Reducing ion energy spread in hole-boring radiation pressure acceleration by using two-ion-species targets

abstract: The generation of fast ion beams in the hole-boring radiation pressure acceleration by intense laser pulses has been studied for targets with different ion components. We find that the oscillation of the longitudinal electric field for accelerating ions can be effectively suppressed by using a two-ion-species target, because fast ions from a two-ion-species target are distributed into more bunches and each bunch bears less charge. Consequently, the energy spread of ion beams generated in the hole-boring radiation pressure acceleration can be greatly reduced down to 3.7% according to our numerical simulation.


title: Some insights on bicategories of fractions - II

abstract: We fix any bicategory $\mathscr{A}$ together with a class of morphisms $\mathbf{W}_{\mathscr{A}}$, such that there is a bicategory of fractions $\mathscr{A}[\mathbf{W}_{\mathscr{A}}^{-1}]$. Given another such pair $(\mathscr{B},\mathbf{W}_{\mathscr{B}})$ and any pseudofunctor $\mathcal{F}:\mathscr{A}\rightarrow\mathscr{B}$, we find necessary and sufficient conditions in order to have an induced pseudofunctor $\mathcal{G}:\mathscr{A}[\mathbf{W}_{\mathscr{A}}^{-1}]\rightarrow \mathscr{B}[\mathbf{W}_{\mathscr{B}}^{-1}]$. Moreover, we give a simple description of $\mathcal{G}$ in the case when the class $\mathbf{W}_{\mathscr{B}}$ is "right saturated".


title: A Parallel Stochastic Approximation Method for Nonconvex Multi-Agent Optimization Problems

abstract: Consider the problem of minimizing the expected value of a (possibly nonconvex) cost function parameterized by a random (vector) variable, when the expectation cannot be computed accurately (e.g., because the statistics of the random variables are unknown and/or the computational complexity is prohibitive). Classical sample stochastic gradient methods for solving this problem may empirically suffer from slow convergence. In this paper, we propose for the first time a stochastic parallel Successive Convex Approximation-based (best-response) algorithmic framework for general nonconvex stochastic sum-utility optimization problems, which arise naturally in the design of multi-agent systems. The proposed novel decomposition enables all users to update their optimization variables in parallel by solving a sequence of strongly convex subproblems, one for each user. Almost surely convergence to stationary points is proved. We then customize our algorithmic framework to solve the stochastic sum rate maximization problem over Single-Input-Single-Output (SISO) frequency-selective interference channels, multiple-input-multiple-output (MIMO) interference channels, and MIMO multiple-access channels. Numerical results show that our algorithms are much faster than state-of-the-art stochastic gradient schemes while achieving the same (or better) sum-rates.


title: On the Provenance of Linked Data Statistics

abstract: As the amount of linked data published on the web grows, attempts are being made to describe and measure it. However even basic statistics about a graph, such as its size, are difficult to express in a uniform and predictable way. In order to be able to sensibly interpret a statistic it is necessary to know how it was calculate. In this paper we survey the nature of the problem and outline a strategy for addressing it.


title: Learning Vague Concepts for the Semantic Web

abstract: Ontologies can be a powerful tool for structuring knowledge, and they are currently the subject of extensive research. Updating the contents of an ontology or improving its interoperability with other ontologies is an important but difficult process. In this paper, we focus on the presence of vague concepts, which are pervasive in natural language, within the framework of formal ontologies. We will adopt a framework in which vagueness is captured via numerical restrictions that can be automatically adjusted. Since updating vague concepts, either through ontology alignment or ontology evolution, can lead to inconsistent sets of axioms, we define and implement a method to detecting and repairing such inconsistencies in a local fashion.


title: Cryptanalysis and improvement of a quantum-communication-based online shopping mechanism

abstract: Recently, Chou et al. [Electron Commer Res, DOI 10.1007/s10660-014-9143-6] presented a novel controlled quantum secure direct communication protocol which can be used for online shopping. The authors claimed that their protocol was immune to the attacks from both external eavesdropper and internal betrayer. However, we find that this protocol is vulnerable to the attack from internal betrayer. In this paper, we analyze the security of this protocol to show that the controller in this protocol is able to eavesdrop the secret information of the sender (i.e., the customer's shopping information), which indicates that it cannot be used for secure online shopping as the authors expected. Moreover, an improvement to resist the controller's attack is proposed.


title: Coexistence and competition of ferromagnetism and p-wave superconductivity in holographic model

abstract: By combining a holographic p-wave superconductor model and a holographic ferromagnetism model, we study the coexistence and competition of ferromagnetism and p-wave superconductivity. It is found that the results depend on the self-interaction of magnetic moment of the complex vector field and which phase appears first. In the case that the ferromagnetic phase appears first, if the interaction is attractive, the system shows the ferromagnetism and superconductivity can coexist in low temperatures. If the interaction is repulsive, the system will only be in a pure ferromagnetic state. In the case that the superconducting phase appears first, the attractive interaction will leads to a magnetic p-wave superconducting phase in low temperatures. If the interaction is repulsive, the system will be in a pure p-wave superconducting phase or ferromagnetic phase when the temperature is lowered.

categories: hep-th cond-mat.str-el cond-mat.supr-con gr-qc


title: A categorification of the Alexander polynomial in embedded contact homology

abstract: Given a transverse knot $K$ in a three dimensional contact manifold $(Y,\alpha)$, in [13] Colin, Ghiggini, Honda and Hutchings define a hat version of embedded contact homology for $K$, that we call $\widehat{ECK}(K,Y,\alpha)$, and conjecture that it is isomorphic to the knot Floer homology $\widehat{HFK}(K,Y)$. We define here a full version $ECK(K,Y,\alpha)$ and generalise the definitions to the case of links. We prove then that, if $Y = S^3$, $ECK$ and $\widehat{ECK}$ categorify the (multivariable) Alexander polynomial of knots and links, obtaining expressions analogue to that for knot and link Floer homologies in the plus and, respectively, hat versions.


title: Test of Independence for High-dimensional Random Vectors Based on Block Correlation Matrices

abstract: In this paper, we are concerned with the independence test for $k$ high-dimensional sub-vectors of a normal vector, with fixed positive integer $k$. A natural high-dimensional extension of the classical sample correlation matrix, namely block correlation matrix, is raised for this purpose. We then construct the so-called Schott type statistic as our test statistic, which turns out to be a particular linear spectral statistic of the block correlation matrix. Interestingly, the limiting behavior of the Schott type statistic can be figured out with the aid of the Free Probability Theory and the Random Matrix Theory. Specifically, we will bring the so-called real second order freeness for Haar distributed orthogonal matrices, derived in \cite{MP2013}, into the framework of this high-dimensional testing problem. Our test does not require the sample size to be larger than the total or any partial sum of the dimensions of the $k$ sub-vectors. Simulated results show the effect of the Schott type statistic, in contrast to those of the statistics proposed in \cite{JY2013} and \cite{JBZ2013}, is satisfactory. Real data analysis is also used to illustrate our method.


title: Stability for Receding-horizon Stochastic Model Predictive Control

abstract: A stochastic model predictive control (SMPC) approach is presented for discrete-time linear systems with arbitrary time-invariant probabilistic uncertainties and additive Gaussian process noise. Closed-loop stability of the SMPC approach is established by appropriate selection of the cost function. Polynomial chaos is used for uncertainty propagation through system dynamics. The performance of the SMPC approach is demonstrated using the Van de Vusse reactions.


title: The Main-Belt Comets: The Pan-STARRS1 Perspective

abstract: We analyze 760475 observations of 333026 main-belt objects obtained by the Pan-STARRS1 (PS1) survey telescope between 2012 May 20 and 2013 November 9, a period during which PS1 discovered two main-belt comets, P/2012 T1 (PANSTARRS) and P/2013 R3 (Catalina-PANSTARRS). PS1 comet detection procedures currently consist of the comparison of the point spread functions (PSFs) of moving objects to those of reference stars, and the flagging of objects that show anomalously large radial PSF widths. Based on the number of missed discovery opportunities among comets discovered by other observers, we estimate an upper limit comet discovery efficiency rate of ~70% for PS1. Additional analyses that could improve comet discovery yields in future surveys include linear PSF analysis, modeling of trailed stellar PSFs for comparison to trailed moving object PSFs, searches for azimuthally localized activity, comparison of point-source-optimized photometry to extended-source-optimized photometry, searches for photometric excesses in objects with known absolute magnitudes, and crowd-sourcing. Analysis of PS1 survey statistics indicates an expected fraction of 59 MBCs per 10^6 outer main-belt asteroids, and a 95% confidence upper limit of 96 MBCs per 10^6 outer main-belt asteroids. We note that more sensitive future surveys could detect many more MBCs than estimated here. We find an excess of high eccentricities (0.1 < e < 0.3) among all known MBCs relative to the background asteroid population. Theoretical calculations show that, given these eccentricities, the sublimation rate for a typical MBC is orders of magnitude larger at perihelion than at aphelion, providing a plausible physical explanation for the observed behavior of MBCs peaking in observed activity strength near perihelion.


title: On the Capacity Regions of Two-Way Diamond Channels

abstract: In this paper, we study the capacity regions of two-way diamond channels. We show that for a linear deterministic model the capacity of the diamond channel in each direction can be simultaneously achieved for all values of channel parameters, where the forward and backward channel parameters are not necessarily the same. We divide the achievability scheme into three cases, depending on the forward and backward channel parameters. For the first case, we use a reverse amplify-and-forward strategy in the relays. For the second case, we use four relay strategies based on the reverse amplify-and-forward with some modifications in terms of replacement and repetition of some stream levels. For the third case, we use two relay strategies based on performing two rounds of repetitions in a relay. The proposed schemes for deterministic channels are used to find the capacity regions within constant gaps for two special cases of the Gaussian two-way diamond channel. First, for the general Gaussian two-way relay channel with a simple coding scheme the smallest gap is achieved compared to the prior works. Then, a special symmetric Gaussian two-way diamond model is considered and the capacity region is achieved within four bits.


title: CP-chains and dimension preservation for projections of $(\times m,\times n)$-invariant Gibbs measures

abstract: Dimension conservation for almost every projection has been well-established by the work of Marstrand, Mattila and Hunt and Kaloshin. More recently, Hochman and Shmerkin used CP-chains, a tool first introduced by Furstenberg, to prove all projections preserve dimension of measures on $[0,1]^2$ that are the product of a $\times m$-invariant and a $\times n$-invariant measure (for $m$, $n$ multiplicatively independent). Using these tools, Ferguson, Fraser and Sahlsten extended that conservation result to $(\times m,\times n)$-invariant measures that are the pushforward of a Bernoulli scheme under the $(m,n)$-adic symbolic encoding. Their proof relied on a parametrization of conditional measures which could not be extended beyond the Bernoulli case. In this work, we extend their result from Bernoulli measures to Gibbs measures on any transitive SFT. Rather than attempt a similar parametrization, the proof is achieved by reducing the problem to that of the pointwise convergence of a double ergodic average which is known to hold when the system is exact.


title: Block Circulant Graphs and the Graphs of Critical Pairs of a Crown

abstract: In this paper, we provide a natural bijection between a special family of block circulant graphs and the graphs of critical pairs of the posets known as generalized crowns. In particular, every graph in this family of block circulant graphs we investigate has a generating block row that follows a symmetric growth pattern of the all ones matrix. The natural bijection provides an upper bound on the chromatic number for this infinite family of graphs.


title: Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs

abstract: This paper shows that it is possible to reason about the safety and termination of programs handling potentially cyclic, singly-linked lists using propositional reasoning even when the safety invariants and termination arguments depend on constraints over the lengths of lists. For this purpose, we propose the theory SLH of singly-linked lists with length, which is able to capture non-trivial interactions between shape and arithmetic. When using the theory of bit-vector arithmetic as a background, SLH is efficiently decidable via a reduction to SAT. We show the utility of SLH for software verification by using it to express safety invariants and termination arguments for programs manipulating potentially cyclic, singly-linked lists with unrestricted, unspecified sharing. We also provide an implementation of the decision procedure and use it to check safety and termination proofs for several heap-manipulating programs.


title: Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs

abstract: Proving program termination is typically done by finding a well-founded ranking function for the program states. Existing termination provers typically find ranking functions using either linear algebra or templates. As such they are often restricted to finding linear ranking functions over mathematical integers. This class of functions is insufficient for proving termination of many terminating programs, and furthermore a termination argument for a program operating on mathematical integers does not always lead to a termination argument for the same program operating on fixed-width machine integers. We propose a termination analysis able to generate nonlinear, lexicographic ranking functions and nonlinear recurrence sets that are correct for fixed-width machine arithmetic and floating-point arithmetic Our technique is based on a reduction from program \emph{termination} to second-order \emph{satisfaction}. We provide formulations for termination and non-termination in a fragment of second-order logic with restricted quantification which is decidable over finite domains. The resulted technique is a sound and complete analysis for the termination of finite-state programs with fixed-width integers and IEEE floating-point arithmetic.


title: An SO(3)$\times$SO(3) invariant solution of $D=11$ supergravity

abstract: We construct a new SO(3)$\times$SO(3) invariant non-supersymmetric solution of the bosonic field equations of $D=11$ supergravity from the corresponding stationary point of maximal gauged $N=8$ supergravity by making use of the non-linear uplift formulae for the metric and the 3-form potential. The latter are crucial as this solution appears to be inaccessible to traditional techniques of solving Einstein's field equations, and is arguably the most complicated closed form solution of this type ever found. The solution is also a promising candidate for a stable non-supersymmetric solution of M-theory uplifted from gauged supergravity. The technique that we present here may be applied more generally to uplift other solutions of gauged supergravity.


title: The jumping coefficients of non-Q-Gorenstein multiplier ideals

abstract: Let $\mathfrak a \subset \mathscr O_X$ be a coherent ideal sheaf on a normal complex variety $X$, and let $c \ge 0$ be a real number. De Fernex and Hacon associated a multiplier ideal sheaf to the pair $(X, \mathfrak a^c)$ which coincides with the usual notion whenever the canonical divisor $K_X$ is $\mathbb Q$-Cartier. We investigate the properties of the jumping numbers associated to these multiplier ideals. We show that the set of jumping numbers of a pair is unbounded, countable and satisfies a certain periodicity property. We then prove that the jumping numbers form a discrete set of real numbers if the locus where $K_X$ fails to be $\mathbb Q$-Cartier is zero-dimensional. It follows that discreteness holds whenever $X$ is a threefold with rational singularities. Furthermore, we show that the jumping numbers are rational and discrete if one removes from $X$ a closed subset $W \subset X$ of codimension at least three, which does not depend on $\mathfrak a$. We also obtain that outside of $W$, the multiplier ideal reduces to the test ideal modulo sufficiently large primes $p \gg 0$.


title: Comparing CSI and PCA in Amalgamation with JPEG for Spectral Image Compression

abstract: Continuing our previous research on color image compression, we move towards spectral image compression. This enormous amount of data needs more space to store and more time to transmit. To manage this sheer amount of data, researchers have investigated different techniques so that image quality can be conserved and compressibility can be improved. The principle component analysis (PCA) can be employed to reduce the dimensions of spectral images to achieve high compressibility and performance. Due to processing complexity of PCA, a simple interpolation technique called cubic spline interpolation (CSI) was considered to reduce the dimensionality of spectral domain of spectral images. The CSI and PCA were employed one by one in the spectral domain and were amalgamated with the JPEG, which was employed in spatial domain. Three measures including compression rate (CR), processing time (Tp) and color difference CIEDE2000 were used for performance analysis. Test results showed that for a fixed value of compression rate, CSI based algorithm performed poor in terms of dE00, in comparison with PCA, but is still reliable because of small color difference. On the other hand it has lower complexity and is computationally much better as compared to PCA based algorithm, especially for spectral images with large size.


title: Higgs Physics Beyond the Standard Model

abstract: Higgs physics beyond the Standard Model (SM) is presented in the context of an underlying strong dynamics of electroweak symmetry breaking (EWSB) as given by composite Higgs models. Subsequently, the study of New Physics (NP) effects in a more model-independent way through the effective Lagrangian approach is briefly sketched before moving on to the investigation of NP through Higgs coupling measurements. Depending on the precision on the extracted couplings, NP scales up to the TeV range can be probed at the high-luminosity option of the LHC, if the coupling deviations arise from mixing effects or from some underlying strong dynamics.


title: Enabling microstructural changes of FCC/BCC alloys in 2D dislocation dynamics

abstract: Dimension reduction procedure is the recipe to represent defects in two dimensional dislocation dynamics according to the changes in the geometrical properties of the defects triggered by different conditions such as radiation, high temperature, or pressure. In the present study, this procedure is extended to incorporate further features related to the presence of defects with a special focus on face-centered cubic/body-centered cubic alloys used for diverse engineering purposes. In order to reflect the microstructural state of the alloy on the computational cell of two dimensional dislocation dynamics, the distribution of the multi-type defects over slip lines is implemented by using corresponding strength and line spacing for each type of defect. Additionally, a simple recursive incremental relation is set to count the loop accumulation on the precipitates. In the case of continuous resistance against the motion of edge dislocations on the slip lines, an expression of friction is introduced to see its contribution on the yield strength. Each new property is applied independently on a different material by using experimental information about defect properties and grain sizes under the condition of plain strain deformation: both constant and dynamically increasing obstacle strength for precipitate coarsening in prime-aged and heat-treated copper-chromium-zirconium, internal friction in tantalum-2.5tungsten, and mixed hardening due to the presence of precipitates and prismatic loops in irradiated oxide dispersion strengthened EUROFER with 0.3% yttria.


title: Iteration of Semiproper Forcing Revisited

abstract: We present a method for iterating semiproper forcing which uses side conditions and is inspired by the technique recently introduced by Neeman.


title: On Cohen-Macaulayness of S_n-invariant subspace arrangements

abstract: Given a partition $\lambda$ of n, consider the subspace $E_\lambda$ of $C^n$ where the first $\lambda_1$ coordinates are equal, the next $\lambda_2$ coordinates are equal, etc. In this paper, we study subspace arrangements $X_\lambda$ consisting of the union of translates of $E_\lambda$ by the symmetric group. In particular, we focus on determining when $X_\lambda$ is Cohen-Macaulay. This is inspired by previous work of the third author coming from the study of rational Cherednik algebras and which answers the question positively when all parts of $\lambda$ are equal. We show that $X_\lambda$ is not Cohen-Macaulay when $\lambda$ has at least 4 distinct parts, and handle a large number of cases when $\lambda$ has 2 or 3 distinct parts. Along the way, we also settle a conjecture of Sergeev and Veselov about the Cohen-Macaulayness of algebras generated by deformed Newton sums. Our techniques combine classical techniques from commutative algebra and invariant theory, in many cases we can reduce an infinite family to a finite check which can sometimes be handled by computer algebra.


title: Optimal Newton-Secant like methods without memory for solving nonlinear equations with its dynamics

abstract: We construct two optimal Newton-Secant like iterative methods for solving non-linear equations. The proposed classes have convergence order four and eight and cost only three and four function evaluations per iteration, respectively. These methods support the Kung and Traub conjecture and possess a high computational efficiency. The new methods are illustrated by numerical experiments and a comparison with some existing optimal methods. We conclude with an investigation of the basins of attraction of the solutions in the complex plane.


title: $Z \rightarrow b {\bar b}$ in non-minimal Universal Extra Dimensional Model

abstract: We calculate the effective $Z b\bar b$ coupling at one loop level, in the framework of non-minimal Universal Extra Dimensional (nmUED) model. Non-minimality in Universal Extra Dimensional (UED) framework is realized by adding kinetic and Yukawa terms with arbitrary coefficients to the action at boundary points of the extra space like dimension. A recent estimation of the Standard Model (SM) contribution to $Zb\bar{b}$ coupling at two loop level, points to a $1.2\sigma$ discrepancy between the experimental data and the SM estimate. We compare our calculation with the difference between the SM prediction and the experimental estimation of the above coupling and constrain the parameter space of nmUED. We also review the limit on compactification radius of UED in view of the new theoretical estimation of SM contribution to $Z b\bar{b}$ coupling. For suitable choice of coefficients of boundary-localized terms, 95\% C.L. lower limit on $R^{-1}$ comes out to be in the ballpark of 800 GeV in the framework of nmUED; while in UED, the lower limit on $R^{-1}$ is 350 GeV which is a marginal improvement over an earlier estimate.


title: Identifying features in spike trains using binless similarity measures

abstract: Neurons in the central nervous system communicate with each other with the help of series of Action Potentials, or spike trains. Various studies have shown that neurons encode information in different features of spike trains, such as the fine temporal structure, mean firing rate, synchrony etc. An important step in understanding the encoding of information by neurons, is to obtain a reliable measure of correlation between different spike trains. In this paper, two new binless similarity measures for spike trains are proposed. The performance of the new measures are compared with some existing measures in their ability to detect important features of spike trains, such as their firing rate, sensitivity to bursts and common periods of silence and detecting synchronous activity.


title: L\'evy walks

abstract: Random walk is a fundamental concept with applications ranging from quantum physics to econometrics. Remarkably, one specific model of random walks appears to be ubiquitous across many fields as a tool to analyze transport phenomena in which the dispersal process is faster than dictated by Brownian diffusion. The L\'{e}vy walk model combines two key features, the ability to generate anomalously fast diffusion and a finite velocity of a random walker. Recent results in optics, Hamiltonian chaos, cold atom dynamics, bio-physics, and behavioral science demonstrate that this particular type of random walks provides significant insight into complex transport phenomena. This review provides a self-consistent introduction to L\'{e}vy walks, surveys their existing applications, including latest advances, and outlines further perspectives.

categories: cond-mat.stat-mech math-ph math.MP nlin.CD


title: Tipping points near a delayed saddle node bifurcation with periodic forcing

abstract: We consider the effect on tipping from an additive periodic forcing in a canonical model with a saddle node bifurcation and a slowly varying bifurcation parameter. Here tipping refers to the dramatic change in dynamical behavior characterized by a rapid transition away from a previously attracting state. In the absence of the periodic forcing, it is well-known that a slowly varying bifurcation parameter produces a delay in this transition, beyond the bifurcation point for the static case. Using a multiple scales analysis, we consider the effect of amplitude and frequency of the periodic forcing relative to the drifting rate of the slowly varying bifurcation parameter. We show that a high frequency oscillation drives an earlier tipping when the bifurcation parameter varies more slowly, with the advance of the tipping point proportional to the square of the ratio of amplitude to frequency. In the low frequency case the position of the tipping point is affected by the frequency, amplitude and phase of the oscillation. The results are based on an analysis of the local concavity of the trajectory, used for low frequencies both of the same order as the drifting rate of the bifurcation parameter and for low frequencies larger than the drifting rate. The tipping point location is advanced with increased amplitude of the periodic forcing, with critical amplitudes where there are jumps in the location, yielding significant advances in the tipping point. We demonstrate the analysis for two applications with saddle node-type bifurcations.


title: On Bootstrapping Machine Learning Performance Predictors via Analytical Models

abstract: Performance modeling typically relies on two antithetic methodologies: white box models, which exploit knowledge on system's internals and capture its dynamics using analytical approaches, and black box techniques, which infer relations among the input and output variables of a system based on the evidences gathered during an initial training phase. In this paper we investigate a technique, which we name Bootstrapping, which aims at reconciling these two methodologies and at compensating the cons of the one with the pros of the other. We thoroughly analyze the design space of this gray box modeling technique, and identify a number of algorithmic and parametric trade-offs which we evaluate via two realistic case studies, a Key-Value Store and a Total Order Broadcast service.


title: GREAT: GRaphlet Edge-based network AlignmenT

abstract: Network alignment aims to find regions of topological or functional similarities between networks. In computational biology, it can be used to transfer biological knowledge from a well-studied species to a poorly-studied species between aligned network regions. Typically, existing network aligners first compute similarities between nodes in different networks (via a node cost function) and then aim to find a high-scoring alignment (node mapping between the networks) with respect to "node conservation", typically the total node cost function over all aligned nodes. Only after an alignment is constructed, the existing methods evaluate its quality with respect to an alternative measure, such as "edge conservation". Thus, we recently aimed to directly optimize edge conservation while constructing an alignment, which improved alignment quality. Here, we approach a novel idea of maximizing both node and edge conservation, and we also approach this idea from a novel perspective, by aligning optimally edges between networks first in order to improve node cost function needed to then align well nodes between the networks. In the process, unlike the existing measures of edge conservation that treat each conserved edge the same, we favor conserved edges that are topologically similar over conserved edges that are topologically dissimilar. We show that our novel method, which we call GRaphlet Edge AlignmenT (GREAT), improves upon state-of-the-art methods that aim to optimize node conservation only or edge conservation only.


title: Late cosmology in massive conformal gravity

abstract: In this paper we find the cosmological solutions of the massive conformal gravity field equations in the presence of matter fields. In particular, we show that the solution of negative curvature is in good agreement with the late universe.


title: Improved Region-Growing and Combinatorial Algorithms for $k$-Route Cut Problems

abstract: We study the {\em $k$-route} generalizations of various cut problems, the most general of which is \emph{$k$-route multicut} ($k$-MC) problem, wherein we have $r$ source-sink pairs and the goal is to delete a minimum-cost set of edges to reduce the edge-connectivity of every source-sink pair to below $k$. The $k$-route extensions of multiway cut ($k$-MWC), and the minimum $s$-$t$ cut problem ($k$-$(s,t)$-cut), are similarly defined. We present various approximation and hardness results for these $k$-route cut problems that improve the state-of-the-art for these problems in several cases. (i) For {\em $k$-route multiway cut}, we devise simple, but surprisingly effective, combinatorial algorithms that yield bicriteria approximation guarantees that markedly improve upon the previous-best guarantees. (ii) For {\em $k$-route multicut}, we design algorithms that improve upon the previous-best approximation factors by roughly an $O(\sqrt{\log r})$-factor, when $k=2$, and for general $k$ and unit costs and any fixed violation of the connectivity threshold $k$. The main technical innovation is the definition of a new, powerful \emph{region growing} lemma that allows us to perform region-growing in a recursive fashion even though the LP solution yields a {\em different metric} for each source-sink pair. (iii) We complement these results by showing that the {\em $k$-route $s$-$t$ cut} problem is at least as hard to approximate as the {\em densest-$k$-subgraph} (DkS) problem on uniform hypergraphs.


title: Applications of the Kuznetsov formula on GL(3): the level aspect

abstract: We develop an explicit Kuznetsov formula on GL(3) for congruence subgroups. Applications include a Lindelof on average type bound for the sixth moment of GL(3) L-functions in the level aspect, an automorphic large sieve inequality, density results for exceptional eigenvalues and density results for Maass forms violating the Ramanujan conjecture at finite places.


title: The DoF of the Asymmetric MIMO Interference Channel with Square Direct Link Channel Matrices

abstract: This paper studies the sum Degrees of Freedom (DoF) of $K$-user {\em asymmetric} MIMO Interference Channel (IC) with square direct link channel matrices, that is, the $u$-th transmitter and its intended receiver have $M_u\in\mathbb{N}$ antennas each, where $M_u$ need not be the same for all $u\in[1:K]$. Starting from a $3$-user example, it is shown that existing cooperation-based outer bounds are insufficient to characterize the DoF. Moreover, it is shown that two distinct operating regimes exist. With a {\it dominant} user, i.e., a user that has more antennas than the other two users combined, %(say $M_1\geq M_2+M_3$), it is DoF optimal to let that user transmit alone on the IC. Otherwise, it is DoF optimal to {\em decompose} and operate the 3-user MIMO IC as an $(M_1+ M_2+M_3)$-user SISO IC. This indicates that MIMO operations are useless from a DoF perspective in systems without a dominant user. The main contribution of the paper is the derivation of a novel outer bound for the general $K$-user case that is tight in the regime where a dominant user is not present; this is done by generalizing the insights from the 3-user example to an arbitrary number of users.


title: Are there quantum oscillations in an incommensurate charge density wave?

abstract: Because a material with an incommensurate charge density wave (ICDW) is only quasi-periodic, Bloch's theorem does not apply and there is no sharply defined Fermi surface. We will show that, as a consequence, there are no quantum oscillations which are truly periodic functions of $1/B$ (where $ B$ is the magnitude of an applied magnetic field). For a weak ICDW, there exist broad ranges of $1/B$ in which approximately periodic variations occur, but with frequencies that vary inexorably in an unending cascade with increasing $1/B$. For a strong ICDW, e.g. in a quasi-crystal, no quantum oscillations survive at all. Rational and irrational numbers really are different.