title: Palindromic automorphisms of right-angled Artin groups

abstract: We introduce the palindromic automorphism group and the palindromic Torelli group of a right-angled Artin group A_G. The palindromic automorphism group Pi A_G is related to the principal congruence subgroups of GL(n,Z) and to the hyperelliptic mapping class group of an oriented surface, and sits inside the centraliser of a certain hyperelliptic involution in Aut(A_G). We obtain finite generating sets for Pi A_G and for this centraliser, and determine precisely when these two groups coincide. We also find generators for the palindromic Torelli group.


title: Moment transport equations and their application to the perturbed universe

abstract: There are many inflationary models that allow the formation of the large-scale structure of the observable universe. The non-gaussianity parameter $f_{NL}$ is a useful tool to discriminate among these cosmological models when comparing the theoretical predictions with the satellite survey results like those from WMAP and Planck. The goal of this proceeding contribution is to review the moment transport equations methodology and the subsequent calculation of the $f_{NL}$ parameter.


title: An inverse iteration method for obtaining q-eigenpairs of the p-Laplacian in a general bounded domain

abstract: Let $\Omega$ be a bounded and smooth domain of $\mathbb{R}^{N}$, $N\geq2$, and consider the eigenvalue problem: $-\Delta_{p}u=\lambda\left| u\right| _{L^{q}(\Omega)}^{p-q}\left| u\right| ^{q-2}u$ in $\Omega,$ $u=0$ on $\partial\Omega,$ where $p>1$, $1\leq q<p^{\star}$ and $p^{\star}$ is the critical exponent of the Sobolev embedding $W_{0}^{1,p}(\Omega)\hookrightarrow L^{q}(\Omega)$. Two sequences, $\left( \lambda_{n}\right)_{n\in N}% \subset(0,\infty)$ and $\left(w_{n}\right) _{n\in N}\subset W_{0}^{1,p}(\Omega)$, are built by means of an inverse iteration scheme starting from an arbitrary function $u_{0}\in L^{q}(\Omega)\backslash\left\{ 0\right\} $. It is shown that $\left( \lambda_{n}\right) _{n\in N}$ converges monotonically to an eigenvalue $\lambda\geq\lambda_{q}$, with $\lambda_{q}$ denoting the first eigenvalue. It is also proved that there exists a subsequence $\left( w_{n_{j}}\right) _{j\in\mathbb{N}}$ converging in $W_{0}^{1,p}(\Omega)$ to an eigenfunction $w$ corresponding to $\lambda$. The advantage of this method is that it can be used to find eigenvalues other than $\lambda_{q}$.


title: A thermostat algorithm generating target ensembles

abstract: We present a deterministic algorithm called contact density dynamics that generates any prescribed target distribution in the physical phase space. Akin to the famous model of Nos\'e-Hoover, our algorithm is based on a non-Hamiltonian system in an extended phase space. However the equations of motion in our case follow from contact geometry and we show that in general they have a similar form to those of the so-called density dynamics algorithm. As a prototypical example, we apply our algorithm to produce Gibbs canonical distribution for a one-dimensional harmonic oscillator.

categories: cond-mat.stat-mech math-ph math.MP physics.chem-ph


title: Constrained percolation in two dimensions

abstract: We prove absence of infinite clusters and contours in a class of critical constrained percolation models on the square lattice. The percolation configuration is assumed to satisfy certain hard local constraints, but only weak symmetry and ergodicity conditions are imposed on its law. The proofs use new combinatorial techniques exploiting planar duality. Applications include absence of infinite clusters of diagonal edges for critical dimer models on the square-octagon lattice, as well as absence of infinite contours and infinite clusters for critical XOR Ising models on the square grid. We also prove that there exists at most one infinite contour for high-temperature XOR Ising models, and no infinite contour for low-temperature XOR Ising model.


title: On a problem of Terence Tao

abstract: In this paper, we solve a problem of Terence Tao. We prove that for any $K\geq 2$ and sufficiently large $N$, the number of primes $p$ between $N$ and $(1+\frac{1}{K})N$ such that $\mid kp+ja^{i}+l\mid$ is composite for all $1\leq a, |j|, k\leq K$, $1\leq i \leq K\log N$ and $l$ in any set $L =L_{N}\subseteq\{-KN,\cdots, KN\}$ of cardinality $K$ with $ja^{i}+l\neq0$ is at least $C_{K}\frac{N}{\log N}$, where $C_{K}>0$ depending only on $K$.


title: An $O(\log OPT)$-approximation for covering and packing minor models of ${\theta}_r$

abstract: Given two graphs $G$ and $H$, we define $\textsf{v-cover}_{H}(G)$ (resp. $\textsf{e-cover}_{H}(G)$) as the minimum number of vertices (resp. edges) whose removal from $G$ produces a graph without any minor isomorphic to ${H}$. Also $\textsf{v-pack}_{H}(G)$ (resp. $\textsf{v-pack}_{H}(G)$) is the maximum number of vertex- (resp. edge-) disjoint subgraphs of $G$ that contain a minor isomaorphic to $H$. We denote by $\theta_r$ the graph with two vertices and $r$ parallel edges between them. When $H=\theta_r$, the parameters $\textsf{v-cover}_{H}$, $\textsf{e-cover}_{H}$, $\textsf{v-pack}_{H}$, and $\textsf{v-pack}_{H}$ are NP-hard to compute (for sufficiently big values of $r$). Drawing upon combinatorial results in [Minors in graphs of large $\theta_r$-girth, Chatzidimitriou et al., arXiv:1510.03041], we give an algorithmic proof that if $\textsf{v-pack}_{\theta_r}(G)\leq k$, then $\textsf{v-cover}_{\theta_r}(G) = O(k\log k)$, and similarly for $\textsf{v-pack}_{\theta_r}$ and $\textsf{e-cover}_{\theta_r}$. In other words, the class of graphs containing ${\theta_r}$ as a minor has the vertex/edge Erd\H{o}s-P\'osa property, for every positive integer $r$. Using the algorithmic machinery of our proofs, we introduce a unified approach for the design of an $O(\log {\rm OPT})$-approximation algorithm for $\textsf{v-pack}_{\theta_r}$, $\textsf{v-cover}_{\theta_r}$, $\textsf{v-pack}_{\theta_r}$, and $\textsf{e-cover}_{\theta_r}$ that runs in $O(n\cdot \log(n)\cdot m)$ steps. Also, we derive several new Erd\H{o}s-P\'osa-type results from the techniques that we introduce.


title: Lipschitz metric for the modified two-component Camassa-Holm system

abstract: This paper is devoted to the existence and Lipschitz continuity of global conservative weak solutions in time for the modified two-component Camassa-Holm system on the real line. We obtain the global weak solutions via a coordinate transformation into the Lagrangian coordinates. The key ingredients in our analysis are the energy density given by the positive Radon measure and the proposed new distance functions as well.


title: Distributed Linear Network Operators using Graph Filters

abstract: We study the design of graph filters to implement arbitrary linear transformations between graph signals. Graph filters can be represented by matrix polynomials of the graph-shift operator, which captures the structure of the graph and is assumed to be given. Thus, graph-filter design consists in choosing the coefficients of these polynomials (known as filter coefficients) to resemble desired linear transformations. Due to the local structure of the graph-shift operator, graph filters can be implemented distributedly across nodes, making them suitable for networked settings. We determine spectral conditions under which a specific linear transformation can be implemented perfectly using graph filters. Furthermore, for the cases where perfect implementation is infeasible, the design of optimal approximations for different error metrics is analyzed. We introduce the notion of a node-variant graph filter, which allows the simultaneous implementation of multiple (regular) graph filters in different nodes of the graph. This additional flexibility enables the design of more general operators without undermining the locality in implementation. Perfect and approximate implementation of network operators is also studied for node-variant graph filters. We demonstrate the practical relevance of the developed framework by studying in detail the application of graph filters to the problems of finite-time consensus and analog network coding. Finally, we present additional numerical experiments comparing the performance of node-invariant and node-variant filters when approximating arbitrary linear network operators.


title: Superconductivity in CuCl/Si: possible excitonic pairing?

abstract: The search for superconductivity with higher transition temperature ($T_C$) has long been a challenge in research efforts ever since its first discovery in 1911. The effort has led to the discovery of various kinds of superconductors and progress in the understanding of this intriguing phenomenon. The increase of $T_C$ has also evolved; however, the dream of realizing room-temperature superconductivity is far from reality. For superconductivity to emerge, the effective quasiparticle interaction should overcome the repulsive Coulomb interaction. This can be realized via lattice or spin degrees of freedom. An alternative pairing mechanism, the excitonic mechanism, was proposed 50 years ago, hoping to achieve higher $T_C$ than by phonon mediation. As none of physics principles has ever prevented excitonic pairing, the excitonic pairing mechanism is revisited here and we show that the effective quasiparticle interaction without lattice and spin can be attractive solely electronically.


title: The General Solution to Vlasov Equation and Linear Landau Damping

abstract: A general solution to linearized Vlasov equation for an electron electrostatic wave in a homogeneous unmagnetized plasma is derived. The quasi-linear diffusion coefficient resulting from this solution is a continuous function of omega in contrast to that derived from the traditional Vlasov treatment. The general solution is also equivalent to the Landau treatment of the plasma normal oscillations, and hence leads to the well-known Landau damping.


title: On the Ramsey-Tur\'an number with small $s$-independence number

abstract: Let $s$ be an integer, $f=f(n)$ a function, and $H$ a graph. Define the Ramsey-Tur\'an number $RT_s(n,H, f)$ as the maximum number of edges in an $H$-free graph $G$ of order $n$ with $\alpha_s(G) < f$, where $\alpha_s(G)$ is the maximum number of vertices in a $K_s$-free induced subgraph of $G$. The Ramsey-Tur\'an number attracted a considerable amount of attention and has been mainly studied for $f$ not too much smaller than $n$. In this paper we consider $RT_s(n,K_t, n^{\delta})$ for fixed $\delta<1$. We show that for an arbitrarily small $\varepsilon>0$ and $1/2<\delta< 1$, $RT_s(n,K_{s+1}, n^{\delta}) = \Omega(n^{1+\delta-\varepsilon})$ for all sufficiently large $s$. This is nearly optimal, since a trivial upper bound yields $RT_s(n,K_{s+1}, n^{\delta}) = O(n^{1+\delta})$. Furthermore, the range of $\delta$ is as large as possible. We also consider more general cases and find bounds on $RT_s(n,K_{s+r},n^{\delta})$ for fixed $r\ge2$. Finally, we discuss a phase transition of $RT_s(n, K_{2s+1}, f)$ extending some recent result of Balogh, Hu and Simonovits.


