title: Low-temperature transport properties of a two-dimensional electron gas with additional impurities

abstract: We investigate the effect due to background impurities embedded in the region of two-dimensional electron gases to the magnetotransport. These impurities are achieved by homogeneously incorporating Si atoms in single quantum wells of high quality GaAs/AlGaAs heterostructures. Several materials were grown this way with different densities of Si atoms. At low temperature the mobility decreases monotonically with increasing impurity density. In materials with incorporated impurities, effects are observed with increasing temperatures. On the one hand, a minimum in mobility appears, marking a transition between scattering enhancement due to acoustic phonon and mobility enhancement due to impurity driven conductivity. The temperature at which the transition takes place decreases with increasing impurity density. On the other hand, the incorporated impurities induce a non-monotonic temperature dependence of the electron density. The magnitude of this variation rises with increasing impurity density. The theory of electron-electron interaction correction to the conductivity alone fails to explain our results.


title: Bogolubov-Hartree-Fock theory for strongly interacting fermions in the low density limit

abstract: We consider the Bogolubov-Hartree-Fock functional for a fermionic many-body system with two-body interactions. For suitable interaction potentials that have a strong enough attractive tail in order to allow for two-body bound states, but are otherwise sufficiently repulsive to guarantee stability of the system, we show that in the low-density limit the ground state of this model consists of a Bose-Einstein condensate of fermion pairs. The latter can be described by means of the Gross-Pitaevskii energy functional.


title: Bounded orbits for photons as a consequence of extra dimensions

abstract: In this work, we study the geodesic structure for a geometry described by a spherically symmetric four-dimensional solution embedded in a five-dimensional space known as a brane-based spherically symmetric solution. Mainly, we have found that the extra dimension contributes to the existence of bounded orbits for the photons, such as planetary and circular stable orbits that have not been observed for other geometries.


title: Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations

abstract: A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component. The development of DSLs is usually centered around a grammar and transformations that generate implementation code or analysis models. The semantics of the language is often defined implicitly and in terms of a transformation to implementation code. In the presence of multiple transformations from the DSL, the consistency of the generated artifacts with respect to the semantics of the DSL is a relevant issue. We show that a formal semantics is essential for checking the consistency between the generated artifacts. We exploit the formal semantics in an industrial project and use formal techniques based on equivalence checking and model-based testing for consistency checking. We report about our experience with this approach in an industrial development project.


title: Superlensing using complementary media and reflecting complementary media for electromagnetic waves

abstract: In this paper, we present the proof of superlensing an arbitrary object using complementary media and we study reflecting complementary media for electromagnetic waves. The analysis is based on the reflecting technique and new results on the compactness, existence, and stability for the Maxwell equations with low regularity data.


title: A New Method for Derivation of Statistical Weight of the Gentile Statistics

abstract: We present a new method for obtaining the statistical weight of the Gentile Statistics. In a recent paper, Perez and Tun presented an ap- proximate combinatoric and an exact recursive formula for the statistical weight of Gentile Statistics, beginning from bosonic and fermionic cases, respectively [1]. In this paper, we obtain two exact, one combinatoric and one recursive, formulae for the statistical weight of Gentile Statistics, by an another approach. The combinatoric formula is valid only for special cases, whereas recursive formula is valid for all possible cases. Moreover, for a given q-maximum number of particles that can occupy a level for Gentile statistics-the recursive formula we have derived gives the result much faster than the recursive formula presented in [1], when one uses a computer program. Moreover we obtained the statistical weight for the distribution proposed by Dai and Xie in Ref. [2]. Keywords: Fractional statistics, Gentile distribution, Statistical Weight


title: Uncertainty Relations for Approximation and Estimation

abstract: We present a versatile inequality of uncertainty relations which are useful when one approximates an observable and/or estimates a physical parameter based on the measurement of another observable. It is shown that the optimal choice for proxy functions used for the approximation is given by Aharonov's weak value, which also determines the classical Fisher information in parameter estimation, turning our inequality into the genuine Cram{\'e}r-Rao inequality. Since the standard form of the uncertainty relation arises as a special case of our inequality, and since the parameter estimation is available as well, our inequality can treat both the position-momentum and the time-energy relations in one framework albeit handled differently.


title: Cloaking via anomalous localized resonance for doubly complementary media in the finite frequency regime

abstract: Cloaking a source via anomalous localized resonance (ALR) was discovered by Milton and Nicorovici in \cite{MiltonNicorovici}. A general setting in which cloaking a source via ALR takes place is the settting of doubly complementary media. This was introduced and studied in \cite{Ng-CALR} for the quasistatic regime. In this paper, we study cloaking a source via ALR for doubly complementary media in the finite frequency regime as a natural continuation of \cite{Ng-CALR}. We establish the following results: 1) Cloaking a source via ALR appears if and only if the power blows up; 2) The power blows up if the source is ``placed" near the plasmonic structure; 3) The power remains bounded if the source is far away from the plasmonic structure. Concerning the analysis, we extend ideas from \cite{Ng-CALR} and add new insights on the problem which allows us to overcome difficulties related to the finite frequency regime and to obtain new information on the problem. In particular, we are able to characterize the behaviour of the fields far enough from the plasmonic shell as the loss goes to 0 for an {\bf arbitrary source} outside the core-shell structure in the doubly complementary media setting.


title: The excluded minors for isometric realizability in the plane

abstract: Let $G$ be a graph and $p \in [1, \infty]$. The parameter $f_p(G)$ is the least integer $k$ such that for all $m$ and all vectors $(r_v)_{v \in V(G)} \subseteq \mathbb{R}^m$, there exist vectors $(q_v)_{v \in V(G)} \subseteq \mathbb{R}^k$ satisfying $$\|r_v-r_w\|_p=\|q_v-q_w\|_p, \ \text{ for all }\ vw\in E(G).$$ It is easy to check that $f_p(G)$ is always finite and that it is minor monotone. By the graph minor theorem of Robertson and Seymour, there are a finite number of excluded minors for the property $f_p(G) \leq k$. In this paper, we determine the complete set of excluded minors for $f_\infty(G) \leq 2$. The two excluded minors are the wheel on $5$ vertices and the graph obtained by gluing two copies of $K_4$ along an edge and then deleting that edge. We also show that the same two graphs are the complete set of excluded minors for $f_1(G) \leq 2$. In addition, we give a family of examples that show that $f_\infty$ is unbounded on the class of planar graphs and $f_\infty$ is not bounded as a function of tree-width.


title: Dynamical properties of the absolute period foliation

abstract: We show that the absolute period foliation of the principal stratum of abelian differentials on a surface of genus at least 3 is ergodic. We also investigate the absolute period foliation of affine invariant manifolds.


title: On the challenge of reconstructing level-1 phylogenetic networks from triplets and clusters

abstract: Phylogenetic networks have gained prominence over the years due to their ability to represent complex non-treelike evolutionary events such as recombination or hybridization. Popular combinatorial objects used to construct them are triplet systems and cluster systems, the motivation being that any network $N$ induces a triplet system $\mathcal R(N)$ and a softwired cluster system $\mathcal S(N)$. Since in real-world studies it cannot be guaranteed that all triplets/softwired clusters induced by a network are available it is of particular interest to understand whether subsets of $\mathcal R(N)$ or $\mathcal S(N)$ allow one to uniquely reconstruct the underlying network $N$. Here we show that even within the highly restricted yet biologically interesting space of level-1 phylogenetic networks it is not always possible to uniquely reconstruct a level-1 network $N$ even when all triplets in $\mathcal R(N)$ or all clusters in $\mathcal S(N)$ are available. On the positive side, we introduce a reasonably large subclass of level-1 networks the members of which are uniquely determined by their induced triplet/softwired cluster systems. Along the way, we also establish various enumerative results, both positive and negative, including results which show that certain special subclasses of level-1 networks $N$ can be uniquely reconstructed from proper subsets of $\mathcal R(N)$ and $\mathcal S(N)$. We anticipate these results to be of use in the design of, for example, algorithms for phylogenetic network inference.


title: On the minimal degree of definition of p-primary torsion subgroups of elliptic curves

abstract: In this article, we study the minimal degree [K(T):K] of a p-subgroup T <= E(\overline{K})_tors for an elliptic curve E/K defined over a number field K. Our results depend on the shape of the image of the p-adic Galois representation \rho_{E,p^infty}:Gal_K-->GL(2,Z_p). However, we are able to show that there are certain uniform bounds for the minimal degree of definition of T. When the results are applied to K=Q and p=2, we obtain a divisibility condition on the minimal degree of definition of any subgroup of E[2^n] that is best possible.


title: Pedestrian Detection Inspired by Appearance Constancy and Shape Symmetry

abstract: The discrimination and simplicity of features are very important for effective and efficient pedestrian detection. However, most state-of-the-art methods are unable to achieve good tradeoff between accuracy and efficiency. Inspired by some simple inherent attributes of pedestrians (i.e., appearance constancy and shape symmetry), we propose two new types of non-neighboring features (NNF): side-inner difference features (SIDF) and symmetrical similarity features (SSF). SIDF can characterize the difference between the background and pedestrian and the difference between the pedestrian contour and its inner part. SSF can capture the symmetrical similarity of pedestrian shape. However, it's difficult for neighboring features to have such above characterization abilities. Finally, we propose to combine both non-neighboring and neighboring features for pedestrian detection. It's found that non-neighboring features can further decrease the average miss rate by 4.44%. Experimental results on INRIA and Caltech pedestrian datasets demonstrate the effectiveness and efficiency of the proposed method. Compared to the state-of-the-art methods without using CNN, our method achieves the best detection performance on Caltech, outperforming the second best method (i.e., Checkboards) by 1.63%.


title: BSM effects on the Higgs transverse-momentum spectrum in an EFT approach

