title: Fast View Synthesis with Deep Stereo Vision

abstract: Novel view synthesis is an important problem in computer vision and graphics. Over the years a large number of solutions have been put forward to solve the problem. However, the large-baseline novel view synthesis problem is far from being "solved". Recent works have attempted to use Convolutional Neural Networks (CNNs) to solve view synthesis tasks. Due to the difficulty of learning scene geometry and interpreting camera motion, CNNs are often unable to generate realistic novel views. In this paper, we present a novel view synthesis approach based on stereo-vision and CNNs that decomposes the problem into two sub-tasks: view dependent geometry estimation and texture inpainting. Both tasks are structured prediction problems that could be effectively learned with CNNs. Experiments on the KITTI Odometry dataset show that our approach is more accurate and significantly faster than the current state-of-the-art. The code and supplementary material will be publicly available. Results could be found here https://youtu.be/5pzS9jc-5t0


title: Surveillance Face Recognition Challenge

abstract: Face recognition (FR) is one of the most extensively investigated problems in computer vision. Significant progress in FR has been made due to the recent introduction of the larger scale FR challenges, particularly with constrained social media web images, e.g. high-resolution photos of celebrity faces taken by professional photo-journalists. However, the more challenging FR in unconstrained and low-resolution surveillance images remains largely under-studied. To facilitate more studies on developing FR models that are effective and robust for low-resolution surveillance facial images, we introduce a new Surveillance Face Recognition Challenge, which we call the QMUL-SurvFace benchmark. This new benchmark is the largest and more importantly the only true surveillance FR benchmark to our best knowledge, where low-resolution images are not synthesised by artificial down-sampling of native high-resolution images. This challenge contains 463,507 face images of 15,573 distinct identities captured in real-world uncooperative surveillance scenes over wide space and time. As a consequence, it presents an extremely challenging FR benchmark. We benchmark the FR performance on this challenge using five representative deep learning face recognition models, in comparison to existing benchmarks. We show that the current state of the arts are still far from being satisfactory to tackle the under-investigated surveillance FR problem in practical forensic scenarios. Face recognition is generally more difficult in an open-set setting which is typical for surveillance scenarios, owing to a large number of non-target people (distractors) appearing open spaced scenes. This is evidently so that on the new Surveillance FR Challenge, the top-performing CentreFace deep learning FR model on the MegaFace benchmark can now only achieve 13.2% success rate (at Rank-20) at a 10% false alarm rate.


title: Factors Influencing the Surprising Instability of Word Embeddings

abstract: Despite the recent popularity of word embedding methods, there is only a small body of work exploring the limitations of these representations. In this paper, we consider one aspect of embedding spaces, namely their stability. We show that even relatively high frequency words (100-200 occurrences) are often unstable. We provide empirical evidence for how various factors contribute to the stability of word embeddings, and we analyze the effects of stability on downstream tasks.


title: State discrimination with post-measurement information and incompatibility of quantum measurements

abstract: We discuss the following variant of the standard minimum error state discrimination problem: Alice picks the state she sends to Bob among one of several disjoint state ensembles, and she communicates him the chosen ensemble only at a later time. Two different scenarios then arise: either Bob is allowed to arrange his measurement set-up after Alice has announced him the chosen ensemble, or he is forced to perform the measurement before of Alice's announcement. In the latter case, he can only post-process his measurement outcome when Alice's extra information becomes available. We compare the optimal guessing probabilities in the two scenarios, and we prove that they are the same if and only if there exist compatible optimal measurements for all of Alice's state ensembles. When this is the case, post-processing any of the corresponding joint measurements is Bob's optimal strategy in the post-measurement information scenario. Furthermore, we establish a connection between discrimination with post-measurement information and the standard state discrimination. By means of this connection and exploiting the presence of symmetries, we are able to compute the various guessing probabilities in many concrete examples.


title: Universal Features of BPS Strings in Six-dimensional SCFTs

abstract: In theories with extended supersymmetry the protected observables of UV superconformal fixed points are found in a number of contexts to be encoded in the BPS solitons along an IR Coulomb-like phase. For six-dimensional SCFTs such a role is played by the BPS strings on the tensorial Coulomb branch. In this paper we develop a uniform description of the worldsheet theories of a BPS string for rank-one 6d SCFTs. These strings are the basic constituents of the BPS string spectrum of arbitrary rank six-dimensional models, which they generate by forming bound states. Motivated by geometric engineering in F-theory, we describe the worldsheet theories of the BPS strings in terms of topologically twisted 4d $\mathcal{N}=2$ theories in the presence of $1/2$-BPS 2d $(0,4)$ defects. As the superconformal point of a 6d theory with gauge group $G$ is approached, the resulting worldsheet theory flows to an $\mathcal{N}=(0,4)$ NLSM with target the moduli space of one $G$ instanton, together with a nontrivial left moving bundle characterized by the matter content of the six-dimensional model. We compute the anomaly polynomial and central charges of the NLSM, and argue that the 6d flavor symmetry $F$ is realized as a current algebra on the string, whose level we compute. We find evidence that for generic theories the $G$ dependence is captured at the level of the elliptic genus by characters of an affine Kac-Moody algebra at negative level, which we interpret as a subsector of the chiral algebra of the BPS string worldsheet theory. We also find evidence for a spectral flow relating the R-R and NS-R elliptic genera. These properties of the string CFTs lead to constraints on their spectra, which in combination with modularity allow us to determine the elliptic genera of a vast number of string CFTs, leading also to novel results for 6d and 5d instanton partition functions.


title: The Plutino population: An Abundance of contact binaries

abstract: We observed twelve Plutinos over two separated years with the 4.3m Lowell's Discovery Channel Telescope. Here, we present the first lightcurve data for those objects. Three of them (2014JL$_{80}$, 2014JO$_{80}$, 2014JQ$_{80}$) display a large lightcurve amplitude explainable by a single elongated object, but are most likely caused by a contact binary system due to their lightcurves morphology. These potential contact binaries have rotational periods from 6.3h to 34.9h and peak-to-peak lightcurve variability between 0.6 and 0.8mag. We present partial lightcurves allowing us to constrain the lightcurve amplitude and the rotational period of another nine Plutinos. By merging our data with the literature, we estimate that up to $\sim$40$\%$ of the Plutinos could be contact binaries. Interestingly, we found that all the suspected contact binaries in the 3:2 resonance are small with absolute magnitude H$>$6mag. Based on our sample and the literature, up to $\sim$50$\%$ of the small Plutinos are potential contact binaries.


title: Positivity and Kodaira embedding theorem

abstract: Kodaira embedding theorem provides an effective characterization of projectivity of a K\"ahler manifold in terms the second cohomology. Recently X. Yang [21] proved that any compact K\"ahler manifold with positive holomorphic sectional curvature must be projective. This gives a metric criterion of the projectivity in terms of its curvature. In this note, we prove that any compact K\"ahler manifold with positive 2nd scalar curvature (which is the average of holomorphic sectional curvature over 2-dimensional subspaces of the tangent space) must be projective. In view of generic 2-tori being non-abelian, this new curvature characterization is sharp in certain sense.


title: Electrostatic Interpretation of Zeros of Orthogonal Polynomials

