title: Quantum confinement of the Dirac surface states in topological-insulator nanowires

abstract: The non-trivial topology of the three-dimensional (3D) topological insulator (TI) dictates the appearance of gapless Dirac surface states. Intriguingly, when a 3D TI is made into a nanowire, a gap opens at the Dirac point due to the quantum confinement, leading to a peculiar Dirac sub-band structure. This gap is useful for, e.g., future Majorana qubits based on TIs. Furthermore, these Dirac sub-bands can be manipulated by a magnetic flux and are an ideal platform for generating stable Majorana zero modes (MZMs), which play a key role in topological quantum computing. However, direct evidence for the Dirac sub-bands in TI nanowires has not been reported so far. Here we show that by growing very thin ($\sim$40-nm diameter) nanowires of the bulk-insulating topological insulator (Bi$_{1-x}$Sb$_x$)$_2$Te$_3$ and by tuning its chemical potential across the Dirac point with gating, one can unambiguously identify the Dirac sub-band structure. Specifically, the resistance measured on gate-tunable four-terminal devices was found to present non-equidistant peaks as a function of the gate voltage, which we theoretically show to be the unique signature of the quantum-confined Dirac surface states. These TI nanowires open the way to address the topological mesoscopic physics, and eventually the Majorana physics when proximitised by an $s$-wave superconductor.


title: Dirac and Majorana neutrino signatures of primordial black holes

abstract: We study Primordial Black Holes (PBHs) as sources of massive neutrinos via Hawking radiation. Under the hypothesis that black holes emit neutrino mass eigenstates, we describe quantitatively how the PBH evolution and lifetime is affected by the mass and fermionic -- Dirac or Majorana -- nature of neutrinos. In the case of Dirac neutrinos, PBHs radiate right-handed and left-handed neutrinos in equal amounts, thus possibly increasing the effective number of neutrino species, $N_{\rm eff}$. Assuming an initially monochromatic PBH mass spectrum, with the initial mass $M_i$ related to the particle horizon mass, and considering the current constraint on $N_{\rm eff}$, we derive a bound on the initial PBH fraction $\beta^\prime$ in the interval $4.3\times 10^7\ {\rm g}\lesssim M_i \lesssim 10^9$ g. Future measurements of $N_{\rm eff}$ may be able to constraint the initial fraction for black hole masses as low as 1 g. If an excess in $N_{\rm eff}$ is found, PBHs with Dirac neutrinos could provide a minimal explanation of it. For example, for $10^7\ {\rm g} \lesssim M_i\lesssim 10^9$ g and $\beta^\prime \gtrsim 10^{-13}$, an excess radiation at the level of $0.2\lesssim \Delta N_{\rm eff}\lesssim 0.37$ is produced, which can alleviate the tension of the Hubble parameter measurements. Finally, we obtain the diffuse flux of right-helical neutrinos from PBHs at the Earth, and show that their detection in a PTOLEMY-like detector (using neutrino capture on tritium) would be difficult.


title: ALMA observations of PKS 1549-79: a case of feeding and feedback in a young radio quasar

abstract: We present CO(1-0) and CO(3-2) ALMA observations of the molecular gas in PKS 1549-79, as well as mm and VLBI 2.3-GHz continuum observations of its radio jet. PKS 1549-79 is one of the closest young, radio-loud quasars caught in an on-going merger in which the AGN is in the first phases of its evolution. We detect three structures tracing the accretion and the outflow of molecular gas: kpc-scale tails of gas accreting onto PKS 1549-79, a circumnuclear disc (CND) in the inner few hundred parsec, and a very broad (>2300 \kms) component detected in CO(1-0) at the position of the AGN. Thus, in PKS 1549-79 we see the co-existence of accretion and the ejection of gas. The line ratio CO(1-0)/CO(3-2) suggests that the gas in the CND has both high densities and high kinetic temperatures. We estimate a mass outflow rate of at least 650 msun/yr. This massive outflow is confined to r < 120 pc, which suggests that the AGN drives the outflow. Considering the amount of molecular gas available in CND and the observed outflow rate, we estimate a time scale of ~10^5 yr over which the AGN would be able to destroy the CND, although gas from the merger may come in from larger radii, rebuilding this disc at the same time. The AGN appears to self-regulate gas accretion onto the super-massive black hole. From a comparison with HST data, we find that the ionised gas outflow is more extended. Nevertheless, the warm outflow is about two orders of magnitude less massive than the molecular outflow. PKS 1549-79 does not seem to follow the scaling relation between bolometric luminosity and the relative importance of warm ionised and molecular outflows claimed to exist for other AGN. We argue that, although PKS 1549-79 hosts a powerful quasar nucleus and an ultra-fast outflow, the radio jet plays a significant role in producing the outflow.


title: Edge-critical subgraphs of Schrijver graphs

abstract: For $k\geq 1$ and $n\geq 2k$, the Kneser graph $KG(n,k)$ has all $k$-element subsets of an $n$-element set as vertices; two such subsets are adjacent if they are disjoint. It was first proved by Lov\'{a}sz that the chromatic number of $KG(n,k)$ is $n-2k+2$. Schrijver constructed a vertex-critical subgraph $SG(n,k)$ of $KG(n,k)$ with the same chromatic number. For the stronger notion of criticality defined in terms of removing edges, however, no analogous construction is known except in trivial cases. We provide such a construction for $k=2$ and arbitrary $n\geq 4$ by means of a nice explicit combinatorial definition.


title: The NebulaStream Platform: Data and Application Management for the Internet of Things

abstract: The Internet of Things (IoT) presents a novel computing architecture for data management: a distributed, highly dynamic, and heterogeneous environment of massive scale. Applications for the IoT introduce new challenges for integrating the concepts of fog and cloud computing as well as sensor networks in one unified environment. In this paper, we highlight these major challenges and outline how existing systems handle them. To address these challenges, we introduce the NebulaStream platform, a general purpose, endto-end data management system for the IoT. NebulaStream addresses the heterogeneity and distribution of compute and data, supports diverse data and programming models going beyond relational algebra, deals with potentially unreliable communication, and enables constant evolution under continuous operation. In our evaluation, we demonstrate the effectiveness of our approach by providing early results on partial aspects.


title: Large-scale structures in the $\Lambda$CDM Universe: network analysis and machine learning

abstract: We perform an analysis of the Cosmic Web as a complex network, which is built on a $\Lambda$CDM cosmological simulation. For each of nodes, which are in this case dark matter halos formed in the simulation, we compute 10 network metrics, which characterize the role and position of a node in the network. The relation of these metrics to topological affiliation of the halo, i.e. to the type of large scale structure, which it belongs to, is then investigated. In particular, the correlation coefficients between network metrics and topology classes are computed. We have applied different machine learning methods to test the predictive power of obtained network metrics and to check if one could use network analysis as a tool for establishing topology of the large scale structure of the Universe. Results of such predictions, combined in the confusion matrix, show that it is not possible to give a good prediction of the topology of Cosmic Web (score is $\approx$ 70 $\%$ in average) based only on coordinates and velocities of nodes (halos), yet network metrics can give a hint about the topological landscape of matter distribution.


title: A modular $A_4$ symmetry realization of two-zero textures of the Majorana neutrino mass matrix

abstract: We show how to realize two-zero textures of the Majorana neutrino mass matrix $M_\nu$ based on modular $A_4$ invariant models without flavons. In these models, all matter fields are assigned to three inequivalent singlets, ${\bf 1}$, ${\bf 1^\prime}$ and ${\bf 1^{\prime\prime}}$, of the finite modular group $\Gamma_3 \simeq A_4$. Considering tensor products of the $A_4$ group, it is easy to make the charged lepton mass matrix $M_\ell$ diagonal. Since not all modular forms of a specific weight and level 3 can be arranged into three inequivalent singlets of $A_4$ simultaneously, we can always make some entries in $M_\nu$ vanish by properly assigning the representations and modular weights for the matter fields. We consider two cases where neutrino masses originate from the Weinberg operator and the type-I seesaw mechanism, respectively. For the former case, all seven viable two-zero textures of $M_\nu$ (${\bf A_{1,2}}$, ${\bf B_{1,2,3,4}}$ and ${\bf C}$) can be realized successfully. For the latter case, only five of them (namely ${\bf A_{1,2}}$, ${\bf B_{3,4}}$ and ${\bf C}$) can be achieved due to the intrinsic structure of the right-handed neutrino mass matrix $M_{\rm R}$ in our assumption for simplicity.


title: Is There a Trade-Off Between Fairness and Accuracy? A Perspective Using Mismatched Hypothesis Testing

abstract: A trade-off between accuracy and fairness is almost taken as a given in the existing literature on fairness in machine learning. Yet, it is not preordained that accuracy should decrease with increased fairness. Novel to this work, we examine fair classification through the lens of mismatched hypothesis testing: trying to find a classifier that distinguishes between two ideal distributions when given two mismatched distributions that are biased. Using Chernoff information, a tool in information theory, we theoretically demonstrate that, contrary to popular belief, there always exist ideal distributions such that optimal fairness and accuracy (with respect to the ideal distributions) are achieved simultaneously: there is no trade-off. Moreover, the same classifier yields the lack of a trade-off with respect to ideal distributions while yielding a trade-off when accuracy is measured with respect to the given (possibly biased) dataset. To complement our main result, we formulate an optimization to find ideal distributions and derive fundamental limits to explain why a trade-off exists on the given biased dataset. We also derive conditions under which active data collection can alleviate the fairness-accuracy trade-off in the real world. Our results lead us to contend that it is problematic to measure accuracy with respect to data that reflects bias, and instead, we should be considering accuracy with respect to ideal, unbiased data.


title: Einsatz von Hilfsmitteln zur Versuchsvorbereitung und Protokollierung im Anf\"angerpraktikum Physik

abstract: The Beginners Lab Course in Physics is scheduled very early in the course of studies not only for students of physics but also for students for which physics is a minor subject. We provide all partipants with several auxilliary materials for the preparation of the experiments and for writing a protocol. In our study, we enlighten the effect of the usage of these materials on the success of passing the lab course. ----- Das Anf\"angerpraktikum Physik ist eine fr\"uh im Studienverlauf stattfindende Veranstaltung sowohl f\"ur Hauptfachstudierende Physik, alsauch f\"ur Studierende mit Nebenfach Physik. Die vorliegende Untersuchung beleuchtet den Effekt der Verwendung von Hilfsmitteln zur Versuchsvorbereitung und Protokollierung auf das erfolgreiche Bestehen des Praktikums.


