title: Krasnoselskij-type algorithms for variational inequality problems and fixed point problems in Banach spaces

abstract: Existence and uniqueness as well as the iterative approximation of fixed points of enriched almost contractions in Banach spaces are studied. The obtained results are generalizations of the great majority of metric fixed point theorems, in the setting of a Banach space. The main tool used in the investigations is to work with the averaged operator $T_\lambda$ instead of the original operator $T$. The effectiveness of the new results thus derived is illustrated by appropriate examples. An application of the strong convergence theorems to solving a variational inequality is also presented.


title: Integrated Decision and Control: Towards Interpretable and Computationally Efficient Driving Intelligence

abstract: Decision and control are core functionalities of high-level automated vehicles. Current mainstream methods, such as functionality decomposition and end-to-end reinforcement learning (RL), either suffer high time complexity or poor interpretability and adaptability on real-world autonomous driving tasks. In this paper, we present an interpretable and computationally efficient framework called integrated decision and control (IDC) for automated vehicles, which decomposes the driving task into static path planning and dynamic optimal tracking that are structured hierarchically. First, the static path planning generates several candidate paths only considering static traffic elements. Then, the dynamic optimal tracking is designed to track the optimal path while considering the dynamic obstacles. To that end, we formulate a constrained optimal control problem (OCP) for each candidate path, optimize them separately and follow the one with the best tracking performance. To unload the heavy online computation, we propose a model-based reinforcement learning (RL) algorithm that can be served as an approximate constrained OCP solver. Specifically, the OCPs for all paths are considered together to construct a single complete RL problem and then solved offline in the form of value and policy networks, for real-time online path selecting and tracking respectively. We verify our framework in both simulations and the real world. Results show that compared with baseline methods IDC has an order of magnitude higher online computing efficiency, as well as better driving performance including traffic efficiency and safety. In addition, it yields great interpretability and adaptability among different driving tasks. The effectiveness of the proposed method is also demonstrated in real road tests with complicated traffic conditions.


title: Smoothing and Shrinking the Sparse Seq2Seq Search Space

abstract: Current sequence-to-sequence models are trained to minimize cross-entropy and use softmax to compute the locally normalized probabilities over target sequences. While this setup has led to strong results in a variety of tasks, one unsatisfying aspect is its length bias: models give high scores to short, inadequate hypotheses and often make the empty string the argmax -- the so-called cat got your tongue problem. Recently proposed entmax-based sparse sequence-to-sequence models present a possible solution, since they can shrink the search space by assigning zero probability to bad hypotheses, but their ability to handle word-level tasks with transformers has never been tested. In this work, we show that entmax-based models effectively solve the cat got your tongue problem, removing a major source of model error for neural machine translation. In addition, we generalize label smoothing, a critical regularization technique, to the broader family of Fenchel-Young losses, which includes both cross-entropy and the entmax losses. Our resulting label-smoothed entmax loss models set a new state of the art on multilingual grapheme-to-phoneme conversion and deliver improvements and better calibration properties on cross-lingual morphological inflection and machine translation for 6 language pairs.


title: How I failed machine learning in medical imaging -- shortcomings and recommendations

abstract: Medical imaging is an important research field with many opportunities for improving patients' health. However, there are a number of challenges that are slowing down the progress of the field as a whole, such optimizing for publication. In this paper we reviewed several problems related to choosing datasets, methods, evaluation metrics, and publication strategies. With a review of literature and our own analysis, we show that at every step, potential biases can creep in. On a positive note, we also see that initiatives to counteract these problems are already being started. Finally we provide a broad range of recommendations on how to further these address problems in the future. For reproducibility, data and code for our analyses are available on \url{https://github.com/GaelVaroquaux/ml_med_imaging_failures}


title: Neural tensor contractions and the expressive power of deep neural quantum states

abstract: We establish a direct connection between general tensor networks and deep feed-forward artificial neural networks. The core of our results is the construction of neural-network layers that efficiently perform tensor contractions, and that use commonly adopted non-linear activation functions. The resulting deep networks feature a number of edges that closely matches the contraction complexity of the tensor networks to be approximated. In the context of many-body quantum states, this result establishes that neural-network states have strictly the same or higher expressive power than practically usable variational tensor networks. As an example, we show that all matrix product states can be efficiently written as neural-network states with a number of edges polynomial in the bond dimension and depth logarithmic in the system size. The opposite instead does not hold true, and our results imply that there exist quantum states that are not efficiently expressible in terms of matrix product states or PEPS, but that are instead efficiently expressible with neural network states.


title: Learning to Schedule Heuristics in Branch-and-Bound

abstract: Primal heuristics play a crucial role in exact solvers for Mixed Integer Programming (MIP). While solvers are guaranteed to find optimal solutions given sufficient time, real-world applications typically require finding good solutions early on in the search to enable fast decision-making. While much of MIP research focuses on designing effective heuristics, the question of how to manage multiple MIP heuristics in a solver has not received equal attention. Generally, solvers follow hard-coded rules derived from empirical testing on broad sets of instances. Since the performance of heuristics is instance-dependent, using these general rules for a particular problem might not yield the best performance. In this work, we propose the first data-driven framework for scheduling heuristics in an exact MIP solver. By learning from data describing the performance of primal heuristics, we obtain a problem-specific schedule of heuristics that collectively find many solutions at minimal cost. We provide a formal description of the problem and propose an efficient algorithm for computing such a schedule. Compared to the default settings of a state-of-the-art academic MIP solver, we are able to reduce the average primal integral by up to 49% on a class of challenging instances.


title: Soonspot: Software to Determine Areas and Sunspot Positions

abstract: A new software (Soonspot) for the determination of the heliographic coordinates and areas of sunspots from solar images is presented. This program is very user-friendly and the accuracy of its results has been checked by using solar images provided by the Debrecen Photoheliographic Data (DPD). Due to its applicability in the studies of historical solar observations, the program has been used to analyze the solar drawings carried out by Hevelius in the 17th century.


title: Number of Sunspot Groups from the Galileo-Scheiner controversy revisited

abstract: We revise the sunspot observations made by Galileo Galilei and Christoph Scheiner in the context of their controversy on the nature of sunspots. Their sunspot records not included in the current sunspot group database, used as a basis to calculate the sunspot group number, are analyzed. Within the documentary sources consulted in this work, we can highlight the sunspot observations by Scheiner included in the letters sent under the pseudonym Apelles to Marcus Welser and the first sunspot observations made by Galileo, which can be consulted in Le opere di Galileo Galilei. These sunspot observations would extend the temporal coverage for these two observers and filling some gaps in the current group database in the earliest period where the data available is sparse. Moreover, we have detected changes in the quality of the sunspot drawings made by Galileo and Scheiner in their observation series affecting to the number of groups recorded by the two observers. We also compare these records with sunspot observations made by other astronomers of that time. According to this comparison and regarding the same observation days, Scheiner was generally the astronomer who reported more sunspot groups while Harriot, Cigoli, and Galileo recorded a similar number of groups. We conclude these differences are mainly because of the observational method used by the observers.


title: Sunspot Records by Antonio Colla just after the Dalton Minimum

abstract: Antonio Colla was a meteorologist and astronomer who made sunspot observations at the Meteorological Observatory of the Parma University (Italy). He carried out his sunspot records from 1830 to 1843, just after the Dalton Minimum. We have recovered 71 observation days for this observer. Unfortunately, many of these records are qualitative and we could only obtain the number of sunspot groups and/or single sunspots from 25 observations. However, we highlight the importance of these records because Colla is not included in the sunspot group database as an observer and, therefore, neither his sunspot observations. According to the number of groups, the sunspot observations made by Colla are similar as several observers of his time. For common observation day, only Stark significantly recorded more groups than Colla. Moreover, we have calculated the sunspot area and positions from Colla's sunspot drawings concluding that both areas and positions recorded by this observer seem unreal. Therefore, Colla's drawings can be interpreted such as sketches including reliable information on the number of groups but the information on sunspot areas and positions should not be used for scientific purposes.


title: Revisiting the Amplitude of Solar Cycle 9: The Case of Sunspot Observations by W.C. Bond

abstract: William Cranch Bond, director of the Harvard College Observatory in mid-19th century, carried out detailed sunspot observations during the period 1847-1849. We highlight Bond was the observer with the highest daily number of sunspot groups observed in Solar Cycle 9 recording 18 groups on 26 December 1848 according to the current sunspot group database. However, we have detected significant mistakes in these counts due to the use of sunspot position tables instead of solar drawings. Therefore, we have revisited the sunspot observations made by Bond, establishing a new group counting. Our new counts of the sunspot groups from Bond's drawings indicate that solar activity was previously overestimated. Moreover, after this new counting, Bond would not be the astronomer who recorded the highest daily group number for Solar Cycle 9 but Schmidt with 16 groups on 14 February 1849. We have also indicated the new highest annual group numbers recorded by any observer for the period 1847-1849 in order to correct those values applied in the "brightest star" method, which is used as a rough indicator of the solar activity level. Furthermore, a comparison between Bond's sunspot records and the sunspot observations made by Schwabe and Wolf is shown. We conclude that the statistics of Wolf and Bond are similar regarding to the group count. Additionally, Schwabe was able to observe smaller groups than Bond.


title: SPIRAL2 Cryomodules Models: a Gateway to Process Control and Machine Learning