abstract: We study the differential equation $ - (p(x) y')' + q(x) y' = \lambda y,$ where $p(x)$ is a polynomial of degree at most 2 and $q(x)$ is a polynomial of degree at most 1. This includes the classical Jacobi polynomials, Hermite polynomials, Legendre polynomials, Chebychev polynomials and Laguerre polynomials. We provide a general electrostatic interpretation of zeros of such polynomials: the set of real numbers $\left\{x_1, \dots, x_n\right\}$ satisfies $$ p(x_i) \sum_{k = 1 \atop k \neq i}^{n}{\frac{2}{x_k - x_i}} = q(x_i) - p'(x_i) \qquad \mbox{for all}~ 1\leq i \leq n$$ if and only if they are zeros of a polynomial solving the differential equation. We also derive a system of ODEs depending on $p(x),q(x)$ whose solutions converge to the zeros of the orthogonal polynomial at an exponential rate.


title: The von Neumann Entropy for Mixed States

abstract: The Araki-Lieb inequality is commonly used to calculate the entropy of subsystems when they are initially in pure states as this forces the entropy of the two subsystems to be equal after the complete system evolves. Then, it is easy to calculate the entropy of a large subsystem by finding the entropy of the small one. To the best of our knowledge, there does not exist a way of calculating the entropy when one of the subsystems is initially in a mixed state. We show here that it is possible to use the Araki-Lieb inequality in this case and find the von Neumann entropy for the large (infinite) system. We show this in the two-level atom-field interaction.


title: Towards Fast Computation of Certified Robustness for ReLU Networks

abstract: Verifying the robustness property of a general Rectified Linear Unit (ReLU) network is an NP-complete problem [Katz, Barrett, Dill, Julian and Kochenderfer CAV17]. Although finding the exact minimum adversarial distortion is hard, giving a certified lower bound of the minimum distortion is possible. Current available methods of computing such a bound are either time-consuming or delivering low quality bounds that are too loose to be useful. In this paper, we exploit the special structure of ReLU networks and provide two computationally efficient algorithms Fast-Lin and Fast-Lip that are able to certify non-trivial lower bounds of minimum distortions, by bounding the ReLU units with appropriate linear functions Fast-Lin, or by bounding the local Lipschitz constant Fast-Lip. Experiments show that (1) our proposed methods deliver bounds close to (the gap is 2-3X) exact minimum distortion found by Reluplex in small MNIST networks while our algorithms are more than 10,000 times faster; (2) our methods deliver similar quality of bounds (the gap is within 35% and usually around 10%; sometimes our bounds are even better) for larger networks compared to the methods based on solving linear programming problems but our algorithms are 33-14,000 times faster; (3) our method is capable of solving large MNIST and CIFAR networks up to 7 layers with more than 10,000 neurons within tens of seconds on a single CPU core. In addition, we show that, in fact, there is no polynomial time algorithm that can approximately find the minimum $\ell_1$ adversarial distortion of a ReLU network with a $0.99\ln n$ approximation ratio unless $\mathsf{NP}$=$\mathsf{P}$, where $n$ is the number of neurons in the network.


title: Formation of spiky structures in high-altitude snow patches: penitente tilting

abstract: Penitentes are spikes formed on the surface of the snow, which are present typically at high altitude in the Andes and Himalayas. They are a consequence of a thermodynamic instability, as a result of the surface sublimation at a given point due to the incidence of light scattered by surrounding features. Here, based on existing literature, we model the time evolution of penitente formation as a purely radiation-driven phenomenon. The physical system is governed by a 1D diffusion equation with a nonlocal source term, which represents the light coming in from all the line of sight accessible from that point of the curve. For small perturbations on the initial profile, the surface undergoes an instability which triggers the formation of spiky structures. For solar radiation coming in the surface at a given angle, our numerical simulations account for a feature observed in the real system: penitentes get tilted in the direction of the sunlight.


title: Automorphism related parameters of a graph associated to a finite vector space

abstract: In this paper, we discuss automorphism related parameters of a graph associated to a finite vector space. The fixing neighborhood of a pair $(u,v)$ of vertices of a graph $G$ is the set of all those vertices $w$ of $G$, such that the orbits of $u$ and $v$ under the action of stabilizer of $w$ are not equal. The fixed number of a graph is the minimum number $k$ such that every subset of vertices of $G$ of cardinality $k$ is a fixing set of $G$. We study some properties of automorphisms of a graph associated to finite vector space and find the fixing neighborhood of pair of vertices of the graph. We also find the fixed number of the graph. It is shown that, for every positive integer $N$, there exists a graph $G$ with $fxd(G)-fix(G)\geq N$, where $fxd(G)$ is the fixed number and $fix(G)$ is the fixing number of $G$.


title: On Short Sums Involving Fourier Coefficients of Maass Forms

abstract: We study sums of Hecke eigenvalues of Hecke-Maass cusp forms for the group $\mathrm{SL}(n,\mathbb Z)$, with general $n\geq 3$, over certain short intervals under the assumption of the generalised Lindel\"of hypothesis and a slightly stronger upper bound concerning the exponent towards the Ramanujan-Petersson conjecture that is currently known. In particular, in this case we evaluate the second moment of the sums in question asymptotically.


title: Repeated multi-qubit readout and feedback with a mixed-species trapped-ion register

abstract: Quantum error correction will be essential for realizing the full potential of large-scale quantum information processing devices. Fundamental to its experimental realization is the repetitive detection of errors via projective measurements of quantum correlations among qubits, and correction using conditional feedback. Performing these tasks repeatedly requires a system in which measurement and feedback decision times are short compared to qubit coherence times, where the measurement reproduces faithfully the desired projection, and for which the measurement process has no detrimental effect on the ability to perform further operations. Here we demonstrate up to 50 sequential measurements of correlations between two beryllium-ion qubits using a calcium ion ancilla, and implement feedback which allows us to stabilize two-qubit subspaces as well as Bell states. Multi-qubit mixed-species gates are used to transfer information from qubits to the ancilla, enabling quantum state detection with negligible crosstalk to the stored qubits. Heating of the ion motion during detection is mitigated using sympathetic recooling. A key element of the experimental system is a powerful classical control system, which features flexible in-sequence processing to implement feedback control. The methods employed here provide a number of essential ingredients for scaling trapped-ion quantum computing, and provide new opportunities for quantum state control and entanglement-enhanced quantum metrology.


title: Block matrices and Guo's Index for block circulant matrices with circulant blocks

abstract: In this paper we deal with circulant and partitioned into $n$-by-$n$ circulant blocks matrices and introduce spectral results concerning this class of matrices. The problem of finding lists of complex numbers corresponding to a set of eigenvalues of a nonnegative block matrix with circulant blocks is treated. Along the paper we call realizable list if its elements are the eigenvalues of a nonnegative matrix. The Guo's index $\lambda_0$ of a realizable list is the minimum spectral radius such that the list (up to the initial spectral radius) together with $\lambda_0$ is realizable. The Guo's index of block circulant matrices with circulant blocks is obtained, and in consequence, necessary and sufficient conditions concerning the NIEP, Nonnegative Inverse Eigenvalue Problem, for the realizability of some spectra are given.


title: Positive Solutions of Systems of Signed Parametric Polynomial Inequalities

abstract: We consider systems of strict multivariate polynomial inequalities over the reals. All polynomial coefficients are parameters ranging over the reals, where for each coefficient we prescribe its sign. We are interested in the existence of positive real solutions of our system for all choices of coefficients subject to our sign conditions. We give a decision procedure for the existence of such solutions. In the positive case our procedure yields a parametric positive solution as a rational function in the coefficients. Our framework allows to reformulate heuristic subtropical approaches for non-parametric systems of polynomial inequalities that have been recently used in qualitative biological network analysis and, independently, in satisfiability modulo theory solving. We apply our results to characterize the incompleteness of those methods.


title: Memory effect and phase transition in a hierarchical trap model for spin glass

abstract: We introduce an efficient dynamical tree method that enables us, for the first time, to explicitly demonstrate thermo-remanent magnetization memory effect in a hierarchical energy landscape. Our simulation nicely reproduces the nontrivial waiting-time and waiting-temperature dependences in this non-equilibrium phenomenon. We further investigate the condensation effect, in which a small set of micro-states dominates the thermodynamic behavior, in the multi-layer trap model. Importantly, a structural phase transition of the tree is shown to coincide with the onset of condensation phenomenon. Our results underscore the importance of hierarchical structure and demonstrate the intimate relation between glassy behavior and structure of barrier trees.


title: Transitive PSL(2,11)-invariant k-arcs in PG(4,q)

abstract: A \textit{k}-arc in the projective space ${\rm PG}(n,q)$ is a set of $k$ projective points such that no subcollection of $n+1$ points is contained in a hyperplane. In this paper, we construct new $60$-arcs and $110$-arcs in ${\rm PG}(4,q)$ that do not arise from rational or elliptic curves. We introduce computational methods that, when given a set $\mathcal{P}$ of projective points in the projective space of dimension $n$ over an algebraic number field $\mathcal{Q}(\xi)$, determines a complete list of primes $p$ for which the reduction modulo $p$ of $\mathcal{P}$ to the projective space ${\rm PG}(n,p^h)$ may fail to be a $k$-arc. Using these methods, we prove that there are infinitely many primes $p$ such that ${\rm PG}(4,p)$ contains a ${\rm PSL}(2,11)$-invariant $110$-arc, where ${\rm PSL}(2,11)$ is given in one of its natural irreducible representations as a subgroup of ${\rm PGL}(5,p)$. Similarly, we show that there exist ${\rm PSL}(2,11)$-invariant $110$-arcs in ${\rm PG}(4,p^2)$ and ${\rm PSL}(2,11)$-invariant $60$-arcs in ${\rm PG}(4,p)$ for infinitely many primes $p$.


title: Non-stationary Almost Sure Invariance Principle for Hyperbolic Systems with Singularities

abstract: We investigate a wide class of two-dimensional hyperbolic systems with singularities, and prove the almost sure invariance principle (ASIP) for the random process generated by sequences of dynamically H\"older observables. The observables could be unbounded, and the process may be non-stationary and need not have linearly growing variances. Our results apply to Anosov diffeomorphisms, Sinai dispersing billiards and their perturbations. The random processes under consideration are related to the fluctuation of Lyapunov exponents, the shrinking target problem, etc.


title: A Combinatorial Approach to Rauzy-type Dynamics III: The Sliding Dynamics, Diameter and Algorithm

abstract: Rauzy-type dynamics are group actions on a collection of combinatorial objects. The first and best known example (the Rauzy dynamics) concerns an action on permutations, associated to interval exchange transformations (IET) for the Poincar\'e map on compact orientable translation surfaces. The equivalence classes on the objects induced by the group action have been classified by Kontsevich and Zorich in [KZ03] and correspond bijectively to the connected components of the strata of the moduli space of abelian differentials. In a paper [Boi14] Boissy proposed a Rauzy-type dynamics that acts on a subset of the permutations (the standard permutations) and conjectured that the Rauzy classes of this dynamics are exactly the Rauzy classes of the Rauzy dynamics restricted to standard permutations. In this paper, we apply the labelling method introduced in [D18] to classify this dynamics thus proving Boissy's conjecture. Finally, this paper conclude our serie of three papers on the study of the Rauzy dynamics by presenting two new results on the Rauzy classes: An quadratic algorithm for outputting a path between two connected permutations and a tight $\Theta(n)$ bound on the diameter of the Rauzy classes for the alternating distance.


title: Strongly singular bilinear Calder\'on-Zygmund operators and a class of bilinear pseudodifferential operators

abstract: Motivated by the study of kernels of bilinear pseudodifferential operators with symbols in a H\"ormander class of critical order, we investigate boundedness properties of strongly singular Calder\'on--Zygmund operators in the bilinear setting. For such operators, whose kernels satisfy integral-type conditions, we establish boundedness properties in the setting of Lebesgue spaces as well as endpoint mappings involving the space of functions of bounded mean oscillations and the Hardy space. Assuming pointwise-type conditions on the kernels, we show that strongly singular bilinear Calder\'on--Zygmund operators satisfy pointwise estimates in terms of maximal operators, which imply their boundedness in weighted Lebesgue spaces.


title: Delocalized excitons in natural light harvesting complexes

abstract: Natural organisms such as photosynthetic bacteria, algae, and plants employ complex molecular machinery to convert solar energy into biochemical fuel. An important common feature shared by most of these photosynthetic organisms is that they capture photons in the form of excitons typically delocalized over a few to tens of pigment molecules embedded in protein environments of light harvesting complexes (LHCs). Delocalized excitons created in such LHCs remain well protected despite being swayed by environmental fluctuations, and are delivered successfully to their destinations over hundred nanometer length scale distances in about hundred picosecond time scales. Decades of experimental and theoretical investigation have produced a large body of information offering insights into major structural, energetic, and dynamical features contributing to LHCs' extraordinary capability to harness photons using delocalized excitons. The objective of this review is (i) to provide a comprehensive account of major theoretical, computational, and spectroscopic advances that have contributed to this body of knowledge, and (ii) to clarify the issues concerning the role of delocalized excitons in achieving efficient energy transport mechanisms. The focus of this review is on three representative systems, Fenna-Matthews-Olson complex of green sulfur bacteria, light harvesting 2 complex of purple bacteria, and phycobiliproteins of cryptophyte algae. Although we offer more in-depth and detailed description of theoretical and computational aspects, major experimental results and their implications are also assessed in the context of achieving excellent light harvesting functionality. Future theoretical and experimental challenges to be addressed in gaining better understanding and utilization of delocalized excitons are also discussed.


title: Non-modal analysis of spectral element methods: Towards accurate and robust large-eddy simulations

abstract: We introduce a \textit{non-modal} analysis technique that characterizes the diffusion properties of spectral element methods for linear convection-diffusion systems. While strictly speaking only valid for linear problems, the analysis is devised so that it can give critical insights on two questions: (i) Why do spectral element methods suffer from stability issues in under-resolved computations of nonlinear problems? And, (ii) why do they successfully predict under-resolved turbulent flows even without a subgrid-scale model? The answer to these two questions can in turn provide crucial guidelines to construct more robust and accurate schemes for complex under-resolved flows, commonly found in industrial applications. For illustration purposes, this analysis technique is applied to the hybridized discontinuous Galerkin methods as representatives of spectral element methods. The effect of the polynomial order, the upwinding parameter and the P\'eclet number on the so-called \textit{short-term diffusion} of the scheme are investigated. From a purely non-modal analysis point of view, polynomial orders between $2$ and $4$ with standard upwinding are well suited for under-resolved turbulence simulations. For lower polynomial orders, diffusion is introduced in scales that are much larger than the grid resolution. For higher polynomial orders, as well as for strong under/over-upwinding, robustness issues can be expected. The non-modal analysis results are then tested against under-resolved turbulence simulations of the Burgers, Euler and Navier-Stokes equations. While devised in the linear setting, our non-modal analysis succeeds to predict the behavior of the scheme in the nonlinear problems considered.


title: End-to-End Multimodal Speech Recognition

abstract: Transcription or sub-titling of open-domain videos is still a challenging domain for Automatic Speech Recognition (ASR) due to the data's challenging acoustics, variable signal processing and the essentially unrestricted domain of the data. In previous work, we have shown that the visual channel -- specifically object and scene features -- can help to adapt the acoustic model (AM) and language model (LM) of a recognizer, and we are now expanding this work to end-to-end approaches. In the case of a Connectionist Temporal Classification (CTC)-based approach, we retain the separation of AM and LM, while for a sequence-to-sequence (S2S) approach, both information sources are adapted together, in a single model. This paper also analyzes the behavior of CTC and S2S models on noisy video data (How-To corpus), and compares it to results on the clean Wall Street Journal (WSJ) corpus, providing insight into the robustness of both approaches.


title: {\mu}Dose: a compact system for environmental radioactivity and dose rate measurement

abstract: $\mu$Dose is a novel compact analytical instrument for assessing low level $^{238}$U, $^{235}$U, $^{232}$Th decay chains and $^{40}$K radioactivity. The system is equipped with a dual $\alpha$/$\beta$ scintillator allowing to discriminate between $\alpha$ and $\beta$ particles. The unique build-in pulse analyzer measures the amplitude of each individual pulse, its shape and the time interval between subsequent pulses. This allows the detection of pulse pairs arising from subsequent decays of $^{214}$Bi/$^{214}$Po, $^{220}$Rn/$^{216}$Po, $^{212}$Bi/$^{212}$Po and $^{219}$Rn/$^{215}$Po. The obtained $\alpha$ and $\beta$ counts and four separate decay pair counts are used to asses the $^{238}$U, $^{235}$U, $^{232}$Th and $^{40}$K specific radioactivities in the measured samples through the use of radioactivity standards. The $\mu$Dose system may be equipped with various photomultipliers and counting containers to assess radionuclide concentrations of samples of masses ranging between 0.4~g and 4~g. As a result, the user can customize the system to their needs and maximize the instrument\textquotesingle s performance. The system is controlled by a dedicated software with a graphical user interface and modules for system calibration, data visualization, specific radioactivity calculations and dose rate determination using the infinite matrix assumption.


title: Exploring the thermal energy contents of the intergalactic medium with the Sunyaev-Zel'dovich effect

abstract: We examine the thermal energy contents of the intergalactic medium (IGM) over three orders of magnitude in both mass density and gas temperature using thermal Sunyaev-Zel'dovich effect (tSZE). The analysis is based on {\it Planck} tSZE map and the cosmic density field, reconstructed for the SDSS DR7 volume and sampled on a grid of cubic cells of $(1h^{-1}{\rm Mpc})^3$, together with a matched filter technique employed to maximize the signal-to-noise. Our results show that the pressure - density relation of the IGM is roughly a power law given by an adiabatic equation of state, with an indication of steepening at densities higher than about $10$ times the mean density of the universe. The implied average gas temperature is $\sim 10^4\,{\rm K}$ in regions of mean density, $\rho_{\rm m} \sim {\overline\rho}_{\rm m}$, increasing to about $10^5\,{\rm K}$ for $\rho_{\rm m} \sim 10\,{\overline\rho}_{\rm m}$, and to $>10^{6}\,{\rm K}$ for $\rho_{\rm m} \sim 100\,{\overline\rho}_{\rm m}$. At a given density, the thermal energy content of the IGM is also found to be higher in regions of stronger tidal fields, likely due to shock heating by the formation of large scale structure and/or feedback from galaxies and AGNs. A comparison of the results with hydrodynamic simulations suggests that the current data can already provide interesting constraints on galaxy formation.


title: Planet seeding through gas-assisted capture of interstellar objects

abstract: Planet formation begins with collisional growth of small planetesimals accumulating into larger ones. Such growth occurs while planetesimals are embedded in a gaseous protoplanetary disc. However, small-planetesimals experience collisions and gas-drag that lead to their destruction on short timescales, not allowing, or requiring fine tuned conditions for the efficient growth of $\sim$ metre-size objects. Here we show that $\sim10^{4}$ interstellar objects such as the recently detected 1I/2017-U1 ('Oumuamua) could have been captured, and become part of the young Solar System, together with up to hundreds of $\sim$ km sized ones. The capture rates are robust even for conservative assumptions on the protoplanetary disc structure, local stellar environment and planetesimal ISM density. 'Seeding' of such planetesimals then catalyze further planetary growth into planetary embryos, and potentially alleviate the main-challenges with the meter-size growth-"barrier". The capture model is in synergy with the current leading planet formation theories, providing the missing link to the first planetesimals. Moreover, planetesimal capture provides a far more efficient route for lithopanspermia than previously thought.


title: R-current three-point functions in 4d $\mathcal{N}=1$ superconformal theories

abstract: In 4d $\mathcal{N}=1$ superconformal field theories (SCFTs) the R-symmetry current, the stress-energy tensor, and the supersymmetry currents are grouped into a single object, the Ferrara-Zumino multiplet. In this work we study the most general form of three-point functions involving two Ferrara-Zumino multiplets and a third generic multiplet. We solve the constraints imposed by conservation in superspace and show that non-trivial solutions can only be found if the third multiplet is R-neutral and transforms in suitable Lorentz representations. In the process we give a prescription for counting independent tensor structures in superconformal three-point functions. Finally, we set the Grassmann coordinates of the Ferrara-Zumino multiplets to zero and extract all three-point functions involving two R-currents and a third conformal primary. Our results pave the way for bootstrapping the correlation function of four R-currents in 4d $\mathcal{N}=1$ SCFTs.


title: Robustness of Topological Order in the Toric Code with Open Boundaries

abstract: We analyze the robustness of topological order in the toric code in an open boundary setting in the presence of perturbations. The boundary conditions are introduced on a cylinder, and are classified into condensing and non-condensing classes depending on the behavior of the excitations at the boundary under perturbation. For the non-condensing class, we see that the topological order is more robust when compared to the case of periodic boundary conditions while in the condensing case topological order is lost as soon as the perturbation is turned on. In most cases, the robustness can be understood by the quantum phase diagram of a equivalent Ising model.


title: Wilson loop approach to fragile topology of split elementary band representations and topological crystalline insulators with time reversal symmetry

abstract: We present a general methodology towards the systematic characterization of crystalline topological insulating phases with time reversal symmetry (TRS).~In particular, taking the two-dimensional spinful hexagonal lattice as a proof of principle we study windings of Wilson loop spectra over cuts in the Brillouin zone that are dictated by the underlying lattice symmetries.~Our approach finds a prominent use in elucidating and quantifying the recently proposed ``topological quantum chemistry" (TQC) concept.~Namely, we prove that the split of an elementary band representation (EBR) by a band gap must lead to a topological phase.~For this we first show that in addition to the Fu-Kane-Mele $\mathbb{Z}_2$ classification, there is $C_2\mathcal{T}$-symmetry protected $\mathbb{Z}$ classification of two-band subspaces that is obstructed by the other crystalline symmetries, i.e.~forbidding the trivial phase. This accounts for all nontrivial Wilson loop windings of split EBRs \textit{that are independent of the parameterization of the flow of Wilson loops}.~Then, we show that while Wilson loop winding of split EBRs can unwind when embedded in higher-dimensional band space, two-band subspaces that remain separated by a band gap from the other bands conserve their Wilson loop winding, hence revealing that split EBRs are at least "stably trivial", i.e. necessarily non-trivial in the non-stable (few-band) limit but possibly trivial in the stable (many-band) limit.~This clarifies the nature of \textit{fragile} topology that has appeared very recently.~We then argue that in the many-band limit the stable Wilson loop winding is only determined by the Fu-Kane-Mele $\mathbb{Z}_2$ invariant implying that further stable topological phases must belong to the class of higher-order topological insulators.


title: JUNIPR: a Framework for Unsupervised Machine Learning in Particle Physics

abstract: In applications of machine learning to particle physics, a persistent challenge is how to go beyond discrimination to learn about the underlying physics. To this end, a powerful tool would be a framework for unsupervised learning, where the machine learns the intricate high-dimensional contours of the data upon which it is trained, without reference to pre-established labels. In order to approach such a complex task, an unsupervised network must be structured intelligently, based on a qualitative understanding of the data. In this paper, we scaffold the neural network's architecture around a leading-order model of the physics underlying the data. In addition to making unsupervised learning tractable, this design actually alleviates existing tensions between performance and interpretability. We call the framework JUNIPR: "Jets from UNsupervised Interpretable PRobabilistic models". In this approach, the set of particle momenta composing a jet are clustered into a binary tree that the neural network examines sequentially. Training is unsupervised and unrestricted: the network could decide that the data bears little correspondence to the chosen tree structure. However, when there is a correspondence, the network's output along the tree has a direct physical interpretation. JUNIPR models can perform discrimination tasks, through the statistically optimal likelihood-ratio test, and they permit visualizations of discrimination power at each branching in a jet's tree. Additionally, JUNIPR models provide a probability distribution from which events can be drawn, providing a data-driven Monte Carlo generator. As a third application, JUNIPR models can reweight events from one (e.g. simulated) data set to agree with distributions from another (e.g. experimental) data set.


title: Investigating the Lyman photon escape in local starburst galaxies with the Cosmic Origins Spectrograph

abstract: We present a study of 7 star-forming galaxies from the Cosmic Evolution Survey (COSMOS) observed with the Cosmic Origins Spectrograph (COS) on board the Hubble Space Telescope (HST). The galaxies are located at relatively low redshifts, $z\sim$0.3, with morphologies ranging from extended and disturbed to compact and smooth. To complement the HST observations we also analyze observations taken with the VIMOS spectrograph on the Very Large Telescope (VLT). In our galaxy sample we identify three objects with double peak Lyman-$\alpha$ profiles similar to those seen in Green Pea compact galaxies and measure peak separations of 655, 374, and 275 km s$^{-1}$. We measure Lyman-$\alpha$ escape fractions with values ranging between 5-13\%. Given the low flux levels in the individual COS exposures we apply a weighted stacking approach to obtain a single spectrum. From this COS combined spectrum we infer upper limits for the absolute and relative Lyman continuum escape fractions of $f_{\rm abs}(\rm LyC)$ = 0.4$^{+10.1}_{-0.4}$\% and $f_{\rm res}(\rm LyC)$ = 1.7$^{+15.2}_{-1.7}$\%, respectively. Finally, we find that most of these galaxies have moderate UV and optical SFRs (SFRs $\lesssim$ 10 M$_{\odot}$ yr$^{-1}$).


title: The Three-loop Quark Jet Function

abstract: We calculate the massless quark jet function to three-loop order. The quark jet function is a universal ingredient in SCET factorization for many collider and decay processes with quark initiated final state jets. Our three-loop result contributes to the resummation for observables probing the invariant mass of final state quark jets at N$^3$LL$^\prime$. It represents the first complete three-loop result for a factorization ingredient describing collinear radiation. Furthermore it constitutes a major component of the $N$-jettiness subtraction/slicing method at N$^3$LO, which eventually may enable the calculation of fully-differential cross sections with a colorful final state at this order.


title: Interactions of multiple spin-2 fields beyond pairwise couplings

abstract: Thus far, all known ghost-free interactions of multiple spin-2 fields have involved at most pairwise couplings of the fields, which are direct generalizations of bimetric interactions. Here we present a class of spin-2 theories with genuine multi-field interactions, and explicitly demonstrate the absence of ghost instabilities. The construction involves integrating out a nondynamical field in a theory of spin-2 fields with only pairwise ghost-free interactions. The new multi-vierbein interactions generated are not always expressible in terms of the associated metrics.


title: Extended Millimeter Emission in the HD 141569 Circumstellar Disk Detected with ALMA

abstract: We present archival ALMA observations of the HD 141569 circumstellar disk at 345, 230, and 100 GHz. These data detect extended millimeter emission that is exterior to the inner disk. We find through simultaneous visibility modeling of all three data sets that the system's morphology is described well by a two-component disk model. The inner disk ranges from approximately 16 to 45 au with a spectral index of 1.81 (q = 2.95) and the outer disk ranges from 95 to 300 au with a spectral index of 2.28 (q = 3.21). Azimuthally averaged radial emission profiles derived from the continuum images at each frequency show potential emission that is consistent with the visibility modeling. The analysis presented here shows that at ~5 Myr HD 141569's grain size distribution is steeper, and therefore more evolved, in the outer disk than in the inner disk.


title: Measurement of the entanglement spectrum of a symmetry-protected topological state using the IBM quantum computer

abstract: Entanglement properties are routinely used to characterize phases of quantum matter in theoretical computations. For example the spectrum of the reduced density matrix, or so-called "entanglement spectrum", has become a widely used diagnostic for universal topological properties of quantum phases. However, while being convenient to calculate theoretically, it is notoriously hard to measure in experiments. Here we use the IBM quantum computer to make the first ever measurement of the entanglement spectrum of a symmetry-protected topological state. We are able to distinguish its entanglement spectrum from those we measure for trivial and long-range ordered states.


title: The zeroth law of thermodynamics is redundant

abstract: We reconsider the basic building blocks of classical phenomenological thermodynamics. While doing so we show that the zeroth law is a redundant postulate for the theory by deriving it from the first and the second laws. This is in stark contrast to the prevalent conception that the three laws, the zeroth, first and second, are all necessary and independent axioms.

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


title: Berwald spacetimes and very special relativity

abstract: In this work we study Berwald spacetimes and their vacuum dynamics, where the latter are based on a Finsler generalization of the Einstein's equations derived from an action on the unit tangent bundle. In particular, we consider a specific class of spacetimes which are non-flat generalizations of the very special relativity (VSR) line element, to which we refer as very general relativity (VGR). We derive necessary and sufficient conditions for the VGR line element to be of Berwald type. We present two novel examples with the corresponding vacuum field equations: a Finslerian generalization of vanishing scalar invariant (VSI) spacetimes in Einstein's gravity as well as the most general homogeneous and isotropic VGR spacetime.


title: Perturbing AdS$_6 \times_w S^4$: linearised equations and spin-2 spectrum

abstract: We initiate the analysis of the Kaluza--Klein mass spectrum of massive IIA supergravity on the warped AdS$_6 \times_w S^4$ background, by deriving the linearised equations of motion of bosonic and fermionic fluctuations, and determining the mass spectrum of those of spin-2. The spin-2 modes are given in terms of hypergeometric functions and a careful analysis of their boundary conditions uncovers the existence of two branches of mass spectra, bounded from below. The modes that saturate the bounds belong to short multiplets which we identify in the representation theory of the $\mathfrak{f}(4)$ symmetry superalgebra of the AdS$_6 \times_w S^4$ solution.


abstract: A method of induction the distances with Hilbert structure is proposed. Some properties of the method are studied. Typical examples of corresponding metric spaces are discussed. Key words: Hilbert spaces; metric spaces; isometric embedding into Hilbert spaces


title: Strength and Hartshorne's Conjecture in high degree

abstract: Hartshorne conjectured that a smooth, codimension c subvariety of n-dimensional projective space must be a complete intersection, whenever c is less than n/3. We prove this in the special case when n is much larger than the degree of the subvariety. Similar results were known in characteristic zero due to Hartshorne, Barth-Van de Ven, and others. Our proof is field independent and employs quite different methods from those previous results, as we connect Hartshorne's Conjecture with the circle of ideas initiated by Ananyan and Hochster in their proof of Stillman's Conjecture.


title: Effect of Cosmic Rays on the Evolution and Momentum Deposition of Supernova Remnants

abstract: Using a semianalytical approach based on the thin-shell approximation, we calculate the long-term evolution of supernova remnants (SNRs) while also accounting for the cosmic rays (CRs) accelerated at their blast waves. Our solution reproduces the results of state-of-the-art hydro simulations across the adiabatic and radiative stages for the gas-only case, and it predicts that typical CR acceleration efficiencies ($\approx 10\%$ ) can boost SNR momentum deposition by a factor of 2--3. This enhancement can become as large as an order of magnitude in environments in which the gas experiences more severe radiative losses. This result may have a crucial impact on modeling the effect of supernova feedback on star formation and galaxy evolution.


title: Estimating ergodization time of a chaotic many-particle system from a time reversal of equilibrium noise

abstract: We propose a method of estimating ergodization time of a chaotic many-particle system by monitoring equilibrium noise before and after time reversal of dynamics (Loschmidt echo). The ergodization time is defined as the characteristic time required to extract the largest Lyapunov exponent from a system's dynamics. We validate the method by numerical simulation of an array of coupled Bose-Einstein condensates in the regime describable by the discrete Gross-Pitaevskii equation. The quantity of interest for the method is a counterpart of out-of-time-order correlators (OTOCs) in the quantum regime.

categories: quant-ph cond-mat.stat-mech nlin.CD physics.atom-ph


title: Randomness versus nonlocality in the Mermin-Bell experiment with three parties

abstract: The detection of nonlocal correlations in a Bell experiment implies almost by definition some intrinsic randomness in the measurement outcomes. For given correlations, or for a given Bell violation, the amount of randomness predicted by quantum physics, quantified by the guessing probability, can generally be bounded numerically. However, currently only a few exact analytic solutions are known for violations of the bipartite Clauser-Horne-Shimony-Holt Bell inequality. Here, we study the randomness in a Bell experiment where three parties test the tripartite Mermin-Bell inequality. We give tight upper bounds on the guessing probabilities associated with one and two of the parties' measurement outcomes as a function of the Mermin inequality violation. Finally, we discuss the possibility of device-independent secret sharing based on the Mermin inequality and argue that the idea seems unlikely to work.


title: Hyperasymptotic solutions for certain partial differential equations

abstract: We present the hyperasymptotic expansions for a certain group of solutions of the heat equation. We extend this result to a more general case of linear PDEs with constant coefficients. The generalisation is based on the method of Borel summability, which allows us to find integral representations of solutions for such PDEs.


title: Nyldon words

abstract: The Chen-Fox-Lyndon theorem states that every finite word over a fixed alphabet can be uniquely factorized as a lexicographically nonincreasing sequence of Lyndon words. This theorem can be used to define the family of Lyndon words in a recursive way. If the lexicographic order is reversed in this definition, we obtain a new family of words, which are called the Nyldon words. In this paper, we show that every finite word can be uniquely factorized into a lexicographically nondecreasing sequence of Nyldon words. Otherwise stated, Nyldon words form a complete factorization of the free monoid with respect to the decreasing lexicographic order. Then we investigate this new family of words. In particular, we show that Nyldon words form a right Lazard set.


title: Movable but not removable band degeneracies in a symmorphic crystal

abstract: Crossings of energy bands in solids that are not pinned at symmetry points in the Brillouin zone and yet cannot be removed by perturbations are thought to be conditioned on the presence of a nonsymmorphic symmetry. In this Letter we show that such band crossings can actually appear also in a symmorphic crystal. A study of a class of tight-binding multiband one-dimensional lattice models of spinful electrons reveals that chiral, time-reversal and site-mirror symmetries are suffcient to produce such movable but not removable band degeneracies.


title: Emergent statistical mechanics of entanglement in random unitary circuits

abstract: We map the dynamics of entanglement in random unitary circuits, with finite on-site Hilbert space dimension $q$, to an effective classical statistical mechanics, and develop general diagrammatic tools for calculations in random unitary circuits. We demonstrate explicitly the emergence of a `minimal membrane' governing entanglement growth, which in 1+1D is a directed random walk in spacetime (or a variant thereof). Using the replica trick to handle the logarithm in the definition of the $n$th R\'enyi entropy $S_n$, we map the calculation of the entanglement after a quench to a problem of interacting random walks. A key role is played by effective classical spins (taking values in a permutation group) which distinguish between different ways of pairing spacetime histories in the replicated system. For the second R\'enyi entropy, $S_2$, we are able to take the replica limit explicitly. This gives a mapping between entanglement growth and a directed polymer in a random medium at finite temperature (confirming Kardar-Parisi-Zhang (KPZ) scaling for entanglement growth in generic noisy systems). We find that the entanglement growth rate (`speed') $v_n$ depends on the R\'enyi index $n$, and we calculate $v_2$ and $v_3$ in an expansion in the inverse local Hilbert space dimension, $1/q$. These rates are determined by the free energy of a random walk, and of a bound state of two random walks, respectively, and include contributions of `energetic' and `entropic' origin. We give a combinatorial interpretation of the Page-like subleading corrections to the entanglement at late times and discuss the dynamics of the entanglement close to and after saturation. We briefly discuss the application of these insights to time-independent Hamiltonian dynamics.

categories: cond-mat.stat-mech cond-mat.str-el hep-th nlin.CD quant-ph


title: Challenges Towards Deploying Data Intensive Scientific Applications on Extreme Heterogeneity Supercomputers

abstract: Shrinking transistors, which powered the advancement of computing in the past half century, has stalled due to power wall; now extreme heterogeneity is promised to be the next driving force to feed the needs of ever-increasingly diverse scientific domains. To unlock the potentials of such supercomputers, we identify eight potential challenges in three categories: First, one needs fast data movement since extreme heterogeneity will inevitably complicate the communication circuits -- thus hampering the data movement. Second, we need to intelligently schedule suitable hardware for corresponding applications/stages. Third, we have to lower the programming complexity in order to encourage the adoption of heterogeneous computing.


title: Particle-filtering approaches for nonlinear Bayesian decoding of neuronal spike trains

abstract: The number of neurons that can be simultaneously recorded doubles every seven years. This ever increasing number of recorded neurons opens up the possibility to address new questions and extract higher dimensional stimuli from the recordings. Modeling neural spike trains as point processes, this task of extracting dynamical signals from spike trains is commonly set in the context of nonlinear filtering theory. Particle filter methods relying on importance weights are generic algorithms that solve the filtering task numerically, but exhibit a serious drawback when the problem dimensionality is high: they are known to suffer from the 'curse of dimensionality' (COD), i.e. the number of particles required for a certain performance scales exponentially with the observable dimensions. Here, we first briefly review the theory on filtering with point process observations in continuous time. Based on this theory, we investigate both analytically and numerically the reason for the COD of weighted particle filtering approaches: Similarly to particle filtering with continuous-time observations, the COD with point-process observations is due to the decay of effective number of particles, an effect that is stronger when the number of observable dimensions increases. Given the success of unweighted particle filtering approaches in overcoming the COD for continuous- time observations, we introduce an unweighted particle filter for point-process observations, the spike-based Neural Particle Filter (sNPF), and show that it exhibits a similar favorable scaling as the number of dimensions grows. Further, we derive rules for the parameters of the sNPF from a maximum likelihood approach learning. We finally employ a simple decoding task to illustrate the capabilities of the sNPF and to highlight one possible future application of our inference and learning algorithm.


title: Full Dysonian dynamics of the complex Ginibre ensemble

abstract: We find stochastic equations governing eigenvalues and eigenvectors of a dynamical complex Ginibre ensemble reaffirming the intertwined role played between both sets of matrix degrees of freedom. We solve the accompanying Smoluchowski-Fokker-Planck equation valid for any initial matrix. We derive evolution equations for the averaged extended characteristic polynomial and for a class of $k$-point eigenvalue correlation functions. From the latter we obtain a novel formula for the eigenvector correlation function which we inspect for Ginibre and spiric initial conditions and obtain macro- and microscopic limiting laws.


title: An Faster Network Motif Detection Tool

abstract: Network motif provides a way to uncover the basic building blocks of most complex networks. This task usually demands high computer processing, specially for motif with 5 or more vertices. This paper presents an extended methodology with the following features: (i) search for motifs up to 6 vertices, (ii) multithread processing, and a (iii) new enumeration algorithm with lower complexity. The algorithm to compute motifs solve isomorphism in $O(1)$ with the use of hash table. Concurrent threads evaluates distinct graphs. The enumeration algorithm has smaller computational complexity. The experiments shows better performance with respect to other methods available in literature, allowing bioinformatic researchers to efficiently identify motifs of size 3, 4, 5, and 6.


title: Exact Embeddings of JT Gravity in Strings and M-theory

abstract: We show that two-dimensional JT gravity, the holographic dual of the IR fixed point of the SYK model, can be obtained from the consistent Kaluza-Klein reduction of a class of EMD theories in general $D$ dimensions. For $D=4$, $5$, the EMD theories can be themselves embedded in supergravities. These exact embeddings provide the holographic duals in the framework of strings and M-theory. We find that a class of JT gravity solutions can be lifted to become time-dependent charged extremal black holes. They can be further lifted, for example, to describe the D1/D5-branes where the worldsheet is the Milne universe, rather than the typical Minkowski spacetime.


title: Bianalytic free maps between spectrahedra and spectraballs

abstract: Linear matrix inequalities (LMIs) are ubiquitous in real algebraic geometry, semidefinite programming, control theory and signal processing. LMIs with (dimension free) matrix unknowns are central to the theories of completely positive maps and operator algebras, operator systems and spaces, and serve as the paradigm for matrix convex sets. The matricial feasibility set of an LMI is called a free spectrahedron. In this article, the bianalytic maps between a very general class of ball-like free spectrahedra (examples of which include row or column contractions, and tuples of contractions) and arbitrary free spectrahedra are characterized and seen to have an elegant algebraic form. They are all highly structured rational maps. In the case that both the domain and codomain are ball-like, these bianalytic maps are explicitly determined and the article gives necessary and sufficient conditions for the existence of such a map with a specified value and derivative at a point. In particular, this leads to a classification of automorphism groups of ball-like free spectrahedra. The results depend on a novel free Nullstellensatz, established only after new tools in free analysis are developed and applied to obtain fine detail, geometric in nature locally and algebraic in nature globally, about the boundary of ball-like free spectrahedra.


title: Backward orbits and petals of semigroups of holomorphic self-maps of the unit disc

abstract: We study the backward invariant set of one-parameter semigroups of holomorphic self-maps of the unit disc. Such a set is foliated in maximal invariant curves and its open connected components are petals, which are, in fact, images of Poggi-Corradini's type pre-models. Hyperbolic petals are in one-to-one correspondence with repelling fixed points, while only parabolic semigroups can have parabolic petals. Petals have locally connected boundaries and, except a very particular case, they are indeed Jordan domains. The boundary of a petal contains the Denjoy-Wolff point and, except such a fixed point, the closure of a petal contains either no other boundary fixed point or a unique repelling fixed point. We also describe petals in terms of geometric and analytic behavior of K\"onigs functions using divergence rate and universality of models. Moreover, we construct a semigroup having a repelling fixed point in such a way that the intertwining map of the pre-model is not regular.


title: On the Structure of Unique Shortest Paths in Graphs

abstract: This paper develops a structural theory of unique shortest paths in real-weighted graphs. Our main goal is to characterize exactly which sets of node sequences, which we call path systems, can be realized as unique shortest paths in a graph with arbitrary real edge weights. We say that such a path system is strongly metrizable. An easy fact implicit in the literature is that a strongly metrizable path system must be consistent, meaning that no two of its paths may intersect, split apart, and then intersect again. Our main result characterizes strong metrizability via some new forbidden intersection patterns along these lines. In other words, we describe a family of forbidden patterns beyond consistency, and we prove that a path system is strongly metrizable if and only if it is consistent and it avoids all of the patterns in this family. We offer separate (but closely related) characterizations in this way for the settings of directed, undirected, and directed acyclic graphs. Our characterizations are based on a new connection between shortest paths and topology; in particular, our new forbidden patterns are in natural correspondence with two-colored topological $2$-manifolds, which we visualize as polyhedra. We believe that this connection may be of independent interest, and we further show that it implies some additional structural corollaries that seem to suggest new and possibly deep-rooted connections between these areas.


title: Cheap Non-standard Analysis and Computability

abstract: Non standard analysis is an area of Mathematics dealing with notions of infinitesimal and infinitely large numbers, in which many statements from classical analysis can be expressed very naturally. Cheap non-standard analysis introduced by Terence Tao in 2012 is based on the idea that considering that a property holds eventually is sufficient to give the essence of many of its statements. This provides constructivity but at some (acceptable) price. We consider computability in cheap non-standard analysis. We prove that many concepts from computable analysis as well as several concepts from computability can be very elegantly and alternatively presented in this framework. It provides a dual view and dual proofs to several statements already known in these fields.


title: The Kraft-Russell Generic Equivalence Theorem and its application

abstract: We find some extensions of the Kraft-Russell Generic Equivalence Theorem and using it we obtain a simple proof of a result of Dubouloz and Kishimoto.


title: Where are the solar magnetic poles?

abstract: Regardless of the physical origin of stellar magnetic fields - fossil or dynamo induced - an inclination angle between the magnetic and rotation axes is very often observed. Absence of observational evidence in this direction in the solar case has led to generally assume that its global magnetic field and rotation axes are well aligned. We present the detection of a monthly periodic signal of the photospheric solar magnetic field at all latitudes, and especially near the poles, revealing that the main axis of the Sun's magnetic field is not aligned with the surface rotation axis. This result reinforces the view of our Sun as a common intermediate-mass star. Furthermore this detection challenges and imposes a strong observational constraint to modern solar dynamo theories.


title: Corrections of two-photon interactions in the fine and hyperfine structure of the P-energy levels of muonic hydrogen

abstract: In the framework of the quasipotential method in quantum electrodynamics we calculate corrections to the nuclear structure proportional to $r_N^2$ from two-photon exchange amplitudes in the fine and hyperfine structure of P-states in muonic hydrogen, as well as the photon-photon interaction amplitudes, leading to the exchange of the axial vector meson. In constructing the quasipotential of the muon-nucleus interaction, we use the method of projection operators on states of two particles with a definite spin and total angular momentum. Analytical calculation of the matrix elements is performed and contributions to the fine and hyperfine structure of the $2P_{1/2}$ and $2P_{3/2}$ levels are obtained.


title: Superfluids Passing an Obstacle and Vortex Nucleation

abstract: We consider a superfluid described by the Gross-Pitaevskii equation passing an obstacle \[\epsilon^2 \Delta u+ u(1-|u|^2)=0 \ \mbox{in} \ {\mathbb R}^d \backslash \Omega, \ \ \frac{\partial u}{\partial \nu}=0 \ \mbox{on}\ \partial \Omega \] where $ \Omega$ is a smooth bounded domain in $ {\mathbb R}^d$ ($d\geq 2$), which is referred as the obstacle and $ \epsilon>0$ is sufficiently small. We first construct a vortex free solution of the form $ u= \rho_\epsilon (x) e^{i \frac{\Phi_\epsilon}{\epsilon}}$ with $ \rho_\epsilon (x) \to 1-|\nabla \Phi^\delta(x)|^2, \Phi_\epsilon (x) \to \Phi^\delta (x) $ where $\Phi^\delta (x)$ is the unique solution for the subsonic irrotational flow equation \[ \nabla ( (1-|\nabla \Phi|^2)\nabla \Phi )=0 \ \mbox{in} \ {\mathbb R}^d \backslash \Omega, \ \frac{\partial \Phi}{\partial \nu} =0 \ \mbox{on} \ \partial \Omega, \ \nabla \Phi (x) \to \delta \vec{e}_d \ \mbox{as} \ |x| \to +\infty \] and $|\delta | <\delta_{*}$ (the sound speed). In dimension $d=2$, on the background of this vortex free solution we also construct solutions with single vortex close to the maximum or minimum points of the function $|\nabla \Phi^\delta (x)|^2$ (which are on the boundary of the obstacle). The latter verifies the vortex nucleation phenomena (for the steady states) in superfluids described by the Gross-Pitaevskii equations. Moreover, after some proper scalings, the limits of these vortex solutions are traveling wave solution of the Gross-Pitaevskii equation. These results also show rigorously the conclusions drawn from the numerical computations in \cite{huepe1, huepe2}. Extensions to Dirichlet boundary conditions, which may be more consistent with the situation in the physical experiments and numerical simulations (see \cite{ADP} and references therein) for the trapped Bose-Einstein condensates, are also discussed.


title: Sequential Fully Implicit Formulation for Compositional Simulation using Natural Variables

abstract: The Sequential Fully Implicit (SFI) method was proposed to simulate coupled immiscible multiphase fluid flow in porous media. Later, it was extended to the black-oil model, whereby the gas component is allowed to dissolve in the oil phase. Most recently, the SFI approach was extended to fully compositional isothermal displacements. SFI schemes solve the fully coupled system in two steps: (1) Construct and solve the pressure equation (flow problem). (2) Solve the coupled species transport equations for the phase saturations and phase compositions. Experience indicates that complex interphase mass transfer behaviors often lead to large numbers of SFI outer iterations compared with the Fully Implicit (FI) method. Here, we demonstrate that the convergence difficulties are directly related to the treatment of the coupling between the flow and transport problems, and we propose a new SFI variant based on a nonlinear overall-volume balance equation. The first step consists of forming and solving a nonlinear pressure equation, which is a weighted sum of all the component mass conservation equations. The second step of the new SFI scheme entails introducing the overall-mass density as a degree-of-freedom, and solving the full set of component conservation equations cast in the natural-variables form. During the second step, the pressure and the total-velocity fields are fixed. We analyze the `splitting errors' associated with the compositional SFI scheme, and we show how to control these errors in order to converge to the same solution as the Fully Implicit (FI) method. This robust sequential-implicit solution scheme allows for designing numerical methods and linear solvers that are optimized for the sub-problems of flow and transport.


title: On the complexity of solving a decision problem with flow-depending costs: the case of the IJsselmeer dikes

abstract: We consider a fundamental integer programming (IP) model for cost-benefit analysis flood protection through dike building in the Netherlands, due to Verweij and Zwaneveld. Experimental analysis with data for the Ijsselmeer lead to integral optimal solution of the linear programming relaxation of the IP model. This naturally led to the question of integrality of the polytope associated with the IP model. In this paper we first give a negative answer to this question by establishing non-integrality of the polytope. Second, we establish natural conditions that guarantee the linear programming relaxation of the IP model to be integral. We then test the most recent data on flood probabilities, damage and investment costs of the IJsselmeer for these conditions. Third, we show that the IP model can be solved in polynomial time when the number of dike segments, or the number of feasible barrier heights, are constant.


title: The phase transition for the existence of the maximum likelihood estimate in high-dimensional logistic regression

abstract: This paper rigorously establishes that the existence of the maximum likelihood estimate (MLE) in high-dimensional logistic regression models with Gaussian covariates undergoes a sharp `phase transition'. We introduce an explicit boundary curve $h_{\text{MLE}}$, parameterized by two scalars measuring the overall magnitude of the unknown sequence of regression coefficients, with the following property: in the limit of large sample sizes $n$ and number of features $p$ proportioned in such a way that $p/n \rightarrow \kappa$, we show that if the problem is sufficiently high dimensional in the sense that $\kappa > h_{\text{MLE}}$, then the MLE does not exist with probability one. Conversely, if $\kappa < h_{\text{MLE}}$, the MLE asymptotically exists with probability one.


title: Exploring the Thermodynamics of Confining Models

abstract: Establishing a description for confinement is not something simple. In order to try to understand a little about this phenomenon, we will explore the thermodynamics of models that try to describe it in terms of propagators with violation of positivity. In this work, "confinement" is always understood in the sense of positivity violation of the propagator of the elementary fields. For simplicity, we will define a model for scalar fields with a momentum dependent and nonlocal mass term. One of our objectives is to verify the thermodynamic properties of this Lagrangian in order to analyze possible inconsistencies. For this we use the functional formalism of Quantum Field Theory at finite temperature, from which we obtain the partition function and, consequently, the thermodynamic variables such as pressure, energy density, entropy density, etc. Then, we obtain the two-point function at finite temperature of the scalar field, in order to study whether or not there is a restoration of positivity (hence, deconfinement, in our language).


title: Flaring radio lanterns along the ridge line: long-term oscillatory motion in the jet of S5 1803+784

abstract: We present a detailed analysis of 30 very long baseline interferometric observations of the BL Lac object S5 1803+784 (z=0.679), obtained between mean observational time 1994.67 and 2012.91 at observational frequency 15 GHz. The long-term behaviour of the jet ridge line reveals the jet experiences an oscillatory motion superposed on its helical jet kinematics on a time-scale of about 6 years. The excess variance of the positional variability indicates the jet components being farther from the VLBI core have larger amplitude in their position variations. The fractional variability amplitude shows slight changes in 3-year bins of the component's position. The temporal variability in the Doppler boosting of the ridge line results in jet regions behaving as flaring "radio lanterns". We offer a qualitative scenario leading to the oscillation of the jet ridge line, that utilizes the orbital motion of the jet emitter black hole due to a binary black hole companion. A correlation analysis implies composite origin of the flux variability of the jet components, emerging due to possibly both the evolving jet-structure and its intrinsic variability.


title: On the calculation of the correlation functions of the $\mathfrak{sl}_3$-model by means of the reduced qKZ equation

abstract: We study the reduced density matrix of the $\mathfrak{sl}_3$-invariant fundamental exchange model by means of a novel reduced quantum Knizhnik-Zamolodchikov equation. This gives us insight into the algebraic structure and explicit results for correlation functions in the infinite chain ranging over up to three sites.


title: Photovoltages and hot electrons in plasmonic nanogaps

abstract: In metal nanostructures under illumination, multiple different processes can drive current flow, and in an open- circuit configuration some of these processes lead to the production of open-circuit photovoltages. Structures that have plasmonic resonances at the illumination wavelength can have enhanced photovoltage response, due to both increased interactions with the incident radiation field, and processes made possible through the dynamics of the plasmon excitations themselves. Here we review photovoltage response driven by thermoelectric effects in continuous metal nanowires and photovoltage response driven by hot electron production and tunneling. We discuss the prospects for enhancing and quantifying hot electron generation and response via the combination of local plasmonic resonances and propagating surface plasmon polaritons.


title: Analysis of a Canonical Labeling Algorithm for the Alignment of Correlated Erd\H{o}s-R\'enyi Graphs

abstract: Graph alignment in two correlated random graphs refers to the task of identifying the correspondence between vertex sets of the graphs. Recent results have characterized the exact information-theoretic threshold for graph alignment in correlated Erd\H{o}s-R\'enyi graphs. However, very little is known about the existence of efficient algorithms to achieve graph alignment without seeds. In this work we identify a region in which a straightforward $O(n^{11/5} \log n )$-time canonical labeling algorithm, initially introduced in the context of graph isomorphism, succeeds in aligning correlated Erd\H{o}s-R\'enyi graphs. The algorithm has two steps. In the first step, all vertices are labeled by their degrees and a trivial minimum distance alignment (i.e., sorting vertices according to their degrees) matches a fixed number of highest degree vertices in the two graphs. Having identified this subset of vertices, the remaining vertices are matched using a alignment algorithm for bipartite graphs.


title: Collective suppression of optical hyperfine pumping in dense clouds of atoms in microtraps

abstract: We observe a density-dependent collective suppression of optical pumping between the hyperfine ground states in an array of submicrometer-sized clouds of cold rubidium atoms. The suppressed Raman transition rate can be explained by strong resonant dipole-dipole interactions that are enhanced by increasing atom density. The observations are consistent with stochastic electrodynamics simulations that incorporate the effects of the nonlinear population transfer via internal atomic levels embedded in a coupled-dipole model.


title: Anomalously high value of Coulomb pseudopotential for the $\rm H_{5}S_{2}$ superconductor

abstract: The ${\rm H_{5}S_{2}}$ and ${\rm H_{2}S}$ compounds are the two candidates for the low-temperature phase of compressed sulfur-hydrogen system. We have shown that the value of Coulomb pseudopotential ($\mu^{\star}$) for ${\rm H_{5}S_{2}}$ ($\left[T_{C}\right]_{\rm exp}=36$~K and $p=112$~GPa) is anomalously high. The numerical results give the limitation from below to $\mu^{\star}$ that is equal to $0.402$ ($\mu^{\star}=0.589$, if we consider the first order vertex corrections to the electron-phonon interaction). Presented data mean that the properties of superconducting phase in the ${\rm H_{5}S_{2}}$ compound can be understood within the classical framework of Eliashberg formalism only at the phenomenological level ($\mu^{\star}$ is the parameter of matching the theory to the experimental data). On the other hand, in the case of ${\rm H_{2}S}$ it is not necessary to take high value of Coulomb pseudopotential to reproduce the experimental critical temperature relatively well ($\mu^{\star}=0.15$). In our opinion, ${\rm H_{2}S}$ is mainly responsible for the observed superconductivity state in the sulfur-hydrogen system at low temperature.


title: The $\gamma$-ray emitting region in low synchrotron peak blazars. Testing self-synchrotron Compton and external Compton scenarios

abstract: From the early days in gamma-ray astronomy, locating the origin of GeV emission within the core of an active galactic nucleus (AGN) persisted as an open question; the problem is to discern between near- and far-site scenarios with respect to the distance from the super massive central engine. We investigate this question under the light of a complete sample of low synchrotron peak (LSP) blazars which is fully characterized along many decades in the electromagnetic spectrum, from radio up to tens of GeV. We consider the high-energy emission from bright radio blazars and test for synchrotron self-Compton (SSC) and external Compton (EC) scenarios in the framework of localizing the $\gamma$-ray emission sites. Given that the inverse Compton (IC) process under the EC regime is driven by the abundance of external seed photons, these photons could be mainly ultraviolet (UV) to X-rays coming from the accretion disk region and the broad-line region (BLR), therefore close to the jet launch base; or infrared (IR) seed photons from the dust torus and molecular cloud spine-sheath, therefore far from jet launch base. We use enhanced SED information from recent works (including new $\gamma$-ray detections) to refine the study of Syn to IC peak correlations, which points to a particular $\gamma$-ray emission site. We show that SSC alone is not enough to account for the observed SEDs. Our analysis favors an EC scenario under the Thomson scattering regime, with a dominant IR external photon field. Therefore, the far-site (i.e., far from the jet launch) is probably the most reasonable scenario to account for the population properties of bright LSP blazars in cases modeled with a pure leptonic component. We calculate the photon energy density associated with the external field at the jet comoving frame to be $\rm U'_{ext}=1.69 \times 10^{-2}$ erg/cm$^3$, finding good agreement to other correlated works.


title: Study on the PDF comparisons for quarkonium + $\gamma$ production at the LHC and FCC energies

abstract: The quarkonium plus photon production in coherent hadron-hadron interactions at the LHC is studied using the non-relativistic QCD factorization formalism. We investigate a set of kinematic distributions and compute the total cross sections for $J/\Psi + \gamma $ production. Our results demonstrate the feasibility of such process in the LHC kinematic regime and explore the possibilities for the Future Circular Collider, where higher event yields can be achieved.


title: Broadband loop gap resonator for nitrogen vacancy centers in diamond

abstract: We present an S-band tunable loop gap resonator (LGR) providing strong, homogeneous, and directionally uniform broadband microwave (MW) drive for nitrogen-vacancy (NV) ensembles. With 42 dBm of input power, the composite device provides drive field amplitudes approaching 5 G over a circular area $\gtrsim\!50$ mm$^2$ or cylindrical volume $\gtrsim\!250$ mm$^3$. The wide 80 MHz device bandwidth allows driving all eight NV Zeeman resonances for bias magnetic fields below 20 G. For pulsed applications the device realizes percent-scale microwave drive inhomogeneity; we measure a fractional root-mean-square inhomogeneity $\sigma_\text{rms}\!=\! 1.6\%$ and a peak-to-peak variation $\sigma_\text{pp}\!=\! 3\%$ over a circular area of 11 mm$^2$, and $\sigma_\text{rms} \!=\! 3.2\%$ and $\sigma_\text{pp}\! =\! 10.5\%$ over a larger 32 mm$^2$ circular area. We demonstrate incident MW power coupling to the LGR using multiple methodologies: a PCB-fabricated exciter antenna for deployed compact bulk sensors and an inductive coupling coil suitable for microscope-style imaging. The inductive coupling coil allows for approximately $2\pi$ steradian combined optical access above and below the device, ideal for envisioned and existing NV imaging and bulk sensing applications.


title: High-Performance Massive Subgraph Counting using Pipelined Adaptive-Group Communication

abstract: Subgraph counting aims to count the number of occurrences of a subgraph T (aka as a template) in a given graph G. The basic problem has found applications in diverse domains. The problem is known to be computationally challenging - the complexity grows both as a function of T and G. Recent applications have motivated solving such problems on massive networks with billions of vertices. In this chapter, we study the subgraph counting problem from a parallel computing perspective. We discuss efficient parallel algorithms for approximately resolving subgraph counting problems by using the color-coding technique. We then present several system-level strategies to substantially improve the overall performance of the algorithm in massive subgraph counting problems. We propose: 1) a novel pipelined Adaptive-Group communication pattern to improve inter-node scalability, 2) a fine-grained pipeline design to effectively reduce the memory space of intermediate results, 3) partitioning neighbor lists of subgraph vertices to achieve better thread concurrency and workload balance. Experimentation on an Intel Xeon E5 cluster shows that our implementation achieves 5x speedup of performance compared to the state-of-the-art work while reduces the peak memory utilization by a factor of 2 on large templates of 12 to 15 vertices and input graphs of 2 to 5 billions of edges.


title: Sector models - A toolkit for teaching general relativity: III. Spacetime geodesics

abstract: Sector models permit a model-based approach to the general theory of relativity. The approach has its focus on the geometric concepts and uses no more than elementary mathematics. This contribution shows how to construct the paths of light and free particles on a spacetime sector model. Radial paths close to a black hole are used by way of example. We outline two workshops on gravitational redshift and on vertical free fall, respectively, that we teach for undergraduate students. The contribution also describes a simplified calculation of the spacetime sector model that students can carry out on their own, if they are familiar with the Minkowski metric. The teaching materials presented in this paper are available online for teaching purposes at http://www.spacetimetravel.org . ----- Sektormodelle erm\"oglichen einen modellbasierten Zugang zur Allgemeinen Relativit\"atstheorie, der auf das Verst\"andnis der geometrischen Konzepte abzielt und in seinen mathematischen Anforderungen nicht \"uber Schulmathematik hinausgeht. Dieser Beitrag zeigt, wie die Bahnen von Licht und freien Teilchen auf einem raumzeitlichen Sektormodell konstruiert werden k\"onnen. Als Beispiel dienen radiale Bahnen in der N\"ahe eines Schwarzen Lochs. Wir beschreiben zwei Workshops zu den Themen gravitative Rotverschiebung sowie radialer freier Fall, die wir in dieser Form mit Bachelorstudierenden durchf\"uhren. Der Beitrag beschreibt auch eine vereinfachte Berechnung des verwendeten raumzeitlichen Sektormodells, die von Teilnehmer/innen selbstst\"andig durchgef\"uhrt werden kann, falls sie mit der Minkowskimetrik vertraut sind. Die vorgestellten Materialien stehen online unter http://www.tempolimit-lichtgeschwindigkeit.de f\"ur den Unterricht zur Verf\"ugung.


title: Dimension-six electroweak top-loop effects in Higgs production and decay

abstract: We study the next-to-leading order electroweak corrections to Higgs processes from dimension-six top-quark operators in the Standard Model Effective Field Theory approach. We consider the major production channels, including $WH$, $ZH$, and VBF production at the LHC, and $ZH$, VBF production at future lepton colliders, as well as the major decay channels including $H\to \gamma\gamma, \gamma Z, Wl\nu,Zll,b\bar b,\mu\mu,\tau\tau$. The results show that within the current constraints, top-quark operators can shift the signal strength of the loop-induced processes, i.e. $H\to \gamma\gamma,\gamma Z$, by factors of $\sim\mathcal{O}(1)-\mathcal{O}(10)$, and that of the tree-level processes, i.e. all remaining production and decay channels, by $\sim5-10\%$ at the LHC, and up to $\sim15\%$ at future lepton colliders. This implies that essentially all Higgs channels have started to become sensitive to top-quark couplings, and in particular, Higgs observables at high luminosity LHC as well as future lepton colliders, even below the $t\bar t$ threshold, will improve our knowledge of top-quark couplings. We derive the sensitivities of Higgs measurements to top-quark operators at the high luminosity LHC, using projections for both inclusive and differential measurements. We conclude that treating the dimension-six top-quark sector and the Higgs/electroweak sector separately may not continue to be a good strategy. A global analysis combining Higgs and top-quark measurements is desirable, and our calculation and implementation provide an automatic and realistic simulation tool for this purpose.


title: Elliptic flow of charm and strange hadrons in high-multiplicity pPb collisions at $\sqrt{s_{_\mathrm{NN}}} =$ 8.16 TeV

abstract: The elliptic azimuthal anisotropy coefficient ($v_2$) is measured for charm (D$^0$) and strange (K$_\mathrm{S}^0$, $\Lambda$, $\Xi^-$, and $\Omega^-$) hadrons, using a data sample of pPb collisions collected by the CMS experiment, at a nucleon-nucleon center-of-mass energy $\sqrt{s_{_\mathrm{NN}}} =$ 8.16 TeV. A significant positive $v_2$ signal from long-range azimuthal correlations is observed for all particle species in high-multiplicity pPb collisions. The measurement represents the first observation of possible long-range collectivity for open heavy flavor hadrons in small systems. The results suggest that charm quarks have a smaller $v_2$ than the lighter quarks, probably reflecting a weaker collective behavior. This effect is not seen in the larger PbPb collision system at $\sqrt{s_{_\mathrm{NN}}} =$ 5.02 TeV, also presented.


title: Asynchronous and Distributed Tracking of Time-Varying Fixed Points

abstract: This paper develops an algorithmic framework for tracking fixed points of time-varying contraction mappings. Analytical results for the tracking error are established for the cases where: (i) the underlying contraction self-map changes at each step of the algorithm; (ii) only an imperfect information of the map is available; and, (iii) the algorithm is implemented in a distributed fashion, with communication delays and packet drops leading to asynchronous algorithmic updates. The analytical results are applicable to several classes of problems, including time-varying contraction mappings emerging from online and asynchronous implementations of gradient-based methods for time-varying convex programs. In this domain, the proposed framework can also capture the operating principles of feedback-based online algorithms, where the online gradient steps are suitably modified to accommodate actionable feedback from an underlying physical or logical network. Examples of applications and illustrative numerical results are provided.


title: TypeSQL: Knowledge-based Type-Aware Neural Text-to-SQL Generation

abstract: Interacting with relational databases through natural language helps users of any background easily query and analyze a vast amount of data. This requires a system that understands users' questions and converts them to SQL queries automatically. In this paper we present a novel approach, TypeSQL, which views this problem as a slot filling task. Additionally, TypeSQL utilizes type information to better understand rare entities and numbers in natural language questions. We test this idea on the WikiSQL dataset and outperform the prior state-of-the-art by 5.5% in much less time. We also show that accessing the content of databases can significantly improve the performance when users' queries are not well-formed. TypeSQL gets 82.6% accuracy, a 17.5% absolute improvement compared to the previous content-sensitive model.


title: RULLS: Randomized Union of Locally Linear Subspaces for Feature Engineering

abstract: Feature engineering plays an important role in the success of a machine learning model. Most of the effort in training a model goes into data preparation and choosing the right representation. In this paper, we propose a robust feature engineering method, Randomized Union of Locally Linear Subspaces (RULLS). We generate sparse, non-negative, and rotation invariant features in an unsupervised fashion. RULLS aggregates features from a random union of subspaces by describing each point using globally chosen landmarks. These landmarks serve as anchor points for choosing subspaces. Our method provides a way to select features that are relevant in the neighborhood around these chosen landmarks. Distances from each data point to $k$ closest landmarks are encoded in the feature matrix. The final feature representation is a union of features from all chosen subspaces. The effectiveness of our algorithm is shown on various real-world datasets for tasks such as clustering and classification of raw data and in the presence of noise. We compare our method with existing feature generation methods. Results show a high performance of our method on both classification and clustering tasks.


title: Design and Evaluation of a Novel Cable-Driven Gripper with Perception Capabilities for Strawberry Picking Robots

abstract: This paper presents a novel cable-driven gripper with perception capabilities for autonomous harvesting of strawberries. Experiments show that the gripper allows for more accurate and faster picking of strawberries compared to existing systems. The gripper consists of four functional parts for sensing, picking, transmission, and storing. It has six fingers that open to form a closed space to swallow a target strawberry and push other surrounding berries away from the target. Equipped with three IR sensors, the gripper controls a manipulator arm to correct for positional error, and can thus pick strawberries that are not exactly localized by the vision algorithm, improving the robustness. Experiments show that the gripper is gentle on the berries as it merely cuts the stem and there is no physical interaction with the berries during the cutting process. We show that the gripper has close-to-perfect successful picking rate when addressing isolated strawberries. By including internal perception, we get high positional error tolerance, and avoid using slow, high-level closed-loop control. Moreover, the gripper can store several berries, which reduces the overall travel distance for the manipulator, and decreases the time needed to pick a single strawberry substantially. The experiments show that the gripper design decreased picking execution time noticeably compared to results found in literature.


title: Controlled Fluidization, Mobility and Clogging in Obstacle Arrays Using Periodic Perturbations

abstract: We show that the clogging susceptibility and flow of particles moving through a random obstacle array can be controlled with a transverse or longitudinal ac drive. The flow rate can vary over several orders of magnitude, and we find both an optimal frequency and an optimal amplitude of driving that maximizes the flow. For dense arrays, at low ac frequencies a heterogeneous creeping clogged phase appears in which rearrangements between different clogged configurations occur. At intermediate frequencies a high mobility fluidized state forms, and at high frequencies the system reenters a heterogeneous frozen clogged state. These results provide a technique for optimizing flow through heterogeneous media that could also serve as the basis for a particle separation method.


title: Optimal measurement selection algorithm and estimator for ultra-wideband symmetric ranging localization

abstract: A state estimator is derived for an agent with the ability to measure single ranges to fixed points in its environment, and equipped with an accelerometer and a rate gyroscope. The state estimator makes no agent-specific assumptions, and can be immediately applied to any rigid body with these sensors. Also, the state estimator doesn't use any trilateration-based method to calculate position from range measurements. As the considered system can only make a single range measurement at a time, we present a greedy optimization algorithm for selecting the best measurement. Experiments in an indoor testbed using an externally controlled multicopter demonstrate the efficacy of the algorithm, specifically showing an improvement over a na\"ive strategy of a fixed sequence of measurements. In separate experiments, the algorithm is also used in feedback control, to control the position of the multicopter.


title: On the interplay between effective notions of randomness and genericity

abstract: In this paper, we study the power and limitations of computing effectively generic sequences using effectively random oracles. Previously, it was known that every 2-random sequence computes a 1-generic sequence (as shown by Kautz) and every 2-random sequence forms a minimal pair in the Turing degrees with every 2-generic sequence (as shown by Nies, Stephan, and Terwijn). We strengthen these results by showing that every Demuth random sequence computes a 1-generic sequence (which answers an open question posed by Barmpalias, Day, and Lewis) and that every Demuth random sequence forms a minimal pair with every pb-generic sequence (where pb-genericity is an effective notion of genericity that is strictly between 1-genericity and 2-genericity). Moreover, we prove that for every comeager $\mathcal{G}\subseteq 2^\omega$, there is some weakly 2-random sequence $X$ that computes some $Y\in\mathcal{G}$, a result that allows us to provide a fairly complete classification as to how various notions of effective randomness interact in the Turing degrees with various notions of effective genericity.


title: Dynamics of nonlinear-Schroedinger breathers in a potential trap

abstract: We consider the evolution of the 2-soliton (breather) of the nonlinear Schroedinger equation on a semi-infinite line with the zero boundary condition and a linear potential, which corresponds to the gravity field in the presence of a hard floor. This setting can be implemented in atomic Bose-Einstein condensates, and in a nonlinear planar waveguide in optics. In the absence of the gravity, repulsion of the breather from the floor leads to its splitting into constituent fundamental solitons, if the initial distance from the floor is smaller than a critical value; otherwise, the moving breather persists. In the presence of the gravity, the breather always splits into a pair of "co-hopping" fundamental solitons, which may be frequency-locked in the form of a quasi-breather, or unlocked, forming an incoherent pseudo-breather. Some essential results are obtained in an analytical form, in addition to the systematic numerical investigation.


title: On the Mellin transform of a D-module

abstract: Given a holonomic D-module M on a 1-dimensional torus, one can consider its Mellin transform, which is a difference system on the affine line. In this note we prove a formal stationary phase formula, which shows that the formal behavior at infinity of the Mellin transform of M is determined by the local germs defined by M at its singular points.


title: Design of an inductively shunted transmon qubit with tunable transverse and longitudinal coupling

abstract: This thesis is set in the framework of superconducting transmon-type qubit architectures with special focus on two important types of coupling between qubits and harmonic resonators: transverse and longitudinal coupling. We will see that longitudinal coupling offers some remarkable advantages with respect to scalability and readout. This thesis will focus on a design, which combines both these coupling types in a single circuit and provides the possibility to choose between pure transverse and pure longitudinal or have both at the same time. We will start with an introduction to circuit quantization, where we will explain how to describe and analyze superconducting electrical circuits in a systematic way and discuss which characteristic circuit elements make up qubits and resonators. We will then introduce the two types of coupling between qubit and resonator which are provided in our design. Translating this discussion from the Hamiltonian level to the language of circuit quantization, we will show how to design circuits with specifically tailored couplings. We will focus on our circuit design that consists of an inductively shunted transmon qubit with tunable coupling to an embedded harmonic mode. The distinctive feature of the tunable design is that the transverse coupling disappears when the longitudinal is maximal and vice versa. Subsequently, we will turn to the implementation of our circuit design, discuss how to choose the parameters, and present an adapted alternative circuit, where coupling strength and anharmonicity scale better than in the original circuit. In addition, we present a proposal for an experimental device that will serve as a prototype for a first experiment. We will conclude the thesis discussing different possibilities to do readout with our circuit design, including a short discussion of the influence of dissipation.


title: Long-Lived BLSSM Particles at the LHC

abstract: We investigate the collider signatures of neutral and charged Long-Lived Particles (LLPs), predicted by the Supersymmetric $B-L$ extension of the Standard Model (BLSSM), at the Large Hadron Collider (LHC). The BLSSM is a natural extension of the Minimal Supersymmetric Standard Model (MSSM) that can account for non-vanishing neutrino masses. We show that the lightest right-handed sneutrino can be the Lightest Supersymmetric Particle (LSP), while the Next-to-the LSP (NLSP) is either the lightest left-handed sneutrino or the left-handed stau, which are natural candidates for the LLPs. We analyze the displaced vertex signature of the neutral LLP (the lightest left-handed sneutrino), and the charged tracks associated with the charged LLP (the left-handed stau). We show that the production cross sections of our neutral and charged LLPs are relatively large, namely of order ${\cal O}(1)~{\rm fb}$. Thus, probing these particles at the LHC is quite plausible. In addition, we find that the displaced di-lepton associated with the lightest left-handed sneutrino has a large impact parameter that discriminates it from other SM leptons. We also emphasize that the charged track associated with the left-handed stau has a large momentum with slow moving charged tracks, hence it is distinguished from the SM background and therefore it can be accessible at the LHC.