title: Two-colour QCD phases and the topology at low temperature and high density

abstract: We delineate equilibrium phase structure and topological charge distribution of dense two-colour QCD at low temperature by using a lattice simulation with two-flavour Wilson fermions that has a chemical potential $\mu$ and a diquark source $j$ incorporated. We systematically measure the diquark condensate, the Polyakov loop, the quark number density and the chiral condensate with improved accuracy and $j\to0$ extrapolation over earlier publications; the known qualitative features of the low temperature phase diagram, which is composed of the hadronic, Bose-Einstein condensed (BEC) and BCS phases, are reproduced. In addition, we newly find that around the boundary between the hadronic and BEC phases, nonzero quark number density occurs even in the hadronic phase in contrast to the prediction of the chiral perturbation theory (ChPT), while the diquark condensate approaches zero in a manner that is consistent with the ChPT prediction. At the highest $\mu$, which is of order the inverse of the lattice spacing, all the above observables change drastically, which implies a lattice artifact. Finally, at temperature of order $0.45T_c$, where $T_c$ is the chiral transition temperature at zero chemical potential, the topological susceptibility is calculated from a gradient-flow method and found to be almost constant for all the values of $\mu$ ranging from the hadronic to BCS phase. This is a contrast to the case of $0.89T_c$ in which the topological susceptibility becomes small as the hadronic phase changes into the quark-gluon plasma phase.


title: On The Strong Convergence of The Gradient Projection Algorithm with Tikhonov regularizing term

abstract: We investigate the strong and the weak convergence properties of the following gradient projection algorithm with Tikhonov regularizing term \[ x_{n+1}=P_{Q}(x_{n}-\gamma_{n}\nabla f(x_{n})-\gamma_{n}\alpha_{n}\nabla \phi (x_{n})), \] where $P_{Q}$ is the projection operator from a Hilbert space $\mathcal{H}$ onto a given nonempty, closed and convex subset $Q,$ $f:\mathcal{H}% \rightarrow \mathbb{R}$ a regular convex function, $\phi :\mathcal{H}% \rightarrow \mathbb{R}$ a regular strongly convex function, and $\gamma_{n}$ and $\alpha_{n}$ are positive real numbers. Following a Lyuapunov approach inspired essentially from the paper [Comminetti R, Peypouquet J Sorin S. Strong asymptotic convergence of evolution equations governed by maximal monotone operators with Tikhonov regularization. J. Differential Equations. (2001); 245:3753-3763], we establish the strong convergence of $(x_{n})_{n}$ to a particular minimizer $x^{\ast }$ of $f$ on $Q$ under some simple and natural conditions on the objective function $f$\ and the sequences $(\gamma_{n})_{n}$ and $(\alpha_{n})_{n}$


title: Thermodynamic Geometry of AdS Black Holes and Black Holes in a Cavity

abstract: The thermodynamic geometry has been proved to be quite useful in understanding the microscopic structure of black holes. We investigate the phase structure, thermodynamic geometry and critical behavior of a Reissner-Nordstrom-AdS black hole and a Reissner-Nordstrom black hole in a cavity, which can reach equilibrium in a canonical ensemble. Although the phase structure and critical behavior of both cases show striking resemblance, we find that there exist significant differences between the thermodynamic geometry of these two cases. Our results imply that there may be a connection between the black hole microstates and its boundary condition.


title: The Concept of Time: A Grand Unified Reaction Platform

abstract: The universe is things which change and called events. The events are matter and field. A boundary divides a system to things and environment. The things belong to the environment have no significant effect on the things belong to the system. The physical observables are the variations of things and it is always assumed that the conscious thing is placed in environment because the science cannot explain consciousness. There is not only an obligated minimum boundary between things (space) but also between past and future (present). The gravitational field has significant effect on these obligated minimums, especially at Planck scale. By using the above concept we introduce a grand unified reaction platform for categorizing the current physical paradigms and possible future explanation of the universe as a whole.


title: Axial symmetry cosmological constant vacuum solution of field equations with a curvature singularity, closed time-like curves and deviation of geodesics

abstract: In this paper, we present a type D, non-vanishing cosmological constant, vacuum solution of the Einstein's field equations, extension of an axially symmetric, asymptotically flat vacuum metric with a curvature singularity. The space-time admits closed time-like curves (CTCs) that appear after a certain instant of time from an initial spacelike hypersurface, indicating it represents a time-machine space-time. We wish to discuss the physical properties and show that this solution can be interpreted as gravitational waves of Coulomb-type propagate on anti-de Sitter space backgrounds. Our treatment focuses on the analysis of the equation of geodesic deviation.


title: An Evolutionary Approach to Optimizing Communication Cost in Distributed Quantum Computation

abstract: Distributed quantum computing has been well-known for many years as a system composed of a number of small-capacity quantum circuits. Limitations in the capacity of monolithic quantum computing systems can be overcome by using distributed quantum systems which communicate with each other through known communication links. In our previous study, an algorithm with an exponential complexity was proposed to optimize the number of qubit teleportations required for the communications between two partitions of a distributed quantum circuit. In this work, a genetic algorithm is used to solve the optimization problem in a more efficient way. The results are compared with the previous study and we show that our approach works almost the same with a remarkable speed-up. Moreover, the comparison of the proposed approach based on GA with a random search over the search space verifies the effectiveness of GA.


title: Black hole solutions and Euler equation in Rastall and generalized Rastall theories of gravity

abstract: Focusing on the special case of generalized Rastall theory, as a subclass of the non-minimal curvature-matter coupling theories in which the field equations are mathematically similar to the Einstein field equations in the presence of cosmological constant, we find two classes of black hole (BH) solutions including $i$) conformally flat solutions and $ii$) non-singular BHs. Accepting the mass function definition and by using the entropy contents of the solutions along with thermodynamic definitions of temperature and pressure, we study the validity of Euler equation on the corresponding horizons. Our results show that the thermodynamic pressure, meeting the Euler equation, is not always equal to the pressure components appeared in the gravitational field equations and satisfies the first law of thermodynamics, a result which in fact depends on the presumed energy definition. The requirements of having solutions with equal thermodynamic and Hawking temperatures are also studied. Additionally, we study the conformally flat BHs in the Rastall framework. The consequences of employing generalized Misner-Sharp mass in studying the validity of the Euler equation are also addressed.


title: Minimum entropy stochastic block models neglect edge distribution heterogeneity

abstract: The statistical inference of stochastic block models as emerged as a mathematicaly principled method for identifying communities inside networks. Its objective is to find the node partition and the block-to-block adjacency matrix of maximum likelihood i.e. the one which has most probably generated the observed network. In practice, in the so-called microcanonical ensemble, it is frequently assumed that when comparing two models which have the same number and sizes of communities, the best one is the one of minimum entropy i.e. the one which can generate the less different networks. In this paper, we show that there are situations in which the minimum entropy model does not identify the most significant communities in terms of edge distribution, even though it generates the observed graph with a higher probability.


title: Atypical electrical behavior of few layered WS2 nanosheets based platform subject to heavy metal ion treatment

abstract: An atypical electrical behavior of WS2 nanosheets deposited on Cu electrodes is reported here. The characteristic Raman peaks at 355cm-1 and 421.8cm-1 confirm the few-layer structure of WS2. The addition of heavy metal ions of ~30 micro Liter on this platform results in non-ohmic behavior in I-V characteristics, accompanied by a dramatic rise of current from nA to micro Ampere Additionally, this atypical behavior is found to be reversible. Subsequent to removal of these ions from the nanosheets, it again exhibits normal ohmic I-V characteristics. It is envisioned that this unusual characteristic will pave way for more research in the sensing direction as well as relevant fields.


title: Improving Heart Rate Estimation on Consumer Grade Wrist-Worn Device Using Post-Calibration Approach

abstract: The technological advancement in wireless health monitoring through the direct contact of the skin allows the development of light-weight wrist-worn wearable devices to be equipped with different sensors such as photoplethysmography (PPG) sensors. However, the motion artifact (MA) is possible to occur during daily activities. In this study, we attempted to perform a post-calibration of the heart rate (HR) estimation during the three possible states of average daily activity (resting, \textcolor{red}{laying down}, and intense treadmill activity states) in 29 participants (130 minutes/person) on four popular wearable devices: Fitbit Charge HR, Apple Watch Series 4, TicWatch Pro, and Empatica E4. In comparison to the standard measurement (HR$_\text{ECG}$), HR provided by Fitbit Charge HR (HR$_\text{Fitbit}$) yielded the highest error of $3.26 \pm 0.34$ bpm in resting, $2.33 \pm 0.23$ bpm in \textcolor{red}{laying down}, $9.53 \pm 1.47$ bpm in intense treadmill activity states, and $5.02 \pm 0.64$ bpm in all states combined among the four chosen devices. Following our improving HR estimation model with rolling windows as feature (HR$_\text{R}$), the mean absolute error (MAE) was significantly reduced by $33.44\%$ in resting, $15.88\%$ in \textcolor{red}{laying down}, $9.55\%$ in intense treadmill activity states, and $18.73\%$ in all states combined. This demonstrates the feasibility of our proposed methods in order to correct and provide HR monitoring post-calibrated with high accuracy, raising further awareness of individual fitness in the daily application.


title: Visual Hide and Seek

abstract: We train embodied agents to play Visual Hide and Seek where a prey must navigate in a simulated environment in order to avoid capture from a predator. We place a variety of obstacles in the environment for the prey to hide behind, and we only give the agents partial observations of their environment using an egocentric perspective. Although we train the model to play this game from scratch, experiments and visualizations suggest that the agent learns to predict its own visibility in the environment. Furthermore, we quantitatively analyze how agent weaknesses, such as slower speed, effect the learned policy. Our results suggest that, although agent weaknesses make the learning problem more challenging, they also cause more useful features to be learned. Our project website is available at: http://www.cs.columbia.edu/ ~bchen/visualhideseek/.


title: PropFuzz -- An IT-Security Fuzzing Framework for Proprietary ICS Protocols

