title: The econometrics of happiness: Are we underestimating the returns to education and income?

abstract: This paper describes a fundamental and empirically conspicuous problem inherent to surveys of human feelings and opinions in which subjective responses are elicited on numerical scales. The paper also proposes a solution. The problem is a tendency by some individuals -- particularly those with low levels of education -- to simplify the response scale by considering only a subset of possible responses such as the lowest, middle, and highest. In principle, this ``focal value rounding'' (FVR) behavior renders invalid even the weak ordinality assumption often used in analysis of such data. With ``happiness'' or life satisfaction data as an example, descriptive methods and a multinomial logit model both show that the effect is large and that education and, to a lesser extent, income level are predictors of FVR behavior. A model simultaneously accounting for the underlying wellbeing and for the degree of FVR is able to estimate the latent subjective wellbeing, i.e.~the counterfactual full-scale responses for all respondents, the biases associated with traditional estimates, and the fraction of respondents who exhibit FVR. Addressing this problem helps to resolve a longstanding puzzle in the life satisfaction literature, namely that the returns to education, after adjusting for income, appear to be small or negative. Due to the same econometric problem, the marginal utility of income in a subjective wellbeing sense has been consistently underestimated.


title: Inferring the ground truth through crowdsourcing

abstract: Universally valid ground truth is almost impossible to obtain or would come at a very high cost. For supervised learning without universally valid ground truth, a recommended approach is applying crowdsourcing: Gathering a large data set annotated by multiple individuals of varying possibly expertise levels and inferring the ground truth data to be used as labels to train the classifier. Nevertheless, due to the sensitivity of the problem at hand (e.g. mitosis detection in breast cancer histology images), the obtained data needs verification and proper assessment before being used for classifier training. Even in the context of organic computing systems, an indisputable ground truth might not always exist. Therefore, it should be inferred through the aggregation and verification of the local knowledge of each autonomous agent.


title: Lyapunov-Type Inequalities for Discrete Riemann-Liouville Fractional Boundary Value Problems

abstract: In this article we establish a few Lyapunov-type inequalities for two-point discrete fractional boundary value problems involving Riemann-Liouville type backward differences. To illustrate the applicability of established results, we obtain criteria for the nonexistence of nontrivial solutions and estimate lower bounds for eigenvalues of the corresponding eigenvalue problems. We also apply these inequalities to deduce criteria for the nonexistence of real zeros of certain discrete Mittag-Leffler functions.


title: Extensible Grounding of Speech for Robot Instruction

abstract: Spoken language is a convenient interface for commanding a mobile robot. Yet for this to work a number of base terms must be grounded in perceptual and motor skills. We detail the language processing used on our robot ELI and explain how this grounding is performed, how it interacts with user gestures, and how it handles phenomena such as anaphora. More importantly, however, there are certain concepts which the robot cannot be preprogrammed with, such as the names of various objects in a household or the nature of specific tasks it may be requested to perform. In these cases it is vital that there exist a method for extending the grounding, essentially "learning by being told". We describe how this was successfully implemented for learning new nouns and verbs in a tabletop setting. Creating this language learning kernel may be the last explicit programming the robot ever needs - the core mechanism could eventually be used for imparting a vast amount of knowledge, much as a child learns from its parents and teachers.


title: Higher order and top mass effects in Higgs boson pair production beyond the Standard Model

abstract: We discuss the interplay between NLO QCD corrections and anomalous couplings in Higgs boson pair production via gluon fusion, within the framework of a non-linearly realised Effective Field Theory, described by the electroweak chiral Lagrangian. We study how the NLO corrections with full top quark mass dependence affect the total cross sections as well as distributions in the Higgs boson pair invariant mass. For a large part of the parameter space, significant and non-homogeneous K-factors arise.


title: Open Source Android Vulnerability Detection Tools: A Survey

abstract: Since last decade, smartphones have become an integral part of everyone's life. Having the ability to handle many useful and attractive applications, smartphones sport flawless functionality and small sizes leading to their exponential growth. Additionally, due to the huge user base and a wide range of functionalities, these mobile platforms have become a popular source of information to the public through several Apps provided by the DHS Citizen Application Directory. Such wide audience to this platform is also making it a huge target for cyber- attacks. While Android, the most popular open source mobile platform, has its base set of permissions to protect the device and resources, it does not provide a security framework to defend against any attack. This paper surveys threat, vulnerability and security analysis tools, which are open source in nature, for the Android platform and systemizes the knowledge of Android security mechanisms. Additionally, a comparison of three popular tools is presented.


title: Strongly Coupled Dark Energy Cosmologies yielding large mass Primordial Black Holes

abstract: Large primordial Black Hole (PBH) formation is enhanced if strongly coupled scalar and spinor fields ($\Phi$ and $\psi$) are a stable cosmic component since the primeval radiative expansion (SCDEW models). In particular, we show that PBH formation is easier at a specific time, i.e., when the asymptotic mass $m_H$, acquired by the $\psi$ field at the higgs scale, becomes dominant, so that the typical BH mass $M_{BH}$ depends on $m_H$ value. For instance, if $m_H \sim 100\,$ eV $(1$ keV$)$ and the coupling $\beta \sim 8.35 (37)$, PBH with $M_{BH} \simeq 10^7-10^8 $ $(10^3-10^4)\, M_\odot$ could form. The very mechanism enhancing PBH formation also causes technical difficulties to evaluate the transfer function of SCDEW models at high $k$. A tentative solution of this problem leaves only minor discrepancies from $\Lambda$CDM, also at these scales, gradually vanishing for greater $m_H$ values. We conclude that, for suitable parameter choices, SCDEW models could be the real physics underlying $\Lambda$ CDM, so overcoming its fine tuning and coincidence problems, with the extra bonus of yielding large BH seeds.


title: Rotational variation of the linear polarisation of the asteroid (3200) Phaethon as evidence for inhomogeneity in its surface properties

abstract: Asteroid (3200) Phaethon is a Near-Earth Apollo asteroid with an unusual orbit that brings it closer to the Sun than any other known asteroid. Its last close approach to the Earth was in mid-December 2017 and the next one will be on October 2026. Previous rotationally time-resolved spectroscopy of Phaethon showed that its spectral slope is slightly bluish, in agreement with its B/F taxonomic classification, but at some rotational phases, it changes to slightly reddish. Motivated by this result we performed time-resolved imaging polarimetry of Phaethon during its recent close approach to the Earth. Phaethon has a spin period of 3.604 hours and we found a variation of the linear polarisation with rotation. This seems to be a rare case in which such variation is unambiguously found, also a consequence of its fairly large amplitude. Combining this new information with the brightness and colour variation, as well as previously reported results from Arecibo radar observations, we conclude that there is no variation of the mineralogy across the surface of Phaeton. However, the observed change in the linear polarisation may be related to differences in the thickness of the surface regolith in different areas or local topographic features.


title: Synchronization patterns in LIF Neural Networks: Merging Nonlocal and Diagonal Connectivity

abstract: The effects of nonlocal and reflecting connectivities have been previously investigated in coupled Leaky Integrate-and-Fire (LIF) elements, which assimilate the exchange of electrical signals between neurons. In this work we investigate the effect of diagonal coupling inspired by findings in brain neuron connectivity. Multi-chimera states are reported both for the simple diagonal and combined nonlocal-diagonal connectivities and we determine the range of optimal parameter regions where chimera states appear. Overall, the measures of coherence indicate that as the coupling range increases (below all-to-all coupling) the emergence of chimera states is favoured and the mean phase velocity deviations between coherent and incoherent regions become more prominent. A number of novel synchronization phenomena are induced as a result of the combined connectivity. We record that for coupling strengths $\sigma < 1$ the synchronous regions have mean phase velocities lower than the asynchronous, while the opposite holds for $\sigma > 1$. In the intermediate regime, $\sigma \sim 1$, the oscillators have common mean phase velocity (i.e., are frequency-locked) but different phases (i.e., they are phase-asynchronous). Solitary states are recorded for small values of the coupling strength, which grow into chimera states as the coupling strength increases.We determine parameter values where the combined effects of nonlocal-diagonal coupling generate chimera states with two different levels of synchronous domains mediated by asynchronous regions.


title: Collective Study of Polar Crown Filaments in the Past Four Solar Cycles

abstract: Polar Crown Filaments (PCFs) form above the magnetic polarity inversion line, which separates the unipolar polar fields and the nearest dispersed fields from trailing part of active regions with opposite polarity. The statistical properties of PCFs are correlated with the solar cycle. Therefore, study of PCFs plays an important role in understanding the variation of solar cycle, especially the prolonged cycle 23 and the current "abnormal" solar cycle 24. In this study, we investigate PCFs using full disk H{\alpha} data from 1973 to early 2018, recorded by Kanzelhohe Solar Observatory (KSO) and Big Bear Solar Observatory (BBSO), in digital form from 1997 to 2018 and in 35 mm film (digitized) from 1973 to 1996. PCFs are identified manually because their segmented shape and close-to-limb location were not handled well by automatical detections in several previous studies. Our results show that the PCFs start to move poleward at the beginning of each solar cycle. When the PCFs approach to the maximum latitude, the polar field strength reduces to zero followed by a reversal. The migration rates are about 0.4 to 0.7 degree per Carrington rotation, with clear N-S asymmetric pattern. In cycles 21 and 23, the PCFs in the northern hemisphere migrate faster than those in the southern hemisphere. However, in the "abnormal" cycle 24, the southern PCFs migrate faster, which is consistent with other observations of magnetic fields and radio emission. In addition, there are more days in cycle 23 and 24 without PCFs than in the previous cycles.


title: Quantum Correlations Can Speed Up All Classical Computation

abstract: Quantum algorithms that can speed up certain tasks, such as factorisation and unstructured search, have driven a decades-long development of quantum computers and quantum technologies. Yet, outside specialized applications, quantum computers are believed to offer no advantage over classical computers. Here, we present a method which exploits quantum effects to speed up all possible classical computations. This method-which we call Coherent Parallelization (CP)-exploits quantum correlations generated by higher-order Hamiltonians to speed up any possible classical computation by a factor that depends on the classical algorithm. This factor is quadratic in the size of the input for a large set of interesting problems, leading to a strong commercial application in the emergent area of quantum technologies. We present important theoretical consequences of CP for both quantum physics and the theory of algorithmic complexity and computability, and discuss how CP can be implemented using real-world systems with natural or engineered Hamiltonians.


