title: The interval number of a planar graph is at most three

abstract: The interval number of a graph $G$ is the minimum $k$ such that one can assign to each vertex of $G$ a union of $k$ intervals on the real line, such that $G$ is the intersection graph of these sets, i.e., two vertices are adjacent in $G$ if and only if the corresponding sets of intervals have non-empty intersection. In 1983 Scheinerman and West [The interval number of a planar graph: Three intervals suffice. \textit{J.~Comb.~Theory, Ser.~B}, 35:224--239, 1983] proved that the interval number of any planar graph is at most $3$. However the original proof has a flaw. We give a different and shorter proof of this result.


title: Comparing heterogeneous visual gestures for measuring the diversity of visual speech signals

abstract: Visual lip gestures observed whilst lipreading have a few working definitions, the most common two are; `the visual equivalent of a phoneme' and `phonemes which are indistinguishable on the lips'. To date there is no formal definition, in part because to date we have not established a two-way relationship or mapping between visemes and phonemes. Some evidence suggests that visual speech is highly dependent upon the speaker. So here, we use a phoneme-clustering method to form new phoneme-to-viseme maps for both individual and multiple speakers. We test these phoneme to viseme maps to examine how similarly speakers talk visually and we use signed rank tests to measure the distance between individuals. We conclude that broadly speaking, speakers have the same repertoire of mouth gestures, where they differ is in the use of the gestures.


title: Effects of Lifshitz transitions in ferromagnetic superconductors: the case of URhGe

abstract: In ferromagnetic superconductors, like URhGe, superconductivity co-exists with magnetism near zero field, but then re-appears again in a finite field range, where the system also displays mass enhancement in the normal state. We present theoretical understanding of this non-monotonic behavior. We explore the multi-band nature of URhGe and associate re-entrant superconductivity and mass enhancement with the finite field Lifshitz transition in one of the bands. We found good agreement between our theory and a number of experimental results for URhGe, such as weakly first order reentrant transition, the dependence of superconducting $T_c$ on a magnetic field, and the field dependence of the effective mass, the specific heat and the resistivity in the normal state. Our theory can be applied to other ferromagnetic multi-band superconductors.


title: Weak-strong uniqueness of renormalized solutions to reaction-cross-diffusion systems

abstract: The weak-strong uniqueness for solutions to reaction-cross-diffusion systems in a bounded domain with no-flux boundary conditions is proved. The system generalizes the Shigesada-Kawasaki-Teramoto population model to an arbitrary number of species. The diffusion matrix is neither symmetric nor positive definite, but the system possesses a formal gradient-flow or entropy structure. No growth conditions on the source terms are imposed. It is shown that any renormalized solution coincides with a strong solution with the same initial data, as long as the strong solution exists. The proof is based on the evolution of the relative entropy modified by suitable cutoff functions.


title: Accurate experimental determination of Gallium K- and L3-shell XRF fundamental parameters

abstract: The fluorescence yield of the K- and L3-shell of gallium was determined using the radiometrically calibrated (reference-free) X-ray fluorescence instrumentation at the BESSY II synchrotron radiation facility. Simultaneous transmission and fluorescence signals from GaSe foils were obtained, resulting in K- and L3-shell fluorescence yield values consistent with existing database values(omega_Ga_K=0.515 +- 0.019, omega_Ga_L3=0.013 +- 0.001). For the first time, these standard combined uncertainties are obtained from a properly constructed Uncertainty Budget. These K-shell fluorescence yield values support Bambynek's semi-empirical compilation from 1972: these and other measurements yield a combined recommended value of omega_Ga_K=0.514 +- 0.010. Using the measured fluorescence yields together with production yields from reference Ga-implanted samples where the quantity of implanted Ga was determined at 1.3% traceable accuracy by Rutherford backscattering spectrometry, the K-shell and L3-subshell photoionization cross sections at selected incident photon energies were also determined and compared critically with the standard databases.


title: Optomechanical damping as the origin of sideband asymmetry

abstract: Sideband asymmetry in cavity optomechanics has been explained by particle creation and annihilation processes, which bestow an amplitude proportional to 'n+1' and 'n' excitations to each of the respective sidebands. We discuss the issues with this as well as other interpretations, such as quantum backaction and noise interference, and show that the asymmetry is due to the optomechanical damping caused by the probe and the cooling lasers instead.


title: Universality and models for semigroups of operators on a Hilbert space

abstract: This paper considers universal Hilbert space operators in the sense of Rota, and gives criteria for universality of semigroups in the context of uniformly continuous semigroups and contraction semigroups. Specific examples are given. Universal semigroups provide models for these classes of semigroups: following a line of research initiated by Shimorin, models for concave semigroups are developed, in terms of shifts on reproducing kernel Hilbert spaces.


title: Combinatorial Hopf algebra for interconnected nonlinear systems

abstract: A detailed expose of the Hopf algebra approach to interconnected input-output systems in nonlinear control theory is presented. The focus is on input-output systems that can been represented in terms of Chen-Fliess functional expansions or Fliess operators. This provides a starting point for a discrete-time version of this theory. In particular, the notion of a discrete-time Fliess operator is given and a class of parallel interconnections is described.


title: Selective correlations in finite quantum systems and the Desargues property

abstract: The Desargues property is well known in the context of projective geometry. An analogous property is presented in the context of both classical and Quantum Physics. In a classical context, the Desargues property implies that two logical circuits with the same input, show in their outputs selective correlations. In general their outputs are uncorrelated, but if the output of one has a particular value, then the output of the other has another particular value. In a quantum context, the Desargues property implies that two experiments each of which involves two successive projective measurements, have selective correlations. For a particular set of projectors, if in one experiment the second measurement does not change the output of the first measurement, then the same is true in the other experiment.


title: Strong spatial and spectral localization of surface plasmons in individual randomly disordered gold nanosponges

abstract: Porous nanosponges, percolated with a three-dimensional network of 10-nm sized ligaments, recently emerged as promising substrates for plasmon-enhanced spectroscopy and (photo-)catalysis. Experimental and theoretical work suggests surface plasmon localization in some hot-spot modes as the physical origin of their unusual optical properties, but so far the existence of such hot-spots has not been proven. Here we use scattering-type scanning near-field nano-spectroscopy on individual gold nanosponges to reveal spatially and spectrally confined modes with 10 nanometer localization lengths by mapping the local optical density of states. High quality factors of individual hot-spots of more than 40 are demonstrated. A statistical analysis of near-field intensity fluctuations unveils plasmonics in the strong localization regime. The observed field localization and enhancement make such nanosponges an appealing platform for a variety of applications ranging from nonlinear optics to strong-coupling physics.


title: Measuring quark polarizations at ATLAS and CMS

abstract: Being able to measure the polarization of quarks produced in various processes at the LHC would be of fundamental significance. Measuring the polarizations of quarks produced in new physics processes, once discovered, can provide crucial information about the new physics Lagrangian. In a series of recent papers, we have investigated how quark polarization measurements can be done in practice. The polarizations of heavy quarks (b and c) are expected to be largely preserved in the lightest baryons they hadronize into, the Lambda_b and Lambda_c, respectively. Furthermore, it is known experimentally that s-quark polarization is preserved as well, in Lambda baryons. We study how ATLAS and CMS can measure polarizations of b, c and s quarks using certain decays of these baryons. We propose to use the Standard Model ttbar and Wc samples to calibrate these measurements. We estimate that the Run 2 dataset will suffice for measuring the quark polarizations in these Standard Model samples with precisions of order 10%. We also propose various additional measurements for the near and far future that would help characterize the polarization transfer from the quarks to the baryons.


title: A Regression Model of Recurrent Deep Neural Networks for Noise Robust Estimation of the Fundamental Frequency Contour of Speech

abstract: The fundamental frequency (F0) contour of speech is a key aspect to represent speech prosody that finds use in speech and spoken language analysis such as voice conversion and speech synthesis as well as speaker and language identification. This work proposes new methods to estimate the F0 contour of speech using deep neural networks (DNNs) and recurrent neural networks (RNNs). They are trained using supervised learning with the ground truth of F0 contours. The latest prior research addresses this problem first as a frame-by-frame-classification problem followed by sequence tracking using deep neural network hidden Markov model (DNN-HMM) hybrid architecture. This study, however, tackles the problem as a regression problem instead, in order to obtain F0 contours with higher frequency resolution from clean and noisy speech. Experiments using PTDB-TUG corpus contaminated with additive noise (NOISEX-92) show the proposed method improves gross pitch error (GPE) by more than 25 % at signal-to-noise ratios (SNRs) between -10 dB and +10 dB as compared with one of the most noise-robust F0 trackers, PEFAC. Furthermore, the performance on fine pitch error (FPE) is improved by approximately 20 % against a state-of-the-art DNN-HMM-based approach.


title: Photon number-resolved measurement of an exciton-polariton condensate

abstract: We measure the full photon-number distribution emitted from a Bose condensate of microcavity exciton-polaritons confined in a micropillar cavity. The statistics are acquired by means of a photonnumber resolving transition edge sensor. We directly observe that the photon-number distribution evolves with the non-resonant optical excitation power from geometric to quasi-Poissonian statistics, which is canonical for a transition from a thermal to a coherent state. Moreover, the photon-number distribution allows evaluating the higher-order photon correlations, shedding further light on the coherence formation and phase transition of the polariton condensate. The experimental data is analyzed in terms of thermal coherent states which allows one to directly extract the thermal and coherent fraction from the measured distributions. These results pave the way for a full understanding of the contribution of interactions in light-matter condensates in the coherence buildup at threshold.


title: Curvature of the pseudocritical line in QCD: Taylor expansion matches analytic continuation

abstract: We determine the curvature of the pseudo-critical line of $N_f = 2 + 1$ QCD with physical quark masses via Taylor expansion in the quark chemical potentials. We adopt a discretization based on stout improved staggered fermions and the tree level Symanzik gauge action; the location of the pseudocritical temperature is based on chiral symmetry restoration. Simulations are performed on lattices with different temporal extent ($N_t = 6, 8, 10$), leading to a continuum extrapolated curvature $\kappa = 0.0145(25)$, which is in very good agreement with the continuum extrapolation obtained via analytic continuation and the same discretization, $\kappa = 0.0135(20)$. This result eliminates the possible tension emerging when comparing analytic continuation with earlier results obtained via Taylor expansion.


