title: Impact of intrinsic charm amount in the nucleon and saturation effects on the prompt atmospheric $\nu_{\mu}$ flux for IceCube

abstract: The predictions for the atmospheric neutrino flux at high energies strongly depend on the contribution of prompt neutrinos, which are determined by the production of charmed meson in the atmosphere at very forward rapidities. In this paper we estimate the related cross sections taking into account the presence of an intrinsic charm (IC) component in the proton wave function and the QCD dynamics modified by the onset of saturation effects. The impact on the predictions for the prompt neutrino flux is investigated assuming different values for the probability to find the IC in the nucleon. Comparison with the IceCube data is performed and conclusions are drawn.


title: Status of the wave function of Quantum Mechanics, or, What is Quantum Mechanics trying to tell us?

abstract: The most debated status of the wave function of Quantum Mechanics is discussed in the light of the epistemological vs ontological opposition.


title: Approximate Optimal Filter for Linear Gaussian Time-invariant Systems

abstract: State estimation is critical to control systems, especially when the states cannot be directly measured. This paper presents an approximate optimal filter, which enables to use policy iteration technique to obtain the steady-state gain in linear Gaussian time-invariant systems. This design transforms the optimal filtering problem with minimum mean square error into an optimal control problem, called Approximate Optimal Filtering (AOF) problem. The equivalence holds given certain conditions about initial state distributions and policy formats, in which the system state is the estimation error, control input is the filter gain, and control objective function is the accumulated estimation error. We present a policy iteration algorithm to solve the AOF problem in steady-state. A classic vehicle state estimation problem finally evaluates the approximate filter. The results show that the policy converges to the steady-state Kalman gain, and its accuracy is within 2 %.


title: Report of the ESO Workshop: Ground-based Thermal Infrared Astronomy -- Past, Present and Future

abstract: The ESO workshop "Ground-based thermal infrared astronomy" was held on-line October 12-16, 2020. Originally planned as a traditional in-person meeting at ESO in Garching in April 2020, it was rescheduled and transformed into a fully on-line event due to the COVID-19 pandemic. With 337 participants from 36 countries the workshop was a resounding success, demonstrating the wide interest of the astronomical community in the science goals and the toolkit of ground-based thermal infrared astronomy.


title: Neutralization dynamics of slow highly charged ions passing through graphene nanoflakes--an embedding self-energy approach

abstract: We study the time-dependent neutralization of a slow highly charged ion that penetrates a hexagonal hollow-centred graphene nanoflake. To compute the ultrafast charge transfer dynamics, we apply an effective Hubbard nanocluster model and use the method of nonequilibrium Green functions (NEGF) in conjunction with an embedding self-energy scheme which allows one to follow the temporal changes of the number of electrons in the nanoflake. We perform extensive simulations of the charge transfer dynamics for a broad range of ion charge states and impact velocities. The results are used to put forward a simple semi-analytical model of the neutralization dynamics that is in very good agreement with transmission experiments, in which highly charged xenon ions pass through sheets of single-layer graphene.


title: A two-step gravitational cascade for the fragmentation of self-gravitating discs

abstract: Self-gravitating discs are believed to play an important role in astrophysics in particular regarding the star and planet formation process. In this context, discs subject to an idealized cooling process, characterized by a cooling timescale $\beta$ expressed in unit of orbital timescale, have been extensively studied. We take advantage of the Riemann solver and the 3D Godunov scheme implemented in the code Ramses to perform high resolution simulations, complementing previous studies that have used smoothed particle hydrodynamics (SPH) or 2D grid codes. We observe that the critical value of $\beta$ for which the disc fragments is consistent with most previous results, and is not well converged with resolution. By studying the probability density function of the fluctuations of the column density ($\Sigma$-PDF), we argue that there is no strict separation between the fragmented and the unfragmented regimes but rather a smooth transition with the probability of apparition of fragments steadily diminishing as the cooling becames less effective. We find that the high column density part of the $\Sigma$-PDF follows a simple power law whose slope turns out to be proportional to $\beta$ and we propose an explanation based on the balance between cooling and heating through gravitational stress. Our explanation suggests that a more efficient cooling requires more heating implying a larger fraction of dense material which, in the absence of characteristic scales, results in a shallower scale-free power law. We propose that the gravitational cascade proceeds in two steps, first the formation of a dense filamentary spiral pattern through a sequence of quasi-static equilibrium triggered by the viscous transport of angular momentum, and second the collapse alongside these filaments that eventually results in the formation of bounded fragments.


title: The Recursion Formula for Mixed Multiplicities with respect to Joint Reductions

abstract: This paper gives the recursion formula for mixed multiplicities of maximal degrees with respect to joint reductions of ideals, which is one of important results in the mixed multiplicity theory. Using this result, we give consequences on the relationship between mixed multiplicities and the Hilbert-Samuel multiplicity under most essential assumptions, that is a substantial progress in the problem of expressing mixed multiplicities into the Hilbert-Samuel multiplicity.


title: Machine-learning semi-local density functional theory for many-body lattice models at zero and finite temperature

abstract: We introduce a machine-learning density-functional-theory formalism for the spinless Hubbard model in one dimension at both zero and finite temperature. In the zero-temperature case this establishes a one-to-one relation between the site occupation and the total energy, which is then minimised at the ground-state occupation. In contrast, at finite temperature the same relation is defined between the Helmholtz free energy and the equilibrium site occupation. Most importantly, both functionals are semi-local, so that they are independent from the size of the system under investigation and can be constructed over exact data for small systems. These 'exact' functionals are numerically defined by neural networks. We also define additional neural networks for finite-temperature thermodynamical quantities, such as the entropy and heat capacity. These can be either a functional of the ground-state site occupation or of the finite-temperature equilibrium site occupation. In the first case their equilibrium value does not correspond to an extremal point of the functional, while it does in the second case. Our work gives us access to finite-temperature properties of many-body systems in the thermodynamic limit.


title: Anisotropy of the In-Plane and Out-of-Plane Resistivity and the Hall Effect in the Normal State of Vicinal-Grown YBa$_{2}$Cu$_{3}$O$_{7-\delta}$ Thin Films

abstract: The resistivity and the Hall effect in the copper-oxide high-temperature superconductor YBa$_{2}$Cu$_{3}$O$_{7-\delta}$ (YBCO) are remarkably anisotropic. Using a thin film of YBCO grown on an off-axis cut SrTiO$_3$ substrate allows one to investigate these anisotropic transport properties in a planar and well-defined sample geometry employing a homogeneous current density. In the normal state, the Hall voltage probed parallel to the copper-oxide layers is positive and strongly temperature dependent, whereas the out-of-plane Hall voltage is negative and almost temperature independent. The results confirm previous measurements on single crystals by an entirely different measurement method and demonstrate that vicinal thin films might be also useful for investigations of other layered nanomaterials.


title: Current-induced torques in magnetic Weyl semimetal tunnel junctions

abstract: We study the current-induced torques in asymmetric magnetic tunnel junctions containing a conventional ferromagnet and a magnetic Weyl semimetal contact. The Weyl semimetal hosts chiral bulk states and topologically protected Fermi arc surface states which were found to govern the voltage behavior and efficiency of current-induced torques. We report how bulk chirality dictates the sign of the non-equilibrium torques acting on the ferromagnet and discuss the existence of large field-like torques acting on the magnetic Weyl semimetal which exceeds the theoretical maximum of conventional magnetic tunnel junctions. The latter are derived from the Fermi arc spin texture and display a counter-intuitive dependence on the Weyl nodes separation. Our results shed light on the new physics of multilayered spintronic devices comprising of magnetic Weyl semimetals, which might open doors for new energy efficient spintronic devices.


title: Maximum-Entropy Revisited

abstract: For over five decades the procedure termed maximum-entropy (M-E) has been used to sharpen structure in spectra, optical and otherwise. However, this is a contradiction: by modifying data, this approach violates the fundamental M-E principle, which is to extend, in a model-independent way, trends established by low-index Fourier coefficients into the white-noise region. The Burg derivation, and indirectly the prediction-error equations on which sharpening is based, both lead to the correct solution, although this has been consistently overlooked. For a single Lorentzian line these equations can be solved analytically. The resultant lineshape is an exact autoregressive model-1 (AR(1)) replica of the original, demonstrating how the M-E reconstruction extends low-index Fourier coefficients to the digital limit and illustrating why this approach works so well for lineshapes resulting from first-order decay processes. By simultaneously retaining low-index coefficients exactly and eliminating Gibbs oscillations, M-E noise filtering is quantitatively superior to that achieved by any linear method, including the high-performance filters recently proposed. Examples are provided.


title: One-dimensional Stark operators in the half-line

abstract: We obtain asymptotic formulas for the spectral data of perturbed Stark operators associated with the differential expression \[ -\frac{d^2}{dx^2} + x + q(x), \quad x\in [0,\infty), \quad q\in L^1(0,\infty), \] and having either Dirichlet or Neumann boundary condition at the origin.


title: Newly observed resonance $ X(4685) $: diquark-antidiquark picture

abstract: In this work, the mass and pole residue of $ X(4685) $ state with spin-parity $J^P=1^+$ are computed by the QCD sum rule approaches up to operator dimension seven based on the diquark-antidiquark configuration. For its mass we get $ m_{X_{cs}}= 4607^{+36}_{-22} $ MeV and pole residue $ \lambda_{X_{cs}}= 6.19^{+0.32}_{-0.24}\times 10^{-2}~\mathrm{GeV^5}$, which may be checked via other nonperturbative approaches as well as future experiments. As a by product, the mass of the hidden-bottom partner state of the $ X(4685) $ is extracted to be both around $ m_{X_{bs}}= (10604-10924) $ MeV and $ \lambda_{X_{bs}}= (42.2-53.7)\times 10^{-2}~\mathrm{GeV^5}$, which can be searched in the $\Upsilon \phi $ invariant mass distribution.


title: How Not to Extract Information From Black Holes: Cosmic Censorship as a Guiding Principle