abstract: From simple physical systems to full production lines, numerical models could be used to minimize downtime and to optimize performances. In this article, the system of interest is the SPIRAL2 (Syst\`eme de Production d'Ions RAdioactifs en Ligne de 2e g\'en\'eration) particles accelerator cryogenic system. This paper illustrates three totally different applications based on a SPIRAL2 cryostat model: optimal controller synthesis, virtual sensor synthesis and anomaly detection. The tow firsts applications have been deployed on the system. Experimental results are used to illustrate the benefits of such applications.


title: Error Prediction of Douglas-Rachford Algorithm for Linear Inverse Problems: Asymptotics of Proximity Operator for Squared Loss

abstract: Proximal splitting-based convex optimization is a promising approach to linear inverse problems because we can use some prior knowledge of the unknown variables explicitly. An understanding of the behavior of the optimization algorithms would be important for the tuning of the parameters and the development of new algorithms. In this paper, we first analyze the asymptotic property of the proximity operator for the squared loss function, which appears in the update equations of some proximal splitting methods for linear inverse problems. The analysis shows that the output of the proximity operator can be characterized with a scalar random variable in the large system limit. Moreover, we investigate the asymptotic behavior of the Douglas-Rachford algorithm, which is one of the famous proximal splitting methods. From the resultant conjecture, we can predict the evolution of the mean squared error (MSE) in the algorithm for large-scale linear inverse problems. Simulation results demonstrate that the MSE performance of the Douglas-Rachford algorithm can be well predicted by the analytical result in compressed sensing with the $\ell_{1}$ optimization.


title: 3-D Global modelling of the early martian climate under a dense CO2+H2 atmosphere and for a wide range of surface water inventories

abstract: CO2+H2 greenhouse warming has recently emerged as a promising scenario to sufficiently warm the early martian surface to allow the formation of valley networks and lakes. Here we present numerical 3-D global climate simulations of the early martian climate that we have performed assuming dense CO2+H2 atmospheres. Our climate model, derived from earlier works by Forget et al. (2013) and Wordsworth et al. (2013), is coupled to an asynchronous model of the long-term evolution of martian glaciers and lakes. Simulations were carried out at 40{\deg} obliquity to investigate how (i) water content and (ii) H2 content (added to 1 or 2 bars of CO2) can shape the climate and hydrologic cycle of early Mars. We show that the adiabatic cooling mechanism (Wordsworth et al. 2013) that leads to the accumulation of ice deposits in the southern highlands in cold climate (the so called 'icy highland scenario') also works in warm climates, with impact crater lakes acting as the main water reservoirs. This produces rainfall mainly localized in the southern highlands of Mars. If one adjust (i) the amount of CO2 and H2, (ii) the size and location of the water reservoirs, and (iii) the ancient topography (i.e. by removing Tharsis), the spatial patterns of surface runoff (from rainfall or snowmelt) in the simulations can match -- with a few exceptions -- the observed distribution of valley networks and impact crater lakes. Although our results are obtained for CO2-dominated atmospheres enriched with H2, they should also apply to assess the impact of any combination of powerful long-lived greenhouse gases on early Mars.


title: NGTS 15b, 16b, 17b and 18b: four hot Jupiters from the Next Generation Transit Survey

abstract: We report the discovery of four new hot Jupiters with the Next Generation Transit Survey (NGTS). NGTS-15b, NGTS-16b, NGTS-17b, and NGTS-18b are short-period ($P<5$d) planets orbiting G-type main sequence stars, with radii and masses between $1.10-1.30$ $R_J$ and $0.41-0.76$ $M_J$. By considering the host star luminosities and the planets' small orbital separations ($0.039-0.052$ AU), we find that all four hot Jupiters are highly irradiated and therefore occupy a region of parameter space in which planetary inflation mechanisms become effective. Comparison with statistical studies and a consideration of the planets' high incident fluxes reveals that NGTS-16b, NGTS-17b, and NGTS-18b are indeed likely inflated, although some disparities arise upon analysis with current Bayesian inflationary models. However, the underlying relationships which govern radius inflation remain poorly understood. We postulate that the inclusion of additional hyperparameters to describe latent factors such as heavy element fraction, as well as the addition of an updated catalogue of hot Jupiters, would refine inflationary models, thus furthering our understanding of the physical processes which give rise to inflated planets.


title: A metrological characterization of the SPEED test-bed PIAACMC components

abstract: The segmented pupil experiment for exoplanet detection (SPEED) facility aims to improve knowledge and insight into various areas required for gearing up high-contrast imaging instruments adapted to the unprecedented high angular resolution and complexity of the forthcoming extremely large telescopes (ELTs). SPEED combines an ELT simulator, cophasing optics, wavefront control and shaping with a multi-deformable mirror (DM) system, and optimized small inner-working angle (IWA) coronagraphy. The fundamental objective of the SPEED setup is to demonstrate deep contrast into a dark hole optimized for small field of view and very small IWA, adapted to the hunt of exoplanets in the habitable zone around late-type stars. SPEED is designed to implement an optimized small IWA coronagraph: the phase-induced amplitude apodization complex mask coronagraph (PIAACMC). The PIAACMC consists in a multi-zone phase-shifting focal plane mask (FPM) and two apodization mirrors (PIAA-M1 and PIAA-M2), with strong manufacturing specifications. Recently, a first-generation prototype of a PIAACMC optimized for the SPEED facility has been designed and manufactured. The manufacturing components exhibit high optical quality that meets specifications. In this paper, we present how these components have been characterized by a metrological instrument, an interferential microscope, and then we show what is yielded from this characterization for the FPM and the mirrors. Eventually, we discuss the results and the perspectives of the implementation of the PIAACMC components on the SPEED setup.


title: Extrapolation of compactness on weighted Morrey spaces

abstract: In a previous work, "compact versions" of Rubio de Francia's weighted extrapolation theorem were proved, which allow one to extrapolate the compactness of an linear operator from just one space to the full range of weighted Lebesgue spaces, where this operator is bounded. In this paper, we extend these results to the setting of weighted Morrey spaces. As applications, we easily obtain new results on the weighted compactness of commutators of Calder\'on--Zygmund singular integrals, rough singular integrals and Bochner--Riesz multipliers.


title: Advances in 3D scattering tomography of cloud micro-physics

abstract: We introduce new adjustments and advances in space-borne 3D volumetric scattering-tomography of cloud micro-physics. The micro-physical properties retrieved are the liquid water content and effective radius within a cloud. New adjustments include an advanced perspective polarization imager model, and the assumption of 3D variation of the effective radius. Under these assumptions, we advanced the retrieval to yield results that (compared to the simulated ground-truth) have smaller errors than the prior art. Elements of our advancement include initialization by a parametric horizontally-uniform micro-physical model. The parameters of this initialization are determined by a grid search of the cost function. Furthermore, we added viewpoints corresponding to single-scattering angles, where polarization yields enhanced sensitivity to the droplet micro-physics (i.e., the cloudbow region). In addition, we introduce an optional adjustment, in which optimization of the liquid water content and effective radius are separated to alternating periods. The suggested initialization model and additional advances have been evaluated by retrieval of a set of large-eddy simulation clouds.


title: Data-driven inference on optimal input-output properties of polynomial systems with focus on nonlinearity measures

abstract: In the context of dynamical systems, nonlinearity measures quantify the strength of nonlinearity by means of the distance of their input-output behaviour to a set of linear input-output mappings. In this paper, we establish a framework to determine nonlinearity measures and other optimal input-output properties for nonlinear polynomial systems without explicitly identifying a model but from a finite number of input-state measurements which are subject to noise. To this end, we deduce from data for the unidentified ground-truth system three possible set-membership representations, compare their accuracy, and prove that they are asymptotically consistent with respect to the amount of samples. Moreover, we leverage these representations to compute guaranteed upper bounds on nonlinearity measures and the corresponding optimal linear approximation model via semi-definite programming. Furthermore, we extend the established framework to determine optimal input-output properties described by time domain hard integral quadratic constraints.


title: Thermal motion of skyrmion arrays in granular films

abstract: Magnetic skyrmions are topologically-distinct swirls of magnetic moments which display particle-like behaviour, including the ability to undergo thermally-driven diffusion. In this paper we study the thermally activated motion of arrays of skyrmions using temperature dependent micromagnetic simulations where the skyrmions form spontaneously. In particular, we study the interaction of skyrmions with grain boundaries, which are a typical feature of sputtered ultrathin films used in experimental devices. We find the interactions lead to two distinct regimes. For longer lag times the grains lead to a reduction in the diffusion coefficient, which is strongest for grain sizes similar to the skyrmion diameter. At shorter lag times the presence of grains enhances the effective diffusion coefficient due to the gyrotropic motion of the skyrmions induced by their interactions with grain boundaries. For grain sizes significantly larger than the skyrmion diameter clustering of the skyrmions occurs in grains with lower magnetic anisotropy.


title: Future Frame Prediction for Robot-assisted Surgery

abstract: Predicting future frames for robotic surgical video is an interesting, important yet extremely challenging problem, given that the operative tasks may have complex dynamics. Existing approaches on future prediction of natural videos were based on either deterministic models or stochastic models, including deep recurrent neural networks, optical flow, and latent space modeling. However, the potential in predicting meaningful movements of robots with dual arms in surgical scenarios has not been tapped so far, which is typically more challenging than forecasting independent motions of one arm robots in natural scenarios. In this paper, we propose a ternary prior guided variational autoencoder (TPG-VAE) model for future frame prediction in robotic surgical video sequences. Besides content distribution, our model learns motion distribution, which is novel to handle the small movements of surgical tools. Furthermore, we add the invariant prior information from the gesture class into the generation process to constrain the latent space of our model. To our best knowledge, this is the first time that the future frames of dual arm robots are predicted considering their unique characteristics relative to general robotic videos. Experiments demonstrate that our model gains more stable and realistic future frame prediction scenes with the suturing task on the public JIGSAWS dataset.


title: Faster quantum-inspired algorithms for solving linear systems

abstract: We establish an improved classical algorithm for solving linear systems in a model analogous to the QRAM that is used by quantum linear solvers. Precisely, for the linear system $A\x = \b$, we show that there is a classical algorithm that outputs a data structure for $\x$ allowing sampling and querying to the entries, where $\x$ is such that $\|\x - A^{+}\b\|\leq \epsilon \|A^{+}\b\|$. This output can be viewed as a classical analogue to the output of quantum linear solvers. The complexity of our algorithm is $\widetilde{O}(\kappa_F^4 \kappa^2/\epsilon^2 )$, where $\kappa_F = \|A\|_F\|A^{+}\|$ and $\kappa = \|A\|\|A^{+}\|$. This improves the previous best algorithm [Gily{\'e}n, Song and Tang, arXiv:2009.07268] of complexity $\widetilde{O}(\kappa_F^6 \kappa^6/\epsilon^4)$. Our algorithm is based on the randomized Kaczmarz method, which is a particular case of stochastic gradient descent. We also find that when $A$ is row sparse, this method already returns an approximate solution $\x$ in time $\widetilde{O}(\kappa_F^2)$, while the best quantum algorithm known returns $\ket{\x}$ in time $\widetilde{O}(\kappa_F)$ when $A$ is stored in the QRAM data structure. As a result, assuming access to QRAM and if $A$ is row sparse, the speedup based on current quantum algorithms is quadratic.


title: Lighting Enhancement Aids Reconstruction of Colonoscopic Surfaces

abstract: High screening coverage during colonoscopy is crucial to effectively prevent colon cancer. Previous work has allowed alerting the doctor to unsurveyed regions by reconstructing the 3D colonoscopic surface from colonoscopy videos in real-time. However, the lighting inconsistency of colonoscopy videos can cause a key component of the colonoscopic reconstruction system, the SLAM optimization, to fail. In this work we focus on the lighting problem in colonoscopy videos. To successfully improve the lighting consistency of colonoscopy videos, we have found necessary a lighting correction that adapts to the intensity distribution of recent video frames. To achieve this in real-time, we have designed and trained an RNN network. This network adapts the gamma value in a gamma-correction process. Applied in the colonoscopic surface reconstruction system, our light-weight model significantly boosts the reconstruction success rate, making a larger proportion of colonoscopy video segments reconstructable and improving the reconstruction quality of the already reconstructed segments.


title: Plasmonically enhanced spectrally selective narrowband MWIR and LWIR light detection based on hybrid nanopatterned graphene and phase changing vanadium oxide heterostructure operating close to room temperature

abstract: We present the model of an ultrasensitive mid-infrared (mid-IR) photodetector operating in the mid-wavelength infrared (MWIR) and long-wavelength infrared (LWIR) domains consisting of a hybrid heterostructure made of nanopatterned graphene (NPG) and vanadium dioxide (VO$_2$) which exhibits a large responsivity of $R\sim 10^4$ V/W, a detectivity exceeding $D^*\sim 10^{10}$ J, and a sensitivity in terms of noise-equivalent power $\mathrm{NEP}\sim 100$ fW/$\sqrt{\rm Hz}$ close to room temperature by taking advantage of the phase change of a thin VO$_2$ film. Our proposed photodetector can reach an absorption of nearly 100\% in monolayer graphene due to localized surface plasmons (LSPs) around the patterned circular holes. The geometry of the nanopattern and an electrostatic gate potential can be used to tune the absorption peak in the mid-IR regime between 3 and 12 $\mu$m. After the photon absorption by the NPG sheet and the resulting phase change of VO$_2$ from insulating to metallic phase the applied bias voltage $V_b$ triggers a current through the VO$_2$ sheet, which can be detected electronically in about 1 ms, shorter than the detection times of current VO$_2$ bolometers. Our envisioned mid-IR photodetector reaches detectivities of cryogenically cooled HgCdTe photodetectors and sensitivities larger than VO$_2$ microbolometers while operating close to room temperature.


title: Real-Time, Deep Synthetic Aperture Sonar (SAS) Autofocus

abstract: Synthetic aperture sonar (SAS) requires precise time-of-flight measurements of the transmitted/received waveform to produce well-focused imagery. It is not uncommon for errors in these measurements to be present resulting in image defocusing. To overcome this, an \emph{autofocus} algorithm is employed as a post-processing step after image reconstruction to improve image focus. A particular class of these algorithms can be framed as a sharpness/contrast metric-based optimization. To improve convergence, a hand-crafted weighting function to remove "bad" areas of the image is sometimes applied to the image-under-test before the optimization procedure. Additionally, dozens of iterations are necessary for convergence which is a large compute burden for low size, weight, and power (SWaP) systems. We propose a deep learning technique to overcome these limitations and implicitly learn the weighting function in a data-driven manner. Our proposed method, which we call Deep Autofocus, uses features from the single-look-complex (SLC) to estimate the phase correction which is applied in $k$-space. Furthermore, we train our algorithm on batches of training imagery so that during deployment, only a single iteration of our method is sufficient to autofocus. We show results demonstrating the robustness of our technique by comparing our results to four commonly used image sharpness metrics. Our results demonstrate Deep Autofocus can produce imagery perceptually better than common iterative techniques but at a lower computational cost. We conclude that Deep Autofocus can provide a more favorable cost-quality trade-off than alternatives with significant potential of future research.


title: Dipper-like variability of the Gaia alerted young star V555 Ori

abstract: V555 Ori is a T Tauri star, whose 1.5 mag brightening was published as a Gaia science alert in 2017. We carried out optical and near-infrared photometric, and optical spectroscopic observations to understand the light variations. The light curves show that V555 Ori was faint before 2017, entered a high state for about a year, and returned to the faint state by mid-2018. In addition to the long-term flux evolution, quasi-periodic brightness oscillations were also evident, with a period of about 5 days. At optical wavelengths both the long-term and short-term variations exhibited colourless changes, while in the near-infrared they were consistent with changing extinction. We explain the brightness variations as the consequence of changing extinction. The object has a low accretion rate whose variation in itself would not be enough to reproduce the optical flux changes. This behaviour makes V555 Ori similar to the pre-main sequence star AA Tau, where the light changes are interpreted as periodic eclipses of the star by a rotating inner disc warp. The brightness maximum of V555 Ori was a moderately obscured ($A_V$=2.3 mag) state, while the extinction in the low state was $A_V$=6.4 mag. We found that while the Gaia alert hinted at an accretion burst, V555 Ori is a standard dipper, similar to the prototype AA Tau. However, unlike in AA Tau, the periodic behaviour was also detectable in the faint phase, implying that the inner disc warp remained stable in both the high and low states of the system.


title: Lp estimates for the Caffarelli-Silvestre extension operators

abstract: We study elliptic and parabolic problems governed by the singular elliptic operators Delta_x+c\yD_y-b\y^2 on the half-space R^{N+1}_+.


title: Lorentz Quantum Computer

abstract: A theoretical model of computation is proposed based on Lorentz quantum mechanics. Besides the standard qubits, this model has an additional bit, which we call hyperbolic bit (or hybit in short). A set of basic logical gates are constructed and their universality is proved. As an application, a search algorithm is designed for this computer model and is found to be exponentially faster than the Grover's search algorithm.


title: A Quasi-centralized Collision-free Path Planning Approach for Multi-Robot Systems

abstract: This paper presents a novel quasi-centralized approach for collision-free path planning of multi-robot systems (MRS) in obstacle-ridden environments. A new formation potential fields (FPF) concept is proposed around a virtual agent, located at the center of the formation which ensures self-organization and maintenance of the formation. The path of the virtual agent is centrally planned and the robots at the minima of the FPF are forced to move along with the virtual agent. In the neighborhood of obstacles, individual robots selfishly avoid collisions, thus marginally deviating from the formation. The proposed quasi-centralized approach introduces formation flexibility into the MRS, which enables MRS to effectively navigate in an obstacle-ridden workspace. Methodical analysis of the proposed approach and guidelines for selecting the FPF are presented. Results using a candidate FPF are shown that ensure a pentagonal formation effectively squeezes through a narrow passage avoiding any collisions with the walls.


title: Preventing Technical Debt by Technical Debt Aware Project Management

abstract: Technical Debts (TD) are problems of the internal software quality. They are often contracted due to tight project deadlines, for example quick fixes and workarounds, and can make future changes more costly or impossible. TD prevention should be more important than TD repayment, because subsequent refactoring and reengineering is usually more expensive than building the right solution from the beginning. While there are numerous works on TD repayment, solutions for TD prevention are understudied. This paper evaluates a framework that focuses on both TD prevention and TD repayment. It was developed by and applied in an IT unit of a publishing house. The unique contribution of this framework is the integration of TD management into project management. The evaluation was carried out by a study based on ticket statistics and a structured survey with participants from the observed IT unit and a comparison unit. The evaluation shows that the adoption of this framework leads to a raised awareness for the contraction of TD. This results in benefits like more rational discussions and decisions, TD prevention and timelier repayment of TD tickets.


title: In-flight actuator failure recovery of a hexrotor via multiple models and extended high-gain observers

abstract: We study an in-flight actuator failure recovery problem for a hexrotor UAV. The hexrotor may experience external disturbances and modeling error, which are accounted for in the control design and distinguished from an actuator failure. A failure of any one actuator occurs during flight and must be identified quickly and accurately. This is achieved through the use of a multiple-model, multiple extended high-gain observer (EHGO) based output feedback control strategy. The family of EHGOs are responsible for estimating states, disturbances, and are used to select the appropriate model based on the system dynamics after a failure has occurred. The proposed method is theoretically analyzed and validated through simulations and experiments.


title: Measurements of $W^+W^-+\ge 1~$jet production cross-sections in $pp$ collisions at $\sqrt{s}=13~$TeV with the ATLAS detector

abstract: Fiducial and differential measurements of $W^+W^-$ production in events with at least one hadronic jet are presented. These cross-section measurements are sensitive to the properties of electroweak-boson self-interactions and provide a test of perturbative quantum chromodynamics and the electroweak theory. The analysis is performed using proton$-$proton collision data collected at $\sqrt{s}=13~$TeV with the ATLAS experiment, corresponding to an integrated luminosity of 139$~$fb$^{-1}$. Events are selected with exactly one oppositely charged electron$-$muon pair and at least one hadronic jet with a transverse momentum of $p_{\mathrm{T}}>30~$GeV and a pseudorapidity of $|\eta|<4.5$. After subtracting the background contributions and correcting for detector effects, the jet-inclusive $W^+W^-+\ge 1~$jet fiducial cross-section and $W^+W^-+$ jets differential cross-sections with respect to several kinematic variables are measured, thus probing a previously unexplored event topology at the LHC. These measurements include leptonic quantities, such as the lepton transverse momenta and the transverse mass of the $W^+W^-$ system, as well as jet-related observables such as the leading jet transverse momentum and the jet multiplicity. Limits on anomalous triple-gauge-boson couplings are obtained in a phase space where interference between the Standard Model amplitude and the anomalous amplitude is enhanced.


title: Constrained Radar Waveform Design for Range Profiling

abstract: Range profiling refers to the measurement of target response along the radar slant range. It plays an important role in automatic target recognition. In this paper, we consider the design of transmit waveform to improve the range profiling performance of radar systems. Two design metrics are adopted for the waveform optimization problem: one is to maximize the mutual information between the received signal and the target impulse response (TIR); the other is to minimize the minimum mean-square error for estimating the TIR. In addition, practical constraints on the waveforms are considered, including an energy constraint, a peak-to-average-power-ratio constraint, and a spectral constraint. Based on minorization-maximization, we propose a unified optimization framework to tackle the constrained waveform design problem. Numerical examples show the superiority of the waveforms synthesized by the proposed algorithms.


title: Learning How to Optimize Black-Box Functions With Extreme Limits on the Number of Function Evaluations

abstract: We consider black-box optimization in which only an extremely limited number of function evaluations, on the order of around 100, are affordable and the function evaluations must be performed in even fewer batches of a limited number of parallel trials. This is a typical scenario when optimizing variable settings that are very costly to evaluate, for example in the context of simulation-based optimization or machine learning hyperparameterization. We propose an original method that uses established approaches to propose a set of points for each batch and then down-selects from these candidate points to the number of trials that can be run in parallel. The key novelty of our approach lies in the introduction of a hyperparameterized method for down-selecting the number of candidates to the allowed batch-size, which is optimized offline using automated algorithm configuration. We tune this method for black box optimization and then evaluate on classical black box optimization benchmarks. Our results show that it is possible to learn how to combine evaluation points suggested by highly diverse black box optimization methods conditioned on the progress of the optimization. Compared with the state of the art in black box minimization and various other methods specifically geared towards few-shot minimization, we achieve an average reduction of 50\% of normalized cost, which is a highly significant improvement in performance.


title: Evidence for Higgs boson decays to a low-mass dilepton system and a photon in pp collisions at $\sqrt{s} =$ 13 TeV with the ATLAS detector

abstract: A search for the Higgs boson decaying into a photon and a pair of electrons or muons with an invariant mass $m_{\ell\ell} < 30$ GeV is presented. The analysis is performed using 139 fb$^{-1}$ of proton-proton collision data, produced by the LHC at a centre-of-mass energy of 13 TeV and collected by the ATLAS experiment. Evidence for the $H \rightarrow \ell \ell \gamma$ process is found with a significance of 3.2$\sigma$ over the background-only hypothesis, compared to an expected significance of 2.1$\sigma$. The best-fit value of the signal strength parameter, defined as the ratio of the observed signal yield to the one expected in the Standard Model, is $\mu = 1.5 \pm 0.5$. The Higgs boson production cross-section times the $H \rightarrow\ell\ell\gamma$ branching ratio for $m_{\ell\ell} <$ 30 GeV is determined to be 8.7 $^{+2.8}_{-2.7}$ fb.


title: Electrophoretic Molecular Communication with Time-Varying Electric Fields

abstract: This article investigates a novel electrophoretic molecular communication mechanism that utilizes a time-varying electric field, which induces time-varying molecule velocities and in turn improves communication performance. For a sinusoidal field, we specify favorable signal parameters (e.g., phase and frequency) that yield excellent communication link performance. We also analytically derive an optimized field function by formulating an appropriate cost function and solving the Euler-Lagrange equation. In our setup, the field strength is proportional to the molecular velocity; we verify this assumption by solving the Basset-Boussinesq-Oseen equation for a given time-varying electric field (forcing function) and examining its implications for practical physical parameterizations of the system. Our analysis and Monte-Carlo simulation results demonstrate that the proposed time-varying approach can significantly increase the number of information-carrying molecules expected to be observed at the receiver and reduce the bit-error probability compared to the constant field benchmark.


title: Bicomplex Mittag-Leffler Function and Properties

abstract: With the increasing importance of the Mittag-Leffler function in the physical applications, these days many researchers are studying various generalizations and extensions of the Mittag-Leffler function. In this paper efforts are made to define bicomplex extension of the Mittag-Leffler function and also its analyticity and region of convergence are discussed. Various properties of the bicomplex Mittag-Leffler function including integral representation, recurrence relations, duplication formula and differential relations are established.


title: Contextual Biasing of Language Models for Speech Recognition in Goal-Oriented Conversational Agents

abstract: Goal-oriented conversational interfaces are designed to accomplish specific tasks and typically have interactions that tend to span multiple turns adhering to a pre-defined structure and a goal. However, conventional neural language models (NLM) in Automatic Speech Recognition (ASR) systems are mostly trained sentence-wise with limited context. In this paper, we explore different ways to incorporate context into a LSTM based NLM in order to model long range dependencies and improve speech recognition. Specifically, we use context carry over across multiple turns and use lexical contextual cues such as system dialog act from Natural Language Understanding (NLU) models and the user provided structure of the chatbot. We also propose a new architecture that utilizes context embeddings derived from BERT on sample utterances provided during inference time. Our experiments show a word error rate (WER) relative reduction of 7% over non-contextual utterance-level NLM rescorers on goal-oriented audio datasets.


title: Exploring the Nature of EUV Waves in a Radiative Magnetohydrodynamic Simulation

abstract: Coronal extreme-ultraviolet (EUV) waves are large-scale disturbances propagating in the corona, whose physical nature and origin have been discussed for decades. We report the first three dimensional (3D) radiative magneto-hydrodynamic (RMHD) simulation of a coronal EUV wave and the accompanying quasi-periodic wave trains. The numerical experiment is conducted with the MURaM code and simulates the formation of solar active regions through magnetic flux emergence from the convection zone to the corona. The coronal EUV wave is driven by the eruption of a magnetic flux rope that also gives rise to a C-class flare. It propagates in a semi-circular shape with an initial speed ranging from about 550 to 700 km s$^{-1}$, which corresponds to an average Mach number (relative to fast magnetoacoustic waves) of about 1.2. Furthermore, the abrupt increase of the plasma density, pressure and tangential magnetic field at the wavefront confirms fast-mode shock nature of the coronal EUV wave. Quasi-periodic wave trains with a period of about 30 s are found as multiple secondary wavefronts propagating behind the leading wavefront and ahead of the erupting magnetic flux rope. We also note that the true wavefront in the 3D space can be very inhomogeneous, however, the line-of-sight integration of EUV emission significantly smoothes the sharp structures in 3D and leads to a more diffuse wavefront.


title: A vector Riemann-Hilbert approach to the Muttalib-Borodin ensembles

abstract: In this paper, we consider Muttalib-Borodin ensemble of Laguerre type, a determinantal point process over $[0,\infty)$ which depends on the varying weights $x^{\alpha}e^{-nV(x)}$, $\alpha>-1$, and a parameter $\theta$. For $\theta$ being a positive integer, we derive asymptotics of the associated biorthogonal polynomials near the origin for a large class of potential functions $V$ as $n\to \infty$. This further allows us to establish the hard edge scaling limit of the correlation kernel, which is previously only known in the special cases and conjectured to be universal. Our proof is based on the Deift/Zhou nonlinear steepest descent analysis of two $1 \times 2$ vector-valued Riemann-Hilbert problems that characterize the biorthogonal polynomials and the explicit constructions of $(\theta+1)\times(\theta+1)$ local parametrices near the origin in terms of the Meijer G-functions.


title: Stability of some vector bundles on Hilbert schemes of points on K3 surfaces

abstract: Let $X$ be a projective K3 surfaces. In two examples where there exists a fine moduli space $M$ of stable vector bundles on $X$, isomorphic to a Hilbert scheme of points, we prove that the universal family $\mathcal{E}$ on $X\times M$ can be understood as a complete flat family of stable vector bundles on $M$ parametrized by $X$, which identifies $X$ with a smooth connected component of some moduli space of stable sheaves on $M$.


title: Rapidly-converging multigrid reconstruction of cone-beam tomographic data

abstract: In the context of large-angle cone-beam tomography (CBCT), we present a practical iterative reconstruction (IR) scheme designed for rapid convergence as required for large datasets. The robustness of the reconstruction is provided by the "space-filling" source trajectory along which the experimental data is collected. The speed of convergence is achieved by leveraging the highly isotropic nature of this trajectory to design an approximate deconvolution filter that serves as a pre-conditioner in a multi-grid scheme. We demonstrate this IR scheme for CBCT and compare convergence to that of more traditional techniques.


title: Targeted Vaccination Strategies for an Infinite-dimensional SIS Model

abstract: We formalize and study the problem of optimal allocation strategies for a (perfect) vaccine in the infinite-dimensional SIS model. The question may be viewed as a bi-objective minimization problem, where one tries to minimize simultaneously the cost of the vaccination, and a loss that may be either the effective reproduction number, or the proportion of the infected population in the endemic state. We prove the existence of Pareto optimal strategies, describe the corresponding Pareto frontier in both cases, and study its convexity and stability properties. We also show that vaccinating according to the profile of the endemic state is a critical allocation, in the sense that, if the initial reproduction number is larger than 1, then this vaccination strategy yields an effective reproduction number equal to 1.


title: Contacts and upstream modes explain the electron-hole asymmetry in the graphene quantum Hall regime

abstract: Observations of electron-hole asymmetry in transport through graphene devices at high magnetic field challenge prevalent models of the graphene quantum Hall effect. Here, we study this asymmetry both in conventional magnetotransport and in scanning gate microscopy maps measured in an encapsulated graphene constriction. We reveal that the presence of upstream modes and local doping in the vicinity of electrical contacts leads to a totally different picture of topological breakdown for electrons and holes, explaining the observed asymmetry.


title: Exploiting dijet resonance searches for flavor physics

abstract: In this work, we reinterpret ATLAS and CMS dijet resonance searches to set robust constraints on all hypothetical tree-level scalar and vector mediators with masses up to 5 TeV, assuming a diquark or a quark-antiquark coupling with an arbitrary flavor composition. To illustrate the application of these general results, we quantify the permissible size of new physics in $\bar B_q\to D_q^{(*)+} \,\{\pi, K\}$ consistent with the absence of signal in dijet resonance searches. Along the way, we perform a full SMEFT analysis of the aforementioned non-leptonic $B$ meson decays at leading-order in $\alpha_s$. Our findings uncover a pressing tension between the new physics explanations of recently reported anomalies in these decays and the dijet resonant searches. The high-$p_T$ constraints are crucial to drain the parameter space consistent with the low-$p_T$ flavor physics data.


title: Generalized infinite factorization models

abstract: Factorization models express a statistical object of interest in terms of a collection of simpler objects. For example, a matrix or tensor can be expressed as a sum of rank-one components. However, in practice, it can be challenging to infer the relative impact of the different components as well as the number of components. A popular idea is to include infinitely many components having impact decreasing with the component index. This article is motivated by two limitations of existing methods: (1) lack of careful consideration of the within component sparsity structure; and (2) no accommodation for grouped variables and other non-exchangeable structures. We propose a general class of infinite factorization models that address these limitations. Theoretical support is provided, practical gains are shown in simulation studies, and an ecology application focusing on modelling bird species occurrence is discussed.


title: Structure Inducing Pre-Training

abstract: Language model pre-training and derived methods are incredibly impactful in machine learning. However, there remains considerable uncertainty on exactly why pre-training helps improve performance for fine-tuning tasks. This is especially true when attempting to adapt language-model pre-training to domains outside of natural language. Here, we analyze this problem by exploring how existing pre-training methods impose relational structure in their induced per-sample latent spaces -- i.e., what constraints do pre-training methods impose on the distance or geometry between the pre-trained embeddings of two samples $\vec x_i$ and $\vec x_j$. Through a comprehensive review of existing pre-training methods, we find that this question remains open. This is true despite theoretical analyses demonstrating the importance of understanding this form of induced structure. Based on this review, we introduce a descriptive framework for pre-training that allows for a granular, comprehensive understanding of how relational structure can be induced. We present a theoretical analysis of this framework from first principles and establish a connection between the relational inductive bias of pre-training and fine-tuning performance. We also show how to use the framework to define new pre-training methods. We build upon these findings with empirical studies on benchmarks spanning 3 data modalities and ten fine-tuning tasks. These experiments validate our theoretical analyses, inform the design of novel pre-training methods, and establish consistent improvements over a compelling suite of baseline methods.


title: Probabilistic Forecasting of Regional Net-load with Conditional Extremes and Gridded NWP

abstract: The increasing penetration of embedded renewables makes forecasting net-load, consumption less embedded generation, a significant and growing challenge. Here a framework for producing probabilistic forecasts of net-load is proposed with particular attention given to the tails of predictive distributions, which are required for managing risk associated with low-probability events. Only small volumes of data are available in the tails, by definition, so estimation of predictive models and forecast evaluation requires special attention. We propose a solution based on a best-in-class load forecasting methodology adapted for net-load, and model the tails of predictive distributions with the Generalised Pareto Distribution, allowing its parameters to vary smoothly as functions of covariates. The resulting forecasts are shown to be calibrated and sharper than those produced with unconditional tail distributions. In a use-case inspired evaluation exercise based on reserve setting, the conditional tails are shown to reduce the overall volume of reserve required to manage a given risk. Furthermore, they identify periods of high risk not captured by other methods. The proposed method therefore enables user to both reduce costs and avoid excess risk.


title: Flavor Mixing of Quarks and a New Texture

abstract: We discuss a new mass matrix with specific texture zeros for the quarks. The three flavor mixing angles for the quarks are functions of the quark masses and can be calculated. The following ratios among CKM matrix elements are given by ratios of quark masses: |Vtd/Vts| ' q md /ms and |Vub/Vcb| ' p mu/mc . Also we can calculate two CKM matrix elements: |Vcb| ' |Vts| ' 2 (ms/mb ). This relation as well as the relation |Vtd/Vts| ' q md /ms are in good agreement with the experimental data. There is a problem with the relation |Vub/Vcb| ' p mu/mc , probably due to wrong estimates of the quark masses mu and m


title: Optimal soil sampling design based on the maxvol algorithm

abstract: Spatial soil sampling is an integral part of a soil survey aimed at creating a soil map. We propose considering the soil sampling procedure as a task of optimal design. In practical terms, optimal experiments can reduce experimentation costs, as they allow the researcher to obtain one optimal set of points. We present a sampling design, based on the fundamental idea of selecting sample locations by performing an optimal design method called the maxvol algorithm. It is shown that the maxvol-base algorithm has a high potential for practical usage. Our method outperforms popular sampling methods in soil taxa prediction based on topographical features of the site and deals with massive agricultural datasets in a reasonable time.


title: An antisite defect mechanism for room temperature ferroelectricity in orthoferrites

abstract: Single-phase multiferroic materials that allow the coexistence of ferroelectric and magnetic ordering above room temperature are highly desirable, motivating an ongoing search for mechanisms for unconventional ferroelectricity in magnetic oxides. Here, we report an antisite defect mechanism for room temperature ferroelectricity in epitaxial thin films of yttrium orthoferrite, YFeO3, a perovskite-structured canted antiferromagnet. A combination of piezoresponse force microscopy, atomically resolved elemental mapping with aberration corrected scanning transmission electron microscopy and density functional theory calculations reveals that the presence of YFe antisite defects facilitates a non-centrosymmetric distortion promoting ferroelectricity. This mechanism is predicted to work analogously for other rare earth orthoferrites, with a dependence of the polarization on the radius of the rare earth cation. Furthermore, a vertically aligned nanocomposite consisting of pillars of a magnetoelastic oxide CoFe2O4 embedded epitaxially in the YFeO3 matrix exhibits both robust ferroelectricity and ferrimagnetism at room temperature, as well as a noticeable strain-mediated magnetoelectric coupling effect. Our work uncovers the distinctive role of antisite defects in providing a novel mechanism for ferroelectricity in a range of magnetic orthoferrites and further augments the functionality of this family of complex oxides for multiferroic applications.


title: Investigate Indistinguishable Points in Semantic Segmentation of 3D Point Cloud

abstract: This paper investigates the indistinguishable points (difficult to predict label) in semantic segmentation for large-scale 3D point clouds. The indistinguishable points consist of those located in complex boundary, points with similar local textures but different categories, and points in isolate small hard areas, which largely harm the performance of 3D semantic segmentation. To address this challenge, we propose a novel Indistinguishable Area Focalization Network (IAF-Net), which selects indistinguishable points adaptively by utilizing the hierarchical semantic features and enhances fine-grained features for points especially those indistinguishable points. We also introduce multi-stage loss to improve the feature representation in a progressive way. Moreover, in order to analyze the segmentation performances of indistinguishable areas, we propose a new evaluation metric called Indistinguishable Points Based Metric (IPBM). Our IAF-Net achieves the comparable results with state-of-the-art performance on several popular 3D point cloud datasets e.g. S3DIS and ScanNet, and clearly outperforms other methods on IPBM.


title: Minimal vertex covers in infinite hypergraphs

abstract: In this paper a hypergraph will be identified with the family of its edges. A hypergraph $\mathcal E$ possesses property $C(k,{\rho})$ iff $|\bigcap \mathcal E'|<{\rho}$ for each $\mathcal E'\in {[\mathcal E]}^{k}$. A vertex set $Y\subset \bigcup\mathcal E$ is a "vertex cover" of $\mathcal E$ iff $E\cap Y\ne \emptyset$ for each $E\in \mathcal E$. A vertex cover $Y$ is "minimal" iff no proper subset of $Y$ is vertex cover. If $A$ is a set and $S$ is a set of cardinals, write $$ {[A]}^{S}=\{B\subset A: |B|\in S\}. $$ If ${\lambda}$ and ${\rho}$ are cardinals, $S$ is a set of cardinals, $k\in {\omega}$, then we write $$\mathbf M({{\lambda}},{S},{k},{{\mu}})\to \mathbf{MinVC} $$ iff every hypergraph $\mathcal E\subset {[{\lambda}]}^{S}$ possessing property $C({k},{{\rho}})$ has a minimal vertex cover. If $S=\{\kappa\}$, then we simply write $\mathbf M({{\lambda}},{\kappa},{k},{{\mu}})\to \mathbf{MinVC}$ for $\mathbf M({{\lambda}},\{{\kappa}\},{k},{{\mu}})\to \mathbf{MinVC}$ A set $S$ of cardinals is "nowhere stationary" iff $S\cap {\alpha}$ is not stationary in ${\alpha}$ for any ordinal ${\alpha}$ with $cf({\alpha})>{\omega}$. Countable sets of cardinals, and sets of successor cardinals are nowhere stationary. In this paper we prove: (1) $\mathbf M({{\lambda}},{S},{2},{k})\to \mathbf{MinVC}$ for each nowhere stationary set $S$ of cardinals and ${\omega}\le {\lambda}$, (2) $\mathbf M({{\lambda}},{{\kappa}} ,{2},{{\rho}})\to \mathbf{MinVC}$ provided ${\rho}<\beth_{\omega}\le {\kappa}\le {\lambda}$, (3) $\mathbf M({{\lambda}},{{\omega}},{r},{k})\to \mathbf{MinVC}$ provided ${\omega}\le {\lambda}$ and $k,r\in {\omega}$, (4) $\mathbf M({{\lambda}},{{\omega}_1},{3},{k})\to \mathbf{MinVC}$ provided ${\omega}_1\le {\lambda}$ and $k\in {\omega}$.


title: Half-integer anomalous currents in 2D materials from a QFT viewpoint

abstract: Charge carriers in Dirac/Weyl semi-metals exhibit a relativistic-like behavior. In this work we propose a novel type of intrinsic half-integer Quantum Hall effect in 2D materials, thereby also offering a topological protection mechanism for the current. Its existence is rooted in the 2D parity anomaly, without any need for a perpendicular magnetic field. We conjecture that it may occur in disturbed honeycomb lattices where both spin degeneracy and time reversal symmetry are broken. These configurations harbor two distinct gap-opening mechanisms that, when occurring simultaneously, drive slightly different gaps in each valley, causing a net anomalous conductivity when the chemical potential is tuned to be between the distinct gaps. Some examples of promising material setups that fulfill the prerequisites of our proposal are also listed to motivate looking for the effect at the numerical and experimental level.


title: Gas Dynamics in the Galaxy: Total Mass Distribution and the Bar Pattern Speed

abstract: Gas morphology and kinematics in the Milky Way contain key information for understanding the formation and evolution of our Galaxy. We present a high resolution hydrodynamical simulation based on a realistic barred Milky Way potential constrained by recent observations. Our model can reproduce most features in the observed longitude-velocity diagram, including the Central Molecular Zone, the Near and Far 3-kpc arms, the Molecular Ring, and the spiral arm tangents. It can also explain the non-circular motions of masers obtained by the recent BeSSeL2 survey. The central gas kinematics are consistent with a mass of $6.9\times10^8\; {\rm M}_{\odot}$ in the Nuclear Stellar Disk. Our model predicts the formation of an elliptical gaseous ring surrounding the bar, which is composed of the 3-kpc arms, Norma arm, and the bar-spiral interfaces. This ring is similar to those "inner" rings in some Milky Way analogs with a boxy/peanut-shaped bulge. The kinematics of gas near the solar neighbourhood are governed by the Local arm, which is induced by the four major stellar spiral arms. The bar pattern speed constrained by our gas model is $37.5-40\; {\rm km}\;{\rm s}^{-1}\;{\rm kpc}^{-1}$, corresponding to a corotation radius of $R_{\rm CR}=6.0-6.4\;{\rm kpc}$. The rotation curve of our model rises gently within the central $\sim5\;{\rm kpc}$, which is significantly less steep than those predicted by modern zoom-in cosmological simulations such as Auriga.


title: Spectral Monic Chebyshev Approximation for Higher Order Differential Equations

abstract: This paper is focused on performing a new method for solving linear and nonlinear higher-order boundary value problems (HBVPs). This direct numerical method based on spectral method. The trial function of this method is the Monic Chebyshev polynomials (MCPs). This method was relying on derivative of MCPs which explicit in the series expansion. The advantage of this method is solved HBVPs without transforming it to a system of lower-order ordinary differential equations (ODEs). This method supported by examples of HBVPs in wide application. The mentioned examples showed that the proposed method is efficient and accurate.


title: Circuit quantum electrodynamics (cQED) with modular quasi-lumped models

abstract: Extracting the Hamiltonian of interacting quantum-information processing systems is a keystone problem in the realization of complex phenomena and large-scale quantum computers. The remarkable growth of the field increasingly requires precise, widely-applicable, and modular methods that can model the quantum electrodynamics of the physical circuits, and even of their more-subtle renormalization effects. Here, we present a computationally-efficient method satisfying these criteria. The method partitions a quantum device into compact lumped or quasi-distributed cells. Each is first simulated individually. The composite system is then reduced and mapped to a set of simple subsystem building blocks and their pairwise interactions. The method operates within the quasi-lumped approximation and, with no further approximation, systematically accounts for constraints, couplings, parameter renormalizations, and non-perturbative loading effects. We experimentally validate the method on large-scale, state-of-the-art superconducting quantum processors. We find that the full method improves the experimental agreement by a factor of two over taking standard coupling approximations when tested on the most sensitive and dressed Hamiltonian parameters of the measured devices.


title: Multipolar Modeling of Spatially Dispersive Metasurfaces

abstract: There is today a growing need to accurately model the angular scattering response of metasurfaces for optical analog processing applications. However, the current metasurface modeling techniques are not well suited for such a task since they are limited to small angular spectrum transformations, as shall be demonstrated. The goal of this work is to overcome this limitation by improving the modeling accuracy of these techniques and, specifically, to provide a better description of the angular response of metasurfaces. This is achieved by extending the current methods, which are restricted to dipolar responses and weak spatially dispersive effects, so as to include quadrupolar responses and higher-order spatially dispersive components. The accuracy of the newly derived multipolar model is demonstrated by predicting the angular scattering of a dielectric metasurface. This results in a modeling accuracy that is at least two times better than the standard dipolar model.


title: A Framework for Energy and Carbon Footprint Analysis of Distributed and Federated Edge Learning

abstract: Recent advances in distributed learning raise environmental concerns due to the large energy needed to train and move data to/from data centers. Novel paradigms, such as federated learning (FL), are suitable for decentralized model training across devices or silos that simultaneously act as both data producers and learners. Unlike centralized learning (CL) techniques, relying on big-data fusion and analytics located in energy hungry data centers, in FL scenarios devices collaboratively train their models without sharing their private data. This article breaks down and analyzes the main factors that influence the environmental footprint of FL policies compared with classical CL/Big-Data algorithms running in data centers. The proposed analytical framework takes into account both learning and communication energy costs, as well as the carbon equivalent emissions; in addition, it models both vanilla and decentralized FL policies driven by consensus. The framework is evaluated in an industrial setting assuming a real-world robotized workplace. Results show that FL allows remarkable end-to-end energy savings (30%-40%) for wireless systems characterized by low bit/Joule efficiency (50 kbit/Joule or lower). Consensus-driven FL does not require the parameter server and further reduces emissions in mesh networks (200 kbit/Joule). On the other hand, all FL policies are slower to converge when local data are unevenly distributed (often 2x slower than CL). Energy footprint and learning loss can be traded off to optimize efficiency.


title: Shifted Monic Ultraspherical Approximation for solving some of Fractional Orders Differential Equations

abstract: The purpose of this paper is to show and explain a new formula that indicates with finality the derivatives of Shifted Monic Ultraspherical polynomials (SMUPs) of any degree and for any fractional-order using the shifted Monic Ultraspherical polynomials themselves. We also create a direct method solution for the linear or nonlinear multi-order fractional differential equations (FDEs) with constant coefficients involving a spectral Galerkin method. The spatial approximation with its fractional order derivatives (described in the Caputo sense) are built using shifted Monic Ultraspherical polynomials.


title: Costello's pushforward formula: errata and generalization

abstract: K. Costello's Pushforward Formula is not correct as stated. We verify it holds under an assumption of properness or of a weaker notion we call "purity." We then check many papers that used this formula to make sure it holds in their context.


title: Dense sumsets of Sidon sequences

abstract: Let $k \ge 2$ be an integer. We say a set $A$ of positive integers is an asymptotic basis of order $k$ if every large enough positive integer can be represented as the sum of $k$ terms from $A$. A set of positive integers $A$ is called Sidon set if all the two terms sums formed by the elements of $A$ are different. Many years ago P. Erd\H{o}s, A. S\'ark\"ozy and V. T. S\'os asked whether there exists a Sidon set which is asymptotic basis of order $3$. In this paper we prove the existence of a Sidon set $A$ with positive lower density of the three fold sumset $A + A + A$ by using probabilistic methods.


title: The Case for High-Accuracy Classification: Think Small, Think Many!

abstract: To facilitate implementation of high-accuracy deep neural networks especially on resource-constrained devices, maintaining low computation requirements is crucial. Using very deep models for classification purposes not only decreases the neural network training speed and increases the inference time, but also need more data for higher prediction accuracy and to mitigate false positives. In this paper, we propose an efficient and lightweight deep classification ensemble structure based on a combination of simple color features, which is particularly designed for "high-accuracy" image classifications with low false positives. We designed, implemented, and evaluated our approach for explosion detection use-case applied to images and videos. Our evaluation results based on a large test test show considerable improvements on the prediction accuracy compared to the popular ResNet-50 model, while benefiting from 7.64x faster inference and lower computation cost. While we applied our approach to explosion detection, our approach is general and can be applied to other similar classification use cases as well. Given the insight gained from our experiments, we hence propose a "think small, think many" philosophy in classification scenarios: that transforming a single, large, monolithic deep model into a verification-based step model ensemble of multiple small, simple, lightweight models with narrowed-down color spaces can possibly lead to predictions with higher accuracy.


title: Comments on the Weyl-Wigner calculus for lattice models

abstract: Here, we clarify the physical aspects between the discrete Weyl-Wigner (W-W) formalism, well developed in condensed matter physics, and the so-called 'precise Weyl-Wigner calculus for lattice models' recently appearing in the literature. We point out that the use of compact continuous momentum space for a discrete lattice model is unphysically founded. It has an incommensurate phase space, highly unphysical, lacks the finite fields aspects, as exemplified by the Born-von Karman boundary condition of compactified Bravais lattice of solid-state physics, and leads to several ambiguities. This new W-W formalism simply lacks bijective Fourier transformation, which is well-known to support the uncertainty principle of canonical conjugate dynamical variables of quantum physics. Moreover, this new W-W formalism for lattice models failed to handle the quantum physics of qubits, representing two discrete lattice sites.


title: Global Solutions of Semilinear Parabolic Equations with Drift Term on Riemannian Manifolds

abstract: We study existence and non-existence of global solutions to the semilinear heat equation with a drift term and a power-like source term, on Cartan-Hadamard manifolds. Under suitable assumptions on Ricci and sectional curvatures, we show that global solutions cannot exists if the initial datum is large enough. Furthermore, under appropriate conditions on the drift term, global existence is obtained, if the initial datum is sufficiently small. We also deal with Riemannian manifolds whose Ricci curvature tends to zero at infinity sufficiently fast.


title: Swallowtails and cone-like singularities on maxface

abstract: When a connected component of the set of singular points of the maxface $X$ consists of only generalized cone-like singular points, we construct a sequence of maxfaces $X_n$, with an increasing number of swallowtails, converging to the maxface $X$. We include the general discussion toward this.


title: Strong modeling limits of graphs with bounded tree-width

abstract: The notion of first order convergence of graphs unifies the notions of convergence for sparse and dense graphs. Ne\v{s}et\v{r}il and Ossona de Mendez [J. Symbolic Logic 84 (2019), 452-472] proved that every first order convergent sequence of graphs from a nowhere-dense class of graphs has a modeling limit and conjectured the existence of such modeling limits with an additional property, the strong finitary mass transport principle. The existence of modeling limits satisfying the strong finitary mass transport principle was proved for first order convergent sequences of trees by Ne\v{s}et\v{r}il and Ossona de Mendez [Electron. J. Combin. 23 (2016), P2.52] and for first order sequences of graphs with bounded path-width by Gajarsk\'y et al. [Random Structures Algorithms 50 (2017), 612-635]. We establish the existence of modeling limits satisfying the strong finitary mass transport principle for first order convergent sequences of graphs with bounded tree-width.


title: Impact of Task Cycle Pattern on Project Success in Software Crowdsourcing

abstract: Crowdsourcing is becoming an accepted method of software development for different phases in the production lifecycle. Ideally, mass parallel production through Crowdsourcing could be an option for rapid acquisition in software engineering by leveraging infinite worker resource on the internet. It is important to understand the patterns and strategies of decomposing and uploading parallel tasks to maintain a stable worker supply as well as a satisfactory task completion rate. This research report is an empirical analysis of the available tasks' lifecycle patterns in crowdsourcing. Following the waterfall model in Crowdsourced Software Development (CSD), this research identified four patterns for the sequence of task arrival per project: 1) Prior Cycle, 2) Current Cycle, 3) Orbit Cycle, and 4) Fresh Cycle.


title: Calibrating galaxy formation effects in galactic tests of fundamental physics

abstract: Galactic scale tests have proven to be powerful tools in constraining fundamental physics in previously under-explored regions of parameter space. The astrophysical regime which they probe is inherently complicated, and the inference methods used to make these constraints should be robust to baryonic effects. Previous analyses have assumed simple empirical models for astrophysical noise without detailed calibration or justification. We outline a framework for assessing the reliability of such methods by constructing and testing more advanced baryonic models using cosmological hydrodynamical simulations. As a case study, we use the Horizon-AGN simulation to investigate warping of stellar disks and offsets between gas and stars within galaxies, which are powerful probes of screened fifth forces. We show that the degree of `U'-shaped warping of galaxies is well modelled by Gaussian random noise, but that the magnitude of the gas-star offset is correlated with the virial radius of the host halo. By incorporating this correlation we confirm recent results ruling out astrophysically relevant Hu-Sawicki $f(R)$ gravity, and identify a $\sim 30\%$ systematic uncertainty due to baryonic physics. Such an analysis must be performed case-by-case for future galactic tests of fundamental physics.


title: The equidistribution of some Mahonian statistics over permutations avoiding a pattern of length three

abstract: We prove the equidistribution of several multistatistics over some classes of permutations avoiding a $3$-length pattern. We deduce the equidistribution, on the one hand of inv and foze" statistics, and on the other hand that of maj and makl statistics, over these classes of pattern avoiding permutations. Here inv and maj are the celebrated Mahonian statistics, foze" is one of the statistics defined in terms of generalized patterns in the 2000 pioneering paper of Babson and Steingr\'imsson, and makl is one of the statistics defined by Clarke, Steingr\'imsson and Zeng in 1997. These results solve several conjectures posed by Amini in 2018.


title: Approximating singularities by a cuspidal edge on a maxface

abstract: We give necessary and sufficient conditions on the singular Bj\"{o}rling data to the singular Bj\"{o}rling problem's solution has a prescribed nature of singularity. As an application, we prove that near a maxface with a particular type of singularity, there is another maxface having a cuspidal-edge. An example of a maxface having various types of singularities is also given.


title: Nearest-Neighbor Queries in Customizable Contraction Hierarchies and Applications

abstract: Customizable contraction hierarchies are one of the most popular route planning frameworks in practice, due to their simplicity and versatility. In this work, we present a novel algorithm for finding k-nearest neighbors in customizable contraction hierarchies by systematically exploring the associated separator decomposition tree. Compared to previous bucket-based approaches, our algorithm requires much less target-dependent preprocessing effort. Moreover, we use our novel approach in two concrete applications. The first application are online k-closest point-of-interest queries, where the points of interest are only revealed at query time. We achieve query times of about 25 milliseconds on a continental road network, which is fast enough for interactive systems. The second application is travel demand generation. We show how to accelerate a recently introduced travel demand generator by a factor of more than 50 using our novel nearest-neighbor algorithm.


title: GLM: General Language Model Pretraining with Autoregressive Blank Infilling

abstract: There have been various types of pretraining architectures including autoencoding models (e.g., BERT), autoregressive models (e.g., GPT), and encoder-decoder models (e.g., T5). However, none of the pretraining frameworks performs the best for all tasks of three main categories including natural language understanding (NLU), unconditional generation, and conditional generation. We propose a General Language Model (GLM) based on autoregressive blank infilling to address this challenge. GLM improves blank filling pretraining by adding 2D positional encodings and allowing an arbitrary order to predict spans, which results in performance gains over BERT and T5 on NLU tasks. Meanwhile, GLM can be pretrained for different types of tasks by varying the number and lengths of blanks. On a wide range of tasks across NLU, conditional and unconditional generation, GLM outperforms BERT, T5, and GPT given the same model sizes and data, and achieves the best performance from a single pretrained model with 1.25x parameters of BERT Large , demonstrating its generalizability to different downstream tasks.


title: Shock and shear layer interaction in a confined supersonic cavity flow

abstract: The impinging shock of varying strengths on the free shear layer in a confined supersonic cavity flow is studied numerically using the detached-eddy simulation. The resulting spatiotemporal variations are analyzed between the different cases using unsteady statistics, $x-t$ diagrams, spectral analysis, and modal decomposition. A cavity of length to depth ratio $[L/D]=2$ at a freestream Mach number of $M_\infty = 1.71$ is considered to be in a confined passage. Impinging shock strength is controlled by changing the ramp angle ($\theta$) on the top-wall. The static pressure ratio across the impinging shock ($p_2/p_1$) is used to quantify the impinging shock strength. Five different impinging shock strengths are studied by changing the pressure ratio: $1.0,1.2,1.5,1.7$ and $2.0$. As the pressure ratio increases from 1.0 to 2.0, the cavity wall experiences a maximum pressure of 25% due to shock loading. At [$p_2/p_1]=1.5$, fundamental fluidic mode or Rossiter's frequency corresponding to $n=1$ mode vanishes whereas frequencies correspond to higher modes ($n=2$ and $4$) resonate. Wavefronts interaction from the longitudinal reflections inside the cavity with the transverse disturbances from the shock-shear layer interactions is identified to drive the strong resonant behavior. Due to Mach-reflections inside the confined passage at $[p_2/p_1]=2.0$, shock-cavity resonance is lost. Based on the present findings, an idea to use a shock-laden confined cavity flow in an enclosed supersonic wall-jet configuration as passive flow control or a fluidic device is also demonstrated.


title: Arithmetic $\mathcal{D}$-modules over Laurent series fields: absolute case

abstract: Let $k$ be a perfect field of characteristic $p>0$. Within Berthelot's theory of arithmetic $\mathcal{D}$-modules, we construct a $p$-adic formalism of Grothendieck's six operations for quasi-projective schemes over $\mathrm{Spec} k[[t]]$.


title: A Subjective Study on Videos at Various Bit Depths

abstract: Bit depth adaptation, where the bit depth of a video sequence is reduced before transmission and up-sampled during display, can potentially reduce data rates with limited impact on perceptual quality. In this context, we conducted a subjective study on a UHD video database, BVI-BD, to explore the relationship between bit depth and visual quality. In this work, three bit depth adaptation methods are investigated, including linear scaling, error diffusion, and a novel adaptive Gaussian filtering approach. The results from a subjective experiment indicate that above a critical bit depth, bit depth adaptation has no significant impact on perceptual quality, while reducing the amount information that is required to be transmitted. Below the critical bit depth, advanced adaptation methods can be used to retain `good' visual quality (on average) down to around 2 bits per color channel for the outlined experimental setup - a large reduction compared to the typically used 8 bits per color channel. A selection of image quality metrics were subsequently bench-marked on the subjective data, and analysis indicates that a bespoke quality metric is required for bit depth adaptation.


title: When $K=[0,1]$ Weak Separation Condition coincides Finite type Condition

abstract: This study is about the Iterated Function System (IFS) of similarities on $\mathbb R$ that satisfies Weak Separation property (WSP). We explore if this implies Finite type property. We look into the most simple case with condition that closed interval [0,1] is an attractor of the IFS. The necessity of this condition is not strict but still unknown.


title: Best estimator for bivariate Poisson regression

abstract: INTRODUCTION: Wald's, the likelihood ratio (LR) and Rao's score tests and their corresponding confidence intervals (CIs), are the three most common estimators of parameters of Generalized Linear Models. On finite samples, these estimators are biased. The objective of this work is to analyze the coverage errors of the CI estimators in small samples for the log-Poisson model (i.e. estimation of incidence rate ratio) with innovative evaluation criteria, taking in account the overestimation/underestimation unbalance of coverage errors and the variable inclusion rate and follow-up in epidemiological studies. METHODS: Exact calculations equivalent to Monte Carlo simulations with an infinite number of simulations have been used. Underestimation errors (due to the upper bound of the CI) and overestimation coverage errors (due to the lower bound of the CI) have been split. The level of confidence has been analyzed from $0.95$ to $1-10^{-6}$, allowing the interpretation of P-values below $10^{-6}$ for hypothesis tests. RESULTS: The LR bias was small (actual coverage errors less than 1.5 times the nominal errors) when the expected number of events in both groups was above 1, even when unbalanced (e.g. 10 events in one group vs 1 in the other). For 95% CI, Wald's and the Score estimators showed high bias even when the number of events was large ($\geq 20$ in both groups) when groups were unbalanced. For small P-values ($<10^{-6}$), the LR kept acceptable bias while Wald's and the score P-values had severely inflated errors ($\times 100$). CONCLUSION: The LR test and LR CI should be used.


title: Fast Consensus via the Unconstrained Undecided State Dynamics

abstract: We consider the plurality consensus problem among $n$ agents. Initially, each agent has one of $k$ different opinions. Agents choose random interaction partners and revise their state according to a fixed transition function, depending on their own state and the state of the interaction partners. The goal is to reach a consensus configuration in which all agents agree on the same opinion, and if there is initially a sufficiently large bias towards one opinion, that opinion should prevail. We analyze a synchronized variant of the undecided state dynamics defined as follows. The agents act in phases, consisting of a decision and a boosting part. In the decision part, any agent that encounters an agent with a different opinion becomes undecided. In the boosting part, undecided agents adopt the first opinion they encounter. We consider this dynamics in the population model and the gossip model. For the population model, our protocol reaches consensus (w.h.p.) in $O(\log^2 n)$ parallel time, providing the first polylogarithmic result for $k > 2$ (w.h.p.) in this model. Without any assumption on the bias, fast consensus has only been shown for $k = 2$ for the unsynchronized version of the undecided state dynamics [Clementi et al., MFCS'18]. We show that the synchronized variant of the undecided state dynamics reaches consensus (w.h.p.) in time $O(\log^2 n)$, independently of the initial number, bias, or distribution of opinions. In both models, we guarantee that if there is an initial bias of $\Omega(\sqrt{n \log n})$, then (w.h.p.) that opinion wins. A simple extension of our protocol in the gossip model yields a dynamics that does not depend on $n$ or $k$, is anonymous, and has (w.h.p.) runtime $O(\log^2 n)$. This solves an open problem formulated by Becchetti et al.~[Distributed Computing,~2017].


title: Neural Multi-Hop Reasoning With Logical Rules on Biomedical Knowledge Graphs

abstract: Biomedical knowledge graphs permit an integrative computational approach to reasoning about biological systems. The nature of biological data leads to a graph structure that differs from those typically encountered in benchmarking datasets. To understand the implications this may have on the performance of reasoning algorithms, we conduct an empirical study based on the real-world task of drug repurposing. We formulate this task as a link prediction problem where both compounds and diseases correspond to entities in a knowledge graph. To overcome apparent weaknesses of existing algorithms, we propose a new method, PoLo, that combines policy-guided walks based on reinforcement learning with logical rules. These rules are integrated into the algorithm by using a novel reward function. We apply our method to Hetionet, which integrates biomedical information from 29 prominent bioinformatics databases. Our experiments show that our approach outperforms several state-of-the-art methods for link prediction while providing interpretability.


title: MSMatch: Semi-Supervised Multispectral Scene Classification with Few Labels

abstract: Supervised learning techniques are at the center of many tasks in remote sensing. Unfortunately, these methods, especially recent deep learning methods, often require large amounts of labeled data for training. Even though satellites acquire large amounts of data, labeling the data is often tedious, expensive and requires expert knowledge. Hence, improved methods that require fewer labeled samples are needed. We present MSMatch, the first semi-supervised learning approach competitive with supervised methods on scene classification on the EuroSAT and UC Merced Land Use benchmark datasets. We test both RGB and multispectral images of EuroSAT and perform various ablation studies to identify the critical parts of the model. The trained neural network achieves state-of-the-art results on EuroSAT with an accuracy that is up to 19.76% better than previous methods depending on the number of labeled training examples. With just five labeled examples per class, we reach 94.53% and 95.86% accuracy on the EuroSAT RGB and multispectral datasets, respectively. On the UC Merced Land Use dataset, we outperform previous works by up to 5.59% and reach 90.71% with five labeled examples. Our results show that MSMatch is capable of greatly reducing the requirements for labeled data. It translates well to multispectral data and should enable various applications that are currently infeasible due to a lack of labeled data. We provide the source code of MSMatch online to enable easy reproduction and quick adoption.


title: Combining Pessimism with Optimism for Robust and Efficient Model-Based Deep Reinforcement Learning

abstract: In real-world tasks, reinforcement learning (RL) agents frequently encounter situations that are not present during training time. To ensure reliable performance, the RL agents need to exhibit robustness against worst-case situations. The robust RL framework addresses this challenge via a worst-case optimization between an agent and an adversary. Previous robust RL algorithms are either sample inefficient, lack robustness guarantees, or do not scale to large problems. We propose the Robust Hallucinated Upper-Confidence RL (RH-UCRL) algorithm to provably solve this problem while attaining near-optimal sample complexity guarantees. RH-UCRL is a model-based reinforcement learning (MBRL) algorithm that effectively distinguishes between epistemic and aleatoric uncertainty and efficiently explores both the agent and adversary decision spaces during policy learning. We scale RH-UCRL to complex tasks via neural networks ensemble models as well as neural network policies. Experimentally, we demonstrate that RH-UCRL outperforms other robust deep RL algorithms in a variety of adversarial environments.


title: Torsor Structures on Spanning Trees

abstract: We study two actions of the (degree 0) Picard group on the set of the spanning trees of a finite ribbon graph. It is known that these two actions, denoted $\beta_q$ and $\rho_q$ respectively, are independent of the base vertex $q$ if and only if the ribbon graph is planar. Baker and Wang conjectured that in a nonplanar ribbon graph without multiple edges there always exists a vertex $q$ for which $\rho_q\neq\beta_q$. We prove the conjecture and extend it to a class of ribbon graphs with multiple edges. We also give explicit examples exploring the relationship between the two torsor structures in the nonplanar case.


title: A flux reconstruction kinetic scheme for the Boltzmann equation

abstract: It is challenging to solve the Boltzmann equation accurately due to the extremely high dimensionality and nonlinearity. This paper addresses the idea and implementation of the first flux reconstruction method for high-order Boltzmann solutions. Based on the Lagrange interpolation and reconstruction, the kinetic upwind flux functions are solved simultaneously within physical and particle velocity space. The fast spectral method is incorporated to solve the full Boltzmann collision integral with a general collision kernel. The explicit singly diagonally implicit Runge-Kutta (ESDIRK) method is employed as time integrator and the stiffness of the collision term is smoothly overcome. Besides, we ensure the shock capturing property by introducing a self-adaptive artificial dissipation, which is derived naturally from the effective cell Knudsen number at the kinetic scale. As a result, the current flux reconstruction kinetic scheme can be universally applied in all flow regimes. Numerical experiments including wave propagation, normal shock structure, one-dimensional Riemann problem, Couette flow and lid-driven cavity will be presented to validate the scheme. The order of convergence of the current scheme is clearly identified. The capability for simulating cross-scale and non-equilibrium flow dynamics is demonstrated.


title: Elliptic problems with rough boundary data in Nikolskii spaces

abstract: We investigate a general elliptic problem given in a bounded Euclidean domain with boundary data in Nikolskii spaces of low, specifically, negative order. The right-hand side of the elliptic differential equation is supposed to be an integrable function. We establish the Fredholm property of the problem, the maximal regularity and a priori estimate of its generalized solutions in the spaces indicated. We give an application of these results to some elliptic problems with boundary conditions induced by a Gaussian white noise.


title: The multiplex decomposition: An analytic framework for multilayer dynamical networks

abstract: Multiplex networks are networks composed of multiple layers such that the number of nodes in all layers is the same and the adjacency matrices between the layers are diagonal. We consider the special class of multiplex networks where the adjacency matrices for each layer are simultaneously triagonalizable. For such networks, we derive the relation between the spectrum of the multiplex network and the eigenvalues of the individual layers. As an application, we propose a generalized master stability approach that allows for a simplified, low-dimensional description of the stability of synchronized solutions in multiplex networks. We illustrate our result with a duplex network of FitzHugh-Nagumo oscillators. In particular, we show how interlayer interaction can lead to stabilization or destabilization of the synchronous state. Finally, we give explicit conditions for the stability of synchronous solutions in duplex networks of linear diffusive systems.


title: Consistency-based Active Learning for Object Detection

abstract: Active learning aims to improve the performance of task model by selecting the most informative samples with a limited budget. Unlike most recent works that focused on applying active learning for image classification, we propose an effective Consistency-based Active Learning method for object Detection (CALD), which fully explores the consistency between original and augmented data. CALD has three appealing benefits. (i) CALD is systematically designed by investigating the weaknesses of existing active learning methods, which do not take the unique challenges of object detection into account. (ii) CALD unifies box regression and classification with a single metric, which is not concerned by active learning methods for classification. CALD also focuses on the most informative local region rather than the whole image, which is beneficial for object detection. (iii) CALD not only gauges individual information for sample selection, but also leverages mutual information to encourage a balanced data distribution. Extensive experiments show that CALD significantly outperforms existing state-of-the-art task-agnostic and detection-specific active learning methods on general object detection datasets. Based on the Faster R-CNN detector, CALD consistently surpasses the baseline method (random selection) by 2.9/2.8/0.8 mAP on average on PASCAL VOC 2007, PASCAL VOC 2012, and MS COCO. Code is available at \url{https://github.com/we1pingyu/CALD}


title: Visualizing Kraus operators for dephasing noise during application of the $\sqrt{\mathrm{\mathrm{SWAP}}}$ quantum gate

abstract: We consider the case of a $\sqrt{\mathrm{SWAP}}$ quantum gate and its optimized entangling action, via continuous dynamical decoupling, in the presence of dephasing noise. We illustrate the procedure in the specific case where only the two-qubit operation is controlled and no single-qubit operations are included in the description. To compare the optimized dynamics in the presence of noise with the ideal case, we use the standard fidelity measure. Then we discuss the importance of using optimized gates in the quantum operational-probabilistic theory. Because of their importance for the explicit construction of the completely positive maps representing the operations, we derive optimized Kraus operators in this specific case, focusing on the entanglement operation. We then show how to visualize the time evolution of each Kraus operator as a curve in a three-dimensional Euclidean space. Finally, we connect this formalism with the operational framework of quantum mechanics by describing a possible set of measurements that could be performed to obtain the Kraus operators.