title: Are Generalized Cut-Set Bounds Tight for the Deterministic Interference Channel?

abstract: We propose the idea of extended networks, which is constructed by replicating the users in the two-user deterministic interference channel (DIC) and designing the interference structure among them, such that any rate that can be achieved by each user in the original network can also be achieved simultaneously by all replicas of that user in the extended network. We demonstrate that by carefully designing extended networks and applying the generalized cut-set (GCS) bound to them, we can derive a tight converse for the two-user DIC. Furthermore, we generalize our techniques to the three-user DIC, and demonstrate that the proposed approach also results in deriving a tight converse for the three-user DIC in the symmetric case.


title: Exploring Invariants & Patterns in Human Commute time

abstract: In everyday life, the process of commuting to work from home happens every now and then. And the research of commute characteristics is useful for urban function planning. For humans, the commute of an individual seems revealing no regular universal patterns, but it is true that people try to find a satisfactory state of life regarding commute issues. Commute time and distance are most important indicators to measure the degree of this satisfaction. Marchetti states a certain regularity in human commute time distribution - specifically, it states that no matter when, where and how far away people live, they always tend to spend approximately the same average time for their daily commute. However, will the rapid development of cities nowadays as well as serious challenges brought by economic development affect this constant? If there are novel characteristics? We revisit these problems using fine grained communication data in two Chinese major cities during recent two years. The results indicate that the commute time has been slightly increased from Marchetti's constant with the development of society. People's overall travel budgets have been increased, more concretely speaking, for medium and long distance commuters, their endurance limit for commute time is enhanced during the passing years, and fluctuates around a constant; for short distance commuters, their commute time increases with the distance. Moreover, the population distribution in every commute distance shows strong cross-city similarity and does not change much over two years.


title: Theoretical analysis on quantum interference effect in fast-light media

abstract: We make a systematic theoretical analysis on the quantum interference (QI) effects in various fast-light media (including gain-assisted $N$, gain-assisted ladder-I, and gain-assisted ladder-II atomic systems). We show that such fast-light media are capable of not only completely eliminating the absorption but also suppressing the gain of signal field, and hence provide the possibility to realize a stable propagation of the signal field with a superluminal velocity. We find that there is a destructive (constructive) QI effect in gain-assisted ladder-I (gain-assisted N) system, but no QI in the gain-assisted ladder-II system; furthermore, a crossover from destructive (constructive) QI to Autler-Townes splitting may occur for the gain-assisted ladder-I (gain-assisted N) system when the control field of the system is modulated. Our theoretical analysis can be applied to other multi-level systems, and the results obtained may have promising applications in optical and quantum information processing and transmission.


title: Can Spectral Action be a Window to Very High Energies?

abstract: The principles of noncommutative geometry impose severe restrictions on the structure of (almost) commutative field theories. The Standard Model fits surprisingly well into the noncommutative framework. Here we overview some universal predictions of the spectral action principle for the behavior of bosonic theories at very high energies.


title: SAP: an Architecture for Selectively Approximate Wireless Communication

abstract: Integrity checking is ubiquitous in data networks, but not all network traffic needs integrity protection. Many applications can tolerate slightly damaged data while still working acceptably, trading accuracy versus efficiency to save time and energy. Such applications should be able to receive damaged data if they so desire. In today's network stacks, lower-layer integrity checks discard damaged data regardless of the application's wishes, violating the End-to-End Principle. This paper argues for optional integrity checking and gently redesigns a commodity network architecture to support integrity-unprotected data. Our scheme, called Selective Approximate Protocol (SAP), allows applications to coordinate multiple network layers to accept potentially damaged data. Unlike previous schemes that targeted video or media streaming, SAP is generic. SAP's improved throughput and decreased retransmission rate is a good match for applications in the domain of approximate computing. Implemented atop WiFi as a case study, SAP works with existing physical layers and requires no hardware changes. SAP's benefits increase as channel conditions degrade. In tests of an error-tolerant file-transfer application over WiFi, SAP sped up transmission by about 30% on average.


title: On a generalization of $L^p$-differentiability

abstract: In this paper we connect Calder\'on and Zygmund's notion of $L^p$\- -differentiability with some recent characterizations of Sobolev spaces via the asymptotics of non-local functionals due to Bourgain, Brezis, and Mironescu. We show how the results of the former can be generalized to the setting of the latter, while the latter results can be strengthened in the spirit of the former. As a consequence of these results we give several new characterizations of Sobolev spaces, a novel condition for whether a function of bounded variation is in the Sobolev space $W^{1,1}$, and complete the proof of a characterization of the Sobolev spaces claimed in the paper "Characterization of Sobolev and BV spaces".


title: $CP$ Invariance Study of $J/\psi\to\Lambda\bar\Lambda$ and $\Lambda$ Nonpleptonic Decays in Helicity Frame

abstract: We present the joint helicity amplitudes for $J/\psi \to \Lambda \bar{\Lambda}$, $\Lambda(\bar\Lambda)$ decays to different final states in the helicity frame. Two observables to search for $CP$ violation in $J/\psi\to\Lambda\bar\Lambda$ can be expressed with the information of helicity angles of baryon and antibaryon. Four decay parameters of $\Lambda$ and $\bar\Lambda$, namely, $\alpha_-,\alpha_+,\alpha_0$ and $\bar\alpha_0$, can be obtained with the joint helicity amplitude equations by the likelihood fit method. With the data sample of $10^{10}$ $J/\psi$ decays accumulated by BESIII, the precision of the measurements is estimated to be about $10^{-3}$.


title: Experimental evaluation of non-classical correlations between measurement outcomes and target observable in a quantum measurement

abstract: In general, it is difficult to evaluate measurement errors when the initial and final conditions of the measurement make it impossible to identify the correct value of the target observable. Ozawa proposed a solution based on the operator algebra of observables which has recently been used in experiments investigating the error-disturbance trade-off of quantum measurements. Importantly, this solution makes surprisingly detailed statements about the relations between measurement outcomes and the unknown target observable. In the present paper, we investigate this relation by performing a sequence of two measurements on the polarization of a photon, so that the first measurement commutes with the target observable and the second measurement is sensitive to a complementary observable. While the initial measurement can be evaluated using classical statistics, the second measurement introduces the effects of quantum correlations between the non-commuting physical properties. By varying the resolution of the initial measurement, we can change the relative contribution of the non-classical correlations and identify their role in the evaluation of the quantum measurement. It is shown that the most striking deviation from classical expectations is obtained at the transition between weak and strong measurements, where the competition between different statistical effects results in measurement values well outside the range of possible eigenvalues.


title: Detection of multiple perturbations in multi-omics biological networks

abstract: Cellular mechanism-of-action is of fundamental concern in many biological studies. It is of particular interest for identifying the cause of disease and learning the way in which treatments act against disease. However, pinpointing such mechanisms is difficult, due to the fact that small perturbations to the cell can have wide-ranging downstream effects. Given a snapshot of cellular activity, it can be challenging to tell where a disturbance originated. The presence of an ever-greater variety of high-throughput biological data offers an opportunity to examine cellular behavior from multiple angles, but also presents the statistical challenge of how to effectively analyze data from multiple sources. In this setting, we propose a method for mechanism-of-action inference by extending network filtering to multi-attribute data. We first estimate a joint Gaussian graphical model across multiple data types using penalized regression and filter for network effects. We then apply a set of likelihood ratio tests to identify the most likely site of the original perturbation. In addition, we propose a conditional testing procedure to allow for detection of multiple perturbations. We demonstrate this methodology on paired gene expression and methylation data from The Cancer Genome Atlas (TCGA).


title: Quasineutral limit for the quantum Navier-Stokes-Poisson equation

abstract: In this paper, we study the quasineutral limit and asymptotic behaviors for the quantum Navier-Stokes-Possion equation. We apply a formal expansion according to Debye length and derive the neutral incompressible Navier-Stokes equation. To establish this limit mathematically rigorously, we derive uniform (in Debye length) estimates for the remainders, for well-prepared initial data. It is demonstrated that the quantum effect do play important roles in the estimates and the norm introduced depends on the Planck constant $\hbar>0$.


title: Hammocks and fractions in relative $\infty$-categories

abstract: We study the *homotopy theory* of $\infty$-categories enriched in the $\infty$-category $sS$ of simplicial spaces. That is, we consider $sS$-enriched $\infty$-categories as presentations of ordinary $\infty$-categories by means of a "local" geometric realization functor $Cat_{sS} \to Cat_\infty$, and we prove that their homotopy theory presents the $\infty$-category of $\infty$-categories, i.e. that this functor induces an equivalence $Cat_{sS} [[ W_{DK}^{-1} ]] \xrightarrow{\sim} Cat_\infty$ from a localization of the $\infty$-category of $sS$-enriched $\infty$-categories. Following Dwyer--Kan, we define a *hammock localization* functor from relative $\infty$-categories to $sS$-enriched $\infty$-categories, thus providing a rich source of examples of $sS$-enriched $\infty$-categories. Simultaneously unpacking and generalizing one of their key results, we prove that given a relative $\infty$-category admitting a *homotopical three-arrow calculus*, one can explicitly describe the hom-spaces in the $\infty$-category presented by its hammock localization in a much more explicit and accessible way. As an application of this framework, we give sufficient conditions for the Rezk nerve of a relative $\infty$-category to be a (complete) Segal space, generalizing joint work with Low.


title: Cosmic Shear Results from the Deep Lens Survey - II: Full Cosmological Parameter Constraints from Tomography