abstract: Black holes in general relativity are commonly believed to evolve towards a Schwarzschild state as they gradually lose angular momentum and electrical charge under Hawking evaporation. However, when Kim and Wen applied quantum information theory to Hawking evaporation and argued that Hawking particles with maximum mutual information could dominate the emission process, they found that charged black holes tend towards extremality. In view of some evidence pointing towards extremal black holes being effectively singular, this would violate the cosmic censorship conjecture. Nevertheless, since the Kim-Wen model is too simplistic (e.g. it assumes a continuous spectrum of particles with arbitrary charge-to-mass ratio), one might hope that a more realistic model could avoid this problem. In this work, we show that having only a finite species of charged particles would actually worsen the situation, with some end states becoming a naked singularity. With this model as an example, we emphasize the need to study whether charged black holes can violate cosmic censorship under a given model of Hawking evaporation.


title: Generalized Surgery on Riemannian Manifolds of Positive Ricci Curvature

abstract: The surgery theorem of Wraith states that positive Ricci curvature is preserved under surgery if certain metric and dimensional conditions are satisfied. We generalize this theorem as follows: Instead of attaching a product of a sphere and a disc, we glue a sphere bundle over a manifold with a so-called core metric, a type of metric which was recently introduced by Burdick to construct metrics of positive Ricci curvature on connected sums. As applications we construct core metrics on 2-sphere bundles, where the base admits a core metric, and obtain new examples of 6-manifolds with metrics of positive Ricci curvature.


title: Extending Quantum Probability from Real Axis to Complex Plane

abstract: Probability is an important question in the ontological interpretation of quantum mechanics. It has been discussed in some trajectory interpretations such as Bohmian mechanics and stochastic mechanics. New questions arise when the probability domain extends to the complex space, including the generation of complex trajectory, the definition of the complex probability, and the relation of the complex probability to the quantum probability. The complex treatment proposed in this article applies the optimal quantum guidance law to derive the stochastic differential equation governing a particle random motion in the complex plane. The probability distribution of the particle position over the complex plane is formed by an ensemble of the complex quantum random trajectories, which are solved from the complex stochastic differential equation. Meanwhile, this probability distribution is verified by the solution of the complex Fokker Planck equation. It is shown that quantum probability and classical probability can be integrated under the framework of complex probability, such that they can both be derived from the same probability distribution by different statistical ways of collecting spatial points.


title: Integrating Fast Regional Optimization into Sampling-based Kinodynamic Planning for Multirotor Flight

abstract: For real-time multirotor kinodynamic motion planning, the efficiency of sampling-based methods is usually hindered by difficult-to-sample homotopy classes like narrow passages. In this paper, we address this issue by a hybrid scheme. We firstly propose a fast regional optimizer exploiting the information of local environments and then integrate it into a global sampling process to ensure faster convergence. The incorporation of local optimization on different sampling-based methods shows significantly improved success rates and less planning time in various types of challenging environments. We also present a refinement module that fully investigates the resulting trajectory of the global sampling and greatly improves its smoothness with negligible computation effort. Benchmark results illustrate that compared to the state-of-the-art ones, our proposed method can better exploit a previous trajectory. The planning methods are applied to generate trajectories for a simulated quadrotor system, and its capability is validated in real-time applications.


title: Sustainability: Delivering Agility's Promise

abstract: Sustainability is a promise by agile development, as it is part of both the Agile Alliance's and the Scrum Alliance's vision. Thus far, not much has been delivered on this promise. This paper explores the Agile Manifesto and points out how agility could contribute to sustainability in its three dimensions - social, economic, and environmental. Additionally, this paper provides some sample cases of companies focusing on both sustainability (partially or holistically) and agile development.


title: SIMUS: an open-source simulator for ultrasound imaging. Part II: comparison with three popular simulators

abstract: Computational ultrasound imaging has become a well-established methodology in the ultrasound community. In the accompanying paper (part I), we described a new ultrasound simulator (SIMUS) for Matlab, which belongs to the Matlab UltraSound Toolbox (MUST). SIMUS can generate pressure fields and radiofrequency RF signals for simulations in medical ultrasound imaging. It works in a harmonic domain and uses linear equations derived from far-field and paraxial approximations. In this article (part II), we illustrate how SIMUS compares with three popular ultrasound simulators (Field II, k-Wave, and Verasonics) for a homogeneous medium. We designed different transmit sequences (focused, planar, and diverging wavefronts) and calculated the corresponding 2-D and 3-D (with elevation focusing) RMS pressure fields. SIMUS produced pressure fields similar to those of Field II and k-Wave. The acoustic fields provided by the Verasonics simulator were significantly different from those of SIMUS and k-Wave, although the overall appearance remained consistent. Our simulations tend to demonstrate that SIMUS is reliable and can be used on a par with Field II and k-Wave for realistic ultrasound simulations.


title: Elementary Particles: What are they? Substances, elements and primary matter

abstract: The most successful "Standard Model" allows one to define the so-called "Elementary Particles". Now from another point of view, philosophical, how can we think of them? Which kind of a status can be attributed to Elementary Particles and their associated quantised fields? Beyond the unprecedented efficiency and reach of quantum field theories the current paper attempts at understanding the nature of what we talk about, the enigmatic reality of the quantum world.


title: Robust Sensing of Low-Rank Matrices with Non-Orthogonal Sparse Decomposition

abstract: We consider the problem of recovering an unknown low-rank matrix X with (possibly) non-orthogonal, effectively sparse rank-1 decomposition from measurements y gathered in a linear measurement process A. We propose a variational formulation that lends itself to alternating minimization and whose global minimizers provably approximate X up to noise level. Working with a variant of robust injectivity, we derive reconstruction guarantees for various choices of A including sub-gaussian, Gaussian rank-1, and heavy-tailed measurements. Numerical experiments support the validity of our theoretical considerations.


title: On the interplay between data structure and loss function in classification problems

abstract: One of the central puzzles in modern machine learning is the ability of heavily overparametrized models to generalize well. Although the low-dimensional structure of typical datasets is key to this behavior, most theoretical studies of overparametrization focus on isotropic inputs. In this work, we instead consider an analytically tractable model of structured data, where the input covariance is built from independent blocks allowing us to tune the saliency of low-dimensional structures and their alignment with respect to the target function. Using methods from statistical physics, we derive a precise asymptotic expression for the train and test error achieved by random feature models trained to classify such data, which is valid for any convex loss function. We study in detail how the data structure affects the double descent curve, and show that in the over-parametrized regime, its impact is greater for logistic loss than for mean-squared loss: the easier the task, the wider the gap in performance at the advantage of the logistic loss. Our insights are confirmed by numerical experiments on MNIST and CIFAR10.


title: Multi-phase Deformable Registration for Time-dependent Abdominal Organ Variations

abstract: Human body is a complex dynamic system composed of various sub-dynamic parts. Especially, thoracic and abdominal organs have complex internal shape variations with different frequencies by various reasons such as respiration with fast motion and peristalsis with slower motion. CT protocols for abdominal lesions are multi-phase scans for various tumor detection to use different vascular contrast, however, they are not aligned well enough to visually check the same area. In this paper, we propose a time-efficient and accurate deformable registration algorithm for multi-phase CT scans considering abdominal organ motions, which can be applied for differentiable or non-differentiable motions of abdominal organs. Experimental results shows the registration accuracy as 0.85 +/- 0.45mm (mean +/- STD) for pancreas within 1 minute for the whole abdominal region.


title: Using AoI Forecasts in Communicating and Robust Distributed Model-Predictive Control

abstract: In order to enhance the performance of cyber-physical systems, this paper proposes the integrated de-sign of distributed controllers for distributed plants andthe control of the communication network. Conventionaldesign methods use static interfaces between both enti-ties and therefore rely on worst-case estimations of com-munication delay, often leading to conservative behaviorof the overall system. By contrast, the present approachestablishes a robust distributed model-predictive controlscheme, in which the local subsystem controllers oper-ate under the assumption of a variable communicationschedule that is predicted by a network controller. Us-ing appropriate models for the communication network,the network controller applies a predictive network policyfor scheduling the communication among the subsystemcontrollers across the network. Given the resulting time-varying predictions of the age of information, the papershows under which conditions the subsystem controllerscan robustly stabilize the distributed system. To illustratethe approach, the paper also reports on the application to avehicle platooning scenario.


title: Statistical convergence in g-metric spaces

abstract: The purpose of this paper is to define statistically convergent sequences with respect to the metrics on generalized metric spaces (g-metric spaces) and investigate basic properties of this statistical form of convergence.


title: Algebraic dimension and complex subvarieties of hypercomplex nilmanifolds

abstract: A nilmanifold is a (left) quotient of a nilpotent Lie group by a cocompact lattice. A hypercomplex structure on a manifold is a triple of complex structure operators satisfying the quaternionic relations. A hypercomplex nilmanifold is a compact quotient of a nilpotent Lie group equipped with a left-invariant hypercomplex structure. Such a manifold admits a whole 2-dimensional sphere $S^2$ of complex structures induced by quaternions. We prove that for any hypercomplex nilmanifold $M$ and a generic complex structure $L\in S^2$, the complex manifold $(M,L)$ has algebraic dimension 0. A stronger result is proven when the hypercomplex nilmanifold is abelian. Consider the Lie algebra of left-invariant vector fields of Hodge type (1,0) on the corresponding nilpotent Lie group with respect to some complex structure $I\in S^2$. A hypercomplex nilmanifold is called abelian when this Lie algebra is abelian. We prove that all complex subvarieties of $(M,L)$ for generic $L\in S^2$ on a hypercomplex abelian nilmanifold are also hypercomplex nilmanifolds.


title: Deep and Statistical Learning in Biomedical Imaging: State of the Art in 3D MRI Brain Tumor Segmentation

