title: A complexity/fidelity susceptibility g-theorem for AdS$_3$/BCFT$_2$

abstract: We use a recently proposed holographic Kondo model as a well-understood example of AdS/boundary CFT (BCFT) duality, and show explicitly that in this model the bulk volume decreases along the RG flow. We then obtain a proof that this volume loss is indeed a generic feature of AdS/BCFT models of the type proposed by Takayanagi in 2011. According to recent proposals holographically relating bulk volume to such quantities as complexity or fidelity susceptibility in the dual field theory, this suggests the existence of a complexity or fidelity susceptibility analogue of the Affleck-Ludwig g-theorem, which famously states the decrease of boundary entropy along the RG flow of a BCFT. We comment on this possibility.


title: Service Provider DevOps

abstract: Although there is consensus that software defined networking and network functions virtualization overhaul service provisioning and deployment, the community still lacks a definite answer on how carrier-grade operations praxis needs to evolve. This article presents what lies beyond the first evolutionary steps in network management, identifies the challenges in service verification, observability, and troubleshooting, and explains how to address them using our Service Provider DevOps (SP-DevOps) framework. We compendiously cover the entire process from design goals to tool realization and employ an elastic version of an industry-standard use case to show how on-the-fly verification, software-defined monitoring, and automated troubleshooting of services reduce the cost of fault management actions. We assess SP-DevOps with respect to key attributes of software-defined telecommunication infrastructures both qualitatively and quantitatively, and demonstrate that SP-DevOps paves the way toward carrier-grade operations and management in the network virtualization era.


title: Axiomatic phylogenetics

abstract: We use the language of quivers to formulate a mathematical framework for phylogenetics.


title: On convergence for graphexes

abstract: We study four different notions of convergence for graphexes, recently introduced by Borgs, Chayes, Cohn and Holden, and by Veitch and Roy. We give some properties of them and some relations between them. We also extend results by Veitch and Roy on convergence of empirical graphons.


title: Finite Horizon Energy-Efficient Scheduling with Energy Harvesting Transmitters over Fading Channels

abstract: In this paper, energy-efficient transmission schemes achieving maximal throughput over a finite time interval are studied in a problem setting including energy harvests, data arrivals and channel variation. The goal is to express the offline optimal policy in a way that facilitates a good online solution. We express any throughput maximizing energy efficient offline schedule (EE-TM-OFF) explicitly in terms of water levels. This allows per-slot real-time evaluation of transmit power and rate decisions, using estimates of the associated offline water levels. To compute the online power level, we construct a stochastic dynamic program that incorporates the offline optimal solution as a stochastic process. We introduce the "Immediate Fill" metric which provides a lower bound on the efficiency of any online policy with respect to the corresponding optimal offline solution. The online algorithms obtained this way exhibit performance close to the offline optimal, not only in the long run but also in short problem horizons, deeming them suitable for practical implementations.


title: Correct Convergence of Min-Sum Loopy Belief Propagation in a Block Interpolation Problem

abstract: This work proves a new result on the correct convergence of Min-Sum Loopy Belief Propagation (LBP) in an interpolation problem on a square grid graph. The focus is on the notion of local solutions, a numerical quantity attached to each site of the graph that can be used for obtaining MAP estimates. The main result is that over an $N\times N$ grid graph with a one-run boundary configuration, the local solutions at each $i \in B$ can be calculated using Min-Sum LBP by passing difference messages in $2N$ iterations, which parallels the well-known convergence time in trees.


title: A GPU-Outperforming FPGA Accelerator Architecture for Binary Convolutional Neural Networks

abstract: FPGA-based hardware accelerators for convolutional neural networks (CNNs) have obtained great attentions due to their higher energy efficiency than GPUs. However, it is challenging for FPGA-based solutions to achieve a higher throughput than GPU counterparts. In this paper, we demonstrate that FPGA acceleration can be a superior solution in terms of both throughput and energy efficiency when a CNN is trained with binary constraints on weights and activations. Specifically, we propose an optimized FPGA accelerator architecture tailored for bitwise convolution and normalization that features massive spatial parallelism with deep pipelines stages. A key advantage of the FPGA accelerator is that its performance is insensitive to data batch size, while the performance of GPU acceleration varies largely depending on the batch size of the data. Experiment results show that the proposed accelerator architecture for binary CNNs running on a Virtex-7 FPGA is 8.3x faster and 75x more energy-efficient than a Titan X GPU for processing online individual requests in small batch sizes. For processing static data in large batch sizes, the proposed solution is on a par with a Titan X GPU in terms of throughput while delivering 9.5x higher energy efficiency.


title: The SOPHIE search for northern extrasolar planets - XII. Three giant planets suitable for astrometric mass determination with Gaia

abstract: We present new radial velocity measurements for three low-metallicity solar-like stars observed with the SOPHIE spectrograph and its predecessor ELODIE, both installed at the 193 cm telescope of the Haute-Provence Observatory, allowing the detection and characterization of three new giant extrasolar planets in intermediate periods of 1.7 to 3.7 years. All three stars, HD17674, HD42012 and HD29021 present single giant planetary companions with minimum masses between 0.9 and 2.5 MJup. The range of periods and masses of these companions, along with the distance of their host stars, make them good targets to look for astrometric signals over the lifetime of the new astrometry satellite Gaia. We discuss the preliminary astrometric solutions obtained from the first Gaia data release.


title: Dimension-Dependent Stimulated Radiative Interaction of a Single Electron Quantum Wavepacket

abstract: In the foundation of quantum mechanics, the spatial dimensions of electron wavepacket are understood only in terms of an expectation value - the probability distribution of the particle location. One can still inquire how the quantum electron wavepacket size affects a physical process. Here we address the fundamental physics problem of particle-wave duality and the measurability of a free electron quantum wavepacket. Our analysis of stimulated radiative interaction of an electron wavepacket, accompanied by numerical computations, reveals two limits. In the quantum regime of long wavepacket size relative to radiation wavelength, one obtains only quantum-recoil multiphoton sidebands in the electron energy spectrum. In the opposite regime, the wavepacket interaction approaches the limit of classical point-particle acceleration. The wavepacket features can be revealed in experiments carried out in the intermediate regime of wavepacket size commensurate with the radiation wavelength.


title: Vanishing theorems for perverse sheaves on abelian varieties, revisited

abstract: We revisit some of the basic results of generic vanishing theory, as pioneered by Green and Lazarsfeld, in the context of constructible sheaves. Using the language of perverse sheaves, we give new proofs of some of the basic results of this theory. Our approach is topological/arithmetic, and avoids Hodge theory.


title: On edge exchangeable random graphs

abstract: We study a recent model for edge exchangeable random graphs introduced by Crane and Dempsey; in particular we study asymptotic properties of the random simple graph obtained by merging multiple edges. We study a number of examples, and show that the model can produce dense, sparse and extremely sparse random graphs. One example yields a power-law degree distribution. We give some examples where the random graph is dense and converges a.s. in the sense of graph limit theory, but also an example where a.s. every graph limit is the limit of some subsequence. Another example is sparse and yields convergence to a non-integrable generalized graphon defined on $(0,\infty)$.


title: Fast Resampling of 3D Point Clouds via Graphs

abstract: To reduce cost in storing, processing and visualizing a large-scale point cloud, we consider a randomized resampling strategy to select a representative subset of points while preserving application-dependent features. The proposed strategy is based on graphs, which can represent underlying surfaces and lend themselves well to efficient computation. We use a general feature-extraction operator to represent application-dependent features and propose a general reconstruction error to evaluate the quality of resampling. We obtain a general form of optimal resampling distribution by minimizing the reconstruction error. The proposed optimal resampling distribution is guaranteed to be shift, rotation and scale-invariant in the 3D space. We next specify the feature-extraction operator to be a graph filter and study specific resampling strategies based on all-pass, low-pass, high-pass graph filtering and graph filter banks. We finally apply the proposed methods to three applications: large-scale visualization, accurate registration and robust shape modeling. The empirical performance validates the effectiveness and efficiency of the proposed resampling methods.


title: Dual combination combination multi switching synchronization of eight chaotic systems

abstract: In this paper, a novel scheme for synchronizing four drive and four response systems is proposed by the authors. The idea of multi switching and dual combination synchronization is extended to dual combination-combination multi switching synchronization involving eight chaotic systems and is a first of its kind. Due to the multiple combination of chaotic systems and multi switching the resultant dynamic behaviour is so complex that, in communication theory, transmission and security of the resultant signal is more effective. Using Lyapunov stability theory, sufficient conditions are achieved and suitable controllers are designed to realise the desired synchronization. Corresponding theoretical analysis is presented and numerical simulations performed to demonstrate the effectiveness of the proposed scheme.


title: Fundamental invariants of many-body Hilbert space

abstract: Many-body Hilbert space is a functional vector space with the natural structure of an algebra, in which vector multiplication is ordinary multiplication of wave functions. This algebra is finite-dimensional, with exactly $N!^{d-1}$ generators for $N$ identical particles, bosons or fermions, in $d$ dimensions. The generators are called shapes. Each shape is a possible many-body vacuum. Shapes are natural generalizations of the ground-state Slater determinant to more than one dimension. Physical states, including the ground state, are superpositions of shapes with symmetric-function coefficients, for both bosons and fermions. These symmetric functions may be interpreted as bosonic excitations of the shapes. The algebraic structure of Hilbert space described here provides qualitative insights into long-standing issues of many-body physics, including the fermion sign problem and the microscopic origin of bands in the spectra of finite systems.


title: The effect of surface tension on steadily translating bubbles in an unbounded Hele-Shaw cell

abstract: New numerical solutions to the so-called selection problem for one and two steadily translating bubbles in an unbounded Hele-Shaw cell are presented. Our approach relies on conformal mapping which, for the two-bubble problem, involves the Schottky-Klein prime function associated with an annulus. We show that a countably infinite number of solutions exist for each fixed value of dimensionless surface tension, with the bubble shapes becoming more exotic as the solution branch number increases. Our numerical results suggest that a single solution is selected in the limit that surface tension vanishes, with the scaling between the bubble velocity and surface tension being different to the well-studied problems for a bubble or a finger propagating in a channel geometry.