abstract: We present a tomographic cosmic shear study from the Deep Lens Survey (DLS), which, providing a limiting magnitude r_{lim}~27 (5 sigma), is designed as a pre-cursor Large Synoptic Survey Telescope (LSST) survey with an emphasis on depth. Using five tomographic redshift bins, we study their auto- and cross-correlations to constrain cosmological parameters. We use a luminosity-dependent nonlinear model to account for the astrophysical systematics originating from intrinsic alignments of galaxy shapes. We find that the cosmological leverage of the DLS is among the highest among existing >10 sq. deg cosmic shear surveys. Combining the DLS tomography with the 9-year results of the Wilkinson Microwave Anisotropy Probe (WMAP9) gives Omega_m=0.293_{-0.014}^{+0.012}, sigma_8=0.833_{-0.018}^{+0.011}, H_0=68.6_{-1.2}^{+1.4} km/s/Mpc, and Omega_b=0.0475+-0.0012 for LCDM, reducing the uncertainties of the WMAP9-only constraints by ~50%. When we do not assume flatness for LCDM, we obtain the curvature constraint Omega_k=-0.010_{-0.015}^{+0.013} from the DLS+WMAP9 combination, which however is not well constrained when WMAP9 is used alone. The dark energy equation of state parameter w is tightly constrained when Baryonic Acoustic Oscillation (BAO) data are added, yielding w=-1.02_{-0.09}^{+0.10} with the DLS+WMAP9+BAO joint probe. The addition of supernova constraints further tightens the parameter to w=-1.03+-0.03. Our joint constraints are fully consistent with the final Planck results and also the predictions of a LCDM universe.


title: Endoscopic classification of very cuspidal representations of quasi-split unitary groups

abstract: Let $\mathbf{G}$ be an unramified quasi-split unitary group over a p-adic field of odd residual characteristic. The goal of this paper is to describe the supercuspidal representations within certain L-packets of $\mathbf{G}$, which are classified by Arthur and Mok using the theory of endoscopy. The description is given in terms of the cuspidal types constructed by Bushnell-Kutzko and Stevens. As a starting example, we require the parameters of our packets to satisfy certain regularity conditions, such that these packets consist of very cuspidal representations in the sense of Adler and Reeder. To achieve our goal, we first interpret the question as to study the reducibilities of some parabolically induced representations, using a theory of M{\oe}glin and Shahidi; we then apply a relation, given by Blondel, between these reducibilities and the structures of some Hecke algebras, where the latter can be computed using a Theorem of Lusztig. We can interpret our final result as explicitly describing the local Langlands correspondence for $\mathbf{G}$.


title: Pathway Tools version 24.0: Integrated Software for Pathway/Genome Informatics and Systems Biology

abstract: Pathway Tools is a bioinformatics software environment with a broad set of capabilities. The software provides genome-informatics tools such as a genome browser, sequence alignments, a genome-variant analyzer, and comparative-genomics operations. It offers metabolic-informatics tools, such as metabolic reconstruction, quantitative metabolic modeling, prediction of reaction atom mappings, and metabolic route search. Pathway Tools also provides regulatory-informatics tools, such as the ability to represent and visualize a wide range of regulatory interactions. The software creates and manages a type of organism-specific database called a Pathway/Genome Database (PGDB), which the software enables database curators to interactively edit. It supports web publishing of PGDBs and provides a large number of query, visualization, and omics-data analysis tools. Scientists around the world have created more than 9,800 PGDBs by using Pathway Tools, many of which are curated databases for important model organisms. Those PGDBs can be exchanged using a peer-to-peer database-sharing system called the PGDB Registry.


title: Nonexistence of radial two-bubbles with opposite signs for the energy-critical wave equation

abstract: We consider the focusing energy-critical wave equation in space dimension $N \geq 3$ for radial data. We study two-bubble solutions, that is solutions which behave as a superposition of two decoupled radial ground states (called bubbles) asymptotically for large positive times. We prove that in this case these two bubbles must have the same sign. The main tool is a sharp coercivity property of the energy functional near the family of ground states.


title: Natural Exponential Families: Resolution of A Conjecture and Existence of Reduction Functions

abstract: One-parameter natural exponential family (NEF) plays fundamental roles in probability and statistics. This article contains two independent results: (a) A conjecture of Bar-Lev, Bshouty and Enis states that a polynomial with a simple root at $0$ and a complex root with positive imaginary part is the variance function of some NEF with mean domain $\left(0,\infty\right)$ if and only if the real part of the complex root is not positive. This conjecture is resolved. The positive answer to this conjecture enlarges existing family of polynomials that are able to generate NEFs, and it helps prevent practitioners from choosing incompatible functions as variance functions for statistical modeling using NEFs. (b) if a random variable $\xi$ has parametric distributions that form a infinitely divisible NEF whose induced measure is absolutely continuous with respect to its basis measure, then there exists a deterministic function $h$, called "reduction function", such that $\mathbb{E} \left(h\left(\xi\right)\right)=\mathbb{V}\left(\xi\right)$, i.e., $h\left(\xi\right)$ is an unbiased estimator of the variance of $\xi$. The reduction function has applications to estimating latent, low-dimensional structures and to dimension reduction in the first and/or second moments in high-dimensional data.


title: Duality for symmetric Hardy spaces of noncommutative martingales

abstract: We show the dual spaces of conditional Hardy space and symmetric Hardy space of noncommutative martingales. We derive relationship between the symmetric Hardy space of noncommutative martingales and its conditioned version.


title: On generalizations of Baer's theorems about the hypercenter of a finite group

abstract: We investigate the intersection of normalizers and $\mathfrak{F}$-subnormalizers of different types of systems of subgroups ($\mathfrak{F}$-maximal, Sylow, cyclic primary). We described all formations $\mathfrak{F}=\underset{i\in I}\times\mathfrak{F}_{\pi_i}$ for which the intersection of normalizers of all $\mathfrak{F}_i$-maximal subgroups of $G$ is the $\mathfrak{F}$-hypercenter of $G$ for every group $G$. Also we described all formations $\mathfrak{F}$ for which the intersection of $\mathfrak{F}$-subnormalizers of all Sylow (cyclic primary) subgroups of $G$ is the $\mathfrak{F}$-hypercenter of $G$ for every group $G$.


title: Shedding Light on the EOS-Gravity Degeneracy and Constraining the Nuclear Symmetry Energy from the Gravitational Binding Energy of Neutron Stars

abstract: A thorough understanding of properties of neutron stars requires both a reliable knowledge of the equation of state (EOS) of super-dense nuclear matter and the strong-field gravity theories simultaneously. To provide information that may help break this EOS-gravity degeneracy, we investigate effects of nuclear symmetry energy on the gravitational binding energy of neutron stars within GR and the scalar-tensor subset of alternative gravity models. We focus on effects of the slope $L$ of nuclear symmetry energy at saturation density and the high-density behavior of nuclear symmetry energy. We find that the variation of either the density slope $L$ or the high-density behavior of nuclear symmetry energy leads to large changes in the binding energy of neutron stars. The difference in predictions using the GR and the scalar-tensor theory appears only for massive neutron stars, and even then is significantly smaller than the difference resulting from variations in the symmetry energy.


title: Fused kernel-spline smoothing for repeatedly measured outcomes in a generalized partially linear model with functional single index

abstract: We propose a generalized partially linear functional single index risk score model for repeatedly measured outcomes where the index itself is a function of time. We fuse the nonparametric kernel method and regression spline method, and modify the generalized estimating equation to facilitate estimation and inference. We use local smoothing kernel to estimate the unspecified coefficient functions of time, and use B-splines to estimate the unspecified function of the single index component. The covariance structure is taken into account via a working model, which provides valid estimation and inference procedure whether or not it captures the true covariance. The estimation method is applicable to both continuous and discrete outcomes. We derive large sample properties of the estimation procedure and show a different convergence rate for each component of the model. The asymptotic properties when the kernel and regression spline methods are combined in a nested fashion has not been studied prior to this work, even in the independent data case.


title: Quality-Aware Popularity Based Bandwidth Allocation for Scalable Video Broadcast over Wireless Access Networks

abstract: Video broadcast/multicast over wireless access networks is an attractive research issue in the field of wireless communication. With the rapid improvement of various wireless network technologies, it is now possible to provide high quality video transmission over wireless networks. The high quality video streams need higher bandwidth. Hence, during the video transmission through wireless networks, it is very important to make the best utilization of the limited bandwidth. Therefore, when many broadcasting video sessions are active, the bandwidth per video session can be allocated based on popularity of the video sessions (programs). Instead of allocating equal bandwidth to each of them, our proposed scheme allocates bandwidth per broadcasting video session based on popularity of the video program. When the system bandwidth is not sufficient to allocate the demanded bandwidth for all the active video sessions, our proposed scheme efficiently allocates the total system bandwidth among all the scalable active video sessions in such a way that higher bandwidth is allocated to higher popularity one. Using the mathematical and simulation analyses, we show that the proposed scheme maximizes the average user satisfaction level and achieves the best utilization of bandwidth. The simulation results indicate that a large number of subscribers can receive a significantly improved quality of video. To improve the video quality for large number of subscribers, the only tradeoff is that a very few subscribers receive slightly degraded video quality.


title: A comparison of macroscopic models describing the collective response of sedimenting rod-like particles in shear flows

abstract: We consider a kinetic model, which describes the sedimentation of rod-like particles in dilute suspensions under the influence of gravity. This model has recently been derived by Helzel and Tzavaras in \cite{HT2015}. Here we restrict our considerations to shear flow and consider a simplified situation, where the particle orientation is restricted to the plane spanned by the direction of shear and the direction of gravity. For this simplified kinetic model we carry out a linear stability analysis and we derive two different macroscopic models which describe the formation of clusters of higher particle density. One of these macroscopic models is based on a diffusive scaling, the other one is based on a so-called quasi-dynamic approximation. Numerical computations, which compare the predictions of the macroscopic models with the kinetic model, complete our presentation.


title: Radio Resource Management Based on Reused Frequency Allocation for Dynamic Channel Borrowing Scheme in Wireless Networks