abstract: Programmable Logic Controllers are used for smart homes, in production processes or to control critical infrastructures. Modern industrial devices in the control level are often communicating over proprietary protocols on top of TCP/IP with each other and SCADA systems. The networks in which the controllers operate are usually considered as trustworthy and thereby they are not properly secured. Due to the growing connectivity caused by the Internet of Things (IoT) and Industry 4.0 the security risks are rising. Therefore, the demand of security assessment tools for industrial networks is high. In this paper, we introduce a new fuzzing framework called PropFuzz, which is capable to fuzz proprietary industrial control system protocols and monitor the behavior of the controller. Furthermore, we present first results of a security assessment with our framework.


title: Counting the number of solutions to certain infinite Diophantine equations

abstract: Let $r, v, n$ be positive integers. This paper investigate the number of solutions $s_{r,v}(n)$ of the following infinite Diophantine equations $$ n=1^{r}\cdot |k_{1}|^{v}+2^{r}\cdot |k_{2}|^{v}+3^{r}\cdot |k_{3}|^{v}+\ldots, $$ for ${\bf k}=(k_1,k_2,k_3,\dots)\in\mathbb{Z}^{\infty}$. For each $(r,v)\in\mathbb{N}\times\{1,2\}$, a generating function and some asymptotic formulas of $s_{r,v}(n)$ are established.


title: Identical pion intensity interferometry at sqrt(s_{NN})=2.4 GeV

abstract: High-statistics $\pi^-\pi^-$ and $\pi^+\pi^+$ femtoscopy data are presented for Au+Au collisions at $\sqrt{s_\mathrm{NN}}=2.4$ GeV, measured with HADES at SIS18/GSI. The experimental correlation functions allow the determination of the space-time extent of the corresponding emission sources via a comparison to models. The emission source, parametrized as three-dimensional Gaussian distribution, is studied in dependence on pair transverse momentum, azimuthal emission angle with respect to the reaction plane, collision centrality and beam energy. For all centralities and transverse momenta, a geometrical distribution of ellipsoidal shape is found in the plane perpendicular to the beam direction with the larger extension perpendicular to the reaction plane. For large transverse momenta, the corresponding eccentricity approaches the initial eccentricity. The eccentricity is smallest for most central collisions, where the shape is almost circular. The magnitude of the tilt angle of the emission ellipsoid in the reaction plane decreases with increasing centrality and increasing transverse momentum. All source radii increase with centrality, largely exhibiting a linear rise with the number of participants, irrespective of transverse momentum. A substantial charge-sign difference of the source radii is found, appearing most pronounced at low transverse momentum. The extracted source parameters are consistent with the extrapolation of their energy dependence down from higher energies.


title: Invariants of annular links, cobordisms and transverse links from combinatorial link Floer complex

abstract: We define an annular concordance invariant and study its properties. When specialized to braids, this invariant gives bounds on band rank. We introduce a modified chain complex to reformulate the invariant. Then, by focusing on a special case, we give a refinement of the transverse invariant $\hat{\theta}$. We also study the relationship of this invariant with transverse and braid monodromy properties.


title: Positive solution of Hilfer fractional differential equations with integral boundary conditions

abstract: In this article, we have interested the study of the existence and uniqueness of positive solutions of the first-order nonlinear Hilfer fractional differential equation \begin{equation*} D_{0^{+}}^{\alpha ,\beta }y(t)=f(t,y(t)),\text{ }0<t\leq 1, \end{equation*}% with the integral boundary condition$\ $% \begin{equation*} I_{0^{+}}^{1-\gamma }y(0)=\lambda \int_{0}^{1}y(s)ds+d, \end{equation*}% where $0<\alpha \leq 1,$ $0\leq \beta \leq 1,$ $\lambda \geq 0,$ $d\in %TCIMACRO{\U{211d} }% %BeginExpansion \mathbb{R} %EndExpansion ^{+},$ and $D_{0^{+}}^{\alpha ,\beta }$, $I_{0^{+}}^{1-\gamma }$ are fractional operators in the Hilfer, Riemann-Liouville concepts, respectively. In this approach, we transform the given fractional differential equation into an equivalent integral equation. Then we establish sufficient conditions and employ the Schauder fixed point theorem and the method of upper and lower solutions to obtain the existence of a positive solution of a given problem. We also use the Banach contraction principle theorem to show the existence of a unique positive solution. \ The result of existence obtained by structure the upper and lower control functions of the nonlinear term is without any monotonous conditions. Finally, an example is presented to show the effectiveness of our main results.


title: The differential equations associated with Calogero-Moser-Sutherland particle models in the freezing regime

abstract: Multivariate Bessel processes describe Calogero-Moser-Sutherland particle models and are related with $\beta$-Hermite and $\beta$-Laguerre ensembles. They depend on a root system and a multiplicity $k$. Recently, several limit theorems for $k\to\infty$ were derived where the limits depend on the solutions of associated ODEs in these freezing regimes. In this paper we study the solutions of these ODEs which are are singular on the boundaries of their domains. In particular we prove that for a start in arbitrary boundary points, the ODEs always admit unique solutions in their domains for $t>0$.


title: Strategies for achieving high key rates in satellite-based QKD

abstract: Quantum key distribution (QKD) is a pioneering quantum technology on the brink of widespread deployment. Nevertheless, the distribution of secret keys beyond a few 100 kilometers at practical rates remains a major challenge. One approach to circumvent lossy terrestrial transmission of entangled photon pairs is the deployment of optical satellite links. Optimizing these non-static quantum links to yield the highest possible key rate is essential for their successful operation. We therefore developed a high-brightness polarization-entangled photon pair source and a receiver module with a fast steering mirror capable of satellite tracking. We employed this state-of-the-art hardware to distribute photons over a terrestrial free-space link with a distance of 143 km, and extracted secure key rates up to 300 bits per second. Contrary to fiber-based links, the channel loss in satellite downlinks is time-varying and the link time is limited to a few minutes. We therefore propose a model-based optimization of link parameters based on current channel and receiver conditions. This model and our field test will prove helpful in the design and operation of future satellite missions and advance the distribution of secret keys at high rates on a global scale.


title: Recovering a quasilinear conductivity from boundary measurements

abstract: We consider the inverse problem of recovering an isotropic quasilinear conductivity from the Dirichlet-to-Neumann map when the conductivity depends on the solution and its gradient. We show that the conductivity can be recovered on an open subset of small gradients, hence extending a partial result to all real analytic conductivities. We also recover non-analytic conductivities with additional growth assumptions along large gradients. Moreover, the results hold for non-homogeneous conductivities if the non-homogeneous part is assumed known.


title: Uncertainty Quantification of DFT-predicted Finite Temperature Thermodynamic Properties within the Debye Model

abstract: Finite-temperature effects can be included by calculating the vibrations properties and this can greatly improve the fidelity of computational screening. An important challenge for DFT-based screening is the sensitivity of the predictions to the choice of the exchange correlation function. In this work, we rigorously explore the sensitivity of finite temperature thermodynamic properties to the choice of the exchange correlation functional using the built-in error estimation capabilities within the Bayesian Error Estimation Functional. The vibrational properties are estimated using the Debye model and we quantify the uncertainty associated with finite-temperature properties for a diverse collection of materials. We find good agreement with experiment and small spread in predictions over different exchange correlation functionals for Mg, Al$_2$O$_3$, Al, Ca, and GaAs. In the case of Li, Li$_2$O, and NiO, however, we find a large spread in predictions as well as disagreement between experiment and functionals due to complex bonding environments. While the energetics generated by BEEF-vdW ensemble is typically normal, the complex mapping through the Debye model leads to the derived finite temperature properties having non-Gaussian behavior. We test a wide variety of probability distributions that best represent the finite temperature distribution and find that properties such as specific heat, Gibbs free energy, entropy, and the thermal expansion coefficient are well described by normal or transformed normal distributions, while the prediction spread of volume at a given temperature does not appear to be drawn from a single distribution.


title: WOTBoost: Weighted Oversampling Technique in Boosting for imbalanced learning

abstract: Machine learning classifiers often stumble over imbalanced datasets where classes are not equally represented. This inherent bias towards the majority class may result in low accuracy in labeling minority class. Imbalanced learning is prevalent in many real-world applications, such as medical research, network intrusion detection, and fraud detection in credit card transactions, etc. A good number of research works have been reported to tackle this challenging problem. For example, Synthetic Minority Over-sampling TEchnique (SMOTE) and ADAptive SYNthetic sampling approach (ADASYN) use oversampling techniques to balance the skewed datasets. In this paper, we propose a novel method that combines a Weighted Oversampling Technique and ensemble Boosting method (WOTBoost) to improve the classification accuracy of minority data without sacrificing the accuracy of the majority class. WOTBoost adjusts its oversampling strategy at each round of boosting to synthesize more targeted minority data samples. The adjustment is enforced using a weighted distribution. We compare WOTBoost with other four classification models (i.e., decision tree, SMOTE + decision tree, ADASYN + decision tree, SMOTEBoost) extensively on 18 public accessible imbalanced datasets. WOTBoost achieves the best G mean on 6 datasets and highest AUC score on 7 datasets.


title: Collective excitations in twisted bilayer graphene close to the magic angle

abstract: The electronic properties of twisted bilayer graphene (TBG) can be dramatically different from those of a single graphene layer, in particular when the two layers are rotated relative to each other by a small angle. TBG has recently attracted a great deal of interest, sparked by the discovery of correlated insulating and superconducting states, for twist angle $\theta$ close to a so-called 'magic angle' $\approx 1.1{\deg}$. In this work, we unveil, via near-field optical microscopy, a collective plasmon mode in charge-neutral TBG near the magic angle, which is dramatically different from the ordinary single-layer graphene intraband plasmon. In selected regions of our samples, we find a gapped collective mode with linear dispersion, akin to the bulk magnetoplasmons of a two-dimensional (2D) electron gas. We interpret these as interband plasmons and associate those with the optical transitions between quasi-localized states originating from the moir\'e superlattice. Surprisingly, we find a higher plasmon group velocity than expected, which implies an enhanced strength of the corresponding optical transition. This points to a weaker interlayer coupling in the AA regions. These intriguing optical properties offer new insights, complementary to other techniques, on the carrier dynamics in this novel quantum electron system.


title: Dynamical reweighting methods for Markov models