title: Resource Allocation in Full-Duplex Mobile-Edge Computing Systems with NOMA and Energy Harvesting

abstract: This paper considers a full-duplex (FD) mobile-edge computing (MEC) system with non-orthogonal multiple access (NOMA) and energy harvesting (EH), where one group of users simultaneously offload task data to the base station (BS) via NOMA and the BS simultaneously receive data and broadcast energy to other group of users with FD. We aim at minimizing the total energy consumption of the system via power control, time scheduling and computation capacity allocation. To solve this nonconvex problem, we first transform it into an equivalent problem with less variables. The equivalent problem is shown to be convex in each vector with the other two vectors fixed, which allows us to design an iterative algorithm with low complexity. Simulation results show that the proposed algorithm achieves better performance than the conventional methods.


title: Fast Sketch Segmentation and Labeling with Deep Learning

abstract: We present a simple and efficient method based on deep learning to automatically decompose sketched objects into semantically valid parts. We train a deep neural network to transfer existing segmentations and labelings from 3D models to freehand sketches without requiring numerous well-annotated sketches as training data. The network takes the binary image of a sketched object as input and produces a corresponding segmentation map with per-pixel labelings as output. A subsequent post-process procedure with multi-label graph cuts further refines the segmentation and labeling result. We validate our proposed method on two sketch datasets. Experiments show that our method outperforms the state-of-the-art method in terms of segmentation and labeling accuracy and is significantly faster, enabling further integration in interactive drawing systems. We demonstrate the efficiency of our method in a sketch-based modeling application that automatically transforms input sketches into 3D models by part assembly.


title: Interpolation in extensions of first-order logic

abstract: We prove a generalization of Maehara's lemma to show that the extensions of classical and intuitionistic first-order logic with a special type of geometric axioms, called singular geometric axioms, have Craig's interpolation property. As a corollary, we obtain a direct proof of interpolation for (classical and intuitionistic) first-order logic with identity, as well as interpolation for several mathematical theories, including the theory of equivalence relations, (strict) partial and linear orders, and various intuitionistic order theories such as apartness and positive partial and linear orders.


title: Investigating the time dynamics of wind speed in complex terrains by using the Fisher-Shannon method

abstract: In this paper, the time dynamics of the daily means of wind speed measured in complex mountainous regions are investigated. For 293 measuring stations distributed over all Switzerland, the Fisher information measure and the Shannon entropy power are calculated. The results reveal a clear relationship between the computed measures and both the elevation of the wind stations and the slope of the measuring sites. In particular, the Shannon entropy power and the Fisher information measure have their highest (respectively lowest) values in the Alps, where the time dynamics of wind speed follows a more disordered pattern. The spatial mapping of the calculated quantities allows the identification of two regions, which is in agreement with the topography of the Swiss territory. The present study could contribute to a better characterization of the temporal dynamics of wind speed in complex mountainous terrain.


title: Cyber-attack Mitigation and Impact Analysis for Low-power IoT Devices

abstract: Recent years have seen exponential development in wireless sensor devices and their rebirth as IoT, as well as increased popularity in wireless home devices such as bulbs, fans, and microwave. As they can be used in various fields such as medical devices, environmental studies, fire department or military application, etc., security of these low powered devices will always be a concern for all the user and security experts. Users nowadays want to control all these "smart" wireless home devices through their smartphones using an internet connection. Attacks such as distributed attacks on these devices will render the whole system vulnerable as these attacks can record and extract confidential information as well as increase resource (energy) consumption of the entire network. In this paper, we propose a cyber-attack detection algorithm and present an impact analysis of easy-to-launch cyber-attacks on a low-power mote (Z1 Zolertia) as a model IoT device. We also present detailed results of power consumption analysis with and without attack along with when the mitigation algorithm for intrusion detection is implemented.


title: Switchable quantized conductance in topological insulators revealed by the Shockley-Ramo theorem

abstract: Crystals with symmetry-protected topological order, such as topological insulators, promise coherent spin and charge transport phenomena even in the presence of disorder at room temperature. Still, a major obstacle towards an application of topological surface states in integrated circuits is a clear, reliable, and straightforward read-out independent of a prevailing charge carrier density in the bulk. Here, we demonstrate how to image and read-out the local conductance of helical surface modes in the prototypical topological insulators Bi2Se3 and BiSbTe3. We apply the so-called Shockley-Ramo theorem to design an optoelectronic probe circuit for the gapless surface states, and surprisingly find a precise conductance quantization at 1e2/h. The unprecedented response is a clear signature of local spin-polarized transport, and it can be switched on and off via an electrostatic field effect. The macroscopic, global read-out scheme is based on the displacement current resistivity, and it does not require coherent transport between electrodes.6 It provides a generalizable platform for studying further non-trivial gapless systems such as Weyl-semimetals and quantum spin-Hall insulators.


title: Pulling in models of cell migration