abstract: In the modern era, cellular communication consumers are exponentially increasing as they find the system more user-friendly. Due to enormous users and their numerous demands, it has become a mandate to make the best use of the limited radio resources that assures the highest standard of Quality of Service (QoS). To reach the guaranteed level of QoS for the maximum number of users, maximum utilization of bandwidth is not only the key issue to be considered, rather some other factors like interference, call blocking probability etc. are also needed to keep under deliberation. The lower performances of these factors may retrograde the overall cellular networks performances. Keeping these difficulties under consideration, we propose an effective dynamic channel borrowing model that safeguards better QoS, other factors as well. The proposed scheme reduces the excessive overall call blocking probability and does interference mitigation without sacrificing bandwidth utilization. The proposed scheme is modeled in such a way that the cells are bifurcated after the channel borrowing process if the borrowed channels have the same type of frequency band (i.e. reused frequency). We also propose that the unoccupied interfering channels of adjacent cells can also be inactivated, instead of cell bifurcation for interference mitigation. The simulation endings show satisfactory performances in terms of overall call blocking probability and bandwidth utilization that are compared to the conventional scheme without channel borrowing. Furthermore, signal to interference plus noise ratio (SINR) level, capacity, and outage probability are compared to the conventional scheme without interference mitigation after channel borrowing that may attract the considerable concentration to the operators.


title: Perturbative solution of Vlasov equation for periodically driven systems

abstract: Statistical systems with time-periodic spatially non-uniform forces are of immense importance in several areas of physics. In this paper, we provide an analytical expression of the time-periodic probability distribution function of particles in such a system by perturbatively solving the 1D Vlasov equation in the limit of high frequency and slow spatial variation of the time-periodic force. We find that the time-averaged distribution function and density cannot be written simply in terms of an effective potential, also known as the fictitious ponderomotive potential. We also find that the temperature of such systems is spatially non-uniform leading to a non-equilibrium steady state which can further lead to a complex statistical time evolution of the system. Finally, we outline a method by which one can use these analytical solutions of the Vlasov equation to obtain numerical solutions of the self-consistent Vlasov-Poisson equations for such systems.


title: Necessary and sufficient conditions for the existence of $\alpha$-determinantal processes

abstract: We give necessary and sufficient conditions for existence and infinite divisibility of $\alpha$-determinantal processes. For that purpose we use results on negative binomial and ordinary binomial multivariate distributions.


title: Gluon shadowing effects on J/psi and Upsilon production in p+Pb collisions at sqrt s_NN = 115 GeV and Pb+p collisions at sqrt s_NN = 72 GeV at AFTER@LHC

abstract: We explore the effects of shadowing on inclusive J/psi and Upsilon(1S) production at AFTER@LHC. We also present the rates as a function of p_T and rapidity for p+Pb and Pb+p collisions in the proposed AFTER@LHC rapidity acceptance.


title: The Evolution of Gas and Star Formation from z=3 to z=0

abstract: The cosmic star formation rate density first increases with time towards a pronounced peak 10 Gyrs ago (or z=1-2) and then slows down, dropping by more than a factor 10 since z=1. The processes at the origin of the star formation quenching are not yet well identified, either the gas is expelled by supernovae and AGN feedback, or prevented to inflow. Morphological transformation or environment effects are also invoked. Recent IRAM/NOEMA and ALMA results are reviewed about the molecular content of galaxies and its dynamics, as a function of redshift. Along the main sequence of massive star forming galaxies, the gas fraction was higher in the past (up to 80\%), and galaxy disks were more unstable and more turbulent. The star formation efficiency increases with redshift, or equivalently the depletion time decreases, whatever the position of galaxies, either on the main sequence or above. Attempts have been made to determine the cosmic evolution of the H_2 density, but deeper ALMA observations are needed to effectively compare with models.


title: Continuity properties of the inf-sup constant for the divergence

abstract: The inf-sup constant for the divergence, or LBB constant, is explicitly known for only few domains. For other domains, upper and lower estimates are known. If more precise values are required, one can try to compute a numerical approximation. This involves, in general, approximation of the domain and then the computation of a discrete LBB constant that can be obtained from the numerical solution of an eigenvalue problem for the Stokes system. This eigenvalue problem does not fall into a class for which standard results about numerical approximations can be applied. Indeed, many reasonable finite element methods do not yield a convergent approximation. In this article, we show that under fairly weak conditions on the approximation of the domain, the LBB constant is an upper semi-continuous shape functional, and we give more restrictive sufficient conditions for its continuity with respect to the domain. For numerical approximations based on variational formulations of the Stokes eigenvalue problem, we also show upper semi-continuity under weak approximation properties, and we give stronger conditions that are sufficient for convergence of the discrete LBB constant towards the continuous LBB constant. Numerical examples show that our conditions are, while not quite optimal, not very far from necessary.


title: Better Exploiting OS-CNNs for Better Event Recognition in Images

abstract: Event recognition from still images is one of the most important problems for image understanding. However, compared with object recognition and scene recognition, event recognition has received much less research attention in computer vision community. This paper addresses the problem of cultural event recognition in still images and focuses on applying deep learning methods on this problem. In particular, we utilize the successful architecture of Object-Scene Convolutional Neural Networks (OS-CNNs) to perform event recognition. OS-CNNs are composed of object nets and scene nets, which transfer the learned representations from the pre-trained models on large-scale object and scene recognition datasets, respectively. We propose four types of scenarios to explore OS-CNNs for event recognition by treating them as either "end-to-end event predictors" or "generic feature extractors". Our experimental results demonstrate that the global and local representations of OS-CNNs are complementary to each other. Finally, based on our investigation of OS-CNNs, we come up with a solution for the cultural event recognition track at the ICCV ChaLearn Looking at People (LAP) challenge 2015. Our team secures the third place at this challenge and our result is very close to the best performance.


title: Elliptic curves over a finite field and the trace formula

abstract: We prove formulas for power moments for point counts of elliptic curves over a finite field $k$ such that the groups of $k$-points of the curves contain a chosen subgroup. These formulas express the moments in terms of traces of Hecke operators for certain congruence subgroups of $\operatorname{SL}_2(\mathbb{Z})$. As our main technical input we prove an Eichler-Selberg trace formula for a family of congruence subgroups of $\operatorname{SL}_2(\mathbb{Z})$ which include as special cases the groups $\Gamma_1(N)$ and $\Gamma(N)$. Our formulas generalize results of Birch and Ihara (the case of the trivial subgroup, and the full modular group), and previous work of the authors (the subgroups $\mathbb{Z}/2\mathbb{Z}$ and $(\mathbb{Z}/2\mathbb{Z})^2$ and congruence subgroups $\Gamma_0(2),\Gamma_0(4)$). We use these formulas to answer statistical questions about point counts for elliptic curves over a fixed finite field, generalizing results of Vl\v{a}du\c{t}, Gekeler, Howe, and others.


title: Observation of quantum-limited heat conduction over macroscopic distances

abstract: The emerging quantum technological apparatuses [1,2], such as the quantum computer [3-5], call for extreme performance in thermal engineering at the nanoscale [6]. Importantly, quantum mechanics sets a fundamental upper limit for the flow of information and heat, which is quantified by the quantum of thermal conductance [7,8]. The physics of this kind of quantum-limited heat conduction has been experimentally studied for lattice vibrations, or phonons [9], for electromagnetic interactions [10], and for electrons [11]. However, the short distance between the heat-exchanging bodies in the previous experiments hinders the applicability of these systems in quantum technology. Here, we present experimental observations of quantum-limited heat conduction over macroscopic distances extending to a metre. We achieved this striking improvement of four orders of magnitude in the distance by utilizing microwave photons travelling in superconducting transmission lines. Thus it seems that quantum-limited heat conduction has no fundamental restriction in its distance. This work lays the foundation for the integration of normal-metal components into superconducting transmission lines, and hence provides an important tool for circuit quantum electrodynamics [12-14], which is the basis of the emerging superconducting quantum computer [15]. In particular, our results demonstrate that cooling of nanoelectronic devices can be carried out remotely with the help of a far-away engineered heat sink. In addition, quantum-limited heat conduction plays an important role in the contemporary studies of thermodynamics such as fluctuation relations and Maxwell's demon [16,17]. Here, the long distance provided by our results may, for example, lead to an ultimate efficiency of mesoscopic heat engines with promising practical applications [18].


title: Insights into the variability of nucleated amyloid polymerization by a minimalistic model of stochastic protein assembly

abstract: Self-assembly of proteins into amyloid aggregates is an important biological phenomenon associated with human diseases such as Alzheimer's disease. Amyloid fibrils also have potential applications in nano-engineering of biomaterials. The kinetics of amyloid assembly show an exponential growth phase preceded by a lag phase, variable in duration as seen in bulk experiments and experiments that mimic the small volumes of cells. Here, to investigate the origins and the properties of the observed variability in the lag phase of amyloid assembly currently not accounted for by deterministic nucleation dependent mechanisms, we formulate a new stochastic minimal model that is capable of describing the characteristics of amyloid growth curves despite its simplicity. We then solve the stochastic differential equations of our model and give mathematical proof of a central limit theorem for the sample growth trajectories of the nucleated aggregation process. These results give an asymptotic description for our simple model, from which closed form analytical results capable of describing and predicting the variability of nucleated amyloid assembly were derived. We also demonstrate the application of our results to inform experiments in a conceptually friendly and clear fashion. Our model offers a new perspective and paves the way for a new and efficient approach on extracting vital information regarding the key initial events of amyloid formation.


title: Piecewise constructions of inverses of cyclotomic mapping permutation polynomials

abstract: Given a permutation polynomial of a large finite field, finding its inverse is usually a hard problem. Based on a piecewise interpolation formula, we construct the inverses of cyclotomic mapping permutation polynomials of arbitrary finite fields.


title: Domain walls inside localised orientifolds

abstract: The equations of motion of toroidal orientifold compactifications with fluxes are in one-to-one correspondence with gauged supergravity if the orientifold (and D-brane) sources are smeared over the compact space. This smeared limit is identical to the approximation that ignores warping. It is therefore relevant to compare quantities obtained from the gauged supergravity with the true 10d solution with localised sources. In this paper we find the correspondence between BPS domain walls in gauged SUGRA and 10D SUGRA with localised sources. Our model is the simplest orientifold with fluxes we are aware of: an O6/D6 compactification on T^3/Z_2 in massive IIA with H_3-flux. The BPS domain walls correspond to a O6/D6/NS5/D8 bound state. Our analysis reveals that the domain wall energy computed in gauged SUGRA is unaffected by the localisation of the O6/D6 sources.