abstract: Markov State Models (MSM) are widely used to elucidate dynamic properties of molecular systems from unbiased Molecular Dynamics (MD). However, the implementation of reweighting schemes for MSMs to analyze biased simulations, for example produced by enhanced sampling techniques, is still at an early stage of development. Several dynamical reweighing approaches have been proposed, which can be classified as approaches based on (i) Kramers rate theory, (ii) rescaling of the probability density flux, (iii) reweighting by formulating a likelihood function, (iv) path reweighting. We present the state-of-the-art and discuss the methodological differences of these methods, their limitations and recent applications.


title: A New Three-stage Curriculum Learning Approach to Deep Network Based Liver Tumor Segmentation

abstract: Automatic segmentation of liver tumors in medical images is crucial for the computer-aided diagnosis and therapy. It is a challenging task, since the tumors are notoriously small against the background voxels. This paper proposes a new three-stage curriculum learning approach for training deep networks to tackle this small object segmentation problem. The learning in the first stage is performed on the whole input to obtain an initial deep network for tumor segmenta-tion. Then the second stage of learning focuses the strength-ening of tumor specific features by continuing training the network on the tumor patches. Finally, we retrain the net-work on the whole input in the third stage, in order that the tumor specific features and the global context can be inte-grated ideally under the segmentation objective. Benefitting from the proposed learning approach, we only need to em-ploy one single network to segment the tumors directly. We evaluated our approach on the 2017 MICCAI Liver Tumor Segmentation challenge dataset. In the experiments, our approach exhibits significant improvement compared with the commonly used cascaded counterpart.


title: On some classes of Z-graded Lie algebras

abstract: We study finite dimensional almost and quasi-effective prolongations of nilpotent Z-graded Lie algebras, especially focusing on those having a decomposable reductive structural subalgebra. Our assumptions generalize effectiveness and algebraicity and are appropriate to obtain Levi-Mal\v{c}ev and Levi-Chevalley decompositions and precisions on the heigth and other properties of the prolongations in a very natural way. In a last section we systematically present examples in which simple Lie algebras are obtained as prolongations, for reductive structural algebras of type A, B, C and D, of nilpotent Z-graded Lie algebras arising as their linear representations.


title: Keyphrase Extraction from Disaster-related Tweets

abstract: While keyphrase extraction has received considerable attention in recent years, relatively few studies exist on extracting keyphrases from social media platforms such as Twitter, and even fewer for extracting disaster-related keyphrases from such sources. During a disaster, keyphrases can be extremely useful for filtering relevant tweets that can enhance situational awareness. Previously, joint training of two different layers of a stacked Recurrent Neural Network for keyword discovery and keyphrase extraction had been shown to be effective in extracting keyphrases from general Twitter data. We improve the model's performance on both general Twitter data and disaster-related Twitter data by incorporating contextual word embeddings, POS-tags, phonetics, and phonological features. Moreover, we discuss the shortcomings of the often used F1-measure for evaluating the quality of predicted keyphrases with respect to the ground truth annotations. Instead of the F1-measure, we propose the use of embedding-based metrics to better capture the correctness of the predicted keyphrases. In addition, we also present a novel extension of an embedding-based metric. The extension allows one to better control the penalty for the difference in the number of ground-truth and predicted keyphrases


title: Algorithms for uniform particle initialization in domains with complex boundaries

abstract: Accurate mesh-free simulation of fluid flows involving complex boundaries requires that the boundaries be captured accurately in terms of particles. In the context of incompressible/weakly-compressible fluid flow, the SPH method is more accurate when the particle distribution is uniform. Hence, for the time accurate simulation of flow in the presence of complex boundaries, one must have both an accurate boundary discretization as well as a uniform distribution of particles to initialize the simulation. This process of obtaining an initial uniform distribution of particles is called "particle packing". In this paper, various particle packing algorithms present in the literature are implemented and compared. An improved SPH-based algorithm is proposed which produces uniform particle distributions of both the fluid and solid domains in two and three dimensions. Some challenging geometries are constructed to demonstrate the accuracy of the new algorithm. The implementation of the algorithm is open source and the manuscript is fully reproducible.


title: Design, Benchmarking and Explainability Analysis of a Game-Theoretic Framework towards Energy Efficiency in Smart Infrastructure

abstract: In this paper, we propose a gamification approach as a novel framework for smart building infrastructure with the goal of motivating human occupants to reconsider personal energy usage and to have positive effects on their environment. Human interaction in the context of cyber-physical systems is a core component and consideration in the implementation of any smart building technology. Research has shown that the adoption of human-centric building services and amenities leads to improvements in the operational efficiency of these cyber-physical systems directed towards controlling building energy usage. We introduce a strategy in form of a game-theoretic framework that incorporates humans-in-the-loop modeling by creating an interface to allow building managers to interact with occupants and potentially incentivize energy efficient behavior. Prior works on game theoretic analysis typically rely on the assumption that the utility function of each individual agent is known a priori. Instead, we propose novel utility learning framework for benchmarking that employs robust estimations of occupant actions towards energy efficiency. To improve forecasting performance, we extend the utility learning scheme by leveraging deep bi-directional recurrent neural networks. Using the proposed methods on data gathered from occupant actions for resources such as room lighting, we forecast patterns of energy resource usage to demonstrate the prediction performance of the methods. The results of our study show that we can achieve a highly accurate representation of the ground truth for occupant energy resource usage. We also demonstrate the explainable nature on human decision making towards energy usage inherent in the dataset using graphical lasso and granger causality algorithms. Finally, we open source the de-identified, high-dimensional data pertaining to the energy game-theoretic framework.


title: H-VECTORS: Utterance-level Speaker Embedding Using A Hierarchical Attention Model

abstract: In this paper, a hierarchical attention network to generate utterance-level embeddings (H-vectors) for speaker identification is proposed. Since different parts of an utterance may have different contributions to speaker identities, the use of hierarchical structure aims to learn speaker related information locally and globally. In the proposed approach, frame-level encoder and attention are applied on segments of an input utterance and generate individual segment vectors. Then, segment level attention is applied on the segment vectors to construct an utterance representation. To evaluate the effectiveness of the proposed approach, NIST SRE 2008 Part1 dataset is used for training, and two datasets, Switchboard Cellular part1 and CallHome American English Speech, are used to evaluate the quality of extracted utterance embeddings on speaker identification and verification tasks. In comparison with two baselines, X-vector, X-vector+Attention, the obtained results show that H-vectors can achieve a significantly better performance. Furthermore, the extracted utterance-level embeddings are more discriminative than the two baselines when mapped into a 2D space using t-SNE.


title: The Effect of Fluid Properties on the Operation of Thermal Bubble jet

abstract: Over the last two decades, since explosive boiling has been widely used in industry, research on it has been increased. Thermal bubble jet printer, micro injectors and using in micro medicine for injection are some possible applications. The operation of thermal bubble jets consist of three stages: 1- Heat transfer process, 2- Bubble formation and growth in the microchannel, and 3-Drop ejection. The effect of fluid properties on the operation of thermal bubble jet is investigated in this paper. Thus the effect of fluid properties is investigated in each above mentioned processes. Eventually, comparing experimental results of drop ejection with the results from simulations, drop properties such as volume and velocity are given.


title: A Kastler-Kalau-Walze Type Theorem for 7-dimensional Manifolds with Boundary about Witten deformation

abstract: In this paper, we give a brute-force proof of the Kastler-Kalau-Walze type theorem for $7$-dimensional manifolds with boundary about Witten deformation, and give a theoritic explaination of the gravitational action for $7$ dimensional manifolds with boundary.


title: A Least Squares Approach to the Static Traffic Analysis of High-Latency Anonymous Communication Systems

abstract: Mixes, relaying routers that hide the relation between incoming and outgoing messages, are the main building block of high-latency anonymous communication networks. A number of so-called disclosure attacks have been proposed to effectively de-anonymize traffic sent through these channels. Yet, the dependence of their success on the system parameters is not well-understood. We propose the Least Squares Disclosure Attack (LSDA), in which user profiles are estimated by solving a least squares problem. We show that LSDA is not only suitable for the analysis of threshold mixes, but can be easily extended to attack pool mixes. Furthermore, contrary to previous heuristic-based attacks, our approach allows us to analytically derive expressions that characterize the profiling error of LSDA with respect to the system parameters. We empirically demonstrate that LSDA recovers users' profiles with greater accuracy than its statistical predecessors and verify that our analysis closely predicts actual performance.


title: On the Cauchy problem of 3D incompressible Navier-Stokes-Cahn-Hilliard system

abstract: In this paper, we are concerned with the well-posedness and large time behavior of Cauchy problem for 3D incompressible Navier-Stokes-Cahn-Hilliard equations. First, using Banach fixed point theorem, we establish the local well-posedness of solutions. Second, assuming $\|(u_0,\nabla\phi_0)\|_{\dot{H}^\frac12}$ is sufficiently small, we obtain the global well-posedness of solutions. Moreover, the optimal decay rates of the higher-order spatial derivatives of the solution are also obtained.


title: Material matter effects in gravitational UV/IR mixing

abstract: We propose a matter effect for the gravitational ultraviolet/infrared (UV/IR) mixing solution to the cosmological constant problem. Previously, the gravitational UV/IR mixing model implied a non-standard equation of state for dark energy, contradicting observation. In contrast, matter effect gravitational UV/IR mixing accommodates a standard $\Lambda$CDM cosmology with constant dark energy. Notably, there are new density-dependent predictions for futuristically precise measurements of fundamental parameters, like the magnetic moments of the muon and electron.


title: Matched pairs of $m$-invertible Hopf quasigroups

abstract: The matched pair theory (of groups) is studied for a class of quasigroups; namely, the $m$-inverse property loops. The theory is upgraded to the Hopf level, and the "$m$-invertible Hopf quasigroups" are introduced.


title: Coherence Time Extension by Large Scale Optical Spin Polarization in a Rare-Earth Doped Crystal