abstract: There are numerous scenarios in which populations of cells migrate in crowded environments. Typical examples include wound healing, cancer growth and embryo development. In these crowded environments cells are able to interact with each other in a variety of ways. These include excluded volume interactions, adhesion, repulsion, cell signalling, pushing and pulling. One popular way to understand the behaviour of a group of interacting cells is through an agent-based model (ABM). A typical aim of modellers using such represtations is to elucidate how the microscopic interactions at the cell-level impact on the macroscopic behaviour of the population. The complex cell-cell interactions listed above have also been incorporated into such models; all apart from cell-cell pulling. In this paper we consider this under-represented cell-cell interaction, in which an active cell is able to `pull' a nearby neighbour as it moves. We incorporate a variety of potential cell-cell pulling mechanisms into on- and off-lattice agent-based volume exclusion models of cell movement. For each of these agent-based models we derive a continuum partial differential equation which describes the evolution of the cells at a population-level. We study the agreement between the ABMs and the continuum, population-based models, and compare and contrast a range of ABMs (accounting for the different pulling mechanisms) with each other. We find generally good agreement between the ABMs and the corresponding continuum models that worsens as the agent-based models become more complex. Interestingly, we observe that the partial differential equations that we derive differ significantly, depending on whether they were derived from on- or off-lattice ABMs of pulling. This hints that it is important employ the appropriate ABM when representing pulling cell-cell interactions.


title: Visualizing the Template of a Chaotic Attractor

abstract: Chaotic attractors are solutions of deterministic processes, of which the topology can be described by templates. We consider templates of chaotic attractors bounded by a genus-1 torus described by a linking matrix. This article introduces a novel and unique tool to validate a linking matrix, to optimize the compactness of the corresponding template and to draw this template. The article provides a detailed description of the different validation steps and the extraction of an order of crossings from the linking matrix leading to a template of minimal height. Finally, the drawing process of the template corresponding to the matrix is saved in a Scalable Vector Graphics (SVG) file.


title: New surfaces with canonical map of high degree

abstract: We give an algorithm that, for a given value of the geometric genus $p_g,$ computes all regular product-quotient surfaces with abelian group that have at most canonical singularities and have canonical system with at most isolated base points. We use it to show that there are exactly two families of such surfaces with canonical map of degree $32$. We also construct a surface with $q=1$ and canonical map of degree $24$. These are regular surfaces with $p_g=3$ and base point free canonical system. We discuss the case of regular surfaces with $p_g=4$ and base point free canonical system.


title: Effects of gravity on quantum key distribution

abstract: The domain of quantum technologies has been recently broaden to satellites orbiting the earth. Long distances communication protocols cannot ignore the presence of the gravitational field and its effects on the quantum states. Here, we provide a general method to investigate how gravity affects the performance of various quantum key distribution protocols for continuous variable states of localized wave packets. We show that the consequences of gravity strongly depend on the configuration and the cryptographic scheme used.


title: Addendum to: Indefinite Kasparov modules and pseudo-Riemannian manifolds

abstract: We improve our previous results on indefinite Kasparov modules, which provide a generalisation of unbounded Kasparov modules modelling non-symmetric and non-elliptic (e.g. hyperbolic) operators. In particular, we can weaken the assumptions that are imposed on indefinite Kasparov modules. Using a new theorem by Lesch and Mesland on the self-adjointness and regularity of the sum of two weakly anticommuting operators, we show that we still have an equivalence between indefinite Kasparov modules and pairs of Kasparov modules. Importantly, the weakened version of indefinite Kasparov modules now includes the main motivating example of the Dirac operator on a pseudo-Riemannian manifold. The appendix contains a construction of an approximate identity for weakly commuting operators, which is due to Lesch and Mesland.


title: Joint Learning of Intrinsic Images and Semantic Segmentation

abstract: Semantic segmentation of outdoor scenes is problematic when there are variations in imaging conditions. It is known that albedo (reflectance) is invariant to all kinds of illumination effects. Thus, using reflectance images for semantic segmentation task can be favorable. Additionally, not only segmentation may benefit from reflectance, but also segmentation may be useful for reflectance computation. Therefore, in this paper, the tasks of semantic segmentation and intrinsic image decomposition are considered as a combined process by exploring their mutual relationship in a joint fashion. To that end, we propose a supervised end-to-end CNN architecture to jointly learn intrinsic image decomposition and semantic segmentation. We analyze the gains of addressing those two problems jointly. Moreover, new cascade CNN architectures for intrinsic-for-segmentation and segmentation-for-intrinsic are proposed as single tasks. Furthermore, a dataset of 35K synthetic images of natural environments is created with corresponding albedo and shading (intrinsics), as well as semantic labels (segmentation) assigned to each object/scene. The experiments show that joint learning of intrinsic image decomposition and semantic segmentation is beneficial for both tasks for natural scenes. Dataset and models are available at: https://ivi.fnwi.uva.nl/cv/intrinseg


title: Antipodes of monoidal decomposition spaces

abstract: We introduce a notion of antipode for monoidal (complete) decomposition spaces, inducing a notion of weak antipode for their incidence bialgebras. In the connected case, this recovers the usual notion of antipode in Hopf algebras. In the non-connected case it expresses an inversion principle of more limited scope, but still sufficient to compute the M\"obius function as $\mu = \zeta \circ S$, just as in Hopf algebras. At the level of decomposition spaces, the weak antipode takes the form of a formal difference of linear endofunctors $S_{\textrm{even}} - S_{\textrm{odd}}$, and it is a refinement of the general M\"obius inversion construction of G\'{a}lvez-Kock-Tonks, but exploiting the monoidal structure.


title: Condensational and collisional growth of cloud droplets in a turbulent environment

abstract: We investigate the effect of turbulence on the combined condensational and collisional growth of cloud droplets by means of high resolution direct numerical simulations of turbulence and a superparticle approximation for droplet dynamics and collisions. The droplets are subject to turbulence as well as gravity, and their collision and coalescence efficiencies are taken to be unity. We solve the thermodynamic equations governing temperature, water-vapor mixing ratio, and the resulting supersaturation fields together with the Navier-Stokes equation. We find that the droplet-size distribution broadens with increasing Reynolds number and/or mean energy dissipation rate. Turbulence affects the condensational growth directly through supersaturation fluctuations, and it influences collisional growth indirectly through condensation. Our simulations show for the first time that, in the absence of the mean updraft cooling, supersaturation fluctuation-induced broadening of droplet-size distributions enhances the collisional growth. This is contrary to classical (non-turbulent) condensational growth, which leads to a growing mean droplet size, but a narrower droplet-size distribution. Our findings, instead, show that condensational growth facilitates collisional growth by broadening the size distribution in the tails at an early stage of rain formation. With increasing Reynolds numbers, evaporation becomes stronger. This counteracts the broadening effect due to condensation at late stages of rain formation. Our conclusions are consistent with results of laboratory experiments and field observations, and show that supersaturation fluctuations are important for precipitation.


title: ALMA observations of RCW 120 Fragmentation at 0.01pc scale

abstract: Little is known about how high-mass stars form. Around 30\% of the young high-mass stars in the Galaxy are observed at the edges of ionized (HII) regions. Therefore these are places of choice to study the earliest stages of high-mass star formation, especially towards the most massive condensations. High-spatial resolution observations in the millimeter range might reveal how these stars form and how they assemble their mass. We want to study the fragmentation process down to the 0.01~pc scale in the most massive condensation observed at the south-western edge of the HII region RCW~120 where the most massive Herschel cores ($\sim$124~$M_{\odot}$ in average) could form high-mass stars. Using ALMA 3~mm continuum observations towards the densest and most massive millimetric condensation (Condensation 1) of RCW~120, we used the getimages and getsources algorithms to extract the sources detected with ALMA and obtained their physical parameters. The fragmentation of the hersche cores is discussed through their Jeans mass to understand the properties of the future stars. We extracted 18 fragments from the ALMA continuum observation at 3~mm towards 8 cores detected with Herschel, whose mass and deconvolved size range from 2~$M_{\odot}$ to 32~$M_{\odot}$ and from 1.6~mpc to 28.8~mpc, respectively. The low degree of fragmentation observed, regarding to the thermal Jeans fragmentation, suggests that the observed fragmentation is inconsistent with ideal gravitational fragmentation and other ingredients such as turbulence or magnetic fields should be added in order to explain it. Finally, the range of fragments' mass indicates that the densest condensation of RCW~120 is a favourable place for the formation of high-mass stars with the presence of a probable UCHII region associated with the 27~$M_{\odot}$ Fragment 1 of Core 2.


title: Data Center Interconnects at 400G and Beyond

abstract: Current trends in Data Center Interconnectivity are considered in the light of increasing traffic and under the constraint of limited cost and power consumption.


title: IGLOSS: iterative gapless local similarity search

abstract: Searching for local sequence patterns is one of the basic tasks in bioinformatics. Sequence patterns might have structural, functional or some other relevance, and numerous methods have been developed to detect and analyze them. These methods often depend on the wealth of information already collected. The explosion in the number of newly available sequences calls for novel methods to explore local sequence similarity. We have developed a high sensitivity web-based iterative local similarity scanner, that finds sequence patterns similar to a submitted query.


title: On the Unbiased Asymptotic Normality of Quantile Regression with Fixed Effects

abstract: Nonlinear panel data models with fixed individual effects provide an important set of tools for describing microeconometric data. In a large class of such models (including probit, proportional hazard and quantile regression to name just a few) it is impossible to difference out individual effects, and inference is usually justified in a `large n large T' asymptotic framework. However, there is a considerable gap in the type of assumptions that are currently imposed in models with smooth score functions (such as probit, and proportional hazard) and quantile regression. In the present paper we show that this gap can be bridged and establish asymptotic unbiased normality for quantile regression panels under conditions on n,T that are very close to what is typically assumed in standard nonlinear panels. Our results considerably improve upon existing theory and show that quantile regression is applicable to the same type of panel data (in terms of n,T) as other commonly used nonlinear panel data models. Thorough numerical experiments confirm our theoretical findings.


title: Strictly strategy-proof auctions

abstract: A strictly strategy-proof mechanism is one that asks agents to use strictly dominant strategies. In the canonical one-dimensional mechanism design setting with private values, we show that strict strategy-proofness is equivalent to strict monotonicity plus the envelope formula, echoing a well-known characterisation of (weak) strategy-proofness. A consequence is that strategy-proofness can be made strict by an arbitrarily small modification, so that strictness is 'essentially for free'.


title: On extensions of symmetric operators

abstract: We give an explicit description of all minimal self-adjoint extensions of a densely defined, closed symmetric operator in a Hilbert space with deficiency indices $(1, 1)$.


title: Fast divergence-conforming reduced basis methods for steady Navier-Stokes flow

abstract: Reduced-basis methods (RB methods or RBMs) form one of the most promising techniques to deliver numerical solutions of parametrized PDEs in real-time performance with reasonable accuracy. For incompressible flow problems, RBMs based on LBB stable velocity-pressure spaces do not generally inherit the stability of the underlying high-fidelity model and, instead, additional stabilization techniques must be introduced. One way of bypassing the loss of LBB stability in the RBM is to inflate the velocity space with supremizer modes. This however deteriorates the performance of the RBM in the performance-critical online stage, as additional DOFs must be introduced to retain stability, while these DOFs do not effectively contribute to accuracy of the RB approximation. In this work we consider a velocity-only RB approximation, exploiting a solenoidal velocity basis. The solenoidal reduced basis emerges directly from the high-fidelity velocity solutions in the offline stage. By means of Piola transforms, the solenoidality of the velocity space is retained under geometric transformations, making the proposed RB method suitable also for the investigation of geometric parameters. To ensure exact solenoidality of the high-fidelity velocity solutions that constitute the RB, we consider approximations based on divergence-conforming compatible B-splines. We show that the velocity-only RB method leads to a significant improvement in computational efficiency in the online stage, and that the pressure solution can be recovered a posteriori at negligible extra cost. We illustrate the solenoidal RB approach by modeling steady two-dimensional Navier-Stokes flow around a NACA0015 airfoil at various angles of attack.


title: Coma Morphology, Numerical Modeling, and Production Rates for Comet C/Lulin (2007 N3)

abstract: We report on narrowband photometry and extensive imaging observations of comet C/Lulin (2007 N3) obtained at Lowell Observatory during 2008 and 2009. Enhanced CN images revealed a double corkscrew morphology with two near-polar jets oriented approximately east-west, and both CN and dust images showed nightly rotational variability and seasonal changes in bulk morphology. We determined a rotational pole direction of RA/Dec = 81/+29 with an obliquity of 97 deg, and a sidereal rotation period of 41.45 +/- 0.05 hr. Monte Carlo numerical modeling best replicated the observed CN features with an eastern source area at lat/long -80/125 and a 10 deg radius and a western source area at lat/long +77/245 and a 20 deg radius, 4 times larger than the eastern source. An additional small, near-equatorial source was necessary to reproduce some dust features. Water morphology, based on OH, was quite different than that of the carbon-bearing species, implying a different driver for the polar jets such as CO or CO2. Ion tails were detected in decontaminated images from both the dust and NH filters, likely being H2O+ and OH+, respectively. We measured water production both before and after perihelion, and extrapolate peak water production at perihelion to be about 1.0*10^29 molecules/s. We estimate an active fraction of only 4-5% and a nucleus radius of up to ~8 km. Our data suggest that Lulin, defined as dynamically new in a statistical sense, behaves more like a long-period comet due to its nearly asteroidal early appearance, isolated source regions, and dust properties.


title: Weak ergodic theorem for Markov chains without invariant countably additive measures

abstract: In this paper, we study Markov chains (MC) on topological spaces within the framework of the operator approach. We extend the Markov operator from the space of countably additive measures to the space of finitely additive measures. Cesaro means for a Markov sequence of measures and their asymptotic behavior in the weak topology are considered. It is proved ergodic theorem that in order for the Cesaro means to converge weakly to some bounded regular finitely additive (or countably additive) measure it is necessary and sufficient that all invariant finitely additive measures are not separable from the limit measure in the weak topology. Moreover, the limit measure may not be invariant for a MC, and may not be countably additive. The corresponding example is given and studied in detail.


title: On Exploring Temporal Graphs of Small Pathwidth

abstract: We show that the Temporal Graph Exploration Problem is NP-complete, even when the underlying graph has pathwidth 2 and at each time step, the current graph is connected.


title: Intrinsic core level photoemission of suspended graphene