title: Superstatistical velocity distributions of cold trapped ions in molecular dynamics simulations

abstract: We present a realistic molecular-dynamics treatment of laser-cooled ions in radiofrequency ion traps which avoids previously made simplifications such as modeling laser cooling as a friction force and combining individual heating mechanisms into a single effective heating force. Based on this implementation, we show that infrequent energetic collisions of single ions with background gas molecules lead to pronounced heating of the entire ion ensemble and a time-varying secular ensemble temperature which manifests itself in a superstatistical time-averaged velocity distribution of the ions. The effect of this finding on the experimental determination of ion temperatures and rate constants for cold chemical reactions is discussed.


title: Relative BGG sequences; II. BGG machinery and invariant operators

abstract: For a real or complex semisimple Lie group $G$ and two nested parabolic subgroups $Q\subset P\subset G$, we study parabolic geometries of type $(G,Q)$. Associated to the group $P$, we introduce a class of relative natural bundles and relative tractor bundles and construct some basic invariant differential operators on such bundles. We define a (rather weak) notion of "compressability" for operators acting on relative differential forms with values in a relative tractor bundle. The we develop a general machinery which converts a compressable operator to an operator on bundles associated to completely reducible representations on relative Lie algebra homology groups. Applying this machinery to a specific compressable invariant differential operator of order one, we obtain a relative version of BGG (Bernstein--Gelfand--Gelfand) sequences. All our constructions apply in the case $P=G$, producing new and simpler proofs in the case of standard BGG sequences. We characterize cases in which the relative BGG sequences are complexes or even fine resolutions of certain sheaves and describe these sheaves. We show that this gives constructions of new invariant differential operators as well as of new subcomplexes in certain curved BGG sequences. The results are made explicit in the case of generalized path geometries.


title: Two-photon pumped lead halide perovskite nanowire lasers

abstract: Solution-processed lead halide perovskites have shown very bright future in both solar cells and microlasers. Very recently, the nonlinearity of perovskites started to attract considerable research attention. Second harmonic generation and two-photon absorption have been successfully demonstrated. However, the nonlinearity based perovskite devices such as micro- & nano- lasers are still absent. Here we demonstrate the two-photon pumped nanolasers from perovskite nanowires. The CH3NH3PbBr3 perovskite nanowires were synthesized with one-step solution self-assembly method and dispersed on glass substrate. Under the optical excitation at 800 nm, two-photon pumped lasing actions with periodic peaks have been successfully observed at around 546 nm. The obtained quality (Q) factors of two-photon pumped nanolasers are around 960, and the corresponding thresholds are about 674?J=cm2. Both the Q factors and thresholds are comparable to conventional whispering gallery modes in two-dimensional polygon microplates. Our researches are the first demonstrations of two-photon pumped nanolasers in perovskite nanowires. We believe our finding will significantly expand the application of perovskite in low-cost nonlinear optical devices such as optical limiting, optical switch, and biomedical imaging et al.


title: Fermi surface versus Fermi sea contributions to intrinsic anomalous and spin Hall effects of multiorbital metals in the presence of Coulomb interaction and spin-Coulomb drag

abstract: Anomalous Hall effect (AHE) and spin Hall effect (SHE) are fundamental phenomena, and their potential for application is great. However, we understand the interaction effects unsatisfactorily, and should have clarified issues about the roles of the Fermi sea term and Fermi surface term of the conductivity of the intrinsic AHE or SHE of an interacting multiorbital metal and about the effects of spin-Coulomb drag on the intrinsic SHE. Here we resolve the first issue and provide the first step about the second issue by developing a general formalism in the linear response theory with appropriate approximations and using analytic arguments. The most striking result is that even without impurities the Fermi surface term, a non-Berry-curvature term, plays dominant roles at high or slightly low temperatures. In particular, this Fermi surface term causes the temperature dependence of the dc anomalous Hall or spin Hall conductivity due to the interaction-induced quasiparticle damping and the correction of the dc spin Hall conductivity due to the spin-Coulomb drag. Those results revise our understanding of the intrinsic AHE and SHE. We also find that the differences between the dc anomalous Hall and longitudinal conductivities arise from the difference in the dominant multiband excitations. This not only explains why the Fermi sea term such as the Berry-curvature term becomes important in clean and low-temperature case only for interband transports but also provides the useful principles on treating the electron-electron interaction in an interacting multiorbital metal for general formalism of transport coefficients. Several correspondences between our results and experiments are finally discussed.


title: repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints

abstract: Consistency of knowledge repositories is of prime importance in organization management. Integrity constraints are a well-known vehicle for specifying data consistency requirements in knowledge bases; in particular, active integrity constraints go one step further, allowing the specification of preferred ways to overcome inconsistent situations in the context of database management. This paper describes a tool to validate an SQL database with respect to a given set of active integrity constraints, proposing possible repairs in case the database is inconsistent. The tool is able to work with the different kinds of repairs proposed in the literature, namely simple, founded, well-founded and justified repairs. It also implements strategies for parallelizing the search for them, allowing the user both to compute partitions of independent or stratified active integrity constraints, and to apply these partitions to find repairs of inconsistent databases efficiently in parallel.


title: Measurements of CP violation in B mixing through $B \to J/\psi X$ decays at LHCb

abstract: B mesons provide an ideal laboratory for measurements of CP violation and searches for CP violation beyond the Standard Model. Recent measurements of the mixing phases of the $B_s^0$ and $B^0$ mesons, $\phi_s$ and $\sin2\beta$, using decays to $J/\psi X$ final states are presented. In view of future improved measurements, a good understanding of pollution from sub-leading penguin topologies in these decays is needed. Those can be probed using suppressed decays like $B_s^0 \to J/\psi K_S^0$ and $B_s^0 \to J/\psi \overline{K}^{*0}$. Recent results using these decay modes are presented.


title: A note on model structures on arbitrary Frobenius categories

abstract: We show that there is a model structure in the sense of Quillen on an arbitrary Frobenius category $\F$ such that the homotopy category of this model structure is equivalent to the stable category $\underline{\F}$ as triangulated categories.


title: The commutative core of a Leavitt path algebra

abstract: For any unital commutative ring $R$ and for any graph $E$, we identify the commutative core of the Leavitt path algebra of $E$ with coefficients in $R$, which is a maximal commutative subalgebra of the Leavitt path algebra. Furthermore, we are able to characterize injectivity of representations which gives a generalization of the Cuntz-Krieger uniqueness theorem.


title: Status of the Inert Doublet Model of dark matter after Run-1 of the LHC

abstract: The Inert Doublet Model (IDM) is one of the simplest extensions of the Standard Model that can provide a viable dark matter (DM) candidate. Despite its simplicity, it predicts a versatile phenomenology both for cosmology and for the Large Hadron Collider. We briefly summarize the status of searches for IDM dark matter in direct DM detection experiments and the LHC, focusing on the impact of the latter on the model parameter space. In particular, we discuss the consequences of the Higgs boson discovery as well as those of searches for dileptons accompanied by missing transverse energy during the first LHC Run and comment on the prospects of probing some of the hardest to test regions of the IDM parameter space during the 13 TeV Run.


title: Decidability in the logic of subsequences and supersequences

abstract: We consider first-order logics of sequences ordered by the subsequence ordering, aka sequence embedding. We show that the \Sigma_2 theory is undecidable, answering a question left open by Kuske. Regarding fragments with a bounded number of variables, we show that the FO2 theory is decidable while the FO3 theory is undecidable.


title: A survey on the singularities of spherical varieties

abstract: We list combinatorial criteria of some singularities, which appear in the Minimal Model Program or in the study of (singular) Fano varieties, for spherical varieties. Most of the results of this paper are already known or are quite easy corollary of known results. We collect these results, we precise some proofs and add few results to get a coherent and complete survey.


title: Growth of matter perturbations in clustered holographic dark energy cosmologies

abstract: We investigate the growth of matter fluctuations in holographic dark energy cosmologies. First we use an overall statistical analysis involving the latest observational data in order to place constraints on the cosmological parameters. Then we test the range of validity of the holographic dark energy models at the perturbation level and its variants from the concordance $\Lambda$ cosmology. Specifically, we provide a new analytical approach in order to derive, for the first time, the growth index of matter perturbations. Considering a homogeneous holographic dark energy we find that the growth index is $\gamma \approx \frac{4}{7}$ which is somewhat larger ($\sim 4.8\%$) than that of the usual $\Lambda$ cosmology, $\gamma^{(\Lambda)}\approx \frac{6}{11}$. Finally, if we allow clustering in the holographic dark energy models then the asymptotic value of the growth index is given in terms of the effective sound speed $c_{\rm eff}^2$, namely $\gamma \approx \frac{3(1-c_{\rm eff}^2)}{7}$.


title: Demonstrating High-precision, Multiband Transit Photometry with MuSCAT: A Case for HAT-P-14b

abstract: The Multicolor Simultaneous Camera for studying Atmospheres of Transiting exoplanets (MuSCAT) is an optical three-band (g'_2-, r'_2-, and z_{s,2}-band) imager that was recently developed for the 188cm telescope at Okayama Astrophysical Observatory with the aim of validating and characterizing transiting planets. In a pilot observation with MuSCAT we observed a primary transit of HAT-P-14b, a high-surface gravity (g_p=38 ms^{-2}) hot Jupiter around a bright (V=10) F-type star. From a 2.9 hr observation, we achieved the five-minute binned photometric precisions of 0.028%, 0.022%, and 0.024% in the g'_2, r'_2, and z_{s,2} bands, respectively, which provided the highest-quality photometric data for this planet. Combining these results with those of previous observations, we search for variations of transit timing and duration over five years as well as variations of planet-star radius ratio (R_p/R_s) with wavelengths, but can find no considerable variation in any parameters. On the other hand, using the transit-subtracted light curves we simulate achievable measurement error of R_p/R_s with MuSCAT for various planetary sizes, assuming three types of host stars: HAT-P-14, the nearby K dwarf HAT-P-11, and the nearby M dwarf GJ1214. Comparing our results with the expected atmospheric scale heights, we find that MuSCAT is capable of probing the atmospheres of planets as small as a sub-Jupiter (R_p ~6 R_Earth) around HAT-P-14 in all bands, a Neptune (~4R_Earth) around HAT-P-11 in all bands, and a super-Earth (~2.5R_Earth) around GJ1214 in r'_2 and z_{s,2} bands. These results promise that MuSCAT will produce fruitful scientific outcomes in the K2 and TESS era.