abstract: Effective Field Theories offer a consistent bottom-up approach to parametrise small deviations from Standard Model predictions. In this work we report on the application of the Effective Field Theory to shed light on effects from high-scale physics beyond the Standard Model on the Higgs transverse-momentum spectrum. The Standard Model prediction for the transverse-momentum distribution in Higgs boson production through gluon fusion is augmented by three new dimension-six operators, implying the modification of the top and bottom Yukawa couplings, and the inclusion of a point-like Higgs-gluon coupling. We present resummed transverse-momentum spectra including these operators at NLO+NLL accuracy and study their effects on the shape of the distribution. The proper parametrization of such effects becomes increasingly important for experimental analyses in Run II of the LHC.


title: An open access repository of images on plant health to enable the development of mobile disease diagnostics

abstract: Human society needs to increase food production by an estimated 70% by 2050 to feed an expected population size that is predicted to be over 9 billion people. Currently, infectious diseases reduce the potential yield by an average of 40% with many farmers in the developing world experiencing yield losses as high as 100%. The widespread distribution of smartphones among crop growers around the world with an expected 5 billion smartphones by 2020 offers the potential of turning the smartphone into a valuable tool for diverse communities growing food. One potential application is the development of mobile disease diagnostics through machine learning and crowdsourcing. Here we announce the release of over 50,000 expertly curated images on healthy and infected leaves of crops plants through the existing online platform PlantVillage. We describe both the data and the platform. These data are the beginning of an on-going, crowdsourcing effort to enable computer vision approaches to help solve the problem of yield losses in crop plants due to infectious diseases.


title: Note on Representing $\aleph_0$-categorical Linear Orders

abstract: These notes find a canonical representation of the $\aleph_0$-categorical linear orders based on Joseph Rosenstein's description. A unique minimal representation, called the normal form, is obtained.


title: Relaxed Majorization-Minimization for Non-smooth and Non-convex Optimization

abstract: We propose a new majorization-minimization (MM) method for non-smooth and non-convex programs, which is general enough to include the existing MM methods. Besides the local majorization condition, we only require that the difference between the directional derivatives of the objective function and its surrogate function vanishes when the number of iterations approaches infinity, which is a very weak condition. So our method can use a surrogate function that directly approximates the non-smooth objective function. In comparison, all the existing MM methods construct the surrogate function by approximating the smooth component of the objective function. We apply our relaxed MM methods to the robust matrix factorization (RMF) problem with different regularizations, where our locally majorant algorithm shows advantages over the state-of-the-art approaches for RMF. This is the first algorithm for RMF ensuring, without extra assumptions, that any limit point of the iterates is a stationary point.


title: Toward interoperability for the Internet of Things with meta-hubs

abstract: The Internet of Things (IoT) envisions that objects may be connected to the Internet, producing and consuming data in real-time. Today, numerous middleware platforms are available to facilitate the communication with these objects. Unfortunately, the interoperability of these platforms is very limited because it requires to "manually" connect the services proposed by each platform. One key design goal for our contribution is not to build yet another middleware, but rather to augment the functionalities of existing systems via an extension to support their integration into a network of heterogeneous IoT hubs. The extension includes a RESTful API to manipulate the basic component of our extension, the IoT feeds. The IoT feeds allow the platform's owner to dynamically marshal the IoT features connected to the platform, as well as the data that they produce. Furthermore, the feeds enable the owner to manage and control the data flows before connecting them to his applications. Subsequently, these feeds may also be published to meta-hubs in order to expose them to third parties. We evaluated an implementation our extension for Android systems to show the feasibility of managing the data flows using the RESTful API on this platform.


title: Picard groups of higher real $K$-theory spectra at height $p-1$

abstract: Using the descent spectral sequence for a Galois extension of ring spectra, we compute the Picard group of the higher real $K$-theory spectra of Hopkins and Miller at height $n=p-1$, for $p$ an odd prime. More generally, we determine the Picard groups of the homotopy fixed points spectra $E_n^{hG}$, where $E_n$ is Lubin-Tate $E$-theory at the prime $p$ and height $n=p-1$, and $G$ is any finite subgroup of the extended Morava stabilizer group. We find that these Picard groups are always cyclic, generated by the suspension.


title: Persistence of Network Synchronization under Nonidentical Coupling Functions

abstract: We investigate the persistence of synchronization in networks of diffusively coupled oscillators when the coupling functions are nonidentical. Under mild conditions, we uncover the influence of the network interaction structure on the mismatches of the coupling function. We show that Erd\"os-R\'enyi random graphs support large perturbations in the coupling function. In contrast scale-free graphs do not allow large perturbations in the coupling function, that is, as the network size n goes to infinity it forces the coupling functions to be identical.


title: Maximum Weight Independent Sets for ($P_7$,Triangle)-Free Graphs in Polynomial Time

abstract: The Maximum Weight Independent Set (MWIS) problem on finite undirected graphs with vertex weights asks for a set of pairwise nonadjacent vertices of maximum weight sum. MWIS is one of the most investigated and most important algorithmic graph problems; it is well known to be NP-complete, and it remains NP-complete even under various strong restrictions such as for triangle-free graphs. Its complexity was an open problem for $P_k$-free graphs, $k \ge 5$. Recently, Lokshtanov, Vatshelle, and Villanger proved that MWIS can be solved in polynomial time for $P_5$-free graphs, and Lokshtanov, Pilipczuk, and van Leeuwen proved that MWIS can be solved in quasi-polynomial time for $P_6$-free graphs. It still remains an open problem whether MWIS can be solved in polynomial time for $P_k$-free graphs, $k \geq 6$ or in quasi-polynomial time for $P_k$-free graphs, $k \geq 7$. Some characterizations of $P_k$-free graphs and some progress are known in the literature but so far did not solve the problem. In this paper, we show that MWIS can be solved in polynomial time for ($P_7$,triangle)-free graphs. This extends the corresponding result for ($P_6$,triangle)-free graphs and may provide some progress in the study of MWIS for $P_7$-free graphs.


title: Critical Josephson current in the dynamical Coulomb blockade regime

abstract: Superconductivity is commonly described as a macroscopic quantum phenomenon. However, it arises from microscopic mechanisms occurring at the nanometer scale as illustrated, for example, by the non-trivial pairing in unconventional superconductors. More recently, also local interactions with superconductors in the context of Majorana fermions became of interest. A very direct way to study the atomic scale properties of superconductors is given by the combination of the Josephson effect with scanning tunneling microscopy (STM), also referred to as JSTM. Here, the critical Josephson current serves as a direct local probe of the superconducting ground state and may reveal valuable information that is often inaccessible when studying quasi-particle excitation spectra. We show that we can extract local values of the critical Josephson current from JSTM measurements in the dynamical Coulomb blockade regime. Furthermore, we experimentally determine the regime of sequential Cooper pair tunneling, which is in accordance to theoretical predictions. Our study presents new insights on the tunneling mechanisms in Josephson junctions and lays the basis for the implementation of JSTM as a versatile probe for superconductivity.


title: The organization of the interbank network and how ECB unconventional measures affected the e-MID overnight market

abstract: The topological properties of interbank networks have been discussed widely in the literature mainly because of their relevance for systemic risk. Here we propose to use the Stochastic Block Model to investigate and perform a model selection among several possible two block organizations of the network: these include bipartite, core-periphery, and modular structures. We apply our method to the e-MID interbank market in the period 2010-2014 and we show that in normal conditions the most likely network organization is a bipartite structure. In exceptional conditions, such as after LTRO, one of the most important unconventional measures by ECB at the beginning of 2012, the most likely structure becomes a random one and only in 2014 the e-MID market went back to a normal bipartite organization. By investigating the strategy of individual banks, we explore possible explanations and we show that the disappearance of many lending banks and the strategy switch of a very small set of banks from borrower to lender is likely at the origin of this structural change.


title: An Improvement of Rota's Straightening Algorithm

abstract: In bracket algebra, the calculation of invariant division and invariant Gr\"{o}bner basis proposed in \cite{li 2014} rely on straightening algorithm. Until now, there are at least three different types of straightening algorithms, among which Rota's straightening algorithm has the best efficiency. However, there exists a flaw in Rota's straightening algorithm, i.e., it needs find all the straight bracket monomials with the same content as the input beforehand, which is quite difficult. So in this paper, we will propose a new straightening algorithm based on dual bracket, which is a new concept of Young tableau. In this new straightening algorithm, we only need to find a few number of straight bracket monomials in each step instead of finding them all in one step. And so it is an improvement of Rota's straightening algorithm. According to our tests, this new straightening algorithm reflects more advantages when the dimension and the degree increase. Moreover, this straightening algorithm still works when Rota's straightening algorithm fails.


title: Counting $r$-tuples of positive integers with $k$-wise relatively prime components

abstract: Let $r\ge k\ge 2$ be fixed positive integers. Let $\varrho_{r,k}$ denote the characteristic function of the set of $r$-tuples of positive integers with $k$-wise relatively prime components, that is any $k$ of them are relatively prime. We use the convolution method to establish an asymptotic formula for the sum $\sum_{n_1,\ldots,n_r\le x} \varrho_{r,k}(n_1,\ldots,n_r)$ by elementary arguments. Our result improves the error term obtained by J. Hu (2013).


title: Catalytic coherence transformations

abstract: Catalytic coherence transformations allow the otherwise impossible state transformations using only incoherent operations with the aid of an auxiliary system with finite coherence which is not being consumed in anyway. Here we find the necessary and sufficient conditions for the deterministic and stochastic catalytic coherence transformations between pair of pure quantum states. In particular, we show that the simultaneous decrease of a family of R\'enyi entropies of the diagonal parts of the states under consideration are necessary and sufficient conditions for the deterministic catalytic coherence transformations. Similarly, for stochastic catalytic coherence transformations we find the necessary and sufficient conditions for achieving higher optimal probability of conversion. We, thus, completely characterize the coherence transformations amongst pure quantum states under incoherent operations. We give numerous examples to elaborate our results. We also explore the possibility of the same system acting as a catalyst for itself and find that indeed {\it self catalysis} is possible. Further, for the cases where no catalytic coherence transformation is possible we provide entanglement assisted coherence transformations and find the necessary and sufficient conditions for such transformations.


title: Unconditional long-time stability of a velocity-vorticity method for the 2D Navier-Stokes equations