abstract: X-ray photoelectron spectroscopy of graphene is important both for its characterization and as a model for other carbon materials. Despite great recent interest, the intrinsic photoemission of its single layer has not been unambiguously measured, nor is the layer-dependence in free-standing multilayers accurately determined. We combine scanning transmission electron microscopy and Raman spectroscopy with synchrotron-based scanning photoelectron microscopy to characterize the same areas of suspended graphene samples down to the atomic level. This allows us to assign spectral signals to regions of precisely known layer number and purity. The core level binding energy of the monolayer is measured at 284.70 eV, thus 0.28 eV higher than that of graphite, with intermediate values found for few layers. This trend is reproduced by density functional theory with or without explicit van der Waals interactions, indicating that intralayer charge rearrangement dominates, but in our model of static screening the magnitudes of the shifts are underestimated by half.


title: Constraint polynomial approach -- an alternative to the functional Bethe Ansatz method?

abstract: Recently developed general constraint polynomial approach is shown to replace a set of algebraic equations of the functional Bethe Ansatz method by a single polynomial constraint. As the proof of principle, the usefulness of the method is demonstrated for a number of quasi-exactly solvable (QES) potentials of the Schr\"odinger equation, such as two different sets of modified Manning potentials with three parameters, an electron in Coulomb and magnetic fields and relative motion of two electrons in an external oscillator potential, the hyperbolic Razavy potential, and a (perturbed) double sinh-Gordon system. The approach enables one to straightforwardly determine eigenvalues and wave functions. Odd parity solutions for the modified Manning potentials are also determined. For the QES examples considered here, constraint polynomials terminate a finite chain of orthogonal polynomials in an independent variable that need not to be necessarily energy. In the majority of cases the finite chain of orthogonal polynomials is characterized by a positive-definite moment functional ${\cal L}$, implying that a corresponding constraint polynomial has only real and simple zeros. Constraint polynomials are shown to be different from the weak orthogonal Bender-Dunne polynomials. At the same time the QES examples considered elucidate essential difference with various generalizations of the Rabi model. Whereas in the former case there are $n+1$ polynomial solutions at each point of a $n$th baseline, in the latter case there are at most $n+1$ polynomial solutions on entire $n$th baseline.


title: A technical note on the calculation of GJMS (Rac and Di) operator determinants

abstract: GJMS operator determinants in odd dimensions are quickly computed for scalar and spinor fields in both sub- and super-critical cases as sums of Dirichlet eta functions with polynomials in the (integer) operator order as coefficients.


title: Redshift inference from the combination of galaxy colors and clustering in a hierarchical Bayesian model

abstract: Powerful current and future cosmological constraints using high precision measurements of the large-scale structure of galaxies and its weak gravitational lensing effects rely on accurate characterization of the redshift distributions of the galaxy samples using only broadband imaging. We present a framework for constraining both the redshift probability distributions of galaxy populations and the redshifts of their individual members. We use a hierarchical Bayesian model (HBM) which provides full posterior distributions on those redshift probability distributions, and, for the first time, we show how to combine survey photometry of single galaxies and the information contained in the galaxy clustering against a well-characterized tracer population in a robust way. One critical approximation turns the HBM into a system amenable to efficient Gibbs sampling. We show that in the absence of photometric information, this method reduces to commonly used clustering redshift estimators. Using a simple model system, we show how the incorporation of clustering information with photo-$z$'s tightens redshift posteriors, and can overcome biases or gaps in the coverage of a spectroscopic prior. The method enables the full propagation of redshift uncertainties into cosmological analyses, and uses all the information at hand to reduce those uncertainties and associated potential biases.


title: Parallel Optimal Control for Cooperative Automation of Large-scale Connected Vehicles via ADMM

abstract: This paper proposes a parallel optimization algorithm for cooperative automation of large-scale connected vehicles. The task of cooperative automation is formulated as a centralized optimization problem taking the whole decision space of all vehicles into account. Considering the uncertainty of the environment, the problem is solved in a receding horizon fashion. Then, we employ the alternating direction method of multipliers (ADMM) to solve the centralized optimization in a parallel way, which scales more favorably to large-scale instances. Also, Taylor series is used to linearize nonconvex constraints caused by coupling collision avoidance constraints among interactive vehicles. Simulations with two typical traffic scenes for multiple vehicles demonstrate the effectiveness and efficiency of our method.


title: Critical Phenomena of Charged de Sitter Black Holes in Cavities

abstract: We examine the thermodynamic behaviour of four-dimensional charged and uncharged de Sitter black holes enclosed in an isothermal cavity, in the extended phase space where the cosmological constant is treated as a thermodynamic pressure. We demonstrate the presence of a novel pressure-dependent phase transition in a compact region of phase space that does not appear in asymptotically anti-de Sitter black holes, and find a highly non-linear equation of state that does not lead to the usual interpretation of a van der Waals fluid.


title: Predicting Tactical Solutions to Operational Planning Problems under Imperfect Information

abstract: This paper offers a methodological contribution at the intersection of machine learning and operations research. Namely, we propose a methodology to quickly predict expected tactical descriptions of operational solutions (TDOSs). The problem we address occurs in the context of two-stage stochastic programming where the second stage is demanding computationally. We aim to predict at a high speed the expected TDOS associated with the second stage problem, conditionally on the first stage variables. This may be used in support of the solution to the overall two-stage problem by avoiding the online generation of multiple second stage scenarios and solutions. We formulate the tactical prediction problem as a stochastic optimal prediction program, whose solution we approximate with supervised machine learning. The training dataset consists of a large number of deterministic operational problems generated by controlled probabilistic sampling. The labels are computed based on solutions to these problems (solved independently and offline), employing appropriate aggregation and subselection methods to address uncertainty. Results on our motivating application on load planning for rail transportation show that deep learning models produce accurate predictions in very short computing time (milliseconds or less). The predictive accuracy is close to the lower bounds calculated based on sample average approximation of the stochastic prediction programs.


title: Quillen-Segal algebras and Stable homotopy theory

abstract: Let $\mathscr{M}$ be a monoidal model category that is also combinatorial and left proper. If $\mathscr{O}$ is a monad, operad, properad, or a PROP; following Segal's ideas we develop a theory of Quillen-Segal $\mathscr{O}$-algebras and show that we have a Quillen equivalence between usual $\mathscr{O}$-algebras and Quillen-Segal algebras. We use this theory to get the stable homotopy category by a similar method as Hovey.


title: FADE: Fast and Asymptotically efficient Distributed Estimator for dynamic networks

abstract: Consider a set of agents that wish to estimate a vector of parameters of their mutual interest. For this estimation goal, agents can sense and communicate. When sensing, an agent measures (in additive gaussian noise) linear combinations of the unknown vector of parameters. When communicating, an agent can broadcast information to a few other agents, by using the channels that happen to be randomly at its disposal at the time. To coordinate the agents towards their estimation goal, we propose a novel algorithm called FADE (Fast and Asymptotically efficient Distributed Estimator), in which agents collaborate at discrete time-steps; at each time-step, agents sense and communicate just once, while also updating their own estimate of the unknown vector of parameters. FADE enjoys five attractive features: first, it is an intuitive estimator, simple to derive; second, it withstands dynamic networks, that is, networks whose communication channels change randomly over time; third, it is strongly consistent in that, as time-steps play out, each agent's local estimate converges (almost surely) to the true vector of parameters; fourth, it is both asymptotically unbiased and efficient, which means that, across time, each agent's estimate becomes unbiased and the mean-square error (MSE) of each agent's estimate vanishes to zero at the same rate of the MSE of the optimal estimator at an almighty central node; fifth, and most importantly, when compared with a state-of-art consensus+innovation (CI) algorithm, it yields estimates with outstandingly lower mean-square errors, for the same number of communications -- for example, in a sparsely connected network model with 50 agents, we find through numerical simulations that the reduction can be dramatic, reaching several orders of magnitude.


title: Signatures of the genuine and matter-induced components of the CP violation asymmetry in neutrino oscillations

abstract: CP asymmetries for neutrino oscillations in matter can be disentangled into the matter-induced CPT-odd (T-invariant) component and the genuine T-odd (CPT-invariant) component. For their understanding in terms of the relevant ingredients, we develop a new perturbative expansion in both $\Delta m^2_{21},\, |a| \ll |\Delta m^2_{31}|$ without any assumptions between $\Delta m^2_{21}$ and $a$, and study the subtleties of the vacuum limit in the two terms of the CP asymmetry, moving from the CPT-invariant vacuum limit $a \to 0$ to the T-invariant limit $\Delta m^2_{21} \to 0$. In the experimental region of terrestrial accelerator neutrinos, we calculate their approximate expressions from which we prove that, at medium baselines, the CPT-odd component is small and nearly $\delta$-independent, so it can be subtracted from the experimental CP asymmetry as a theoretical background, provided the hierarchy is known. At long baselines, on the other hand, we find that (i) a Hierarchy-odd term in the CPT-odd component dominates the CP asymmetry for energies above the first oscillation node, and (ii) the CPT-odd term vanishes, independent of the CP phase $\delta$, at $E =0.92~\mathrm{GeV}\,(L/1300~\mathrm{km})$ near the second oscillation maximum, where the T-odd term is almost maximal and proportional to $\sin\delta$. A measurement of the CP asymmetry in these energy regions would thus provide separate information on (i) the neutrino mass ordering, and (ii) direct evidence of genuine CP violation in the lepton sector.


title: Stochastic Gradient Descent with Biased but Consistent Gradient Estimators

abstract: Stochastic gradient descent (SGD), which dates back to the 1950s, is one of the most popular and effective approaches for performing stochastic optimization. Research on SGD resurged recently in machine learning for optimizing convex loss functions and training nonconvex deep neural networks. The theory assumes that one can easily compute an unbiased gradient estimator, which is usually the case due to the sample average nature of empirical risk minimization. There exist, however, many scenarios (e.g., graphs) where an unbiased estimator may be as expensive to compute as the full gradient because training examples are interconnected. Recently, Chen et al. (2018) proposed using a consistent gradient estimator as an economic alternative. Encouraged by empirical success, we show, in a general setting, that consistent estimators result in the same convergence behavior as do unbiased ones. Our analysis covers strongly convex, convex, and nonconvex objectives. We verify the results with illustrative experiments on synthetic and real-world data. This work opens several new research directions, including the development of more efficient SGD updates with consistent estimators and the design of efficient training algorithms for large-scale graphs.


