title: Acoustic scaling of linear and mode-coupled anisotropic flow; implications for precision extraction of the specific shear viscosity

abstract: The $\mathrm{n^{th}}$-order linear flow coefficients $\mathrm{v^L_n \, (n=2,3,4,5)}$, and the corresponding nonlinear mode-coupled ($\mathrm{mc}$) coefficients $\mathrm{v^{mc}_{4,(2,2)}}$, $\mathrm{v^{mc}_{5,(2,3)}}$, $\mathrm{v^{mc}_{6,(3,3)}}$ and $\mathrm{v^{mc}_{6,(2,2,2)}}$, are studied for Pb+Pb collisions at $\sqrt{s_{_{\rm NN}}} = 2.76$ TeV. Both sets of coefficients indicate a common acoustic scaling pattern of exponential viscous modulation, with a rate proportional to the square of the harmonic numbers and the mean transverse momenta (respectively), and inversely proportional to the cube root of the charged particle multiplicity ($\mathrm{(N_{ch})^{1/3}}$), that characterizes the dimensionless size of the systems produced in the collisions. These patterns and their associated scaling parameters, provide new stringent constraints for eccentricity independent estimates of the specific shear viscosity ($\eta/s$) and the viscous correction to the thermal distribution function for the matter produced in the collisions. They also give crucial constraints for extraction of the initial-state eccentricity spectrum.


title: Numerical construction and critical behavior of Kaluza-Klein black holes

abstract: The idea of extra dimensions provides a promising approach to overcome various problems in modern physics. This includes theoretical as well as phenomenological aspects, such as the unification of the fundamental interactions or the hierarchy problem. Based on the seminal works by Kaluza and Klein that were published nearly 100 years ago, we denote theories with at least one compact periodic dimension as Kaluza-Klein theories. From a gravitational point of view the question arises, what are the fundamental solutions to Einstein's field equations of general relativity under these assumptions. In particular, in this work we are concerned with black hole solutions in Kaluza-Klein theory. Considering only the static case without electric charge, it turns out that there is a much richer phase space than in the usual four-dimensional theory, where only the Schwarzschild solution exists. There are at least two types of solutions with a completely different horizon topology: localized black holes with an ordinary spherical horizon and black strings with a horizon that wraps the compact dimension. Several arguments favor the conjecture that the solution branches of both types are connected via a singular topology changing solution that is controlled by the so-called double-cone metric. We study the regime close to this singular transit solution in five and six spacetime dimensions with the help of a highly accurate numerical scheme that we describe in detail. Consequently, for the first time we are able to show that in this regime the black objects exhibit a critical behavior, indicating that physical quantities are governed by universal critical exponents. Such exponents were already derived from the double-cone metric. We show that our data confirms these values extremely well. This provides compelling evidence in favor of the double-cone metric as the local model of the transit solution.


title: Twist-3 contributions to wide-angle photoproduction of pions

abstract: We investigate wide-angle pi^0 photoproduction within the handbag approach to twist-3 accuracy. In contrast to earlier work both the 2-particle as well as the 3-particle twist-3 contributions are taken into account. It is shown that both are needed for consistent results that respect gauge invariance and crossing properties. The numerical studies reveal the dominance of the twist-3 contribution. With it fair agreement with the recent CLAS measurement of the pi^0 cross section is obtained. We briefly comment also on wide-angle photoproduction of other pseudoscalar mesons.


title: The quest for Casimir repulsion between Chern-Simons surfaces

abstract: In this paper we critically reconsider the Casimir repulsion between surfaces that carry the Chern-Simons interaction (corresponding to the Hall type conductivity). We present a derivation of the Lifshitz formula valid for arbitrary planar geometries and discuss its properties. This analysis allows us to resolve some contradictions in the previous literature. We compute the Casimir energy for two surfaces that have constant longitudinal and Hall conductivities. The repulsion is possible only if both surfaces have Hall conductivities of the same sign. However, there is a critical value of the longitudinal conductivity above which the repulsion disappears. We also consider a model where both parity odd and parity even terms in the conductivity are produced by the polarization tensor of surface modes. In contrast to the previous publications L. Chen and S.-L. Wan, Phys. Rev. B84, 075149 (2011); B85, 115102 (2012), we include the parity anomaly term. This term ensures that the conductivities vanish for infinitely massive surface modes. We find that at least for a single mode regardless of the sign and value of its mass, there is no Casimir repulsion.


title: Study of Rydberg blockade in thermal vapor

abstract: We present the experimental demonstration of Rydberg blockade in thermal atomic vapor where the atoms are not necessarily be frozen. We show that not all the interacting atoms but only the atoms with same velocity collectively participate in the blockade process. Using this observation, we formulated a suitable model based on super atom picture to study blockade interaction in thermal vapor. We performed an experiment to measure Rydberg population in rubidium thermal vapor using optical heterodyne detection technique and density dependent suppression of Rydberg population is observed in suitable experimental parameter regime. Further analysis of the experimental data using the model verifies the scaling law for van der Waals interaction strength $(C_{6})$ with principal quantum number of the Rydberg state with $11\%$ error. Our result suggests multi-photon excitation in thermal vapor with suitable laser configuration to probe Rydberg blockade interaction based optical nonlinearity and many body effects.


title: Ultrafast perturbation maps as a quantitative tool for testing of multi-port photonic devices

abstract: Advanced photonic probing techniques are of great importance for the development of non-contact wafer-scale testing of photonic chips. Ultrafast photomodulation has been identified as a powerful new tool capable of remotely mapping photonic devices through a scanning perturbation. Here, we develop photomodulation maps into a quantitative technique through a general and rigorous method based on Lorentz reciprocity that allows the prediction of transmittance perturbation maps for arbitrary linear photonic systems with great accuracy and minimal computational cost. Excellent agreement is obtained between predicted and experimental maps of various optical multimode-interference devices, thereby allowing direct comparison of a device under test with a physical model of an ideal design structure. In addition to constituting a promising route for optical testing in photonics manufacturing, ultrafast perturbation mapping may be used for design optimization of photonic structures with reconfigurable functionalities.


title: Limit cycles of a Li\'enard system with symmetry allowing for discontinuity

abstract: This paper presents new results on the limit cycles of a Li\'enard system with symmetry allowing for discontinuity. Our results generalize and improve the results in [33,34]. The results in [34] are only valid for the smooth system. We emphasize that our main results are valid for discontinuous systems. Moreover, we show the presence and an explicit upper bound for the amplitude of the two limit cycles, and we estimate the position of the double-limit-cycle bifurcation surface in the parameter space. Until now, there is no result to determine the amplitude of the two limit cycles. The existing results on the amplitude of limit cycles guarantee that the Li\'enard system has a unique limit cycle. Finally, some applications and examples are provided to show the effectiveness of our results. We revisit a co-dimension-3 Li\'enard oscillator (see [21,32]) in Application 1. Li and Rousseau [21] studied the limit cycles of such a system when the parameters are small. However, for the general case of the parameters (in particular, the parameters are large), the upper bound of the limit cycles remains open. We completely provide the bifurcation diagram for the one-equilibrium case. Moreover, we determine the amplitude of the two limit cycles and estimate the position of the double-limit-cycle bifurcation surface for the one-equilibrium case. Application 2 is presented to study the limit cycles of a class of the Filippov system.


title: Group Theoretical Hidden Structure of Supergravity Theories in Higher Dimensions

abstract: The purpose of my PhD thesis is to investigate different group theoretical and geometrical aspects of supergravity theories. To this aim, several research topics are explored: On one side, the construction of supergravity models in diverse space-time dimensions, including the study of boundary contributions, and the disclosure of the hidden gauge structure of these theories; on the other side, the analysis of the algebraic links among different superalgebras related to supergravity theories. In the first three chapters, we give a general introduction and furnish the theoretical background necessary for a clearer understanding of the thesis. We then move to the original results of my PhD research activity: We start from the development of the so called $AdS$-Lorentz supergravity in $D=4$ by adopting the so called rheonomic approach and discuss on boundary contributions to the theory. Subsequently, we focus on the analysis of the hidden gauge structure of supersymmetric Free Differential Algebras. More precisely, we concentrate on the hidden superalgebras underlying $D=11$ and $D=7$ supergravities, exploring the symmetries hidden in the theories and the physical role of the nilpotent fermionic generators naturally appearing in the aforementioned superalgebras. After that, we move to the pure algebraic and group theoretical description of (super)algebras, focusing on new analytic formulations of the so called $S$-expansion method. The final chapter contains the summary of the results of my doctoral studies presented in the thesis and possible future developments. In the Appendices, we collect notation, useful formulas, and detailed calculations.


title: Size-based termination of higher-order rewriting

abstract: We provide a general and modular criterion for the termination of simply-typed $\lambda$ -calculus extended with function symbols defined by user-defined rewrite rules. Following a work of Hughes, Pareto and Sabry for functions defined with a fixpoint operator and pattern-matching, several criteria use typing rules for bounding the height of arguments in function calls. In this paper, we extend this approach to rewriting-based function definitions and more general user-defined notions of size.


title: Learning High-level Representations from Demonstrations

abstract: Hierarchical learning (HL) is key to solving complex sequential decision problems with long horizons and sparse rewards. It allows learning agents to break-up large problems into smaller, more manageable subtasks. A common approach to HL, is to provide the agent with a number of high-level skills that solve small parts of the overall problem. A major open question, however, is how to identify a suitable set of reusable skills. We propose a principled approach that uses human demonstrations to infer a set of subgoals based on changes in the demonstration dynamics. Using these subgoals, we decompose the learning problem into an abstract high-level representation and a set of low-level subtasks. The abstract description captures the overall problem structure, while subtasks capture desired skills. We demonstrate that we can jointly optimize over both levels of learning. We show that the resulting method significantly outperforms previous baselines on two challenging problems: the Atari 2600 game Montezuma's Revenge, and a simulated robotics problem moving the ant robot through a maze.


title: A Helium-Surface Interaction Potential of Bi$_2$Te$_3$(111) from Ultrahigh-Resolution Spin-Echo Measurements