abstract: We prove unconditional long-time stability for a particular velocity-vorticity discretization of the 2D Navier-Stokes equations. The scheme begins with a formulation that uses the Lamb vector to couple the usual velocity-pressure system to the vorticity dynamics equation, and then discretizes with the finite element method in space and implicit-explicit BDF2 in time, with the vorticity equation decoupling at each time step. We prove the method's vorticity and velocity are both long-time stable in the $L^2$ and $H^1$ norms, without any timestep restriction. Moreover, our analysis avoids the use of Gronwall-type estimates, which leads us to stability bounds with only polynomial (instead of exponential) dependence on the Reynolds number. Numerical experiments are given that demonstrate the effectiveness of the method.


title: Remark on a result of Constantine

abstract: In this short note we construct codes of length $4n$ with $8n+8$ codewords and minimum distance $2n-2$ whenever $4n+4$ is the order of a Hadamard matrix. This generalises work of Constantine who obtained a similar result in the special case that $n$ is a prime power.


title: Estimation and testing for multiple regulation of multivariate mixed outcomes

abstract: Considerable interest has recently been focused on studying multiple phenotypes simultaneously in both epidemiological and genomic studies, either to capture the multidimensionality of complex disorders or to understand shared etiology of related disorders. We seek to identify {\em multiple regulators} or predictors that are associated with multiple outcomes when these outcomes may be measured on very different scales or composed of a mixture of continuous, binary, and not-fully-observed elements. We first propose an estimation technique to put all effects on similar scales, and we induce sparsity on the estimated effects. We provide standard asymptotic results for this estimator and show that resampling can be used to quantify uncertainty in finite samples. We finally provide a multiple testing procedure which can be geared specifically to the types of multiple regulators of interest, and we establish that, under standard regularity conditions, the familywise error rate will approach 0 as sample size diverges. Simulation results indicate that our approach can improve over unregularized methods both in reducing bias in estimation and improving power for testing.


title: On weak$^*$-convergence in the localized Hardy spaces $H^1_\rho(\mathcal X)$ and its application

abstract: Let $(\mathcal X, d, \mu)$ be a complete RD-space. Let $\rho$ be an admissible function on $\mathcal X$, which means that $\rho$ is a positive function on $\mathcal X$ and there exist positive constants $C_0$ and $k_0$ such that, for any $x,y\in \mathcal X$, $$\rho(y)\leq C_0 [\rho(x)]^{1/(1+k_0)} [\rho(x)+d(x,y)]^{k_0/(1+k_0)}.$$ In this paper, we define a space $VMO_\rho(\mathcal X)$ and show that it is the predual of the localized Hardy space $H^1_\rho(\mathcal X)$ introduced by Yang and Zhou \cite{YZ}. Then we prove a version of the classical theorem of Jones and Journ\'e \cite{JJ} on weak$^*$-convergence in $H^1_\rho(\mathcal X)$. As an application, we give an atomic characterization of $H^1_\rho(\mathcal X)$.


title: dNLS Flow on Discrete Space Curves

abstract: The local induction equation, or the binormal flow on space curves is a well-known model of deformation of space curves as it describes the dynamics of vortex filaments, and the complex curvature is governed by the nonlinear Schr\"odinger equation (NLS). In this paper, we present its discrete analogue, namely, a model of deformation of discrete space curves by the discrete nonlinear Schr\"odinger equation (dNLS). We also present explicit formulas for both NLS and dNLS flows in terms of the $\tau$ function of the 2-component KP hierarchy.


title: Chordal Loewner chains with quasiconformal extensions

abstract: In 1972, Becker [J. Reine Angew. Math. 255 (1972), 23-43] discovered a construction of quasiconformal extensions making use of the classical radial Loewner chains. In this paper we develop a chordal analogue of Becker's construction. As an application, we establish new sufficient conditions for quasiconformal extendibility of holomorphic functions and give a simplified proof of one well-known result by Becker and Pommerenke for functions in the half-plane [J. Reine Angew. Math. 354 (1984), 74-94].


title: Desktop to Cloud Migration of Scientific Computing Experiments

abstract: Scientific computing applications usually need huge amounts of computational power. The cloud provides interesting high-performance computing solutions, with its promise of virtually infinite resources on demand. However, migrating scientific computing problems to clouds and the re-creation of software environment on the vendor-supplied OS and cloud instances is often a laborious task. It is also assumed that the scientist who is performing the experiments has significant knowledge of computer science, cloud computing and the migration procedure, which is often not true. Considering these obstacles, we have designed a tool suite that migrates the complete software environment directly to the cloud. The developed desktop-to-cloud-migration (D2CM) tool supports transformation and migration of virtual machine images, reusable deployment description and life-cycle management for applications to be hosted on Amazon Cloud or compatible infrastructure such as Eucalyptus. The paper also presents an electrochemical case study and computational experiments targeted at designing modern supercapacitors. These experiments have extensively used the tool in drawing domain specific results. Detailed analysis of the case showed that D2CM tool not only simplifies the migration procedure for the scientists, but also helps them in optimizing the calculations and compute clusters, by providing them a new dimension -- cost-to-value of computational experiments.


title: Spin-texture induced by oxygen vacancies in Strontium perovskites (001) surfaces: A theoretical comparison between SrTiO3 and SrHfO3

abstract: The electronic structure of SrTiO3 and SrHfO3 (001) surfaces with oxygen vacancies is studied by means of first-principles calculations. We reveal how oxygen vacancies within the first atomic layer of the SrTiO3 surface (i) induce a large antiferrodistortive motion of the oxygen octahedra at the surface, (ii) drive localized magnetic moments on the Ti-3d orbitals close to the vacancies and (iii) form a two-dimensional electron gas localized within the first layers. The analysis of the spin-texture of this system exhibits a splitting of the energy bands according to the Zeeman interaction, lowering of the Ti-3dxy level in comparison with dxz and dyz and also an in-plane precession of the spins. No Rashba-like splitting for the ground state neither for ab-initio molecular dynamics trajectory at 400K is recognized as suggested recently by A. F. Santander-Syro et al. [1]. Instead, a sizeable Rashba-like splitting is observed when the Ti atom is replaced by a heavier Hf atom with a much larger spin-orbit interaction. However, we observe the disappearance of the magnetism and the surface two dimensional electron gas when full structural optimization of the SrHfO3 surface is performed. Our results uncover the sensitive interplay of spin-orbit coupling, atomic relaxations and magnetism when tuning these Sr-based perovskites.


title: Some recent results and open problems on sets of lengths of Krull monoids with finite class group

abstract: Some of the fundamental notions related to sets of lengths of Krull monoids with finite class group are discussed, and a survey of recent results is given. These include the elasticity and related notions, the set of distances, and the structure theorem for sets of lengths. Several open problems are mentioned.


title: Deformations of complexes for finite dimensional algebras

abstract: Let $k$ be a field and let $\Lambda$ be a finite dimensional $k$-algebra. We prove that every bounded complex $V^\bullet$ of finitely generated $\Lambda$-modules has a well-defined versal deformation ring $R(\Lambda,V^\bullet)$ which is a complete local commutative Noetherian $k$-algebra with residue field $k$. We also prove that nice two-sided tilting complexes between $\Lambda$ and another finite dimensional $k$-algebra $\Gamma$ preserve these versal deformation rings. Additionally, we investigate stable equivalences of Morita type between self-injective algebras in this context. We apply these results to the derived equivalence classes of the members of a particular family of algebras of dihedral type that were introduced by Erdmann and shown by Holm to be not derived equivalent to any block of a group algebra.


title: QoE Optimization of Video Multicast with Heterogeneous Channels and Playback Requirements

abstract: We propose an application-layer forward error correction (AL-FEC) code rate allocation scheme to maximize the quality of experience (QoE) of a video multicast. The allocation dynamically assigns multicast clients to the quality layers of a scalable video bitstream, based on their heterogeneous channel qualities and video playback capabilities. Normalized mean opinion score (NMOS) is employed to value the client's quality of experience across various possible adaptations of a multilayer video, coded using mixed spatial-temporal-amplitude scalability. The scheme provides assurance of reception of the video layers using fountain coding and effectively allocates coding rates across the layers to maximize a multicast utility measure. An advantageous feature of the proposed scheme is that the complexity of the optimization is independent of the number of clients. Additionally, a convex formulation is proposed that attains close to the best performance and offers a reliable alternative when further reduction in computational complexity is desired. The optimization is extended to perform suppression of QoE fluctuations for clients with marginal channel qualities. The scheme offers a means to trade-off service utility for the entire multicast group and clients with the worst channels. According to the simulation results, the proposed optimization framework is robust against source rate variations and limited amount of client feedback.


title: The Subaru FMOS galaxy redshift survey (FastSound). IV. New constraint on gravity theory from redshift space distortions at $z\sim 1.4$

abstract: We measure the redshift-space correlation function from a spectroscopic sample of 2783 emission line galaxies from the FastSound survey. The survey, which uses the Subaru Telescope and covers the redshift ranges of $1.19<z<1.55$, is the first cosmological study at such high redshifts. We detect clear anisotropy due to redshift-space distortions (RSD) both in the correlation function as a function of separations parallel and perpendicular to the line of sight and its quadrupole moment. RSD has been extensively used to test general relativity on cosmological scales at $z<1$. Adopting a LCDM cosmology with the fixed expansion history and no velocity dispersion $\sigma_{\rm v}=0$, and using the RSD measurements on scales above 8Mpc/h, we obtain the first constraint on the growth rate at the redshift, $f(z)\sigma_8(z)=0.482\pm 0.116$ at $z\sim 1.4$ after marginalizing over the galaxy bias parameter $b(z)\sigma_8(z)$. This corresponds to $4.2\sigma$ detection of RSD. Our constraint is consistent with the prediction of general relativity $f\sigma_8\sim 0.392$ within the $1-\sigma$ confidence level. When we allow $\sigma_{\rm v}$ to vary and marginalize it over, the growth rate constraint becomes $f\sigma_8=0.494^{+0.126}_{-0.120}$. We also demonstrate that by combining with the low-z constraints on $f\sigma_8$, high-z galaxy surveys like the FastSound can be useful to distinguish modified gravity models without relying on CMB anisotropy experiments.