title: Universal Critical Exponents of Non-Equilibrium Phase Transitions from Holography

abstract: We study the critical exponents in the universal scaling laws of a holographic non-equilibrium steady state nearby its critical point of phase transition, which is driven by an AC electric field sitting in the boundary of the bulk. The applied electric filed drives the initial superconducting state into a non-equilibrium steady state with vanishing condensate as its amplitude is greater than a critical value. In the vicinity of the non-equilibrium critical point, we numerically calculate the six static and one dynamical critical exponents, and find that they have similar values to those in equilibrium systems within numerical errors.


title: Precision Limits in Quantum Metrology with Open Quantum Systems

abstract: The laws of quantum mechanics allow to perform measurements whose precision supersedes results predicted by classical parameter estimation theory. That is, the precision bound imposed by the central limit theorem in the estimation of a broad class of parameters, like atomic frequencies in spectroscopy or external magnetic field in magnetometry, can be overcome when using quantum probes. Environmental noise, however, generally alters the ultimate precision that can be achieved in the estimation of an unknown parameter. This tutorial reviews recent theoretical work aimed at obtaining general precision bounds in the presence of an environment. We adopt a complementary approach, where we first analyze the problem within the general framework of describing the quantum systems in terms of quantum dynamical maps and then relate this abstract formalism to a microscopic description of the system's dissipative time evolution. We will show that although some forms of noise do render quantum systems standard quantum limited, precision beyond classical bounds is still possible in the presence of different forms of local environmental fluctuations.


title: Search for new phenomena in events with same-charge leptons and $b$-jets in $pp$ collisions at $\sqrt{s}= 13$ TeV with the ATLAS detector

abstract: A search for new phenomena in events with two same-charge leptons or three leptons and jets identified as originating from $b$-quarks in a data sample of 36.1 fb$^{-1}$ of $pp$ collisions at $\sqrt{s}= 13$ TeV recorded by the ATLAS detector at the Large Hadron Collider is reported. No significant excess is found and limits are set on vector-like quark, four-top-quark, and same-sign top-quark pair production. The observed (expected) 95% CL mass limits for a vector-like $T$- and $B$-quark singlet are $m_T > 0.98$ $(0.99)$ TeV and $m_B > 1.00$ $(1.01)$ TeV respectively. Limits on the production of the vector-like $T_{5/3}$-quark are also derived considering both pair and single production; in the former case the lower limit on the mass of the $T_{5/3}$-quark is (expected to be) 1.19 (1.21) TeV. The Standard Model four-top-quark production cross-section upper limit is (expected to be) 69 (29) fb. Constraints are also set on exotic four-top-quark production models. Finally, limits are set on same-sign top-quark pair production. The upper limit on $uu \to tt$ production is (expected to be) 89 (59) fb for a mediator mass of 1 TeV, and a dark-matter interpretation is also derived, excluding a mediator of 3 TeV with a dark-sector coupling of 1.0 and a coupling to ordinary matter above 0.31.


title: The stellar population of Sco OB2 revealed by Gaia DR2 data

abstract: Sco OB2 is the nearest OB association, extending over approximately 2000 sq.deg. on the sky. Only its brightest members are already known (from Hipparcos) across its entire size, while studies of its lower-mass population refer only to small portions of its extent. In this work we exploit the capabilities of Gaia DR2 measurements to search for Sco OB2 members across its entire size and down to the lowest stellar masses. We use both Gaia astrometric and photometric data to select association members, using minimal assumptions derived mostly from the Hipparcos studies. Gaia resolves small details in both the kinematics of individual Sco OB2 subgroups and their distances from the Sun. We develop methods to explore the 3D kinematics of stellar populations covering large sky areas. We find ~11000 pre-main sequence (PMS) Sco OB2 members (with <3% contamination), plus ~3600 MS candidate members with a larger (10-30%) field-star contamination. A higher-confidence subsample of ~9200 PMS (and ~1340 MS) members is also selected (<1% contamination for the PMS), affected however by larger (~15%) incompleteness. We classify separately stars in compact and diffuse populations. Most members belong to a few kinematically distinct diffuse populations, whose ensemble outlines the association shape. Upper Sco is the densest part of Sco OB2, with a complex spatial and kinematical structure, and no global pattern of motion. Other dense subclusters are found in Upper Centaurus-Lupus and in Lower Centaurus-Crux. Most clustered stars appear to be younger than the diffuse PMS population, suggesting star formation in small groups which rapidly disperse and dilute, while keeping memory of their original kinematics. We also find that the open cluster IC 2602 has a similar dynamics to Sco OB2, and its PMS members are evaporating and forming a ~10 deg halo around its double-peaked core.


title: Inside factorial monoids and the cale monoid of a single Diophantine equation

abstract: We give a structure theorem for inside factorial domains. As an example we study the monoid of nonnegative integer solutions of equations of the form $a_1x_1+\cdots +a_{r-1}x_{r-1}=a_rx_r$, with $a_1,\ldots,a_r$ positive integers. This set is isomorphic to a simplicial full affine semigroup, and thus it can be described in terms of its extremal rays and the Ap\'ery sets with respect to the extremal rays.


title: Deep Dual Pyramid Network for Barcode Segmentation using Barcode-30k Database

abstract: Digital signs(such as barcode or QR code) are widely used in our daily life, and for many applications, we need to localize them on images. However, difficult cases such as targets with small scales, half-occlusion, shape deformation and large illumination changes cause challenges for conventional methods. In this paper, we address this problem by producing a large-scale dataset and adopting a deep learning based semantic segmentation approach. Specifically, a synthesizing method was proposed to generate well-annotated images containing barcode and QR code labels, which contributes to largely decrease the annotation time. Through the synthesis strategy, we introduce a dataset that contains 30000 images with Barcode and QR code - Barcode-30k. Moreover, we further propose a dual pyramid structure based segmentation network - BarcodeNet, which is mainly formed with two novel modules, Prior Pyramid Pooling Module(P3M) and Pyramid Refine Module(PRM). We validate the effectiveness of BarcodeNet on the proposed synthetic dataset, and it yields the result of mIoU accuracy 95.36\% on validation set. Additional segmentation results of real images have shown that accurate segmentation performance is achieved.


title: Gaussian Process Landmarking for Three-Dimensional Geometric Morphometrics

abstract: We demonstrate applications of the Gaussian process-based landmarking algorithm proposed in [T. Gao, S.Z. Kovalsky, and I. Daubechies, SIAM Journal on Mathematics of Data Science (2019)] to geometric morphometrics, a branch of evolutionary biology centered at the analysis and comparisons of anatomical shapes, and compares the automatically sampled landmarks with the "ground truth" landmarks manually placed by evolutionary anthropologists; the results suggest that Gaussian process landmarks perform equally well or better, in terms of both spatial coverage and downstream statistical analysis. We provide a detailed exposition of numerical procedures and feature filtering algorithms for computing high-quality and semantically meaningful diffeomorphisms between disk-type anatomical surfaces.


title: Deep End-to-end Fingerprint Denoising and Inpainting

abstract: This work describes our winning solution for the Chalearn LAP In-painting Competition Track 3 - Fingerprint Denoising and In-painting. The objective of this competition is to reduce noise, remove the background pattern and replace missing parts of fingerprint images in order to simplify the verification made by humans or third-party software. In this paper, we use a U-Net like CNN model that performs all those steps end-to-end after being trained on the competition data in a fully supervised way. This architecture and training procedure achieved the best results on all three metrics of the competition.


title: Multisorted modules and their model theory

abstract: Multisorted modules, equivalently representations of quivers, equivalently additive functors on preadditive categories, encompass a wide variety of additive structures. In addition, every module has a natural and useful multisorted extension by imaginaries. The model theory of multisorted modules works just as for the usual, 1-sorted modules. A number of examples are presented, some in considerable detail.


title: Minimal Ramsey graphs for cyclicity

abstract: We study graphs with the property that every edge-colouring admits a monochromatic cycle (the length of which may depend freely on the colouring) and describe those graphs that are minimal with this property. We show that every member in this class reduces recursively to one of the base graphs $K_5-e$ or $K_4\vee K_4$ (two copies of $K_4$ identified at an edge), which implies that an arbitrary $n$-vertex graph with $e(G)\geq 2n-1$ must contain one of those as a minor. We also describe three explicit constructions governing the reverse process. As an application we are able to establish Ramsey infiniteness for each of the three possible chromatic subclasses $\chi=2, 3, 4$, the unboundedness of maximum degree within the class as well as Ramsey separability of the family of cycles of length $\leq l$ from any of its proper subfamilies.


title: Spontaneous $\mathcal{T}$-symmetry breaking and exceptional points in cavity quantum electrodynamics systems

abstract: Spontaneous symmetry breaking has revolutionized the understanding in numerous fields of modern physics. Here, we theoretically demonstrate the spontaneous time-reversal symmetry breaking in a cavity quantum electrodynamics system in which an atomic ensemble interacts coherently with a single resonant cavity mode. The interacting system can be effectively described by two coupled oscillators with positive and negative mass when the two-level atoms are prepared in their excited states. The occurrence of symmetry breaking is controlled by the atomic detuning and the coupling to the cavity mode, which naturally divides the parameter space into the symmetry broken and symmetry unbroken phases. The two phases are separated by a spectral singularity, a so-called exceptional point, where the eigenstates of the Hamiltonian coalesce. When encircling the singularity in the parameter space, the quasi-adiabatic dynamics shows chiral mode switching which enables topological manipulation of quantum states.


title: Revisiting Client Puzzles for State Exhaustion Attacks Resilience

abstract: In this paper, we address the challenges facing the adoption of client puzzles as means to protect the TCP connection establishment channel from state exhaustion DDoS attacks. We model the problem of selecting the puzzle difficulties as a Stackelberg game with the server as the leader and the clients as the followers and obtain the equilibrium solution for the puzzle difficulty. We then present an implementation of client puzzles inside the TCP stack of the Linux 4.13.0 kernel. We evaluate the performance of our implementation and the obtained solution against a range of attacks through experiments on the DETER testbed. Our results show that client puzzles are effective at boosting the tolerance of the TCP handshake channel to state exhaustion DDoS attacks by rate limiting the flood rate of malicious attackers while allocating resources for legitimate clients. Our results illustrate the benefits that the servers and clients amass from the deployment of TCP client puzzles and incentivize their adoption as means to enhance tolerance to multi-vectored DDoS attacks