title: On the Classes of Interval Graphs of Limited Nesting and Count of Lengths

abstract: In 1969, Roberts introduced proper and unit interval graphs and proved that these classes are equal. Natural generalizations of unit interval graphs called $k$-length interval graphs were considered in which the number of different lengths of intervals is limited by $k$. Even after decades of research, no insight into their structure is known and the complexity of recognition is open even for $k=2$. We propose generalizations of proper interval graphs called $k$-nested interval graphs in which there are no chains of $k+1$ intervals nested in each other. It is easy to see that $k$-nested interval graphs are a superclass of $k$-length interval graphs. We give a linear-time recognition algorithm for $k$-nested interval graphs. This algorithm adds a missing piece to Gajarsk\'y et al. [FOCS 2015] to show that testing FO properties on interval graphs is FPT with respect to the nesting $k$ and the length of the formula, while the problem is W2-hard when parameterized just by the length of the formula. We show that a generalization of recognition called partial representation extension is NP-hard for $k$-length interval graphs, even when $k=2$, while Klav\'ik et al. show that it is polynomial-time solvable for $k$-nested interval graphs.


title: Phased and phaseless domain reconstruction in inverse scattering problem via scattering coefficients

abstract: In this work we shall review the (phased) inverse scattering problem and then pursue the phaseless reconstruction from far-field data with the help of the concept of scattering coefficients. We perform sensitivity, resolution and stability analysis of both phased and phaseless problems and compare the degree of ill-posedness of the phased and phaseless reconstructions. The phaseless reconstruction is highly nonlinear and much more severely ill-posed. Algorithms are provided to solve both the phased and phaseless reconstructions in the linearized case. Stability is studied by estimating the condition number of the inversion process for both the phased and phaseless cases. An optimal strategy is suggested to attain the infimum of the condition numbers of the phaseless reconstruction, which may provide an important guidance for efficient phaseless measurements in practical applications. To the best of our knowledge, the stability analysis in terms of condition numbers are new for the phased and phaseless inverse scattering problems, and are very important to help us understand the degree of ill-posedness of these inverse problems. Numerical experiments are provided to illustrate the theoretical asymptotic behavior, as well as the effectiveness and robustness of the phaseless reconstruction algorithm.


title: Marking Shortest Paths On Pushdown Graphs Does Not Preserve MSO Decidability

abstract: In this paper we consider pushdown graphs, i.e. infinite graphs that can be described as transition graphs of deterministic real-time pushdown automata. We consider the case where some vertices are designated as being final and we built, in a breadth-first manner, a marking of edges that lead to such vertices (i.e., for every vertex that can reach a final one, we mark all out-going edges laying on some shortest path to a final vertex). Our main result is that the edge-marked version of a pushdown graph may itself no longer be a pushdown graph, as we prove that this enrich graph may have an undecidable MSO theory. In this paper we consider pushdown graphs, i.e. infinite graphs that can be described as transition graphs of deterministic real-time pushdown automata. We consider the case where some vertices are designated as being final and we build, in a breadth-first manner, a marking of edges that lead to such vertices (i.e., for every vertex that can reach a final one, we mark all out-going edges laying on some shortest path to a final vertex). Our main result is that the edge-marked version of a pushdown graph may itself no longer be a pushdown graph, as we prove that the MSO theory of this enriched graph may be undecidable.


title: Multi-particle quantum dynamics under real-time observation

abstract: Recent developments in quantum gas microscopy open up the possibility of real-time observation of quantum many-body systems. To understand the dynamics of atoms under such circumstances, we formulate the dynamics under a real-time spatially resolved measurement and show that, in an appropriate limit of weak spatial resolution and strong atom-light coupling, the measurement indistinguishability of particles results in complete suppression of relative positional decoherence. As a consequence, quantum correlation in the multi-particle dynamics persists under a minimally destructive observation. We numerically demonstrate this for ultracold atoms in an optical lattice. Our theoretical framework can be applied to feedback control of quantum many-body systems which may be realized in subwavelength-spacing lattice systems.


title: Stability of two-dimensional solutions to the Navier-Stokes equations in cylindrical domains under Navier-boundary conditions

abstract: The Navier-Stokes motions in cylindrical domain with Navier boundary conditions are considered. First the existence of global regular two-dimensional solutions are proved. The solutions are bounded by the same constant for all time. Assuming that the initial velocity and the external force are sufficiently close to the initial velocity and the external force of the two-dimensional solutions we prove global existence of three-dimensional solutions which remain close to the two-dimensional solutions for all time. In this way we mean stability of two-dimensional solutions.


title: Structure formation in monolayers composed of hard bent-core molecules

abstract: Two-dimensional ensembles of bent-core shaped molecules attain at highly orienting surfaces liquid crystalline structures characteristic mostly for lamellar chiral or nonchiral antiferroelectric order. Here, using the Onsager-type of density functional theory supplemented by constant-pressure Monte-Carlo (MC) simulation we investigate the role of excluded-volume interactions in stabilizing different structures in monolayers filled with bent-shaped molecules. We study influence of molecular features, like the apex angle, thickness of the arm and the type of the arm edges on the stability of layered structures. For simple molecular shapes taken the observed phases are dominated by the lamellar antiferroelectric type as observed experimentally, but a considerable sensitivity of the ordering to details of the molecular shape is found for order parameters and wave vectors of the structures. Interestingly, for large opening angles and not too thick molecules a window of stable nematic splay-bend phase is shown to exist. The presented theory models equilibrium properties of bent-core liquid crystals subjected to strong planar anchoring, in the case when details of the surface are of secondary importance.


title: Multiresolution Search of the Rigid Motion Space for Intensity Based Registration

abstract: We study the relation between the target functions of low-resolution and high-resolution intensity-based registration for the class of rigid transformations. Our results show that low resolution target values can tightly bound the high-resolution target function in natural images. This can help with analyzing and better understanding the process of multiresolution image registration. It also gives a guideline for designing multiresolution algorithms in which the search space in higher resolution registration is restricted given the fitness values for lower resolution image pairs. To demonstrate this, we incorporate our multiresolution technique into a Lipschitz global optimization framework. We show that using the multiresolution scheme can result in large gains in the efficiency of such algorithms. The method is evaluated by applying to 2D and 3D registration problems as well as the detection of reflective symmetry in 2D and 3D images.


title: Resummed mean-field inference for strongly coupled data

abstract: We present a resummed mean-field approximation for inferring the parameters of an Ising or a Potts model from empirical, noisy, one- and two-point correlation functions. Based on a resummation of a class of diagrams of the small correlation expansion of the log-likelihood, the method outperforms standard mean-field inference methods, even when they are regularized. The inference is stable with respect to sampling noise, contrarily to previous works based either on the small correlation expansion, on the Bethe free energy, or on the mean-field and Gaussian models. Because it is mostly analytic, its complexity is still very low, requiring an iterative algorithm to solve for $N$ auxiliary variables, that resorts only to matrix inversions and multiplications. We test our algorithm on the Sherrington-Kirkpatrick model submitted to a random external field and large random couplings, and demonstrate that even without regularization, the inference is stable across the whole phase diagram. In addition, the calculation leads to a consistent estimation of the entropy of the data and allows us to sample form the inferred distribution to obtain artificial data that are consistent with the empirical distribution.


title: Minimal surfaces in minimally convex domains

abstract: In this paper, we prove that every conformal minimal immersion of a compact bordered Riemann surface $M$ into a minimally convex domain $D\subset \mathbb{R}^3$ can be approximated, uniformly on compacts in $\mathring M=M\setminus bM$, by proper complete conformal minimal immersions $\mathring M\to D$. We also obtain a rigidity theorem for complete immersed minimal surfaces of finite total curvature contained in a minimally convex domain in $\mathbb{R}^3$, and we characterize the minimal surface hull of a compact set $K$ in $\mathbb{R}^n$ for any $n\ge 3$ by sequences of conformal minimal disks whose boundaries converge to $K$ in the measure theoretic sense.


title: Cut-Set Bound Is Loose for Gaussian Relay Networks

abstract: The cut-set bound developed by Cover and El Gamal in 1979 has since remained the best known upper bound on the capacity of the Gaussian relay channel. We develop a new upper bound on the capacity of the Gaussian primitive relay channel which is tighter than the cut-set bound. Our proof is based on typicality arguments and concentration of Gaussian measure. Combined with a simple tensorization argument proposed by Courtade and Ozgur in 2015, our result also implies that the current capacity approximations for Gaussian relay networks, which have linear gap to the cut-set bound in the number of nodes, are order-optimal and leads to a lower bound on the pre-constant.


title: Velocity and displacement statistics in a stochastic model of nonlinear friction showing bounded particle speed

abstract: Diffusion of colloidal particles in a complex environment such as polymer networks or biological cells is a topic of high complexity with significant biological and medical relevance. In such situations, the interaction between the surroundings and the particle motion has to be taken into account. We analyze a simplified diffusion model that includes some aspects of a complex environment in the framework of a nonlinear friction process: at low particle speeds, friction grows linearly with the particle velocity as for regular viscous friction; it grows more than linearly at higher particle velocities; finally, at a maximum of the possible particle speed the friction diverges. In addition to bare diffusion, we study the influence of a constant drift force acting on the diffusing particle. While the corresponding stationary velocity distributions can be derived analytically, the displacement statistics generally must be determined numerically. However, as a benefit of our model, analytical progress can be made in one case of a special maximum particle speed. The effect of a drift force in this case is analytically determined by perturbation theory. It will be interesting in the future to compare our results to real experimental systems. One realization could be magnetic colloidal particles diffusing through a shear-thickening environment such as starch suspensions, possibly exposed to an external magnetic field gradient.