abstract: We have determined an atom-surface interaction potential for the He$-$Bi$_2$Te$_3$(111) system by analysing ultrahigh resolution measurements of selective adsorption resonances. The experimental measurements were obtained using $^3$He spin-echo spectrometry. Following an initial free-particle model analysis, we use elastic close-coupling calculations to obtain a three-dimensional potential. The three-dimensional potential is then further refined based on the experimental data set, giving rise to an optimised potential which fully reproduces the experimental data. Based on this analysis, the He$-$Bi$_2$Te$_3$(111) interaction potential can be described by a corrugated Morse potential with a well depth $D=(6.22\pm0.05)~\mathrm{meV}$, a stiffness $\kappa =(0.92\pm0.01)~\mathrm{\AA}^{-1}$ and a surface electronic corrugation of $(9.6\pm0.2)$% of the lattice constant. The improved uncertainties of the atom-surface interaction potential should also enable the use in inelastic close-coupled calculations in order to eventually study the temperature dependence and the line width of selective adsorption resonances.


title: A variational approach to Navier-Stokes

abstract: We present a variational resolution of the incompressible Navier-Stokes system by means of stabilized Weighted-Inertia-Dissipation-Energy (WIDE) functionals. The minimization of these parameter-dependent functionals corresponds to an elliptic-in-time regularization of the system. By passing to the limit in the regularization parameter along subsequences of WIDE minimizers one recovers a classical Leray-Hopf weak solution.


title: Harmonic functions, conjugate harmonic functions and the Hardy space $H^1$ in the rational Dunkl setting

abstract: In this work we extend the theory of the classical Hardy space $H^1$ to the rational Dunkl setting. Specifically, let $\Delta$ be the Dunkl Laplacian on a Euclidean space $\mathbb{R}^N$. On the half-space $\mathbb{R}_+\times\mathbb{R}^N$, we consider systems of conjugate $(\partial_t^2+\Delta_{\mathbf{x}})$-harmonic functions satisfying an appropriate uniform $L^1$ condition. We prove that the boundary values of such harmonic functions, which constitute the real Hardy space $H^1$, can be characterized in several different ways, namely by means of atoms, Riesz transforms, maximal functions or Littlewood-Paley square functions.


title: Classical Lie symmetries and reductions for a generalized NLS equation in 2+1 dimensions

abstract: A non-isospectral linear problem for an integrable 2+1 generalization of the non linear Schr\"odinger equation, which includes dispersive terms of third and fourth order, is presented. The classical symmetries of the Lax pair and the related reductions are carefully studied. We obtain several reductions of the Lax pair that yield in some cases non-isospectral problems in 1+1 dimensions.


title: On the computation of Shannon Entropy from Counting Bloom Filters

abstract: In this short note a method for computing the naive plugin estimator of discrete entropy from a counting Bloom filter will be presented. The method does work reasonably as long as the collision probability in the bloom filter is kept low.


title: Non-perturbative method to compute thermal correlations in one-dimensional systems

abstract: We develop a highly efficient method to numerically simulate thermal fluctuations and correlations in non-relativistic continuous bosonic one-dimensional systems. The method is suitable for arbitrary local interactions as long as the system remains dynamically stable. We start by proving the equivalence of describing the systems through the transfer matrix formalism and a Fokker-Planck equation for a distribution evolving in space. The Fokker-Planck equation is known to be equivalent to a stochastic differential (It\={o}) equation. The latter is very suitable for computer simulations, allowing the calculation of any desired correlation function. As an illustration, we apply our method to the case of two tunnel-coupled quasi-condensates of bosonic atoms. The results are compared to the predictions of the sine-Gordon model for which we develop analytic expressions directly from the transfer matrix formalism.


title: $PI$-eigenfunctions of the Star graphs

abstract: We consider the symmetric group $\mathrm{Sym}_n,\,n\geqslant 2$, generated by the set $S$ of transpositions $(1~i),\,2 \leqslant i \leqslant n$, and the Cayley graph $S_n=Cay(\mathrm{Sym}_n,S)$ called the Star graph. For any positive integers $n\geqslant 3$ and $m$ with $n > 2m$, we present a family of $PI$-eigenfunctions of $S_n$ with eigenvalue $n-m-1$. We establish a connection of these functions with the standard basis of a Specht module. In the case of largest non-principal eigenvalue $n-2$ we prove that any eigenfunction of $S_n$ can be reconstructed by its values on the second neighbourhood of a vertex.


title: Nonlinear Breit-Wheeler pair creation with bremsstrahlung $\gamma$ rays

abstract: Electron-positron pairs are produced through the Breit-Wheeler process when energetic photons traverse electromagnetic fields of sufficient strength. Here we consider a possible experimental geometry for observation of pair creation in the highly nonlinear regime, in which bremsstrahlung of an ultrarelativistic electron beam in a high-$Z$ target is used to produce $\gamma$ rays that collide with a counterpropagating laser pulse. We show how the target thickness may be chosen to optimize the yield of Breit-Wheeler positrons, and verify our analytical predictions with simulations of the cascade in the material and in the laser pulse. The electron beam energy and laser intensity required are well within the capability of today's high-intensity laser facilities.


title: Before Name-calling: Dynamics and Triggers of Ad Hominem Fallacies in Web Argumentation

abstract: Arguing without committing a fallacy is one of the main requirements of an ideal debate. But even when debating rules are strictly enforced and fallacious arguments punished, arguers often lapse into attacking the opponent by an ad hominem argument. As existing research lacks solid empirical investigation of the typology of ad hominem arguments as well as their potential causes, this paper fills this gap by (1) performing several large-scale annotation studies, (2) experimenting with various neural architectures and validating our working hypotheses, such as controversy or reasonableness, and (3) providing linguistic insights into triggers of ad hominem using explainable neural network architectures.


title: Chern forms of hermitian metrics with analytic singularities on vector bundles