title: The effect of inner swirl on confined co-axial flow

abstract: We study the problem of mixing between core and annular flow in a pipe, examining the effect of a swirling core flow. Such flows are important across a range of applications, including jet pumps, combustion chambers and aerospace engineering. Previous studies show that swirl can increase shear layer growth rates and, in the case of confining walls, reduce flow separation. However, the effect of swirl on pressure loss in a confined flow is uncertain. To address this, we develop a simplified model that approximates the axial flow profile as a linear shear layer separating uniform-velocity core and annular streams. The azimuthal flow profile is approximated as a solid body rotation within the core region, and a parabolic mixing profile within the shear layer. This model shows good agreement with computational turbulence modelling, whilst its simplicity and low computational cost make it ideal for benchmark predictions and design purposes. Using this model, we confirm that a swirling core is useful for increasing shear layer growth rates, but find that it is detrimental to pressure recovery. This has important implications for the design of diffusers that incorporate swirling flows. We use the model to describe the slow recirculation region that can form along the pipe axis for sufficiently large swirl, by approximating it as a stagnant zone with zero velocity. The criteria for the development of such a region are established in terms of the pipe expansion angle and inflow velocity profile.


title: An $H^2$(curl)-conforming finite element in 2D and its applications to the quad-curl problem

abstract: In this paper, we first construct the $H^2$(curl)-conforming finite elements both on a rectangle and a triangle. They possess some fascinating properties which have been proven by a rigorous theoretical analysis. Then we apply the elements to construct a finite element space for discretizing quad-curl problems. Convergence orders $O(h^k)$ in the $H$(curl) norm and $O(h^{k-1})$ in the $H^2$(curl) norm are established. Numerical experiments are provided to confirm our theoretical results.


title: Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems

abstract: We give a direct polynomial-time reduction from parity games played over the configuration graphs of collapsible pushdown systems to safety games played over the same class of graphs. That a polynomial-time reduction would exist was known since both problems are complete for the same complexity class. Coming up with a direct reduction, however, has been an open problem. Our solution to the puzzle brings together a number of techniques for pushdown games and adds three new ones. This work contributes to a recent trend of liveness to safety reductions which allow the advanced state-of-the-art in safety checking to be used for more expressive specifications.


title: Reanalysis of $\Omega_c \rightarrow \Xi_c^+ K^-$ decay in QCD

abstract: The strong coupling constants of newly observed $\Omega_c^0$ baryons with spin $J = \frac{1}{2}$ and $J = \frac{3}{2}$ decaying into $\Xi_c^{+} K^{-}$ are estimated within light cone QCD sum rules. The calculations are performed within two different scenarios on quantum numbers of $\Omega_c$ baryons: a) all newly observed $\Omega_c$ baryons are negative parity baryons, i.e., the $\Omega_c(3000)$, $\Omega_c(3050)$, $\Omega_c(3066)$, and $\Omega_c(3090)$ have quantum numbers $J^P = \frac{1}{2}^-$ and $J^P = \frac{3}{2}^-$ states respectively; b) the states $\Omega_c(3000)$ and $\Omega_c(3050)$ have quantum numbers $J^P = \frac{1}{2}^-$ and $J^P = \frac{1}{2}^+$, while the states $\Omega_c(3066)$ and $\Omega_c(3090)$ have the quantum numbers $J^P = \frac{3}{2}^-$ and $J^P = \frac{3}{2}^+$, respectively. By using the obtained results on the coupling constants, we calculate the decay widths of the corresponding decays. The results on decay widths are compared with the experimental data of LHC Collaboration. We found out that the predictions on decay widths within these scenarios are considerably different from the experimental data, i.e., both considered scenarios are ruled out.


title: Exploring Mechanically Self-Reconfiguring Robots for Autonomous Design

abstract: Evolutionary robotics has aimed to optimize robot control and morphology to produce better and more robust robots. Most previous research only addresses optimization of control, and does this only in simulation. We have developed a four-legged mammal-inspired robot that features a self-reconfiguring morphology. In this paper, we discuss the possibilities opened up by being able to efficiently do experiments on a changing morphology in the real world. We discuss present challenges for such a platform and potential experimental designs that could unlock new discoveries. Finally, we place our robot in its context within general developments in the field of evolutionary robotics, and consider what advances the future might hold.


title: Further Aspects of the Fueter Mapping Theorem

abstract: In this paper we first show that for $n$ being even the images of the Fueter mapping, as monogenic functions, like for the odd $n$ cases proved through computation on the pointwise differential operator, are also of the axial type (the Axial Form Theorem). Due to a recent result of B. Dong, K. I. Kou, T. Qian, I. Sabadini (2016), we know that the Fueter mapping is surjective on the set of all left- and right-monogenic functions of the axial type in axial domains (the Surjectivity Theorem). The second part results of this paper address the action of the Fueter mapping on the monomials $f^{(l)}_0(z)=z^l, l=0, \pm 1, \pm 2,...,$ in one complex variable. In generalizing the Fueter and the Sce theorems to the even dimensions $n,$ Qian used the following mapping $\tau$ (applicable for odd dimensions as well): $$\tau (f^{(-k)}_0)=\mathcal{F}^{-1}((-2\pi |\cdot |)^{n-1}\mathcal{F}({\vec{f_0^{(-k)}}})), \ \ \ \tau (f^{(n-2+k)}_0)=I(\tau (f^{(-k)}_0)), $$ where $k$ is any positive integer, $\mathcal{F}$ is the Fourier transformation in $\mathbb{R}^{n+1},$ $I$ is the Kelvin inversion. We show that on the monomials the action of the mapping $\tau$ defined through the Kelvin inversion coincides with that of the Fueter mapping defined through the Fourier transform (the Monomial Theorem). In the mentioned 1997 paper this result is proved for the case $n$ being odd integers. The Monomial Theorem further implies that the extended mapping $\tau$ on Laurent series of real coefficients is identical with the Fueter mapping defined through pointwise differentiation or the Fourier multiplier.


title: Levelness of Order Polytopes

abstract: Since their introduction by Stanley~\cite{StanleyOrderPoly} order polytopes have been intriguing mathematicians as their geometry can be used to examine (algebraic) properties of finite posets. In this paper, we follow this route to examine the levelness property of order polytopes. The levelness property was also introduced by Stanley~\cite{Stanley-CM-complexes} and it generalizes the Gorenstein property. This property has been recently characterized by Miyazaki~\cite{Miyazaki} for the case of order polytopes. We provide an alternative characterization using weighted digraphs. Using this characterization, we give a new infinite family of level posets and show that determining levelness is in $\operatorname{co-NP}$. This family can be used to create infinitely many examples illustrating that the levelness property can not be characterized by the $h^{\ast}$-vector. We then turn to the more general family of alcoved polytopes. We give a characterization for levelness of alcoved polytopes using the Minkowski sum. Then we study several cases when the product of two polytopes is level. In particular, we provide an example where the product of two level polytopes is not level.


title: On the Dissipative Version of the Gross--Pitaevski Equation

abstract: We propose a novel version of the dissipative Gross--Pitaevski equation and examine its properties. In contrast to previous proposals our approach, based on the metriplectic formulation of the dissipative system dynamics, conserves the number of particles in the system.


title: Tuning the probability of defect formation via substrate strains in Sr$_2$FeMoO$_6$ films

abstract: Since oxide materials like Sr$_2$FeMoO$_6$ are usually applied as thin films, we studied the effect of biaxial strain, resulting from the substrate, on the electronic and magnetic properties and, in particular, on the formation energy of point defects. From our first-principles calculations, we determined that the probability of forming point defects - like vacancies or substitutions - in Sr$_2$FeMoO$_6$ could be adjusted by choosing a proper substrate. For example, the amount of anti-site disorder can be reduced with compressive strain in order to obtain purer Sr$_2$FeMoO$_6$ as needed for spintronic applications, while the formation of oxygen vacancies is more likely for tensile strain, which improves the functionality of Sr$_2$FeMoO$_6$ as a basis material of solid oxide fuel cells. In addition, we were also be able to include the oxygen partial pressure in our study by using its thermodynamic connection with the chemical potential. Strontium vacancies become for example more likely than oxygen vacancies at a pressure of 1$\,$bar. Hence, this degree of freedom might offer in general another potential method for defect engineering in oxides besides, e.g., experimental growth conditions like temperature or gas pressure.


title: An Efficient Secure Distributed Cloud Storage for Append-only Data

abstract: Cloud computing enables users (clients) to outsource large volume of their data to cloud servers. Secure distributed cloud storage schemes ensure that multiple servers store these data in a reliable and untampered fashion. We propose an idea to construct such a scheme for static data by encoding data blocks (using error-correcting codes) and then attaching authentication information (tags) to these encoded blocks. We identify some challenges while extending this idea to accommodate append-only data. Then, we propose our secure distributed cloud storage scheme for append-only data that addresses the challenges efficiently. The main advantage of our scheme is that it enables the servers to update the parity blocks themselves. Moreover, the client need not download any data (or parity) block to update the tags of the modified parity blocks residing on the servers. Finally, we analyze the security and performance of our scheme.


title: Multinomial Logit Bandit with Linear Utility Functions

abstract: Multinomial logit bandit is a sequential subset selection problem which arises in many applications. In each round, the player selects a $K$-cardinality subset from $N$ candidate items, and receives a reward which is governed by a {\it multinomial logit} (MNL) choice model considering both item utility and substitution property among items. The player's objective is to dynamically learn the parameters of MNL model and maximize cumulative reward over a finite horizon $T$. This problem faces the exploration-exploitation dilemma, and the involved combinatorial nature makes it non-trivial. In recent years, there have developed some algorithms by exploiting specific characteristics of the MNL model, but all of them estimate the parameters of MNL model separately and incur a regret no better than $\tilde{O}\big(\sqrt{NT}\big)$ which is not preferred for large candidate set size $N$. In this paper, we consider the {\it linear utility} MNL choice model whose item utilities are represented as linear functions of $d$-dimension item features, and propose an algorithm, titled {\bf LUMB}, to exploit the underlying structure. It is proven that the proposed algorithm achieves $\tilde{O}\big(dK\sqrt{T}\big)$ regret which is free of candidate set size. Experiments show the superiority of the proposed algorithm.


title: Remarks on Liouville type theorems for the 3D steady axially symmetric Navier-Stokes equations