title: Phase Transitions in a kinetic flocking model of Cucker-Smale type

abstract: We consider a collective behavior model in which individuals try to imitate each others' velocity and have a preferred speed. We show that a phase change phenomenon takes place as diffusion decreases, bringing the system from a "disordered" to an "ordered" state. This effect is related to recently noticed phenomena for the diffusive Vicsek model. We also carry out numerical simulations of the system and give further details on the phase transition.


title: Spherical collapse in the extended quintessence cosmological models

abstract: We use the spherical collapse method to investigate the non-linear density perturbations of pressureless matter in the cosmological models with the extended quintessence as dark energy in the metric and Palatini formalisms. We find that for both formalisms, when the coupling constant is negative, the deviation from the $\Lambda$CDM model is the least according to the evolutionary curves of the linear density contrast $\delta_{c}$ and virial overdensity $\Delta_{v}$, and it is less than one percent. And this indicates that, in the extended quintessence cosmological models in which the coupling constant is negative, all quantities dependent on $\delta_{c}$ or $\Delta_{v}$ are essentially unaffected if the linear density contrast or the virial overdensity of the $\Lambda$CDM model is used as an approximation. Moreover, we find that the differences between different formalisms are very small in terms of structure formation, and thus can not be used to distinguish the metric and Palatini formalisms.


title: Filtrations of global equivariant K-theory

abstract: Arone and Lesh constructed and studied spectrum level filtrations that interpolate between connective (topological or algebraic) K-theory and the Eilenberg-MacLane spectrum for the integers. In this paper we consider (global) equivariant generalizations of these filtrations and of another closely related class of filtrations, the modified rank filtrations of the K-theory spectra themselves. We lift Arone and Lesh's description of the filtration subquotients to the equivariant context and apply it to compute algebraic filtrations on representation rings that arise on equivariant homotopy groups. It turns out that these representation ring filtrations are considerably easier to express globally than over a fixed compact Lie group. Furthermore, they have formal similarities to the filtration on Burnside rings induced by the symmetric products of spheres, which was computed by Schwede.


title: Crystalline Ground States in Polyakov-loop extended Nambu--Jona-Lasinio Models

abstract: Nambu--Jona-Lasinio-type models have been used extensively to study the dynamics of the theory of the strong interaction at finite temperature and quark chemical potential on a phenomenological level. In addition to these studies, which are often performed under the assumption that the ground state of the theory is homogeneous, searches for the existence of crystalline phases associated with inhomogeneous ground states have attracted a lot of interest in recent years. In this work, we study the Polyakov-loop extended Nambu--Jona-Lasinio model and find that the existence of a crystalline phase is stable against a variation of the parametrization of the underlying Polyakov loop potential. To this end, we adopt two prominent parametrizations. Moreover, we observe that the existence of a quarkyonic phase depends crucially on the parametrization, in particular in the regime of the phase diagram where inhomogeneous chiral condensation is favored.


title: Probing triple-Higgs productions via $4b2\gamma$ decay channel at a 100 TeV hadron collider

abstract: The quartic self-coupling of the Standard Model Higgs boson can only be measured by observing the triple-Higgs production process, but it is challenging for the Large Hadron Collider (LHC) Run 2 or International Linear Collider (ILC) at a few TeV because of its extremely small production rate. In this paper, we present a detailed Monte Carlo simulation study of the triple-Higgs production through gluon fusion at a 100 TeV hadron collider and explore the feasibility of observing this production mode. We focus on the decay channel $HHH\rightarrow b\bar{b}b\bar{b}\gamma\gamma$, investigating detector effects and optimizing the kinematic cuts to discriminate the signal from the backgrounds. Our study shows that, in order to observe the Standard Model triple-Higgs signal, the integrated luminosity of a 100 TeV hadron collider should be greater than $1.8\times 10^4$ ab$^{-1}$. We also explore the dependence of the cross section upon the trilinear ($\lambda_3$) and quartic ($\lambda_4$) self-couplings of the Higgs. We find that, through a search in the triple-Higgs production, the parameters $\lambda_3$ and $\lambda_4$ can be restricted to the ranges $[-1, 5]$ and $[-20, 30]$, respectively. We also examine how new physics can change the production rate of triple-Higgs events. For example, in the singlet extension of the Standard Model, we find that the triple-Higgs production rate can be increased by a factor of $\mathcal{O}(10)$.


title: A classification of equivariant principal bundles over nonsingular toric varieties

abstract: We classify holomorphic as well as algebraic torus equivariant principal $G$-bundles over a nonsingular toric variety $X$, where $G$ is a complex linear algebraic group. It is shown that any such bundle over an affine, nonsingular toric variety admits a trivialization in equivariant sense. We also obtain some splitting results.


title: On Equilibria of N-seller and N-buyer Bargaining Games

abstract: A group of players which contain n sellers and n buyers bargain over the partitions of n pies. A seller(/buyer) has to reach an agreement with a buyer (/seller) on the division of a pie. The players bargain in a system like the stock market: each seller(buyer) can either offer a selling(buying) price to all buyers(sellers) or accept a price offered by another buyer(seller). The offered prices are known to all. Once a player accepts a price offered by another one, the division of a pie between them is determined. Each player has a constant discounting factor and the discounting factors of all players are common knowledge. In this article, we prove that the equilibrium of this bargaining problem is a unanimous division rate, which is equivalent to Nash bargaining equilibrium of a two-player bargaining game in which the discounting factors of two players are the average of n buyers and the average of n sellers respectively. This result shows the relevance between bargaining equilibrium and general equilibrium of markets.


title: Multi-head Watson-Crick automata

abstract: Inspired by multi-head finite automata and Watson-Crick automata in this paper, we introduce new structure namely multi-head Watson-Crick automata where we replace the single tape of multi-head finite automaton by a DNA double strand. The content of the second tape is determined using a complementarity relation similar to Watson-Crick complementarity relation. We establish the superiority of our model over multi-head finite automata and also show that both the deterministic and non-deterministic variant of the model can accept non-regular unary languages. We also compare our model with parallel communicating Watson-Crick automata systems and prove that both of them have the same computational power.


title: Collaboration between SAML Federations and OpenStack Clouds

abstract: In this paper, we present the design process of a novel solution for enabling the collaboration between OpenStack cloud systems in SAML federations with standalone attribute authorities, such as national research and education federations or eduGAIN. The software solution that realizes the integration of systems serves as a case study to show how abstract desirable engineering properties fixed at the beginning of the design process can be implemented during the development phase. An analysis of earlier generations of OpenStack-related developments trying to tackle the same problem is given. Many aspects of this software integration can be generalized to serve as a template for federative cloud access.


title: Circular photon drag effect in bulk tellurium

abstract: The circular photon drag effect is observed in a bulk semiconductor. The photocurrent caused by a transfer of both translational and angular momenta of light to charge carriers is detected in tellurium in the mid-infrared frequency range. Dependencies of the photocurrent on the light polarization and on the incidence angle agree with the symmetry analysis of the circular photon drag effect. Microscopic models of the effect are developed for both intra- and inter-subband optical absorption in the valence band of tellurium. The shift contribution to the circular photon drag current is calculated. An observed decrease of the circular photon drag current with increase of the photon energy is explained by the theory for inter-subband optical transitions. Theoretical estimates of the circular photon drag current agree with the experimental data.


title: Interaction between single vacancies in graphene sheet: An ab initio calculation

abstract: In order to investigate the interaction between single vacancies in a graphene sheet, we have used spin-polarized density functional theory (DFT). Two distinct configurations were considered, either with the two vacancies located in the same sublattice or in different sublattices, and the effect of changing the separation between the vacancies was also studied. Our results show that the ground state of the system is indeed magnetic, but the presence of the vacancies in the same sublattice or in different sublattices and the possible topological configurations can lead to different contributions from the $\pi$ and $\sigma$ orbitals to magnetism. On the other hand, our findings reveal that the net magnetic moment of the system with the two vacancies in the same sublattice move towards the value of the magnetic moment per isolated vacancy with the increase of the distance between the vacancies, which is ascribed to the different contributions due to $\pi$ electrons. Moreover, it is also found that the local magnetic moments for vacancies in the same sublattice are in parallel configuration, while they have different orientations when the vacancies are created in different sublattices. So, our findings have clearly evidenced how difficult it would be to observe experimentally the emergence of magnetic order in graphene-based systems containing randomly created atomic vacancies, since the energy difference between cases of antiferromagnetic and ferromagnetic order decreases quickly with the increase in the distance separating each vacancy pair.


title: Local and global solution for a nonlocal Fokker-Planck equation related to the adaptive biaising force processes

abstract: We prove global existence, uniqueness and regularity of the mild, Lp and classical solution of a non-linear Fokker-Planck equation arising in an adaptive importance sampling method for molecular dynamics calculations. The non- linear term is related to a conditional expectation, and is thus non-local. The proof uses tools from the theory of semigroups of linear operators for the local existence result, and an a priori estimate based on a supersolution for the global existence result.


title: Subvarieties of the variety of meadows

abstract: Meadows - commutative rings equipped with a total inversion operation - can be axiomatized by purely equational means. We study subvarieties of the variety of meadows obtained by extending the equational theory and expanding the signature.


title: Classification of the static and asymptotically flat Einstein-Maxwell-dilaton spacetimes with a photon sphere

abstract: We consider the problem for the classification of static and asymptotically flat Einstein-Maxwell-dilaton spacetimes with a photon sphere. It is first proven that the photon spheres in Einstein-Maxwell-dilaton gravity have constant mean and constant scalar curvature. Then we derive some relations between the mean curvature and the physical characteristics of the photon spheres. Using further the symmetries of the dimensionally reduced Einstein-Maxwell-dilaton field equations we show that the lapse function, the electrostatic potential and the dilaton field are functionally dependent in the presence of a photon sphere. Using all this we prove the main classification theorem by explicitly constructing all Einstein-Maxwell-dilaton solutions possessing a non-extremal photon sphere.