abstract: Optically addressable spins are actively investigated in quantum communication, processing and sensing. Optical and spin coherence lifetimes, which determine quantum operation fidelity and storage time, are often limited by spin-spin interactions, which can be decreased by polarizing spins in their lower energy state using large magnetic fields and/or mK range temperatures. Here, we show that optical pumping of a small fraction of ions with a fixed frequency laser, coupled with spin-spin interactions and spin diffusion, leads to substantial spin polarization in a paramagnetic rare earth doped crystal, $^{171}$Yb$^{3+}$:YSO. Indeed, up to more than 90 % spin polarizations have been achieved at 2 K and zero magnetic field. Using this spin polarization mechanism, we furthermore demonstrate an increase in optical coherence lifetime from 0.3 ms to 0.8 ms, due to a strong decrease in spin-spin interactions. This effect opens the way to new schemes for obtaining long optical and spin coherence lifetimes in various solid-state systems such as ensembles of rare earth ions or color centers in diamond, which is of interest for a broad range of quantum technologies.


title: Limit theorems for numbers of returns in arrays under $\phi$-mixing

abstract: We consider a $\phi$-mixing shift $T$ on a sequence space $\Om$ and study the number $\cN_N$ of returns $\{ T^{q_N(n)}\om\in A^a_n\}$ at times $q_N(n)$ to a cylinder $A^a_n$ constructed by a sequence $a\in\Om$ where $n$ runs either until a fixed integer $N$ or until a time $\tau_N$ of the first return $\{ T^{q_N(n)}\om\in A^b_m\}$ to another cylinder $A^b_m$ constructed by $b\in\Om$. Here $q_N(n)$ are certain functions of $n$ taking on nonnegative integer values when $n$ runs from 0 to $N$ and the dependence on $N$ is the main generalization here which requires certain conditions under which we obtain Poisson distributions limits of $\cN_N$ when counting is until $N$ as $N\to\infty$ and geometric distributions limits when counting is until $\tau_N$ as $N\to\infty$.


title: Light-Cone Sum Rules Analysis of $\Xi_{QQ^{\prime}}\to\Sigma_{Q^{\prime}}$ Weak Decays

abstract: As a continuation of our previous work, we investigate the weak decays of doubly-heavy baryons $\Xi_{QQ^{\prime}}$ into sextet $\Sigma_{Q^{\prime}}$ with light-cone sum rules. We calculate the form factors for these decays with the parallel light-cone distribution amplitudes of $\Sigma_{Q^{\prime}}$. Numerical results of these form factors are used to predict the decay widths and branching ratios of the corresponding semi-leptonic processes. Parametric uncertainties and theoretical analyses are also given in detail. We find that the decay widths of $\Xi_{cc}$ and $\Xi_{bc}$ decays are several orders of magnitude larger than those of $\Xi_{bb}$ decays.


title: Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic

abstract: Semiring provenance is a successful approach to provide detailed information on the combinations of atomic facts that are responsible for the result of a query. In particular, interpretations in general provenance semirings of polynomials or formal power series give precise descriptions of the successful evaluation strategies for the query. While provenance analysis in databases has, for a long time, been largely confined to negation-free query languages, a recent approach extends this to model checking problems for logics with full negation. Algebraically this relies on new quotient semirings of dual-indeterminate polynomials or power series. So far, this approach has been developed mainly for first-order logic and for the positive fragment of least fixed-point logic. What has remained open is an adequate treatment for fixed-point calculi that admit arbitrary interleavings of least and greatest fixed points. We show that an adequate framework for the provenance analysis of full fixed-point logics is provided by semirings that are (1) fully continuous, (2) absorptive, and (3) chain-positive. Full continuity guarantees that provenance values of least and greatest fixed-points are well-defined. Absorptive semirings provide a symmetry between least and greatest fixed-point computations and make sure that provenance values of greatest fixed points are informative. Finally, chain-positivity is responsible for having truth-preserving interpretations, which give non-zero values to all true formulae. We further identify semirings of generalized absorptive polynomials and prove universal properties that make them the most general appropriate semirings for LFP. We illustrate the power of provenance interpretations in these semirings by relating them to provenance values of plays and strategies in the associated model-checking games.


title: On the Kernel of $\Z_{2^s}$-Linear Simplex and MacDonald Codes

abstract: The $\Z_{2^s}$-additive codes are subgroups of $\Z^n_{2^s}$, and can be seen as a generalization of linear codes over $\Z_2$ and $\Z_4$. A $\Z_{2^s}$-linear code is a binary code which is the Gray map image of a $\Z_{2^s}$-additive code. We consider $\Z_{2^s}$-additive simplex codes of type $\alpha$ and $\beta$, which are a generalization over $\Z_{2^s}$ of the binary simplex codes. These $\Z_{2^s}$-additive simplex codes are related to the $\Z_{2^s}$-additive Hadamard codes. In this paper, we use this relationship to establish the kernel of their binary images, under the Gray map, the $\Z_{2^s}$-linear simplex codes. Similar results can be obtained for the binary Gray map image of $\Z_{2^s}$-additive MacDonald codes.


title: Forecast Evaluation of Quantiles, Prediction Intervals, and other Set-Valued Functionals

abstract: We introduce a theoretical framework of elicitability and identifiability of set-valued functionals, such as quantiles, prediction intervals, and systemic risk measures. A functional is elicitable if it is the unique minimiser of an expected scoring function, and identifiable if it is the unique zero of an expected identification function; both notions are essential for forecast ranking and validation, and $M$- and $Z$-estimation. Our framework distinguishes between exhaustive forecasts, being set-valued and aiming at correctly specifying the entire functional, and selective forecasts, content with solely specifying a single point in the correct functional. We establish a mutual exclusivity result: A set-valued functional can be either selectively elicitable or exhaustively elicitable or not elicitable at all. Notably, since quantiles are well known to be selectively elicitable, they fail to be exhaustively elicitable. We further show that the class of prediction intervals and Vorob'ev quantiles turn out to be exhaustively elicitable and selectively identifiable. In particular, we provide a mixture representation of elementary exhaustive scores, leading the way to Murphy diagrams. We give possibility and impossibility results for the shortest prediction interval and prediction intervals specified by an endpoint or a midpoint. We end with a comprehensive literature review on common practice in forecast evaluation of set-valued functionals.


title: Representations and the foundations of mathematics

abstract: The representation of mathematical objects in terms of (more) basic ones is part and parcel of (the foundations of) mathematics. In the usual foundations of mathematics, i.e. $\textsf{ZFC}$ set theory, all mathematical objects are represented by sets, while ordinary, i.e. non-set theoretic, mathematics is represented in the more parsimonious language of second-order arithmetic. This paper deals with the latter representation for the rather basic case of continuous functions on the reals and Baire space. We show that the logical strength of basic theorems named after Tietze, Heine, and Weierstrass, changes significantly upon the replacement of 'second-order representations' to 'third-order functions'. We discuss the implications and connections to the Reverse Mathematics program and its foundational claims regarding predicativist mathematics and Hilbert's program for the foundations of mathematics. Finally, we identify the problem caused by representations of continuous functions and formulate a criterion to avoid problematic codings within the bigger picture of representations.


title: Exceptional Periodicity and Magic Star Algebras. II : Gradings and HT-Algebras

abstract: We continue the study of Exceptional Periodicity and Magic Star algebras, which provide non-Lie, countably infinite chains of finite dimensional generalizations of exceptional Lie algebras. We analyze the graded algebraic structures arising in the Magic Star projection, as well as the Hermitian part of rank-3 Vinberg's matrix algebras (which we dub HT-algebras), occurring on each vertex of the Magic Star.


title: Modelling hydrogen induced stress corrosion cracking in austenitic stainless steel

abstract: A model has been developed which simulates the deformation of single crystal austenitic stainless steels and cap-tures the effects of hydrogen on stress corrosion cracking. The model is based on the crystal plasticity theory which relates critical resolved shear stress to plastic strain and the strength of the crystal. We propose an analytical repre-sentation of hydrogen interactions with the material microstructure during deformation and simulate the effects hydrogen will have on void growth prior to fracture. Changes in the mechanical properties of the crystal prior to fracture are governed by the interaction of hydrogen atoms and ensembles of dislocations as the crystal plastically deforms and is based on the hydrogen enhanced localised plasticity (HELP) mechanism. The effects of hydrogen on void growth are considered by analysing the effect of hydrogen on the mechanical property of material bound-ing an embedded void. The model presented has been implemented numerically using the User Material (UMAT) subroutine in the finite element software (ABAQUS) and has been validated by comparing simulated results with experimental data. Influencing parameters have been varied to understand their effect and test sensitivities.


title: Diffusion MRI simulation of realistic neurons with SpinDoctor and the Neuron Module

abstract: In this paper we present the Neuron Module that we implemented within the Matlab-based diffusion MRI simulation toolbox SpinDoctor. SpinDoctor uses finite element discretization and adaptive time integration to solve the Bloch-Torrey partial differential equation for general diffusion-encoding sequences, at multiple b-values and in multiple diffusion directions. In order to facilitate the diffusion MRI simulation of realistic neurons by the research community, we constructed finite element meshes for a group of 36 pyramidal neurons and a group of 29 spindle neurons whose morphological descriptions were found in the publicly available neuron repository NeuroMorpho. We also broke the neurons into the soma and dendrite branches and created finite elements meshes for these cell components. Through the Neuron Module, these neuron and cell components finite element meshes can be seamlessly coupled with the functionalities of SpinDoctor. To illustrate some potential uses of the Neuron Module, we show numerical examples of the simulated diffusion MRI signals in multiple diffusion directions from whole neurons as well as from the soma and dendrite branches, and include a comparison of the high b-value behavior between dendrite branches and whole neurons. In addition, we demonstrate that the neuron meshes can be used to perform Monte-Carlo diffusion MRI simulations as well. We show that at equivalent accuracy, if only one gradient direction needs to be simulated, SpinDoctor is faster than a GPU implementation of Monte-Carlo. Finally, we numerically compute the eigenfunctions and the eigenvalues of the Bloch-Torrey and the Laplace operators on the neuron geometries using a finite elements discretization, in order to give guidance in the choice of the space and time discretization parameters for both finite elements and Monte-Carlo approaches.


title: An integrable family of Poisson systems: Characterization and global analysis

abstract: A family of solutions of the Jacobi PDEs is investigated. This family is $n$-dimensional, of arbitrary nonlinearity and can be globally analyzed (thus improving the usual local scope of Darboux theorem). As an outcome of this analysis it is demonstrated that such Poisson structures lead to integrable systems. The solution family embraces as particular cases different systems of applied interest that are also regarded as examples.