title: Layered Downlink Precoding for C-RAN Systems with Full Dimensional MIMO

abstract: The implementation of a Cloud Radio Access Network (C-RAN) with Full Dimensional (FD)-MIMO is faced with the challenge of controlling the fronthaul overhead for the transmission of baseband signals as the number of horizontal and vertical antennas grows larger. This work proposes to leverage the special low-rank structure of FD-MIMO channel, which is characterized by a time-invariant elevation component and a time-varying azimuth component, by means of a layered precoding approach, so as to reduce the fronthaul overhead. According to this scheme, separate precoding matrices are applied for the azimuth and elevation channel components, with different rates of adaptation to the channel variations and correspondingly different impacts on the fronthaul capacity. Moreover, we consider two different Central Unit (CU) - Radio Unit (RU) functional splits at the physical layer, namely the conventional C-RAN implementation and an alternative one in which coding and precoding are performed at the RUs. Via numerical results, it is shown that the layered schemes significantly outperform conventional non-layered schemes, especially in the regime of low fronthaul capacity and large number of vertical antennas.


title: Andreev reflection at the edge of a two-dimentional semimetal

abstract: We investigate electron transport through the interface between a niobium superconductor and the edge of a two-dimensional semimetal, realized in a 20~nm wide HgTe quantum well. Experimentally, we observe that typical behavior of a single Andreev contact is complicated by both a pronounced zero-bias resistance anomaly and shallow subgap resistance oscillations with $1/n$ periodicity. These results are demonstrated to be independent of the superconducting material and should be regarded as specific to a 2D semimetal in a proximity with a superconductor. We interpret these effects to originate from the Andreev-like correlated process at the edge of a two-dimensional semimetal.


title: Domination polynomial of lexicographic product of specific graphs

abstract: Let $G$ be a simple graph of order $n$. The domination polynomial of $G$ is the polynomial $D(G,\lambda)=\sum_{i=0}^{n} d(G,i) \lambda^{i}$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$. We consider the lexicographic product of two specific graphs and study their domination polynomials.


title: Critical take on "Mass models of disk galaxies from the DiskMass Survey in MOND"

abstract: Angus et al. (2015) have recently faulted MOND as follows: Studying thirty disc galaxies from the DiskMass survey, they derive the profiles of velocity dispersion perpendicular to the discs as predicted by MOND, $\sigma_M(r)$, and compare them with $\sigma(r)$, measured as part of the DiskMass project. This is a new test of MOND, different from rotation-curve analysis. A nontrivial accomplishment of MOND -- not discussed by Angus et al. -- is that the shapes of $\sigma_M$ and $\sigma$ agree very well, i.e, $\eta(r)\equiv\sigma_M(r)/\sigma(r)$ is well consistent with being $r$-independent (while $\sigma$ and $\sigma_M$ are strongly $r$ dependent). The fault found with MOND was that $\eta$ is systematically above 1 (with an average of about 1.3). I have suggested to Angus et al. that the fault may lie with the DiskMass dispersions, which may well be too low for the purpose at hand: Being based on population-integrated line profiles, they may be overweighed by younger populations, known to have much smaller dispersions, and scale heights, than the older populations, which weigh more heavily on the light distributions. I discuss independent evidence that supports this view, and show, besides, that if the DiskMas dispersions are underestimates by only 25 %, on average, the MOND predictions are in full agreement with the data, in shape and magnitude. Now, Aniyan et al. (2015) have questioned the DiskMass $\sigma$ on the same basis. They show for the solar column in the Milky Way that: " Combining the (single) measured velocity dispersion of the total young + old disc population... with the scale height estimated for the older population would underestimate the disc surface density by a factor of $\sim 2.$" If this mismatch found for the Milky Way is typical, correcting for it would bring the measured DiskMass $\sigma(r)$ to a remarkable agreement with the predicted MOND $\sigma_M(r)$.


title: Relative Citation Ratio (RCR): An empirical attempt to study a new field-normalized bibliometric indicator

abstract: Hutchins, Yuan, M., and Santangelo (2015) proposed the Relative Citation Ratio (RCR) as a new field-normalized impact indicator. This study investigates the RCR by correlating it on the level of single publications with established field-normalized indicators and assessments of the publications by peers. We find that the RCR correlates highly with established field-normalized indicators, but the correlation between RCR and peer assessments is only low to medium.


title: Gravitational localization of scalar zero modes in SU(5) X Z2 branes

abstract: The fluctuations of 5D self-gravitating non-abelian kinks which arise from the breaking of the SU(5) X Z2 symmetric theory are analyzed within the context of brane-worlds. While tensor and vector sectors of these fluctuations behave like its counterparts in the standard abelian Z2 kinks, the mixing between the field excitations of the non-abelian kink and the scalar components of the metric makes the pure scalar sector of the theory very interesting. The spectrum of these scalar fluctuations, which includes gravitationally trapped massless modes on the core of the wall associated to the broken symmetries, is discussed for the two classes of kinks that break SU(5) to its maximal subgroups.


title: Anyons and matrix product operator algebras

abstract: Quantum tensor network states and more particularly projected entangled-pair states provide a natural framework for representing ground states of gapped, topologically ordered systems. The defining feature of these representations is that topological order is a consequence of the symmetry of the underlying tensors in terms of matrix product operators. In this paper, we present a systematic study of those matrix product operators, and show how this relates entanglement properties of projected entangled-pair states to the formalism of fusion tensor categories. From the matrix product operators we construct a C*-algebra and find that topological sectors can be identified with the central idempotents of this algebra. This allows us to construct projected entangled-pair states containing an arbitrary number of anyons. Properties such as topological spin, the S matrix, fusion and braiding relations can readily be extracted from the idempotents. As the matrix product operator symmetries are acting purely on the virtual level of the tensor network, the ensuing Wilson loops are not fattened when perturbing the system, and this opens up the possibility of simulating topological theories away from renormalization group fixed points. We illustrate the general formalism for the special cases of discrete gauge theories and string-net models.


title: Photon plasma--wave interaction via Compton scattering

abstract: The Kompaneets theory of photon kinetic evolution due to the Compton effect in the absence of absorption and emission is extended to the case of the Vlasov plasma wave oscillations. Under the assumption that the electron distribution function at equilibrium is perturbed by a solution of the linearised Vlasov equation in the long-wavelength limit, a solution of the Kompaneets kinetic equation for the photon distribution function is found and discussed.


title: Unitary quantum evolution for time-dependent quasi-Hermitian systems with non-observable Hamiltonians

abstract: It has been argued that it is incompatible to maintain unitary time-evolution for time-dependent non-Hermitian Hamiltonians when the metric operator is explicitly time-dependent. We demonstrate here that the time-dependent Dyson equation and the time-dependent quasi-Hermiticity relation can be solved consistently in such a scenario for a time-dependent Dyson map and time-dependent metric operator, respectively. These solutions are obtained at the cost of rendering the non-Hermitian Hamiltonian to be a non-observable operator as it ceases to be quasi-Hermitian when the metric becomes time-dependent.


title: An Obata singular theorem for stratified spaces

abstract: Consider a stratified space with a positive Ricci lower bound on the regular set and no cone angle larger than 2$\pi$. For such stratified space we know that the first non-zero eigenvalue of the Laplacian is larger than or equal to the dimension. We prove here an Obata rigidity result when the equality is attained: the lower bound of the spectrum is attained if and only if the stratified space is isometric to a spherical suspension. Moreover, we show that the diameter is at most equal to $\pi$, and it is equivalent for the diameter to be equal to $\pi$ and for the first non-zero eigenvalue of the Laplacian to be equal to the dimension. We finally give a consequence of these results related to the Yamabe problem. Consider an Einstein stratified space without cone angles larger than 2$\pi$: if there is a metric conformal to the Einstein metric and with constant scalar curvature, then it is an Einstein metric as well. Furthermore, if its conformal factor is not a constant, then the space is isometric to a spherical suspension.


title: Time-dependent Bragg diffraction bymultilayer gratings