abstract: In this note, we investigate the 3D steady axially symmetric Navier-Stokes equations, and obtained Liouville type theorems if the velocity or the vorticity satisfies some a priori decay assumptions.


title: Creating small circular, elliptical, and triangular droplets of quark-gluon plasma

abstract: The experimental study of the collisions of heavy nuclei at relativistic energies has established the properties of the quark-gluon plasma (QGP), a state of hot, dense nuclear matter in which quarks and gluons are not bound into hadrons. In this state, matter behaves as a nearly inviscid fluid that efficiently translates initial spatial anisotropies into correlated momentum anisotropies among the produced particles, producing a common velocity field pattern known as collective flow. In recent years, comparable momentum anisotropies have been measured in small-system proton-proton ($p$$+$$p$) and proton-nucleus ($p$$+$$A$) collisions, despite expectations that the volume and lifetime of the medium produced would be too small to form a QGP. Here, we report on the observation of elliptic and triangular flow patterns of charged particles produced in proton-gold ($p$$+$Au), deuteron-gold ($d$$+$Au), and helium-gold ($^3$He$+$Au) collisions at a nucleon-nucleon center-of-mass energy $\sqrt{s_{_{NN}}}$~=~200 GeV. The unique combination of three distinct initial geometries and two flow patterns provides unprecedented model discrimination. Hydrodynamical models, which include the formation of a short-lived QGP droplet, provide a simultaneous description of these measurements.


title: Massively Parallel Algorithms for Finding Well-Connected Components in Sparse Graphs

abstract: A fundamental question that shrouds the emergence of massively parallel computing (MPC) platforms is how can the additional power of the MPC paradigm be leveraged to achieve faster algorithms compared to classical parallel models such as PRAM? Previous research has identified the sparse graph connectivity problem as a major obstacle to such improvement: While classical logarithmic-round PRAM algorithms for finding connected components in any $n$-vertex graph have been known for more than three decades, no $o(\log{n})$-round MPC algorithms are known for this task with truly sublinear in $n$ memory per machine. This problem arises when processing massive yet sparse graphs with $O(n)$ edges, for which the interesting setting of parameters is $n^{1-\Omega(1)}$ memory per machine. It is conjectured that achieving an $o(\log{n})$-round algorithm for connectivity on general sparse graphs with $n^{1-\Omega(1)}$ per-machine memory may not be possible, and this conjecture also forms the basis for multiple conditional hardness results on the round complexity of other problems in the MPC model. We take an opportunistic approach towards the sparse graph connectivity problem, by designing an algorithm with improved performance guarantees in terms of the connectivity structure of the input graph. Formally, we design an algorithm that finds all connected components with spectral gap at least $\lambda$ in a graph in $O(\log\log{n} + \log{(1/\lambda)})$ MPC rounds and $n^{\Omega(1)}$ memory per machine. As such, this algorithm achieves an exponential round reduction on sparse "well-connected" components (i.e., $\lambda \geq 1/\text{polylog}{(n)}$) using only $n^{\Omega(1)}$ memory per machine and $\widetilde{O}(n)$ total memory, and still operates in $o(\log n)$ rounds even when $\lambda = 1/n^{o(1)}$.


title: Solution to a collisionless shallow-angle magnetic presheath with kinetic ions

abstract: Using a kinetic model for the ions and adiabatic electrons, we solve a steady state, electron-repelling magnetic presheath in which a uniform magnetic field makes a small angle $\alpha \ll 1$ (in radians) with the wall. The presheath characteristic thickness is the typical ion gyroradius $\rho_{\text{i}}$. The Debye length $\lambda_{\text{D}}$ and the collisional mean free path of an ion $\lambda_{\text{mfp}}$ satisfy the ordering $\lambda_{\text{D}} \ll \rho_{\text{i}} \ll \alpha \lambda_{\text{mfp}}$, so a quasineutral and collisionless model is used. We assume that the electrostatic potential is a function only of distance from the wall, and it varies over the scale $\rho_{\text{i}}$. Using the expansion in $\alpha \ll 1$, we derive an analytical expression for the ion density that only depends on the ion distribution function at the entrance of the magnetic presheath and the electrostatic potential profile. Importantly, we have added the crucial contribution of the orbits in the region near the wall. By imposing the quasineutrality equation, we derive a condition that the ion distribution function must satisfy at the magnetic presheath entrance --- the kinetic equivalent of the Chodura condition. Using an ion distribution function at the entrance of the magnetic presheath that satisfies the kinetic Chodura condition, we find numerical solutions for the self-consistent electrostatic potential, ion density and flow across the magnetic presheath for several values of $\alpha$. Our numerical results also include the distribution of ion velocities at the Debye sheath entrance. We find that at small values of $\alpha$ there are substantially fewer ions travelling with a large normal component of the velocity into the wall.


title: Topological Contributions to the Anomalous Nernst and Hall Effect in the Chiral Double-Helimagnetic System

abstract: MnP and FeP are show complex magnetic spiral states with geometric phase contributions to the anomalous Hall effect and the topological Hall effect, where both have thermoelectric Nernst counterparts. We use state of the art first principle calculations to show that both Hall and Nernst effects are enhanced in MnP and FeP due to the temperature dependent magnetic texture. At ambient pressure the inversion breaking crystals shows a transition from a double-spiral helimagnetic phase to a topologically trivial magnetic phase. This helimagnetic structure is determined by exchange frustration and the Dzyaloshinskii-Moriya interaction. In the presence of an external magnetic field the magnetic structure transforms into a fan-like phase with a finite spin chirality that gives rise to an effective magnetic field on the order $\sim$1 T. The topological Hall and Nernst effect from this field are comparable or larger to tightly-wound skyrmion systems. Lastly, we show that the topological effects are strongly dependent on the Fermi surface topology, which has strong variations and even sign changes for similar magnetic textures.


title: A Simple and Efficient Strategy for the Coin Weighing Problem with a Spring Scale

abstract: This paper considers a generalized version of the coin weighing problem with a spring scale that lies at the intersection of group testing and compressed sensing problems. Given a collection of $n\geq 2$ coins of total weight $d$ (for a known integer $d$), where the weight of each coin is an unknown integer in the range of $\{0,1,\dots,k\}$ (for a known integer $k\geq 1$), the problem is to determine the weight of each coin by weighing subsets of coins in a spring scale. The goal is to minimize the average number of weighings over all possible weight configurations. For $d=k=1$, an adaptive bisecting weighing strategy is known to be optimal. However, even the case of $d=k=2$, which is the simplest non-trivial case of the problem, is still open. For this case, we propose and analyze a simple and effective adaptive weighing strategy. A numerical evaluation of the exact recursive formulas, derived for the analysis of the proposed strategy, shows that this strategy requires about ${1.365\log_2 n -0.5}$ weighings on average. To the best of our knowledge, this is the first non-trivial achievable upper bound on the minimum expected required number of weighings for the case of $d=k=2$. As $n$ grows unbounded, the proposed strategy, when compared to an optimal strategy within the commonly-used class of nested strategies, requires about $31.75\%$ less number of weighings on average; and in comparison with the information-theoretic lower bound, it requires at most about $8.16\%$ extra number of weighings on average.


title: Bielliptic smooth plane curves and quadratic points

abstract: Let $C_k$ be a smooth projective curve over a global field $k$, which is neither rational nor elliptic. Harris-Silverman, when $p=0$, and Schweizer, when $p>0$ together with an extra condition on the Jacobian variety $\operatorname{Jac}(C_k)$ arising from Mordell's conjecture, showed that $C$ has infinitely many quadratic points over some finite field extension $L/k$ inside $\overline{k}$ (a fixed algebraic closure of $k$) if and only if $C$ is hyperelliptic or bielliptic. Now, let $C_k$ be a smooth plane curve of a fixed degree $d\geq4$ with $p=0$ or $p>(d-1)(d-2)+1$ (up to an extra condition on $\operatorname{Jac}(C_k)$ in positive characteristic). Then, we prove that $C_k$ admits always finitely many quadratic points unless $d=4$. A so-called \emph{geometrically complete families} for the different strata of smooth bielliptic plane quartic curves by their automorphism groups, are given. Interestingly, we show (in a very simple way) that there are only finitely many quadratic extensions $k(\sqrt{D})$ of a fixed number field $k$, in which we may have more solutions to the Fermat's and the Klein's equations of degree $d\geq5$; $X^d+Y^d-Z^d=0$ and $X^{d-1}Y+Y^{d-1}Z+Z^{d-1}X=0$ respectively, than these over $k$ (the same holds for any non-singular projective plane equation of degree $d\geq 5$ over $k$, and also in general when $k$ is a global field after imposing an extra condition on $\operatorname{Jac}(C_k)$).


title: Schwarz lemma and distortion for harmonic functions via length and area

abstract: We give sharp estimates for distortion of harmonic by means of area and length of the corresponding surface.


title: A Poincar\'e-Birkhoff theorem for Hamiltonian flows on nonconvex domains

abstract: We present a higher-dimensional version of the Poincar\'e-Birkhoff theorem which applies to Poincar\'e time maps of Hamiltonian systems. The maps under consideration are neither required to be close to the identity nor to have a monotone twist. The annulus is replaced by the product of an $N$-dimensional torus and the interior of a $(N-1)$-dimensional (not necessarily convex) embedded sphere; on the other hand, the classical boundary twist condition is replaced by an avoiding rays condition.


title: Quantitative modeling of complex molecular response in coherent cavity-enhanced dual-comb spectroscopy

abstract: We present a complex-valued electric field model for experimentally observed cavity transmission in coherent cavity-enhanced (CE) multiplexed spectroscopy (i.e., dual-comb spectroscopy, DCS). The transmission model for CE-DCS differs from that previously derived for Fourier-transform CE direct frequency comb spectroscopy [Foltynowicz et al., Appl. Phys. B 110, 163-175 (2013)] by the treatment of the local oscillator which, in the case of CE-DCS, does not interact with the enhancement cavity. Validation is performed by measurements of complex-valued near-infrared spectra of CO and CO$_2$ by an electro-optic frequency comb coherently coupled to an enhancement cavity of finesse $F=19600$. Following validation, we measure the $30012\leftarrow00001$ $^{12}$C$^{16}$O$_2$ vibrational band origin with a combined standard uncertainty of 770 kHz (fractional uncertainty of $4\times10^{-9}$).