title: Manual Post-editing of Automatically Transcribed Speeches from the Icelandic Parliament - Althingi

abstract: The design objectives for an automatic transcription system are to produce text readable by humans and to minimize the impact on manual post-editing. This study reports on a recognition system used for transcribing speeches in the Icelandic parliament - Althingi. It evaluates the system performance and its effect on manual post-editing. The results are compared against the original manual transcription process. 239 total speeches, consisting of 11 hours and 33 minutes, were processed, both manually and automatically, and the editing process was analysed. The dependence of word edit distance on edit time and the editing real-time factor has been estimated and compared to user evaluations of the transcription system. The main findings show that the word edit distance is positively correlated with edit time and a system achieving a 12.6% edit distance would match the performance of manual transcribers. Producing perfect transcriptions would result in a real-time factor of 2.56. The study also shows that 99% of low error rate speeches received a medium or good grade in subjective evaluations. On the contrary, 21% of high error rate speeches received a bad grade.


title: Electrostatic Langmuir and SEAWs in spin polarized plasma double layer

abstract: The quantum hydrodynamic model of the electrostatic waves in the two parallel layers of two dimensional electron gases (2DEGs) is developed. It is considered for two regimes: classic regime and quantum regime with the separate spin evolution. Two Langmuir-like waves are found in classic case which have an interference-like pattern in the frequency dependence on concentration $\omega^{2}\sim(n_{01}+n_{02}\pm2\sqrt{n_{01}n_{02}})$. They appear instead of two 2D Langmuir waves in noninteracting 2DEGs. The spectrum of four waves is found in the quantum regime. Two extra waves are related to the separate spin evolution and associated to the spin-electron acoustic waves. The influence of the quantum Bohm potential is considered either.


title: X-Ray Line Profile Variations during Quasar Microlensing

abstract: Observations of several gravitationally microlensed quasars in X-rays revealed variations in the profile of the iron K$\alpha$ line in the course of microlensing events. We explore the effect by simulating a microlensing caustic crossing a spatially resolved model of emission from a thin accretion disk around a Kerr black hole. We demonstrate the sequence of spectral changes during the event, in particular the appearance of additional peaks and edges in the line profile due to microlensing. We trace the origin of these features to points on the disk, at which the total energy shift ($g$-factor) contours are tangent to the caustic. Contours tangent from the inner side of the caustic generate peaks, while those tangent from its outer side generate edges. We derive analytical shapes of the generated features and map the peak strength as a function of position of the tangent point on the disk. Since the features are determined by the positional geometry of the caustic relative to the $g$-factor contours, the same type of behavior can be expected in a much broader range of emission models. The sequence of line profile changes thus serves as a sensitive probe of the geometry and physics of the innermost region of the quasar accretion disk.


title: Characterizations of the weakly compact ideal on $P_\kappa\lambda$

abstract: Hellsten \cite{MR2026390} gave a characterization of $\Pi^1_n$-indescribable subsets of a $\Pi^1_n$-indescribable cardinal in terms of a natural filter base: when $\kappa$ is a $\Pi^1_n$-indescribable cardinal, a set $S\subseteq\kappa$ is $\Pi^1_n$-indescribable if and only if $S\cap C\neq\emptyset$ for every $n$-club $C\subseteq \kappa$. We generalize Hellsten's characterization to $\Pi^1_n$-indescribable subsets of $P_\kappa\lambda$, which were first defined by Baumgartner. After showing that under reasonable assumptions the $\Pi^1_0$-indescribability ideal on $P_\kappa\lambda$ equals the minimal \emph{strongly} normal ideal $\text{NSS}_{\kappa,\lambda}$ on $P_\kappa\lambda$, and is not equal to $\text{NS}_{\kappa,\lambda}$ as may be expected, we formulate a notion of $n$-club subset of $P_\kappa\lambda$ and prove that a set $S\subseteq P_\kappa\lambda$ is $\Pi^1_n$-indescribable if and only if $S\cap C\neq\emptyset$ for every $n$-club $C\subseteq P_\kappa\lambda$. We also prove that elementary embeddings considered by Schanker \cite{MR2989393} witnessing \emph{near supercompactness} lead to the definition of a normal ideal on $P_\kappa\lambda$, and indeed, this ideal is equal to Baumgartner's ideal of non--$\Pi^1_1$-indescribable subsets of $P_\kappa\lambda$. Additionally, as applications of these results we answer a question of Cox-L\"ucke \cite{MR3620068} about $\mathcal{F}$-layered posets, provide a characterization of $\Pi^m_n$-indescribable subsets of $P_\kappa\lambda$ in terms of generic elementary embeddings, prove several results involving a two-cardinal weakly compact diamond principle and observe that a result of Pereira \cite{MR3640048} yeilds the consistency of the existence of a $(\kappa,\kappa^+)$-semimorasses $\mu\subseteq P_\kappa\kappa^+$ which is $\Pi^1_n$-indescribable for all $n<\omega$.


title: Structural transition in interdependent networks with regular interconnections

abstract: Networks are often made up of several layers that exhibit diverse degrees of interdependencies. A multilayer interdependent network consists of a set of graphs $G$ that are interconnected through a weighted interconnection matrix $ B $, where the weight of each inter-graph link is a non-negative real number $ p $. Various dynamical processes, such as synchronization, cascading failures in power grids, and diffusion processes, are described by the Laplacian matrix $ Q $ characterizing the whole system. For the case in which the multilayer graph is a multiplex, where the number of nodes in each layer is the same and the interconnection matrix $ B=pI $, being $ I $ the identity matrix, it has been shown that there exists a structural transition at some critical coupling, $ p^* $. This transition is such that dynamical processes are separated into two regimes: if $ p > p^* $, the network acts as a whole; whereas when $ p<p^* $, the network operates as if the graphs encoding the layers were isolated. In this paper, we extend and generalize the structural transition threshold $ p^* $ to a regular interconnection matrix $ B $ (constant row and column sum). Specifically, we provide upper and lower bounds for the transition threshold $ p^* $ in interdependent networks with a regular interconnection matrix $ B $ and derive the exact transition threshold for special scenarios using the formalism of quotient graphs. Additionally, we discuss the physical meaning of the transition threshold $ p^* $ in terms of the minimum cut and show, through a counter-example, that the structural transition does not always exist. Our results are one step forward on the characterization of more realistic multilayer networks and might be relevant for systems that deviate from the topological constrains imposed by multiplex networks.


title: Towards the Theory of the Yukawa Potential

abstract: Using three different approaches, Perturbation Theory (PT), the Lagrange Mesh Method (Lag-Mesh) and the Variational Method (VM), we study the low-lying states of the Yukawa potential $V(r)=-(\lambda/r)e^{-\alpha r}\,$. First orders in PT in powers of $\alpha$ are calculated in the framework of the Non-Linerization Procedure. It is found that the Pad\'e approximants to PT series together with the Lag-Mesh provide highly accurate values of the energy and the positions of the radial nodes of the wave function. The most accurate results, at present, of the critical screening parameters ($\alpha_c$) for some low-lying states and the first coefficients in the expansion of the energy at $\alpha_c$ are presented. A locally-accurate and compact approximation for the eigenfunctions of the low-lying states for any $r\in [ 0,\infty)$ is discovered. This approximation used as a trial function in VM eventually leads to energies as precise as those of PT and Lag-Mesh. Finally, a compact analytical expression for the energy as a function of $\alpha$, that reproduce at least $6$ decimal digits in the entire physical range of $\alpha$, is found.


title: The Formal Inverse of the Period-Doubling Sequence

abstract: If $p$ is a prime number, consider a $p$-automatic sequence $(u_n)_{n\ge 0}$, and let $U(X) = \sum_{n\ge 0} u_n X^n \in \mathbb{F}_p[[X]]$ be its generating function. Assume that there exists a formal power series $V(X) = \sum_{n\ge 0} v_n X^n \in \mathbb{F}_p[[X]]$ which is the compositional inverse of $U$, i.e., $U(V(X))=X=V(U(X))$. The problem investigated in this paper is to study the properties of the sequence $(v_n)_{n\ge 0}$. The work was first initiated for the Thue-Morse sequence, and more recently the case of two variations of the Baum-Sweet sequence has been treated. In this paper, we deal with the case of the period-doubling sequence. We first show that the sequence of indices at which the period-doubling sequence takes value $0$ (resp., $1$) is not $k$-regular for any $k\ge 2$. Secondly, we give recurrence relations for its formal inverse, then we easily show that it is $2$-automatic, and we also provide an automaton that generates it. Thirdly, we study the sequence of indices at which this formal inverse takes value $1$, and we show that it is not $k$-regular for any $k\ge 2$ by connecting it to the characteristic sequence of Fibonacci numbers. We leave as an open problem the case of the sequence of indices at which this formal inverse takes value $0$. We end the paper with a remark on the case of generalized Thue-Morse sequences.


title: Bootstrapping the $S^5$ partition function

abstract: We consider $U(N)$ SQCD on $S^5$ and propose a Higgs branch-like expression for its partition function. We support the result by arguing that the knowledge of certain BPS codimension 2 and 4 defects arising from Higgsing is enough to reconstruct the bulk partition function, and that the defect partition functions satisfy a set of non-perturbative Schwinger-Dyson equations. We show that the result is consistent with, and naturally come from, the BPS/CFT perspective. In this language, the defect partition functions are identified with free boson correlators of the $q$-Virasoro modular triple, and the constraint equations with Ward identities satisfied by the corresponding Dotsenko-Fateev $q$-conformal blocks, providing a natural basis to expand the $S^5$ partition function.


title: GDoeSII: Open source software for design of diffractive optical elements and conversion to GDSII lithography files