abstract: Clinical diagnostic and treatment decisions rely upon the integration of patient-specific data with clinical reasoning. Cancer presents a unique context that influence treatment decisions, given its diverse forms of disease evolution. Biomedical imaging allows noninvasive assessment of disease based on visual evaluations leading to better clinical outcome prediction and therapeutic planning. Early methods of brain cancer characterization predominantly relied upon statistical modeling of neuroimaging data. Driven by the breakthroughs in computer vision, deep learning became the de facto standard in the domain of medical imaging. Integrated statistical and deep learning methods have recently emerged as a new direction in the automation of the medical practice unifying multi-disciplinary knowledge in medicine, statistics, and artificial intelligence. In this study, we critically review major statistical and deep learning models and their applications in brain imaging research with a focus on MRI-based brain tumor segmentation. The results do highlight that model-driven classical statistics and data-driven deep learning is a potent combination for developing automated systems in clinical oncology.


title: Fast simulation of bosonic qubits via Gaussian functions in phase space

abstract: Bosonic qubits are a promising route to building fault-tolerant quantum computers on a variety of physical platforms. Studying the performance of bosonic qubits under realistic gates and measurements is challenging with existing analytical and numerical tools. We present a novel formalism for simulating classes of states that can be represented as linear combinations of Gaussian functions in phase space. This formalism allows us to analyze and simulate a wide class of non-Gaussian states, transformations and measurements. We demonstrate how useful classes of bosonic qubits -- Gottesman-Kitaev-Preskill (GKP), cat, and Fock states -- can be simulated using this formalism, opening the door to investigating the behaviour of bosonic qubits under Gaussian channels and measurements, non-Gaussian transformations such as those achieved via gate teleportation, and important non-Gaussian measurements such as threshold and photon-number detection. Our formalism enables simulating these situations with levels of accuracy that are not feasible with existing methods. Finally, we use a method informed by our formalism to simulate circuits critical to the study of fault-tolerant quantum computing with bosonic qubits but beyond the reach of existing techniques. Specifically, we examine how finite-energy GKP states transform under realistic qubit phase gates; interface with a CV cluster state; and transform under non-Clifford T gate teleportation using magic states. We implement our simulation method as a part of the open-source Strawberry Fields Python library.


title: Pointwise Weyl Laws for Schr\"odinger operators with singular potentials

abstract: We consider the Schr\"odinger operators $H_V=-\Delta_g+V$ with singular potentials $V$ on general $n$-dimensional Riemannian manifolds and study whether various forms of pointwise Weyl law remain valid under this pertubation. We prove that the pointwise Weyl law holds for potentials in the Kato class, which is the minimal assumption to ensure that $H_V$ is essentially self-adjoint and bounded from below or has favorable heat kernel bounds. Moreover, we show that the pointwise Weyl law with the standard sharp error term $O(\lambda^{n-1})$ holds for potentials in $L^n(M)$.

categories: math.AP math-ph math.CA math.FA math.MP math.SP


title: Potential Advantages of Peak Picking Multi-Voltage Threshold Digitizer in Energy Determination in Radiation Measurement

abstract: The Multi-voltage Threshold (MVT) method, which samples the signal by certain reference voltages, has been well developed as being adopted in pre-clinical and clinical digital positron emission tomography(PET) system. To improve its energy measurement performance, we propose a Peak Picking MVT(PP-MVT) Digitizer in this paper. Firstly, a sampled Peak Point(the highest point in pulse signal), which carries the values of amplitude feature voltage and amplitude arriving time, is added to traditional MVT with a simple peak sampling circuit. Secondly, an amplitude deviation statistical analysis, which compares the energy deviation of various reconstruction models, is used to select adaptive reconstruction models for signal pulses with different amplitudes. After processing 30,000 randomly-chosen pulses sampled by the oscilloscope with a 22Na point source, our method achieves an energy resolution of 17.50% within a 450-650 KeV energy window, which is 2.44% better than the result of traditional MVT with same thresholds; and we get a count number at 15225 in the same energy window while the result of MVT is at 14678. When the PP-MVT involves less thresholds than traditional MVT, the advantages of better energy resolution and larger count number can still be maintained, which shows the robustness and the flexibility of PP-MVT Digitizer. This improved method indicates that adding feature peak information could improve the performance on signal sampling and reconstruction, which canbe proved by the better performance in energy determination in radiation measurement.


title: Performing Creativity With Computational Tools

abstract: The introduction of new tools in people's workflow has always been promotive of new creative paths. This paper discusses the impact of using computational tools in the performance of creative tasks, especially focusing on graphic design. The study was driven by a grounded theory methodology, applied to a set of semi-structured interviews, made to twelve people working in the areas of graphic design, data science, computer art, music and data visualisation. Among other questions, the results suggest some scenarios in which it is or it is not worth investing in the development of new intelligent creativity-aiding tools.


title: Pole-Induced Higgs Inflation With Hyperbolic Kaehler Geometries

abstract: We present novel realizations of Higgs inflation within Supergravity which are largely tied to the existence of a pole of order two in the kinetic term of the inflaton field. This pole arises due to the selected Kaehler potentials which parameterize the (SU(1,1)/U(1))^2 or SU(2,1)/(SU(2)xU(1)) manifolds with scalar curvatures R_{(11)^2}=-4/N or R_{21}=-3/N respectively. The associated superpotential includes, in addition to the Higgs superfields, a stabilizer superfield, respects the gauge and an R symmetries and contains the first allowed nonrenormalizable term. If the coefficient of this term is almost equal to that of the renormalizable terms within about 10^-5 and N=1, the inflationary observables can be done compatible with the present data and the scale M of gauge-symmetry breaking may assume its value within MSSM. Increasing M beyond this value, though, inflation may be attained with less tuning. Modifications to the Kaehler potentials associated with the manifolds above allow for inflation, realized with just renormalizable terms, resulting to higher tensor-to-scalar ratios as N approaches its maximum at N=40.


title: A Probabilistic Bayesian Approach to Recover $R_2^*$ map and Phase Images for Quantitative Susceptibility Mapping

abstract: Purpose: Undersampling is used to reduce the scan time for high-resolution 3D magnetic resonance imaging. In order to achieve better image quality and avoid manual parameter tuning, we propose a probabilistic Bayesian approach to recover $R_2^*$ map and phase images for quantitative susceptibility mapping (QSM), while allowing automatic parameter estimation from undersampled data. Theory: Sparse prior on the wavelet coefficients of images is interpreted from a Bayesian perspective as sparsity-promoting distribution. A novel nonlinear approximate message passing (AMP) framework that incorporates a mono-exponential decay model is proposed. The parameters are treated as unknown variables and jointly estimated with image wavelet coefficients. Results: The proposed AMP with parameter estimation (AMP-PE) approach successfully recovers $R_2^*$ maps and phase images for QSM across various undersampling rates. It is more computationally efficient, and performs better than the state-of-the-art $l_1$-norm regularization (L1) approach in general, except a few cases where the L1 approach performs as well as AMP-PE. Conclusion: AMP-PE achieves better performance by drawing information from both the sparse prior and the mono-exponential decay model. It does not require parameter tuning, and works with a clinical, prospective undersampling scheme where parameter tuning is often impossible or difficult due to the lack of ground-truth image.


title: The Higgs mechanism in nonlocal field theory

abstract: We provide an example of nonlocal scalar electrodynamics that allows the same Higgs mechanism so successful in local field theory. The nonlocal action is structured in order to have the same exact solutions and the same equations of motion for perturbations of the local theory, at any perturbative order. Therefore, the perturbative degrees of freedom that propagate in the unstable vacuum are reshuffled when the stable vacuum is replaced in the EoM, but their number does not change at any perturbative order, and their properties are the same like in the usual local theory. Finally, the theory is super-renormalizable or finite at quantum level.


title: How to integrate with real cars -- minimizing lead time at Volkswagen

abstract: The most successful tech companies of the world release new software versions to production multiple times a day. Thereby, they are able to quickly fix emerging bugs and rapidly deliver new features to their customers. This leads to short development cycles, minimal lead times and a high customer-centricity. Short development cycles are easy to achieve if you start a software project on a green field. Nevertheless, this does not apply to brown field environments which are usually found in big corporates such as traditional car manufacturers. For instance, if you want to integrate with real cars you have to interface legacy systems with development cycles of up to several months. We present a solution, which worked for one of the world's largest car manufacturer, leveraging in-house core development teams, dynamic stages and feature-toggles to overcome a brown field environment, allow for short development cycles and minimize the lead time.


title: Ontology-based industrial data management platform

abstract: Relational and noSQL storages are developed for the fast processing of the large data sets having a stable structure, while the ontologies are used to rep-resent complex and dynamic sets of information of a limited size. In the in-dustrial applications it is often needed to maintain the large warehouses of data consolidated from various sources. The ontologies are useful to repre-sent the structure of that data, but RDF triple stores are not well suitable for storing it. We offer an approach and a system allowing to use the opportuni-ties of fast storage engines along with the flexibility of ontology-based data management tools, including SPARQL queries. The system implements a multi-model data abstraction layer which allows working with the data as if it is situated in RDF triple store, executes SPARQL queries over it and ap-plies SHACL constraints and rules.


title: A posteriori error estimates for finite element discretizations of time-harmonic Maxwell's equations coupled with a non-local hydrodynamic Drude model

abstract: We consider finite element discretizations of Maxwell's equations coupled with a non-local hydrodynamic Drude model that accurately accounts for electron motions in metallic nanostructures. Specifically, we focus on a posteriori error estimation and mesh adaptivity, which is of particular interest since the electromagnetic field usually exhibits strongly localized features near the interface between metals and their surrounding media. We propose a novel residual-based error estimator that is shown to be reliable and efficient. We also present a set of numerical examples where the estimator drives a mesh adaptive process. These examples highlight the quality of the proposed estimator, and the potential computational savings offered by mesh adaptivity.


title: Tuning the tilting of the spiral plane by Mn doping in YBaCuFeO5 multiferroic