title: Price-based Resource Allocation for Edge Computing: A Market Equilibrium Approach

abstract: The emerging edge computing paradigm promises to deliver superior user experience and enable a wide range of Internet of Things (IoT) applications. In this work, we propose a new market-based framework for efficiently allocating resources of heterogeneous capacity-limited edge nodes (EN) to multiple competing services at the network edge. By properly pricing the geographically distributed ENs, the proposed framework generates a market equilibrium (ME) solution that not only maximizes the edge computing resource utilization but also allocates optimal (i.e., utility-maximizing) resource bundles to the services given their budget constraints. When the utility of a service is defined as the maximum revenue that the service can achieve from its resource allotment, the equilibrium can be computed centrally by solving the Eisenberg-Gale (EG) convex program. drawn from the economics literature. We further show that the equilibrium allocation is Pareto-optimal and satisfies desired fairness properties including sharing incentive, proportionality, and envy-freeness. Also, two distributed algorithms are introduced, which efficiently converge to an ME. When each service aims to maximize its net profit (i.e., revenue minus cost) instead of the revenue, we derive a novel convex optimization problem and rigorously prove that its solution is exactly an ME. Extensive numerical results are presented to validate the effectiveness of the proposed techniques.


title: Augmenting Recurrent Neural Networks with High-Order User-Contextual Preference for Session-Based Recommendation

abstract: The recent adoption of recurrent neural networks (RNNs) for session modeling has yielded substantial performance gains compared to previous approaches. In terms of context-aware session modeling, however, the existing RNN-based models are limited in that they are not designed to explicitly model rich static user-side contexts (e.g., age, gender, location). Therefore, in this paper, we explore the utility of explicit user-side context modeling for RNN session models. Specifically, we propose an augmented RNN (ARNN) model that extracts high-order user-contextual preference using the product-based neural network (PNN) in order to augment any existing RNN session model. Evaluation results show that our proposed model outperforms the baseline RNN session model by a large margin when rich user-side contexts are available.


title: Effects of the Dzyaloshinsky-Moriya interaction on nonequilibrium thermodynamics in the $XY$ chain in a transverse field

abstract: We examine the effects of the Dzyaloshinsky-Moriya (DM) interaction on the nonequilibrium thermodynamics in an anisotropic $XY$ spin chain, which is driven out of equilibrium by a sudden quench of the control parameter of the Hamiltonian. By analytically evaluating the statistical properties of the work distribution and the irreversible entropy production, we investigate the influences of the DM interaction on the nonequilibrium thermodynamics of the system with different parameters at various temperatures. We find that depending on the anisotropy of the system and the temperature, the DM interaction may have different impacts on the nonequilibrium thermodynamics. Interestingly, the critical line induced by the DM interaction can be revealed via the properties of the nonequilibrium thermodynamics. In addition, our results suggest that the strength of the DM interaction can be detected experimentally by studying the nonequilibrium thermodynamics.


title: Towards QCD-assisted hydrodynamics for heavy-ion collision phenomenology

abstract: Heavy-ion collisions are well described by a dynamical evolution with a long hydrodynamical phase. In this phase the properties of the strongly coupled quark-gluon plasma are reflected in the equation of state (EoS) and the transport coefficients, most prominently by the shear and bulk viscosity over entropy density ratios $\eta$/s(T) and $\zeta$/s(T), respectively. While the EoS is by now known to a high accuracy, the transport coefficients and in particular their temperature and density dependence are not well known from first-principle computations yet, as well as the possible influence they can have once used in hydrodynamical simulations. In this work, the most recent QCD-based parameters are provided as input to the MUSIC framework. A ratio $\eta$/s(T) computed with a QCD based approach is used for the first time \cite{Haas:2013hpa,Christiansen:2014ypa}. The IP-Glasma model is used to describe the initial energy density distribution, and UrQMD for the dilute hadronic phase. Simulations are performed for Pb--Pb collisions at $\sqrt{s_{\rm NN}}$ = 2.76 TeV, for different centrality intervals. The resulting kinematic distributions of the particles produced in the collisions are compared to data from the LHC, for several experimental observables. The high precision of the experimental results and the broad variety of observables considered allow to critically verify the quality of the description based on first-principle input to the hydrodynamic evolution.


title: The meet of incommutable projection operators contradicts Burnside's theorem

abstract: In contrast to conjunctions of commutable projection operators unambiguously represented by their meets, the mathematical representation of conjunctions of incommutable projection operators is a question that has yet to be solved. This question relates to another asking whether the set of the column spaces of the projection operators, commutable and incommutable alike, forms a lattice. As it is demonstrated in the paper, if the Hilbert space is finite, the column spaces of the incommutable projection operators cannot be elements of one partially ordered set in accordance with Burnside's theorem on matrix algebras.


title: Relativistic Gurzhi effect in channels of Dirac materials

abstract: Charge transport in channel-shaped 2D Dirac systems is studied employing the Boltzmann equation. The dependence of the resistivity on temperature and chemical potential is investigated. An accurate understanding of the influence of electron-electron interaction and material disorder allows us to identify a parameter regime, where the system reveals hydrodynamic transport behavior. We point out the conditions for three Dirac fermion specific features: heat flow hydrodynamics, pseudo\-diffusive transport, and the electron-hole scattering dominated regime. It is demonstrated that for clean samples the relativistic Gurzhi effect, a definite indicator of hydrodynamic transport, can be observed.


title: Hierarchical inference for genome-wide association studies: a view on methodology with software

abstract: We provide a view on high-dimensional statistical inference for genome-wide association studies (GWAS). It is in part a review but covers also new developments for meta analysis with multiple studies and novel software in terms of an R-package hierinf. Inference and assessment of significance is based on very high-dimensional multivariate (generalized) linear models: in contrast to often used marginal approaches, this provides a step towards more causal-oriented inference.


title: On Secure Exact-repair Regenerating Codes with a Single Pareto Optimal Point

abstract: The problem of exact-repair regenerating codes against eavesdropping attack is studied. The eavesdropping model we consider is that the eavesdropper has the capability to observe the data involved in the repair of a subset of $\ell$ nodes. An $(n,k,d,\ell)$ secure exact-repair regenerating code is an $(n,k,d)$ exact-repair regenerating code that is secure under this eavesdropping model. It has been shown that for some parameters $(n,k,d,\ell)$, the associated optimal storage-bandwidth tradeoff curve, which has one corner point, can be determined. The focus of this paper is on characterizing such parameters. We establish a lower bound $\hat{\ell}$ on the number of wiretap nodes, and show that this bound is tight for the case $k = d = n-1$.


title: Almost sure error bounds for data assimilation in dissipative systems with unbounded observation noise

abstract: Data assimilation is uniquely challenging in weather forecasting due to the high dimensionality of the employed models and the nonlinearity of the governing equations. Although current operational schemes are used successfully, our understanding of their long-term error behaviour is still incomplete. In this work, we study the error of some simple data assimilation schemes in the presence of unbounded (e.g. Gaussian) noise on a wide class of dissipative dynamical systems with certain properties, including the Lorenz models and the 2D incompressible Navier-Stokes equations. We exploit the properties of the dynamics to derive analytic bounds on the long-term error for individual realisations of the noise in time. These bounds are proportional to the amplitude of the noise. Furthermore, we find that the error exhibits a form of stationary behaviour, and in particular an accumulation of error does not occur. This improves on previous results in which either the noise was bounded or the error was considered in expectation only.


title: Differential Equations for Modeling Asynchronous Algorithms

abstract: Asynchronous stochastic gradient descent (ASGD) is a popular parallel optimization algorithm in machine learning. Most theoretical analysis on ASGD take a discrete view and prove upper bounds for their convergence rates. However, the discrete view has its intrinsic limitations: there is no characterization of the optimization path and the proof techniques are induction-based and thus usually complicated. Inspired by the recent successful adoptions of stochastic differential equations (SDE) to the theoretical analysis of SGD, in this paper, we study the continuous approximation of ASGD by using stochastic differential delay equations (SDDE). We introduce the approximation method and study the approximation error. Then we conduct theoretical analysis on the convergence rates of ASGD algorithm based on the continuous approximation. There are two methods: moment estimation and energy function minimization can be used to analyze the convergence rates. Moment estimation depends on the specific form of the loss function, while energy function minimization only leverages the convex property of the loss function, and does not depend on its specific form. In addition to the convergence analysis, the continuous view also helps us derive better convergence rates. All of this clearly shows the advantage of taking the continuous view in gradient descent algorithms.


title: Coherence and compatibility: a stronger approach

abstract: In this work we present a definition for coherence and compatibility of multilinear mappings and homogenous polynomial classes. These definitions are more restricted than the ones proposed before. We began analyzing this new definition in a technical sense, searching for what it has in common with other approaches. Then, we moved on to a more practical analysis. Through numerous examples of different classes of multilinear mappings and homogenous polynomials we checked the limits on these proposed definitions and propose there is a vast field in which they apply.


title: Bayesian models in geographic profiling

abstract: We consider the problem of geographic profiling and offer an approach to choosing a suitable model for each offender. Based on the analysis of the examined dataset, we divide offenders into several types with similar behavior. According to the spatial distribution of the offender's crime sites, each new criminal is assigned to the corresponding group. Then we choose an appropriate model for the offender and using Bayesian methods we determine the posterior distribution for the criminal's anchor point. Our models include directionality, similar to models of Mohler and Short (2012). Our approach also provides a way to incorporate two possible situations into the model - when the criminal is a resident or a non-resident. We test this methodology on a real data set of offenders from Baltimore County and compare the results with Rossmo's approach. Our approach leads to substantial improvement over Rossmo's method, especially in the presence of non-residents.


title: Online Connected Dominating Set Leasing