categories: math-ph math.AP math.MP math.SG nlin.SI physics.class-ph


title: Understanding Social Networks using Transfer Learning

abstract: A detailed understanding of users contributes to the understanding of the Web's evolution, and to the development of Web applications. Although for new Web platforms such a study is especially important, it is often jeopardized by the lack of knowledge about novel phenomena due to the sparsity of data. Akin to human transfer of experiences from one domain to the next, transfer learning as a subfield of machine learning adapts knowledge acquired in one domain to a new domain. We systematically investigate how the concept of transfer learning may be applied to the study of users on newly created (emerging) Web platforms, and propose our transfer learning-based approach, TraNet. We show two use cases where TraNet is applied to tasks involving the identification of user trust and roles on different Web platforms. We compare the performance of TraNet with other approaches and find that our approach can best transfer knowledge on users across platforms in the given tasks.


title: Existence and Multiplicity of positive solutions of certain nonlocal scalar field equations

abstract: We study existence and multiplicity of positive solutions of the following class of nonlocal scalar field equations: \begin{equation} \tag{$\mathcal{P}$} \left\{\begin{aligned} (-\Delta)^s u + u &= a(x) |u|^{p-1}u+f(x)\;\;\text{in}\;\mathbb{R}^{N}, u &\in H^{s}{(\mathbb{R}^{N})} \end{aligned} \right. \end{equation} where $s \in (0,1)$, $N>2s$, $1<p<2_s^*-1:=\frac{N+2s}{N-2s}$, $0< a\in L^\infty(\mathbb{R}^N)$ and $f\in H^{-s}(\mathbb{R}^N)$ is a nonnegative functional i.e., ${\langle}f,u{\rangle} \geq 0$ whenever $u$ is a nonnegative function in $H^s(\mathbb{R}^N)$. We prove existence of a positive solution when $f\equiv 0$ under certain asymptotic behavior on the function $a.$ Moreover, when $a(x)\geq 1$, $a(x)\to 1$ as $|x|\to\infty$ and $\|f\|_{H^{-s}(\mathbb{R}^N)}$ is small enough (but $f\not\equiv 0$), then we show that the above equation admits at least two positive solutions. Finally, we establish existence of three positive solutions to the above equation, under the condition that $a(x)\leq 1$ with $a(x)\to 1$ as $|x|\to\infty$ and $\|f\|_{H^{-s}(\mathbb{R}^N)}$ is small enough (but $f\not\equiv 0$).


title: Hom-Lie-Hopf algebras

abstract: We studied both the double cross product and the bicrossproduct constructions for the Hom-Hopf algebras of general $(\alpha,\beta)$-type. This allows us to consider the universal enveloping Hom-Hopf algebras of Hom-Lie algebras, which are of $(\alpha,{\rm Id})$-type. We show that the universal enveloping Hom-Hopf algebras of a matched pair of Hom-Lie algebras form a matched pair of Hom-Hopf algebras. We observe also that, the semi-dualization of a double cross product Hom-Hopf algebra is a bicrossproduct Hom-Hopf algebra. In particular, we apply this result to the universal enveloping Hom-Hopf algebras of a matched pair of Hom-Lie algebras to obtain Hom-Lie-Hopf algebras.


title: FASHION: Functional and Attack graph Secured HybrId Optimization of virtualized Networks

abstract: Maintaining a resilient computer network is a delicate task with conflicting priorities. Flows should be served while controlling risk due to attackers. Upon publication of a vulnerability, administrators scramble to manually mitigate risk while waiting for a patch. We introduce FASHION: a linear optimizer that balances routing flows with the security risk posed by these flows. FASHION formalizes routing as a multi-commodity flow problem with side constraints. FASHION formulates security using two approximations of risk in a probabilistic attack graph (Frigault et al., Network Security Metrics 2017). FASHION's output is a set of software-defined networking rules consumable by Frenetic (Foster et al., ICFP 2011). We introduce a topology generation tool that creates data center network instances including flows and vulnerabilities. FASHION is executed on instances of up to 600 devices, thousands of flows, and million edge attack graphs. Solve time averages 30 minutes on the largest instances (seconds on the smallest instances). To ensure the security objective is accurate, the output solution is assessed using risk as defined by Frigault et al. FASHION allows enterprises to reconfigure their network in response to changes in functionality or security requirements.


title: Birational types of algebraic orbifolds

abstract: We introduce a variant of the birational symbols group of Kontsevich, Pestun, and the second author, and use this to define birational invariants of algebraic orbifolds.


title: Some results on isometric composition operators on Lipschitz spaces

abstract: Given two metric spaces $M$ and $N$ we study, motivated by a question of N. Weaver, conditions under which an isometric composition operator $C_\phi:\mathrm{Lip}_0(M)\longrightarrow \mathrm{Lip}_0(N)$ is isometric depending on the properties of $\phi$. We obtain a complete characterisation of those operators $C_\phi$ in terms of a property of the function $\phi$ in the case that $B_{\mathcal F(M)}$ is the closed convex hull of its preserved extreme points. Also, we obtain necessary and sufficient conditions for $C_\phi$ being isometric in the case that $M$ is geodesic.


title: LibriVoxDeEn: A Corpus for German-to-English Speech Translation and German Speech Recognition

abstract: We present a corpus of sentence-aligned triples of German audio, German text, and English translation, based on German audiobooks. The speech translation data consist of 110 hours of audio material aligned to over 50k parallel sentences. An even larger dataset comprising 547 hours of German speech aligned to German text is available for speech recognition. The audio data is read speech and thus low in disfluencies. The quality of audio and sentence alignments has been checked by a manual evaluation, showing that speech alignment quality is in general very high. The sentence alignment quality is comparable to well-used parallel translation data and can be adjusted by cutoffs on the automatic alignment score. To our knowledge, this corpus is to date the largest resource for German speech recognition and for end-to-end German-to-English speech translation.


title: Quantum theory of complete and incomplete fusion in collisions of weakly bound nuclei

abstract: We propose a new quantum mechanical method to evaluate complete and incomplete fusion in collisions of weakly bound nuclei. The method is applied to the $^{7}{\rm Li}+^{209}{\rm Bi}$ system and the results are compared to experimental data. The overall agreement between theory and experiment is very good, above and below the Coulomb barrier.


title: A note on the finitization of Abelian and Tauberian theorems

abstract: We present finitary formulations of two well known results concerning infinite series, namely Abel's theorem, which establishes that if a series converges to some limit then its Abel sum converges to the same limit, and Tauber's theorem, which presents a simple condition under which the converse holds. Our approach is inspired by proof theory, and in particular G\"{o}del's functional interpretation, which we use to establish quantitative version of both of these results.


title: Dynamic Local Regret for Non-convex Online Forecasting

abstract: We consider online forecasting problems for non-convex machine learning models. Forecasting introduces several challenges such as (i) frequent updates are necessary to deal with concept drift issues since the dynamics of the environment change over time, and (ii) the state of the art models are non-convex models. We address these challenges with a novel regret framework. Standard regret measures commonly do not consider both dynamic environment and non-convex models. We introduce a local regret for non-convex models in a dynamic environment. We present an update rule incurring a cost, according to our proposed local regret, which is sublinear in time T. Our update uses time-smoothed gradients. Using a real-world dataset we show that our time-smoothed approach yields several benefits when compared with state-of-the-art competitors: results are more stable against new data; training is more robust to hyperparameter selection; and our approach is more computationally efficient than the alternatives.


title: Diffractive flat lens enables Extreme Depth-of-focus Imaging

abstract: A lens performs an approximately one-to-one mapping from the object to the image planes. This mapping in the image plane is maintained within a depth of field (or referred to as depth of focus, if the object is at infinity). This necessitates refocusing of the lens when the images are separated by distances larger than the depth of field. Such refocusing mechanisms can increase the cost, complexity and weight of imaging systems. Here, we show that by judicious design of a multi-level diffractive lens (MDL) it is possible to drastically enhance the depth of focus, by over 4 orders of magnitude. Using such a lens, we are able to maintain focus for objects that are separated by as large as ~6m in our experiments. Specifically, when illuminated by collimated light at lambda=0.85mm, the MDL produced a beam that remained in focus from 5mm to ~1500mm from the MDL. The measured full-width at half-maximum of the focused beam varied from 6.6um (5mm away from MDL) to 524um (1500mm away from MDL). Since the sidelobes were well suppressed and the main-lobe was close to the diffraction-limit, imaging with a horizontal X vertical field of view of 20deg x 15deg over the entire focal range was demonstrated. This demonstration opens up a new direction for lens design, where by treating the phase in the focal plane as a free parameter, extreme depth-of-focus imaging becomes possible.


title: Error-Disturbance Relation in Stern-Gerlach Measurements

abstract: Although Heisenberg's uncertainty principle is represented by a rigorously proven relation about intrinsic uncertainties in quantum states, Heisenberg's error-disturbance relation (EDR) has been commonly believed to be another aspect of the principle. Based on the recent development of universally valid reformulations of Heisenberg's EDR, we study the error and disturbance of Stern-Gerlach measurements of a spin-1/2 particle. We determine the range of the possible values of the error and disturbance for arbitrary Stern-Gerlach apparatuses with the orbital degree prepared in an arbitrary Gaussian state. We show that their error-disturbance region is close to the theoretical optimal and actually violates Heisenberg's EDR in a broad range of experimental parameters. We also show the existence of orbital states in which the error is minimized by the screen at a finite distance from the magnet, in contrast to the standard assumption.


title: Preliminary steps in designing and implementing a privilege verifier for PMI

abstract: We have designed and deployed a system that uses X.509 public-key certificates (PKC) and attribute certificates (AC) for access control. This includes an authorization service for on-line environments where clients are identified by X.509 PKCs and their privileges are expressed with X.509 ACs. During a request to a protected resource, a privilege verifier decides if the user satisfies all the requirements to get access to the controlled resource. In this paper we focus on the steps to be performed by the privilege verifier, which is the entity in charge of validating both the PKCs and the ACs involved. The validation of PKCs and of ACs are two separate tasks but they are closely related. In our system we have identified two distinct entities: the privilege verifier whose task is to validate ACs, and the certificate validation server, whose task is to validate the PKCs. The validation of PKC is more complex, and it thus can be implemented and provided as a service by a dedicated authority, named Validation Authority. This paper describes the model, architecture and implementation of this system. It also includes some preliminary measurements and our future plans for the development of the system.


title: PLATO: Pre-trained Dialogue Generation Model with Discrete Latent Variable

abstract: Pre-training models have been proved effective for a wide range of natural language processing tasks. Inspired by this, we propose a novel dialogue generation pre-training framework to support various kinds of conversations, including chit-chat, knowledge grounded dialogues, and conversational question answering. In this framework, we adopt flexible attention mechanisms to fully leverage the bi-directional context and the uni-directional characteristic of language generation. We also introduce discrete latent variables to tackle the inherent one-to-many mapping problem in response generation. Two reciprocal tasks of response generation and latent act recognition are designed and carried out simultaneously within a shared network. Comprehensive experiments on three publicly available datasets verify the effectiveness and superiority of the proposed framework.


title: Sun-Earth connection Event of Super Geomagnetic Storm on March 31, 2001: the Importance of Solar Wind Density

abstract: An X1.7 flare at 10:15 UT and a halo CME with a projected speed of 942 km/s erupted from NOAA solar active region 9393 located at N20W19, were observed on 2001 March 29. When the CME reached the Earth, it triggered a super geomagnetic storm (hereafter super storm). We find that the CME always moved towards the Earth according to the intensity-time profiles of protons with different energies. The solar wind parameters responsible for the main phase of the super storm occurred on March 31, 2001 is analyzed taking into account the delayed geomagnetic effect of solar wind at the L1 point and using the SYM-H index. According to the variation properties of SYM-H index during the main phase of the super storm, the main phase of the super storm is divided into two parts. A comparative study of solar wind parameters responsible for the two parts shows the evidence that the solar wind density plays a significant role in transferring solar wind energy into the magnetosphere, besides the southward magnetic field and solar wind speed.


title: Two-distance minimal dominating set problem studied by statistical mechanics and simulated annealing

abstract: The L-distance (especially the 2-distance) minimal dominating set (MDS) problem is widely considered in various dominating set problems. Recently, we studied the regular dominating set problem using the cavity method and developed two algorithms (belief propagation decimation and survey propagation decimation) to estimate the solution of a given graph, resulting in very good estimations of the minimal dominating size. This paper describes the development of spin glass theory to study the 2-distance MDS problem. First, we show that the belief propagation equation does not converge when the inverse temperature $\beta$ is greater than a certain threshold value on both regular and Erdos--Renyi random networks. Second, we find that the entropy density is equal to zero at finite inverse temperature on regular random graphs when the node degree is from 3--9, and on Erdos--Renyi random networks when the node degree is from 4.2--10.4; the entropy density is positive in all other cases. This result is proved using a dynamical simulated annealing process. Third, the results of replica symmetry theory are shown to be in agreement with those of the belief propagation algorithm, and the results of the belief propagation decimation algorithm are found to be better than those of the greedy heuristic algorithm.


title: A Comparative Analysis of Non-relativistic and Relativistic Calculations of Electric Dipole Moments and Polarizabilities of Heteronuclear Alkali Dimers

abstract: We analyze the molecular electric dipole moments (PDMs) and static electric dipole polarizabilities of heteronuclear alkali dimers in their ground states by employing coupled-cluster theory, both in the non-relativistic and four-component relativistic frameworks. The roles of electron correlations as well as relativistic effects are demonstrated by studying them at different levels of theory, followed by a comprehensive treatment of error estimates. We compare our obtained values with the previous non-relativistic calculations, some of which include lower-order relativistic corrections, as well as with the experimental values, wherever available. We find that the PDMs are very sensitive to relativistic effects, as compared to polarizabilities; this aspect can explain the long-standing question on the difference between experimental values and theoretical results for LiNa. We show that consideration of relativistic values of PDMs improves significantly the isotropic Van der Waals $C_6$ coefficients of the investigated alkali dimers over the previously reported non-relativistic calculations. The dependence of dipole polarizabilities on molecular volume is also illustrated.


title: Quasiperiodic bobbin lace patterns

abstract: Bobbin lace is a fibre art form in which threads are braided together to form a fabric, often with a very detailed and complex design. In traditional practice, each region of the fabric is filled with a periodic texture. We establish the groundwork for non-periodic lace patterns and present three new quasiperiodic families based on Sturmian words, the Penrose tiling by thick and thin rhombs and the Ammann-bar decoration of the Penrose tiling.


title: Glueability of resource proof-structures: inverting the Taylor expansion (long version)

abstract: A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a set of resource proof-structures: its Taylor expansion. We introduce a new criterion characterizing those sets of resource proof-structures that are part of the Taylor expansion of some MELL proof-structure, through a rewriting system acting both on resource and MELL proof-structures.


title: Quasirandom estimations of two-qubit operator-monotone-based separability probabilities

abstract: We conduct a pair of quasirandom estimations of the separability probabilities with respect to ten measures on the 15-dimensional convex set of two-qubit states, using its Euler-angle parameterization. The measures include the (non-monotone) Hilbert-Schmidt one, plus nine others based on operator monotone functions. Our results are supportive of previous assertions that the Hilbert-Schmidt and Bures (minimal monotone) separability probabilities are $\frac{8}{33} \approx 0.242424$ and $\frac{25}{341} \approx 0.0733138$, respectively, as well as suggestive of the Wigner-Yanase counterpart being $\frac{1}{20}$. However, one result appears inconsistent (much too small) with an earlier claim of ours that the separability probability associated with the operator monotone (geometric-mean) function $\sqrt{x}$ is $1-\frac{256}{27 \pi ^2} \approx 0.0393251$. But a seeming explanation for this disparity is that the volume of states for the $\sqrt{x}$-based measure is infinite. So, the validity of the earlier conjecture--as well as an alternative one, $\frac{1}{9} \left(593-60 \pi ^2\right) \approx 0.0915262$, we now introduce--can not be examined through the numerical approach adopted, at least perhaps not without some truncation procedure for extreme values.


title: Cross-lingual Parsing with Polyglot Training and Multi-treebank Learning: A Faroese Case Study

abstract: Cross-lingual dependency parsing involves transferring syntactic knowledge from one language to another. It is a crucial component for inducing dependency parsers in low-resource scenarios where no training data for a language exists. Using Faroese as the target language, we compare two approaches using annotation projection: first, projecting from multiple monolingual source models; second, projecting from a single polyglot model which is trained on the combination of all source languages. Furthermore, we reproduce multi-source projection (Tyers et al., 2018), in which dependency trees of multiple sources are combined. Finally, we apply multi-treebank modelling to the projected treebanks, in addition to or alternatively to polyglot modelling on the source side. We find that polyglot training on the source languages produces an overall trend of better results on the target language but the single best result for the target language is obtained by projecting from monolingual source parsing models and then training multi-treebank POS tagging and parsing models on the target side.


title: A Stochastic Variance Reduced Nesterov's Accelerated Quasi-Newton Method

abstract: Recently algorithms incorporating second order curvature information have become popular in training neural networks. The Nesterov's Accelerated Quasi-Newton (NAQ) method has shown to effectively accelerate the BFGS quasi-Newton method by incorporating the momentum term and Nesterov's accelerated gradient vector. A stochastic version of NAQ method was proposed for training of large-scale problems. However, this method incurs high stochastic variance noise. This paper proposes a stochastic variance reduced Nesterov's Accelerated Quasi-Newton method in full (SVR-NAQ) and limited (SVRLNAQ) memory forms. The performance of the proposed method is evaluated in Tensorflow on four benchmark problems - two regression and two classification problems respectively. The results show improved performance compared to conventional methods.


title: First results from a large-scale proper motion study of the Galactic Centre

abstract: Proper motion studies of stars in the centre of the Milky Way have been typically limited to the Arches and Quintuplet clusters and to the central parsec. Here, we present the first results of a large-scale proper motion study of stars within several tens of parsecs of Sagittarius A* based on our $0.2''$ angular resolution GALACTICNUCLEUS survey (epoch 2015) combined with NICMOS/HST data from the Paschen-$\alpha$ survey (epoch 2008). This study will be the first extensive proper motion study of the central $\sim 36' \times 16'$ of the Galaxy, which is not covered adequately by any of the existing astronomical surveys such as Gaia because of its extreme interstellar extinction ($A_{V} \gtrsim 30$ mag). Proper motions can help us to disentangle the different stellar populations along the line-of-sight and interpret their properties in combination with multi-wavelength photometry from GALACTICNUCLEUS and other sources. It also allows us to infer the dynamics and interrelationship between the different stellar components of the Galactic Centre (GC). In particular, we use proper motions to detect co-moving groups of stars which can trace low mass or partially dissolved young clusters in the GC that can hardly be discovered by any other means. Our pilot study in this work is on a field in the nuclear bulge associated by HII regions that show the presence of young stars. We detect the first group of co-moving stars coincident with an HII region. Using colour-magnitude diagrams, we infer that the co-moving stars are consistent with being the post-main sequence stars with ages of few Myrs. Simulations show that this group of stars is a real group that can indicate the existence of a dissolving or low to intermediate mass young cluster. A census of these undiscovered clusters will ultimately help us to constrain star formation at the GC in the past few ten Myrs.


title: Phase-resolved gamma-ray spectroscopy of the Crab pulsar observed by POLAR

abstract: The POLAR detector is a space based Gamma-Ray Burst (GRB) polarimeter sensitive in the 15-500 keV energy range. Apart from its main scientific goal as a Gamma-Ray Burst polarimeter it is also able to detect photons from pulsars in orbit. By using the six-months in-orbit observation data, significant pulsation from the PSR B0531+21 (Crab pulsar) was obtained. In this work, we present the precise timing analysis of the Crab pulsar, together with a phase-resolved spectroscopic study using a joint-fitting method adapted for wide field of view instruments like POLAR. By using single power law fitting over the pulsed phase, we obtained spectral indices ranging from 1.718 to 2.315, and confirmed the spectral evolution in a reverse S shape which is homogenous with results from other missions over broadband. We will also show, based on the POLAR in-orbit performance and Geant4 Monte-Carlo simulation, the inferred capabilities of POLAR-2, the proposed follow-up mission of POLAR on board the China Space Station (CSS), for pulsars studies.


title: Uncertainty-aware Sensitivity Analysis Using R\'enyi Divergences

abstract: For nonlinear supervised learning models, assessing the importance of predictor variables or their interactions is not straightforward because it can vary in the domain of the variables. Importance can be assessed locally with sensitivity analysis using general methods that rely on the model's predictions or their derivatives. In this work, we extend derivative based sensitivity analysis to a Bayesian setting by differentiating the R\'enyi divergence of a model's predictive distribution. By utilising the predictive distribution instead of a point prediction, the model uncertainty is taken into account in a principled way. Our empirical results on simulated and real data sets demonstrate accurate and reliable identification of important variables and interaction effects compared to alternative methods.


title: Chromospheric Synoptic Maps of Polar Crown Filaments

abstract: Polar crown filaments form above the polarity inversion line between the old magnetic flux of the previous cycle and the new magnetic flux of the current cycle. Studying their appearance and their properties can lead to a better understanding of the solar cycle. We use full-disk data of the Chromospheric Telescope (ChroTel) at the Observatorio del Teide, Tenerife, Spain, which were taken in three different chromospheric absorption lines (H-alpha 6563A, CaII-K 3933A, and HeI 10830A), and we create synoptic maps. In addition, the spectroscopic HeI data allow us to compute Doppler velocities and to create synoptic Doppler maps. ChroTel data cover the rising and decaying phase of Solar Cycle 24 on about 1000 days between 2012 and 2018. Based on these data, we automatically extract polar crown filaments with image-processing tools and study their properties. We compare contrast maps of polar crown filaments with those of quiet-Sun filaments. Furthermore, we present a super-synoptic map summarizing the entire ChroTel database. In summary, we provide statistical properties, i.e. number and location of filaments, area, and tilt angle for both the maximum and declining phase of Solar Cycle 24. This demonstrates that ChroTel provides a promising data set to study the solar cycle.


title: Faster parameterized algorithm for Bicluter Editing

abstract: In the Bicluter Editing problem the input is a graph $G$ and an integer $k$, and the goal is to decide whether $G$ can be transformed into a bicluster graph by adding and removing at most $k$ edges. In this paper we give an algorithm for Bicluster Editing whose running time is $O^*(3.116^k)$.


title: A Framework for Secure Digital Administration

abstract: The efficiency and service quality in public administration can be improved by using electronic documents (or e-docs) and digital signature to speed up their activity and at the same time to better satisfy customer needs. This paper presents an XML-based document exchange system that integrates a platform for the management (creation, search, storage) of e-docs and a secure trustworthy environment for digitally signing e-docs. The framework provides security services, like privacy, authorization, authentication and non-repudiation. Possibly a mobile terminal equipped with a smartcard reader and integrating WYSIWYS features could be used for viewing and signing e-docs. The proposed system can be easily integrated with the infrastructure (e.g. database system) already in use at each administration site. It is described also the use of the system in a real world service.


title: Crest speeds of unsteady surface water waves

abstract: Intuitively, crest speeds of water waves are assumed to match their phase velocities. However, this is generally not the case for natural waves within unsteady wave groups. This motivates our study, which presents new insights into the generic behavior of crest speeds of linear to highly nonlinear unsteady waves. While our major focus is on gravity waves where a generic crest slowdown occurs cyclically, results for capillary-dominated waves are also discussed, for which crests cyclically speed up. This curious phenomenon arises when the theoretical constraint of steadiness is relaxed, allowing waves to change their form, or shape. In particular, a kinematic analysis of both simulated and observed open ocean gravity waves reveals a forward-to-backward leaning cycle for each individual crest within a wave group. This is clearly manifest during the focusing of dominant wave groups essentially due to the dispersive nature of waves. It occurs routinely for focusing linear (vanishingly small steepness) wave groups, and it is enhanced as the wave spectrum broadens. It is found to be relatively insensitive to the degree of phase coherence and focusing of wave groups. The nonlinear nature of waves limits the crest slowdown. This reduces when gravity waves become less dispersive, either as they steepen or as they propagate over finite water depths. This is demonstrated by numerical simulations of the unsteady evolution of 2D and 3D dispersive gravity wave packets in both deep and intermediate water depths, and by open ocean space-time measurements.


title: LHC bounds on coloured scalars

abstract: We analyze the constraints on coloured scalar bosons imposed by the current LHC data at $\sqrt{s}=13$ TeV. Specifically, we consider an additional electroweak doublet of colour-octet scalars, satisfying the principle of Minimal Flavour Violation in order to fulfill the stringent experimental limits on flavour-changing neutral currents. We demonstrate that coloured scalars with masses below 800 GeV are already excluded, provided they are not fermiophobic.


title: Self-supervised 3D Shape and Viewpoint Estimation from Single Images for Robotics

abstract: We present a convolutional neural network for joint 3D shape prediction and viewpoint estimation from a single input image. During training, our network gets the learning signal from a silhouette of an object in the input image - a form of self-supervision. It does not require ground truth data for 3D shapes and the viewpoints. Because it relies on such a weak form of supervision, our approach can easily be applied to real-world data. We demonstrate that our method produces reasonable qualitative and quantitative results on natural images for both shape estimation and viewpoint prediction. Unlike previous approaches, our method does not require multiple views of the same object instance in the dataset, which significantly expands the applicability in practical robotics scenarios. We showcase it by using the hallucinated shapes to improve the performance on the task of grasping real-world objects both in simulation and with a PR2 robot.


title: Tunneling of Massive Vector Particles from Types of BTZ-like Black Holes

abstract: In this paper, we analyze the Hawking radiation phenomenon for types of Banados-Teitelboim-Zanelli-like (BTZ-like) black holes. For this purpose, using the Hamilton-Jacobi method, we consider semi-classical WKB approximation to calculate the tunneling probabilities of massive boson particles. For these particles, we use the equation of motion for the Glashow-Weinberg-Salam model. Using quantum tunneling process of charged massive bossons, we compute the corresponding Hawking temperatures. Furthermore, we discuss the effects of rotation parameter on tunneling probability and temperature.


title: Deterministic Graph Cuts in Subquadratic Time: Sparse, Balanced, and k-Vertex

abstract: We study deterministic algorithms for computing graph cuts, with focus on two fundamental problems: balanced sparse cut and $k$-vertex connectivity for small $k$ ($k=O(\polylog n)$). Both problems can be solved in near-linear time with randomized algorithms, but their previous deterministic counterparts take at least quadratic time. In this paper, we break this bound for both problems. Interestingly, achieving this for one problem crucially relies on doing so for the other. In particular, via a divide-and-conquer argument, a variant of the cut-matching game by [Khandekar et al.`07], and the local vertex connectivity algorithm of [Nanongkai et al. STOC'19], we give a subquadratic time algorithm for $k$-vertex connectivity using a subquadratic time algorithm for computing balanced sparse cuts on sparse graphs. To achieve the latter, we improve the previously best $mn$ bound for approximating balanced sparse cut for the whole range of $m$. This starts from (1) breaking the $n^3$ barrier on dense graphs to $n^{\omega + o(1)}$ (where $\omega < 2.372$) using the the PageRank matrix, but without explicitly sweeping to find sparse cuts; to (2) getting the $\tilde O(m^{1.58})$ bound by combining the $J$-trees by [Madry FOCS `10] with the $n^{\omega + o(1)}$ bound above, and finally; to (3) getting the $m^{1.5 + o(1)}$ bound by recursively invoking the second bound in conjunction with expander-based graph sparsification. Interestingly, our final $m^{1.5 + o(1)}$ bound lands at a natural stopping point in the sense that polynomially breaking it would lead to a breakthrough for the dynamic connectivity problem.


title: Modeling of Light Gases Purification and Carbon Dioxide Capture by 1B-3N and 1N-3B Defects

abstract: In this study, we demonstrate that defected h--BN (1B-3N and 1N-3B defects) can be used as a suitable membrane for hydrogen purification and helium separation using density functional theory (DFT) calculations and molecular dynamics simulations (MD). At 300 K, DFT calculations show that the selectivity of $H_2/CO_2$, $H_2/N_2$, $H_2/CO$, and $H_2/CH_4$ are $1 \times 10^{26}$, $6 \times 10^{49}$, $2 \times 10^{40}$, and $1 \times 10^{94}$ respectively for 1B-3N, while they are $9 \times 10^{13}$, $1 \times 10^{21}$, $1 \times 10^{19}$, and $1 \times 10^{42}$ for 1N-3B. Although selectivity of 1B-3N defect is much higher than 1N-3B defect, the permeance of this defect is much lower than industrial limits. To confirm the result obtained by DFT calculations for gas separation performance of 1N-3B defect, the classical molecular dynamics simulations were further carried out. Molecular dynamics simulations confirm the results of DFT calculations except $H_2/CO_2$. It demonstrates that the selectivity of $H_2$ will grow, if temperature rises. This phenomenon is explainable by probability density distribution of the $CO_2$ molecules at various temperatures. These simulations show that h-BN has good adsorption for $CO_2$ molecules and is a suitable membrane for $CO_2$ capture. Finally, the excellent selectivity along with acceptable permeance makes 1N-3B defects on h-BN, the promising membrane for He separation and $H_2$ purification.


title: Toward durable Al-InSb hybrid heterostructures via epitaxy of 2ML interfacial InAs screening layers

abstract: The large Land\'{e} g-factor, high spin-orbit coupling, and low effective mass of the two-dimensional electron gas in InSb quantum wells combined with proximal superconductivity may realize a scalable platform for topological quantum computation. Aluminum thin films directly deposited on top of InSb planar structures result in the formation of a reactive AlInSb layer at the interface. This interlayer progressively consumes the whole Al film, resulting in a disordered AlInSb layer after few months at room temperature. We report on a heterostructure design that results in a significant increase of the durability of these hybrid Al-InSb heterostructures with the preservation of a pure Al film and sharp superconductor-semiconductor interface for more than one year. Two monolayers of epitaxial InAs at the superconductor-semiconductor interface prevent interfacial reactivity as evidenced by X-ray reflectivity and energy dispersive spectroscopy measurements. Structural characterizations of the Al films by transmission electron microscopy reveal the presence of tens of nanometers wide grains predominantly oriented with Al(110) parallel to InSb(001).