title: Particle acceleration in the vacuum gaps in black hole magnetospheres

abstract: We consider particle acceleration in vacuum gaps in magnetospheres of black holes powered through Blandford-Znajek mechanism and embedded into radiatively-inefficient accretion flow (RIAF) environment. In such situation the gap height is limited by the onset of gamma-gamma pair production on the infrared photons originating from the RIAF. We numerically calculate acceleration and propagation of charged particles taking into account the detailed structure of electric and magnetic field in the gap and in the entire black hole magnetosphere, radiative energy losses and interactions of gamma rays produced by the propagated charged particles with the background radiation field of RIAF. We show that the presence of the vacuum gap has clear observational signatures. The spectra of emission from gaps embedded into a relatively high luminosity RIAF are dominated by the inverse Compton emission with a sharp, super-exponential cut-off in the very-high-energy gamma-ray band. The cut-off energy is determined by the properties of the RIAF and is largely independent of the structure of magnetosphere and geometry of the gap.The spectra of the gap residing in low-luminosity RIAFs are dominated by synchrotron / curvature emission with the spectra extending into 1-100 GeV energy range. We also consider the effect of possible acceleration of protons in the gap and find that proton energies could reach the ultra-high-energy cosmic ray (UHECR) range only in extremely low luminosity RIAFs.


title: Quotients of degenerate Sklyanin algebras

abstract: In this paper it is shown how the Heisenberg group of order 27 can be used to construct quotients of degenerate Sklyanin algebras. These quotients have properties similar to the classical Sklyanin case in the sense that they have the same Hilbert series, the same character series and a central element of degree 3. Regarding the central element of a 3-dimensional Sklyanin algebra, a better way to view this using Heisenberg-invariants is shown.


title: Evidence for Thermal X-Ray Line Emission from the Synchrotron-Dominated Supernova Remnant RX J1713.7-3946

abstract: We report the first detection of thermal X-ray line emission from the supernova remnant (SNR) RX J1713.7-3946, the prototype of the small class of synchrotron dominated SNRs. A softness-ratio map generated using XMM-Newton data shows that faint interior regions are softer than bright shell regions. Using Suzaku and deep XMM-Newton observations, we have extracted X-ray spectra from the softest area, finding clear line features at 1 keV and 1.35 keV. These lines can be best explained as Ne Ly-alpha and Mg He-alpha from a thermal emission component. Since the abundance ratios of metals to Fe are much higher than solar values in the thermal component, we attribute the thermal emission to reverse-shocked SN ejecta. The measured Mg/Ne, Si/Ne, and Fe/Ne ratios of 2.0-2.6, 1.5-2.0, and <0.05 solar suggest that the progenitor star of RX J1713.7-3946 was a relatively low-mass star (<~20 M_sun), consistent with a previous inference based on the effect of stellar winds of the progenitor star on the surrounding medium. Since the mean blastwave speed of ~6000 km/s (the radius of 9.6 pc divided by the age of 1600 yr) is relatively fast compared with other core-collapse SNRs, we propose that RX J1713.7-3946 is a result of a Type Ib/c supernova whose progenitor was a member of an interacting binary. While our analysis provides strong evidence for X-ray line emission, our interpretation of its nature as thermal emission from SN ejecta requires further confirmation especially through future precision spectroscopic measurements using ASTRO-H.


title: Understanding Mobile Traffic Patterns of Large Scale Cellular Towers in Urban Environment

abstract: Understanding mobile traffic patterns of large scale cellular towers in urban environment is extremely valuable for Internet service providers, mobile users, and government managers of modern metropolis. This paper aims at extracting and modeling the traffic patterns of large scale towers deployed in a metropolitan city. To achieve this goal, we need to address several challenges, including lack of appropriate tools for processing large scale traffic measurement data, unknown traffic patterns, as well as handling complicated factors of urban ecology and human behaviors that affect traffic patterns. Our core contribution is a powerful model which combines three dimensional information (time, locations of towers, and traffic frequency spectrum) to extract and model the traffic patterns of thousands of cellular towers. Our empirical analysis reveals the following important observations. First, only five basic time-domain traffic patterns exist among the 9,600 cellular towers. Second, each of the extracted traffic pattern maps to one type of geographical locations related to urban ecology, including residential area, business district, transport, entertainment, and comprehensive area. Third, our frequency-domain traffic spectrum analysis suggests that the traffic of any tower among the 9,600 can be constructed using a linear combination of four primary components corresponding to human activity behaviors. We believe that the proposed traffic patterns extraction and modeling methodology, combined with the empirical analysis on the mobile traffic, pave the way toward a deep understanding of the traffic patterns of large scale cellular towers in modern metropolis.


title: Estimation and inference in generalized additive coefficient models for nonlinear interactions with high-dimensional covariates

abstract: In the low-dimensional case, the generalized additive coefficient model (GACM) proposed by Xue and Yang [Statist. Sinica 16 (2006) 1423-1446] has been demonstrated to be a powerful tool for studying nonlinear interaction effects of variables. In this paper, we propose estimation and inference procedures for the GACM when the dimension of the variables is high. Specifically, we propose a groupwise penalization based procedure to distinguish significant covariates for the "large $p$ small $n$" setting. The procedure is shown to be consistent for model structure identification. Further, we construct simultaneous confidence bands for the coefficient functions in the selected model based on a refined two-step spline estimator. We also discuss how to choose the tuning parameters. To estimate the standard deviation of the functional estimator, we adopt the smoothed bootstrap method. We conduct simulation experiments to evaluate the numerical performance of the proposed methods and analyze an obesity data set from a genome-wide association study as an illustration.


title: CP Violating Two-Higgs-Doublet Model: Constraints and LHC Predictions

abstract: Two-Higgs-Doublet Models (2HDMs) are amongst the simplest extensions of the Standard Model. Such models allow for tree-level CP Violation (CPV) in the Higgs sector. We analyse a class of CPV 2HDM (of Type-I) in which only one of the two Higgs doublets couples to quarks and leptons, avoiding dangerous Flavour Changing Neutral Currents. We provide an up to date and comprehensive analysis of the constraints and Large Hadron Collider (LHC) predictions of such a model. Of immediate interest to the LHC Run 2 is the golden channel where all three neutral Higgs bosons are observed to decay into gauge boson pairs, $WW$ and $ZZ$, providing a smoking gun signature of the CPV 2HDM.


title: Corpus COFLA: A research corpus for the Computational study of Flamenco Music

abstract: Flamenco is a music tradition from Southern Spain which attracts a growing community of enthusiasts around the world. Its unique melodic and rhythmic elements, the typically spontaneous and improvised interpretation and its diversity regarding styles make this still largely undocumented art form a particularly interesting material for musicological studies. In prior works it has already been demonstrated that research on computational analysis of flamenco music, despite it being a relatively new field, can provide powerful tools for the discovery and diffusion of this genre. In this paper we present corpusCOFLA, a data framework for the development of such computational tools. The proposed collection of audio recordings and meta-data serves as a pool for creating annotated subsets which can be used in development and evaluation of algorithms for specific music information retrieval tasks. First, we describe the design criteria for the corpus creation and then provide various examples of subsets drawn from the corpus. We showcase possible research applications in the context of computational study of flamenco music and give perspectives regarding further development of the corpus.


title: Inflation as de Sitter instability

abstract: We consider cosmological inflation generated by a scalar field slowly rolling off from a de Sitter maximum of its potential. The models belong to the class of hilltop models and represent the most general model of this kind in which the scalar potential can be written as the sum of two exponentials. The minimally coupled Einstein-scalar gravity theory obtained in this way is the cosmological version of a two-scale generalization of known holographic models, allowing for solitonic solutions interpolating between an AdS spacetime in the infrared and scaling solutions in the ultraviolet. We then investigate cosmological inflation in the slow-roll approximation. Our model reproduces correctly, for a wide range of its parameters, the most recent experimental data for the power spectrum of primordial perturbations. Moreover, it predicts inflation at energy scales of four to five orders of magnitude below the Planck scale. At the onset of inflation, the mass of the tachyonic excitation, i.e. of the inflaton, turns out to be seven to eight orders of magnitude smaller than the Planck mass.


title: TRAP: using TaRgeted Ads to unveil Google personal Profiles

abstract: In the last decade, the advertisement market spread significantly in the web and mobile app system. Its effectiveness is also due thanks to the possibility to target the advertisement on the specific interests of the actual user, other than on the content of the website hosting the advertisement. In this scenario, became of great value services that collect and hence can provide information about the browsing user, like Facebook and Google. In this paper, we show how to maliciously exploit the Google Targeted Advertising system to infer personal information in Google user profiles. In particular, the attack we consider is external from Google and relies on combining data from Google AdWords with other data collected from a website of the Google Display Network. We validate the effectiveness of our proposed attack, also discussing possible application scenarios. The result of our research shows a significant practical privacy issue behind such type of targeted advertising service, and call for further investigation and the design of more privacy-aware solutions, possibly without impeding the current business model involved in online advertisement.


title: Limits on the Dark Matter from AMS-02 antiproton and positron fraction data

abstract: We derive limits on the dark matter annihilation cross section and lifetime using measurements of the AMS-02 antiproton ratio and positron fraction data. In deriving the limits, we consider the scenario of secondary particles accelerated in supernova remnants (SNRs) which has been argued to be able to reasonably account for the AMS-02 high energy positron/antiproton fraction data. We parameterize the contribution of secondary particles accelerated in SNRs and then fit the observational data within the conventional cosmic ray propagation model by adopting the GALPROP code. We use the likelihood ratio test to determine the 95$\%$ confidence level upper limits of the possible dark matter (DM) contribution to the antiproton/positron fractions measured by AMS-02. Our limits are stronger than that set by the Fermi-LAT gamma-ray Pass 8 data of the dwarf spheroidal satellite galaxies. We also show that the solar modulation (cosmic ray propagation) parameters can play a non-negligible role in modifying the constraints on the dark matter annihilation cross section and lifetime for $m_\chi<100$ GeV ($m_\chi>100$ GeV), where $m_\chi$ is the rest mass of the dark matter particles. Using this results, we also put limits on the effective field theory of dark matter.