abstract: We introduce the \emph{Online Connected Dominating Set Leasing} problem (OCDSL) in which we are given an undirected connected graph $G = (V, E)$, a set $\mathcal{L}$ of lease types each characterized by a duration and cost, and a sequence of subsets of $V$ arriving over time. A node can be leased using lease type $l$ for cost $c_l$ and remains active for time $d_l$. The adversary gives in each step $t$ a subset of nodes that need to be dominated by a connected subgraph consisting of nodes active at time $t$. The goal is to minimize the total leasing costs. OCDSL contains the \emph{Parking Permit Problem}~\cite{PPP} as a special subcase and generalizes the classical offline \emph{Connected Dominating Set} problem~\cite{Guha1998}. It has an $\Omega(\log ^2 n + \log |\mathcal{L}|)$ randomized lower bound resulting from lower bounds for the \emph{Parking Permit Problem} and the \emph{Online Set Cover} problem~\cite{Alon:2003:OSC:780542.780558,Korman}, where $|\mathcal{L}|$ is the number of available lease types and $n$ is the number of nodes in the input graph. We give a randomized $\mathcal{O}(\log ^2 n + \log |\mathcal{L}| \log n)$-competitive algorithm for OCDSL. We also give a deterministic algorithm for a variant of OCDSL in which the dominating subgraph need not be connected, the \emph{Online Dominating Set Leasing} problem. The latter is based on a simple primal-dual approach and has an $\mathcal{O}(|\mathcal{L}| \cdot \Delta)$-competitive ratio, where $\Delta$ is the maximum degree of the input graph.


title: A Spiking Neural Dynamical Drift-Diffusion Model on Collective Decision Making with Self-Organized Criticality

abstract: This article proposes a novel collective decision making scheme to solve the multi-agent drift-diffusion-model problem with the help of spiking neural networks. The exponential integrate-and-fire model is used here to capture the individual dynamics of each agent in the system, and we name this new model as Exponential Decision Making (EDM) model. We demonstrate analytically and experimentally that the gating variable for instantaneous activation follows Boltzmann probability distribution, and the collective system reaches meta-stable critical states under the Markov chain premises. With mean field analysis, we derive the global criticality from local dynamics and achieve a power law distribution. Critical behavior of EDM exhibits the convergence dynamics of Boltzmann distribution, and we conclude that the EDM model inherits the property of self-organized criticality, that the system will eventually evolve toward criticality.


title: Moir\'{e} Photo Restoration Using Multiresolution Convolutional Neural Networks

abstract: Digital cameras and mobile phones enable us to conveniently record precious moments. While digital image quality is constantly being improved, taking high-quality photos of digital screens still remains challenging because the photos are often contaminated with moir\'{e} patterns, a result of the interference between the pixel grids of the camera sensor and the device screen. Moir\'{e} patterns can severely damage the visual quality of photos. However, few studies have aimed to solve this problem. In this paper, we introduce a novel multiresolution fully convolutional network for automatically removing moir\'{e} patterns from photos. Since a moir\'{e} pattern spans over a wide range of frequencies, our proposed network performs a nonlinear multiresolution analysis of the input image before computing how to cancel moir\'{e} artefacts within every frequency band. We also create a large-scale benchmark dataset with $100,000^+$ image pairs for investigating and evaluating moir\'{e} pattern removal algorithms. Our network achieves state-of-the-art performance on this dataset in comparison to existing learning architectures for image restoration problems.


title: Category-Based Deep CCA for Fine-Grained Venue Discovery from Multimodal Data

abstract: In this work, travel destination and business location are taken as venues. Discovering a venue by a photo is very important for context-aware applications. Unfortunately, few efforts paid attention to complicated real images such as venue photos generated by users. Our goal is fine-grained venue discovery from heterogeneous social multimodal data. To this end, we propose a novel deep learning model, Category-based Deep Canonical Correlation Analysis (C-DCCA). Given a photo as input, this model performs (i) exact venue search (find the venue where the photo was taken), and (ii) group venue search (find relevant venues with the same category as that of the photo), by the cross-modal correlation between the input photo and textual description of venues. In this model, data in different modalities are projected to a same space via deep networks. Pairwise correlation (between different modal data from the same venue) for exact venue search and category-based correlation (between different modal data from different venues with the same category) for group venue search are jointly optimized. Because a photo cannot fully reflect rich text description of a venue, the number of photos per venue in the training phase is increased to capture more aspects of a venue. We build a new venue-aware multimodal dataset by integrating Wikipedia featured articles and Foursquare venue photos. Experimental results on this dataset confirm the feasibility of the proposed method. Moreover, the evaluation over another publicly available dataset confirms that the proposed method outperforms state-of-the-arts for cross-modal retrieval between image and text.


title: Peristaltic elastic instability in an inflated cylindrical channel

abstract: A long cylindrical cavity through a soft solid forms a soft microfluidic channel, or models a vascular capillary. We observe experimentally that, when such a channel bears a pressurized fluid, it first dilates homogeneously, but then becomes unstable to a peristaltic elastic instability. We combine theory and numerics to fully characterize the instability in a channel through a bulk neo-Hookean solid, showing that instability occurs supercritically with wavelength $2\pi/k=12.278....a$ when the pressure exceeds $2.052....\mu$. In finite solids, the threshold pressure is reduced, and peristalsis is followed by a second instability which shears the peristaltic shape breaking axisymmetry. These instabilities shows that, counterintuitively, if a pipe runs through a bulk solid, the bulk solid can be destabilizing rather than stabilizing at high pressures. They also offers a route to fabricate periodically undulating channels, producing waveguides with photonic/phononic stop bands.

categories: cond-mat.soft nlin.PS physics.bio-ph physics.flu-dyn


title: On the number of vertex-disjoint cycles in digraphs

abstract: Let $k$ be a positive integer. Bermond and Thomassen conjectured in 1981 that every digraph with minimum outdegree at least $2k-1$ contains $k$ vertex-disjoint cycles. It is famous as one of the one hundred unsolved problems selected in [Bondy, Murty, Graph Theory, Springer-Verlag London, 2008]. Lichiardopol, Por and Sereni proved in [SIAM J. Discrete Math. 23 (2) (2009) 979-992] that the above conjecture holds for $k=3$. Let $g$ be the girth, i.e., the length of the shortest cycle, of a given digraph. Bang-Jensen, Bessy and Thomass\'{e} conjectured in [J. Graph Theory 75 (3) (2014) 284-302] that every digraph with girth $g$ and minimum outdegree at least $\frac{g}{g-1}k$ contains $k$ vertex-disjoint cycles. Thomass\'{e} conjectured around 2005 that every oriented graph (a digraph without 2-cycles) with girth $g$ and minimum outdegree at least $h$ contains a path of length $h(g-1)$, where $h$ is a positive integer. In this note, we first present a new shorter proof of the Bermond-Thomassen conjecture for the case of $k=3$, and then we disprove the conjecture proposed by Bang-Jensen, Bessy and Thomass\'{e}. Finally, we disprove the even girth case of the conjecture proposed by Thomass\'{e}.


title: An Implementation of List Successive Cancellation Decoder with Large List Size for Polar Codes

abstract: Polar codes are the first class of forward error correction (FEC) codes with a provably capacity-achieving capability. Using list successive cancellation decoding (LSCD) with a large list size, the error correction performance of polar codes exceeds other well-known FEC codes. However, the hardware complexity of LSCD rapidly increases with the list size, which incurs high usage of the resources on the field programmable gate array (FPGA) and significantly impedes the practical deployment of polar codes. To alleviate the high complexity, in this paper, two low-complexity decoding schemes and the corresponding architectures for LSCD targeting FPGA implementation are proposed. The architecture is implemented in an Altera Stratix V FPGA. Measurement results show that, even with a list size of 32, the architecture is able to decode a codeword of 4096-bit polar code within 150 us, achieving a throughput of 27Mbps


title: Disruption of circumstellar discs by large-scale stellar magnetic fields

abstract: Spectropolarimetric surveys reveal that 8-10\% of OBA stars harbor large-scale magnetic fields, but thus far no such fields have been detected in any classical Be stars. Motivated by this, we present here MHD simulations for how a pre-existing Keplerian disc -- like that inferred to form from decretion of material from rapidly rotating Be stars -- can be disrupted by a rotation-aligned stellar dipole field. For characteristic stellar and disc parameters of a near-critically rotating B2e star, we find that a polar surface field strength of just 10 G can significantly disrupt the disc, while a field of 100 G, near the observational upper limit inferred for most Be stars, completely destroys the disc over just a few days. Our parameter study shows that the efficacy of this magnetic disruption of a disc scales with the characteristic plasma beta {(defined as the ratio between thermal and magnetic pressure)} in the disc, but is surprisingly insensitive to other variations, e.g. in stellar rotation speed, or the mass loss rate of the star's radiatively driven wind. The disc disruption seen here for even a modest field strength suggests that the presumed formation of such Be discs by decretion of material from the star would likely be strongly inhibited by such fields; this provides an attractive explanation for why no large-scale fields are detected from such Be stars.


title: NeuRec: On Nonlinear Transformation for Personalized Ranking

abstract: Modeling user-item interaction patterns is an important task for personalized recommendations. Many recommender systems are based on the assumption that there exists a linear relationship between users and items while neglecting the intricacy and non-linearity of real-life historical interactions. In this paper, we propose a neural network based recommendation model (NeuRec) that untangles the complexity of user-item interactions and establishes an integrated network to combine non-linear transformation with latent factors. We further design two variants of NeuRec: user-based NeuRec and item-based NeuRec, by concentrating on different aspects of the interaction matrix. Extensive experiments on four real-world datasets demonstrated their superior performances on personalized ranking task.


title: On linear relations for Dirichlet series formed by recursive sequences of second order

abstract: Let $F_n$ and $L_n$ be the Fibonacci and Lucas numbers, respectively. Four corresponding zeta functions in $s$ are defined by \[\zeta_F(s) \,:=\, \sum_{n=1}^{\infty} \frac{1}{F_n^s}\,,\quad \zeta_F^*(s) \,:=\,\sum_{n=1}^{\infty} \frac{{(-1)}^{n+1}}{F_n^s}\,,\quad \zeta_L(s) \,:=\, \sum_{n=1}^{\infty} \frac{1}{L_n^s}\,,\quad \zeta_L^*(s) \,:=\, \sum_{n=1}^{\infty} \frac{{(-1)}^{n+1}}{L_n^s} \,.\] For positive integers $s$ the transcendence of these values is known as well as algebraic independence or dependence results for sets of these numbers. In this paper, we investigate linear forms in the above zeta functions and determine the dimension of linear spaces spanned by such linear forms. In particular, it is established that for any positive integer $m$ the solutions of \[\sum_{s=1}^m \big( \,t_s\zeta_F(2s) + u_s\zeta_F^*(2s) + v_s\zeta_L(2s) + w_s\zeta_L^*(2s) \,\big) \,=\, 0 \] with $t_{s},u_{s},v_{s},w_{s} \in \mathbb{Q}$ $(1\leq s\leq m)$ form a $\mathbb{Q}$-vector space of dimension $m$. This proves a conjecture from the Ph.D. thesis of M. Stein, who, in 2012, was inspired by the relation $-2\zeta_F(2)+\zeta_F^*(2)+5\zeta_L^*(2)=0$. All the results are also true for zeta functions in $s$ where the Fibonacci and Lucas numbers are replaced by numbers from sequences satisfying a second order recurrence formula.