title: Stable mixed element schemes for plate models on multiply-connected domains

abstract: In this paper, we study the mixed element schemes of the Reissner-Mindlin plate model and the Kirchhoff plate model in multiply-connected domains. By a regular decomposition of $H_0({\rm rot},\Omega)$ and a Helmholtz decomposition of its dual, we develop mixed formulations of the models which are equivalent to the primal ones respectively and which are uniformly stable. A framework of designing uniformly stable finite element schemes is presented, and a specific example is given.


title: Seagull and pion-in-flight currents in neutrino-induced $1N$ and $2N$ knockout

abstract: [Background] The neutrino-nucleus ($\nu A$) cross section is a major source of systematic uncertainty in neutrino-oscillation studies. A precise $\nu A$ scattering model, in which multinucleon effects are incorporated, is pivotal for an accurate interpretation of the data. [Purpose] In $\nu A$ interactions, meson-exchange currents (MECs) can induce two-nucleon ($2N$) knockout from the target nucleus, resulting in a two-particle two-hole (2p2h) final state. They also affect single nucleon ($1N$) knockout reactions, yielding a one-particle one-hole (1p1h) final state. Both channels affect the inclusive strength. We present a study of axial and vector, seagull and pion-in-flight currents in muon-neutrino induced $1N$ and $2N$ knockout reactions on $^{12}$C. [Method] Bound and emitted nucleons are described as Hartree-Fock wave functions. For the vector MECs, the standard expressions are used. For the axial current, three parameterizations are considered. The framework developed here allows for a treatment of MECs and short-range correlations (SRCs). [Results] Results are compared with electron-scattering data and with literature. The strengths of the seagull, pion-in-flight and axial currents are studied separately and double differential cross sections including MECs are compared with results including SRCs. A comparison with MiniBooNE and T2K data is presented. [Conclusions] In the 1p1h channel, the effects of the MECs tend to cancel each other, resulting in a small effect on the double differential cross section. $2N$ knockout processes provide a small contribution to the inclusive double differential cross section, ranging from the $2N$ knockout threshold into the dip region. A fair agreement with the MiniBooNE and T2K data is reached.


title: Stahl's Theorem (aka BMV Conjecture): Insights and Intuition on its Proof

abstract: The Bessis-Moussa-Villani conjecture states that the trace of $\exp(A-tB)$ is, as a function of the real variable $t$, the Laplace transform of a positive measure, where $A$ and $B$ are respectively a hermitian and positive semi-definite matrix. The long standing conjecture was recently proved by Stahl and streamlined by Eremenko. We report on a more concise yet self-contained version of the proof.


title: Delving Deeper into MOOC Student Dropout Prediction

abstract: In order to obtain reliable accuracy estimates for automatic MOOC dropout predictors, it is important to train and test them in a manner consistent with how they will be used in practice. Yet most prior research on MOOC dropout prediction has measured test accuracy on the same course used for training the classifier, which can lead to overly optimistic accuracy estimates. In order to understand better how accuracy is affected by the training+testing regime, we compared the accuracy of a standard dropout prediction architecture (clickstream features + logistic regression) across 4 different training paradigms. Results suggest that (1) training and testing on the same course ("post-hoc") can overestimate accuracy by several percentage points; (2) dropout classifiers trained on proxy labels based on students' persistence are surprisingly competitive with post-hoc training (87.33% versus 90.20% AUC averaged over 8 weeks of 40 HarvardX MOOCs); and (3) classifier performance does not vary significantly with the academic discipline. Finally, we also research new dropout prediction architectures based on deep, fully-connected, feed-forward neural networks and find that (4) networks with as many as 5 hidden layers can statistically significantly increase test accuracy over that of logistic regression.


title: Interactive Web Application for Exploring Matrices of Neural Connectivity

abstract: We present here a browser-based application for visualizing patterns of connectivity in 3D stacked data matrices with large numbers of pairwise relations. Visualizing a connectivity matrix, looking for trends and patterns, and dynamically manipulating these values is a challenge for scientists from diverse fields, including neuroscience and genomics. In particular, high-dimensional neural data include those acquired via electroencephalography (EEG), electrocorticography (ECoG), magnetoencephalography (MEG), and functional MRI. Neural connectivity data contains multivariate attributes for each edge between different brain regions, which motivated our lightweight, open source, easy-to-use visualization tool for the exploration of these connectivity matrices to highlight connections of interest. Here we present a client-side, mobile-compatible visualization tool written entirely in HTML5/JavaScript that allows in-browser manipulation of user-defined files for exploration of brain connectivity. Visualizations can highlight different aspects of the data simultaneously across different dimensions. Input files are in JSON format, and custom Python scripts have been written to parse MATLAB or Python data files into JSON-loadable format. We demonstrate the analysis of connectivity data acquired via human ECoG recordings as a domain-specific implementation of our application. We envision applications for this interactive tool in fields seeking to visualize pairwise connectivity.


title: Edge states in non-Fermi liquids

abstract: We devise an approach to the calculation of scaling dimensions of generic operators describing scattering within multi-channel Luttinger liquid. The local impurity scattering in an arbitrary configuration of conducting and insulating channels is investigated and the problem is reduced to a single algebraic matrix equation. In particular, the solution to this equation is found for a finite array of chains described by Luttinger liquid models. It is found that for a weak inter-chain hybridisation and intra-channel electron-electron attraction the edge wires are robust against disorder whereas bulk wires, on contrary, become insulating. Thus, the edge state may exist in a finite sliding Luttinger liquid without time-reversal symmetry breaking (quantum Hall systems) or spin-orbit interaction (topological insulators).


title: General Semiparametric Shared Frailty Model Estimation and Simulation with frailtySurv

abstract: The R package frailtySurv for simulating and fitting semi-parametric shared frailty models is introduced. Package frailtySurv implements semi-parametric consistent estimators for a variety of frailty distributions, including gamma, log-normal, inverse Gaussian and power variance function, and provides consistent estimators of the standard errors of the parameters' estimators. The parameters' estimators are asymptotically normally distributed, and therefore statistical inference based on the results of this package, such as hypothesis testing and confidence intervals, can be performed using the normal distribution. Extensive simulations demonstrate the flexibility and correct implementation of the estimator. Two case studies performed with publicly available datasets demonstrate applicability of the package. In the Diabetic Retinopathy Study, the onset of blindness is clustered by patient, and in a large hard drive failure dataset, failure times are thought to be clustered by the hard drive manufacturer and model.


title: A Discriminative Event Based Model for Alzheimer's Disease Progression Modeling

abstract: The event-based model (EBM) for data-driven disease progression modeling estimates the sequence in which biomarkers for a disease become abnormal. This helps in understanding the dynamics of disease progression and facilitates early diagnosis by staging patients on a disease progression timeline. Existing EBM methods are all generative in nature. In this work we propose a novel discriminative approach to EBM, which is shown to be more accurate as well as computationally more efficient than existing state-of-the art EBM methods. The method first estimates for each subject an approximate ordering of events, by ranking the posterior probabilities of individual biomarkers being abnormal. Subsequently, the central ordering over all subjects is estimated by fitting a generalized Mallows model to these approximate subject-specific orderings based on a novel probabilistic Kendall's Tau distance. To evaluate the accuracy, we performed extensive experiments on synthetic data simulating the progression of Alzheimer's disease. Subsequently, the method was applied to the Alzheimer's Disease Neuroimaging Initiative (ADNI) data to estimate the central event ordering in the dataset. The experiments benchmark the accuracy of the new model under various conditions and compare it with existing state-of-the-art EBM methods. The results indicate that discriminative EBM could be a simple and elegant approach to disease progression modeling.


title: Ring-shaped potential and a class of relevant integrals involved universal associated Legendre polynomials with complicated arguments

abstract: We find that the solution of the polar angular differential equation can be written as the universal associated Legendre polynomials. Its generating function is applied to obtain an analytical result for a class of interesting integrals involving complicated argument. The present method can in principle be generalizable to the integrals involving other special functions. As an illustration we also study a typical Bessel integral with a complicated argument.


title: Optical parallel computation similar to quantum computation based on optical fields modulated with pseudorandom phase sequences

abstract: We propose an optical parallel computation similar to quantum computation that can be realized by introducing pseudorandom phase sequences into classical optical fields with two orthogonal modes. Based on the pseudorandom phase sequences, we first propose a theoretical framework of "phase ensemble model" referring from the concept of quantum ensemble. Using the ensemble model, we further demonstrate the inseparability of the fields similar to quantum entanglement. It is interesting that a N2^N dimensional Hilbert space spanned by N optical fields is larger than that spanned by N quantum particles. This leads a problem for our scheme that is not the lack of resources but the redundancy of resources. In order to reduce the redundancy, we propose a special sequence permutation mechanism to efficiently imitate certain quantum states, including the product state, Bell states, GHZ state and W state. For better fault tolerance, we further devise each orthogonal mode of optical fields is measured to assign discrete values. Finally, we propose a generalized gate array model to imitate some quantum algorithms, such as Shor's algorithm, Grover's algorithm and quantum Fourier algorithm. The research on the optical parallel computation might be important, for it not only has the potential beyond quantum computation, but also provides useful insights into fundamental concepts of quantum mechanics.


title: On the first crossing distributions in fractional Brownian motion and the mass function of dark matter haloes

abstract: We construct an integral equation for the first crossing distributions for fractional Brownian motion in the case of a constant barrier and we present an exact analytical solution. Additionally we present first crossing distributions derived by simulating paths from fractional Brownian motion. We compare the results of the analytical solutions with both those of simulations and those of some approximated solutions which have been used in the literature. Finally, we present multiplicity functions for dark matter structures resulting from our analytical approach and we compare with those resulting from N-body simulations. We show that the results of analytical solutions are in good agreement with those of path simulations but differ significantly from those derived from approximated solutions. Additionally, multiplicity functions derived from fractional Brownian motion are poor fits of the those which result from N-body simulations. We also present comparisons with other models which exist in the literature and we discuss different ways of improving the agreement between analytical results and N-body simulations.