abstract: The layered perovskite YBaCuFeO5 (YBCFO) is considered one of the best candidates to high-temperature chiral multiferroics with strong magnetoelectric coupling. In RBaCuFeO5 perovskites (R: rare-earth or Y) A-site cations are fully ordered whereas their magnetic properties strongly depend on the preparation process. They exhibit partial cationic disorder at the B-site that generates a magnetic spiral stabilized through directionally assisted long range coupling between canted locally frustrated spins. Moreover the orientation of its magnetic spiral can be critical for the magnetoelectric response of this chiral magnetic oxide. We have synthesized and studied YBaCuFe1-xMnxO5 samples doped with Mn, with the aim of increasing spin-orbit coupling effects, and found that the overall Fe/Cu cation disorder at the B-sites can be increased by doping without changing the sample preparation process. In YBaCuFe1-xMnxO5 samples prepared under the same conditions, the T-x magnetic phase diagram have been constructed in the range 10K-500K combining magnetometry, X-ray and neutron powder diffraction measurements. The tilting angles of the spins in the collinear, {\theta}col , and spiral phases, {\theta}spiral, barely vary with temperature. In the collinear phase {\theta}col is also independent of the Mn content. In contrast, the presence of Mn produces a progressive reorientation of the plane of the magnetic helix in the incommensurate phase, capable to transform the helicoidal spin ordering into a cycloidal one, which may critically determine the ferroelectric and magnetoelectric behavior in these compounds. Some of the observations are of interest for engineering and developing this family of potential high-temperature multiferroics.


title: Constrained Contextual Bandit Learning for Adaptive Radar Waveform Selection

abstract: A sequential decision process in which an adaptive radar system repeatedly interacts with a finite-state target channel is studied. The radar is capable of passively sensing the spectrum at regular intervals, which provides side information for the waveform selection process. The radar transmitter uses the sequence of spectrum observations as well as feedback from a collocated receiver to select waveforms which accurately estimate target parameters. It is shown that the waveform selection problem can be effectively addressed using a linear contextual bandit formulation in a manner that is both computationally feasible and sample efficient. Stochastic and adversarial linear contextual bandit models are introduced, allowing the radar to achieve effective performance in broad classes of physical environments. Simulations in a radar-communication coexistence scenario, as well as in an adversarial radar-jammer scenario, demonstrate that the proposed formulation provides a substantial improvement in target detection performance when Thompson Sampling and EXP3 algorithms are used to drive the waveform selection process. Further, it is shown that the harmful impacts of pulse-agile behavior on coherently processed radar data can be mitigated by adopting a time-varying constraint on the radar's waveform catalog.


title: A curvature bound from gravitational catalysis in thermal backgrounds

abstract: We investigate the phenomenon of gravitational catalysis, i.e., curvature-induced chiral symmetry breaking and fermion mass generation, at finite temperature. Using a scale-dependent analysis, we derive a thermal bound on the curvature of local patches of spacetime. This bound quantifies regions in parameter space that remain unaffected by gravitational catalysis and thus are compatible with the existence of light fermions as observed in Nature. While finite temperature generically relaxes the curvature bound, we observe a comparatively strong dependence of the phenomenon on the details of the curvature. Our bound can be applied to scenarios of quantum gravity, as any realistic candidate has to accommodate a sufficient number of light fermions. We argue that our bound therefore represents a test for quantum gravity scenarios: a suitably averaged spacetime in the (trans-)Planckian regime that satisfies our curvature bound does not induce correspondingly large Planckian fermion masses by gravitational catalysis. The temperature dependence derived in this work facilitates to follow the fate of gravitational catalysis during the thermal history of the (quantum) universe. In an application to the Asymptotic Safety scenario of quantum gravity, our bound translates into a temperature-dependent upper bound on the number of fermion flavors.


title: Self-supervised SAR-optical Data Fusion and Land-cover Mapping using Sentinel-1/-2 Images

abstract: The effective combination of the complementary information provided by the huge amount of unlabeled multi-sensor data (e.g., Synthetic Aperture Radar (SAR) and optical images) is a critical topic in remote sensing. Recently, contrastive learning methods have reached remarkable success in obtaining meaningful feature representations from multi-view data. However, these methods only focus on image-level features, which may not satisfy the requirement for dense prediction tasks such as land-cover mapping. In this work, we propose a self-supervised framework for SAR-optical data fusion and land-cover mapping tasks. SAR and optical images are fused by using multi-view contrastive loss at image-level and super-pixel level in the early, intermediate and later fashion individually. For the land-cover mapping task, we assign each pixel a land-cover class by the joint use of pre-trained features and spectral information of the image itself. Experimental results show that the proposed approach achieves a comparable accuracy and that reduces the dimension of features with respect to the image-level contrastive learning method. Among three fusion fashions, the intermediate fusion strategy achieves the best performance. The combination of the pixel-level fusion approach and spectral indices leads to further improvements on the land-cover mapping task with respect to the image-level fusion approach, especially with few pseudo labels.


title: PeQES: A Platform for Privacy-enhanced Quantitative Empirical Studies

abstract: Empirical sciences and in particular psychology suffer a methodological crisis due to the non-reproducibility of results, and in rare cases, questionable research practices. Pre-registered studies and the publication of raw data sets have emerged as effective countermeasures. However, this approach represents only a conceptual procedure and may in some cases exacerbate privacy issues associated with data publications. We establish a novel, privacy-enhanced workflow for pre-registered studies. We also introduce PeQES, a corresponding platform that technically enforces the appropriate execution while at the same time protecting the participants' data from unauthorized use or data repurposing. Our PeQES prototype proves the overall feasibility of our privacy-enhanced workflow while introducing only a negligible performance overhead for data acquisition and data analysis of an actual study. Using trusted computing mechanisms, PeQES is the first platform to enable privacy-enhanced studies, to ensure the integrity of study protocols, and to safeguard the confidentiality of participants' data at the same time.


title: Tree tensor-network real-time multiorbital impurity solver: Spin-orbit coupling and correlation functions in Sr$_2$RuO$_4$

abstract: We present a tree tensor-network impurity solver suited for general multiorbital systems. The network is constructed to efficiently capture the entanglement structure and symmetry of an impurity problem. The solver works directly on the real-time/frequency axis and generates spectral functions with energy-independent resolution of the order of one percent of the correlated bandwidth. Combined with an optimized representation of the impurity bath, it efficiently solves self-consistent dynamical mean-field equations and calculates various dynamical correlation functions for systems with off-diagonal Green's functions. For the archetypal correlated Hund's metal Sr$_2$RuO$_4$, we show that both the low-energy quasiparticle spectra related to the van Hove singularity and the high-energy atomic multiplet excitations can be faithfully resolved. In particular, we show that while the spin-orbit coupling has only minor effects on the orbital-diagonal one-particle spectral functions, it has a more profound impact on the low-energy spin and orbital response functions.


title: Quadruple Augmented Pyramid Network for Multi-class COVID-19 Segmentation via CT

abstract: COVID-19, a new strain of coronavirus disease, has been one of the most serious and infectious disease in the world. Chest CT is essential in prognostication, diagnosing this disease, and assessing the complication. In this paper, a multi-class COVID-19 CT segmentation is proposed aiming at helping radiologists estimate the extent of effected lung volume. We utilized four augmented pyramid networks on an encoder-decoder segmentation framework. Quadruple Augmented Pyramid Network (QAP-Net) not only enable CNN capture features from variation size of CT images, but also act as spatial interconnections and down-sampling to transfer sufficient feature information for semantic segmentation. Experimental results achieve competitive performance in segmentation with the Dice of 0.8163, which outperforms other state-of-the-art methods, demonstrating the proposed framework can segments of consolidation as well as glass, ground area via COVID-19 chest CT efficiently and accurately.


title: Non-Coherent Modulation for RIS-Empowered Multi-Antenna OFDM Communications

abstract: The Reconfigurable Intelligent Surface (RIS) constitutes one of the prominent technologies for the next 6-th Generation (6G) of wireless communications. It is envisioned to enhance signal coverage in cases where obstacles block the direct communication from Base Stations (BSs), and when high carrier frequencies are used that are sensitive to attenuation losses. In the literature, the exploitation of RISs is exclusively based on traditional coherent demodulation, which necessitates the availability of Channel State Information (CSI). Given the CSI, a multi-antenna BS or a dedicated controller computes the pre/post spatial coders and the RIS configuration. The latter tasks require significant amount of time and resources, which may not be affordable when the channel is time-varying or the CSI is not accurate enough. In this paper, we consider the uplink between a single-antenna user and a multi-antenna BS and present a novel RIS-empowered Orthogonal Frequency Division Multiplexing (OFDM) communication system based on the differential phase shift keying, which is suitable for high noise and/or mobility scenarios. Considering both an idealistic and a realistic channel model, analytical expressions for the Signal-to-Interference and Noise Ratio (SINR) and the Symbol Error Probability (SEP) of the proposed non-coherent RIS-empowered system are presented. Our extensive computer simulation results verify the accuracy of the presented analysis and showcase the proposed system's performance and superiority over coherent demodulation in different mobility and spatial correlation scenarios.


title: Engineered platforms for topological superconductivity and Majorana zero modes

abstract: Among the major approaches that are being pursued for realizing quantum bits, the Majorana-based platform has been the most recent to be launched. It attempts to realize qubits which store quantum information in a topologically-protected manner. The quantum information is protected by its nonlocal storage in localized and well-separated Majorana zero modes, and manipulated by exploiting their nonabelian quantum exchange properties. Realizing these topological qubits is experimentally challenging, requiring superconductivity, helical electrons (created by spin-orbit coupling) and breaking of time reversal symmetry to all cooperate in an uncomfortable alliance. Over the past decade, several candidate material systems for realizing Majorana-based topological qubits have been explored, and there is accumulating, though still debated, evidence that zero modes are indeed being realized. This paper reviews the basic physical principles on which these approaches are based, the material systems that are being developed, and the current state of the field. We highlight both the progress made and the challenges that still need to be overcome.


title: Are the CKM anomalies induced by vector-like quarks? Limits from flavor changing and Standard Model precision tests