title: Understanding the enhanced synchronization of delay-coupled networks with fluctuating topology

abstract: We study the dynamics of networks with coupling delay, from which the connectivity changes over time. The synchronization properties are shown to depend on the interplay of three time scales: the internal time scale of the dynamics, the coupling delay along the network links and time scale at which the topology changes. Concentrating on a linearized model, we develop an analytical theory for the stability of a synchronized solution. In two limit cases the system can be reduced to an "effective" topology: In the fast switching approximation, when the network fluctuations are much faster than the internal time scale and the coupling delay, the effective network topology is the arithmetic mean over the different topologies. In the slow network limit, when the network fluctuation time scale is equal to the coupling delay, the effective adjacency matrix is the geometric mean over the adjacency matrices of the different topologies. In the intermediate regime the system shows a sensitive dependence on the ratio of time scales, and specific topologies, reproduced as well by numerical simulations. Our results are shown to describe the synchronization properties of fluctuating networks of delay-coupled chaotic maps.


title: Pushing Fast and Slow: Task-Adaptive Planning for Non-prehensile Manipulation Under Uncertainty

abstract: We propose a planning and control approach to physics-based manipulation. The key feature of the algorithm is that it can adapt to the accuracy requirements of a task, by slowing down and generating `careful' motion when the task requires high accuracy, and by speeding up and moving fast when the task tolerates inaccuracy. We formulate the problem as an MDP with action-dependent stochasticity and propose an approximate online solution to it. We use a trajectory optimizer with a deterministic model to suggest promising actions to the MDP, to reduce computation time spent on evaluating different actions. We conducted experiments in simulation and on a real robotic system. Our results show that with a task-adaptive planning and control approach, a robot can choose fast or slow actions depending on the task accuracy and uncertainty level. The robot makes these decisions online and is able to maintain high success rates while completing manipulation tasks as fast as possible.


title: Efficient online learning for large-scale peptide identification

abstract: Motivation: Post-database searching is a key procedure in peptide dentification with tandem mass spectrometry (MS/MS) strategies for refining peptide-spectrum matches (PSMs) generated by database search engines. Although many statistical and machine learning-based methods have been developed to improve the accuracy of peptide identification, the challenge remains on large-scale datasets and datasets with an extremely large proportion of false positives (hard datasets). A more efficient learning strategy is required for improving the performance of peptide identification on challenging datasets. Results: In this work, we present an online learning method to conquer the challenges remained for exiting peptide identification algorithms. We propose a cost-sensitive learning model by using different loss functions for decoy and target PSMs respectively. A larger penalty for wrongly selecting decoy PSMs than that for target PSMs, and thus the new model can reduce its false discovery rate on hard datasets. Also, we design an online learning algorithm, OLCS-Ranker, to solve the proposed learning model. Rather than taking all training data samples all at once, OLCS-Ranker iteratively feeds in only one training sample into the learning model at each round. As a result, the memory requirement is significantly reduced for large-scale problems. Experimental studies show that OLCS-Ranker outperforms benchmark methods, such as CRanker and Batch-CS-Ranker, in terms of accuracy and stability. Furthermore, OLCS-Ranker is 15--85 times faster than CRanker method on large datasets. Availability and implementation: OLCS-Ranker software is available at no charge for non-commercial use at https://github.com/Isaac-QiXing/CRanker.


title: Orbital angular momentum induced by nonabsorbing optical elements through space-variant polarization-state manipulations

abstract: To manipulate orbital angular momentum (OAM) carried by light beams, there is a great interest in designing various optical elements from the deep-ultraviolet to the microwave. Normally, the OAM variation introduced by optical elements can be attributed to two terms, namely the dynamic and geometric phases. Up till now, the dynamic contribution induced by optical elements has been clearly recognized. However, the contribution of geometric phase still seems obscure, especially considering the vector vortex beams. In this work, an analytical formula is derived to fully describe the OAM variation introduced by the nonabsorbing optical elements, which perform space-variant polarization-state manipulations. It is found that the geometric contribution can be further divided into two parts: one is directly related to optical elements and the other one explicitly relies solely on the vortices before and after the transformations. Based on this result, the same OAM variation can be achieved with different combinations of the dynamic and/or geometric contributions. With numerical simulations, it is shown that transformation of the optical vortices can be fully and flexibly designed with a family of optical elements. We believe that these results are helpful to understand the effect of optical elements and offer a new perspective to design the optical elements for manipulating the OAM carried by light beams.


title: Confinement Admits Chiral Symmetry Breaking via Bag

abstract: In this paper, it is pointed out for the first time that the linear effective potential between quarks is intrinsically relating to the bag model while concerning the asymptotically-free nature of colours. Based on the relationship we employ the symmetry method to analyze the quark-anti-quark system. For the tight bound system, one of the quark and anti-quark becomes the bag itself. By imposing the Poincare invariance on the quark-anti-quark bound-state, and translating the chiral transformation to its spatial manifestation, we can infer why the chiral symmetry breaking happens. Applying this knowledge to deep inelastic scattering we reach the conclusion that the measured proton spin in scattering experiments should be uncertain quantity.


title: On Non-Reducible Multi-Player Control Problems and their Numerical Computation

abstract: In this article we consider a special class of Nash equilibrium problems that cannot be reduced to a single player control problem. Problems of this type can be solved by a semi-smooth Newton method. Applying results from the established convergence analysis we derive superlinear convergence for the associated Newton method and the equivalent active-set method. We also provide detailed finite element discretizations for both methods. Several numerical examples are presented to support the theoretical findings.


title: Estimating the rate of field line braiding in the solar corona by photospheric flows

abstract: In this paper we seek to understand the timescale on which the photospheric motions on the Sun braid coronal magnetic field lines. This is a crucial ingredient for determining the viability of the braiding mechanism for explaining the high temperatures observed in the corona. We study the topological complexity induced in the coronal magnetic field, primarily using plasma motions extracted from magneto-convection simulations. This topological complexity is quantified using the field line winding, finite time topological entropy and passive scalar mixing. With these measures we contrast mixing efficiencies of the magneto-convection simulation, a benchmark flow known as a ``blinking vortex', and finally photospheric flows inferred from sequences of observed magnetograms using local correlation tracking. While the highly resolved magneto-convection simulations induce a strong degree of field line winding and finite time topological entropy, the values obtained from the observations from the plage region are around an order of magnitude smaller. This behavior is carried over to the finite time topological entropy. Nevertheless, the results suggest that the photospheric motions induce complex tangling of the coronal field on a timescale of hours.


title: Modeling, Simulation and Fairness Analysis of Wi-Fi and Unlicensed LTE Coexistence

abstract: Coexistence of small-cell LTE and Wi-Fi networks in unlicensed bands at $5$ GHz is a topic of active interest, primarily driven by industry groups affiliated with the two (cellular and Wi-Fi) segments. A notable alternative to the 3GPP Rel. 13 defined LTE-Licensed Assisted Access (LTE-LAA) mechanism for coexistence is the unlicensed LTE (LTE-U) Forum \cite{lteuforum} that prescribed Carrier Sense Adaptive Transmission (CSAT) whereby LTE utilizes the unlicensed band as a supplemental downlink unlicensed carrier (to enhance downlink data rate) to normal operation using licensed spectrum. In this work, we provide a new analytical model for performance analysis of unlicensed LTE with fixed duty cycling (LTE-DC) in coexistence with Wi-Fi. Further, the analytical results are cross-validated with ns-3 (www.nsnam.org) based simulation results using a newly developed coexistence stack. Thereafter, notions of {\em fair coexistence} are investigated that can be achieved by tuning the LTE duty cycle. The results show that as the number of Wi-Fi nodes increases, the Wi-Fi network in coexistence with LTE-DC with 0.5 duty cycling achieves a higher throughput than with an identical Wi-Fi network.


title: Disorder effects on the coupling strength of coupled photonic crystal slab cavities

abstract: We study the effects of disorder on the coupling strength of coupled photonic crystal slab cavities by considering fully-3D electromagnetic calculations. Specifically, we investigate two coupled L3 cavities at 30{\deg} and 60{\deg} configurations, where the coupling strength J (or photon hopping) is extracted from the simulations in the presence of disorder. We found that the relative fluctuations of the photon hopping are more sensitive to disorder effects than the corresponding fluctuations in the eigenfrequencies of the coupled cavities. Furthermore, for the typical range of disorder in state-of-the-art devices, the J fluctuations are found to increase linearly as a function of the disorder amplitude. This allows to set upper bounds to the amplitude of fabrication imperfections, for which the coupling predicted by design can still be expected, on average, in a fabricated device.


title: Supersymmetric Preons and the Standard Model

abstract: The experimental fact that standard model superpartners have not been observed compels one to consider an alternative implementation for supersymmetry. The basic supermultiplet proposed here consists of a photon and a charged spin 1/2 preon field, and their superpartners. These fields are shown to yield the standard model fermions, Higgs fields and gauge symmetries. Supersymmetry is defined for unbound preons only. Quantum group SLq(2) representations are introduced to classify topologically scalars, preons, quarks and leptons.


title: Effects of energy dependent spacetime on geometrical thermodynamics and heat engine of black holes: gravity's rainbow

abstract: Inspired by applications of gravity's rainbow in UV completion of general relativity, we investigate charged topological black holes in gravity's rainbow and show that depending on the values of different parameters, these solutions may encounter with black hole solutions with two horizons, extreme black hole (one horizon) or naked singularity (without horizon). First, we obtain black hole solutions, calculate thermodynamical quantities of the system and check the first law of thermodynamics. Then, we study the thermodynamical behavior of the system including thermal stability and phase transitions. In addition, we employ geometrical thermodynamics to probe phase transition points and limits on having physical solutions. Finally, we obtain heat engines corresponding to these black holes. The goal is to see how black holes' parameters such as topological factor and rainbow functions would affect efficiency of the heat engines.


title: Analysis with observational constraints in $ \Lambda $-cosmology in $f(R,T)$ gravity

abstract: An exact cosmological solution of Einstein field equations (EFEs) is derived for a dynamical vacuum energy in $f(R,T)$ gravity for Friedmann-Lemaitre-Robertson-Walker (FLRW) space-time. A parametrization of the Hubble parameter is used to find a deterministic solution of EFE. The cosmological dynamics of our model is discussed in detail. We have analyzed the time evolution of physical parameters and obtained their bounds analytically. Moreover, the behavior of these parameters are shown graphically in terms of redshift $`z'$. Our model is consistent with the formation of structure in the Universe. The role of the $f(R,T)$ coupling constant $\lambda$ is discussed in the evolution of the equation of state parameter. The statefinder and Om diagnostic analysis is used to distinguish our model with other dark energy models. The maximum likelihood analysis has been reviewed to obtain the constraints on the Hubble parameter $H_0$ and the model parameter $n$ by taking into account the observational Hubble data set $H(z)$, the Union 2.1 compilation data set $SNeIa$, the Baryon Acoustic Oscillation data $BAO$, and the joint data set $H(z)$ + $ SNeIa$ and $H(z)$ + $SNeIa$ + $BAO $. It is demonstrated that the model is in good agreement with various observations.