abstract: The time-dependent Bragg diffraction by multilayer gratings working by reflection or by transmission is investigated. The study is performed by generalizing the time-dependent coupled-wave theory previously developed for one-dimensional photonic crystal [Andr{\'e} J-M and Jonnard P, J. Opt. 17, 085609 (2015)] and also by extending the Takagi-Taupin approach of the dynamical theory of diffraction. The indicial response is calculated. It presents a time-delay with a transient time that is a function of the extinction length for reflection geometry and of the extinction length combined with the thickness of the grating for transmission geometry.


title: Limits of Tangents of Surfaces

abstract: We compute the limit of tangents of an arbitrary surface. We obtain as a byproduct an embedded version of Jung's desingularization theorem for surface singularities with finite limits of tangents.


title: The Journal Coverage of Web of Science and Scopus: a Comparative Analysis

abstract: Bibliometric methods are used in multiple fields for a variety of purposes, namely for research evaluation. Most bibliometric analyses have in common their data sources: Thomson Reuters' Web of Science (WoS) and Elsevier's Scopus. This research compares the journal coverage of both databases in terms of fields, countries and languages, using Ulrich's extensive periodical directory as a base for comparison. Results indicate that the use of either WoS or Scopus for research evaluation may introduces biases that favor Natural Sciences and Engineering as well as Biomedical Research to the detriment of Social Sciences and Arts and Humanities. Similarly, English-language journals are overrepresented to the detriment of other languages. While both databases share these biases, their coverage differs substantially. As a consequence, the results of bibliometric analyses may vary depending on the database used.


title: One-Dimensional Structural Properties of Proteins in the Coarse-Grained CABS Model

abstract: Despite the significant increase in computational power, molecular modeling of protein structure using classical all-atom approaches remains inefficient, at least for most of the protein targets in the focus of biomedical research. Perhaps the most successful strategy to overcome the inefficiency problem is multiscale modeling to merge all-atom and coarse-grained models. This chapter describes a well-established CABS coarse-grained protein model. The CABS (C-Alpha, C-Beta and Side chains) model assumes a 2-4 united-atom representation of amino acids, knowledge-based force field (derived from the statistical regularities seen in known protein sequences and structures) and efficient Monte Carlo sampling schemes (MC dynamics, MC replica-exchange, and combinations). A particular emphasis is given to the unique design of the CABS force-field, which is largely defined using one-dimensional structural properties of proteins, including protein secondary structure. This chapter also presents CABS-based modeling methods, including multiscale tools for de novo structure prediction, modeling of protein dynamics and prediction of protein-peptide complexes. CABS-based tools are freely available at http://biocomp.chem.uw.edu.pl/tools


title: Multidimensional Toda Lattices: Continuous and Discrete Time

abstract: In this paper we present multidimensional analogues of both the continuous- and discrete-time Toda lattices. The integrable systems that we consider here have two or more space coordinates. To construct the systems, we generalize the orthogonal polynomial approach for the continuous and discrete Toda lattices to the case of multiple orthogonal polynomials.


title: Strategic Dialogue Management via Deep Reinforcement Learning

abstract: Artificially intelligent agents equipped with strategic skills that can negotiate during their interactions with other natural or artificial agents are still underdeveloped. This paper describes a successful application of Deep Reinforcement Learning (DRL) for training intelligent agents with strategic conversational skills, in a situated dialogue setting. Previous studies have modelled the behaviour of strategic agents using supervised learning and traditional reinforcement learning techniques, the latter using tabular representations or learning with linear function approximation. In this study, we apply DRL with a high-dimensional state space to the strategic board game of Settlers of Catan---where players can offer resources in exchange for others and they can also reply to offers made by other players. Our experimental results report that the DRL-based learnt policies significantly outperformed several baselines including random, rule-based, and supervised-based behaviours. The DRL-based policy has a 53% win rate versus 3 automated players (`bots'), whereas a supervised player trained on a dialogue corpus in this setting achieved only 27%, versus the same 3 bots. This result supports the claim that DRL is a promising framework for training dialogue systems, and strategic agents with negotiation abilities.


title: Eigenvalue analysis of an irreversible random walk with skew detailed balance conditions

abstract: An irreversible Markov-chain Monte Carlo (MCMC) algorithm with skew detailed balance conditions originally proposed by Turitsyn et al. is extended to general discrete systems on the basis of the Metropolis-Hastings scheme. To evaluate the efficiency of our proposed method, the relaxation dynamics of the slowest mode and the asymptotic variance are studied analytically in a random walk on one dimension. It is found that the performance in irreversible MCMC methods violating the detailed balance condition is improved by appropriately choosing parameters in the algorithm.


title: A note on APN permutations in even dimension

abstract: APN permutations in even dimension are vectorial Boolean functions that play a special role in the design of block ciphers. We study their properties, providing some general results and some applications to the low-dimension cases. In particular, we prove that none of their components can be quadratic. For an APN vectorial Boolean function (in even dimension) with all cubic components we prove the existence of a component having a large number of balanced derivatives. Using these restrictions, we obtain the first theoretical proof of the non-existence of APN permutations in dimension 4. Moreover, we derive some contraints on APN permutations in dimension 6.


title: L1-Regularized Least Squares for Support Recovery of High Dimensional Single Index Models with Gaussian Designs

abstract: It is known that for a certain class of single index models (SIMs) $Y = f(\boldsymbol{X}_{p \times 1}^\intercal\boldsymbol{\beta}_0, \varepsilon)$, support recovery is impossible when $\boldsymbol{X} \sim \mathcal{N}(0, \mathbb{I}_{p \times p})$ and a model complexity adjusted sample size is below a critical threshold. Recently, optimal algorithms based on Sliced Inverse Regression (SIR) were suggested. These algorithms work provably under the assumption that the design $\boldsymbol{X}$ comes from an i.i.d. Gaussian distribution. In the present paper we analyze algorithms based on covariance screening and least squares with $L_1$ penalization (i.e. LASSO) and demonstrate that they can also enjoy optimal (up to a scalar) rescaled sample size in terms of support recovery, albeit under slightly different assumptions on $f$ and $\varepsilon$ compared to the SIR based algorithms. Furthermore, we show more generally, that LASSO succeeds in recovering the signed support of $\boldsymbol{\beta}_0$ if $\boldsymbol{X} \sim \mathcal{N}(0, \boldsymbol{\Sigma})$, and the covariance $\boldsymbol{\Sigma}$ satisfies the irrepresentable condition. Our work extends existing results on the support recovery of LASSO for the linear model, to a more general class of SIMs.


title: Phase Coherent Link of an Atomic Clock to a Self-Referenced Microresonator Frequency Comb

abstract: The counting and control of optical cycles of light has become common with modelocked laser frequency combs. But even with advances in laser technology, modelocked laser combs remain bulk-component devices that are hand-assembled. In contrast, a frequency comb based on the Kerr-nonlinearity in a dielectric microresonator will enable frequency comb functionality in a micro-fabricated and chip-integrated package suitable for use in a wide-range of environments. Such an advance will significantly impact fields ranging from spectroscopy and trace gas sensing, to astronomy, communications, atomic time keeping and photonic data processing. Yet in spite of the remarkable progress shown over the past years, microresonator frequency combs ("microcombs") have still been without the key function of direct f-2f self-referencing and phase-coherent frequency control that will be critical for enabling their full potential. Here we realize these missing elements using a low-noise 16.4 GHz silicon chip microcomb that is coherently broadened from its initial 1550 nm wavelength and subsequently f-2f self-referenced and phase-stabilized to an atomic clock. With this advance, we not only realize the highest repetition rate octave-span frequency comb ever achieved, but we highlight the low-noise microcomb properties that support highest atomic clock limited frequency stability.


title: Spin Squeezing, Macrorealism and the Heisenberg uncertainty principle

abstract: The work is organized in two main topics. At first we will outline the relation between spin squeezing, quantum metrology and entanglement detection, with a particular focus on the last. We will derive spin squeezing criteria for the detection of entanglement and its depth that outperform past approaches, especially for unpolarized states, recently produced in experiments and object of increasing interest in the community. Furthermore, we will extend the original definition of spin squeezed states by providing a new parameter that is thought to embrace different classes of states in a unified framework. Afterwards we consider a test of quantum principles in macroscopic objects originally designed by Leggett and Garg. In this case the scenario consists of a single party that is probed at different time instants and the quantum effect detected is the violation of Macrorealism (MR), due to strong correlations in time, rather than in space, between non-compatible observables. We will look at the problems of inconclusiveness of the LG tests arising from possible explanations of the results in terms of ``clumsy'' measurements, what has been termed ``clumsiness loophole''. We propose first a scheme to test and possibly falsify (MR) in macroscopic ensembles of cold atoms based on alternating Quantum Non-Demolition measurements and coherent, magnetically-driven collective spin rotations. Then we also propose a way to address the clumsiness loophole by introducing and computing an invasivity quantifier to add to the original LG expression. We provide numerical evidence that such a clumsiness-free test is feasible under state-of-the-art realistic experimental parameters and imperfections.


title: Moduli Stabilisation with Nilpotent Goldstino: Vacuum Structure and SUSY Breaking

abstract: We study the effective field theory of KKLT and LVS moduli stabilisation scenarios coupled to an anti-D3-brane at the tip of a warped throat. We describe the presence of the anti-brane in terms of a nilpotent goldstino superfield in a supersymmetric effective field theory. The introduction of this superfield produces a term that can lead to a de Sitter minimum. We fix the Kaehler moduli dependence of the nilpotent field couplings by matching this term with the anti-D3-brane uplifting contribution. The main result of this paper is the computation, within this EFT, of the soft supersymmetry breaking terms in both KKLT and LVS for matter living on D3-brane (leaving the D7-brane analysis to an appendix). A handful of distinct phenomenological scenarios emerge that could have low energy implications, most of them having a split spectrum of soft masses. Some cosmological and phenomenological properties of these models are discussed. We also check that the attraction between the D3-brane and the anti-D3-brane does not affect the leading contribution to the soft masses and does not destabilise the system.


title: Determination of spin and orbital magnetization in the ferromagnetic superconductor UCoGe

abstract: The magnetism in the ferromagnetic superconductor UCoGe has been studied using a combination of magnetic Compton scattering, bulk magnetization, X-ray magnetic circular dichroism and electronic structure calculations, in order to determine the spin and orbital moments. The experimentally observed total spin moment, $M_s$, was found to be -0.24 $\pm$ 0.05~$\mu_B$ at 5~T. By comparison with the total moment of 0.16 $\pm$ 0.01~$\mu_B$, the orbital moment, $M_l$, was determined to be 0.40 $\pm$ 0.05~$\mu_B$. The U and Co spin moments were determined to be antiparallel. We find that the U 5\textit{f} electrons carry a spin moment of U$_s \approx$ -0.30~$\mu_B$ and that there is a Co spin moment of Co$_s \approx$ 0.06~$\mu_B$ induced via hybridization. The ratio U$_l/$U$_s$, of $-1.3 \pm 0.3$, shows the U moment to be itinerant. In order to ensure an accurate description of the properties of 5\textit{f} systems, and to provide a critical test of the theoretical approaches, it is clearly necessary to obtain experimental data for both the spin and orbital moments, rather than just the total magnetic moment. This can be achieved simply by measuring the spin moment with magnetic Compton scattering and comparing this to the total moment from bulk magnetization.


title: Formation and stability of a hollow electron beam in the presence of a plasma wake field driven by an ultra-short electron bunch

abstract: A numerical investigation on the spatiotemporal evolution of an electron beam, externally injected in a plasma in the presence of a plasma wake field, is carried out. The latter is driven by an ultra-short relativistic axially-symmetric femtosecond electron bunch. We first derive a novel Poisson-like equation for the wake potential where the driving term is the ultra-short bunch density, taking suitably into account the interplay between the sharpness and high energy of the bunch. Then, we show that a channel is formed longitudinally, through the externally injected beam while experiencing the effects of the bunch-driven plasma wake field, within the context of thermal wave model. The formation of the channel seems to be a final stage of the 3D evolution of the beam. This involves the appearance of small filaments and bubbles around the longitudinal axis. The bubbles coalesce forming a relatively stable axially-symmetric hollow beam structure.


title: A Classification of Toric, Folded-Symplectic Manifolds

abstract: Given a $G$-toric, folded-symplectic manifold with co-orientable folding hypersurface, we show that its orbit space is naturally a manifold with corners $W$ equipped with a smooth map $\psi: W \to \frak{g}^*$, where $\frak{g}^*$ is the dual of the Lie algebra of the torus, $G$. The map $\psi$ has fold singularities at points in the image of the folding hypersurface under the quotient map to $W$ and it is a unimodular local embedding away from these points. Thus, to every $G$-toric, folded-symplectic manifold we can associate its orbit space data $\psi:W \to \frak{g}^*$, a unimodular map with folds. We fix a unimodular map with folds $\psi:W \to \frak{g}^*$ and show that isomorphism classes of $G$-toric, folded-symplectic manifolds whose orbit space data is $\psi:W \to \frak{g}^*$ are in bijection with $H^2(W; \mathbb{Z}_G\times \mathbb{R})$, where $\mathbb{Z}_G= \ker(\exp :\mathfrak{g} \to G)$ is the integral lattice of $G$. Thus, there is a pair of characteristic classes associated to every $G$-toric, folded-symplectic manifold. This result generalizes a classical theorem of Delzant, a classification of non-compact toric, symplectic manifolds due to Lerman and Karshon, and the classification of toric, origami manifolds, due to Cannas da Silva, Guillemin, and Pires, in the case where the folding hypersurface is co-orientable.


title: What is the Brillouin Zone of an Anisotropic Photonic Crystal?

abstract: The concept of the Brillouin zone (BZ) in relation to a photonic crystal fabricated in an optically anisotropic material is explored both experimentally and theoretically. In experiment, we used femtosecond laser pulses to excite THz polaritons and image their propagation in lithium niobate and lithium tantalate photonic crystal (PhC) slabs. We directly measured the dispersion relation inside PhCs and observed that the lowest bandgap expected to form at the BZ boundary forms inside the BZ in the anisotropic lithium niobate PhC. Our analysis shows that in an anisotropic material the BZ - defined as the Wigner-Seitz cell in the reciprocal lattice - is no longer bounded by Bragg planes and thus does not conform to the original definition of the BZ by Brillouin. We construct an alternative Brillouin zone defined by Bragg planes and show its utility in identifying features of the dispersion bands. We show that for an anisotropic 2D PhC without dispersion, the Bragg plane BZ can be constructed by applying the Wigner-Seitz method to a stretched or compressed reciprocal lattice. We also show that in the presence of the dispersion in the underlying material or in a slab waveguide, the Bragg planes are generally represented by curved surfaces rather than planes. The concept of constructing a BZ with Bragg planes should prove useful in understanding the formation of dispersion bands in anisotropic PhCs and in selectively tailoring their optical properties.


title: Robust approximation algorithms for the detection of attraction basins in dynamical systems

abstract: In dynamical systems saddle points partition the domain into basins of attractions of the remaining locally stable equilibria. This problem is rather common especially in population dynamics models. Precisely, a particular solution of a dynamical system is completely determined by its initial condition and by the parameters involved in the model. Furthermore, when the omega limit set reduces to a point, the trajectory of the solution evolves towards the steady state. But, in case of multi-stability it is possible that several steady states originate from the same parameter set. Thus, in these cases the importance of accurately reconstruct the attraction basins follows. In this paper we focus on dynamical systems of ordinary differential equations presenting three stable equilibia and we design algorithms for the detection of the points lying on the manifolds determining the basins of attraction and for the reconstruction of such manifolds. The latter are reconstructed by means of the implicit partition of unity method which makes use of radial basis functions (RBFs) as local approximants. Extensive numerical test, carried out with a Matlab package made available to the scientific community, support our findings.


title: From Tarski's plank problem to simultaneous approximation

abstract: A {\em slab} (or plank) of width $w$ is a part of the $d$-dimensional space that lies between two parallel hyperplanes at distance $w$ from each other. It is conjectured that any slabs $S_1, S_2,\ldots$ whose total width is divergent have suitable translates that altogether cover $\mathbb{R}^d$. We show that this statement is true if the widths of the slabs, $w_1, w_2,\ldots$, satisfy the slightly stronger condition $\limsup_{n\rightarrow\infty}\frac{w_1+w_2+\ldots+w_n}{\log(1/w_n)}>0$. This can be regarded as a converse of Bang's theorem, better known as Tarski's plank problem. We apply our results to a problem on simultaneous approximation of polynomials. Given a positive integer $d$, we say that a sequence of positive numbers $x_1\le x_2\le\ldots$ {\em controls} all polynomials of degree at most $d$ if there exist $y_1, y_2,\ldots\in\mathbb{R}$ such that for every polynomial $p$ of degree at most $d$, there exists an index $i$ with $|p(x_i)-y_i|\leq 1.$ We prove that a sequence has this property if and only if $\sum_{i=1}^{\infty}\frac{1}{x_i^d}$ is divergent. This settles an old conjecture of Makai and Pach.


title: Non-reciprocal nonlinear optic induced transparency and frequency conversion on a chip

abstract: Developments in photonic chips have spurred photon based classical and quantum information processing, attributing to the high stability and scalability of integrated photonic devices [1, 2]. Optical nonlinearity [3] is indispensable in these complex photonic circuits, because it allows for classical and quantum light sources, all-optical switch, modulation, and non-reciprocity in ambient environments. It is commonly known that nonlinear interactions are often greatly enhanced in the microcavities [4]. However, the manifestations of coherent photon-photon interaction in a cavity, analogous to the electromagnetically induced transparency [5], have never been reported on an integrated platform. Here, we present an experimental demonstration of the coherent photon-photon interaction induced by second order optical nonlinearity (\chi^{(2)} ) on an aluminum nitride photonic chip. The non-reciprocal nonlinear optic induced transparency is demonstrated as a result of the coherent interference between photons with different colors: ones in the visible wavelength band and ones in the telecom wavelength band. Furthermore, a wide-band frequency conversion with an almost unit internal (0.14 external) efficiency and a bandwidth up to 0.76\,\mathrm{GHz} is demonstrated.


title: Permanent versus determinant, obstructions, and Kronecker coefficients

abstract: We give an introduction to some of the recent ideas that go under the name "geometric complexity theory". We first sketch the proof of the known upper and lower bounds for the determinantal complexity of the permanent. We then introduce the concept of a representation theoretic obstruction, which has close links to algebraic combinatorics, and we explain some of the insights gained so far. In particular, we address very recent insights on the complexity of testing the positivity of Kronecker coefficients. We also briefly discuss the related asymptotic version of this question.


title: Group Centric Networking: A New Approach for Wireless Multi-Hop Networking to Enable the Internet of Things

abstract: In this paper, we introduce a new networking architecture called Group Centric Networking (GCN), which is designed to support the large number of devices expected with the emergence of the Internet of Things. GCN is designed to enable these devices to operate collaboratively in a highly efficient and resilient fashion, while not sacrificing their ability to communicate with one another. We do a full protocol implementation of GCN in NS3, and demonstrate that GCN utilizes up to an order of magnitude fewer network resources than traditional wireless networking schemes, while providing high connectivity and reliability.


title: Accelerated screening of thermoelectric materials by first-principles computations of electron-phonon scattering

abstract: Recent discovery of new materials for thermoelectric energy conversion is enabled by efficient prediction of materials' performance from first-principles, without empirically fitted parameters. The novel simplified approach for computing electronic transport properties is described, which achieves good accuracy and transferability while greatly reducing complexity and computation cost compared to the existing methods. The first-principles calculations of the electron-phonon coupling demonstrate that the energy dependence of the electron relaxation time varies significantly with chemical composition and carrier concentration, suggesting that it is necessary to go beyond the commonly used approximations to screen and optimize materials' composition, carrier concentration, and microstructure. The new method is verified using high accuracy computations and validated with experimental data before applying it to screen and discover promising compositions in the space of half-Heusler alloys. By analyzing data trends the effective electron mass is identified as the single best general descriptor determining material's performance. The Lorenz number is computed from first principles and the universality of the Wiedemann-Franz law in thermoelectrics is discussed.


title: The Lerch zeta function IV. Hecke operators

abstract: This paper studies algebraic and analytic structures associated with the Lerch zeta function. It defines a family of two-variable Hecke operators $\{ T_m: \, m \ge 1\}$ given by $T_m(f)(a, c) = \frac{1}{m} \sum_{k=0}^{m-1} f(\frac{a+k}{m}, mc)$ acting on certain spaces of real-analytic functions, including Lerch zeta functions for various parameter values. It determines the action of various related operators on these function spaces. It characterizes Lerch zeta functions (for fixed $s$ in the following way. It shows that there is for each $s \in {\bf C}$ a two-dimensional vector space spanned by linear combinations of Lerch zeta functions is characterized as a maximal space of simultaneous eigenfunctions for this family of Hecke operators. This result is an analogue of a result of Milnor for the Hurwitz zeta function. We also relate these functions to a linear partial differential operator in the $(a, c)$-variables having the Lerch zeta function as an eigenfunction.


title: Multilinear Multiplier Theorems and Applications

abstract: We obtain new multilinear multiplier theorems for symbols of restricted smoothness which lie locally in certain Sobolev spaces. We provide applications concerning the boundedness of the commutators of Calder\'on and Calder\'on-Coifman-Journ\'e.


title: SlicerPET: A workflow based software module for PET/CT guided needle biopsy

abstract: Biopsy is commonly used to confirm cancer diagnosis when radiologically indicated. Given the ability of PET to localize malignancies in heterogeneous tumors and tumors that do not have a CT correlate, PET/CT guided biopsy may improve the diagnostic yield of biopsies. To facilitate PET/CT guided needle biopsy, we developed a workflow that allows us to bring PET image guidance into the interventional CT suite. In this abstract, we present SlicerPET, a user-friendly workflow based module developed using open source software libraries to guide needle biopsy in the interventional suite.


title: Higher Order Conditional Random Fields in Deep Neural Networks

abstract: We address the problem of semantic segmentation using deep learning. Most segmentation systems include a Conditional Random Field (CRF) to produce a structured output that is consistent with the image's visual features. Recent deep learning approaches have incorporated CRFs into Convolutional Neural Networks (CNNs), with some even training the CRF end-to-end with the rest of the network. However, these approaches have not employed higher order potentials, which have previously been shown to significantly improve segmentation performance. In this paper, we demonstrate that two types of higher order potential, based on object detections and superpixels, can be included in a CRF embedded within a deep network. We design these higher order potentials to allow inference with the differentiable mean field algorithm. As a result, all the parameters of our richer CRF model can be learned end-to-end with our pixelwise CNN classifier. We achieve state-of-the-art segmentation performance on the PASCAL VOC benchmark with these trainable higher order potentials.


title: Heavy to light Higgs boson decays at NLO in the Singlet Extension of the Standard Model

abstract: We study the decay of a heavy Higgs boson into a light Higgs pair at one loop in the singlet extension of the Standard Model. To this purpose, we construct several renormalization schemes for the extended Higgs sector of the model. We apply these schemes to calculate the heavy-to-light Higgs decay width at next-to-leading order electroweak accuracy, and demonstrate that certain prescriptions lead to gauge-dependent results. We comprehensively examine how the NLO predictions depend on the relevant singlet model parameters, with emphasis on the trademark behavior of the quantum effects, and how these change under different renormalization schemes and a variable renormalization scale. Once all present constraints on the model are included, we find mild NLO corrections, typically of few percent, and with small theoretical uncertainties.


title: Circular orbit spacecraft control at the L4 point using Lyapunov functions

abstract: The objective of this work is to demonstrate the utility of Lyapunov functions in control synthesis for the purpose of maintaining and stabilizing a spacecraft in a circular orbit around the L4 point in the circular restricted three body problem (CRTBP). Incorporating the requirements of a fixed radius orbit and a desired angular momentum, a Lyapunov function is constructed and the requisite analysis is performed to obtain a controller. Asymptotic stability is proved in a defined region around the L4 point using LaSalle's principle.


title: A survey of the GIT picture for the Yang-Mills equation over Riemann surfaces

abstract: The purpose of this paper is to give a self-contained exposition of the Atiyah-Bott picture for the Yang-Mills equation over Riemann surfaces with an emphasis on the analogy to finite dimensional geometric invariant theory. The main motivation is to provide a careful study of the semistable and unstable orbits: This includes the analogue of the Ness uniqueness theorem for Yang-Mills connections, the Kempf-Ness theorem, the Hilbert-Mumford criterion and a new proof of the moment-weight inequality following an approach outlined by Donaldson. A central ingredient in our discussion is the Yang-Mills flow for which we assume longtime existence and convergence.


title: The degree of a tropical basis

abstract: We give an explicit upper bound for the degree of a tropical basis of a homogeneous polynomial ideal. As an application f-vectors of tropical varieties are discussed. Various examples illustrate differences between Gr\"obner and tropical bases.


title: Detection of a Cooper-Pair Density Wave in Bi$_{2}$Sr$_{2}$CaCu$_{2}$O$_{8+x}$

abstract: The quantum condensate of Cooper-pairs forming a superconductor was originally conceived to be translationally invariant. In theory, however, pairs can exist with finite momentum $Q$ and thereby generate states with spatially modulating Cooper-pair density. While never observed directly in any superconductor, such a state has been created in ultra-cold $^{6}$Li gas. It is now widely hypothesized that the cuprate pseudogap phase contains such a 'pair density wave' (PDW) state. Here we use nanometer resolution scanned Josephson tunneling microscopy (SJTM) to image Cooper-pair tunneling from a $d$-wave superconducting STM tip to the condensate of Bi$_{2}$Sr$_{2}$CaCu$_{2}$O$_{8+x}$. Condensate visualization capabilities are demonstrated directly using the Cooper-pair density variations surrounding Zn impurity atoms and at the Bi$_{2}$Sr$_{2}$CaCu$_{2}$O$_{8+x}$ crystal-supermodulation. Then, by using Fourier analysis of SJTM images, we discover the direct signature of a Cooper-pair density modulation at wavevectors $Q_{p} \approx (0.25,0)2\pi / a_{0}$;$(0,0.25)2\pi / a_{0}$ in Bi$_{2}$Sr$_{2}$CaCu$_{2}$O$_{8+x}$. The amplitude of these modulations is ~5% of the homogenous condensate density and their form factor exhibits primarily $s$/$s'$-symmetry. This phenomenology is expected within Ginzburg-Landau theory when a charge density wave with $d$-symmetry form factor and wave vector $Q_{c}=Q_{p}$ coexists with a homogeneous $d$-symmetry superconductor ; it is also encompassed by several contemporary microscopic theories for the pseudogap phase.


title: The Expectation Value of the Cosmological Constant

abstract: The possibility of extending the quantum mechanical superposition principle to free parameters such as the cosmological constant appearing in the Lagrangian of physical theories is examined. If the cosmological constant is subject to a quantum mechanical superposition principle, its observed value is a weighted average of its two natural values, one at the Planck scale and the other at zero. As zero and nonzero values of the cosmological constant leads to topologically distinct spacetimes, the amplitude for the cosmological constant to take a Planck scale value is weighted over a topological Euclidean action and the expectation value of the cosmological constant is found to be of the order of its present observed value.


title: Ferromagnetic resonance phase imaging in spin Hall multilayers

abstract: We experimentally image the magnetic precession phase of patterned spin Hall multilayer samples to study the rf driving field vector using time-resolved anomalous Nernst effect (TRANE) microscopy. Our ferromagnetic resonance (FMR) measurements quantify the phase and amplitude for both the magnetic precession and the electric current, which allows us to establish the total driving field orientation and the strength of spin Hall effect. In a channel of uniform width, we observe spatial variation of the FMR phase laterally across the channel. We interpret our findings in the context of electrical measurement using the spin-transfer torque ferromagnetic resonance technique and show that observed phase variation introduces a systematic correction into the spin Hall angle if spatial phase and amplitude variations are not taken into account.


title: Efficient Dielectric Metasurface Collimating Lenses for Mid-Infrared Quantum Cascade Lasers

abstract: Light emitted from single-mode semiconductor lasers generally has large divergence angles, and high numerical aperture lenses are required for beam collimation. Visible and near infrared lasers are collimated using aspheric glass or plastic lenses, yet collimation of mid-infrared quantum cascade lasers typically requires more costly aspheric lenses made of germanium, chalcogenide compounds, or other infrared-transparent materials. Here we report mid-infrared dielectric metasurface flat lenses that efficiently collimate the output beam of single-mode quantum cascade lasers. The metasurface lenses are composed of amorphous silicon posts on a flat sapphire substrate and can be fabricated at low cost using a single step conventional UV binary lithography. Mid-infrared radiation from a 4.8 $\mu$m distributed-feedback quantum cascade laser is collimated using a polarization insensitive metasurface lens with 0.86 numerical aperture and 79% transmission efficiency. The collimated beam has a half divergence angle of 0.36$^\circ$ and beam quality factor of $M^2$=1.02.


title: Sizes of the extremal girth 5 graphs of orders from 40 to 49

abstract: The Tur\'an type numbers for graphs without 3-cycles and 4-cycles are determined for vertex numbers from 40 to 49 inclusive. Hence, now, 43 of the first 50 numbers of OEIS A006856 are known. Estimates for the remaining seven numbers are presented.


title: Linked Coupled Cluster Monte Carlo

abstract: We consider a new formulation of the stochastic coupled cluster method in terms of the similarity transformed Hamiltonian. We show that improvement in the granularity with which the wavefunction is represented results in a reduction in the critical population required to correctly sample the wavefunction for a range of systems and excitation levels and hence leads to a substantial reduction in the computational cost. This development has the potential to substantially extend the range of the method, enabling it to be used to treat larger systems with excitation levels not easily accessible with conventional deterministic methods.


title: A Roadmap towards Machine Intelligence

abstract: The development of intelligent machines is one of the biggest unsolved challenges in computer science. In this paper, we propose some fundamental properties these machines should have, focusing in particular on communication and learning. We discuss a simple environment that could be used to incrementally teach a machine the basics of natural-language-based communication, as a prerequisite to more complex interaction with human users. We also present some conjectures on the sort of algorithms the machine should support in order to profitably learn from the environment.


title: Unsupervised Deep Feature Extraction for Remote Sensing Image Classification

abstract: This paper introduces the use of single layer and deep convolutional networks for remote sensing data analysis. Direct application to multi- and hyper-spectral imagery of supervised (shallow or deep) convolutional networks is very challenging given the high input data dimensionality and the relatively small amount of available labeled data. Therefore, we propose the use of greedy layer-wise unsupervised pre-training coupled with a highly efficient algorithm for unsupervised learning of sparse features. The algorithm is rooted on sparse representations and enforces both population and lifetime sparsity of the extracted features, simultaneously. We successfully illustrate the expressive power of the extracted representations in several scenarios: classification of aerial scenes, as well as land-use classification in very high resolution (VHR), or land-cover classification from multi- and hyper-spectral images. The proposed algorithm clearly outperforms standard Principal Component Analysis (PCA) and its kernel counterpart (kPCA), as well as current state-of-the-art algorithms of aerial classification, while being extremely computationally efficient at learning representations of data. Results show that single layer convolutional networks can extract powerful discriminative features only when the receptive field accounts for neighboring pixels, and are preferred when the classification requires high resolution and detailed results. However, deep architectures significantly outperform single layers variants, capturing increasing levels of abstraction and complexity throughout the feature hierarchy.


title: Dynamically contracted algebra of observables for dissipative quantum systems

abstract: A method is discussed to analyze the dynamics of a dissipative quantum system. The method hinges upon the definition of an alternative (time-dependent) product among the observables of the system. In the long time limit this yields a contracted algebra. This contraction irreversibly affects some of the quantum features of the dissipative system.


title: How rigid the finite ultrametric spaces can be?

abstract: A metric space $X$ is rigid if the isometry group of $X$ is trivial. The finite ultrametric spaces $X$ with $|X| \geq 2$ are not rigid since for every such $X$ there is a self-isometry having exactly $|X|-2$ fixed points. Using the representing trees we characterize the finite ultrametric spaces $X$ for which every self-isometry has at least $|X|-2$ fixed points. Some other extremal properties of such spaces and related graph theoretical characterizations are also obtained.


title: The central set and its application to the Kneser-Poulsen conjecture

abstract: The Kneser-Poulsen conjecture says that if a finite collection of balls in a Euclidean (spherical or hyperbolic) space is rearranged so that the distance between each pair of centers does not increase, then the volume of the union of these balls does not increase as well. We give new results about central sets of subsets of a Riemannian manifold and apply these results to prove new special cases of the Kneser-Poulsen conjecture in the two-dimensional sphere and the hyperbolic plane.


title: Superconductor to Insulator Transition Tuned by Random Gauge Fields

abstract: Typically the disorder that alters the interference of particle waves to produce Anderson localization is potential scattering from randomly placed impurities. Here we show that disorder in the form of random gauge fields that act directly on particle phases can also drive localization. We present evidence of a superfluid bose glass to insulator transition at a critical level of this gauge field disorder in a nano-patterned array of amorphous Bi islands. This transition shows signs of metallic transport near the critical point characterized by a resistance of order 0.5 h/4e^2 , indicative of a quantum phase transition. The critical disorder also depends on interisland coupling in agreement with recent Quantum Monte Carlo simulations. Finally, these experiments are uniquely connected to theory because they employ a method for controlling a disorder parameter that coincides directly with a term that appears in model Hamiltonians. This correspondence will enable further high fidelity comparisons between theoretical and experimental studies of disorder effects on quantum critical systems.


title: Unifying Decision Trees Split Criteria Using Tsallis Entropy

abstract: The construction of efficient and effective decision trees remains a key topic in machine learning because of their simplicity and flexibility. A lot of heuristic algorithms have been proposed to construct near-optimal decision trees. ID3, C4.5 and CART are classical decision tree algorithms and the split criteria they used are Shannon entropy, Gain Ratio and Gini index respectively. All the split criteria seem to be independent, actually, they can be unified in a Tsallis entropy framework. Tsallis entropy is a generalization of Shannon entropy and provides a new approach to enhance decision trees' performance with an adjustable parameter $q$. In this paper, a Tsallis Entropy Criterion (TEC) algorithm is proposed to unify Shannon entropy, Gain Ratio and Gini index, which generalizes the split criteria of decision trees. More importantly, we reveal the relations between Tsallis entropy with different $q$ and other split criteria. Experimental results on UCI data sets indicate that the TEC algorithm achieves statistically significant improvement over the classical algorithms.


title: High-scale validity of a model with Three-Higgs-doublets

abstract: We consider a three-Higgs doublet scenario in this paper, invariant under the discrete group S3 , and probe its high-scale validity by allowing the model parameters to evolve under a renormalization group. We choose two particular alignments of vacuum expectation values (vev) for our study, out of a set of several such possible ones. All three doublets receive nonzero vacuum expectation values in the first case, and in the second case, two of the doublets remain without vev. The constraints on the parameter space at low energy, including the measured value of the Higgs mass and the signal strengths, oblique corrections and also measurements of relic density and direct detection rates are juxtaposed with the conditions of vacuum stability, perturbativity and unitarity at various scales. We find that the scenario with three nonzero vevs is not valid beyond 107 GeV, assuming no additional physics participates at the intermediate scales. On the contrary, the scenario with only one nonzero vev turns out to be a successful model for cold dark matter phenomenology, which also turns out to be valid up to the Planck scale at the same time. Stringent restrictions are obtained on the model parameter space in each case. Thus, the S3 symmetric scalar sector emerges as an ultraviolet complete theory.


title: Uniformly hyperbolic control theory

abstract: This paper gives a summary of a body of work at the intersection of control theory and smooth nonlinear dynamics. The main idea is to transfer the concept of uniform hyperbolicity, central to the theory of smooth dynamical systems, to control-affine systems. Combining the strength of geometric control theory and the hyperbolic theory of dynamical systems, it is possible to deduce control-theoretic results of non-local nature that reveal remarkable analogies to the classical hyperbolic theory of dynamical systems. This includes results on controllability, robustness, and practical stabilizability in a networked control framework.


title: On Nilpotent Multipliers of Pairs of Groups

abstract: In this paper, we determine the structure of the nilpotent multipliers of all pairs $(G,N)$ of finitely generated abelian groups where $N$ admits a complement in $G$. Moreover, some inequalities for the nilpotent multipliers of pairs of finite groups and their factor groups are given.


title: Non-Ergodic Complexity Management

abstract: Linear response theory, the backbone of non-equilibrium statistical physics, has recently been extended to explain how and why non-ergodic renewal processes are insensitive to simple perturbations, such as in habituation. It was established that a permanent correlation resulted between an external stimulus and the response of a complex system generating non-ergodic renewal processes, when the stimulus is a similar non-ergodic process. This is the principle of complexity management, whose proof relies on ensemble distribution functions. Herein we extend the proof to the non-ergodic case using time averages and a single time series, hence making it usable in real life situations where ensemble averages cannot be performed because of the very nature of the complex systems being studied.


title: Reinstating Combinatorial Protections for Manipulation and Bribery in Single-Peaked and Nearly Single-Peaked Electorates

abstract: Understanding when and how computational complexity can be used to protect elections against different manipulative actions has been a highly active research area over the past two decades. A recent body of work, however, has shown that many of the NP-hardness shields, previously obtained, vanish when the electorate has single-peaked or nearly single-peaked preferences. In light of these results, we investigate whether it is possible to reimpose NP-hardness shields for such electorates by allowing the voters to specify partial preferences instead of insisting they cast complete ballots. In particular, we show that in single-peaked and nearly single-peaked electorates, if voters are allowed to submit top-truncated ballots, then the complexity of manipulation and bribery for many voting rules increases from being in P to being NP-complete.


title: On Factoring an Operator Using Elements of its Kernel

abstract: A well-known theorem factors a scalar coefficient differential operator given a linearly independent set of functions in its kernel. The goal of this paper is to generalize this useful result to other types of operators. In place of the derivation $\partial$ acting on some ring of functions, this paper considers the more general situation of an endomorphism $\mathfrak{D}$ acting on a unital associative algebra. The operators considered, analogous to differential operators, are those which can be written as a finite sum of powers of $\mathfrak{D}$ followed by left multiplication by elements of the algebra. Assume that the set of such operators is closed under multiplication and that a Wronski-like matrix produced from some finite list of elements of the algebra is invertible (analogous to the linear independence condition). Then, it is shown that the set of operators whose kernels contain all of those elements is the left ideal generated by an explicitly given operator. In other words, an operator has those elements in its kernel if and only if it has that generator as a right factor. Three examples demonstrate the application of this result in different contexts, including one in which $\mathfrak{D}$ is an automorphism of finite order.


title: On Throughput-Smoothness Trade-offs in Streaming Communication

abstract: Unlike traditional file transfer where only total delay matters, streaming applications impose delay constraints on each packet and require them to be in order. To achieve fast in-order packet decoding, we have to compromise on the throughput. We study this trade-off between throughput and smoothness in packet decoding. We first consider a point-to-point streaming and analyze how the trade-off is affected by the frequency of block-wise feedback, whereby the source receives full channel state feedback at periodic intervals. We show that frequent feedback can drastically improve the throughput-smoothness trade-off. Then we consider the problem of multicasting a packet stream to two users. For both point-to-point and multicast streaming, we propose a spectrum of coding schemes that span different throughput-smoothness tradeoffs. One can choose an appropriate coding scheme from these, depending upon the delay-sensitivity and bandwidth limitations of the application. This work introduces a novel style of analysis using renewal processes and Markov chains to analyze coding schemes.


title: Classical Physics and the Bounds of Quantum Correlations

abstract: A unifying principle explaining the numerical bounds of quantum correlations remains elusive despite the efforts devoted to identifying it. Here we show that these bounds are indeed not exclusive to quantum theory: for any abstract correlation scenario with compatible measurements, models based on classical waves produce probability distributions indistinguishable from those of quantum theory and, therefore, share the same bounds. We demonstrate this finding by implementing classical microwaves that propagate along meter-size transmission-line circuits and reproduce the probabilities of three emblematic quantum experiments. Our results show that the "quantum" bounds would also occur in a classical universe without quanta. The implications of this observation are discussed.


title: Observation of noise correlated by the Hawking effect in a water tank

abstract: We measured the power spectrum and two-point correlation function for the randomly fluctuating free surface on the downstream side of a stationary flow with a maximum Froude number $F_{\rm max} \approx 0.85$ reached above a localised obstacle. On such a flow the scattering of incident long wavelength modes is analogous to that responsible for black hole radiation (the Hawking effect). Our measurements of the noise show a clear correlation between pairs of modes of opposite energies. We also measure the scattering coefficients by applying the same analysis of correlations to waves produced by a wave maker.


title: Weingarten type surfaces in $\mathbb{H}^2\times\mathbb{R}$ and $\mathbb{S}^2\times\mathbb{R}$

abstract: In this article, we study complete surfaces $\Sigma$, isometrically immersed in the product space $\mathbb{H}^2\times\mathbb{R}$ or $\mathbb{S}^2\times\mathbb{R}$ having positive extrinsic curvature $K_e$. Let $K_i$ denote the intrinsic curvature of $\Sigma$. Assume that the equation $aK_i+bK_e=c$ holds for some real constants $a\neq0$, $b>0$ and $c$. The main result of this article state that when such a surface is a topological sphere it is rotational.


title: Addendum to: On the rational approximation of the sum of the reciprocals of the Fermat numbers

abstract: As a corollary of the main result of our recent paper, {\em On the rational approximation of the sum of the reciprocals of the Fermat numbers} published in this same journal, we prove that for each integer $b\geq 2$ the irrationality exponent of $\sum_{n\geqslant 0} s_2(n)/b^n$ is equal to $2$.