abstract: We develop an open source software "GDoeSII" for the simulation of Fresnel (near field) and Fraunhofer (far field) diffraction integrals of diffractive optical elements (DOE). It can compute the intensity distributions at a desired plane from the DOE. This software can also convert the phase profiles of the DOEs from standard image formats such as JPG and PNG to lithography graphic format GDSII for fabrication purposes. The conversion algorithm used in this program groups adjacent same-valued pixels and creates a single cell rather than creating a cell for each and every pixel in the image file. This results in a faster and much lower output GDSII file size. Conversion to multi-layer GDSII format is also possible for grayscale lithography. We show as an example: The simulation, GDSII conversion, fabrication and experimental results for the case of an Airy beam generator. This application offers a complete platform for researchers working in diffractive optics from simulations to lithography


title: Turbulence and Scale Relativity

abstract: We develop a new formalism for the study of turbulence using the scale relativity framework (applied in $v$-space according to de Montera's proposal). We first review some of the various ingredients which are at the heart of the scale relativity approach (scale dependence and fractality, chaotic paths, irreversibility) and recall that they indeed characterize fully developped turbulent flows. Then we show that, in this framework, the time derivative of the Navier-Stokes equation can be transformed into a macroscopic Schr\"odinger-like equation. The local velocity PDF is given by the squared modulus of a solution of this equation. This implies the presence of null minima $P_v(v_i)\approx 0$ in this PDF. We also predict a new acceleration component in Lagrangian representation, $A_q=\pm D_v \: d \ln P_v/dv$, which is therefore expected to diverge in these minima. Then we check these theoretical predictions by data analysis of available turbulence experiments: (1) Empty zones are in effect detected in observed Lagrangian velocity PDFs. (2) We give a direct proof of the existence of the new acceleration component by directly identifying it in the data of a laboratory turbulence experiment. (3) It precisely accounts for the bursts and calm periods of the intermittent acceleration observed in experiments. (4) Moreover, the shape of the acceleration PDF can be analytically predicted from $A_q$, and this theoretical PDF precisely fits the experimental data, including the large tails. (5) Finally, numerical simulations of this new process allow us to recover the observed autocorrelation functions of acceleration magnitude and the exponents of structure functions.


title: On the circumcenters of triangular orbits in elliptic billards

abstract: On an elliptic billard, we study a complex reflexion law introduced by A. Glutsyuk in order to state that the locus of the circumcenters of triangular orbits is an ellipse.


title: Liquid Drop Model for Nuclear Matter in the Dilute Limit

abstract: We consider the liquid drop model for nuclei interacting with a neutralizing homogeneous background of electrons. The regime we are interested in is when the fraction between the electronic and the nuclear charge density is small. We show that in this dilute limit the thermodynamic ground state energy is given to leading order by that of an isolated nucleus.


title: Polariton-Enhanced Exciton Transport

abstract: The transport distance of excitons in exciton-polariton systems has previously been assumed to be very small ($\lesssim 1~\mu$m). The sharp spatial profiles observed when generating polaritons by non-resonant optical excitation show that this assumption is generally true. In this paper, however, we show that the transport distances of excitons in two-dimensional planar cavity structures with even a slightly polaritonic character are much longer than expected ($\approx 20~\mu$m). Although this population of slightly polaritonic excitons is normally small compared to the total population of excitons, they can substantially outnumber the population of the polaritons at lower energies, leading to important implications for the tailoring of potential landscapes and the measurement of interactions between polaritons.


title: Effective Parallel Corpus Mining using Bilingual Sentence Embeddings

abstract: This paper presents an effective approach for parallel corpus mining using bilingual sentence embeddings. Our embedding models are trained to produce similar representations exclusively for bilingual sentence pairs that are translations of each other. This is achieved using a novel training method that introduces hard negatives consisting of sentences that are not translations but that have some degree of semantic similarity. The quality of the resulting embeddings are evaluated on parallel corpus reconstruction and by assessing machine translation systems trained on gold vs. mined sentence pairs. We find that the sentence embeddings can be used to reconstruct the United Nations Parallel Corpus at the sentence level with a precision of 48.9% for en-fr and 54.9% for en-es. When adapted to document level matching, we achieve a parallel document matching accuracy that is comparable to the significantly more computationally intensive approach of [Jakob 2010]. Using reconstructed parallel data, we are able to train NMT models that perform nearly as well as models trained on the original data (within 1-2 BLEU).


title: Integrated Continuous-time Hidden Markov Models

abstract: Motivated by applications in movement ecology, in this paper I propose a new class of integrated continuous-time hidden Markov models in which each observation depends on the underlying state of the process over the whole interval since the previous observation, not only on its current state. This class gives a new representation of a range of existing models, including some widely applied switching diffusion models. I show that under appropriate conditioning, a model in this class can be regarded as a conventional hidden Markov model, enabling use of the Forward Algorithm for efficient evaluation of its likelihood without sampling of its state sequence. This leads to an algorithm for inference which is more efficient, and scales better with the amount of data, than existing methods. This is demonstrated and quantified in some applications to animal movement data and some related simulation experiments.


title: Gradient resummation for nonlinear chiral transport: an insight from holography

abstract: Nonlinear transport phenomena induced by chiral anomaly are explored within a 4D field theory defined holographically as $U(1)_V\times U(1)_A$ Maxwell-Chern-Simons theory in Schwarzschild-$AdS_5$. In presence of weak constant background electromagnetic fields, the constitutive relations for vector and axial currents, resummed to all orders in the gradients of charge densities, are encoded in nine momenta-dependent transport coefficient functions (TCFs). These TCFs are first calculated analytically up to third order in gradient expansion, and then evaluated numerically beyond the hydrodynamic limit. Fourier transformed, the TCFs become memory functions. The memory function of the chiral magnetic effect (CME) is found to differ dramatically from the instantaneous response form of the original CME. Beyond hydrodynamic limit and when external magnetic field is larger than some critical value, the chiral magnetic wave (CMW) is discovered to possess a discrete spectrum of non-dissipative modes.


title: Electronic spectral properties of incommensurate twisted trilayer graphene

abstract: Multilayered van der Waals structures often lack periodicity, which difficults their modeling. Building on previous work for bilayers, we develop a tight-binding based, momentum space formalism capable of describing incommensurate multilayered van der Waals structures for arbitrary lattice mismatch and/or misalignment between different layers. We demonstrate how the developed formalism can be used to model angle-resolved photoemission spectroscopy measurements, and scanning tunnelling spectroscopy which can probe the local and total density of states. The general method is then applied to incommensurate twisted trilayer graphene structures. It is found that the coupling between the three layers can significantly affect the low energy spectral properties, which cannot be simply attributed to the pairwise hybridization between the layers.


title: Characteristic interfacial structure behind a rapidly moving contact line

abstract: In forced wetting, a rapidly moving surface drags with it a thin layer of trailing fluid as it is plunged into a second fluid bath. Using high-speed interferometry, we find characteristic structure in the thickness of this layer with multiple thin flat triangular structures separated by much thicker regions. These features, depending on liquid viscosity and penetration velocity, are robust and occur in both wetting and de-wetting geometries. Their presence clearly shows the inadequacy of theoretical analysis that ignores the instability in the transverse direction.


title: Vanishing for Hodge ideals on toric varieties

abstract: In this article we construct a Koszul-type resolution of the p-th exterior power of the sheaf of holomorphic differential forms on smooth toric varieties and use this to prove a Nadel-type vanishing theorem for Hodge ideals associated to effective \mathbb{Q}-divisors on smooth projective toric varieties. This extends earlier results of Musta\c{t}\u{a} and Popa.


title: Conservative Replicator and Lotka-Volterra Equations in the context of Dirac$\backslash$ big-isotropic Structures

abstract: We introduce an algorithm to find possible constants of motion for a given replicator equation. The algorithm is inspired by Dirac geometry and a Hamiltonian description for the replicator equations with such constants of motion, up to a time re-parametrization, is provided using Dirac$\backslash$big-isotropic structures. Using the equivalence between replicator and Lotka-Volterra (LV) equations, the set of conservative LV equations is enlarged. Our approach generalizes the well-known use of gauge transformations to skew-symmetrize the interaction matrix of a LV system. In the case of predator-prey model, our method does allow interaction between different predators and between different preys.


title: Quantitative Comparisons of Linked Color Imaging and White-Light Colonoscopy for Colorectal Polyp Analysis

abstract: The performance of imaging techniques has an important influence on the clinical diagnostic strategy of colorectal cancer. Linked color imaging (LCI) by laser endoscopy is a recently developed techniques, and its advantage in improving the analysis accuracy of colorectal polyps over white-light (WL) endoscopy has been demonstrated in previous clinical studies. However, there are no objective criteria to evaluate and compare the aforementioned endoscopy methods. This paper presents a new criterion, namely entropy of color gradients image (ECGI), which is based on color gradients distribution and provides a comprehensive and objective evaluating indicator of the performance of colorectal images. Our method extracts the color gradient image pairs of 143 colonoscopy polyps in the LCI-PairedColon database, which are generated with WL and LCI conditions, respectively. Then, we apply the morphological method to fix the deviation of light-reflecting regions, and the ECGI scores of sample pairs are calculated. Experimental results show that the average ECGI scores of LCI images (5.7071) were significantly higher than that of WL (4.6093). This observation is consistent with the clinical studies. Therefore, the effectiveness of the proposed criterion is demonstrated.


title: Computing the Strategy to Commit to in Polymatrix Games (Extended Version)

abstract: Leadership games provide a powerful paradigm to model many real-world settings. Most literature focuses on games with a single follower who acts optimistically, breaking ties in favour of the leader. Unfortunately, for real-world applications, this is unlikely. In this paper, we look for efficiently solvable games with multiple followers who play either optimistically or pessimistically, i.e., breaking ties in favour or against the leader. We study the computational complexity of finding or approximating an optimistic or pessimistic leader-follower equilibrium in specific classes of succinct games---polymatrix like---which are equivalent to 2-player Bayesian games with uncertainty over the follower, with interdependent or independent types. Furthermore, we provide an exact algorithm to find a pessimistic equilibrium for those game classes. Finally, we show that in general polymatrix games the computation is harder even when players are forced to play pure strategies.


title: Toward a Tactile Internet Reference Architecture: Vision and Progress of the IEEE P1918.1 Standard

abstract: The term Tactile Internet broadly refers to a communication network which is capable of delivering control, touch, and sensing/actuation information in real-time. The Tactile Internet is currently a topic of interest for various standardization bodies. The emerging IEEE P1918.1 standards working group is focusing on defining a framework for the Tactile Internet. The main objective of this article is to present a reference architecture for the Tactile Internet based on the latest developments within the IEEE P1918.1 standard. The article provides an in-depth treatment of various architectural aspects including the key entities, the interfaces, the functional capabilities and the protocol stack. A case study has been presented as a manifestation of the architecture. Performance evaluation demonstrates the impact of functional capabilities and the underlying enablers on user-level utility pertaining to a generic Tactile Internet application.


title: End-to-End Physics Event Classification with CMS Open Data: Applying Image-Based Deep Learning to Detector Data for the Direct Classification of Collision Events at the LHC

abstract: This paper describes the construction of novel end-to-end image-based classifiers that directly leverage low-level simulated detector data to discriminate signal and background processes in pp collision events at the Large Hadron Collider at CERN. To better understand what end-to-end classifiers are capable of learning from the data and to address a number of associated challenges, we distinguish the decay of the standard model Higgs boson into two photons from its leading background sources using high-fidelity simulated CMS Open Data. We demonstrate the ability of end-to-end classifiers to learn from the angular distribution of the photons recorded as electromagnetic showers, their intrinsic shapes, and the energy of their constituent hits, even when the underlying particles are not fully resolved, delivering a clear advantage in such cases over purely kinematics-based classifiers.


title: Direct $CP$ violation from isospin symmetry breaking effects in PQCD

abstract: We investigate the direct $CP$ violation for the decay process of $\bar{B}_{s}\rightarrow P(V)\pi^{0}$ (P,V refer to the pseudoscalar meson and vector meson, respectively) via isospin symmetry breaking effects from the $\pi^{0}-\eta-\eta'$ mixing mechanism in PQCD factorization approach. Isospin symmetry breaking arises from the electroweak interaction and the u-d quark mass difference by the strong interaction which are known to be tiny. However, we find that isospin symmetry breaking at the leading order shifts the $CP$ violation due to the new strong phases.


title: Heavy $P$-wave quarkonium production via Higgs decays

abstract: The production of the heavy quarkonium, i.e., $|(c\bar{b})[n]\rangle$ (or $|(b\bar{c})[n]\rangle$), $|(c\bar{c})[n]\rangle$, and $|(b\bar{b})[n]\rangle$- quarkonium [$|(Q\bar{Q'})[n]\rangle$-quarkonium for short], through Higgs $H^{0}$ boson semiexclusive decays is evaluated within the NRQCD framework, where $[n]$ stands for the production of the two color-singlet $S$-wave states, $|(Q\bar{Q'})[^1S_0]_{\textbf{1}} \rangle$ and $|(Q\bar{Q'})[^3S_1]_{\textbf{1}} \rangle$, the production of the four color-singlet $P$-wave states, i.e., $|(Q\bar{Q'})[^1P_0]_{\textbf{1}}\rangle$, $|(Q\bar{Q'})[^3P_J]_{\textbf{1}}\rangle$ (with $J =[0, 1, 2]$). Moreover, according to the velocity scaling rule of the NRQCD, the production of the two color-octet components, $|(Q\bar{Q'})g[^1S_0]_{\textbf{8}} \rangle$ and $|(Q\bar{Q'})g[^3S_1]_{\textbf{8}} \rangle$, are also taken into account. The "improved trace technology" to derive the simplified analytic expressions at the amplitude level is adopted, which shall be useful for dealing with these decay channels. If all higher heavy quarkonium states decay completely to the ground states, it should be obtained $\Gamma{(H^0\to |(c\bar{b})[^1S_0]_{\textbf{1}}\rangle)}=15.14$ KeV, $\Gamma{(H^0\to |(c\bar{c})[^1S_0]_{\textbf{1}}\rangle)}=1.547$ KeV, and $\Gamma{(H^0\to |(b\bar{b})[^1S_0]_{\textbf{1}}\rangle)}=1.311$ KeV. The production of $5.6\times10^{5}$ Bc meson, $4.7\times10^{4}$ charmonium meson, and $4.9\times10^{4}$ bottomonium meson per year in Higgs decays at the HE/HL-LHC can be obtained.


title: Efficiency, Sequenceability and Deal-Optimality in Fair Division of Indivisible Goods

abstract: In fair division of indivisible goods, using sequences of sincere choices (or picking sequences) is a natural way to allocate the objects. The idea is as follows: at each stage, a designated agent picks one object among those that remain. Another intuitive way to obtain an allocation is to give objects to agents in the first place, and to let agents exchange them as long as such "deals" are beneficial. This paper investigates these notions, when agents have additive preferences over objects, and unveils surprising connections between them, and with other efficiency and fairness notions. In particular, we show that an allocation is sequenceable iff it is optimal for a certain type of deals, namely cycle deals involving a single object. Furthermore, any Pareto-optimal allocation is sequenceable, but not the converse. Regarding fairness, we show that an allocation can be envy-free and non-sequenceable, but that every competitive equilibrium with equal incomes is sequenceable. To complete the picture, we show how some domain restrictions may affect the relations between these notions. Finally, we experimentally explore the links between the scales of efficiency and fairness.


title: Supermassive Hot Jupiters Provide More Favourable Conditions for the Generation of Radio Emission via the Cyclotron Maser Instability - A Case Study Based on Tau Bootis b

abstract: We investigate under which conditions supermassive hot Jupiters can sustain source regions for radio emission, and whether this emission could propagate to an observer outside the system. We study Tau Bootis b-like planets (a supermassive hot Jupiter with 5.84 Jupiter masses and 1.06 Jupiter radii), but located at different orbital distances (between its actual orbit of 0.046 AU and 0.2 AU). Due to the strong gravity of such planets and efficient radiative cooling, the upper atmosphere is (almost) hydrostatic and the exobase remains very close to the planet, which makes it a good candidate for radio observations. We expect similar conditions as for Jupiter, i.e. a region between the exobase and the magnetopause that is filled with a depleted plasma density compared with cases where the whole magnetosphere cavity is filled with hydrodynamically outward flowing ionospheric plasma. Thus, unlike classical hot Jupiters like the previously studied planets HD 209458b and HD 189733b, supermassive hot Jupiters should be in general better targets for radio observations.


title: Real-Time Millimeter-Wave MIMO Channel Sounder for Dynamic Directional Measurements

abstract: In this paper, we present a novel real-time multiple-input-multiple-output (MIMO) channel sounder for the 28 GHz band. Until now, most investigations of the directional characteristics of millimeter-wave channels have used mechanically rotating horn antennas. In contrast, the sounder presented here is capable of performing horizontal and vertical beam steering with the help of phased arrays. Due to its fast beam-switching capability, the proposed sounder can perform measurements that are directionally resolved both at the transmitter(TX) and receiver (RX) in 1.44 milliseconds compared to the minutes or even hours required for rotating horn antenna sounders. This not only enables measurement of more TX-RX locations for a better statistical validity but also allows to perform directional analysis in dynamic environments. The short measurement time combined with the high phase stability limits the phase drift between TX and RX, enabling phase-coherent sounding of all beam pairs even when TX and RX have no cabled connection for synchronization without any delay ambiguity. Furthermore, the phase stability over time enables complex RX waveform averaging to improve the signal to noise ratio during high path loss measurements. The paper discusses both the system design as well as the measurements performed for verification of the sounder performance. Furthermore, we present sample results from double directional measurements in dynamic environments.


title: Precovery of TESS Single Transits with KELT

abstract: During the TESS prime mission, 74% of the sky area will only have an observational baseline of 27 days. For planets with orbital periods longer than 13.5 days, TESS can only capture one or two transits, and the planet ephemerides will be difficult to determine from TESS data alone. Follow-up observations of transits of these candidates will require precise ephemerides. We explore the use of existing ground-based wide-field photometric surveys to constrain the ephemerides of the TESS single-transit candidates, with a focus on the Kilodegree Extremely Little Telescope (KELT) survey. We insert simulated TESS-detected single transits into KELT light curves, and evaluate how well their orbital periods can be recovered. We find that KELT photometry can be used to confirm ephemerides with high accuracy for planets of Saturn size or larger with orbital periods as long as a year, and therefore span a wide range of planet equilibrium temperatures. In a large fraction of the sky we recover 30% to 50% of warm Jupiter systems (planet radius of 0.9 to 1.1 R_J and 13.5 < P < 50 days), 5% to 20% of temperate Jupiters (50 < P < 300 days), and 10% to 30% of warm Saturns (planet radius of 0.5 to 0.9 R_J and 13.5 < P < 50 days). The resulting ephemerides can be used for follow-up observations to confirm candidates as planets, eclipsing binaries, or other false positives, as well as to conduct detailed transit observations with facilities like JWST or HST.


title: Supercurrent in Graphene Josephson Junctions with Narrow Trenches in the Quantum Hall Regime

abstract: Coupling superconductors to quantum Hall edge states is the subject of intense investigation as part of the ongoing search for non-abelian excitations. Our group has previously observed supercurrents of hundreds of picoamperes in graphene Josephson junctions in the quantum Hall regime. One of the explanations of this phenomenon involves the coupling of an electron edge state on one side of the junction to a hole edge state on the opposite side. In our previous samples, these states are separated by several microns. Here, a narrow trench perpendicular to the contacts creates counterpropagating quantum Hall edge channels tens of nanometres from each other. Transport measurements demonstrate a change in the low-field Fraunhofer interference pattern for trench devices and show a supercurrent in both trench and reference junctions in the quantum Hall regime. The trench junctions show no enhancement of quantum Hall supercurrent and an unexpected supercurrent periodicity with applied field, suggesting the need for further optimization of device parameters.