title: Bolometric arrays and infrared sensitivity of VO2 films with varying stoichiometry

abstract: Here we propose a linear microbolometric array based on VOx thin films. The linear microbolometric array is fabricated by using micromachining technology, and its thermo-sensitive VOx thin film has excellent infrared response spectrum and TCR characteristics. Nano-scale VOx thin films deposited on SiO2/Si substrates were obtained by e-beam vapor deposition. The VOx films were then annealed at temperatures between 300 to 500 C with various deposition duration time. The crystal structures and microstructures were examined by XRD, SEM and ESCA. These films showed a predominant phase of rhombohedral VO2 and the crystallinity of the VO2 increased as the annealing temperature increased. Integrated with CMOS circuit, an experimentally prototypical monolithic linear microbolometric array is designed and fabricated. The testing results of the experimental linear array show that the responsivity of linear array can approach 18KV/W and is potential for infrared image systems.


title: Diophantine approximation by special primes

abstract: We show that whenever $\delta>0$, $\eta$ is real and constants $\lambda_i$ satisfy some necessary conditions, there are infinitely many prime triples $p_1,\, p_2,\, p_3$ satisfying the inequality $|\lambda_1p_1 + \lambda_2p_2 + \lambda_3p_3+\eta|<(\max p_j)^{-1/12+\delta}$ and such that, for each $i\in\{1,2,3\}$, $p_i+2$ has at most $28$ prime factors.


title: A characterization of the canonical extension of Boolean homomorphisms

abstract: This article aims to obtain a characterization of the canonical extension of Boolean homomorphisms through the Stone-\v{C}ech compactification. Then, we will show that one-to-one homomorphisms and onto homomorphisms extend to one-to-one homomorphisms and onto homomorphisms, respectively.


title: A new two-component model for hadron production in heavy-ion collisions

abstract: Using the experimental data from the ALICE program on the centrality dependence of the transverse momentum ($p_T$) spectra in Pb+Pb collisions at $\sqrt{s_{NN}}=2.76$ TeV, we show that the double-Tsallis distribution and the generalized Fokker-Plank (FP) solution can not describe the spectra of pions, kaons and protons from central to peripheral collisions in the entire $p_T$ region, simultaneously. Hence, a new two-component distribution, which is a hydrodynamic extension of the generalized FP solution accounting for the collective motion effect in heavy-ion collisions, is proposed in order to reproduce all the particle spectra. Our results suggest that the particle production dynamics may be different for different particles, especially at very low $p_T$ region.


title: Hyperbolic graphs: critical regularity and box dimension