abstract: We define Chern and Segre forms, or rather currents, associated with a Griffiths positive singular hermitian metric $h$ with analytic singularities on a holomorphic vector bundle $E$. The currents are constructed as pushforwards of generalized Monge-Amp\`ere products on the projectivization of $E$. The Chern and Segre currents represent the Chern and Segre classes of $E$, respectively, and coincide with the Chern and Segre forms of $E$ and $h$, where $h$ is smooth. Moreover, our currents coincide with the Chern and Segre forms constructed by the first three authors and Ruppenthal in the cases when these are defined.


title: On the evolutionary status of high-latitude variable V534 Lyr

abstract: Based on the high resolution spectral monitoring conducted at the 6-m BTA telescope, we study the optical spectrum of the high-latitude variable V534 Lyr. Heliocentric radial velocities Vr corresponding to the positions of all metal absorption components, as well as the NaI D and H$\alpha$ lines were measured during all the observational dates. The analysis of the velocity field examining the lines of various nature revealed a low-amplitude variability of Vr based on the lines with a high excitation potential, which are formed in deep layers of the stellar atmosphere, and allowed to estimate the systemic velocity of Vsys$\approx-125$ km/s (V(lsr)$\approx-105$ km/s). The distance estimate of d$\approx$6 kpc for the star leads us to its absolute magnitude of Mv$\approx -5.3^{m}$, what corresponds to the MK spectral classification. The previously undetected for this star spectral phenomenon was revealed: at certain times a splitting of the profiles of low-excited absorptions is observed, reaching $\Delta$Vr=20$\div$50 km/s. A combination of the parameters: reduced metallicity [Met/H]$_{\odot}=-0.28$, increased nitrogen abundance [N/Fe]=+1.10, large spatial velocity, high luminosity, a strong variability of the emission-absorption profiles of HI lines, splitting of metal absorptions at different observation moments and the variability of the velocity field in the atmosphere allow us to consider V534 Lyr as a pulsating star in the instability band near the HB and belonging to the thick disk of our Galaxy.


title: Suppression of photo-oxidation of organic chromophores by strong coupling to plasmonic nanoantennas

abstract: Intermixed light-matter quasiparticles - polaritons - possess unique optical properties owned to their compositional nature. These intriguing hybrid states have been extensively studied over the past decades in a wide range of realizations aiming at both basic science and emerging applications. However, recently it has been demonstrated that not only optical, but also material-related properties, such as chemical reactivity and charge transport, may be significantly altered in the strong coupling regime of light-matter interactions. Here, we show that a nanoscale system, comprised of a plasmonic nanoprism strongly coupled to excitons in J-aggregated form of organic chromophores, experiences modified excited state dynamics and therefore modified photo-chemical reactivity. Our experimental results reveal that photobleaching, one of the most fundamental photochemical reactions, can be effectively controlled and suppressed by the degree of plasmon-exciton coupling and detuning. In particular, we observe a 100-fold stabilization of organic dyes for the red-detuned nanoparticles. Our findings contribute to understanding of photochemical properties in the strong coupling regime and may find important implications for the performance and improved stability of optical devices incorporating organic dyes.


title: Construction of the raising operator for Rosen-Morse eigenstates in terms of the Weyl fractional integral

abstract: The raising operator relating adjacent bound states for the general, non-symmetric Rosen-Morse potential is constructed explicitly. It is demonstrated that, in constrast to the symmetric (modified P\"oschl-Teller) potential, the operator is non-local and must be expressed applying techniques from fractional calculus. A recurrence relation between adjacent states is derived applying the Weyl fractional integral, which, in contrast to standard recurrence relations, allows the efficient numerical computation of the coefficients of all Jacobi polynomials necessary for the evaluation of the bound state wave functions, providing an application of fractional calculus to exactly solvable quantum systems.


title: Holographic Calculation of BMSFT Mutual and 3-partite Information

abstract: We use flat-space holography to calculate the mutual information and the 3-partite information of a two-dimensional BMS-invariant field theory (BMSFT$_2$). This theory is the putative holographic dual of the three-dimensional asymptotically flat spacetimes. We find a bound in which entangling transition occurs for zero and finite temperature BMSFTs. We also show that the holographic 3-partite information is always non-positive which indicates that the holographic mutual information is monogamous.


title: Ensemble computation approach to the Hough transform

abstract: It is demonstrated that the classical Hough transform with shift-elevation parametrization of digital straight lines has additive complexity of at most $\mathcal{O}(n^3 / \log n)$ on a $n\times n$ image. The proof is constructive and uses ensemble computation approach to build summation circuits. The proposed method has similarities with the fast Hough transform (FHT) and may be considered a form of the "divide and conquer" technique. It is based on the fact that lines with close slopes can be decomposed into common components, allowing generalization for other pattern families. When applied to FHT patterns, the algorithm yields exactly the $\Theta(n^2\log n)$ FHT asymptotics which might suggest that the actual classical Hough transform circuits could smaller size than $\Theta(n^3/ \log n)$.


title: Spiral density waves and vertical circulation in protoplanetary discs

abstract: Spiral density waves dominate several facets of accretion disc dynamics --- planet-disc interactions and gravitational instability (GI) most prominently. Though they have been examined thoroughly in two-dimensional simulations, their vertical structures in the non-linear regime are somewhat unexplored. This neglect is unwarranted given that any strong vertical motions associated with these waves could profoundly impact dust dynamics, dust sedimentation, planet formation, and the emissivity of the disc surface. In this paper we combine linear calculations and shearing box simulations in order to investigate the vertical structure of spiral waves for various polytropic stratifications and wave amplitudes. For sub-adiabatic profiles we find that spiral waves develop a pair of counter-rotating poloidal rolls. Particularly strong in the nonlinear regime, these vortical structures issue from the baroclinicity supported by the background vertical entropy gradient. They are also intimately connected to the disk's g-modes which appear to interact nonlinearly with the density waves. Furthermore, we demonstrate that the poloidal rolls are ubiquitous in gravitoturbulence, emerging in the vicinity of GI spiral wakes, and potentially transporting grains off the disk midplane. Other than hindering sedimentation and planet formation, this phenomena may bear on observations of the disk's scattered infrared luminosity. The vortical features could also impact on the turbulent dynamo operating in young protoplanetary discs subject to GI, or possibly even galactic discs.


title: A Natural Generalization of Stable Matching Solved via New Insights into Ideal Cuts

abstract: We study a natural generalization of stable matching to the maximum weight stable matching problem and we obtain a combinatorial polynomial time algorithm for it by reducing it to the problem of finding a maximum weight ideal cut in a DAG. We give the first polynomial time algorithm for the latter problem; this algorithm is also combinatorial. The combinatorial nature of our algorithms not only means that they are efficient but also that they enable us to obtain additional structural and algorithmic results: - We show that the set, $\cal M'$, of maximum weight stable matchings forms a sublattice $\cal L'$ of the lattice $\cal L$ of all stable matchings. - We give an efficient algorithm for finding boy-optimal and girl-optimal matchings in $\cal M'$. - We generalize the notion of rotation, a central structural notion in the context of the stable matching problem, to meta-rotation. Just as rotations help traverse the lattice of all stable matchings, macro-rotations help traverse the sublattice over $\cal M'$.


title: Setting the photoelectron clock through molecular alignment

abstract: The interaction of strong laser fields with matter intrinsically provides powerful tools to image transient dynamics with an extremely high spatiotemporal resolution. Here, we study strong-field ionisation of laser-aligned molecules and show a full real-time picture of the photoelectron dynamics in the combined action of the laser field and the molecular interaction. We demonstrate that the molecule has a dramatic impact on the overall strong-field dynamics: it sets the clock for the emission of electrons with a given rescattering kinetic energy. This result represents a benchmark for the seminal statements of molecular-frame strong-field physics and has strong impact on the interpretation of self-diffraction experiments. Furthermore, the resulting encoding of the time-energy relation in molecular-frame photoelectron momentum distributions shows the way of probing the molecular potential in real-time and accessing a deeper understanding of electron transport during strong-field interactions.


title: On some random walk problems

abstract: In the first part of this thesis, we study a Markov chain on $\mathbb{R}_+ \times S$, where $\mathbb{R}_+$ is the non-negative real numbers and $S$ is a finite set, in which when the $\mathbb{R}_+$-coordinate is large, the $S$-coordinate of the process is approximately Markov with stationary distribution $\pi_i$ on $S$. Denoting by $\mu_i(x)$ the mean drift of the $\mathbb{R}_+$-coordinate of the process at $(x,i) \in \mathbb{R}_+ \times S$, we give an exhaustive recurrence classification in the case where $\sum_{i} \pi_i \mu_i (x) \to 0$, which is the critical regime for the recurrence-transience phase transition. If $\mu_i(x) \to 0$ for all $i$, it is natural to study the Lamperti case where $\mu_i(x) = O(1/x)$; in that case the recurrence classification is known, but we prove new results on existence and non-existence of moments of return times. If $\mu_i (x) \to d_i$ for $d_i \neq 0$ for at least some $i$, then it is natural to study the generalized Lamperti case where $\mu_i (x) = d_i + O (1/x)$. By exploiting a transformation which maps the generalized Lamperti case to the Lamperti case, we obtain a recurrence classification and an existence of moments result for the former. In the second part of the thesis, for a random walk $S_n$ on $\mathbb{R}^d$ we study the asymptotic behaviour of the associated centre of mass process $G_n = n^{-1} \sum_{i=1}^n S_i$. For lattice distributions we give conditions for a local limit theorem to hold. We prove that if the increments of the walk have zero mean and finite second moment, $G_n$ is recurrent if $d=1$ and transient if $d \geq 2$. In the transient case we show that $G_n$ has diffusive rate of escape. These results extend work of Grill, who considered simple symmetric random walk. We also give a class of random walks with symmetric heavy-tailed increments for which $G_n$ is transient in $d=1$.


title: Osteoarthritis Disease Detection System using Self Organizing Maps Method based on Ossa Manus X-Ray

abstract: Osteoarthritis is a disease found in the world, including in Indonesia. The purpose of this study was to detect the disease Osteoarthritis using Self Organizing mapping (SOM), and to know the procedure of artificial intelligence on the methods of Self Organizing Mapping (SOM). In this system, there are several stages to preserve to detect disease Osteoarthritis using Self Organizing maps is the result of photographic images rontgen Ossa Manus normal and sick with the resolution (150 x 200 pixels) do the repair phase contrast, the Gray scale, thresholding process, Histogram of process , and do the last process, where the process of doing training (Training) and testing on images that have kept the shape data (.text). the conclusion is the result of testing by using a data image, where 42 of data have 12 Normal image data and image data 30 sick. On the results of the process of training data there are 8 X-ray image revealed normal right and 19 data x-ray image of pain expressed is correct. Then the accuracy on the process of training was 96.42%, and in the process of testing normal true image 4 obtained revealed Normal, 9 data pain stated true pain and 1 data imagery hurts stated incorrectly, then the accuracy gained from the results of testing are 92,8%.


title: PRUNE: Dynamic and Decidable Dataflow for Signal Processing on Heterogeneous Platforms

abstract: The majority of contemporary mobile devices and personal computers are based on heterogeneous computing platforms that consist of a number of CPU cores and one or more Graphics Processing Units (GPUs). Despite the high volume of these devices, there are few existing programming frameworks that target full and simultaneous utilization of all CPU and GPU devices of the platform. This article presents a dataflow-flavored Model of Computation (MoC) that has been developed for deploying signal processing applications to heterogeneous platforms. The presented MoC is dynamic and allows describing applications with data dependent run-time behavior. On top of the MoC, formal design rules are presented that enable application descriptions to be simultaneously dynamic and decidable. Decidability guarantees compile-time application analyzability for deadlock freedom and bounded memory. The presented MoC and the design rules are realized in a novel Open Source programming environment "PRUNE" and demonstrated with representative application examples from the domains of image processing, computer vision and wireless communications. Experimental results show that the proposed approach outperforms the state-of-the-art in analyzability, flexibility and performance.


title: The Cosmic-Ray Spectra: News on their Knees

abstract: In a comprehensive model of Cosmic Rays (CRs) proposed a decade ago, the energies of the spectral "knees" of the various CR species were predicted to be proportional to mass, rather than charge. The model also predicts the knees to occur at an energy of two to four million times the particle's rest mass. Recent data allow one to verify this prediction, particularly for Fe and lighter-nuclei CRs. But the most stringent test involves the putative knee in the CR electron spectrum, since the mass ratio of electrons to protons (and nuclei) is so very different from their charge ratio(s). Very recent results on the spectra of positrons and electrons at the highest measured energies corroborate the existence of an electron knee, with the expected shape and at the predicted energy.


title: Robustness of Rotation-Equivariant Networks to Adversarial Perturbations

abstract: Deep neural networks have been shown to be vulnerable to adversarial examples: very small perturbations of the input having a dramatic impact on the predictions. A wealth of adversarial attacks and distance metrics to quantify the similarity between natural and adversarial images have been proposed, recently enlarging the scope of adversarial examples with geometric transformations beyond pixel-wise attacks. In this context, we investigate the robustness to adversarial attacks of new Convolutional Neural Network architectures providing equivariance to rotations. We found that rotation-equivariant networks are significantly less vulnerable to geometric-based attacks than regular networks on the MNIST, CIFAR-10, and ImageNet datasets.


title: A remark on the ultrapower algebra of the hyperfinite factor

abstract: On page 43 in \cite{Po83} Sorin Popa asked whether the following property holds: \emph{If $\omega$ is a free ultrafilter on $\mathbb N$ and $\mathcal R_1\subseteq \mathcal R$ is an irreducible inclusion of hyperfinite II$_1$ factors such that $\mathcal R'\cap \mathcal R^\omega\subseteq \mathcal R^\omega_1$ does it follows that $\mathcal R_1=\mathcal R$?} In this short note we provide an affirmative answer to this question.


title: SEAGLE - I: A pipeline for simulating and modeling strong lenses from cosmological hydrodynamic simulations

abstract: In this paper we introduce the SEAGLE (i.e. Simulating EAGLE LEnses) program, that approaches the study of galaxy formation through strong gravitational lensing, using a suite of high-resolution hydrodynamic simulations, Evolution and Assembly of GaLaxies and their Environments (EAGLE) project. We introduce the simulation and analysis pipeline and present the first set of results from our analysis of early-type galaxies. We identify and extract an ensemble of simulated lens galaxies and use the GLAMER ray-tracing lensing code to create mock lenses similar to those observed in the SLACS and SL2S surveys, using a range of source parameters and galaxy orientations, including observational effects such as the Point-Spread-Function (PSF), pixelization and noise levels, representative of single-orbit observations with the Hubble Space Telescope (HST) using the ACS-F814W filter. We subsequently model these mock lenses using the code LENSED, treating them in the same way as observed lenses. We also estimate the mass model parameters directly from the projected surface mass density of the simulated galaxy, using an identical mass model family. We perform a three-way comparison of all the measured quantities with real lenses. We find the average total density slope of EAGLE lenses, $t=2.26\; (0.25\; \rm{rms})$ to be higher than SL2S, $t=2.16$ or SLACS, $t=2.08$. We find a very strong correlation between the external shear ($\gamma$) and the complex ellipticity ($\epsilon$), with $\gamma \sim \epsilon/4$. This correlation indicates a degeneracy in the lens mass modeling. We also see a dispersion between lens modeling and direct fitting results, indicating systematical biases.


title: Ultrafast Preparation and Detection of Ring Currents in Single Atoms

abstract: Quantum particles can penetrate potential barriers by tunneling (1). If that barrier is rotating, the tunneling process is modified (2,3). This is typical for electrons in atoms, molecules or solids exposed to strong circularly polarized laser pulses (4,5). Here we measure how the transmission probability through a rotating tunnel depends on the sign of the magnetic quantum number m of the electron and thus on the initial sense of rotation of its quantum phase. We further show that the electron keeps part of that rotary motion on its way through the tunnel by measuring m-dependent modification of the electron emission pattern. These findings are relevant for attosecond metrology as well as for interpretation of strong field electron emission from atoms and molecules (6-13) and directly demonstrates the creation of ring currents in bound states of ions with attosecond precision. In solids, this could open a way to inducing and controlling ring-current related topological phenomena (14).


title: Temperature Dependent Magnetism in Artificial Honeycomb Lattice of Connected Elements

abstract: Artificial magnetic honeycomb lattices are expected to exhibit a broad and tunable range of novel magnetic phenomena that would be difficult to achieve in natural materials, such as long-range spin ice, entropy-driven magnetic charge-ordered state and spin-order due to the spin chirality. Eventually, the spin correlation is expected to develop into a unique spin solid state density ground state, manifested by the distribution of the pairs of vortex states of opposite chirality. Here we report the creation of a new artificial permalloy honeycomb lattice of ultra-small connecting bonds, with a typical size of $\simeq$ 12 nm. Detail magnetic and neutron scattering measurements on the newly fabricated honeycomb lattice demonstrate the evolution of magnetic correlation as a function of temperature. At low enough temperature, neutron scattering measurements and micromagnetic simulation suggest the development of loop state of vortex configuration in this system.


title: Large Scale Liquid Metal Batteries

abstract: Liquid metal batteries are possible candidates for large scale energy storage offering a possible breakthrough of intermittent wind and solar energy exploitations. The major concern over their practical implementation is the operation at elevated temperatures and sensitivity to liquid motion. The concept of liquid metal battery bears a close similarity to aluminium electrolytic production cells. The two liquid layer MHD effects can be projected to the three liquid layer self-segregated structure of the batteries. This paper presents numerical models for the three density-stratified electrically conductive liquid layers using 3D and shallow layer approximation accounting for specific MHD effects during periods of battery activity. It is demonstrated that a stable operation of these batteries can be achieved if reusing an infrastructure of existing aluminium electrolysis pot lines. The basic principles of the MHD processes in the cells are illustrated by the numerical example cases.


title: Technological research in the EU is less efficient than the world average. EU research policy risks Europeans' future

abstract: We have studied the efficiency of research in the EU by a percentile-based citation approach that analyzes the distribution of country papers among the world papers. Going up in the citation scale, the frequency of papers from efficient countries increases while the frequency from inefficient countries decreases. In the percentile-based approach, this trend, which is permanent at any citation level, is measured by the ep index that equals the Ptop 1%/Ptop 10% ratio. By using the ep index we demonstrate that EU research on fast-evolving technological topics is less efficient than the world average and that the EU is far from being able to compete with the most advanced countries. The ep index also shows that the USA is well ahead of the EU in both fast- and slow-evolving technologies, which suggests that the advantage of the USA over the EU in innovation is due to low research efficiency in the EU. In accord with some previous studies, our results show that the European Commission's ongoing claims about the excellence of EU research are based on a wrong diagnosis. The EU must focus its research policy on the improvement of its inefficient research. Otherwise, the future of Europeans is at risk.


title: The Magnetic Field in the central parsec of the Galaxy

abstract: We present a polarisation map of the warm dust emission from the minispiral in the central parsec of the Galactic centre. The observations were made at a wavelength of 12.5 microns with CanariCam mounted on the 10.4-m Gran Telescopio Canarias. The magnetic field traced by the polarised emission from aligned dust grains is consistent with previous observations, but the increased resolution of the present data reveals considerably more information on the detailed structure of the B field and its correspondence with the filamentary emission seen in both mid-infrared continuum emission and free-free emission at cm wavelengths. The magnetic field appears to be compressed and pushed by the outflows from luminous stars in the Northern Arm, but it is not disordered by them. We identify some magnetically coherent filaments that cross the Northern Arm at a Position Angle of ~45 degrees, and which may trace orbits inclined to the primary orientation of the Northern Arm and circumnuclear disk. In the East-West bar, the magnetic fields implied by the polarization in the lower intensity regions lie predominantly along the bar at a Position Angle of 130 - 140 degrees. In contrast to the Northern Arm, the brighter regions of the bar tend to have lower degrees of polarization with a greater divergence in position angle compared to the local diffuse emission. It appears that the diffuse emission in the East-West bar traces the underlying field and that the bright compact sources are unrelated objects presumably projected onto the bar and with different field orientations


title: Optical tristability and ultrafast Fano switching in nonlinear magneto-plasmonic nanoparticles

abstract: We consider light scattering by a coated magneto-plasmonic nanoparticle (MPNP) with a Kerr-type nonlinear plasmonic shell and a magneto-optic core. Such structure features two plasmon dipole modes, associated with electronic oscillations on the inner and outer surfaces of the shell. Driven in a nonlinear regime, each mode exhibits a bistable response. Bistability of an inner plasmon leads to switching between this state and a Fano resonance (Fano switching). Once the external light intensity exceeds the critical value, the bistability zones of both eigen modes overlap yielding optical tristability characterized by three stable steady states for a given wavelength and light intensity. We develop a dynamic theory of transitions between nonlinear steady states and estimate the characteristic switching time as short as 0.5 ps. We also show that the magneto-optical (MO) effect allows red- and blue- spectral shift of the Fano profile for right- and left- circular polarizations of the external light, rendering Fano switching sensitive to the light polarization. Specifically, one can reach Fano switching for the right circular polarization while cancelling it for the left circular polarization. Our results point to a novel class of ultrafast Fano switchers tunable by magnetic field for applications in nanophotonics.


title: Maximal Exploration of Trees with Energy-Constrained Agents

abstract: We consider the problem of exploring an unknown tree with a team of $k$ initially colocated mobile agents. Each agent has limited energy and cannot, as a result, traverse more than $B$ edges. The goal is to maximize the number of nodes collectively visited by all agents during the execution. Initially, the agents have no knowledge about the structure of the tree, but they gradually discover the topology as they traverse new edges. We assume that the agents can communicate with each other at arbitrary distances. Therefore the knowledge obtained by one agent after traversing an edge is instantaneously transmitted to the other agents. We propose an algorithm that divides the tree into subtrees during the exploration process and makes a careful trade-off between breadth-first and depth-first exploration. We show that our algorithm is 3-competitive compared to an optimal solution that we could obtain if we knew the map of the tree in advance. While it is easy to see that no algorithm can be better than 2-competitive, we give a non-trivial lower bound of 2.17 on the competitive ratio of any online algorithm.


title: On the (in)efficiency of MFG equilibria

abstract: Mean field games (MFG) are dynamic games with infinitely many infinitesimal agents. In this context, we study the efficiency of Nash MFG equilibria: Namely, we compare the social cost of a MFG equilibrium with the minimal cost a global planner can achieve. We find a structure condition on the game under which there exists efficient MFG equilibria and, in case this condition is not fulfilled, quantify how inefficient MFG equilibria are.


title: Rare events and Poisson point processes

abstract: The aim of the present work is to show that the results obtained earlier on the approximation of distributions of sums of independent terms by the accompanying compound Poisson laws may be interpreted as rather sharp quantitative estimates for the closeness between the sample containing independent observations of rare events and the Poisson point process which is obtained after a Poissonization of the initial sample.


title: Approximation of multivariate periodic functions based on sampling along multiple rank-1 lattices

abstract: In this work, we consider the approximate reconstruction of high-dimensional periodic functions based on sampling values. As sampling schemes, we utilize so-called reconstructing multiple rank-1 lattices, which combine several preferable properties such as easy constructability, the existence of high-dimensional fast Fourier transform algorithms, high reliability, and low oversampling factors. Especially, we show error estimates for functions from Sobolev Hilbert spaces of generalized mixed smoothness. For instance, when measuring the sampling error in the $L_2$-norm, we show sampling error estimates where the exponent of the main part reaches those of the optimal sampling rate except for an offset of $1/2+\varepsilon$, i.e., the exponent is almost a factor of two better up to the mentioned offset compared to single rank-1 lattice sampling. Various numerical tests in medium and high dimensions demonstrate the high performance and confirm the obtained theoretical results of multiple rank-1 lattice sampling.


title: Finding Influential Training Samples for Gradient Boosted Decision Trees

abstract: We address the problem of finding influential training samples for a particular case of tree ensemble-based models, e.g., Random Forest (RF) or Gradient Boosted Decision Trees (GBDT). A natural way of formalizing this problem is studying how the model's predictions change upon leave-one-out retraining, leaving out each individual training sample. Recent work has shown that, for parametric models, this analysis can be conducted in a computationally efficient way. We propose several ways of extending this framework to non-parametric GBDT ensembles under the assumption that tree structures remain fixed. Furthermore, we introduce a general scheme of obtaining further approximations to our method that balance the trade-off between performance and computational complexity. We evaluate our approaches on various experimental setups and use-case scenarios and demonstrate both the quality of our approach to finding influential training samples in comparison to the baselines and its computational efficiency.


title: Enhancing performance of coherent OTDR systems with polarization diversity complementary codes

abstract: Monitoring the optical phase change in a fiber enables a wide range of applications where fast phase variations are induced by acoustic signals or vibrations in general. However, the quality of the estimated fiber response strongly depends on the method used to modulate the light sent to the fiber and capture the variations of the optical field. In this paper, we show that distributed optical fiber sensing systems can advantageously exploit techniques from the telecommunication domain, as those used in coherent optical transmission, to enhance their performance in detecting mechanical events, while jointly offering a simpler setup than widespread pulse-cloning or spectral-sweep based schemes with acousto-optic modulators. We periodically capture an overall fiber Jones matrix estimate thanks to a novel probing technique using two mutually orthogonal complementary (Golay) pairs of binary sequences applied simultaneously in phase and quadrature on two orthogonal polarization states. A perfect channel response estimation of the sensor array is achieved, subject to conditions detailed in the paper, thus enhancing the sensitivity and bandwidth of coherent phase-OTDR systems. High sensitivity, linear response, and bandwidth coverage up to 18 kHz are demonstrated with a sensor array composed of 10 fiber Bragg gratings (FBGs).


title: Interfacing planar superconducting qubits with high overtone bulk acoustic phonons

abstract: Mechanical resonators are a promising way for interfacing qubits in order to realize hybrid quantum systems that offer great possibilities for applications. Mechanical systems can have very long energy lifetimes, and they can be further interfaced to other systems. Moreover, integration of mechanical oscillator with qubits creates a potential platform for exploration of quantum physics in macroscopic mechanical degrees of freedom. Utilization of high overtone bulk acoustic resonators coupled to superconducting qubits is an intriguing platform towards these goals. These resonators exhibit a combination of high frequency and high quality factors. They can reach their quantum ground state at dilution refrigeration temperatures and they can be strongly coupled to superconducting qubits via their piezoelectric effect. In this report, we demonstrate our system where bulk acoustic phonons of a high overtone resonator are coupled to a transmon qubit in a planar circuit architecture. We show that the bulk acoustic phonons are interacting with the qubit in the simple design architecture at the quantum level, representing further progress towards quantum control of mechanical motion.


title: Electrically Conductive Diamond Membrane for Electrochemical Separation Processes

abstract: Electrochemically switchable selective membranes play an important role in selective filtration processes such as water desalination, industrial waste treatment and hemodialysis. Currently, membranes for these purposes need to be optimized in terms of electrical conductivity and stability against fouling and corrosion. In this paper, we report the fabrication of boron-doped diamond membrane by template diamond growth on quartz fiber filters. The morphology and quality of the diamond coating are characterized via SEM and Raman spectroscopy. The membrane is heavily boron doped (> 1021 cm-3) with > 3 V potential window in aqueous electrolyte. By applying a membrane potential against the electrolyte, redox active species can be removed via flow-through electrolysis. Compared to planar diamond electrodes, the ~250 times surface enlargement provided by such a membrane ensures an effective removal of target chemicals from the input electrolyte. The high stability of diamond enables the membrane to not only work at high membrane bias but also to be self-cleaning via in situ electrochemical oxidation. Therefore, we believe that the diamond membrane presented in this paper will provide a solution to future selective filtration applications especially in extreme conditions.


title: Limits and colimits of crossed groups

abstract: Although the notion of crossed groups was originally introduced only in the simplicial case, the definition makes sense in the other categories. For instance, Batanin and Markl studied crossed interval groups to investigate symmetries on the Hochschild cohomology in view of operads. The aim of this paper is to make a comprehensive understanding of crossed groups for arbitrary base categories. In particular, we focus on the local presentability of the category of crossed groups, monadicity, and the basechange theorem along certain sorts of functors. The paper also contains the classification of crossed interval groups, which Batanin and Markl concerned about.


title: Simultaneous Compression and Quantization: A Joint Approach for Efficient Unsupervised Hashing

abstract: For unsupervised data-dependent hashing, the two most important requirements are to preserve similarity in the low-dimensional feature space and to minimize the binary quantization loss. A well-established hashing approach is Iterative Quantization (ITQ), which addresses these two requirements in separate steps. In this paper, we revisit the ITQ approach and propose novel formulations and algorithms to the problem. Specifically, we propose a novel approach, named Simultaneous Compression and Quantization (SCQ), to jointly learn to compress (reduce dimensionality) and binarize input data in a single formulation under strict orthogonal constraint. With this approach, we introduce a loss function and its relaxed version, termed Orthonormal Encoder (OnE) and Orthogonal Encoder (OgE) respectively, which involve challenging binary and orthogonal constraints. We propose to attack the optimization using novel algorithms based on recent advances in cyclic coordinate descent approach. Comprehensive experiments on unsupervised image retrieval demonstrate that our proposed methods consistently outperform other state-of-the-art hashing methods. Notably, our proposed methods outperform recent deep neural networks and GAN based hashing in accuracy, while being very computationally-efficient.


title: Seesaw mechanism in magnetic compactifications

abstract: In this paper, we explore a new avenue to a natural explanation of the observed tiny neutrino masses with a dynamical realization of the three-generation structure in the neutrino sector. Under the magnetized background based on $T^2/Z_2$, matter consists of multiply-degenerated zero modes and the whole intergenerational structure is dynamically determined. In this sense, we can conclude that our scenario is favored by minimality, where no degree of freedom remains to deform the intergenerational structure by hand freely. Under the consideration of brane-localized Majorana-type mass terms for an $SU(2)_L$ singlet neutrino, it is sufficient to introduce one Higgs doublet for reproducing the observed neutrino data. In all reasonable flux configurations with three right-handed neutrinos, phenomenologically acceptable parameter configurations are found.


title: Benchmarking the performance of controllers for power grid transient stability

abstract: As the energy transition transforms power grids across the globe, it poses several challenges regarding grid design and control. In particular, high levels of intermittent renewable generation complicate the task of continuously balancing power supply and demand, requiring sufficient control actions. Although there exist several proposals to control the grid, most of them have not demonstrated to be cost efficient in terms of optimal control theory. Here, we mathematically formulate an optimal centralized (therefore non-local) control problem for stable operation of power grids and determine the minimal amount of active power necessary to guarantee a stable service within the operational constraints, minimizing a suitable cost function at the same time. This optimal control can be used to benchmark control proposals and we demonstrate this benchmarking process by investigating the performance of three distributed controllers, two of which are fully decentralized, that have been recently studied in the physics and power systems engineering literature. Our results show that cost efficient controllers distribute the controlled response amongst all nodes in the power grid. Additionally, superior performance can be achieved by incorporating sufficient information about the disturbance causing the instability. Overall, our results can help design and benchmark secure and cost-efficient controllers.


title: Superior Structural, Elastic and Electronic Properties of 2D Titanium Nitride MXenes Over Carbide MXenes: A Comprehensive First Principles Study

abstract: The structural, elastic and electronic properties of two-dimensional (2D) titanium carbide/nitride based pristine (Tin+1Cn/Tin+1Nn) and functionalized MXenes (Tin+1CnT2/Tin+1NnT2, T stands for the terminal groups: -F, -O and -OH, n = 1, 2, 3) are investigated by density functional theory calculations. Carbide-based MXenes possess larger lattice constants and monolayer thicknesses than nitride-based MXenes. The in-plane Young's moduli of Tin+1Nn are larger than those of Tin+1Cn, whereas in both systems they decrease with the increase of the monolayer thickness. Cohesive energy calculations indicate that MXenes with a larger monolayer thickness have a better structural stability. Adsorption energy calculations imply that Tin+1Nn have stronger preference to adhere to the terminal groups, which suggests more active surfaces for nitride-based MXenes. More importantly, nearly free electron states are observed to exist outside the surfaces of -OH functionalized carbide/nitride based MXenes, especially in Tin+1Nn(OH)2, which provide almost perfect transmission channels without nuclear scattering for electron transport. The overall electrical conductivity of nitride-based MXenes is determined to be higher than that of carbide-based MXenes. The exceptional properties of titanium nitride-based MXenes, including strong surface adsorption, high elastic constant and Young's modulus, and good metallic conductivity, make them promising materials for catalysis and energy storage applications.


title: Localization of the Standard Model via Higgs mechanism and a finite electroweak monopole from non-compact five dimensions

abstract: We propose a minimal and self-contained model in non-compact flat five dimensions which localizes the Standard Model (SM) on a domain wall. Localization of gauge fields is achieved by the condensation of Higgs field via a Higgs dependent gauge kinetic term in five-dimensional Lagrangian. The domain wall connecting vacua with unbroken gauge symmetry drives the Higgs condensation which provides both electroweak symmetry breaking and gauge field localization at the same time. Our model predicts higher-dimensional interactions $|H|^{2n}(F_{\mu\nu})^2$ in the low-energy effective theory. This leads to two expectations: The one is a new tree-level contribution to $H \to \gamma\gamma$ ($H \to gg$) decay whose signature is testable in future LHC experiment. The other is a finite electroweak monopole which may be accessible to the MoEDAL experiment. Interactions of translational Nambu-Goldstone boson is shown to satisfy a low-energy theorem.


title: On a saddle point problem arising from magneto-elastic coupling

abstract: This paper deals with the analysis of a coupled problem arising from linear magneto-elastostaticity. The model, which can be derived by an energy principle, gives valuable insight into the coupling mechanism and features a saddle point structure with the elastic displacement and magnetic scalar potential as independent variables. As main results, the existence and uniqueness of the solution are proven for the continuous and discrete cases and special properties of the corresponding bilinear forms are shown. In particular, the coupled magneto-elastic bilinear form satisfies an inf-sup condition that is essential for the stability of the problem.


title: CalcuList: a Functional Language Extended with Imperative Features

abstract: CalcuList (Calculator with List manipulation), is an educational language for teaching functional programming extended with some imperative and side-effect features, which are enabled under explicit request by the programmer. In addition to strings and lists, the language natively supports json objects. The language adopts a Python-like syntax and enables interactive computation sessions with the user through a REPL (Read-Evaluate-Print-Loop) shell. The object code produced by a compilation is a program that will be eventually executed by the CalcuList Virtual Machine (CLVM).


title: Matrix Exponential Learning Schemes with Low Informational Exchange

abstract: We consider a distributed resource allocation problem in networks where each transmitter-receiver pair aims at maximizing its local utility function by adjusting its action matrix, which belongs to a given feasible set. This problem has been addressed recently by applying a matrix exponential learning (MXL) algorithm which has a very appealing convergence rate. In this learning algorithm, however, each transmitter must know an estimate of the gradient matrix of the local utility. The knowledge of the gradient matrix at the transmitters incurs a high signaling overhead especially that the matrix size increases with the dimension of the action matrix. In this paper, we therefore investigate two strategies in order to decrease the informational exchange per iteration of the algorithm. In the first strategy, each receiver sends at each iteration part of the elements of the gradient matrix with respect to a certain probability. In the second strategy, each receiver feeds back sporadically the whole gradient matrix. We focus on the analysis of the convergence of the MXL algorithm to optimum under these two strategies. We prove that the algorithm can still converge to optimum almost surely. Upper bounds of the average convergence rate are also derived in both situations with general step-size setting, from which we can clearly see the impact of the incompleteness of the feedback information. The proposed algorithms are applied to solve the energy efficiency maximization problem in a multicarrier multi-user MIMO network. Simulation results further corroborate our claim.


title: A Type-Based Complexity Analysis of Object Oriented Programs

abstract: A type system is introduced for a generic Object Oriented programming language in order to infer resource upper bounds. A sound andcomplete characterization of the set of polynomial time computable functions is obtained. As a consequence, the heap-space and thestack-space requirements of typed programs are also bounded polynomially. This type system is inspired by previous works on ImplicitComputational Complexity, using tiering and non-interference techniques. The presented methodology has several advantages. First, itprovides explicit big $O$ polynomial upper bounds to the programmer, hence its use could allow the programmer to avoid memory errors.Second, type checking is decidable in polynomial time. Last, it has a good expressivity since it analyzes most object oriented featureslike inheritance, overload, override and recursion. Moreover it can deal with loops guarded by objects and can also be extended tostatements that alter the control flow like break or return.


title: Globular cluster chemistry in fast rotating dwarf stars belonging to intermediate age open clusters

abstract: (shortened) The peculiar chemistry observed in the multiple populations of Galactic globular clusters is not generally found in other systems like dwarf galaxies and open clusters, and at the moment no model can fully explain its presence. Exploring the boundaries of the multiple population phenomenon and the variation of its extent in the space of cluster mass, age, metallicity, and compactness has proven to be a fruitful line of investigation. In the framework of a larger project to search for multiple population in open clusters, based on literature and survey data, I found peculiar chemical abundance patterns in a sample of intermediate age open clusters with publicly available data. More specifically, fast rotating dwarf stars (v sini > 50km/s) belonging to four clusters display a bimodality in either [Na/Fe], [O/Fe] or both. Additionally, two clusters show a Na-O anticorrelation in the fast rotating stars and one cluster shows a large [Mg/Fe] variation among the stars with high [Na/Fe], reaching the extreme Mg depletion observed in NGC 2808. Even considering that the sample sizes are small, these patterns call for attention in the light of a possible connection with the multiple population phenomenon of globular clusters. The specific chemistry observed in these fast rotating dwarf stars is thought to be produced by a complex interplay of different diffusion and mixing mechanisms, like rotational mixing and mass loss, in turn influenced by metallicity, binarity, mass, age, variability, and so on. However, with the sample in hand, it was not possible to identify which stellar parameters cause the observed Na and O bimodality and Na-O anticorrelation, suggesting that other stellar properties might be important besides stellar rotation.


title: Tied Multitask Learning for Neural Speech Translation

abstract: We explore multitask models for neural translation of speech, augmenting them in order to reflect two intuitive notions. First, we introduce a model where the second task decoder receives information from the decoder of the first task, since higher-level intermediate representations should provide useful information. Second, we apply regularization that encourages transitivity and invertibility. We show that the application of these notions on jointly trained models improves performance on the tasks of low-resource speech transcription and translation. It also leads to better performance when using attention information for word discovery over unsegmented input.


title: Cost-efficient QoS-Aware Data Acquisition Point Placement for Advanced Metering Infrastructure

abstract: In an advanced metering infrastructure (AMI), data acquisition points (DAPs) are responsible for collecting traffic from several smart meters and automated devices and transmitting them to the utility control center. Although the problem of optimized data collector placement has already been addressed for wireless broadband and sensor networks, DAP placement is quite a new research area for AMIs. In this paper, we investigate the minimum required number of DAPs and their optimized locations on top of the existing utility poles in a distribution grid such that smart grid quality of service requirements can best be provided. In order to solve the problem for large-scale AMIs, we devise a novel heuristic algorithm using a greedy approach for identifying potential pole locations for DAP placement and the Dijkstra shortest path algorithm for constructing reliable routes. We employ the characteristics of medium access schemes from the IEEE 802.15.4g smart utility network (SUN) standard, and consider mission-critical and non-critical smart grid traffic. The performance and time-complexity of our algorithm are compared with those obtained by the IBM CPLEX software for small scenarios. Finally, we apply our devised DAP placement algorithm to examples of realistic smart grid AMI topologies.


title: On the product formula and convolution associated with the index Whittaker transform

abstract: We deduce a product formula for the Whittaker $W$ function whose kernel does not depend on the second parameter. Making use of this formula, we define the positivity-preserving convolution operator associated with the index Whittaker transform, which is seen to be a direct generalization of the Kontorovich-Lebedev convolution. The mapping properties of this convolution operator are investigated; in particular, a Banach algebra property is established and then applied to yield an analogue of the Wiener-L\'evy theorem for the index Whittaker transform. We show how our results can be used to prove the existence of a unique solution for a class of convolution-type integral equations.


title: High precision displacement sensing of monolithic piezoelectric disk resonators using a single-electron transistor

abstract: A single-electron transistor (SET) can be used as an extremely sensitive charge detector. Mechanical displacements can be converted into charge, and hence, SETs can become sensitive detectors of mechanical oscillations. For studying small-energy oscillations, an important approach to realize the mechanical resonators is to use piezoelectric materials. Besides coupling to traditional electric circuitry, the strain-generated piezoelectric charge allows for measuring ultrasmall oscillations via SET detection. Here, we explore the usage of SETs to detect the shear-mode oscillations of a 6-mm-diameter quartz disk resonator with a resonance frequency around 9 MHz. We measure the mechanical oscillations using either a conventional DC SET, or use the SET as a homodyne or heterodyne mixer, or finally, as a radio-frequency single-electron transistor (RF-SET). The RF-SET readout is shown to be the most sensitive method, allowing us to measure mechanical displacement amplitudes below 1E-13 m. We conclude that a detection based on a SET offers a potential to reach the sensitivity at the quantum limit of the mechanical vibrations.


title: Discovery of a bright microlensing event with planetary features towards the Taurus region: a super Earth planet

abstract: The transient event labeled as TCP J05074264+2447555 recently discovered towards the Taurus region was quickly recognized to be an ongoing microlensing event on a source located at distance of only $700-800$ pc from Earth. Here, we show that observations with high sampling rate close to the time of maximum magnification revealed features that imply the presence of a binary lens system with very low mass ratio components. We present a complete description of the binary lens system which hosts an Earth-like planet with most likely mass of $9.2\pm 6.6$ M$_{\oplus}$. Furthermore, the source estimated location and detailed Monte Carlo simulations allowed us to classify the event as due to the closest lens system, being at a distance of $\simeq 380$ pc and mass $\simeq 0.25$ M$_{\odot}$.


title: Linear Equations with Ordered Data

abstract: Following a recently considered generalization of linear equations to unordered data vectors, we perform a further generalization to ordered data vectors. These generalized equations naturally appear in the analysis of vector addition systems (or Petri nets) extended with ordered data. We show that nonnegative-integer solvability of linear equations is computationally equivalent (up to an exponential blowup) with the reachability problem for (plain) vector addition systems. This high complexity is surprising, and contrasts with NP-completeness for unordered data vectors. Also surprisingly, we achieve polynomial time complexity of the solvability problem when the nonnegative-integer restriction on solutions is dropped.


title: On the Abel-Jacobi map of an elliptic surface and the topology of cubic-line arrangements

abstract: Let $S$ be an elliptic surface over a smooth curve $C$ with a section $O$. We denote its generic fiber by $E_S$. For a divisor $D$ on $S$, we canonically associate a $C(C)$-rational point $P_D$. In this note, we give a description of $P_D$ of $E_S$, when the rank of the group of $C(C)$-rational points is one. We apply our description to refine our result on a Zariski pair for a cubic-line arrangement.


title: Bogoliubov excitation spectrum for Bose-Einstein condensates

abstract: We consider interacting Bose gases trapped in a box $\Lambda = [0;1]^3$ in the Gross-Pitaevskii limit. Assuming the potential to be weak enough, we establish the validity of Bogoliubov's prediction for the ground state energy and the low-energy excitation spectrum. These notes are based on \cite{BBCS3}, a joint work with C. Boccato, C. Brennecke and S. Cenatiempo.


title: Precise Ages of Field Stars from White Dwarf Companions

abstract: Observational tests of stellar and Galactic chemical evolution call for the joint knowledge of a star's physical parameters, detailed element abundances, and precise age. For cool main-sequence (MS) stars the abundances of many elements can be measured from spectroscopy, but ages are very hard to determine. The situation is different if the MS star has a white dwarf (WD) companion and a known distance, as the age of such a binary system can then be determined precisely from the photometric properties of the cooling WD. As a pilot study for obtaining precise age determinations of field MS stars, we identify nearly one hundred candidates for such wide binary systems: a faint WD whose GPS1 proper motion matches that of a brighter MS star in Gaia/TGAS with a good parallax ($\sigma_\varpi/\varpi\le 0.05$). We model the WD's multi-band photometry with the BASE-9 code using this precise distance (assumed to be common for the pair) and infer ages for each binary system. The resulting age estimates are precise to $\le 10\%$ ($\le 20\%$) for $42$ ($67$) MS-WD systems. Our analysis more than doubles the number of MS-WD systems with precise distances known to date, and it boosts the number of such systems with precise age determination by an order of magnitude. With the advent of the Gaia DR2 data, this approach will be applicable to a far larger sample, providing ages for many MS stars (that can yield detailed abundances for over 20 elements), especially in the age range 2 to 8\,\Gyr, where there are only few known star clusters.


title: Multi-task, multi-label and multi-domain learning with residual convolutional networks for emotion recognition

abstract: Automated emotion recognition in the wild from facial images remains a challenging problem. Although recent advances in Deep Learning have supposed a significant breakthrough in this topic, strong changes in pose, orientation and point of view severely harm current approaches. In addition, the acquisition of labeled datasets is costly, and current state-of-the-art deep learning algorithms cannot model all the aforementioned difficulties. In this paper, we propose to apply a multi-task learning loss function to share a common feature representation with other related tasks. Particularly we show that emotion recognition benefits from jointly learning a model with a detector of facial Action Units (collective muscle movements). The proposed loss function addresses the problem of learning multiple tasks with heterogeneously labeled data, improving previous multi-task approaches. We validate the proposal using two datasets acquired in non controlled environments, and an application to predict compound facial emotion expressions.


title: On the iterated estimation of dynamic discrete choice games

abstract: We study the asymptotic properties of a class of estimators of the structural parameters in dynamic discrete choice games. We consider K-stage policy iteration (PI) estimators, where K denotes the number of policy iterations employed in the estimation. This class nests several estimators proposed in the literature such as those in Aguirregabiria and Mira (2002, 2007), Pesendorfer and Schmidt-Dengler (2008), and Pakes et al. (2007). First, we establish that the K-PML estimator is consistent and asymptotically normal for all K. This complements findings in Aguirregabiria and Mira (2007), who focus on K=1 and K large enough to induce convergence of the estimator. Furthermore, we show under certain conditions that the asymptotic variance of the K-PML estimator can exhibit arbitrary patterns as a function of K. Second, we establish that the K-MD estimator is consistent and asymptotically normal for all K. For a specific weight matrix, the K-MD estimator has the same asymptotic distribution as the K-PML estimator. Our main result provides an optimal sequence of weight matrices for the K-MD estimator and shows that the optimally weighted K-MD estimator has an asymptotic distribution that is invariant to K. The invariance result is especially unexpected given the findings in Aguirregabiria and Mira (2007) for K-PML estimators. Our main result implies two new corollaries about the optimal 1-MD estimator (derived by Pesendorfer and Schmidt-Dengler (2008)). First, the optimal 1-MD estimator is optimal in the class of K-MD estimators. In other words, additional policy iterations do not provide asymptotic efficiency gains relative to the optimal 1-MD estimator. Second, the optimal 1-MD estimator is more or equally asymptotically efficient than any K-PML estimator for all K. Finally, the appendix provides appropriate conditions under which the optimal 1-MD estimator is asymptotically efficient.


title: Emergence of Jack ground states from two-body pseudopotentials in fractional quantum Hall systems

abstract: The family of "Jack states" related to antisymmetric Jack polynomials are the exact zero-energy ground states of particular model short-range {\em many-body} repulsive interactions, defined by a few non-vanishing leading pseudopotentials. Some Jack states are known or anticipated to accurately describe many-electron incompressible ground states emergent from the {\em two-body} Coulomb repulsion in fractional quantum Hall effect. By extensive numerical diagonalization we demonstrate emergence of Jack states from suitable pair interactions. We find empirically a simple formula for the optimal two-body pseudopotentials for the series of most prominent Jack states generated by {\em contact} many-body repulsion. Furthermore, we seek realization of arbitrary Jack states in realistic quantum Hall systems with Coulomb interaction, i.e., in partially filled lowest and excited Landau levels in quasi-two-dimensional layers of conventional semiconductors like GaAs or in graphene.


title: The infinite two-sided loop-erased random walk

abstract: The loop-erased random walk (LERW) in $ \Z^d, d \geq 2$, is obtained by erasing loops chronologically from simple random walk. In this paper we show the existence of the two-sided LERW which can be considered as the distribution of the LERW as seen by a point in the "middle" of the path.


title: Sequentializing cellular automata

abstract: We study the problem of sequentializing a cellular automaton without introducing any intermediate states, and only performing reversible permutations on the tape. We give a decidable characterization of cellular automata which can be written as a single left-to-right sweep of a bijective rule from left to right over an infinite tape.


title: (Arc-disjoint) cycle packing in tournament: classical and parameterized complexity

abstract: Given a tournament $T$, the problem MaxCT consists of finding a maximum (arc-disjoint) cycle packing of $T$. In the same way, MaxTT corresponds to the specific case where the collection of cycles are triangles (i.e. directed 3-cycles). Although MaxCT can be seen as the LP dual of minimum feedback arc set in tournaments which have been widely studied, surprisingly no algorithmic results seem to exist concerning the former. In this paper, we prove the NP-hardness of both MaxCT and MaxTT. We also show that deciding if a tournament has a cycle packing and a feedback arc set with the same size is an NP-complete problem. In light of this, we show that MaxTT admits a vertex linear-kernel when parameterized with the size of the solution. Finally, we provide polynomial algorithms for MaxTT and MaxCT when the tournament is sparse, that is when it admits a FAS which is a matching.


title: Frequency-Selective Hybrid Beamforming Based on Implicit CSI for Millimeter Wave Systems

abstract: Hybrid beamforming is a promising concept to achieve high data rate transmission at millimeter waves. To implement it in a transceiver, many references optimally adapt to a high-dimensional multi-antenna channel but more or less ignore the complexity of the channel estimation. Realizing that received coupling coefficients of the channel and pairs of possible analog beamforming vectors can be used for analog beam selection, we further propose a low-complexity scheme that exploits the coupling coefficients to implement hybrid beamforming. Essentially, the coupling coefficients can be regarded as implicit channel state information (CSI), and the estimates of these coupling coefficients yield alternatives of effective channel matrices of much lower dimension. After calculating the Frobenius norm of these effective channel matrices, it turns out that the effective channel having the largest value of the Frobenius norm provides the solution to hybrid beamforming problem.


title: On a new Sheffer class of polynomials related to normal product distribution

abstract: Consider a generic random element $F_\infty= \sum_{\text{finite}} \lambda_k (N^2_k -1)$ in the second Wiener chaos with a finite number of non-zero coefficients in the spectral representation where $(N_k)_{k \ge 1}$ is a sequence of i.i.d $\mathscr{N}(0,1)$. Using the recently discovered (see Arras et al. \cite{a-a-p-s-stein}) stein operator $\RR_\infty$ associated to $F_\infty$, we introduce a new class of polynomials $$\PP_\infty:= \{ P_n = \RR^n_\infty \textbf{1} \, : \, n \ge 1 \}.$$ We analysis in details the case where $F_\infty$ is distributed as the normal product distribution $N_1 \times N_2$, and relate the associated polynomials class to Rota's {\it Umbral calculus} by showing that it is a \textit{Sheffer family} and enjoys many interesting properties. Lastly, we study the connection between the polynomial class $\PP_\infty$ and the non-central probabilistic limit theorems within the second Wiener chaos.


title: Martingale representation for degenerate diffusions

abstract: Let $(W,H,\mu)$ be the classical Wiener space on $\R^d$. Assume that $X=(X_t)$ is a diffusion process satisfying the stochastic differential equation $dX_t=\sigma(t,X)dB_t+b(t,X)dt$, where $\sigma:[0,1]\times C([0,1],\R^n)\to \R^n\otimes \R^d$, $b:[0,1]\times C([0,1],\R^n)\to \R^n$, $B$ is an $\R^d$-valued Brownian motion. We suppose that the weak uniqueness of this equation holds for any initial condition. We prove that any square integrable martingale $M$ w.r.t. to the filtration $(\calF_t(X),t\in [0,1])$ can be represented as $$ M_t=E[M_0]+\int_0^t P_s(X)\alpha_s(X).dB_s $$ where $\alpha(X)$ is an $\R^d$-valued process adapted to $(\calF_t(X),t\in [0,1])$, satisfying $E\int_0^t(a(X_s)\alpha_s(X),\alpha_s(X))ds<\infty$, $a=\sigma^\star\sigma$ and $P_s(X)$ denotes a measurable version of the orthogonal projection from $\R^d$ to $\sigma(X_s)^\star(\R^n)$. In particular, for any $h\in H$, we have \begin{equation} \label{wick} E[\rho(\delta h)|\calF_1(X)]=\exp\left(\int_0^1(P_s(X)\dot{h}_s,dB_s)-\half\int_0^1|P_s(X)\dot{h}_s|^2ds\right)\,, \end{equation} where $\rho(\delta h)=\exp(\int_0^1(\dot{h}_s,dB_s)-\half |H|_H^2)$. This result gives a new development as an infinite series of the $L^2$-functionals of the degenerate diffusions. We also give an adequate notion of "innovation process" associated to a degenerate diffusion which corresponds to the strong solution when the Brownian motion is replaced by an adapted perturbation of identity. This latter result gives the solution of the causal Monge-Amp\`ere equation.}


title: Systems of Differential Algebraic Equations in Computational Electromagnetics

abstract: Starting from space-discretisation of Maxwell's equations, various classical formulations are proposed for the simulation of electromagnetic fields. They differ in the phenomena considered as well as in the variables chosen for discretisation. This contribution presents a literature survey of the most common approximations and formulations with a focus on their structural properties. The differential-algebraic character is discussed and quantified by the differential index concept.


title: On a notion of anticanonical class for families of convex polytopes

abstract: The purpose of this note is to give a generalization of the statement that the anticanonical class of a (smooth) projective toric variety is the sum of invariant prime divisors, corresponding to the rays in its fan (or facets in its polytope), to some other classes of varieties with algebraic group actions. To this end, we suggest an analogue of the notion of anticanonical class (of a compact complex manifold) for linear families of convex polytopes. This is inspired by the Serre duality for smooth projective varieties as well as the Ehrhart-Macdonald reciprocity for rational polytopes. The main examples we have in mind are: (1) The family of polytopes normal to a given fan (which corresponds to the case of toric varieties). (2) The family of Gelfand-Zetlin polytopes (which corresponds to the case of the flag variety). (3) The family of Newton-Okounkov polytopes for a (smooth) group compactification.


title: Multi-Valley Superconductivity In Ion-Gated MoS2 Layers

abstract: Layers of transition metal dichalcogenides (TMDs) combine the enhanced effects of correlations associated with the two-dimensional limit with electrostatic control over their phase transitions by means of an electric field. Several semiconducting TMDs, such as MoS$_2$, develop superconductivity (SC) at their surface when doped with an electrostatic field, but the mechanism is still debated. It is often assumed that Cooper pairs reside only in the two electron pockets at the K/K' points of the Brillouin Zone. However, experimental and theoretical results suggest that a multi-valley Fermi surface (FS) is associated with the SC state, involving 6 electron pockets at the Q/Q' points. Here, we perform low-temperature transport measurements in ion-gated MoS$_2$ flakes. We show that a fully multi-valley FS is associated with the SC onset. The Q/Q' valleys fill for doping$\gtrsim2\cdot10^{13}$cm$^{-2}$, and the SC transition does not appear until the Fermi level crosses both spin-orbit split sub-bands Q$_1$ and Q$_2$. The SC state is associated with the FS connectivity and promoted by a Lifshitz transition due to the simultaneous population of multiple electron pockets. This FS topology will serve as a guideline in the quest for new superconductors.


title: A Simple Parallel and Distributed Sampling Technique: Local Glauber Dynamics

abstract: \emph{Sampling} constitutes an important tool in a variety of areas: from machine learning and combinatorial optimization to computational physics and biology. A central class of sampling algorithms is the \emph{Markov Chain Monte Carlo} method, based on the construction of a Markov chain with the desired sampling distribution as its stationary distribution. Many of the traditional Markov chains, such as the \emph{Glauber dynamics}, do not scale well with increasing dimension. To address this shortcoming, we propose a simple local update rule based on the Glauber dynamics that leads to efficient parallel and distributed algorithms for sampling from Gibbs distributions. Concretely, we present a Markov chain that mixes in $O(\log n)$ rounds when Dobrushin's condition for the Gibbs distribution is satisfied. This improves over the \emph{LubyGlauber} algorithm by Feng, Sun, and Yin [PODC'17], which needs $O(\Delta \log n)$ rounds, and their \emph{LocalMetropolis} algorithm, which converges in $O(\log n)$ rounds but requires a considerably stronger mixing condition. Here, $n$ denotes the number of nodes in the graphical model inducing the Gibbs distribution, and $\Delta$ its maximum degree. In particular, our method can sample a uniform proper coloring with $\alpha \Delta$ colors in $O(\log n)$ rounds for any $\alpha>2$, which almost matches the threshold of the sequential Glauber dynamics and improves on the $\alpha>2 +\sqrt{2}$ threshold of Feng et al.


title: Degeneration in VAE: in the Light of Fisher Information Loss

abstract: While enormous progress has been made to Variational Autoencoder (VAE) in recent years, similar to other deep networks, VAE with deep networks suffers from the problem of degeneration, which seriously weakens the correlation between the input and the corresponding latent codes, deviating from the goal of the representation learning. To investigate how degeneration affects VAE from a theoretical perspective, we illustrate the information transmission in VAE and analyze the intermediate layers of the encoders/decoders. Specifically, we propose a Fisher Information measure for the layer-wise analysis. With such measure, we demonstrate that information loss is ineluctable in feed-forward networks and causes the degeneration in VAE. We show that skip connections in VAE enable the preservation of information without changing the model architecture. We call this class of VAE equipped with skip connections as SCVAE and perform a range of experiments to show its advantages in information preservation and degeneration mitigation.


title: Large Scale Automated Forecasting for Monitoring Network Safety and Security

abstract: Real time large scale streaming data pose major challenges to forecasting, in particular defying the presence of human experts to perform the corresponding analysis. We present here a class of models and methods used to develop an automated, scalable and versatile system for large scale forecasting oriented towards safety and security monitoring. Our system provides short and long term forecasts and uses them to detect safety and security issues in relation with multiple internet connected devices well in advance they might take place.


title: Further results on random cubic planar graphs

abstract: We provide precise asymptotic estimates for the number of several classes of labelled cubic planar graphs, and we analyze properties of such random graphs under the uniform distribution. This model was first analyzed by Bodirsky et al. (Random Structures Algorithms 2007). We revisit their work and obtain new results on the enumeration of cubic planar graphs and on random cubic planar graphs. In particular, we determine the exact probability of a random cubic planar graph being connected, and we show that the distribution of the number of triangles in random cubic planar graphs is asymptotically normal with linear expectation and variance. To the best of our knowledge, this is the first time one is able to determine the asymptotic distribution for the number of copies of a fixed graph containing a cycle in classes of random planar graphs arising from planar maps.


title: Extension of Maschke's theorem

abstract: In the present article, we examine linear representations of finite gyrogroups, following their group-counterparts. In particular, we prove the celebrated theorem of Maschke for gyrogroups, along with its converse. This suggests studying the left regular action of a gyrogroup $(G, \oplus)$ on the function space $$ L^{\mathrm{gyr}}(G) = \{f\in L(G)\colon \forall a, x, y, z\in G, f(a\oplus\mathrm{gyr}[x, y]z) = f(a\oplus z)\} $$ in a natural way, where $L(G)$ is the space of all functions from $G$ into a field.


title: Maximum number of points on intersection of a cubic surface and a non-degenerate Hermitian surface

abstract: In 1991 S{\o}rensen proposed a conjecture for the maximum number of points on the intersection of a surface of degree $d$ and a non-degenerate Hermitian surface in $\PP^3(\Fqt)$. The conjecture was proven to be true by Edoukou in the case when $d=2$. In this paper, we prove that the conjecture is true for $d=3$ and $q \ge 8$. We further determine the second highest number of rational points on the intersection of a cubic surface and a non-degenerate Hermitian surface. Finally, we classify all the cubic surfaces that admit the highest and second highest number of points in common with a non-degenerate Hermitian surface. This classifications disproves one of the conjectures proposed by Edoukou, Ling and Xing.


title: A Comment on the Scale Length Validity of the Position Dependent Diffusion Coefficient Representation of Structural Heterogeneity

abstract: Experimental studies of the variation of the mean square displacement (MSD) of a particle in a confined colloid suspension that exhibits density variations on the scale length of the particle diameter are not in agreement with the prediction that the spatial variation in MSD should mimic the spatial variation in density. The predicted behavior is derived from the expectation that the MSD of a particle depends on the system density and the assumption that the force acting on a particle is a point function of position. The experimental data come from studies of the MSDs of particles in narrow ribbon channels and between narrowly spaced parallel plates, and from new data, reported herein, of the radial and azimuthal MSDs of a colloid particle in a dense colloid suspension confined to a small circular cavity. In each of these geometries a dense colloid suspension exhibits pronounced density oscillations with spacing of a particle diameter. We remove the discrepancy between prediction and experiment using the Fisher-Methfessel interpretation of how local equilibrium in an inhomogeneous system is maintained to argue that the force acting on a particle is delocalized over a volume with radius equal to a particle diameter. Our interpretation has relevance to the relationship between the scale of inhomogeneity and the utility of translation of the particle MSD into a position dependent diffusion coefficient, and to the use of a spatially dependent diffusion coefficient to describe mass transport in a heterogeneous system.


title: Unboundedness problems for languages of vector addition systems

abstract: A vector addition system (VAS) with an initial and a final marking and transition labels induces a language. In part because the reachability problem in VAS remains far from being well-understood, it is difficult to devise decision procedures for such languages. This is especially true for checking properties that state the existence of infinitely many words of a particular shape. Informally, we call these \emph{unboundedness properties}. We present a simple set of axioms for predicates that can express unboundedness properties. Our main result is that such a predicate is decidable for VAS languages as soon as it is decidable for regular languages. Among other results, this allows us to show decidability of (i)~separability by bounded regular languages, (ii)~unboundedness of occurring factors from a language $K$ with mild conditions on $K$, and (iii)~universality of the set of factors.


title: Quantum criticality of two-dimensional quantum magnets with long-range interactions

abstract: We study the critical breakdown of two-dimensional quantum magnets in the presence of algebraically decaying long-range interactions by investigating the transverse-field Ising model on the square and triangular lattice. This is achieved technically by combining perturbative continuous unitary transformations with classical Monte Carlo simulations to extract high-order series for the one-particle excitations in the high-field quantum paramagnet. We find that the unfrustrated systems change from mean-field to nearest-neighbor universality with continuously varying critical exponents, while the system remains in the universality class of the nearest-neighbor model in the frustrated cases independent of the long-range nature of the interaction.


title: New class of compact stars: Pion stars

abstract: We investigate the viability of a new type of compact star whose main constituent is a Bose-Einstein condensate of charged pions. Several different setups are considered, where a gas of charged leptons and neutrinos is also present. The pionic equation of state is obtained from lattice QCD simulations in the presence of an isospin chemical potential, and requires no modeling of the nuclear force. The gravitationally bound configurations of these systems are found by solving the Tolman-Oppenheimer-Volkov equations. We discuss weak decays within the pion condensed phase and elaborate on the generation mechanism of such objects.