abstract: Recent high precision determinations of $V_{us}$ and $V_{ud}$ indicate towards anomalies in the first row of the CKM matrix. Namely, determination of $V_{ud}$ from superallowed beta decays and of $V_{us}$ from kaon decays imply a violation of first row unitarity at about $4\sigma$ level. Moreover, there is tension between determinations of $V_{us}$ obtained from leptonic $K\mu2$ and semileptonic $K\ell3$ kaon decays. These discrepancies can be explained if there exist extra vector-like quarks at the TeV scale, which have large enough mixings with the lighter quarks. In particular, extra vector-like weak singlets quarks can be thought as a solution to the CKM unitarity problem and an extra vector-like weak doublet can in principle resolve all tensions. The implications of this kind of mixings are examined against the flavour changing phenomena and SM precision tests. We consider separately the effects of an extra down-type isosinglet, up-type isosinglet and an isodoublet containing extra quarks of both up and down type, and determine available parameter spaces for each case. We find that the experimental constraints on flavor changing phenomena become more stringent with larger masses, so that the extra species should have masses no more than few TeV. Moreover, only one type of extra multiplet cannot entirely explain all the discrepancies, and some their combination is required. We show that these scenarios are testable with future experiments. Namely, if extra vector-like quarks are responsible for CKM anomalies, then at least one of them should be found at scale of few TeV, and anomalous weak isospin violating $Z$-boson couplings with light quarks should be detected if the experimental precision on $Z$ hadronic decay rate is improved by a factor of $2$ or so.


title: Synthesis from Weighted Specifications with Partial Domains over Finite Words

abstract: In this paper, we investigate the synthesis problem of terminating reactive systems from quantitative specifications. Such systems are modeled as finite transducers whose executions are represented as finite words in $(I\times O)^*$, where $I,O$ are finite sets of input and output symbols, respectively. A weighted specification $S$ assigns a rational value (or $-\infty$) to words in $(I\times O)^*$, and we consider three kinds of objectives for synthesis, namely threshold objectives where the system's executions are required to be above some given threshold, best-value and approximate objectives where the system is required to perform as best as it can by providing output symbols that yield the best value and $\varepsilon$-best value respectively w.r.t. $S$. We establish a landscape of decidability results for these three objectives and weighted specifications with partial domain over finite words given by deterministic weighted automata equipped with sum, discounted-sum and average measures. The resulting objectives are not regular in general and we develop an infinite game framework to solve the corresponding synthesis problems, namely the class of (weighted) critical prefix games.


title: Charming Charm, Beautiful Bottom, and Quark-Gluon Plasma in the Large Hadron Collider Era

abstract: After a few microseconds of the creation of our Universe through the Big Bang, the primordial matter was believed to be a soup of the fundamental constituents of matter -- quarks and gluons. This is expected to be created in the laboratory by colliding heavy nuclei at ultra-relativistic speeds. A plasma of quarks and gluons, called Quark-Gluon Plasma (QGP) can be created at the energy and luminosity frontiers in the Relativistic Heavy Ion Collider (RHIC), at Brookhaven National Laboratory, New York, USA, and the Large Hadron Collider (LHC) at CERN, Geneva, Switzerland. Heavy quarks, namely the charm and bottom quarks, are considered as novel probes to characterize QGP, and hence the produced Quantum Chromodynamics (QCD) matter. Heavy quark transport coefficients play a significant role in understanding the properties of QGP. Experimental measurements of nuclear suppression factor and elliptic flow can constrain the heavy quark transport coefficients, which are key ingredients for phenomenological studies, and they help to disentangle different energy loss mechanisms. We give a general perspective of the heavy quark drag and diffusion coefficients in QGP and discuss their potentials as probes to disentangle different hadronization mechanisms, as well as to probe the initial electromagnetic fields produced in non-central heavy-ion collisions. Experimental perspectives on future measurements are discussed with special emphasis on heavy-flavors as next-generation probes in view of new technological developments.


title: Comparing Approaches to Dravidian Language Identification

abstract: This paper describes the submissions by team HWR to the Dravidian Language Identification (DLI) shared task organized at VarDial 2021 workshop. The DLI training set includes 16,674 YouTube comments written in Roman script containing code-mixed text with English and one of the three South Dravidian languages: Kannada, Malayalam, and Tamil. We submitted results generated using two models, a Naive Bayes classifier with adaptive language models, which has shown to obtain competitive performance in many language and dialect identification tasks, and a transformer-based model which is widely regarded as the state-of-the-art in a number of NLP tasks. Our first submission was sent in the closed submission track using only the training set provided by the shared task organisers, whereas the second submission is considered to be open as it used a pretrained model trained with external data. Our team attained shared second position in the shared task with the submission based on Naive Bayes. Our results reinforce the idea that deep learning methods are not as competitive in language identification related tasks as they are in many other text classification tasks.


title: Degeneration of natural Lagrangians and Prymian integrable systems