title: Axial momentum for the relativistic Majorana particle

abstract: The Hilbert space of states of the relativistic Majorana particle consists of normalizable bispinors with real components, and the usual momentum operator $- i \nabla$ can not be defined in this space. For this reason, we introduce the axial momentum operator, $ - i \gamma_5 \nabla$ as a new observable for this particle. In the Heisenberg picture, the axial momentum contains a component which oscillates with the amplitude proportional to $m/E$, where $E$ is the energy and $m$ the mass of the particle. The presence of the oscillations discriminates between the massive and massless Majorana particle. We show how the eigenvectors of the axial momentum, called the axial plane waves, can be used as a basis for obtaining the general solution of the evolution equation, also in the case of free Majorana field. Here a novel feature is a coupling of modes with the opposite momenta, again present only in the case of massive particle or field.


title: Boer-Mulders effect in the unpolarized pion induced Drell-Yan process at COMPASS within TMD factorization

abstract: We investigate the theoretical framework of the $\cos 2\phi$ azimuthal asymmetry contributed by the coupling of two Boer-Mulders functions in the dilepton production unpolarized $\pi p$ Drell-Yan process by applying the transverse momentum dependent factorization at leading order. We adopt the model calculation results of the unpolarized distribution function $f_1$ and Boer-Mulders function $h_1^\perp$ of pion meson from the light-cone wave functions. We take into account the transverse momentum evolution effects for both the distribution functions of pion and proton by adopting the existed extraction of the nonperturbative Sudakov form factor for the pion and proton distribution functions. An approximate kernel is included to deal with the energy dependence of the Boer-Mulders function related twist-3 correlation function $T_{q,F}^{(\sigma)}(x,x)$ needed in the calculation. We numerically estimate the Boer-Mulders asymmetry $\nu_{BM}$ as the functions of $x_p$, $x_\pi$, $x_F$ and $q_T$ considering the kinematics at COMPASS Collaboration.


title: The cosmological constant problem or how the quantum vacuum drives the slow accelerating expansion of the Universe

abstract: I argue that a solution to the cosmological constant problem is to assume that the expectation value of the quantum vacuum stress-energy tensor is proportional to the metric tensor with a negative energy density and positive pressure. This assumption is confirmed by an explicit calculation of the vacuum expectation for the free electromagnetic and Dirac fields of quantum electrodynamics. As a consequence the metric of the universe might correspond to a FLRW with accelerating expansion only after averaging over large scales, but at small scales it gives rise to an extremely rapid fluctuation between expansion and contraction in every small region, with different phases in different points. The vacuum stress-energy tensor has fluctuations that lead to short periods of expansion. A calculation with plausible approximations leads to an estimate of the accelerating expansion that fits in the observed value.


title: Solutions of the fractional Schr\"odinger equation via diagonalization - A plea for the harmonic oscillator basis part 1: the one dimensional case

abstract: A covariant non-local extention if the stationary Schr\"odinger equation is presented and it's solution in terms of Heisenbergs's matrix quantum mechanics is proposed. For the special case of the Riesz fractional derivative, the calculation of corresponding matrix elements for the non-local kinetic energy term is performed fully analytically in the harmonic oscillator basis and leads to a new interpretation of non local operators in terms of generalized Glauber states. As a first application, for the fractional harmonic oscillator the potential energy matrix elements are calculated and the and the corresponding Schr\"odinger equation is diagonalized. For the special case of invariance of the non-local wave equation under Fourier-transforms a new symmetry is deduced, which may be interpreted as an extension of the standard parity-symmetry.


title: A Time-Dependent Model of Dark Energy Based on Four-Dimensional Continuous Deformation Theory

abstract: In this article, we investigate the mechanism of cosmological expansion and inflation by modeling dark energy as a four-dimensional continuous medium, with its elastic deformation described by a four-dimensional vector field. We demonstrate that when the bulk modulus of this cosmological medium is $K = 1.64 \times 10^{109} \text{ N}\cdot\text{m}^{-2}$, the dark energy density, corresponding to the stress-energy associated with the deformation of the medium, decreases by a factor of $\sim 10^{122}$ while the scaling factor expands from $\sim 10^{-60}$ to $\sim 10^{-32}$ over approximately $10^{-42}$ seconds during cosmological inflation in the early universe. Our analysis suggests three potential new physical phenomena for future investigation: detecting longitudinal modes of elastic waves, examining discrepancies in the redshift of light from the early universe, and fitting supernova curves using the parameters introduced in our model.


title: On perturbation theory for the Sturm-Liouville problem, Part II