abstract: We study fractal properties of invariant graphs of hyperbolic and partially hyperbolic skew product diffeomorphisms in dimension three. We describe the critical (either Lipschitz or at all scales H\"older continuous) regularity of such graphs. We provide a formula for their box dimension given in terms of appropriate pressure functions. We distinguish three scenarios according to the base dynamics: Anosov, one-dimensional attractor, or Cantor set. A key ingredient for the dimension arguments in the latter case will be the presence of a so-called fibered blender.


title: Unification with Vector-like fermions and signals at LHC

abstract: We look for minimal extensions of Standard Model with vector like fermions leading to precision unification of gauge couplings. Constraints from proton decay, Higgs stability and perturbativity are considered. The simplest models contain several copies of vector fermions in two different (incomplete) representations. Some of these models encompass Type III seesaw mechanism for neutrino masses whereas some others have a dark matter candidate. In all the models, at least one of the candidates has non-trivial representation under $SU(3)_{color}$. In the limit of vanishing Yukawa couplings, new QCD bound states are formed, which can be probed at LHC. The present limits based on results from 13 TeV already probe these particles for masses around a TeV. Similar models can be constructed with three or four vector representations, examples of which are presented.


title: Edge states reconstruction from strong correlations in quantum spin Hall insulators

abstract: We study quantum spin Hall insulators with local Coulomb interactions in the presence of boundaries using dynamical mean field theory. We investigate the different influence of the Coulomb interaction on the bulk and the edge states. Interestingly, we discover an edge reconstruction driven by electronic correlations. The reason is that the helical edge states experience Mott localization for an interaction strength smaller than the bulk one. We argue that the significance of this edge reconstruction can be understood by topological properties of the system characterized by a local Chern marker.


title: Addition Theorems in Fp via the Polynomial Method

abstract: In this article, we use the Combinatorial Nullstellensatz to give new proofs of the Cauchy-Davenport, the Dias da Silva-Hamidoune and to generalize a previous addition theorem of the author. Precisely, this last result proves that for a set A $\subset$ Fp such that A $\cap$ (--A) = $\emptyset$ the cardinality of the set of subsums of at least $\alpha$ pairwise distinct elements of A is: |$\Sigma$$\alpha$(A)| $\ge$ min (p, |A|(|A| + 1)/2 -- $\alpha$($\alpha$ + 1)/2 + 1) , the only cases previously known were $\alpha$ $\in$ {0, 1}. The Combinatorial Nullstellensatz is used, for the first time, in a direct and in a reverse way. The direct (and usual) way states that if some coefficient of a polynomial is non zero then there is a solution or a contradiction. The reverse way relies on the coefficient formula (equivalent to the Combinatorial Nullstellensatz). This formula gives an expression for the coefficient as a sum over any cartesian product. For these three addition theorems, some arithmetical progressions (that reach the bounds) will allow to consider cartesian products such that the coefficient formula is a sum all of whose terms are zero but exactly one. Thus we can conclude the proofs without computing the appropriate coefficients.


title: A closed formula for the generating function of p-Bernoulli numbers

abstract: In this paper, using geometric polynomials, we obtain a generating function of p-Bernoulli numbers. As a consequences this generating function, we derive closed formulas for the finite summation of Bernoulli and harmonic numbers involving Stirling numbers of the second kind.


title: Dynamic k-Struve Sumudu Solutions for Fractional Kinetic Equations

abstract: In this present study, we investigate solutions for fractional kinetic equations, involving k-Struve functions using Sumudu transform. The methodology and results can be considered and applied to various related fractional problems in mathematical physics.


title: New results on p-Bernoulli numbers

abstract: We realize that geometric polynomials and p-Bernoulli polynomials and numbers are closely related with an integral representation. Therefore, using geometric polynomials, we extend some properties of Bernoulli polynomials and numbers such as recurrence relations, telescopic formula and Raabe's formula to p-Bernoulli polynomials and numbers. In particular cases of these results, we establish some new results for Bernoulli polynomials and numbers. Moreover, we evaluate a Faulhaber-type summation in terms of p-Bernoulli polynomials.


title: Occupancy Counting with Burst and Intermittent Signals in Smart Buildings

abstract: Zone-level occupancy counting is a critical technology for smart buildings and can be used for several applications such as building energy management, surveillance, and public safety. Existing occupancy counting techniques typically require installation of large number of occupancy monitoring sensors inside a building as well as an established network. In this study, in order to achieve occupancy counting, we consider the use of WiFi probe requests that are continuously transmitted from WiFi enabled smart devices. To this end, WiFi Pineapple equipment are used for passively capturing ambient probe requests from WiFi devices such as smart phones and tablets, where no connectivity to a WiFi network is required. This information is then used to localize users within coarsely defined occupancy zones, and subsequently to obtain occupancy count within each zone at different time scales. An interacting multi-model Kalman filter technique is developed to improve occupancy counting accuracy. Our numerical results using WiFi data collected at a university building show that utilization of WiFi probe requests can be considered a viable solution tool for zone-level occupancy counting in smart buildings.


title: Impurity scattering on the surface of topological insulator thin films

abstract: We address the electronic structure of the surface states of topological insulator thin films with embedded local non-magnetic and magnetic impurities. Using the $T$-matrix expansion of the real space Green's function, we derive the local density of electrons states and corresponding spin resolved densities. We show that the effects of the impurities can be tuned by applying an electric field between the surface layers. The emerging magnetic states are expected to play an important role both in ferromagnetic mechanism of magnetic topological insulators as well as in its transport properties. In the case of magnetic impurities, we have categorized the possible cases for different spin-directions of the impurities as well as the spin-direction in which the spin resolved density of electron states is calculated and related this to the spin susceptibility of the system.


title: Magnetic cooling for microkelvin nanoelectronics on a cryofree platform

abstract: We present a parallel network of 16 demagnetization refrigerators mounted on a cryofree dilution refrigerator aimed to cool nanoelectronic devices to sub-millikelvin temperatures. To measure the refrigerator temperature, the thermal motion of electrons in a Ag wire -- thermalized by a spot-weld to one of the Cu nuclear refrigerators -- is inductively picked-up by a superconducting gradiometer and amplified by a SQUID mounted at 4 K. The noise thermometer as well as other thermometers are used to characterize the performance of the system, finding magnetic field independent heat-leaks of a few nW/mol, cold times of several days below 1 mK, and a lowest temperature of 150 microK of one of the nuclear stages in a final field of 80 mT, close to the intrinsic SQUID noise of about 100 microK. A simple thermal model of the system capturing the nuclear refrigerator, heat leaks, as well as thermal and Korringa links describes the main features very well, including rather high refrigerator efficiencies typically above 80%.


title: Chiral magnetic effect in the presence of electroweak interactions as a quasiclassical phenomenon

abstract: We elaborate the quasiclassical approach to obtain the modified chiral magnetic effect in the case when massless charged fermions interact with electromagnetic fields and the background matter by the electroweak forces. The derivation of the anomalous current along the external magnetic field involves the study of the energy density evolution of chiral particles in parallel electric and magnetic fields. We consider both the particle acceleration by the external electric field and the contribution of the Adler anomaly. The condition of the validity of this method for the derivation of the chiral magnetic effect is formulated. We obtain the expression for the electric current along the external magnetic field, which appears to coincide with our previous results based on the purely quantum approach. Our results are compared with findings of other authors.


title: Growth Rates of Solutions of Superlinear Ordinary Differential Equations

abstract: In this letter we obtain sharp estimates on the growth rate of solutions to a nonlinear ODE with a nonautonomous forcing term. The equation is superlinear in the state variable and hence solutions exhibit rapid growth and finite-time blow-up. The importance of ODEs of the type considered here stems from the key role they play in understanding the asymptotic behaviour of more complex systems involving delay and randomness.


title: On the Generalized Quotient Integrals on Homogenous Spaces

abstract: A generalization of the quotient integral formula is presented and some of its properties are investigated. Also the relations between two function spaces related to the spacial homogeneous spaces are derived by using general quotient integral formula. Finally our results are supported by some examples.


title: Stochastic Composite Least-Squares Regression with convergence rate O(1/n)

abstract: We consider the minimization of composite objective functions composed of the expectation of quadratic functions and an arbitrary convex function. We study the stochastic dual averaging algorithm with a constant step-size, showing that it leads to a convergence rate of O(1/n) without strong convexity assumptions. This thus extends earlier results on least-squares regression with the Euclidean geometry to (a) all convex regularizers and constraints, and (b) all geome-tries represented by a Bregman divergence. This is achieved by a new proof technique that relates stochastic and deterministic recursions.


title: Matrix Model of QCD: Edge Localized Glue Balls and Phase Transitions

abstract: In a matrix model of pure $SU(2)$ Yang-Mills theory, boundaries emerge in the space of $\textrm{Mat}_{3}(\mathbb{R})$ and the Hamiltonian requires boundary conditions. We show the existence of edge localized glueball states which can have negative energies. These edge levels can be lifted to positive energies if the gluons acquire a London-like mass. This suggests a new phase of QCD with an incompressible bulk.


title: Quantum groups and Nichols algebras acting on conformal field theories

abstract: We prove that certain screening operators in conformal field theory obey the algebra relations of a corresponding Nichols algebra with diagonal braiding. Our result proves in particular a long-standing expectation that the Borel parts of small quantum groups appear as the algebra of screening operators. The proof is based on a novel, intimate relation between Hopf algebras, vertex algebras and a class of multivalued analytic special functions, which are generalizations of Selberg integrals. We prove that the zeroes of these special functions correspond to the algebra relations of the respective Nichols algebra, by proving an analytical quantum symmetrizer formula for the functions. Moreover, certain poles of the functions encode module extensions and a Weyl group action. At other poles, the quantum {symmetrizer} formula fails and the screening operators generate an extension of the Nichols algebra. The intended application of our result is the conjectural logarithmic Kazhdan-Lusztig correspondence. More generally, our result seems to suggest that non-local screening operators in an arbitrary vertex algebra should be described by appropriate Nichols algebras, just as local screening operators can be described by Lie algebras.


title: The Radon Transform on Function Spaces Related to Homogenous Spaces

abstract: We are going to study some conditions on which the Radon transform and its dual are invertible. Two function spaces are introduced that the Radon transform on which is bijective linear operator. In this regards, a reconstruction formula is constructed. Finally the results are supported by an example.


title: Universal ultra-robust interrogation protocol with zero probe-field-induced frequency shift for quantum clocks and high-accuracy spectroscopy

abstract: Optical clock interrogation protocols, based on laser-pulse spectroscopy, are suffering from probe-induced frequency shifts and their variations induced by laser power. Original Hyper-Ramsey probing scheme, which was proposed to alleviate those issues, does not fully eliminate the shift, especially when decoherence and relaxation by spontaneous emission or collisions are present. We propose to solve the fundamental problem of frequency shifts induced by laser probe by deriving the exact canonical form of a multi-pulse generalized Hyper-Ramsey (GHR) resonance, including decoherence and relaxation. We present a universal interrogation protocol based on composite laser-pulses spectroscopy with phase-modulation eliminating probe-induced frequency shifts at all orders in presence of various dissipative processes. Unlike frequency shifts extrapolation-based methods, a universal interrogation protocol based on $\pm\pi/4$ and $\pm3\pi/4$ phase-modulated resonances is proposed which does not compromise the stability of the optical clock while maintaining an ultra-robust error signal gradient in presence of substantial uncompensated ac Stark-shifts. Such a scheme can be implemented in two flavours: either by inverting clock state initialization or by pulse order reversal even without a perfect quantum state initialization. This universal interrogation protocol can be applied to atomic, molecular and nuclear frequency metrology, mass spectrometry and to the field of precision spectroscopy. It might be designed using magic-wave induced transitions, two-photon excitation and magnetically-induced spectroscopy or it might even be implemented with quantum logic gate circuit and qubit entanglement.


title: The Korteweg-de Vries equation on a metric star graph

abstract: We prove local well-posedness for the Cauchy problem associated to Korteweg-de Vries equation on a metric star graph with three semi-infinite edges given by one negative half-line and two positives half-lines attached to a common vertex, for two classes of boundary conditions. The results are obtained in the low regularity setting by using the Duhamel Boundary Forcing Operator, in context of half-lines, introduced by Colliander, Kenig (2002),and extended by Holmer (2006) and Cavalcante (2017).


title: Phase Transitions of Spectral Initialization for High-Dimensional Nonconvex Estimation

abstract: We study a spectral initialization method that serves a key role in recent work on estimating signals in nonconvex settings. Previous analysis of this method focuses on the phase retrieval problem and provides only performance bounds. In this paper, we consider arbitrary generalized linear sensing models and present a precise asymptotic characterization of the performance of the method in the high-dimensional limit. Our analysis also reveals a phase transition phenomenon that depends on the ratio between the number of samples and the signal dimension. When the ratio is below a minimum threshold, the estimates given by the spectral method are no better than random guesses drawn from a uniform distribution on the hypersphere, thus carrying no information; above a maximum threshold, the estimates become increasingly aligned with the target signal. The computational complexity of the method, as measured by the spectral gap, is also markedly different in the two phases. Worked examples and numerical results are provided to illustrate and verify the analytical predictions. In particular, simulations show that our asymptotic formulas provide accurate predictions for the actual performance of the spectral method even at moderate signal dimensions.


title: Contract-Theoretic Resource Allocation for Critical Infrastructure Protection

abstract: Critical infrastructure protection (CIP) is envisioned to be one of the most challenging security problems in the coming decade. One key challenge in CIP is the ability to allocate resources, either personnel or cyber, to critical infrastructures with different vulnerability and criticality levels. In this work, a contract-theoretic approach is proposed to solve the problem of resource allocation in critical infrastructure with asymmetric information. A control center (CC) is used to design contracts and offer them to infrastructures' owners. A contract can be seen as an agreement between the CC and infrastructures using which the CC allocates resources and gets rewards in return. Contracts are designed in a way to maximize the CC's benefit and motivate each infrastructure to accept a contract and obtain proper resources for its protection. Infrastructures are defined by both vulnerability levels and criticality levels which are unknown to the CC. Therefore, each infrastructure can claim that it is the most vulnerable or critical to gain more resources. A novel mechanism is developed to handle such an asymmetric information while providing the optimal contract that motivates each infrastructure to reveal its actual type. The necessary and sufficient conditions for such resource allocation contracts under asymmetric information are derived. Simulation results show that the proposed contract-theoretic approach maximizes the CC's utility while ensuring that no infrastructure has an incentive to ask for another contract, despite the lack of exact information at the CC.


title: Flux tubes in the QCD vacuum

abstract: The hypothesis that the QCD vacuum can be modeled as a dual superconductor is a powerful tool to describe the distribution of the color field generated by a quark-antiquark static pair and, as such, can provide useful clues for the understanding of confinement. In this work we investigate, by lattice Monte Carlo simulations of the $SU(3)$ pure gauge theory and of (2+1)-flavor QCD with physical mass settings, some properties of the chromoelectric flux tube at zero temperature and their dependence on the physical distance between the static sources. We draw some conclusions about the validity domain of the dual superconductor picture.


title: The meet operation in the imbalance lattice of maximal instantaneous codes: alternative proof of existence

abstract: An alternative proof is given of the existence of greatest lower bounds in the imbalance order of binary maximal instantaneous codes of a given size. These codes are viewed as maximal antichains of a given size in the infinite binary tree of 0-1 words. The proof proposed makes use of a single balancing operation instead of expansion and contraction as in the original proof of the existence of glb.


title: Admissibility in Concurrent Games

abstract: In this paper, we study the notion of admissibility for randomised strategies in concurrent games. Intuitively, an admissible strategy is one where the player plays `as well as possible', because there is no other strategy that dominates it, i.e., that wins (almost surely) against a super set of adversarial strategies. We prove that admissible strategies always exist in concurrent games, and we characterise them precisely. Then, when the objectives of the players are omega-regular, we show how to perform assume-admissible synthesis, i.e., how to compute admissible strategies that win (almost surely) under the hypothesis that the other players play admissible


title: Amplitude, phase, and complex analyticity

abstract: Expressing the Schroedinger Lagrangian ${\cal L}$ in terms of the quantum wavefunction $\psi=\exp(S+{\rm i}I)$ yields the conserved Noether current ${\bf J}=\exp(2S)\nabla I$. When $\psi$ is a stationary state, the divergence of ${\bf J}$ vanishes. One can exchange $S$ with $I$ to obtain a new Lagrangian $\tilde{\cal L}$ and a new Noether current $\tilde{\bf J}=\exp(2I)\nabla S$, conserved under the equations of motion of $\tilde{\cal L}$. However this new current $\tilde{\bf J}$ is generally not conserved under the equations of motion of the original Lagrangian ${\cal L}$. We analyse the role played by $\tilde{\bf J}$ in the case when classical configuration space is a complex manifold, and relate its nonvanishing divergence to the inexistence of complex-analytic wavefunctions in the quantum theory described by ${\cal L}$.


title: Comprehensive Data Set for Automatic Single Camera Visual Speed Measurement

abstract: In this paper, we focus on traffic camera calibration and a visual speed measurement from a single monocular camera, which is an important task of visual traffic surveillance. Existing methods addressing this problem are difficult to compare due to a lack of a common data set with reliable ground truth. Therefore, it is not clear how the methods compare in various aspects and what factors are affecting their performance. We captured a new data set of 18 full-HD videos, each around 1 hr long, captured at six different locations. Vehicles in the videos (20865 instances in total) are annotated with the precise speed measurements from optical gates using LiDAR and verified with several reference GPS tracks. We made the data set available for download and it contains the videos and metadata (calibration, lengths of features in image, annotations, and so on) for future comparison and evaluation. Camera calibration is the most crucial part of the speed measurement; therefore, we provide a brief overview of the methods and analyze a recently published method for fully automatic camera calibration and vehicle speed measurement and report the results on this data set in detail.


title: The $\mathcal{N}=3$ Weyl Multiplet in Four Dimensions

abstract: The main ingredient for local superconformal methods is the multiplet of gauge fields: the Weyl multiplet. We construct the transformations of this multiplet for $\mathcal{N}=3$, $D = 4$. The construction is based on a supersymmetry truncation from the $\mathcal{N}=4$ Weyl multiplet, on coupling with a current multiplet, and on the implementation of a soft algebra at the nonlinear level, extending su$(2, 2|3)$. This is the first step towards a superconformal calculus for $\mathcal{N}=3$, $D = 4$.


title: Phaseless Sampling and Reconstruction of Real-Valued Signals in Shift-Invariant Spaces

abstract: Sampling in shift-invariant spaces is a realistic model for signals with smooth spectrum. In this paper, we consider phaseless sampling and reconstruction of real-valued signals in a shift-invariant space from their magnitude measurements on the whole Euclidean space and from their phaseless samples taken on a discrete set with finite sampling density. We introduce an undirected graph to a signal and use connectivity of the graph to characterize whether the signal can be determined, up to a sign, from its magnitude measurements on the whole Euclidean space. Under the local complement property assumption on a shift-invariant space, we find a discrete set with finite sampling density such that signals in the shift-invariant space, that are determined from their magnitude measurements on the whole Euclidean space, can be reconstructed in a stable way from their phaseless samples taken on that discrete set. In this paper, we also propose a reconstruction algorithm which provides a suboptimal approximation to the original signal when its noisy phaseless samples are available only. Finally, numerical simulations are performed to demonstrate the robust reconstruction of box spline signals from their noisy phaseless samples.


title: Almost-sure asymptotic for the number of heaps inside a random sequence

abstract: We study the minimum number of heaps required to sort a random sequence using a generalization of Istrate and Bonchis's algorithm (2015). In a previous paper, the authors proved that the expected number of heaps grows logarithmically. In this note, we improve on the previous result by establishing the almost-sure and L 1 convergence.


title: Interplay Between Transmission Delay, Average Data Rate, and Performance in Output Feedback Control over Digital Communication Channels

abstract: The performance of a noisy linear time-invariant (LTI) plant, controlled over a noiseless digital channel with transmission delay, is investigated in this paper. The rate-limited channel connects the single measurement output of the plant to its single control input through a causal, but otherwise arbitrary, coder-controller pair. An infomation-theoretic approach is utilized to analyze the minimal average data rate required to attain the quadratic performance when the channel imposes a known constant delay on the transmitted data. This infimum average data rate is shown to be lower bounded by minimizing the directed information rate across a set of LTI filters and an additive white Gaussian noise (AWGN) channel. It is demonstrated that the presence of time delay in the channel increases the data rate needed to achieve a certain level of performance. The applicability of the results is verified through a numerical example. In particular, we show by simulations that when the optimal filters are used but the AWGN channel (used in the lower bound) is replaced by a simple scalar uniform quantizer, the resulting operational data rates are at most around 0.3 bits above the lower bounds.


title: Several Classes of Permutation Trinomials over $\mathbb F_{5^n}$ From Niho Exponents

abstract: The construction of permutation trinomials over finite fields attracts people's interest recently due to their simple form and some additional properties. Motivated by some results on the construction of permutation trinomials with Niho exponents, by constructing some new fractional polynomials that permute the set of the $(q+1)$-th roots of unity in $\mathbb F_{q^2}$, we present several classes of permutation trinomials with Niho exponents over $\mathbb F_{q^2}$, where $q=5^k$.


title: Fields of definition for representations of associative algebras

abstract: We examine situations, where representations of a finite-dimensional $F$-algebra $A$ defined over a separable extension field $K/F$, have a unique minimal field of definition. Here the base field $F$ is assumed to be a $C_1$-field. In particular, $F$ could be a finite field or $k(t)$ or $k((t))$,where $k$ is algebraically closed. We show that a unique minimal field of definition exists if (a) $K/F$ is an algebraic extension or (b) $A$ is of finite representation type. Moreover, in these situations the minimal field of definition is a finite extension of $F$. This is not the case if $A$ is of infinite representation type or $F$ fails to be $C_1$. As a consequence, we compute the essential dimension of the functor of representations of a finite group, generalizing a theorem of N. Karpenko, J. Pevtsova and the second author.


title: On optimal Scott sentences of finitely generated algebraic structures

abstract: Scott showed that for every countable structure $\mathcal{A}$, there is a sentence of the infinitary logic $\mathcal{L}_{\omega_1\omega}$, called a Scott sentence for $\mathcal{A}$, whose models are exactly the isomorphic copies of $\mathcal{A}$. Thus, the least quantifier complexity of a Scott sentence of a structure is an invariant that measures the complexity "describing" the structure. Knight et al.~have studied the Scott sentences of many structures. In particular, Knight and Saraph showed that a finitely generated structure always has a $\Sigma^0_3$ Scott sentence. We give a characterization of the finitely generated structures for whom the $\Sigma^0_3$ Scott sentence is optimal. One application of this result is to give a construction of a finitely generated group where the $\Sigma^0_3$ Scott sentence is optimal.


title: POVMs are equivalent to projections for perfect state exclusion of three pure states in three dimensions

abstract: Performing perfect/conclusive quantum state exclusion means to be able to discard with certainty at least one out of n possible quantum state preparations by performing a measurement of the resulting state. This task of state exclusion has recently been studied at length in arXiv:1306.4683v3, and it is at the heart of the celebrated PBR thought experiment (arXiv:1111.3328v3). When all the preparations correspond to pure states and there are no more of them than their common dimension, it is an open problem whether POVMs give any additional power for this task with respect to projective measurements. This is the case even for the simple case of three states in three dimensions, which is mentioned in arXiv:quant-ph/0206110 as unsuccessfully tackled. In this paper, we give an analytical proof that in this case considering POVMs does indeed not give any additional power with respect to projective measurements. To do so, we first make without loss of generality some assumptions about the structure of an optimal POVM. The justification of these assumptions involves arguments based on convexity, rank and symmetry properties. We show then that any pure states perfectly excluded by such a POVM meet the conditions identified in arXiv:quant-ph/0206110 for perfect exclusion by a projective measurement of three pure states in three dimensions. We also discuss possible generalizations of our work, including an application of Quadratically Constrained Quadratic Programming that might be of special interest.


title: Rapid multiphase-field model development using a modular free energy based approach with automatic differentiation in MOOSE/MARMOT

abstract: We present a novel phase-field model development capability in the open source MOOSE finite element framework. This facility is based on the 'modular free energy' approach in which the phase-field equations are implemented in a general form that is logically separated from model-specific data such as the thermodynamic free energy density and mobility functions. Free energy terms contributing to a phase-field model are abstracted into self-contained objects that can be dynamically combined at simulation run time. Combining multiple chemical and mechanical free energy contributions expedites the construction of coupled phase-field, mechanics, and multiphase models. This approach allows computational material scientists to focus on implementing new material models, and to reuse existing solution algorithms and data processing routines. A key new aspect of the rapid phase-field development approach that we discuss in detail is the automatic symbolic differentiation capability. Automatic symbolic differentiation is used to compute derivatives of the free energy density functionals, and removes potential sources of human error while guaranteeing that the nonlinear system Jacobians are accurately approximated. Through just-in-time compilation, we greatly reduce the computational expense of evaluating the differentiated expressions. The new capability is demonstrated for a variety of representative applications.


title: Traffic Surveillance Camera Calibration by 3D Model Bounding Box Alignment for Accurate Vehicle Speed Measurement

abstract: In this paper, we focus on fully automatic traffic surveillance camera calibration, which we use for speed measurement of passing vehicles. We improve over a recent state-of-the-art camera calibration method for traffic surveillance based on two detected vanishing points. More importantly, we propose a novel automatic scene scale inference method. The method is based on matching bounding boxes of rendered 3D models of vehicles with detected bounding boxes in the image. The proposed method can be used from arbitrary viewpoints, since it has no constraints on camera placement. We evaluate our method on the recent comprehensive dataset for speed measurement BrnoCompSpeed. Experiments show that our automatic camera calibration method by detection of two vanishing points reduces error by 50% (mean distance ratio error reduced from 0.18 to 0.09) compared to the previous state-of-the-art method. We also show that our scene scale inference method is more precise, outperforming both state-of-the-art automatic calibration method for speed measurement (error reduction by 86% -- 7.98km/h to 1.10km/h) and manual calibration (error reduction by 19% -- 1.35km/h to 1.10km/h). We also present qualitative results of the proposed automatic camera calibration method on video sequences obtained from real surveillance cameras in various places, and under different lighting conditions (night, dawn, day).


title: Large mass hierarchies from strongly-coupled dynamics

abstract: Motivated by the absence of signals of new physics at the LHC, which seems to imply the presence of large mass hierarchies, we investigate the theoretical possibility that these could arise dynamically in new strongly-coupled gauge theories extending the standard model of particle physics. To this purpose, we study lattice data on non-Abelian gauge theories in the (near-)conformal regime---specifically, $\mathrm{SU}(2)$ with $N_{\mathrm{f}}=1$ and $2$ dynamical fermion flavours in the adjoint representation. We focus our attention on the ratio $R$ between the masses of the lightest spin-2 and spin-0 resonances, and draw comparisons with a simple toy model in the context of gauge/gravity dualities. For models in which large anomalous dimensions arise dynamically, we show indications that this mass ratio can be large, with $R > 5$. Moreover, our results suggest that $R$ might be related to universal properties of the IR fixed point. Our findings provide an interesting step towards understanding large mass ratios in the non-perturbative regime of quantum field theories with (near) IR conformal behaviour.


title: On the number of solutions of some transcendental equations

abstract: We give upper and lower bounds for the number of solutions of the equation $p(z)\log|z|+q(z)=0$ with polynomials $p$ and $q$.


title: Compact Modeling of MOSFET I-V Characteristics and Simulation of Dose-Dependent Drain Currents

abstract: We have presented a compact MOSFET model, which allows us to describe the I-V characteristics of irradiated long-channel and short-channel transistors in all operation modes at different measurement temperatures and interface trap densities. The model allows simulating of the off-state and the on-state drain currents of irradiated MOSFETs based on an equal footing. Particularly, a novel compact model of the rebound effect in n-MOSFETs was employed for simulation of the total dose dependencies of drain currents in the highly scaled 60 nm node circuits irradiated up to 1Grad. Compatibility of the model parameter set with BSIM and a single closed form of the model equation imply the possibility of its easy implementation into the standard CAD tools.


title: 3-Dimensional Optical Orthogonal Codes with Ideal Autocorrelation-Bounds and Optimal Constructions

abstract: Several new constructions of 3-dimensional optical orthogonal codes are presented here. In each case the codes have ideal autocorrelation $\mathbf{ \lambda_a=0} $, and in all but one case a cross correlation of $ \mathbf{\lambda_c=1} $. All codes produced are optimal with respect to the applicable Johnson bound either presented or developed here. Thus, on one hand the codes are as large as possible, and on the other, the bound(s) are shown to be tight. All codes are constructed by using a particular automorphism (a Singer cycle) of $ \mathbf{ PG(k,q)} $, the finite projective geometry of dimension $ k $ over the field of order $ \mathbf{q} $, or by using an affine analogue in $ AG(k,q) $.


title: Online Representation Learning with Single and Multi-layer Hebbian Networks for Image Classification

abstract: Unsupervised learning permits the development of algorithms that are able to adapt to a variety of different data sets using the same underlying rules thanks to the autonomous discovery of discriminating features during training. Recently, a new class of Hebbian-like and local unsupervised learning rules for neural networks have been developed that minimise a similarity matching cost-function. These have been shown to perform sparse representation learning. This study tests the effectiveness of one such learning rule for learning features from images. The rule implemented is derived from a nonnegative classical multidimensional scaling cost-function, and is applied to both single and multi-layer architectures. The features learned by the algorithm are then used as input to an SVM to test their effectiveness in classification on the established CIFAR-10 image dataset. The algorithm performs well in comparison to other unsupervised learning algorithms and multi-layer networks, thus suggesting its validity in the design of a new class of compact, online learning networks.


title: A Unified Optimization View on Generalized Matching Pursuit and Frank-Wolfe

abstract: Two of the most fundamental prototypes of greedy optimization are the matching pursuit and Frank-Wolfe algorithms. In this paper, we take a unified view on both classes of methods, leading to the first explicit convergence rates of matching pursuit methods in an optimization sense, for general sets of atoms. We derive sublinear ($1/t$) convergence for both classes on general smooth objectives, and linear convergence on strongly convex objectives, as well as a clear correspondence of algorithm variants. Our presented algorithms and rates are affine invariant, and do not need any incoherence or sparsity assumptions.


title: Personality Traits and Ego-network Dynamics

abstract: Strong and supportive social relationships are fundamental to our well-being. However, there are costs to their maintenance, resulting in a trade-off between quality and quantity, a typical strategy being to put a lot of effort on a few high-intensity relationships while maintaining larger numbers of less close relationships. It has also been shown that there are persistent individual differences in this pattern; some individuals allocate their efforts more uniformly across their networks, while others strongly focus on their closest relationships. Furthermore, some individuals maintain more stable networks than others. Here, we focus on how personality traits of individuals affect this picture, using mobile phone calls records and survey data from the Mobile Territorial Lab (MTL) study. In particular, we look at the relationship between personality traits and the (i) persistence of social signatures, namely the similarity of the social signature shape of an individual measured in different time intervals; (ii) the turnover in egocentric networks, that is, differences in the set of alters present at two consecutive temporal intervals; and (iii) the rank dynamics defined as the variation of alter rankings in egocentric networks in consecutive intervals. We observe that some traits have effects on the stability of the social signatures as well as network turnover and rank dynamics. As an example, individuals who score highly in the Openness to Experience trait tend to have higher levels of network turnover and larger alter rank variations. On broader terms, our study shows that personality traits clearly affect the ways in which individuals maintain their personal networks.


title: The Darboux transformation in black hole perturbation theory

abstract: The Darboux transformation between ordinary differential equations is a 19th century technique that has seen wide use in quantum theory for producing exactly solvable potentials for the Schr\"odinger equation with specific spectral properties. In this paper we show that the same transformation appears in black hole theory, relating, for instance, the Zerilli and Regge-Wheeler equations for axial and polar Schwarzschild perturbations. The transformation reveals these two equations to be isospectral, a well known result whose method has been repeatedly reintroduced under different names. We highlight the key role that the so-called algebraically special solutions play in the black hole Darboux theory and show that a similar relation exists between the Chandrasekhar-Detweiler equations for Kerr perturbations. Finally, we discuss the limitations of the method when dealing with long-range potentials and explore the possibilities offered by a generalised Darboux transformation.


title: On spectral properties of Neuman-Poincare operator and plasmonic resonances in 3D elastostatics

abstract: We consider plasmon resonances and cloaking for the elastostatic system in $\mathbb{R}^3$ via the spectral theory of Neumann-Poincar\'e operator. We first derive the full spectral properties of the Neumann-Poincar\'e operator for the 3D elastostatic system in the spherical geometry. The spectral result is of significant interest for its own sake, and serves as a highly nontrivial extension of the corresponding 2D study in [8]. The derivation of the spectral result in 3D involves much more complicated and subtle calculations and arguments than that for the 2D case. Then we consider a 3D plasmonic structure in elastostatics which takes a general core-shell-matrix form with the metamaterial located in the shell. Using the obtained spectral result, we provide an accurate characterisation of the anomalous localised resonance and cloaking associated to such a plasmonic structure.


title: Crowd Sourcing Image Segmentation with iaSTAPLE

abstract: We propose a novel label fusion technique as well as a crowdsourcing protocol to efficiently obtain accurate epithelial cell segmentations from non-expert crowd workers. Our label fusion technique simultaneously estimates the true segmentation, the performance levels of individual crowd workers, and an image segmentation model in the form of a pairwise Markov random field. We term our approach image-aware STAPLE (iaSTAPLE) since our image segmentation model seamlessly integrates into the well-known and widely used STAPLE approach. In an evaluation on a light microscopy dataset containing more than 5000 membrane labeled epithelial cells of a fly wing, we show that iaSTAPLE outperforms STAPLE in terms of segmentation accuracy as well as in terms of the accuracy of estimated crowd worker performance levels, and is able to correctly segment 99% of all cells when compared to expert segmentations. These results show that iaSTAPLE is a highly useful tool for crowd sourcing image segmentation.


title: Tile Number and Space-Efficient Knot Mosaics

abstract: In this paper we introduce the concept of a space-efficient knot mosaic. That is, we seek to determine how to create knot mosaics using the least number of non-blank tiles necessary to depict the knot. This least number is called the tile number of the knot. We determine strict bounds for the tile number of a knot in terms of the mosaic number of the knot. In particular, if $t$ is the tile number of a prime knot with mosaic number $m$, then $5m-8 \leq t \leq m^2-4$ if $m$ is even and $5m-8 \leq t \leq m^2-8$ if $m$ is odd. We also determine the tile number of several knots and provide space-efficient knot mosaics for each of them.


title: Predicting non-linear dynamics by stable local learning in a recurrent spiking neural network

abstract: Brains need to predict how the body reacts to motor commands. It is an open question how networks of spiking neurons can learn to reproduce the non-linear body dynamics caused by motor commands, using local, online and stable learning rules. Here, we present a supervised learning scheme for the feedforward and recurrent connections in a network of heterogeneous spiking neurons. The error in the output is fed back through fixed random connections with a negative gain, causing the network to follow the desired dynamics, while an online and local rule changes the weights. The rule for Feedback-based Online Local Learning Of Weights (FOLLOW) is local in the sense that weight changes depend on the presynaptic activity and the error signal projected onto the postsynaptic neuron. We provide examples of learning linear, non-linear and chaotic dynamics, as well as the dynamics of a two-link arm. Using the Lyapunov method, and under reasonable assumptions and approximations, we show that FOLLOW learning is stable uniformly, with the error going to zero asymptotically.


title: Energy Dissipation in Hamiltonian Chains of Rotators

abstract: We discuss, in the context of energy flow in high-dimensional systems and Kolmogorov-Arnol'd-Moser (KAM) theory, the behavior of a chain of rotators (rotors) which is purely Hamiltonian, apart from dissipation at just one end. We derive bounds on the dissipation rate which become arbitrarily small in certain physical regimes, and we present numerical evidence that these bounds are sharp. We relate this to the decoupling of non-resonant terms as is known in KAM problems.

categories: math.DS cond-mat.stat-mech math-ph math.MP


title: Universal behavior of few-boson systems using potential models

abstract: The universal behavior of a three-boson system close to the unitary limit is encoded in a simple dependence of many observables in terms of few parameters. For example the product of the three-body parameter $\kappa_*$ and the two-body scattering length $a$, $\kappa_* a$ depends on the angle $\xi$ defined by $E_3/E_2=\tan^2\xi$. A similar dependence is observed in the ratio $a_{AD}/a$ with $a_{AD}$ the boson-dimer scattering length. We use a two-parameter potential to determine this simple behavior and, as an application, to compute $a_{AD}$ for the case of three $^4$He atoms.


title: Normal and Jones surfaces of knots

abstract: We describe a normal surface algorithm that decides whether a knot, with known degree of the colored Jones polynomial, satisfies the Strong Slope Conjecture. We also discuss possible simplifications of our algorithm and state related open questions. We establish a relation between the Jones period of a knot and the number of sheets of the surfaces that satisfy the Strong Slope Conjecture (Jones surfaces). We also present numerical and experimental evidence supporting a stronger such relation which we state as an open question.


title: Efficient Social Network Multilingual Classification using Character, POS n-grams and Dynamic Normalization

abstract: In this paper we describe a dynamic normalization process applied to social network multilingual documents (Facebook and Twitter) to improve the performance of the Author profiling task for short texts. After the normalization process, $n$-grams of characters and n-grams of POS tags are obtained to extract all the possible stylistic information encoded in the documents (emoticons, character flooding, capital letters, references to other users, hyperlinks, hashtags, etc.). Experiments with SVM showed up to 90% of performance.


title: The shape of low energy configurations of a thin elastic sheet with a single disclination

abstract: We consider a geometrically fully nonlinear variational model for thin elastic sheets that contain a single disclination. The free elastic energy contains the thickness $h$ as a small parameter. We give an improvement of a recently proved energy scaling law, removing the next-to leading order terms in the lower bound. Then we prove the convergence of (almost-)minimizers of the free elastic energy towards the shape of a radially symmetric cone, up to Euclidean motions, weakly in the spaces $W^{2,2}(B_1\setminus B_\rho;\mathbb{R}^3)$ for every $0<\rho<1$, as the thickness $h$ is sent to 0.


title: A reduced order Kalman Filter model for sequential Data Assimilation of turbulent flows

abstract: A Kalman filter based sequential estimator is presented in the present work. The estimator is integrated in the structure of segregated solvers for the analysis of incompressible flows. This technique provides an augmented flow state integrating available observation in the CFD model, naturally preserving a zero-divergence condition for the velocity field. Because of the prohibitive costs associated with a complete Kalman Filter application, two model reduction strategies have been proposed and assessed. These strategies dramatically reduce the increase in computational costs of the model, which can be quantified in an increase of $10\% - 15\%$ with respect to the classical numerical simulation. In addition, an extended analysis of the behavior of the numerical model covariance $Q$ has been performed. The results have shown that optimized values are strongly linked to the truncation error of the discretization procedure. The estimator has been applied to the analysis of a number of test cases exhibiting increasing complexity, including turbulent flow configurations. The results show that the augmented flow successfully improves the prediction of the physical quantities investigated, even when the observation is provided in a limited region of the physical domain. In addition, the present work indicates that these Data Assimilation techniques, which are at an embryonic stage of development in CFD, can be pushed even further using the augmented prediction as a powerful tool for the optimization of the free parameters in the numerical simulation.


title: Buckling-Induced Kirigami

abstract: We investigate the mechanical response of thin sheets perforated with a square array of mutually orthogonal cuts, which leaves a network of squares connected by small ligaments. Our combined analytical, experimental and numerical results indicate that under uniaxial tension the ligaments buckle out-of-plane, inducing the formation of 3D patterns whose morphology is controlled by the load direction. We also find that by largely stretching the buckled perforated sheets, plastic strains develop in the ligaments. This gives rise to the formation of kirigami sheets comprising periodic distribution of cuts and permanent folds. As such, the proposed buckling-induced pop-up strategy points to a simple route for manufacturing complex morphable structures out of flat perforated sheets.


title: The polynomial cluster value problem

abstract: The polynomial cluster value problem replaces the role of the continuous linear functionals in the original cluster value problem for the continuous polynomials to describe the corresponding cluster sets and fibers. We prove several polynomial cluster value theorems for uniform algebras $H(B)$ between $A_u(B)$ and $H^{\infty}(B)$, where $B$ is the open unit ball of a complex Banach space $X$. We also obtain new results about the original cluster value problem, especially for $A_{\infty}(B)$. Examples of spaces $X$ considered here are spaces of continuous functions, $\ell_1$ and locally uniformly convex spaces.


title: First confirmed ultra-compact dwarf galaxy in the NGC 5044 group

abstract: Context. Ultra-compact dwarfs (UCDs) are stellar systems displaying colours and metallicities between those of globular clusters (GCs) and early-type dwarf galaxies, as well as sizes of Reff <= 100 pc and luminosities in the range -13.5 < MV < -11 mag. Although their origin is still subject of debate, the most popular scenarios suggest that they are massive star clusters or the nuclei of tidally stripped dwarf galaxies. Aims. NGC 5044 is the central massive elliptical galaxy of the NGC 5044 group. Its GC/UCD system is completely unexplored. Methods. In Gemini+GMOS deep images of several fields around NGC 5044 and in spectroscopic multi-object data of one of these fields, we detected an unresolved source with g'~20.6 mag, compatible with being an UCD. Its radial velocity was obtained with FXCOR and the penalized pixel-fitting (pPXF) code. To study its stellar population content, we measured the Lick/IDS indices and compared them with predictions of single stellar population models, and we used the full spectral fitting technique. Results. The spectroscopic analysis of the UCD revealed a radial velocity that agrees with the velocity of the elliptical galaxy NGC 5044. From the Lick/IDS indices, we have obtained a luminosity-weighted age and metallicity of 11.7+/-1.4 Gyr and [Z/H] = -0.79 +/- 0.04 dex, respectively, as well as [alpha/Fe] = 0.30 +/- 0.06. From the full spectral fitting technique, we measured a lower age (8.52 Gyr) and a similar total metallicity ([Z/H] = -0.86 dex). Conclusions. Our results indicate that NGC 5044-UCD1 is most likely an extreme GC (MV ~ -12.5 mag) belonging to the GC system of the elliptical galaxy NGC 5044.


title: Performance of the ATLAS Transition Radiation Tracker in Run 1 of the LHC: tracker properties

abstract: The tracking performance parameters of the ATLAS Transition Radiation Tracker (TRT) as part of the ATLAS inner detector are described in this paper for different data-taking conditions in proton-proton, proton-lead and lead-lead collisions at the Large Hadron Collider (LHC). The performance is studied using data collected during the first period of LHC operation (Run 1) and is compared with Monte Carlo simulations. The performance of the TRT, operating with two different gas mixtures (xenon-based and argon-based) and its dependence on the TRT occupancy is presented. These studies show that the tracking performance of the TRT is similar for the two gas mixtures and that a significant contribution to the particle momentum resolution is made by the TRT up to high particle densities.


title: On distinguishing special trees by their chromatic symmetric functions

abstract: In 1995, Stanley introduced the well-known chromatic symmetric function $X_{G}(x_{1},x_{2},\ldots)$ of a graph $G$. It is a sum of monomial symmetric functions such that for each vertex coloring of $G$ there is exactly one of these summands. The question, whether $X_{G}(x_1,x_{2},\ldots)$ distinguishes nonisomorphic trees with the same number of vertices, is still open in general. For special trees it has already been shown. In 2008, Martin, Morin and Wagner proved it for spiders and some caterpillars. We decompose a tree by separating the leafs and their neighbors and do the same to the remaining forest until there remains a forest with vertices of degree not greater than $1$. For nonisomorphic trees $G$ and $H$ with the same number of vertices and special properties concerning their number of leafs and leaf neighbors for each subgraph in their leaf decomposition we prove that the chromatic symmetric function distinguishes the graphs. Our idea is to find independent partitions of $G$ and $H$ with respectively a block of maximal cardinality for $G$ as well as for $H$. These cardinalities are different for graphs $G$ and $H$ with special properties of their leaf decompositions. Additionally, we give explicit formulas for the cardinality of such a maximal block of an independent partition of star connections and spiders.


title: Mathematical Backdoors in Symmetric Encryption Systems - Proposal for a Backdoored AES-like Block Cipher

abstract: Recent years have shown that more than ever governments and intelligence agencies try to control and bypass the cryptographic means used for the protection of data. Backdooring encryption algorithms is considered as the best way to enforce cryptographic control. Until now, only implementation backdoors (at the protocol/implementation/management level) are generally considered. In this paper we propose to address the most critical issue of backdoors: mathematical backdoors or by-design backdoors, which are put directly at the mathematical design of the encryption algorithm. While the algorithm may be totally public, proving that there is a backdoor, identifying it and exploiting it, may be an intractable problem. We intend to explain that it is probably possible to design and put such backdoors. Considering a particular family (among all the possible ones), we present BEA-1, a block cipher algorithm which is similar to the AES and which contains a mathematical backdoor enabling an operational and effective cryptanalysis. The BEA-1 algorithm (80-bit block size, 120-bit key, 11 rounds) is designed to resist to linear and differential cryptanalyses. A challenge will be proposed to the cryptography community soon. Its aim is to assess whether our backdoor is easily detectable and exploitable or not.


title: Synthetic phonons enable nonreciprocal coupling to arbitrary resonator networks

abstract: Inducing nonreciprocal wave propagation is a fundamental challenge across a wide range of physical systems in electromagnetics, optics, and acoustics. Recent efforts to create nonreciprocal devices have departed from established magneto-optic methods and instead exploited momentum based techniques such as coherent spatiotemporal modulation of resonators and waveguides. However, to date the nonreciprocal frequency responses that such devices can achieve have been limited, mainly to either broadband or Lorentzian-shaped transfer functions. Here we show that nonreciprocal coupling between waveguides and resonator networks enables the creation of devices with customizable nonreciprocal frequency responses. We create nonreciprocal coupling through the action of synthetic phonons, which emulate propagating phonons and can scatter light between guided and resonant modes that differ in both frequency and momentum. We implement nonreciprocal coupling in microstrip circuits and experimentally demonstrate both elementary nonreciprocal functions such as isolation and gyration as well as reconfigurable, higher-order nonreciprocal filters. Our results suggest nonreciprocal coupling as platform for a broad class of customizable nonreciprocal systems, adaptable to all wave phenomena.


title: A numerical study of the homogeneous elliptic equation with fractional order boundary conditions

abstract: We consider the homogeneous equation ${\mathcal A} u=0$, where ${\mathcal A}$ is a symmetric and coercive elliptic operator in $H^1(\Omega)$ with $\Omega$ bounded domain in ${{\mathbb R}}^d$. The boundary conditions involve fractional power $\alpha$, $ 0 < \alpha <1$, of the Steklov spectral operator arising in Dirichlet to Neumann map. For such problems we discuss two different numerical methods: (1) a computational algorithm based on an approximation of the integral representation of the fractional power of the operator and (2) numerical technique involving an auxiliary Cauchy problem for an ultra-parabolic equation and its subsequent approximation by a time stepping technique. For both methods we present numerical experiment for a model two-dimensional problem that demonstrate the accuracy, efficiency, and stability of the algorithms.


title: Syst\`emes du LIA \`a DEFT'13

abstract: The 2013 D\'efi de Fouille de Textes (DEFT) campaign is interested in two types of language analysis tasks, the document classification and the information extraction in the specialized domain of cuisine recipes. We present the systems that the LIA has used in DEFT 2013. Our systems show interesting results, even though the complexity of the proposed tasks.


title: Brownian control problems for a multiclass M/M/1 queueing problem with model uncertainty

abstract: We consider a multidimentional Brownian control problem (BCP) with model uncertainty that formally emerges from a multiclass M/M/1 queueing control problem under heavy-traffic with model uncertainty. The BCP is formulated as a multidimensional stochastic differential game with two players: a minimizer that has an equivalent role to the decision maker in the queueing control problem and a maximizer whose role is to set up the uncertainty of the model. The dynamics are driven by a Brownian motion. We show that a state-space collapse propery holds. That is, the multidimensional BCP can be reduced to a one-dimensional BCP with model uncertainty that also takes the form of a two-player stochastic differential game. Then, the value function of both of the games is characterized as the unique solution to a free-boundary problem from which we extract equilibria for both games. Finally, we analyze the dependence of the value function and the equilibria on the ambiguity parameters.


title: KAM Theory for secondary tori

abstract: In [3] (Rend. Lincei Mat. Appl. 26 (2015), 1-10; see also arXiv:1503.08145 [math.DS]) the following result has been announced: Theorem. Consider a real-analytic nearly-integrable mechanical system with potential $f$, namely, a Hamiltonian system with real-analytic Hamiltonian $$H(y,x)=\frac12 \sum_{i=1}^n y_i^2 +\epsilon f(x)\ ,$$ $(y,x)\in{\mathbb R}^n\times{\mathbb T}^n$ being standard action--angle variables. For "general non-degenerate" potentials $f$'s there exists $\epsilon_0,a>0$ such that, if $0<\epsilon<\epsilon_0$, then the Liouville measure of the complementary of $H$-invariant tori is smaller than $\epsilon|\log \epsilon|^a$. In this paper we provide a proof of such result.


title: Channeling and radiation of the 855 MeV electrons enhanced by the re-channeling in a periodically bent diamond crystal

abstract: Channeling properties and radiation spectra are studied on the grounds of numerical simulations for the 855 MeV electrons in a periodically bent diamond crystal. The bent crystalline profiles are shown to enhance the re-channeling of the projectiles and to produce distinct lines in the radiation spectra. The results obtained are analyzed and contrasted to the properties of the planar channeling and of the channeling in uniformly bent crystals.


title: Effect of systematics in the T2HK, T2HKK, and DUNE experiments

abstract: T2HK and T2HKK are the proposed extensions of the of T2K experiments in Japan and DUNE is the future long-baseline program of Fermilab. All these three experiments will use extremely high beam power and large detector volumes to observe neutrino oscillation. Because of the large statistics, these experiments will be highly sensitive to systematics. Thus a small change in the systematics can cause a significant change in their sensitivities. To understand this, we do a comparative study of T2HK, T2HKK and DUNE with respect to their systematic errors. Specifically we study the effect of the systematics in the determination of neutrino mass hierarchy, octant of the mixing angle $\theta_{23}$ and $\delta_{CP}$ in the standard three flavor scenario and also analyze the role of systematic uncertainties in constraining the parameters of the nonstandard interactions in neutrino propagation. Taking the overall systematics for signal and background normalization, we quantify how the sensitivities of these experiments change if the systematics are varied from $1\%$ to $7\%$.


title: Topological staggered field-electric effect with bipartite magnets

abstract: We study the interface physics of bipartite magnetic materials deposited on a topological insulator. This comprises antiferromagnets as well as ferrimagnets and ferromagnets with multiple magnetic moments per unit cell. If an energy gap is induced in the Dirac states on the topological surface, a topological magnetoelectric effect has been predicted. Here, we show that this effect can act in opposite directions on the two components of the magnet in certain parameter regions. Consequently, an electric field will mainly generate a staggered field rather than a net magnetization in the plane. This is relevant for the current attempts to detect the magnetoelectric effect experimentally, as well as for possible applications. We take a field-theoretic approach that includes the quantum fluctuations of both the Dirac fermions on the topological surface as well as the fermions in the surface layer of the magnet in an analytically solvable model. The effective Lagrangian and the Landau-Lifshitz equation describing the interfacial magnetization dynamics are derived.


title: Generalized two-field $\alpha$-attractor models from geometrically finite hyperbolic surfaces

abstract: We consider four-dimensional gravity coupled to a non-linear sigma model whose scalar manifold is a non-compact geometrically finite surface $\Sigma$ endowed with a Riemannian metric of constant negative curvature. When the space-time is an FLRW universe, such theories produce a very wide generalization of two-field $\alpha$-attractor models, being parameterized by a positive constant $\alpha$, by the choice of a finitely-generated surface group $\Gamma\subset \mathrm{PSL}(2,\mathbb{R})$ (which is isomorphic with the fundamental group of $\Sigma$) and by the choice of a scalar potential defined on $\Sigma$. The traditional two-field $\alpha$-attractor models arise when $\Gamma$ is the trivial group, in which case $\Sigma$ is the Poincar\'e disk. We give a general prescription for the study of such models through uniformization in the so-called "non-elementary" case and discuss some of their qualitative features in the gradient flow approximation, which we relate to Morse theory. We also discuss some aspects of the SRST approximation in these models, showing that it is generally not well-suited for studying dynamics near cusp ends. When $\Sigma$ is non-compact and the scalar potential is "well-behaved" at the ends, we show that, in the {\em naive} local one-field truncation, our generalized models have the same universal behavior as ordinary one-field $\alpha$-attractors if inflation happens near any of the ends of $\Sigma$ where the extended potential has a local maximum, for trajectories which are well approximated by non-canonically parameterized geodesics near the ends, we also discuss spiral trajectories near the ends.


title: Discretization in generalized coorbit spaces: extensions, annotations and errata for "Continuous Frames, Function Spaces and the Discretization Problem" by M. Fornasier and H. Rauhut

abstract: During the process of writing the manuscript ["Continuous warped time-frequency representations - Coorbit spaces and discretization", N. Holighaus, C. Wiesmeyr and P. Balazs], the work ["Continuous Frames, Function Spaces and the Discretization Problem" by M. Fornasier and H. Rauhut - (1)] was one of the major foundations of our results and, naturally, we found ourselves going back to reading that contribution once and again. In particular in Section 5, which is concerned with the discretization problem, we have found some typographical errors, small inaccuracies and some parts that we just would have wished to be slightly more accessible. Finally, for our own theory, a generalization of a central definition required us to verify that all the derivations in Section 5 of (1) still hold after the necessary modifications. Considering the importance of the results in (1) for the community, this was reason enough to start this side project of re-writing that least accessible portion of Fornasier and Rauhut's manuscript, eliminating the errors we found, adding annotations where we consider them useful and modifying the results to take into account the generalization we require for our own work. What you see is the result of our endeavor, a one-to-one substitute for Section 5 in (1).


title: Double hard scattering without double counting

abstract: Double parton scattering in proton-proton collisions includes kinematic regions in which two partons inside a proton originate from the perturbative splitting of a single parton. This leads to a double counting problem between single and double hard scattering. We present a solution to this problem, which allows for the definition of double parton distributions as operator matrix elements in a proton, and which can be used at higher orders in perturbation theory. We show how the evaluation of double hard scattering in this framework can provide a rough estimate for the size of the higher-order contributions to single hard scattering that are affected by double counting. In a numeric study, we identify situations in which these higher-order contributions must be explicitly calculated and included if one wants to attain an accuracy at which double hard scattering becomes relevant, and other situations where such contributions may be neglected.


title: Arithmetic of the Fabius function

abstract: I solve here a question of Vladimir Reshetnikov in Mathoverflow (question 261649) about the values of Fabius function. Namely, I prove that the numbers $R_n:=2^{-\binom{n-1}{2}}(2n)! F(2^{-n})\prod_{m=1}^{\lfloor n/2\rfloor}(2^{2m}-1)$ are integers. We show also some other arithmetical properties of the values of Fabius function at dyadic points. The Fabius function was defined in 1935 by Jessen and Wintner and has been independently defined at least six times since. We attempt to unify notations related to the Fabius function.


title: Distributed Estimation of Principal Eigenspaces

abstract: Principal component analysis (PCA) is fundamental to statistical machine learning. It extracts latent principal factors that contribute to the most variation of the data. When data are stored across multiple machines, however, communication cost can prohibit the computation of PCA in a central location and distributed algorithms for PCA are thus needed. This paper proposes and studies a distributed PCA algorithm: each node machine computes the top $K$ eigenvectors and transmits them to the central server; the central server then aggregates the information from all the node machines and conducts a PCA based on the aggregated information. We investigate the bias and variance for the resulting distributed estimator of the top $K$ eigenvectors. In particular, we show that for distributions with symmetric innovation, the empirical top eigenspaces are unbiased and hence the distributed PCA is "unbiased". We derive the rate of convergence for distributed PCA estimators, which depends explicitly on the effective rank of covariance, eigen-gap, and the number of machines. We show that when the number of machines is not unreasonably large, the distributed PCA performs as well as the whole sample PCA, even without full access of whole data. The theoretical results are verified by an extensive simulation study. We also extend our analysis to the heterogeneous case where the population covariance matrices are different across local machines but share similar top eigen-structures.