abstract: Starting from an anti-symplectic involution on a K3 surface, one can consider a natural Lagrangian subvariety inside the moduli space of sheaves over the K3. One can also construct a Prymian integrable system following a construction of Markushevich--Tikhomirov, extended by Arbarello--Sacc\`a--Ferretti, Matteini and Sawon--Chen. In this article we address a question of Sawon, showing that these integrable systems and their associated natural Lagrangians degenerate, respectively, into fix loci of involutions considered by Heller--Schaposnik, Garcia-Prada--Wilkins and Basu--Garcia-Prada. Along the way we find interesting results such as the proof that the Donagi--Ein--Lazarsfeled degeneration is a degeneration of symplectic varieties, a generalization of this degeneration, originally described for K3 surfaces, to the case of an arbitrary smooth projective surface, and a description of the behaviour of certain involutions under this degeneration.


title: Graph Metrics for Internet Robustness -- A Survey

abstract: Research on the robustness of the Internet has gained critical importance in the last decades because more and more individuals, societies and firms rely on this global network infrastructure for communication, knowledge transfer, business processes and e-commerce. In particular, modeling the structure of Internet has inspired several novel graph metrics for assessing important topological robustness features of large complex networks such as the Internet. This survey provides a comparative overview of these metrics, presents their strengths and limitations for analyzing the robustness of the Internet topology, and outlines a conceptual tool set in order to facilitate future analysis and adoption in research and practice.


title: $L^p$ maximal estimates for quadratic Weyl sums

abstract: Let $S(x,t)$ denote the Weyl sum with associated polynomial $xn + tn^2$. Suppose that $|S(x,t)|$ attains its maximum for given $x$ at $t = t(x)$. We give upper and lower bounds of the same order of magnitude for the $L^p$ norm of $S(x,t(x))$.


title: On the marginal utility of fiat money: insurmountable circularity or not?

abstract: The question of how a pure fiat currency is enforced and comes to have a non-zero value has been much debated \cite{10.2307/2077948}. What is less often addressed is, in the case where the enforcement is taken for granted and we ask what value (in terms of goods and services) the currency will end up taking. Establishing a decentralised mechanism for price formation has proven a challenge for economists: "Since no decentralized out-of-equilibrium adjustment mechanism has been discovered, we currently have no acceptable dynamical model of the Walrasian system" (Gintis 2006). In his paper, Gintis put forward a model for price discovery based on the evolution of the model's agents, i.e. "poorly performing agents dying and being replaced by copies of the well performing agents." It seems improbable that this mechanism is the driving force behind price discovery in the real world. This paper proposes a more realistic mechanism and presents results from a corresponding agent based model.


title: Covariate-informed latent interaction models: Addressing geographic & taxonomic bias in predicting bird-plant interactions

abstract: Reductions in natural habitats urge that we better understand species' interconnection and how biological communities respond to environmental changes. However, ecological studies of species' interactions are limited by their geographic and taxonomic focus which can distort our understanding of interaction dynamics. We focus on bird-plant interactions that refer to situations of potential fruit consumption and seed dispersal. We develop an approach for predicting species' interactions that accounts for errors in the recorded interaction networks, addresses the geographic and taxonomic biases of existing studies, is based on latent factors to increase flexibility and borrow information across species, incorporates covariates in a flexible manner to inform the latent factors, and uses a meta-analysis data set from 85 individual studies. We focus on interactions among 232 birds and 511 plants in the Atlantic Forest, and identify 5% of pairs of species with an unrecorded interaction, but posterior probability that the interaction is possible over 80%. Finally, we develop a permutation-based variable importance procedure for latent factor network models and identify that a bird's body mass and a plant's fruit diameter are important in driving the presence of species interactions, with a multiplicative relationship that exhibits both a thresholding and a matching behavior.


title: Exploiting Edge-Oriented Reasoning for 3D Point-based Scene Graph Analysis

abstract: Scene understanding is a critical problem in computer vision. In this paper, we propose a 3D point-based scene graph generation ($\mathbf{SGG_{point}}$) framework to effectively bridge perception and reasoning to achieve scene understanding via three sequential stages, namely scene graph construction, reasoning, and inference. Within the reasoning stage, an EDGE-oriented Graph Convolutional Network ($\texttt{EdgeGCN}$) is created to exploit multi-dimensional edge features for explicit relationship modeling, together with the exploration of two associated twinning interaction mechanisms between nodes and edges for the independent evolution of scene graph representations. Overall, our integrated $\mathbf{SGG_{point}}$ framework is established to seek and infer scene structures of interest from both real-world and synthetic 3D point-based scenes. Our experimental results show promising edge-oriented reasoning effects on scene graph generation studies. We also demonstrate our method advantage on several traditional graph representation learning benchmark datasets, including the node-wise classification on citation networks and whole-graph recognition problems for molecular analysis.


title: Oumuamua Is Not a Probe Sent to our Solar System by an Alien Civilization

abstract: Oumuamua, the first known object of extrasolar origin seen to enter our Solar System, has multiple unusual characteristics that, taken together, are very difficult to explain with conventional astronomical entities like asteroids and comets. Consequently, it has been hypothesized that Oumuamua is an interstellar probe that was constructed by an alien civilization. We demonstrate that the accomplishments that can be achieved with large space telescopes and interferometers in the alien's planetary system will completely quench any motivation for construction and launch of an Oumuamua-like probe. The absence of any such motivation attests that Oumuamua is not an alien creation. The existence of large space telescopes has important implications for a range of topics that include interstellar space travel, the zoo hypothesis, METI, and UFOs.


title: Development of a VR tool to study pedestrian route and exit choice behaviour in a multi-story building

abstract: Although route and exit choice in complex buildings are important aspects of pedestrian behaviour, studies predominantly investigated pedestrian movement in a single level. This paper presents an innovative VR tool that was designed to investigate pedestrian route and exit choice in a multi-story building. This tool supports free navigation and collects pedestrian walking trajectories, head movements and gaze points automatically. An experiment was conducted to evaluate the VR tool from objective standpoints (i.e., pedestrian behaviour) and subjective standpoints (i.e., the feeling of presence, system usability, simulation sickness). The results show that the VR tool allows for accurate collection of pedestrian behavioural data in the complex building. Moreover, the results of the questionnaire report high realism of the virtual environment, high immersive feeling, high usability, and low simulator sickness. This paper contributes by showcasing an innovative approach of applying VR technologies to study pedestrian behaviour in complex and realistic environments.


title: Did Chatbots Miss Their 'Apollo Moment'? A Survey of the Potential, Gaps and Lessons from Using Collaboration Assistants During COVID-19

abstract: Artificial Intelligence (AI) technologies have long been positioned as a tool to provide crucial data-driven decision support to people. In this survey paper, we look at how AI in general, and collaboration assistants (CAs or chatbots for short) in particular, have been used during a true global exigency - the COVID-19 pandemic. The key observation is that chatbots missed their "Apollo moment" when they could have really provided contextual, personalized, reliable decision support at scale that the state-of-the-art makes possible. We review the existing capabilities that are feasible and methods, identify the potential that chatbots could have met, the use-cases they were deployed on, the challenges they faced and gaps that persisted, and draw lessons that, if implemented, would make them more relevant in future health emergencies.


title: MirrorME: Implementation of an IoT based Smart Mirror through Facial Recognition and Personalized Information Recommendation Algorithm

abstract: We are living in the era of the fourth industrial revolution, which also treated as 4IR or Industry 4.0. Generally, 4IR considered as the mixture of robotics, artificial intelligence (AI), quantum computing, the Internet of Things (IoT) and other frontier technologies. It is obvious that nowadays a plethora of smart devices is providing services to make the daily life of human easier. However, in the morning most people around the globe use a traditional mirror while preparing themselves for daily task. The aim is to build a low-cost intelligent mirror system that can display a variety of details based on user recommendations. Therefore, in this article, Internet of Things (IoT) and AI-based smart mirror is introduced that will support the users to receive the necessary daily update of weather information, date, time, calendar, to-do list, updated news headlines, traffic updates, COVID-19 cases status and so on. Moreover, a face detection method also implemented with the smart mirror to construct the architecture more secure. Our proposed MirrorME application provides a success rate of nearly 87% in interacting with the features of face recognition and voice input. The mirror is capable of delivering multimedia facilities while maintaining high levels of security within the device.


title: Low-level cognitive skill transfer between two individuals' minds via computer game-based framework

abstract: The novel technique introduced here aims to accomplish the first stage of transferring low-level cognitive skills between two individuals (e.g. from expert to learner) to ease the consecutive higher level declarative learning process for the target "learner" individual in a game environment. Such low-level cognitive skill is associated with the procedural knowledge and established at low-level of mind which can be unveiled and transferred by only a novel technique (rather than by a traditional educational environment ) like a highly interactive computer game domain in which a user exposes his/her unconscious mind behaviors via the game-hero non-deliberately during the game sessions. The cognitive data exposed by the game-hero would be recorded, and then be modelled by the artificial intelligence technique like Bayesian networks for an early stage of cognitive skill transfer and the cognitive stimuli are also generated to be used as game agents to train the learner.


title: PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data

abstract: The discipline of process mining aims to study processes in a data-driven manner by analyzing historical process executions, often employing Petri nets. Event data, extracted from information systems (e.g. SAP), serve as the starting point for process mining. Recently, novel types of event data have gathered interest among the process mining community, including uncertain event data. Uncertain events, process traces and logs contain attributes that are characterized by quantified imprecisions, e.g., a set of possible attribute values. The PROVED tool helps to explore, navigate and analyze such uncertain event data by abstracting the uncertain information using behavior graphs and nets, which have Petri nets semantics. Based on these constructs, the tool enables discovery and conformance checking.


title: Line transversals in families of connected sets the plane

abstract: We prove that if a family of compact connected sets in the plane has the property that every three members of it are intersected by a line, then there are three lines intersecting all the sets in the family. This answers a question of Eckhoff from 1993, who proved that, under the same condition, there are four lines intersecting all the sets. In fact, we prove a colorful version of this result, under weakened conditions on the sets. A triple of sets $A,B,C$ in the plane is said to be a {\em tight} if $\textrm{conv}(A\cup B)\cap \textrm{conv}(A\cup C)\cap \textrm{conv}(B\cap C)\neq \emptyset.$ This notion was first introduced by Holmsen, where he showed that if $\mathcal{F}$ is a family of compact convex sets in the plane in which every three sets form a tight triple, then there is a line intersecting at least $\frac{1}{8}|\mathcal{F}|$ members of $\mathcal{F}$. Here we prove that if $\mathcal{F}_1,\dots,\mathcal{F}_6$ are families of compact connected sets in the plane such that every three sets, chosen from three distinct families $\mathcal{F}_i$, form a tight triple, then there exists $1\le j\le 6$ and three lines intersecting every member of $\mathcal{F}_j$. In particular, this improves $\frac{1}{8}$ to $\frac{1}{3}$ in Holmsen's result.


title: Improved accuracy in degenerate variational integrators for guiding center and magnetic field line flow

abstract: First-order accurate degenerate variational integration (DVI) was introduced in C. L. Ellison et. al, Phys. Plasmas 25, 052502 (2018) for systems with a degenerate Lagrangian, i.e. one in which the velocity-space Hessian is singular. In this paper we introducing second order accurate DVI schemes, both with and without non-uniform time stepping. We show that it is not in general possible to construct a second order scheme with a preserved two-form by composing a first order scheme with its adjoint, and discuss the conditions under which such a composition is possible. We build two classes of second order accurate DVI schemes. We test these second order schemes numerically on two systems having noncanonical variables, namely the magnetic field line and guiding center systems. Variational integration for Hamiltonian systems with nonuniform time steps, in terms of an extended phase space Hamiltonian, is generalized to noncanonical variables. It is shown that preservation of proper degeneracy leads to single-step methods without parasitic modes, i.e. to non-uniform time step DVIs. This extension applies to second order accurate as well as first order schemes, and can be applied to adapt the time stepping to an error estimate.


title: Yield strength insensitivity in a dual-phase high entropy alloy after prolonged high temperature annealing

abstract: Recent studies of FeMnCoCr-based high entropy alloys have demonstrated uncommon deformation behaviors such as transformation-induced plasticity, which were largely believed to be restricted to select families of steels. Coupled with the potential for entropy stabilization of high symmetry phases at high temperatures, this system represents a promising class of materials for structural applications in extreme environments. Yet, transformation-induced plasticity mechanisms are notably sensitive to microstructure parameters and the literature offers examples of deleterious decomposition of high entropy alloys under heat treatment, which raises concerns of resiliency in mechanical performance. Here, we evaluate the evolution of microstructure and mechanical properties of a FeMnCoCr high entropy alloy after prolonged heat treatment at high temperature. Microstructures are found to retain their characteristic austenite/martensite features, with parent face-centered cubic grains partitioned by hexagonal close-packed laths after heat treatment at 1200 C for up to 48 hours. Results of mechanical testing reveal an unusual insensitivity of this alloy to grain growth-induced weakening effects. Namely, the yield strengths of FeMnCoCr samples are observed to remain constant across all heat treatment conditions, despite a near four-fold increase in the grain size. Close examination of post-heat treatment microstructures reveals a dramatic decrease in the inter-lath spacing at longer durations, which segments parent austenite grains. This crystal partitioning counteracts conventional grain growth-induced weakening by introducing additional barriers for dislocation pile-up. These results offer new insights into the mechanical resiliency of this transformation-induced plasticity high entropy alloy under prolonged high temperature heat treatment.


title: Select, Substitute, Search: A New Benchmark for Knowledge-Augmented Visual Question Answering

abstract: Multimodal IR, spanning text corpus, knowledge graph and images, called outside knowledge visual question answering (OKVQA), is of much recent interest. However, the popular data set has serious limitations. A surprisingly large fraction of queries do not assess the ability to integrate cross-modal information. Instead, some are independent of the image, some depend on speculation, some require OCR or are otherwise answerable from the image alone. To add to the above limitations, frequency-based guessing is very effective because of (unintended) widespread answer overlaps between the train and test folds. Overall, it is hard to determine when state-of-the-art systems exploit these weaknesses rather than really infer the answers, because they are opaque and their 'reasoning' process is uninterpretable. An equally important limitation is that the dataset is designed for the quantitative assessment only of the end-to-end answer retrieval task, with no provision for assessing the correct(semantic) interpretation of the input query. In response, we identify a key structural idiom in OKVQA ,viz., S3 (select, substitute and search), and build a new data set and challenge around it. Specifically, the questioner identifies an entity in the image and asks a question involving that entity which can be answered only by consulting a knowledge graph or corpus passage mentioning the entity. Our challenge consists of (i)OKVQAS3, a subset of OKVQA annotated based on the structural idiom and (ii)S3VQA, a new dataset built from scratch. We also present a neural but structurally transparent OKVQA system, S3, that explicitly addresses our challenge dataset, and outperforms recent competitive baselines.


title: FAIR1M: A Benchmark Dataset for Fine-grained Object Recognition in High-Resolution Remote Sensing Imagery

abstract: With the rapid development of deep learning, many deep learning-based approaches have made great achievements in object detection task. It is generally known that deep learning is a data-driven method. Data directly impact the performance of object detectors to some extent. Although existing datasets have included common objects in remote sensing images, they still have some limitations in terms of scale, categories, and images. Therefore, there is a strong requirement for establishing a large-scale benchmark on object detection in high-resolution remote sensing images. In this paper, we propose a novel benchmark dataset with more than 1 million instances and more than 15,000 images for Fine-grAined object recognItion in high-Resolution remote sensing imagery which is named as FAIR1M. All objects in the FAIR1M dataset are annotated with respect to 5 categories and 37 sub-categories by oriented bounding boxes. Compared with existing detection datasets dedicated to object detection, the FAIR1M dataset has 4 particular characteristics: (1) it is much larger than other existing object detection datasets both in terms of the quantity of instances and the quantity of images, (2) it provides more rich fine-grained category information for objects in remote sensing images, (3) it contains geographic information such as latitude, longitude and resolution, (4) it provides better image quality owing to a careful data cleaning procedure. To establish a baseline for fine-grained object recognition, we propose a novel evaluation method and benchmark fine-grained object detection tasks and a visual classification task using several State-Of-The-Art (SOTA) deep learning-based models on our FAIR1M dataset. Experimental results strongly indicate that the FAIR1M dataset is closer to practical application and it is considerably more challenging than existing datasets.


title: Recurrence/Transience criteria for excited random walks with finite-drift cookie stacks

abstract: We consider excited random walk (ERW) on $\mathbb{Z}$ in environments with identical stacks of infinitely many cookies at each site, subject to the constraint that the total drift per site $\delta = \sum (2p_j - 1)$ is finite. Building on the methods of Kozma, Orenshtein, and Shinkar (arXiv:1311.7439), we show that ERW in finite-drift environments is recurrent when $|\delta|<1$ and transient when $|\delta|>1$. In the case $|\delta|=1$ we prove that ERW is recurrent under mild assumptions on the environment. In addition, we show that ERW may be transient when $|\delta|=1$, an interesting new behavior that was not present in previously studied models.


title: Longitudinal double-spin asymmetry for inclusive jet and dijet production in polarized proton collisions at $\sqrt{s}=200$ GeV

abstract: We report high-precision measurements of the longitudinal double-spin asymmetry, $A_{LL}$, for midrapidity inclusive jet and dijet production in polarized $pp$ collisions at a center-of-mass energy of $\sqrt{s}=200\,\mathrm{GeV}$. The new inclusive jet data are sensitive to the gluon helicity distribution, $\Delta g(x,Q^2)$, for gluon momentum fractions in the range from $x \simeq 0.05$ to $x \simeq 0.5$, while the new dijet data provide further constraints on the $x$ dependence of $\Delta g(x,Q^2)$. The results are in good agreement with previous measurements at $\sqrt{s}=200\,\mathrm{GeV}$ and with recent theoretical evaluations of prior world data. Our new results have better precision and thus strengthen the evidence that $\Delta g(x,Q^2)$ is positive for $x > 0.05$.


title: Risk-Averse RRT* Planning with Nonlinear Steering and Tracking Controllers for Nonlinear Robotic Systems Under Uncertainty

abstract: We propose a two-phase risk-averse architecture for controlling stochastic nonlinear robotic systems. We present Risk-Averse Nonlinear Steering RRT* (RANS-RRT*) as an RRT* variant that incorporates nonlinear dynamics by solving a nonlinear program (NLP) and accounts for risk by approximating the state distribution and performing a distributionally robust (DR) collision check to promote safe planning. The generated plan is used as a reference for a low-level tracking controller. We demonstrate three controllers: finite horizon linear quadratic regulator (LQR) with linearized dynamics around the reference trajectory, LQR with robustness-promoting multiplicative noise terms, and a nonlinear model predictive control law (NMPC). We demonstrate the effectiveness of our algorithm using unicycle dynamics under heavy-tailed Laplace process noise in a cluttered environment.


title: Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring

abstract: Serializability is a well-understood concurrency control mechanism that eases reasoning about highly-concurrent database programs. Unfortunately, enforcing serializability has a high-performance cost, especially on geographically distributed database clusters. Consequently, many databases allow programmers to choose when a transaction must be executed under serializability, with the expectation that transactions would only be so marked when necessary to avoid serious concurrency bugs. However, this is a significant burden to impose on developers, requiring them to (a) reason about subtle concurrent interactions among potentially interfering transactions, (b) determine when such interactions would violate desired invariants, and (c) then identify the minimum number of transactions whose executions should be serialized to prevent these violations. To mitigate this burden, in this paper we present a sound and fully automated schema refactoring procedure that transforms a program's data layout -- rather than its concurrency control logic -- to eliminate statically identified concurrency bugs, allowing more transactions to be safely executed under weaker and more performant database guarantees. Experimental results over a range of database benchmarks indicate that our approach is highly effective in eliminating concurrency bugs, with safe refactored programs showing an average of 120% higher throughput and 45% lower latency compared to the baselines.


title: On testing mean proportionality of multivariate normal variables

abstract: This short note considers the problem of testing the null hypothesis that the mean values of two multivariate normal variables are proportional. We show that the usual likelihood ratio $\chi^2$-test is valid non-asymptotically. Our proof relies on expressing the test statistic as the minimum eigenvalue of a Wishart variable and using a representation of its distribution using Legendre polynomials.


title: Multiple normalized solutions for a Sobolev critical Schr\"{o}dinger-Poisson-Slater equation

abstract: We look for solutions to the Schr\"{o}dinger-Poisson-Slater equation $$- \Delta u + \lambda u - \gamma (|x|^{-1} * |u|^2) u - a |u|^{p-2}u = 0 \quad \text{in} \quad \mathbb{R}^3, $$ which satisfy \begin{equation*} \int_{\mathbb{R}^3}|u|^2 \, dx = c \end{equation*} for some prescribed $c>0$. Here $ u \in H^1(\mathbb{R}^3)$, $\gamma \in \mathbb{R},$ $ a \in \mathbb{R}$ and $p \in (\frac{10}{3}, 6]$. When $\gamma >0$ and $a > 0$, both in the Sobolev subcritical case $p \in (\frac{10}{3}, 6)$ and in the Sobolev critical case $p=6$, we show that there exists a $c_1>0$ such that, for any $c \in (0,c_1)$, the equation admits two solutions $u_c^+$ and $u_c^-$ which can be characterized respectively as a local minima and as a mountain pass critical point of the associated {\it Energy} functional restricted to the norm constraint. In the case $\gamma >0$ and $a < 0$, we show that, for any $p \in (\frac{10}{3},6]$ and any $c>0$, the equation admits a solution which is a global minimizer. Finally, in the case $\gamma <0$, $a >0$ and $p=6$ we show that it does not admit positive solutions.


title: Distributed Frequency Restoration and SoC Balancing Control for AC Microgrids

abstract: This paper develops an improved distributed finite-time control algorithm for multiagent-based ac microgrids with battery energy storage systems (BESSs) utilizing a low-width communication network. The proposed control algorithm can simultaneously coordinate BESSs to eliminate any deviation from the nominal frequency as well as solving the state of charge (SoC) balancing problem. The stability of the proposed control algorithm is established using the Lyapunov method and homogeneous approximation theory, which guarantees an accelerated convergence within a settling time that does not dependent on initial conditions. Based on this, to significantly reduce the communication burdens, an event-triggered communication mechanism is designed which can also avoid Zeno behavior. Then sufficient conditions on the event-triggered boundary are derived to guarantee the stability and reliability of the whole system. Practical local constraints are imposed to implement the control protocol, and the theoretical results are applied to a test system consisting of five DGs and five BESSs, which verifies the effectiveness of the proposed strategy.


title: Parametrized quantum policies for reinforcement learning

abstract: With the advent of real-world quantum computing, the idea that parametrized quantum computations can be used as hypothesis families in a quantum-classical machine learning system is gaining increasing traction. Such hybrid systems have already shown the potential to tackle real-world tasks in supervised and generative learning, and recent works have established their provable advantages in special artificial tasks. Yet, in the case of reinforcement learning, which is arguably most challenging and where learning boosts would be extremely valuable, no proposal has been successful in solving even standard benchmarking tasks, nor in showing a theoretical learning advantage over classical algorithms. In this work, we achieve both. We propose a hybrid quantum-classical reinforcement learning model using very few qubits, which we show can be effectively trained to solve several standard benchmarking environments. Moreover, we demonstrate, and formally prove, the ability of parametrized quantum circuits to solve certain learning tasks that are intractable for classical models, including current state-of-art deep neural networks, under the widely-believed classical hardness of the discrete logarithm problem.


title: Energy estimation of high energy particles associated with the SS433/W50 system through radio observation at 1.4 GHz

abstract: The radio nebula W50 is a unique object interacting with the jets of the microquasar SS433. The SS433/W50 system is a good target for investigating the energy of cosmic-ray particles accelerated by galactic jets. We report observations of radio nebula W50 conducted with the NSF's Karl G. Jansky Very Large Array (VLA) in the L band (1.0 -- 2.0 GHz). We investigate the secular change of W50 on the basis of the observations in 1984, 1996, and 2017, and find that most of its structures were stable for 33 years. We revise the upper limit velocity of the eastern terminal filament by half to 0.023$c$ assuming a distance of 5.5 kpc. We also analyze the observational data of the Arecibo Observatory 305-m telescope and identify the HI cavity around W50 in the velocity range 33.77 km s$^{-1}$ -- 55.85 km s$^{-1}$. From this result, we estimate the maximum energy of the cosmic-ray protons accelerated by the jet terminal region to be above 10$^{15.5}$ eV. We also use the luminosity of the gamma-rays in the range 0.5 -- 10 GeV to estimate the total energy of accelerated protons below 5.2 $\times$ 10$^{48}$ erg.


title: hls4ml: An Open-Source Codesign Workflow to Empower Scientific Low-Power Machine Learning Devices

abstract: Accessible machine learning algorithms, software, and diagnostic tools for energy-efficient devices and systems are extremely valuable across a broad range of application domains. In scientific domains, real-time near-sensor processing can drastically improve experimental design and accelerate scientific discoveries. To support domain scientists, we have developed hls4ml, an open-source software-hardware codesign workflow to interpret and translate machine learning algorithms for implementation with both FPGA and ASIC technologies. We expand on previous hls4ml work by extending capabilities and techniques towards low-power implementations and increased usability: new Python APIs, quantization-aware pruning, end-to-end FPGA workflows, long pipeline kernels for low power, and new device backends include an ASIC workflow. Taken together, these and continued efforts in hls4ml will arm a new generation of domain scientists with accessible, efficient, and powerful tools for machine-learning-accelerated discovery.


title: Engineering the light coupling between metalens and photonic crystal resonators for robust on-chip microsystems

abstract: We designed an on-chip transformative optic system of a metalens-photonic crystal resonator metasystem on a foundry compatible silicon photonic platform. By adjusting the on-chip metalens' focusing length and mode dimension, the insertion loss between the metalens and the photonic crystal resonator and waveguide structures are minimized through mode-matching. The micro-system does not involve any single mode silicon nanowire waveguide, and thus mechanically robust without any oxide claddings. The proposed microsystem is ideal for miniaturized chemical and biosensors operating in air or solution environment.


title: The Agda Universal Algebra Library, Part 1: Foundation

abstract: The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) we developed to formalize the foundations of universal algebra in dependent type theory using the Agda programming language and proof assistant. The UALib includes a substantial collection of definitions, theorems, and proofs from general algebra and equational logic, including many examples that exhibit the power of inductive and dependent types for representing and reasoning about relations, algebraic structures, and equational theories. In this paper we discuss the logical foundations on which the library is built, and describe the types defined in the first 13 modules of the library. Special attention is given to aspects of the library that seem most interesting or challenging from a type theory or mathematical foundations perspective.


title: Baryonic feedback biases on fundamental physics from lensed CMB power spectra

abstract: Upcoming measurements of the small-scale primary cosmic microwave background (CMB) temperature and polarization power spectra ($TT$/$TE$/$EE$) are anticipated to yield transformative constraints on new physics, including the effective number of relativistic species in the early universe ($N_{\rm eff}$). However, at multipoles $\ell \gtrsim 3000$, the primary CMB power spectra receive significant contributions from gravitational lensing. While these modes still carry primordial information, their theoretical modeling requires knowledge of the CMB lensing convergence power spectrum, $C_L^{\kappa\kappa}$, including on small scales where it is affected by nonlinear gravitational evolution and baryonic feedback processes. Thus, the high-$\ell$ primary CMB is sensitive to these late-time, nonlinear effects. Here, we show that inaccuracies in the modeling of $C_L^{\kappa\kappa}$ can yield surprisingly large biases on cosmological parameters inferred from the primary CMB power spectra measured by the upcoming Simons Observatory and CMB-S4 experiments. For CMB-S4, the biases can be as large as $1.6\sigma$ on the Hubble constant $H_0$ in a fit to $\Lambda$CDM and $1.2\sigma$ on $N_{\rm eff}$ in a fit to $\Lambda$CDM+$N_{\rm eff}$. We show that these biases can be mitigated by explicitly discarding all $TT$ data at $\ell>3000$ or by marginalizing over parameters describing baryonic feedback processes, both at the cost of slightly larger error bars. We also discuss an alternative, data-driven mitigation strategy based on delensing the CMB $T$ and $E$-mode maps. Finally, we show that analyses of upcoming data will require Einstein-Boltzmann codes to be run with much higher numerical precision settings than is currently standard, so as to avoid similar -- or larger -- parameter biases due to inaccurate theoretical predictions.


title: Virtually free groups are stable in permutations

abstract: We prove that finitely generated virtually free groups are stable in permutations. As an application, we show that almost-periodic almost-automorphisms of labelled graphs are close to periodic automorphisms.


title: Spectroscopic evidence for a new type of surface resonance at noble metal surfaces

abstract: We investigate the surface- and bulk-like properties of the pristine (110)-surface of silver using threshold photoemission by excitation with light of 5.9 eV. Using a momentum microscope, we identified two distinct transitions along the $\overline{\Gamma}\,\overline{\textrm{Y}}$-direction of the crystal. The first one is a so far unknown surface resonance for the (110) noble metal surface, exhibiting an exceptionally large bulk character, that has so far been elusive in surface sensitive experiments. The second one stems from the well known bulk-like Mahan cone oriented along the $\Gamma L$-direction inside the crystal but projected onto the (110)-surface cut. The existence of the new state is confirmed by photocurrent calculations and its character analyzed.


title: SimTriplet: Simple Triplet Representation Learning with a Single GPU

abstract: Contrastive learning is a key technique of modern self-supervised learning. The broader accessibility of earlier approaches is hindered by the need of heavy computational resources (e.g., at least 8 GPUs or 32 TPU cores), which accommodate for large-scale negative samples or momentum. The more recent SimSiam approach addresses such key limitations via stop-gradient without momentum encoders. In medical image analysis, multiple instances can be achieved from the same patient or tissue. Inspired by these advances, we propose a simple triplet representation learning (SimTriplet) approach on pathological images. The contribution of the paper is three-fold: (1) The proposed SimTriplet method takes advantage of the multi-view nature of medical images beyond self-augmentation; (2) The method maximizes both intra-sample and inter-sample similarities via triplets from positive pairs, without using negative samples; and (3) The recent mix precision training is employed to advance the training by only using a single GPU with 16GB memory. By learning from 79,000 unlabeled pathological patch images, SimTriplet achieved 10.58% better performance compared with supervised learning. It also achieved 2.13% better performance compared with SimSiam. Our proposed SimTriplet can achieve decent performance using only 1% labeled data. The code and data are available at https://github.com/hrlblab/SimTriple.


title: Inflationary implications of the Covariant Entropy Bound and the Swampland de Sitter Conjectures

abstract: We present a proposal to relate the de Sitter Conjecture (dSC) to the Covariant Entropy Bound (CEB). By assuming an early phase of accelerated expansion where the CEB is satisfied, we take into account a contribution from extra-dimensions to the four-dimensional entropy which restricts the values of the usual slow-roll parameters. We show in this context that the dSC inequalities follow from the CEB -- including their mutual exclusion -- in both single and multi-field inflationary scenarios. We also observe that the order one constants, c and c' in the conjecture are given in terms of physical quantities such as the change in entropy over time, the Hubble constant and the dynamics of the effective scalar fields. Finally, we give a simple example to illustrate a possible contribution to the four-dimensional entropy from a flux string scenario.


title: The Laser-Diode Heated Floating Zone Method for Automated Optimal Synthesis of Refractory Oxides and Alloys

abstract: We perform an experimental investigation of the synthesis of complex materials using the Laser-diode heated floating zone method (L-FZ). We will briefly introduce the Infrared-heated floating zone method of bulk crystal growth and then delve into recent advances in using a Laser-diode heated floating zone method. We demonstrate L-FZ for the growth of large high-quality single crystalline samples of of the n=2 Ruddlesden-Popper homologous series $RE_2SrAl_2O_7$, RE = Nd, Sm, Eu, Gd, Tb, Dy with physically interesting properties (e.g spin-ice) as well as the incongruently melting stuffed-tridymite type oxide $BaCoSiO_4$. We conclude with a summary of the results and future research directions in automating crystal growth, which will open access into the synthesis and characterization of previously unstudied class of materials such as refractory complex oxides and alloys.

categories: cond-mat.mtrl-sci cond-mat.str-el cs.SY eess.SY


title: Exact and Approximate Pattern Counting in Degenerate Graphs: New Algorithms, Hardness Results, and Complexity Dichotomies

abstract: We study the problems of counting the homomorphisms, counting the copies, and counting the induced copies of a $k$-vertex graph $H$ in a $d$-degenerate $n$-vertex graph $G$. Our main result establishes exhaustive and explicit complexity classifications for counting subgraphs and induced subgraphs. We show that the (not necessarily induced) copies of $H$ in $G$ can be counted in time $f(k,d)\cdot n^{\max(\mathsf{imn}(H),1)}\cdot \log n$, where $f$ is some computable function and $\mathsf{imn}(H)$ is the size of the largest induced matching of $H$. Whenever the class of allowed patterns has unbounded induced matching number, this algorithm is essentially optimal: Unless the Exponential Time Hypothesis (ETH) fails, there is no algorithm running in time $f(k,d)\cdot n^{o(\mathsf{imn}(H)/\log \mathsf{imn}(H))}$ for any function $f$. In case of counting induced subgraphs, we obtain a similar classification along the independence number $\alpha$: we can count the induced copies of $H$ in $G$ in time $f(k,d)\cdot n^{\alpha(H)}\cdot \log n$, and if the class of allowed patterns has unbounded independence number, an algorithm running in time $f(k,d)\cdot n^{o(\alpha(H)/\log \alpha(H))}$ is impossible, unless ETH fails. In the language of parameterized complexity, our results yield dichotomies in fixed-parameter tractable and $\#\mathsf{W}[1]$-hard cases if we parameterize by the size of the pattern and the degeneracy of the host graph. Our results imply that several patterns cannot be counted in time $f(k,d)\cdot n^{o(k/\log k)}$, including $k$-matchings, $k$-independent sets, (induced) $k$-paths, (induced) $k$-cycles, and induced $(k,k)$-bicliques, unless ETH fails. Those lower bounds for exact counting are complemented with new algorithms for approximate counting of subgraphs and induced subgraphs in degenerate graphs.


title: A p-adic L-function for non-critical adjoint L-values

abstract: Let $K$ be an imaginary quadratic field, with associated quadratic character $\alpha$. We construct an analytic $p$-adic $L$-function interpolating the twisted adjoint $L$-values $L(1, \mathrm{ad}(f) \otimes \alpha)$ as $f$ varies in a Hida family; these special values are non-critical in the sense of Deligne. Our approach is based on Greenberg--Stevens' idea of $\Lambda$-adic modular symbols, which considers cohomology with values in a space of $p$-adic measures.