abstract: I study some possibilities of analytically solving a particular Sturm-Liouville problem with step-wise (piece-constant) coefficients with help of an iterative procedure mentioned in my previous paper (Green's function sum rules). I construct short, simple, but very accurate analytical formulae for calculating the ground state eigenvalue and eigenfunction as well as for calculating the first eigenfunction. I study numerical precision of the obtained approximations together with the perturbation theory results.


title: A species-clustered ODE solver for large-scale chemical kinetics using detailed mechanisms

abstract: In this study, a species-clustered ordinary differential equations (ODE) solver for chemical kinetics with large detailed mechanisms based on operator-splitting is presented. The ODE system is split into clusters of species by using graph partition methods which has been intensively studied in areas of model reduction, parameterization and coarse-graining, etc. , such as diffusion maps based on the concept of Markov random walk. Definition of the weight (similarity) matrix is application-driven and according to chemical kinetics. Each cluster of species is then integrated by VODE, an implicit solver which is intractable and costly for large systems of many species and reactions. Expected speedup in computational efficiency is observed by numerical experiments on three zero-dimensional (0D) auto-ignition problems, considering the detailed hydrocarbon/air combustion mechanisms in varying scales, from 53 species with 325 reactions of methane to 2115 species with 8157 reactions of n-hexadecane.


title: Cm-wavelength observations of MWC758: resolved dust trapping in a vortex

abstract: The large crescents imaged by ALMA in transition disks suggest that azimuthal dust trapping concentrates the larger grains, but centimetre-wavelengths continuum observations are required to map the distribution of the largest observable grains. A previous detection at ~1cm of an unresolved clump along the outer ring of MWC758 (Clump1), and buried inside more extended sub-mm continuum, motivates followup VLA observations. Deep multiconfiguration integrations reveal the morphology of Clump 1 and additional cm-wave components which we characterize via comparison with a deconvolution of recent 342GHz data (~1mm). Clump1, which concentrates ~1/3 of the whole disk flux density at ~1cm, is resolved as a narrow arc with a deprojected aspect ratio Chi>5.6, and with half the azimuthal width than at 342 GHz. The spectral trends in the morphology of Clump1 are quantitatively consistent with the Lyra-Lin prescriptions for dust trapping in an anticyclonic vortex, provided with porous grains (f~0.2+-0.2) in a very elongated (Chi~14+-3) and cold (T~23+-2K) vortex. The same prescriptions constrain the turbulence parameter alpha and the gas surface density Sigma_g through log10( alpha x Sigma_g /g/cm2)~-2.3+-0.4, thus requiring values for Sigma_g larger than a factor of a few compared to that reported in the literature from the CO isotopologues, if alpha <~ 1E-3. Such physical conditions imply an appreciably optically thick continuum even at cm-wavelengths (tau(33GHz)~0.2). A secondary and shallower peak at 342GHz is about twice fainter relative to Clump1 at 33GHz. Clump2 appears to be less efficient at trapping large grains.


title: Asymptotically Optimal One-Bit Quantizer Design for Weak-signal Detection in Generalized Gaussian Noise and Lossy Binary Communication Channel

abstract: In this paper, quantizer design for weak-signal detection under arbitrary binary channel in generalized Gaussian noise is studied. Since the performances of the generalized likelihood ratio test (GLRT) and Rao test are asymptotically characterized by the noncentral chi-squared probability density function (PDF), the threshold design problem can be formulated as a noncentrality parameter maximization problem. The theoretical property of the noncentrality parameter with respect to the threshold is investigated, and the optimal threshold is shown to be found in polynomial time with appropriate numerical algorithm and proper initializations. In certain cases, the optimal threshold is proved to be zero. Finally, numerical experiments are conducted to substantiate the theoretical analysis.


title: A fast adhesive discrete element method for random packings of fine particles

abstract: Introducing a reduced particle stiffness in discrete element method (DEM) allows for bigger time steps and therefore fewer total iterations in a simulation. Although this approach works well for dry non-adhesive particles, it has been shown that for fine particles with adhesion, system behaviors are drastically sensitive to the particle stiffness. Besides, a simple and applicable principle to set the parameters in adhesive DEM is also lacking. To solve these two problems, we first propose a fast DEM based on scaling laws to reduce particle Young's modulus, surface energy and to modify rolling and sliding resistances simultaneously in the framework of Johnson-Kendall-Roberts (JKR)-based contact theory. A novel inversion method is then presented to help users to quickly determine the damping coefficient, particle stiffness and surface energy to reproduce a prescribed experimental result. After validating this inversion method, we apply the fast adhesive DEM to packing problems of microparticles. Measures of packing fraction, averaged coordination number and distributions of local packing fraction and contact number of each particle are in good agreement with results simulated using original value of particle properties. The new method should be helpful to accelerate DEM simulations for systems associated with aggregates or agglomerates.


title: Hamiltonian formalism and constraint analysis of three-form matter models coupled with general relativity

abstract: A Hamiltonian analysis of models given by a three-form field with a generic potential coupled to general relativity in four dimensions is performed. This kind of fields are naturally present in string theory and cosmological scenarios. In particular, the action that will be considered has been extensively used during the last years to propose inflationary and dark energy models. Nevertheless, in order to keep the discussion as generic as possible, neither symmetries nor a specific form of the potential for the three-form field will be imposed. Interesting and relevant results about the number of dynamical degrees of freedom of these models are obtained. In addition, the analogy with a weakly-coupled scalar field is discussed. Finally, as a particular example of this generic framework, the homogeneous and isotropic cosmological case will be presented.


title: Information Storage in the Stochastic Ising Model

abstract: Most information storage devices write data by modifying the local state of matter, in the hope that sub-atomic local interactions stabilize the state for sufficiently long time, thereby allowing later recovery. Motivated to explore how temporal evolution of physical states in magnetic storage media affects their capacity, this work initiates the study of information retention in locally-interacting particle systems. The system dynamics follow the stochastic Ising model (SIM) over a 2-dimensional $\sqrt{n}\times\sqrt{n}$ grid. The initial spin configuration $X_0$ serves as the user-controlled input. The output configuration $X_t$ is produced by running $t$ steps of Glauber dynamics. Our main goal is to evaluate the information capacity $I_n(t):=\max_{p_{X_0}}I(X_0;X_t)$ when time $t$ scales with the system's size $n$. While the positive (but low) temperature regime is our main interest, we start by exploring the simpler zero-temperature dynamics. We first show that at zero temperature, order of $\sqrt{n}$ bits can be stored in the system indefinitely by coding over stable, striped configurations. While $\sqrt{n}$ is order optimal for infinite time, backing off to $t<\infty$, higher orders of $I_n(t)$ are achievable. First, linear coding arguments imply that $I_n(t) = \Theta(n)$ for $t=O(n)$. To go beyond the linear scale, we develop a droplet-based achievability scheme that reliably stores $\Omega\left(n/\log n\right)$ for $t=O(n\log n)$ time ($\log n$ can be replaced with any $o(n)$ function). Moving to the positive but low temperature regime, two main results are provided. First, we show that an initial configuration drawn from the Gibbs measure cannot retain more than a single bit for $t\geq \exp(C\beta n^{1/4+\epsilon})$ time. On the other hand, when scaling time with the inverse temperature $\beta$, the stripe-based coding scheme is shown to retain its bits for $e^{c\beta}$.


title: Decidability of the existential fragment of some infinitely generated trace monoids: an application to ordinals

abstract: Diekert, Matiyasevich and Muscholl proved that the existential first-order theory of a trace monoid over a finite alphabet is decidable. We extend this result to a natural class of trace monoids with infinitely many generators. As an application, we prove that for every ordinal $\lambda$ less than $\varepsilon_0$, the existential theory of the set of successor ordinals less than $\lambda$ equipped with multiplication is decidable.


title: Some Order-Theoretic Properties of the Zeros of the Zeta Function

abstract: The (partially) ordered set of the non-trivial zeros of the zeta function with positive imaginary parts is considered. The order is the coordinatewise order inherited from $\mathbb{C}$. Some interesting properties regarding the minimal elements of this poset are proven.


title: A subgradient-based approach for finding the maximum feasible subsystem with respect to a set

abstract: We propose a subgradient-based method for finding the maximum feasible subsystem in a collection of closed sets with respect to a given closed set $C$ (MFS$_C$). In this method, we reformulate the MFS$_C$ problem as an $\ell_0$ optimization problem and construct a sequence of continuous optimization problems to approximate it. The objective of each approximation problem is the sum of the composition of a nonnegative nondecreasing continuously differentiable concave function with the squared distance function to a closed set. Although this objective function is nonsmooth in general, a subgradient can be obtained in terms of the projections onto the closed sets. Based on this observation, we adapt a subgradient projection method to solve these approximation problems. Unlike classical subgradient methods, the convergence (clustering to stationary points) of our subgradient method is guaranteed with a {\em nondiminishing stepsize} under mild assumptions. This allows us to further study the sequential convergence of the subgradient method under suitable Kurdyka-{\L}ojasiewicz assumptions. Finally, we illustrate our algorithm numerically for solving the MFS$_C$ problems on a collection of halfspaces and a collection of unions of halfspaces, respectively, with respect to the set of $s$-sparse vectors.


title: On unitary representations of disconnected real reductive groups

abstract: Let $G$ be the real reductive group and let $G_0$ be the identity component. Let us assume that the unitary dual $\hat{G_0}$ is known. In this paper (in Section 5) the unitary dual $\hat{G}$ is constructed. Automorphisms of $G_0$ generated by elements of $G$ are the main ingredient of the construction. If the automorphism is outer, one has to consider the corresponding intertwining operators $S$. Operators $S$ and their properties are analyzed in Section 4. Automorphisms of $g_0$ are closely related to automorphisms of $G_0$. They are investigated in Section 3. Automorphisms of so(4,4)$ are analyzed in Subsection 3.1.


title: Interacting Hopf Algebras: the theory of linear systems

abstract: As first main contribution, this thesis characterises the PROP SVk of linear subspaces over a field k - an important domain of interpretation for circuit diagrams appearing in diverse research areas. We present by generators and equations the PROP IH of string diagrams whose free model is SVk. IH stands for interacting Hopf algebras: its equations arise by distributive laws between Hopf algebras, which we obtain using Lack's technique for composing PROPs. The significance of the result is two-fold. First, it offers a canonical diagrammatic syntax for linear algebra: linear maps, kernels, subspaces, etc... are all faithfully represented in the graphical language. Second, the equations of IH describe familiar algebraic structures - Hopf algebras and Frobenius algebras - which are at the heart of graphical formalisms as seemingly diverse as quantum circuits, signal flow graphs, simple electrical circuits and Petri nets. Our characterisation enlightens the provenance of these axioms and reveals their linear algebraic nature. Our second main contribution is an application of IH to the semantics of signal processing circuits. We develop a formal theory of signal flow graphs, featuring a diagrammatic circuit syntax, a structural operational semantics and a denotational semantics. We prove completeness of the equations of IH for denotational equivalence. Also, we study full abstraction: it turns out that the purely operational picture is too concrete - two denotationally equal graphs may exhibit different operational behaviour. We classify the ways in which this can occur and show that any graph can be realised - rewritten, using the equations of IH, into an executable form where the operational behaviour and the denotation coincide. This realisability theorem suggests a reflection about the role of causality in the semantics of signal flow graphs and, more generally, of computing devices.


title: Efficient Design of Hardware-Enabled Reservoir Computing in FPGAs

abstract: In this work, we propose a new approach towards the efficient optimization and implementation of reservoir computing hardware reducing the required domain expert knowledge and optimization effort. First, we adapt the reservoir input mask to the structure of the data via linear autoencoders. We therefore incorporate the advantages of dimensionality reduction and dimensionality expansion achieved by conventional algorithmically efficient linear algebra procedures of principal component analysis. Second, we employ evolutionary-inspired genetic algorithm techniques resulting in a highly efficient optimization of reservoir dynamics with dramatically reduced number of evaluations comparing to exhaustive search. We illustrate the method on the so-called single-node reservoir computing architecture, especially suitable for implementation in ultrahigh-speed hardware. The combination of both methods and the resulting reduction of time required for performance optimization of a hardware system establish a strategy towards machine learning hardware capable of self-adaption to optimally solve specific problems. We confirm the validity of those principles building reservoir computing hardware based on a field-programmable gate array.


title: New boundary monodromy matrices for classical sigma models

abstract: The 2d principal models without boundaries have $G\times G$ symmetry. The already known integrable boundaries have either $H\times H$ or $G_{D}$ symmetries, where $H$ is such a subgroup of $G$ for which $G/H$ is a symmetric space while $G_{D}$ is the diagonal subgroup of $G\times G$. These boundary conditions have a common feature: they do not contain free parameters. We have found new integrable boundary conditions for which the remaining symmetry groups are either $G\times H$ or $H\times G$ and they contain one free parameter. The related boundary monodromy matrices are also described.


title: Time travel in vacuum spacetimes

abstract: The possibility of time travel through the geodesics of vacuum solutions in first order gravity is explored. We present explicit examples of such geometries, which contain degenerate as well as nondegenerate tetrad fields that are sewn together continuously over different regions of the spacetime. These classical solutions to the field equations satisfy the energy conditions.


title: Ideal Relative Flow Distribution on Directed Network

abstract: In this paper we propose a new concept to prioritize the importance of a link in a directed network graph based on an ideal flow distribution. An ideal flow is the infinite limit of relative aggregated count of random walk agents' trajectories on a network graph distributed over space and time. The standard ideal flow, which is uniformly distributed flow over space and time, maximize the entropy for the utilization of a network. We show that the simulated trajectories of random walk agents would form an ideal relative flow distribution is converged to stationary values. This implies that ideal flow matrix depends only on the network structure. Ideal flow matrix is invariant to scalar multiplication and remarkably it is always premagic. Demonstration of ideal flow to the real world network was fitted into Sioux Falls transportation network.


title: Statistical description of massless excitations within a sphere with a linear equation of state and the dark energy case

abstract: In this paper we continue the investigations present in \cite{1}-\cite{3}. In particular, we extend the theorem proved in \cite{3} to any massless excitation in a given spherical box. As a first interesting result, we show that it is possible, contrary to the black hole case studied in detail in \cite{1,2,3}, to build macroscopic configurations with a dark energy equation of state. To this purpose, by requiring a stable configuration, a macroscopic dark fluid is obtained with an internal energy $U$ scaling as the volume $V$, but with a fundamental correction looking like $\sim 1/R$ motivated by quantum fluctuations. Thanks to the proposition in section 3 (and in \cite{3} for gravitons), one can depict the dark energy in terms of massless excitations with a discrete spectrum. This fact open the possibility to test a possible physical mechanism converting usual radiation into dark energy in a macroscopic configuration, also in a cosmological context. In fact, for example, in a Friedmann flat universe with a cosmological constant particles are marginally trapped at the Hubble horizon for any given comoving observer.