title: On Performance Comparison of Multi-Antenna HD-NOMA, SCMA and PD-NOMA Schemes

abstract: In this paper, we study the uplink channel throughput performance of a proposed novel multiple-antenna hybrid-domain non-orthogonal multiple access (MA-HD-NOMA) scheme. This scheme combines the conventional sparse code multiple access (SCMA) and power-domain NOMA (PD-NOMA) schemes in order to increase the number of users served as compared to conventional NOMA schemes and uses multiple antennas at the base station. To this end, a joint resource allocation problem for the MA-HD-NOMA scheme is formulated that maximizes the sum rate of the entire system. For a comprehensive comparison, the joint resource allocation problems for the multi-antenna SCMA (MA-SCMA) and multi-antenna PD-NOMA (MA-PD-NOMA) schemes with the same overloading factor are formulated as well. Each of the formulated problems is a mixed-integer non-convex program, and hence, we apply successive convex approximation (SCA)- and reweighted $\ell_1$ minimization-based approaches to obtain rapidly converging solutions. Numerical results reveal that the proposed MA-HD-NOMA scheme has superior performance compared to MA-SCMA and MA-PD-NOMA.


title: On Ramsey-minimal infinite graphs

abstract: For fixed finite graphs $G$, $H$, a common problem in Ramsey theory is to study graphs $F$ such that $F \to (G,H)$, i.e. every red-blue coloring of the edges of $F$ produces either a red $G$ or a blue $H$. We generalize this study to infinite graphs $G$, $H$; in particular, we want to determine if there is a minimal such $F$. This problem has strong connections to the study of self-embeddable graphs: infinite graphs which properly contain a copy of themselves. We prove some compactness results relating this problem to the finite case, then give some general conditions for a pair $(G,H)$ to have a Ramsey-minimal graph. We use these to prove, for example, that if $G=S_\infty$ is an infinite star and $H=nK_2$, $n \ge 1$ is a matching, then the pair $(S_\infty,nK_2)$ admits no Ramsey-minimal graphs.


title: Feedback Effects in Repeat-Use Criminal Risk Assessments

abstract: In the criminal legal context, risk assessment algorithms are touted as data-driven, well-tested tools. Studies known as validation tests are typically cited by practitioners to show that a particular risk assessment algorithm has predictive accuracy, establishes legitimate differences between risk groups, and maintains some measure of group fairness in treatment. To establish these important goals, most tests use a one-shot, single-point measurement. Using a Polya Urn model, we explore the implication of feedback effects in sequential scoring-decision processes. We show through simulation that risk can propagate over sequential decisions in ways that are not captured by one-shot tests. For example, even a very small or undetectable level of bias in risk allocation can amplify over sequential risk-based decisions, leading to observable group differences after a number of decision iterations. Risk assessment tools operate in a highly complex and path-dependent process, fraught with historical inequity. We conclude from this study that these tools do not properly account for compounding effects, and require new approaches to development and auditing.


title: OpenKBP: The open-access knowledge-based planning grand challenge

abstract: The purpose of this work is to advance fair and consistent comparisons of dose prediction methods for knowledge-based planning (KBP) in radiation therapy research. We hosted OpenKBP, a 2020 AAPM Grand Challenge, and challenged participants to develop the best method for predicting the dose of contoured CT images. The models were evaluated according to two separate scores: (1) dose score, which evaluates the full 3D dose distributions, and (2) dose-volume histogram (DVH) score, which evaluates a set DVH metrics. Participants were given the data of 340 patients who were treated for head-and-neck cancer with radiation therapy. The data was partitioned into training (n=200), validation (n=40), and testing (n=100) datasets. All participants performed training and validation with the corresponding datasets during the validation phase of the Challenge, and we ranked the models in the testing phase based on out-of-sample performance. The Challenge attracted 195 participants from 28 countries, and 73 of those participants formed 44 teams in the validation phase, which received a total of 1750 submissions. The testing phase garnered submissions from 28 teams. On average, over the course of the validation phase, participants improved the dose and DVH scores of their models by a factor of 2.7 and 5.7, respectively. In the testing phase one model achieved significantly better dose and DVH score than the runner-up models. Lastly, many of the top performing teams reported using generalizable techniques (e.g., ensembles) to achieve higher performance than their competition. This is the first competition for knowledge-based planning research, and it helped launch the first platform for comparing KBP prediction methods fairly and consistently. The OpenKBP datasets are available publicly to help benchmark future KBP research, which has also democratized KBP research by making it accessible to everyone.


title: Hadron-Quark phase transition in the context of GW190814

abstract: The properties of the neutron stars are calculated for the hadronic matter within the density-dependent relativistic mean-field model (DD-RMF). The phase transition to the quark matter is studied and the hybrid star matter properties are systematically calculated using the Vector-Enhanced Bag model (vBag). The maximum mass of neutron star with DD-LZ1 and DD-RMF parameter sets is found to be around 2.55$M_{\odot}$ for pure hadronic phase and around 2$M_{\odot}$ for hadron-quark mixed phase using both Gibbs and Maxwell construction. The tidal deformability for the hybrid EoS at 1.4$M_{\odot}$, $\Lambda_{1.4}$, remains unchanged from the pure hadronic EoS with Maxwell construction, but decreases with the increasing neutron star mass for Gibbs construction. While the pure hadron matter EoS satisfies the mass constraint from recently observed GW190814 data, implying a stiff neutron star EoS, the hadron-quark phase transition satisfies the constraints from the recent observations GW170817. Therefore, we cannot exclude the possibility of the secondary object in GW190814 as a neutron star with a phase transition to the quark matter that satisfies the 2$M_{\odot}$ maximum mass limit.


title: Unsupervised Constrained Community Detection via Self-Expressive Graph Neural Network

abstract: Graph neural networks (GNNs) are able to achieve promising performance on multiple graph downstream tasks such as node classification and link prediction. Comparatively lesser work has been done to design GNNs which can operate directly for community detection on graphs. Traditionally, GNNs are trained on a semi-supervised or self-supervised loss function and then clustering algorithms are applied to detect communities. However, such decoupled approaches are inherently sub-optimal. Designing an unsupervised loss function to train a GNN and extract communities in an integrated manner is a fundamental challenge. To tackle this problem, we combine the principle of self-expressiveness with the framework of self-supervised graph neural network for unsupervised community detection for the first time in literature. Our solution is trained in an end-to-end fashion and achieves state-of-the-art community detection performance on multiple publicly available datasets.


title: The ion-acoustic turbulence in the skin layer of the inductively coupled plasma

abstract: The theory of the nonmodal ion-acoustic instability in the skin layer of the inductively coupled plasma (ICP) is developed. This instability has time dependent growth rate and is driven by the current formed in the skin layer by the accelerated motion of electrons relative to ions under the action of the ponderomotive force. It is found that the development of the ion acoustic turbulence (IAT) in the skin layer and the scattering of electrons by IAT are basic nonlinear channels of the nonlinear absorption of the RF energy in the skin layer.


title: Theoretical Accuracy Analysis of RSS-Based Range Estimation for Visible Light Communication

abstract: In this paper, an improved channel model of visible light communication (VLC) for ranging in presented. For indoor channel model of VLC, distance is estimated based on received signal strength. In this model, received shot noise as a distance-dependent parameter is considered in range estimation accuracy. Moreover, based on this model, the Cramer-Rao lower bound is computed as the theoretical limits on the performance and accuracy of any unbiased estimator. In this way, the effects of horizontal and vertical distances are investigated. In addition, the transmitted power effect on RSN and accordingly on CRLB is demonstrated.


title: The Hydraulic Analogues of Basic Circuits: Labs for Online Learning Environments

abstract: In this paper we describe a couple of exercises that we developed for our online first-year EM course. The labs that we describe are focused on basic concepts from circuit analysis, namely Ohm's law and charging a capacitor with a constant voltage source and a series resistor. To give students a visual demonstration of these concepts and, simultaneously, provide a means for students to collect their own unique dataset, hydraulic analogues of these electric circuits were built and a series of videos were recorded. Incidentally, the visual demonstrations may also help to alleviate some of the commonly-held student misconceptions about basic circuits. For this reason, even once in-person labs resume, we expect that the hydraulic analogue demonstrations will continue to be useful.


title: Quantum body in uniform magnetic fields

abstract: In this article it will be presented the first attempt made in order to perform gauge invariant calculations of eigenstates of a quantum body in its condensed phase, the latter reacting to an external uniform magnetic field. The target is achieved introducing a new unitary translation operator transforming eigenstates into a new set of eigenstates having different total linear momentum. This new quantum representation solves the problem of calculating the magnetic response of quantum eigenstates of finite or either infinite periodic systems to uniform magnetic fields, where equivalence between the customarily used representation and the new representation has been made.


title: LES and finite-volume CMC modelling of a turbulent lifted H2/N2 flame: effects of CMC mesh resolution and numerical scheme

abstract: Large eddy simulations with three-dimensional finite-volume Conditional Moment Closure (CMC) model are performed for a hydrogen / nitrogen lifted flame with detailed chemical meachanism. The emphasis is laid on the influences of mesh resolution and convection scheme of finite-volume CMC model on predictions of reactive scalar distribution and unsteady flame dynamics. The results show that the lift-off height is underestimated and the reactive scalars (e.g. temperature, H2 and OH) are over-predicted with coarser CMC mesh. It is also found that further refinement of the CMC mesh would not considerably improve the results. The time sequences of the most reactive and stoichiometric OH mass fractions indicate that finer CMC mesh can capture more unsteady details than coarser CMC mesh. Moreover, the coarse CMC mesh has lower conditional scalar dissipation rate, which would promote the ealier auto-ignition of the flame base. Besides, the effects of the convection schemes in the CMC equations on the lifted flame characteristics are also investigated. It is shown that different convection schemes lead to limited differences on the time-averaged temperature, mixture fraction and species mass fractions. Moreover, the RMS values of H2 and OH mass fractions show larger deviation from the measurements with hybrid upwind and central differencing scheme, especially around the flame base. Furthermore, the distributions of the numerical flux on the CMC faces also show obvious distinction between the upwind scheme and the blending scheme. The budget analysis of the individual CMC terms shows that a sequence of CMC faces has comparable contributions with upwind scheme. However, with the hybrid schemes, the instantaneous flux is dominantly from limited CMC faces. The reactivity of a CMC cell is more easily to be affected by its neighbors when the upwind scheme is used.


title: A Data-Driven Study of Commonsense Knowledge using the ConceptNet Knowledge Base

abstract: Acquiring commonsense knowledge and reasoning is recognized as an important frontier in achieving general Artificial Intelligence (AI). Recent research in the Natural Language Processing (NLP) community has demonstrated significant progress in this problem setting. Despite this progress, which is mainly on multiple-choice question answering tasks in limited settings, there is still a lack of understanding (especially at scale) of the nature of commonsense knowledge itself. In this paper, we propose and conduct a systematic study to enable a deeper understanding of commonsense knowledge by doing an empirical and structural analysis of the ConceptNet knowledge base. ConceptNet is a freely available knowledge base containing millions of commonsense assertions presented in natural language. Detailed experimental results on three carefully designed research questions, using state-of-the-art unsupervised graph representation learning ('embedding') and clustering techniques, reveal deep substructures in ConceptNet relations, allowing us to make data-driven and computational claims about the meaning of phenomena such as 'context' that are traditionally discussed only in qualitative terms. Furthermore, our methodology provides a case study in how to use data-science and computational methodologies for understanding the nature of an everyday (yet complex) psychological phenomenon that is an essential feature of human intelligence.


title: Deterministic Certification to Adversarial Attacks via Bernstein Polynomial Approximation

abstract: Randomized smoothing has established state-of-the-art provable robustness against $\ell_2$ norm adversarial attacks with high probability. However, the introduced Gaussian data augmentation causes a severe decrease in natural accuracy. We come up with a question, "Is it possible to construct a smoothed classifier without randomization while maintaining natural accuracy?". We find the answer is definitely yes. We study how to transform any classifier into a certified robust classifier based on a popular and elegant mathematical tool, Bernstein polynomial. Our method provides a deterministic algorithm for decision boundary smoothing. We also introduce a distinctive approach of norm-independent certified robustness via numerical solutions of nonlinear systems of equations. Theoretical analyses and experimental results indicate that our method is promising for classifier smoothing and robustness certification.


title: Fusion reaction of a weakly-bound nucleus with a deformed target

abstract: We discuss the role of deformation of the target nucleus in the fusion reaction of the $^{15}$C + $^{232}$Th system at energies around the Coulomb barrier, for which $^{15}$C is a well-known one-neutron halo nucleus. To this end, we construct the potential between $^{15}$C and $^{232}$Th with the double folding procedure, assuming that the projectile nucleus is composed of the core nucleus, $^{14}$C, and a valance neutron. By taking into account the halo nature of the projectile nucleus as well as the deformation of the target nucleus, we simultaneously reproduce the fusion cross sections for the $^{14}$C + $^{232}$Th and the $^{15}$C + $^{232}$Th systems. Our calculation indicates that the net effect of the breakup and the transfer channels is small for this system.


title: FreezeNet: Full Performance by Reduced Storage Costs

abstract: Pruning generates sparse networks by setting parameters to zero. In this work we improve one-shot pruning methods, applied before training, without adding any additional storage costs while preserving the sparse gradient computations. The main difference to pruning is that we do not sparsify the network's weights but learn just a few key parameters and keep the other ones fixed at their random initialized value. This mechanism is called freezing the parameters. Those frozen weights can be stored efficiently with a single 32bit random seed number. The parameters to be frozen are determined one-shot by a single for- and backward pass applied before training starts. We call the introduced method FreezeNet. In our experiments we show that FreezeNets achieve good results, especially for extreme freezing rates. Freezing weights preserves the gradient flow throughout the network and consequently, FreezeNets train better and have an increased capacity compared to their pruned counterparts. On the classification tasks MNIST and CIFAR-10/100 we outperform SNIP, in this setting the best reported one-shot pruning method, applied before training. On MNIST, FreezeNet achieves 99.2% performance of the baseline LeNet-5-Caffe architecture, while compressing the number of trained and stored parameters by a factor of x 157.


title: Suppression of epitaxial thin film growth by mixing

abstract: We consider following fourth-order parabolic equation with gradient nonlinearity on the two-dimensional torus with and without advection of an incompressible vector field in the case $2<p<3$: \begin{equation*} \partial_t u + (-\Delta)^2 u = -\nabla\cdot(|\nabla u|^{p-2}\nabla u). \end{equation*} The study of this form of equations arises from mathematical models that simulate the epitaxial growth of the thin film. We prove the local existence of mild solutions for any initial data lies in $L^2$ in both cases. Our main result is: in the advective case, if the imposed advection is sufficiently mixing, then the global existence of solution can be proved, and the solution will converge exponentially to a homogeneous mixed state. While in the absence of advection, there exist initial data in $H^2\cap W^{1,\infty}$ such that the solution will blow up in finite time.


title: MRI-guided HIFU Methods for the Ablation of Liver and Renal Cancers

abstract: MRI-guided High Intensity Focused Ultrasound (MRI-HIFU) is a promising method for the non-invasive ablation of pathological tissue in many organs, including mobile organs such as liver and kidney. The possibility to locally deposit thermal energy in a non-invasive way opens a path towards new therapeutic strategies with improved reliability and reduced associated trauma, leading to improved efficacy, reduced hospitalization and costs. Liver and kidney tumors represent a major health problem because not all patients are suitable for curative treatment with surgery. Currently, radio-frequency is the most used method for percutaneous ablation. The development of a completely non-invasive method based on MR guided high intensity focused ultrasound (HIFU) treatments is of particular interest due to the associated reduced burden for the patient, treatment related patient morbidity and complication rate. The objective of MR-guidance is hereby to control heat deposition with HIFU within the targeted pathological area, despite the physiological motion of these organs, in order to provide an effective treatment with a reduced duration and an increased level of patient safety. Regarding this, several technological challenges have to be addressed: Firstly, the anatomical location of both organs within the thoracic cage requires inter-costal ablation strategies, which preserve the therapeutic efficiency, but prevent undesired tissue damage to the ribs and the intercostal muscle. Secondly, both therapy guidance and energy deposition have to be rendered compatible with the continuous physiological motion of the abdomen.


title: High order asymptotic preserving discontinuous Galerkin methods for gray radiative transfer equations

abstract: In this paper, we will develop a class of high order asymptotic preserving (AP) discontinuous Galerkin (DG) methods for nonlinear time-dependent gray radiative transfer equations (GRTEs). Inspired by the work \cite{Peng2020stability}, in which stability enhanced high order AP DG methods are proposed for linear transport equations, we propose to pernalize the nonlinear GRTEs under the micro-macro decomposition framework by adding a weighted linear diffusive term. In the diffusive limit, a hyperbolic, namely $\Delta t=\mathcal{O}(h)$ where $\Delta t$ and $h$ are the time step and mesh size respectively, instead of parabolic $\Delta t=\mathcal{O}(h^2)$ time step restriction is obtained, which is also free from the photon mean free path. The main new ingredient is that we further employ a Picard iteration with a predictor-corrector procedure, to decouple the resulting global nonlinear system to a linear system with local nonlinear algebraic equations from an outer iterative loop. Our scheme is shown to be asymptotic preserving and asymptotically accurate. Numerical tests for one and two spatial dimensional problems are performed to demonstrate that our scheme is of high order, effective and efficient.


title: The deformed Hermitian-Yang-Mills equation on almost Hermitian manifolds

abstract: In this paper, we consider the deformed Hermitian-Yang-Mills equation on closed almost Hermitian manifolds. In the case of hypercritical phase, we derive a priori estimates under the existence of an admissible $\mathcal{C}$-subsolution. As an application, we prove the existence of solutions for the deformed Hermitian-Yang-Mills equation under the condition of existence of a supersolution.


title: Wideband Monitoring Observations of PSR J1803-3002A in the Globular Cluster NGC 6522

abstract: We report the first wideband monitoring observations of PSR J1803-3002A, a relatively bright millisecond pulsar in the globular cluster NGC 6522 with a spin period of 7.1 ms and no known binary companion. These observations were performed using the Parkes 64-m radio telescope with the Ultra-Wideband Low (UWL) receiver system, which covers 704 to 4032 MHz. We confirm that PSR J1803-3002A is an isolated millisecond pulsar located near the cluster center and probe the emission properties of the pulsar over the wide observed band. The mean pulse profile consists of three components, with the outer components becoming more prominent at higher frequencies, and a mean spectral index for the pulsed emission of -1.66+/-0.07 over the observed band. The fractional linear and circular polarization increase with increasing frequency, which is unusual for pulsars. We determine a Faraday rotation measure of -107+/-6 rad m-2 for the pulsar. PSR J1803-3002A is a distant pulsar in the Galactic plane, but there is no evidence of pulse broadening due to interstellar scattering in our observations. These results demonstrate the power of ultra-wideband receiving and signal processing systems.


title: Exciton-trion dynamics of a single molecule in a radio-frequency cavity

abstract: Charged optical excitations (trions) generated by charge carrier injection are crucial for emerging optoelectronic technologies as they can be produced and manipulated by electric fields. Trions and neutral excitons can be efficiently induced in single molecules by means of tip-enhanced spectromicroscopic techniques. However, little is known of the exciton-trion dynamics at single molecule level as this requires methods permitting simultaneous sub-nanometer and sub-nanosecond characterization. Here, we investigate exciton-trion dynamics by phase fluorometry, combining radio-frequency modulated scanning tunnelling luminescence with time-resolved single photon detection. We generate excitons and trions in single Zinc Phthalocyanine (ZnPc) molecules on NaCl/Ag(111), determine their dynamics and trace the evolution of the system in the picosecond range with atomic resolution. In addition, we explore dependence of effective lifetimes on bias voltage and propose a conversion of neutral excitons into trions via charge capture as the primary mechanism of trion formation.


title: On Classifying the Effects of Policy Announcements on Volatility

abstract: The financial turmoil surrounding the Great Recession called for unprecedented intervention by Central Banks: unconventional policies affected various areas in the economy, including stock market volatility. In order to evaluate such effects, by including Markov Switching dynamics within a recent Multiplicative Error Model, we propose a model--based classification of the dates of a Central Bank's announcements to distinguish the cases where the announcement implies an increase or a decrease in volatility, or no effect. In detail, we propose two smoothed probability--based classification methods, obtained as a by--product of the model estimation, which provide very similar results to those coming from a classical k--means clustering procedure. The application on four Eurozone market volatility series shows a successful classification of 144 European Central Bank announcements.


title: Global well-posedness and scattering of the energy critical Maxwell-Klein-Gordon system in the Lorenz gauge

abstract: We study initial value problem of the $(1+4)$-dimensional Maxwell-Klein-Gordon system (MKG) in the Lorenz gauge. Since (MKG) in the Lorenz gauge does not possess an obvious null structure, it is not easy to handle the nonlinearity. To overcome this obstacle, we impose an additional angular regularity. In this paper, we prove global well-posedness and scattering of (MKG) for small data in a scale-invariant space which has extra weighted regularity in the angular variables. Our main improvement is to attain the scaling critical regularity exponent and prove global existence of solutions to (MKG) in the Lorenz gauge.


title: Tilting objects in periodic triangulated categories

abstract: A triangulated category $\mathcal{T}$ whose suspension functor $\Sigma$ satisfies $\Sigma^m \simeq \mathrm{Id}_{\mathcal{T}}$ as additive functors is called an $m$-periodic triangulated category. Such a category does not have a tilting object by the periodicity. In this paper, we introduce the notion of an $m$-periodic tilting object in an $m$-periodic triangulated category, which is a periodic analogue of a tilting object in a triangulated category, and prove that an $m$-periodic triangulated category having an $m$-periodic tilting object is triangulated equivalent to the $m$-periodic derived category of an algebra under some homological assumptions. As an application, we construct a triangulated equivalence between the stable category of a self-injective algebra and the $m$-periodic derived category of a hereditary algebra.


title: Time Series Change Point Detection with Self-Supervised Contrastive Predictive Coding

abstract: Change Point Detection (CPD) methods identify the times associated with changes in the trends and properties of time series data in order to describe the underlying behaviour of the system. For instance, detecting the changes and anomalies associated with web service usage, application usage or human behaviour can provide valuable insights for downstream modelling tasks. We propose a novel approach for self-supervised Time Series Change Point detection method based onContrastivePredictive coding (TS-CP^2). TS-CP^2 is the first approach to employ a contrastive learning strategy for CPD by learning an embedded representation that separates pairs of embeddings of time adjacent intervals from pairs of interval embeddings separated across time. Through extensive experiments on three diverse, widely used time series datasets, we demonstrate that our method outperforms five state-of-the-art CPD methods, which include unsupervised and semi-supervisedapproaches. TS-CP^2 is shown to improve the performance of methods that use either handcrafted statistical or temporal features by 79.4% and deep learning-based methods by 17.0% with respect to the F1-score averaged across the three datasets.


title: Symbolic dynamics and transfer operators for Weyl chamber flows: a class of examples

abstract: We provide special cross sections for the Weyl chamber flow on a sample class of Riemannian locally symmetric spaces of higher rank, namely the direct product spaces of Schottky surfaces. We further present multi-parameter transfer operator families for the discrete dynamical systems on Furstenberg boundary that are related to these cross sections.


title: Development of polar nematic fluids with giant-\k{appa} dielectric properties

abstract: Super-high-\k{appa} materials that exhibit exceptionally high dielectric permittivity are recognized as potential candidates for a wide range of next-generation photonic and electronic devices. Generally, the high dielectricity for achieving a high-\k{appa} state requires a low symmetry of materials so that most of the discovered high-\k{appa} materials are symmetry-broken crystals. There are scarce reports on fluidic high-\k{appa} dielectrics. Here we demonstrate a rational molecular design, supported by machine-learning analyses, that introduces high polarity to asymmetric molecules, successfully realizing super-high-\k{appa} fluid materials (dielectric permittivity, {\epsilon} > 104) and strong second harmonic generation with macroscopic spontaneous polar ordering. The polar structures are confirmed to be identical for all the synthesized materials. Our experiments and computational calculation reveal the unique orientational structures coupled with the emerging polarity. Furthermore, adopting this strategy to high-molecular-weight systems additionally extends the novel material category from monomer to polar polymer materials, creating polar soft matters with spontaneous symmetry breaking.


title: On the triple tensor product of nilpotent Lie algebras

abstract: In this paper, we give the explicit structure of $ \otimes^{3} H $ and $ \wedge^{3} H $ where $ H $ is a generalized Heisenberg Lie algebra of rank at most $ 2. $ Moreover, for a non-abelian nilpotent Lie algebra $ L, $ we obtain an upper bound for the dimension of $ \otimes^{3} L.


title: Semi-Supervised Learning for Sparsely-Labeled Sequential Data: Application to Healthcare Video Processing

abstract: Labeled data is a critical resource for training and evaluating machine learning models. However, many real-life datasets are only partially labeled. We propose a semi-supervised machine learning training strategy to improve event detection performance on sequential data, such as video recordings, when only sparse labels are available, such as event start times without their corresponding end times. Our method uses noisy guesses of the events' end times to train event detection models. Depending on how conservative these guesses are, mislabeled samples may be introduced into the training set. We further propose a mathematical model for explaining and estimating the evolution of the classification performance for increasingly noisier end time estimates. We show that neural networks can improve their detection performance by leveraging more training data with less conservative approximations despite the higher proportion of incorrect labels. We adapt sequential versions of CIFAR-10 and MNIST, and use the Berkeley MHAD and HMBD51 video datasets to empirically evaluate our method, and find that our risk-tolerant strategy outperforms conservative estimates by 3.5 points of mean average precision for CIFAR, 30 points for MNIST, 3 points for MHAD, and 14 points for HMBD51. Then, we leverage the proposed training strategy to tackle a real-life application: processing continuous video recordings of epilepsy patients, and show that our method outperforms baseline labeling methods by 17 points of average precision, and reaches a classification performance similar to that of fully supervised models. We share part of the code for this article.


title: Extended full waveform inversion in the time domain by the augmented Lagrangian method

abstract: Extended full-waveform inversion (FWI) has shown promising results for accurate estimation of subsurface parameters when the initial models are not sufficiently accurate. Frequency-domain applications have shown that the augmented Lagrangian (AL) method solves the inverse problem accurately with a minimal effect of the penalty parameter choice. Applying this method in the time domain, however, is limited by two main factors: (1) The challenge of data-assimilated wavefield reconstruction due to the lack of an explicit time-stepping and (2) The need to store the Lagrange multipliers, which is not feasible for the field-scale problems. We show that these wavefields are efficiently determined from the associated data (projection of the wavefields onto the receivers space) by using explicit time stepping. Accordingly, based on the augmented Lagrangian, a new algorithm is proposed which performs in "data space" (a lower dimensional subspace of the full space) in which the wavefield reconstruction step is replaced by reconstruction of the associated data, thus requiring optimization in a lower dimensional space (convenient for handling the Lagrange multipliers). We show that this new algorithm can be implemented efficiently in the time domain with existing solvers for the FWI and at a cost comparable to that of the FWI while benefiting from the robustness of the extended FWI formulation. The results obtained by numerical examples show high-performance of the proposed method for large scale time-domain FWI.


title: Cutting and tearing thin elastic sheets: two novel single-period cracks and the first period-doubling crack

abstract: Two novel single-period cracks were observed in experiments of cutting a folded sheet with a blunt object and tearing a thin brittle sheet under the guidance of a meterstick. Additionally, we observed a period-doubling crack in the tearing experiment. We cut and tore the sheet in different directions. The experimental results suggested that the anisotropy of the thin sheet played an important role in the formation of these two types of saw-tooth cracks. We demonstrated that the formation of the period-doubling crack was closely correlated with the changing of the contact region between the sheet and the meterstick. We also showed that the growth process of crack made by cutting was a logistic growth process (S-curve), while the cracks made by tearing propagated in the form of approximate power-law function.


title: On compact 4th order finite-difference schemes for the wave equation

abstract: We consider compact finite-difference schemes of the 4th approximation order for an initial-boundary value problem (IBVP) for the $n$-dimensional non-homogeneous wave equation, $n\geq 1$. Their construction is accomplished by both the classical Numerov approach and alternative technique based on averaging of the equation, together with further necessary improvements of the arising scheme for $n\geq 2$. The alternative technique is applicable to other types of PDEs including parabolic and time-dependent Schr\"{o}dinger ones. The schemes are implicit and three-point in each spatial direction and time and include a scheme with a splitting operator for $n\geq 2$. For $n=1$ and the mesh on characteristics, the 4th order scheme becomes explicit and close to an exact four-point scheme. We present a conditional stability theorem covering the cases of stability in strong and weak energy norms with respect to both initial functions and free term in the equation. Its corollary ensures the 4th order error bound in the case of smooth solutions to the IBVP. The main schemes are generalized for non-uniform rectangular meshes. We also give results of numerical experiments showing the sensitive dependence of the error orders in three norms on the weak smoothness order of the initial functions and free term and essential advantages over the 2nd approximation order schemes in the non-smooth case as well.


title: Characterizing Bipartite Consensus on Signed Matrix-Weighted Networks via Balancing Set

abstract: In contrast with the scalar-weighted networks, where bipartite consensus can be achieved if and only if the underlying signed network is structurally balanced, the structural balance property is no longer a graph-theoretic equivalence to the bipartite consensus in the case of signed matrix-weighted networks. To re-establish the relationship between the network structure and the bipartite consensus solution, the non-trivial balancing set is introduced which is a set of edges whose sign negation can transform a structurally imbalanced network into a structurally balanced one and the weight matrices associated with edges in this set have a non-trivial intersection of null spaces. We show that necessary and/or sufficient conditions for bipartite consensus on matrix-weighted networks can be characterized by the uniqueness of the non-trivial balancing set, while the contribution of the associated non-trivial intersection of null spaces to the steady-state of the matrix-weighted network is examined. Moreover, for matrix-weighted networks with a positive-negative spanning tree, necessary and sufficient condition for bipartite consensus using the non-trivial balancing set is obtained. Simulation examples are provided to demonstrate the theoretical results.


title: On semisimple standard compact Clifford-Klein forms

abstract: In this paper we give the classification of standard compact Clifford-Klein forms corresponding to triples (g,h,l) such that g = h+l and g is a sum of two absolutely simple ideals. The classification is done using Onishchik's results concerning semisimple decompositions of semisimple Lie algebras. Using this classification we obtain new examples of reductive homogeneous spaces admitting non-standard compact Clifford-Klein forms.


title: Hijack-GAN: Unintended-Use of Pretrained, Black-Box GANs

abstract: While Generative Adversarial Networks (GANs) show increasing performance and the level of realism is becoming indistinguishable from natural images, this also comes with high demands on data and computation. We show that state-of-the-art GAN models -- such as they are being publicly released by researchers and industry -- can be used for a range of applications beyond unconditional image generation. We achieve this by an iterative scheme that also allows gaining control over the image generation process despite the highly non-linear latent spaces of the latest GAN models. We demonstrate that this opens up the possibility to re-use state-of-the-art, difficult to train, pre-trained GANs with a high level of control even if only black-box access is granted. Our work also raises concerns and awareness that the use cases of a published GAN model may well reach beyond the creators' intention, which needs to be taken into account before a full public release. Code is available at https://github.com/a514514772/hijackgan.


title: On the Free Energy of Solvable lattice Models

abstract: We conjecture the inversion relations for thermalized solvable interaction round the face (IRF) two dimensional lattice models. We base ourselves on an ansatz for the Baxterization described by the author in the 90's. We solve these inversion relations in the four main regimes of the models, to give the free energy of the models, in these regimes. We use the method of Baxter in the calculation of the free energy of the hard hexagon model. We believe these results to be quite general, shared by most of the known IRF models. Our results apply equally well to solvable vertex models. Using the expression for the free energy we calculate the critical exponent $\alpha$, and from it the dimension of the perturbing (thermal) operator in the fixed point conformal field theory (CFT). We show that it matches either the coset ${\cal O}/{\cal G}$ or ${\cal G}/{\cal O}$, where $\cal O$ is the original CFT used to define the model and $\cal G$ is some unknown CFT, depending on the regime. This agrees with known examples of such models by Huse and Jimbo et al.


title: A general family of MSRD codes and PMDS codes with smaller field sizes from extended Moore matrices

abstract: We construct six new explicit families of linear maximum sum-rank distance (MSRD) codes, each of which has the smallest field sizes among all known MSRD codes for some parameter regime. Using them and a previous result of the author, we provide two new explicit families of linear partial MDS (PMDS) codes with smaller field sizes than previous PMDS codes for some parameter regimes. Our approach is to characterize evaluation points that turn extended Moore matrices into the parity-check matrix of a linear MSRD code. We then produce such sequences from codes with good Hamming-metric parameters. The six new families of linear MSRD codes with smaller field sizes are obtained using MDS codes, Hamming codes, BCH codes and three Algebraic-Geometry codes. The MSRD codes based on Hamming codes, of minimum sum-rank distance $ 3 $, meet a recent bound by Byrne et al.


title: On characterization of functions preserving metric-type conditions via triangular and polygonal structures

abstract: Following the train of thought from our previous paper we revisit the theorems of Pongsriiam and Termwuttipong by further developing their characterization of certain property-preserving functions using the so-called triangle triplets. We develop more general analogues of disjoint sum lemmas for broader classes of metric-type spaces and we apply these to extend results of Bors\`ik an Dobo\v{s} as well as those obtained by Khemaratchatakumthorn and Pongsriiam. As a byproduct we obtain methods of generating non-trivial and infinite strong $b$-metric spaces which are not metric.


title: Fluids at the Nanoscale: from continuum to sub-continuum transport

abstract: Nanofluidics has firmly established itself as a new field in fluid mechanics, as novel properties have been shown to emerge in fluids at the nanometric scale. Thanks to recent developments in fabrication technology, artificial nanofluidic systems are now being designed at the scale of biological nanopores. This ultimate step in scale reduction has pushed the development of new experimental techniques and new theoretical tools, bridging fluid mechanics, statistical mechanics and condensed matter physics. This review is intended as a toolbox for fluids at the nanometre scale. After presenting the basic equations that govern fluid behaviour in the continuum limit, we will show how these equations break down and new properties emerge in molecular scale confinement.


title: Reconstruction Rating Model of Sovereign Debt by Logical Analysis of Data

abstract: Sovereign debt ratings provided by rating agencies measure the solvency of a country, as gauged by a lender or an investor. It is an indication of the risk involved in investment, and should be determined correctly and in a well timed manner. The present study reconstructs sovereign debt ratings through logical analysis of data, which is based on the theory of Boolean functions. It organizes groups of countries according to twenty World Bank defined variables for the period 2012 till 2015. The Fitch Rating Agency, one of the three big global rating agencies, is used as a case study. An approximate algorithm was crucial in exploring the rating method, in correcting the agencys errors, and in determining the estimated rating of otherwise non rated countries. The outcome was a decision tree for each year. Each country was assigned a rating. On average, the algorithm reached almost ninety eight percentage matched ratings in the training set, and was verified by eighty four percentage in the test set. This was a considerable achievement.


title: Engineering analog quantum chemistry Hamiltonians using cold atoms in optical lattices

abstract: Using quantum systems to efficiently solve quantum chemistry problems is one of the long-sought applications of near-future quantum technologies. In a recent work, ultra-cold fermionic atoms have been proposed for these purposes by showing us how to simulate in an analog way the quantum chemistry Hamiltonian projected in a lattice basis set. Here, we continue exploring this path and go beyond these first results in several ways. First, we numerically benchmark the working conditions of the analog simulator, and find less demanding experimental setups where chemistry-like behaviour in three-dimensions can still be observed. We also provide a deeper understanding of the errors of the simulation appearing due to discretization and finite size effects and provide a way to mitigate them. Finally, we benchmark the simulator characterizing the behaviour of two-electron atoms (He) and molecules (HeH$^+$) beyond the example considered in the original work.


title: Infrared Renormalons in Kinematic Distributions for Hadron Collider Processes

abstract: Infrared renormalons in Quantum Chromodynamics are associated with non-perturbative corrections to short distance observables. Linear renormalons, i.e. such that the associated non-perturbative corrections scale like one inverse power of the hard scale, can affect at a non-negligible level even the very high-energy phenomena studied at the Large Hadron Collider. Using an Abelian model, we study the presence of linear renormalons in the transverse momentum distribution of a neutral vector boson $Z$ produced in hadronic collisions. We consider a process where the $Z$ transverse momentum is balanced by a sizable recoil against a coloured final state particle. One may worry that such a colour configuration, not being azimuthally symmetric, could generate unbalanced soft radiation, associated in turn with linear infrared renormalons affecting the transverse momentum distribution of the vector boson. We performed a numerical calculation of the renormalon effects for this process in the so-called large $b_0$ limit. We found no evidence of linear renormalons in the transverse momentum distribution of the $Z$ in the large transverse-momentum region, irrespective of rapidity cuts.


title: Fast and Uncertainty-Aware Directional Message Passing for Non-Equilibrium Molecules

abstract: Many important tasks in chemistry revolve around molecules during reactions. This requires predictions far from the equilibrium, while most recent work in machine learning for molecules has been focused on equilibrium or near-equilibrium states. In this paper we aim to extend this scope in three ways. First, we propose the DimeNet++ model, which is 8x faster and 10% more accurate than the original DimeNet on the QM9 benchmark of equilibrium molecules. Second, we validate DimeNet++ on highly reactive molecules by developing the challenging COLL dataset, which contains distorted configurations of small molecules during collisions. Finally, we investigate ensembling and mean-variance estimation for uncertainty quantification with the goal of accelerating the exploration of the vast space of non-equilibrium structures. Our DimeNet++ implementation as well as the COLL dataset are available online.


title: Crossing Symmetry for Long Multiplets in 4D $\mathcal{N}=1$ SCFTs

abstract: In this work we construct the crossing symmetry equations for mixed correlators of two long and two BPS operators in 4D $\mathcal{N}=1$ SCFTs. The analysis presented here illustrates how our general group theoretic approach to long superblocks and tensor structures of superconformal algebras can be applied to give explicit ready-to-use expressions. In the case at hand, we obtain a system of four crossing symmetry equations for the relevant OPE coefficients. One of these four equations coincides with the equation found and analysed by Li, Meltzer and Stergiou by restricting to the superprimary component of the long multiplets. The other three equations are new and they provide powerful additional constraints on the same OPE data.


title: Simple Spyware: Androids Invisible Foreground Services and How to (Ab)use Them

abstract: With the releases of Android Oreo and Pie, Android introduced some background execution limitations for apps. Google restricted the execution of background services to save energy and to prevent apps from running endlessly in the background. Moreover, access to the device's sensors was changed and a new concept named foreground service has been introduced. Apps were no longer allowed to run background services in an idle state, preventing apps from using the device's resources like the camera. These limitations, however, would not affect so-called foreground services because they show a permanently visible notification to the user and could therefore be stopped by the user at any time. Our research found out that flaws in the API exists, which allows starting invisible foreground services, making the introduced limitations ineffective. We will show that the found flaws allow attackers to use foreground services as a tool for spying on users.


title: Risk assessment for airborne disease transmission by poly-pathogen aerosols

abstract: In the case of airborne diseases, pathogen copies are transmitted by droplets of respiratory tract fluid that are exhaled by the infectious and, after partial or full drying, inhaled as aerosols by the susceptible. The risk of infection in indoor environments is typically modelled using the Wells-Riley model or a Wells-Riley-like formulation, usually assuming the pathogen dose follows a Poisson distribution (mono-pathogen assumption). Aerosols that hold more than one pathogen copy, i.e. poly-pathogen aerosols, break this assumption even if the aerosol dose itself follows a Poisson distribution. For the largest aerosols where the number of pathogen in each aerosol can sometimes be several hundred or several thousand, the effect is non-negligible, especially in diseases where the risk of infection per pathogen is high. Here we report on a generalization of the Wells-Riley model and dose-response models for poly-pathogen aerosols by separately modeling each number of pathogen copies per aerosol, while the aerosol dose itself follows a Poisson distribution. This results in a model for computational risk assessment suitable for mono-/poly-pathogen aerosols. We show that the mono-pathogen assumption significantly overestimates the risk of infection for high pathogen concentrations in the respiratory tract fluid. The model also includes the aerosol removal due to filtering by the individuals which becomes significant for poorly ventilated environments with a high density of individuals, and systematically includes the effects of facemasks in the infectious aerosol source and sink terms and dose calculations.


title: A direct computation of a certain family of integrals

abstract: We propose a rather elementary method to compute a certain family of integrals on the half line, depending on the integer parameters $n\geq q\geq 1$.


title: Softening of the Euler buckling criterion under discretisation of compliance

abstract: Euler solved the problem of the collapse of tall thin columns under unexpectedly small loads in 1744. The analogous problem of the collapse of circular elastic rings or tubes under external pressure was mathematically intractable and only fully solved recently. In the context of carbon nanotubes, an additional phenomenon was found experimentally and in atomistic simulations but not explained: the collapse pressure of smaller diameter tubes deviates below the continuum mechanics solution [Torres-Dias et al., Carbon 123, 145 (2017)]. Here, this deviation is shown to occur in discretized straight columns and it is fully explained in terms of the phonon dispersion curve. This reveals an unexpected link between the static mechanical properties of discrete systems and their dynamics described through dispersion curves.


title: Dynamics of non-Abelian strings in supersymmetric gauge theories

abstract: This thesis is devoted to studying strong coupling phenomena (and confinement in particular) in supersymmetric gauge theories. The central object of investigation is the non-Abelian string that is responsible for the "instead-of-confinement" phase for monopoles in 4D ${\mathcal N} = 2$ supersymmetric QCD with the U($N$) gauge group and $N_f$ flavors of quark hypermultiplets, $N \leqslant N_f \leqslant 2 N$. Here it is shown that the non-Abelian strings and confined monopoles survive when we transition to the ${\mathcal N} = 1$ supersymmetric QCD. To this end we consider a mass term $\mu$ for the adjoint matter, and in the limit of large $\mu$ the bulk theory flows to ${\mathcal N} = 1$. We consider this transition both from the bulk point of view and from the world sheet theory, which is the two-dimensional $\mathbb{CP}(N-1)$ model. Survival of monopoles in the ${\mathcal N} = 1$ supersymmetric QCD is important for the "instead-of-confinement" phase, and also for the Seiberg-Witten picture of confinement. Apart from that, we also consider non-Abelian vortex strings in 4D $\mathcal{N} = 2$ supersymmetric QCD with U$(N=2)$ gauge group and $N_f=4$ flavors of quark hypermultiplets. It has been recently shown that these vortices behave as critical superstrings. In particular, the lowest string state appears to be a massless BPS "baryon." Here we show the occurrence of this stringy baryon using a purely field-theoretic method. Moreover, we explicitly demonstrate the "instead-of-confinement" phase, when the screened quarks and gauge bosons of weak coupling are replaced by the confined monopole-antimonopole pairs of strong coupling. English version. Full text (Russian and English) is available at the official web page https://go.spbu.ru/20a2711 .


title: Strongly Lensed Supernovae in Well-Studied Galaxy Clusters with the Vera C. Rubin Observatory

abstract: Strong lensing by galaxy clusters can be used to significantly expand the survey reach, thus allowing observation of magnified high-redshift supernovae that otherwise would remain undetected. Strong lensing can also provide multiple images of the galaxies that lie behind the clusters. Detection of strongly lensed Type Ia supernovae (SNe Ia) is especially useful because of their standardizable brightness, as they can be used to improve either cluster lensing models or independent measurements of cosmological parameters. The cosmological parameter, the Hubble constant, is of particular interest given the discrepancy regarding its value from measurements with different approaches. Here, we explore the feasibility of the Vera C. Rubin Observatory Legacy Survey of Space and Time (LSST) of detecting strongly lensed SNe in the field of five galaxy clusters (Abell 1689 and Hubble Frontier Fields clusters) that have well-studied lensing models. Considering the 88 systems composed of 268 individual multiple images in the five cluster fields, we find that the LSST will be sensitive to SNe~Ia (SNe~IIP) exploding in 41 (23) galaxy images. The range of redshift of these galaxies is between $1.01 < z < 3.05$. During its 10 years of operation, LSST is expected to detect $0.2\pm0.1$ SN~Ia and $0.9\pm0.3$ core collapse SNe. However, as LSST will observe many more massive galaxy clusters, it is likely that the expectations are higher. We stress the importance of having an additional observing program for photometric and spectroscopic follow-up of the strongly lensed SNe detected by LSST.


title: Robotic grasp detection using a novel two-stage approach

abstract: Recently, deep learning has been successfully applied to robotic grasp detection. Based on convolutional neural networks (CNNs), there have been lots of end-to-end detection approaches. But end-to-end approaches have strict requirements for the dataset used for training the neural network models and it's hard to achieve in practical use. Therefore, we proposed a two-stage approach using particle swarm optimizer (PSO) candidate estimator and CNN to detect the most likely grasp. Our approach achieved an accuracy of 92.8% on the Cornell Grasp Dataset, which leaped into the front ranks of the existing approaches and is able to run at real-time speeds. After a small change of the approach, we can predict multiple grasps per object in the meantime so that an object can be grasped in a variety of ways.


title: Human-Agent Cooperation in Bridge Bidding

abstract: We introduce a human-compatible reinforcement-learning approach to a cooperative game, making use of a third-party hand-coded human-compatible bot to generate initial training data and to perform initial evaluation. Our learning approach consists of imitation learning, search, and policy iteration. Our trained agents achieve a new state-of-the-art for bridge bidding in three settings: an agent playing in partnership with a copy of itself; an agent partnering a pre-existing bot; and an agent partnering a human player.


title: Non-uniform dependence on initial data for the 2D viscous shallow water equations

abstract: The failure of uniform dependence on the data is an interesting property of classical solution for a hyperbolic system. In this paper, we consider the solution map of the Cauchy problem to the 2D viscous shallow water equations which is a hyperbolic-parabolic system. We prove that the solution map of this problem is not uniformly continuous in Sobolev spaces $H^s\times H^{s}$ for $s>2$.


title: Risk-Monotonicity in Statistical Learning

abstract: Acquisition of data is a difficult task in many applications of machine learning, and it is only natural that one hopes and expects the population risk to decrease (better performance) monotonically with increasing data points. It turns out, somewhat surprisingly, that this is not the case even for the most standard algorithms that minimize the empirical risk. Non-monotonic behavior of the risk and instability in training have manifested and appeared in the popular deep learning paradigm under the description of double descent. These problems highlight the current lack of understanding of learning algorithms and generalization. It is, therefore, crucial to pursue this concern and provide a characterization of such behavior. In this paper, we derive the first consistent and risk-monotonic (in high probability) algorithms for a general statistical learning setting under weak assumptions, consequently answering some questions posed by Viering et al. 2019 on how to avoid non-monotonic behavior of risk curves. We further show that risk monotonicity need not necessarily come at the price of worse excess risk rates. To achieve this, we derive new empirical Bernstein-like concentration inequalities of independent interest that hold for certain non-i.i.d.~processes such as Martingale Difference Sequences.


title: Markovian linearization of random walks on groups

abstract: In operator algebra, the linearization trick is a technique that reduces the study of a non-commutative polynomial evaluated at elements of an algebra A to the study of a polynomial of degree one, evaluated on the enlarged algebra A x M r (C), for some integer r. We introduce a new instance of the linearization trick which is tailored to study a finitely supported random walk on a group G by studying instead a nearest-neighbor colored random walk on G x {1,. .. , r}, which is much simpler to analyze. As an application we extend well-known results for nearest-neighbor walks on free groups and free products of finite groups to colored random walks, thus showing how one can obtain explicit formulas for the drift and entropy of a finitely supported random walk.


title: Geometric weight-shifting operators on Hilbert modular forms in characteristic p

abstract: We carry out a thorough study of weight-shifting operators on Hilbert modular forms in characteristic $p$, generalizing the author's prior work with Sasaki to the case where $p$ is ramified in the totally real field $F$. In particular we use the partial Hasse invariants and Kodaira-Spencer filtrations defined by Reduzzi and Xiao to improve on Andreatta and Goren's construction of partial $\Theta$-operators, obtaining ones whose effect on weights is optimal from the point of view of geometric Serre weight conjectures. Furthermore we describe the kernels of partial $\Theta$-operators in terms of images of geometrically constructed partial Frobenius operators. Finally we apply our results to prove a partial positivity result for minimal weights of mod $p$ Hilbert modular forms.


title: Quantum entropy model of an integrated QRNG chip

abstract: We present the physical model for the entropy source of a quantum random number generator chip based on the quantum fluctuations of the photon number emitted by light-emitting diodes. This model, combined with a characterization of the chip, estimates a quantum min-entropy of over 0.98 per bit without post-processing. Finally, we show with our model that the performances in terms of security are robust against fluctuations over time.


title: Optical Phase Dropout in Diffractive Deep Neural Network

abstract: Unitary learning is a backpropagation that serves to unitary weights update in deep complex-valued neural network with full connections, meeting a physical unitary prior in diffractive deep neural network ([DN]2). However, the square matrix property of unitary weights induces that the function signal has a limited dimension that could not generalize well. To address the overfitting problem that comes from the small samples loaded to [DN]2, an optical phase dropout trick is implemented. Phase dropout in unitary space that is evolved from a complex dropout and has a statistical inference is formulated for the first time. A synthetic mask recreated from random point apertures with random phase-shifting and its smothered modulation tailors the redundant links through incompletely sampling the input optical field at each diffractive layer. The physical features about the synthetic mask using different nonlinear activations are elucidated in detail. The equivalence between digital and diffractive model determines compound modulations that could successfully circumvent the nonlinear activations physically implemented in [DN]2. The numerical experiments verify the superiority of optical phase dropout in [DN]2 to enhance accuracy in 2D classification and recognition tasks-oriented.


title: Vacuum-Ultraviolet Absorption and Emission Spectroscopy of Gaseous, Liquid, and Supercritical Xenon

abstract: Bose-Einstein condensation, an effect long known for material particles as cold atomic gases, has in recent years also been observed for photons in microscopic optical cavitites. Here, we report absorption and emission spectroscopic measurements on the lowest electronic transition ($5\text{p}^6 \rightarrow 5\text{p}^5 6\text{s}$) of xenon, motivated by the search for a thermalization medium for photon Bose-Einstein condensation in the vacuum-ultraviolet spectral regime. We have recorded pressure-broadened xenon spectra in the 135 nm to 190 nm wavelength regime at conditions near the critical point. The explored pressure and temperature range includes high pressure gaseous xenon below the critical pressure and supercritical xenon at room temperature, as well as liquid xenon close to the boiling point near the critical pressure.


title: MIINet: An Image Quality Improvement Framework for Supporting Medical Diagnosis

abstract: Medical images have been indispensable and useful tools for supporting medical experts in making diagnostic decisions. However, taken medical images especially throat and endoscopy images are normally hazy, lack of focus, or uneven illumination. Thus, these could difficult the diagnosis process for doctors. In this paper, we propose MIINet, a novel image-to-image translation network for improving quality of medical images by unsupervised translating low-quality images to the high-quality clean version. Our MIINet is not only capable of generating high-resolution clean images, but also preserving the attributes of original images, making the diagnostic more favorable for doctors. Experiments on dehazing 100 practical throat images show that our MIINet largely improves the mean doctor opinion score (MDOS), which assesses the quality and the reproducibility of the images from the baseline of 2.36 to 4.11, while dehazed images by CycleGAN got lower score of 3.83. The MIINet is confirmed by three physicians to be satisfying in supporting throat disease diagnostic from original low-quality images.


title: Towards Fast and Light-Weight Restoration of Dark Images

abstract: The ability to capture good quality images in the dark and near-zero lux conditions has been a long-standing pursuit of the computer vision community. The seminal work by Chen et al. [5] has especially caused renewed interest in this area, resulting in methods that build on top of their work in a bid to improve the reconstruction. However, for practical utility and deployment of low-light enhancement algorithms on edge devices such as embedded systems, surveillance cameras, autonomous robots and smartphones, the solution must respect additional constraints such as limited GPU memory and processing power. With this in mind, we propose a deep neural network architecture that aims to strike a balance between the network latency, memory utilization, model parameters, and reconstruction quality. The key idea is to forbid computations in the High-Resolution (HR) space and limit them to a Low-Resolution (LR) space. However, doing the bulk of computations in the LR space causes artifacts in the restored image. We thus propose Pack and UnPack operations, which allow us to effectively transit between the HR and LR spaces without incurring much artifacts in the restored image. We show that we can enhance a full resolution, 2848 x 4256, extremely dark single-image in the ballpark of 3 seconds even on a CPU. We achieve this with 2 - 7x fewer model parameters, 2 - 3x lower memory utilization, 5 - 20x speed up and yet maintain a competitive image reconstruction quality compared to the state-of-the-art algorithms.


title: Retrospective Motion Correction of MR Images using Prior-Assisted Deep Learning

abstract: In MRI, motion artefacts are among the most common types of artefacts. They can degrade images and render them unusable for accurate diagnosis. Traditional methods, such as prospective or retrospective motion correction, have been proposed to avoid or alleviate motion artefacts. Recently, several other methods based on deep learning approaches have been proposed to solve this problem. This work proposes to enhance the performance of existing deep learning models by the inclusion of additional information present as image priors. The proposed approach has shown promising results and will be further investigated for clinical validity.


title: Exoplanet Detection using Machine Learning

abstract: We introduce a new machine learning based technique to detect exoplanets using the transit method. Machine learning and deep learning techniques have proven to be broadly applicable in various scientific research areas. We aim to exploit some of these methods to improve the conventional algorithm based approaches presently used in astrophysics to detect exoplanets. Using the time-series analysis library TSFresh to analyse light curves, we extracted 789 features from each curve, which capture the information about the characteristics of a light curve. We then used these features to train a gradient boosting classifier using the machine learning tool lightgbm. This approach was tested on simulated data, which showed that is more effective than the conventional box least squares fitting (BLS) method. We further found that our method produced comparable results to existing state-of-the-art deep learning models, while being much more computationally efficient and without needing folded and secondary views of the light curves. For Kepler data, the method is able to predict a planet with an AUC of 0.948, so that 94.8 per cent of the true planet signals are ranked higher than non-planet signals. The resulting recall is 0.96, so that 96 per cent of real planets are classified as planets. For the Transiting Exoplanet Survey Satellite (TESS) data, we found our method can classify light curves with an accuracy of 0.98, and is able to identify planets with a recall of 0.82 at a precision of 0.63.


title: Solving parametric systems of polynomial equations over the reals through Hermite matrices

abstract: We design a new algorithm for solving parametric systems having finitely many complex solutions for generic values of the parameters. More precisely, let $f = (f_1, \ldots, f_m)\subset \mathbb{Q}[y][x]$ with $y = (y_1, \ldots, y_t)$ and $x = (x_1, \ldots, x_n)$, $V\subset \mathbb{C}^{t+n}$ be the algebraic set defined by $f$ and $\pi$ be the projection $(y, x) \to y$. Under the assumptions that $f$ admits finitely many complex roots for generic values of $y$ and that the ideal generated by $f$ is radical, we solve the following problem. On input $f$, we compute semi-algebraic formulas defining semi-algebraic subsets $S_1, \ldots, S_l$ of the $y$-space such that $\cup_{i=1}^l S_i$ is dense in $\mathbb{R}^t$ and the number of real points in $V\cap \pi^{-1}(\eta)$ is invariant when $\eta$ varies over each $S_i$. This algorithm exploits properties of some well chosen monomial bases in the algebra $\mathbb{Q}(y)[x]/I$ where $I$ is the ideal generated by $f$ in $\mathbb{Q}(y)[x]$ and the specialization property of the so-called Hermite matrices. This allows us to obtain compact representations of the sets $S_i$ by means of semi-algebraic formulas encoding the signature of a symmetric matrix. When $f$ satisfies extra genericity assumptions, we derive complexity bounds on the number of arithmetic operations in $\mathbb{Q}$ and the degree of the output polynomials. Let $d$ be the maximal degree of the $f_i$'s and $D = n(d-1)d^n$, we prove that, on a generic $f=(f_1,\ldots,f_n)$, one can compute those semi-algebraic formulas with $O^~( \binom{t+D}{t}2^{3t}n^{2t+1} d^{3nt+2(n+t)+1})$ operations in $\mathbb{Q}$ and that the polynomials involved have degree bounded by $D$. We report on practical experiments which illustrate the efficiency of our algorithm on generic systems and systems from applications. It allows us to solve problems which are out of reach of the state-of-the-art.


title: Short-Term Load Forecasting using Bi-directional Sequential Models and Feature Engineering for Small Datasets

abstract: Electricity load forecasting enables the grid operators to optimally implement the smart grid's most essential features such as demand response and energy efficiency. Electricity demand profiles can vary drastically from one region to another on diurnal, seasonal and yearly scale. Hence to devise a load forecasting technique that can yield the best estimates on diverse datasets, specially when the training data is limited, is a big challenge. This paper presents a deep learning architecture for short-term load forecasting based on bidirectional sequential models in conjunction with feature engineering that extracts the hand-crafted derived features in order to aid the model for better learning and predictions. In the proposed architecture, named as Deep Derived Feature Fusion (DeepDeFF), the raw input and hand-crafted features are trained at separate levels and then their respective outputs are combined to make the final prediction. The efficacy of the proposed methodology is evaluated on datasets from five countries with completely different patterns. The results demonstrate that the proposed technique is superior to the existing state of the art.


title: Ideal Triangulation and Disk Unfolding of a Singular Flat Surface

abstract: An ideal triangulation of a singular flat surface is a geodesic triangulation such that its vertex set is equal to the set of singular points of the surface. Using the fact that each pair of points in a surface has a finite number of geodesics having length $\leq L$ connecting them, where $L$ is any positive number, we prove that each singular flat surface has an ideal triangulation provided that the surface has singular points when it has no boundary components, or each of its boundary components has a singular point. Also, we prove that such a surface contains a finite number of geodesics which connect its singular points so that when we cut the surface through these arcs we get a flat disk with a non-singular interior.


title: Preclinical Stage Alzheimer's Disease Detection Using Magnetic Resonance Image Scans

abstract: Alzheimer's disease is one of the diseases that mostly affects older people without being a part of aging. The most common symptoms include problems with communicating and abstract thinking, as well as disorientation. It is important to detect Alzheimer's disease in early stages so that cognitive functioning would be improved by medication and training. In this paper, we propose two attention model networks for detecting Alzheimer's disease from MRI images to help early detection efforts at the preclinical stage. We also compare the performance of these two attention network models with a baseline model. Recently available OASIS-3 Longitudinal Neuroimaging, Clinical, and Cognitive Dataset is used to train, evaluate and compare our models. The novelty of this research resides in the fact that we aim to detect Alzheimer's disease when all the parameters, physical assessments, and clinical data state that the patient is healthy and showing no symptoms


title: Calculating the Mandel parameter for an oscillator-like system generated by generalized Chebyshev polynomials

abstract: In this paper, we calculate the Mandel parameter $Q_M$ for an oscillator-like system generated by generalized Chebyshev polynomials \cite{01}, \cite{02}, \cite{03}. The sign of the Mandel parameter $Q_M$ characterizes the deviation of the excitation statistics from the Poisson one. This work is a continuation of our works \cite{04}, \cite{05}.


title: AdaBins: Depth Estimation using Adaptive Bins

abstract: We address the problem of estimating a high quality dense depth map from a single RGB input image. We start out with a baseline encoder-decoder convolutional neural network architecture and pose the question of how the global processing of information can help improve overall depth estimation. To this end, we propose a transformer-based architecture block that divides the depth range into bins whose center value is estimated adaptively per image. The final depth values are estimated as linear combinations of the bin centers. We call our new building block AdaBins. Our results show a decisive improvement over the state-of-the-art on several popular depth datasets across all metrics. We also validate the effectiveness of the proposed block with an ablation study and provide the code and corresponding pre-trained weights of the new state-of-the-art model.


title: Minimizing cycles in tournaments and normalized $q$-norms

abstract: Akin to the Erd\H{o}s-Rademacher problem, Linial and Morgenstern made the following conjecture in tournaments: for any $d\in (0,1]$, among all $n$-vertex tournaments with $d\binom{n}{3}$ many 3-cycles, the number of 4-cycles is asymptotically minimized by a special random blow-up of a transitive tournament. Recently, Chan, Grzesik, Kr\'al' and Noel introduced spectrum analysis of adjacency matrices of tournaments in this study, and confirmed this for $d\geq 1/36$. In this paper, we investigate the analogous problem of minimizing the number of cycles of a given length. We prove that for integers $\ell\not\equiv 2\mod 4$, there exists some constant $c_\ell>0$ such that if $d\geq 1-c_\ell$, then the number of $\ell$-cycles is also asymptotically minimized by the same family of extremal examples for $4$-cycles. In doing so, we answer a question of Linial and Morgenstern about minimizing the $q$-norm of a probabilistic vector with given $p$-norm for any integers $q>p>1$. For integers $\ell\equiv 2\mod 4$, however the same phenomena do not hold for $\ell$-cycles, for which we can construct an explicit family of tournaments containing fewer $\ell$-cycles for any given number of $3$-cycles. We conclude by proposing two conjectures on the minimization problem for general cycles in tournaments.


title: i3DMM: Deep Implicit 3D Morphable Model of Human Heads

abstract: We present the first deep implicit 3D morphable model (i3DMM) of full heads. Unlike earlier morphable face models it not only captures identity-specific geometry, texture, and expressions of the frontal face, but also models the entire head, including hair. We collect a new dataset consisting of 64 people with different expressions and hairstyles to train i3DMM. Our approach has the following favorable properties: (i) It is the first full head morphable model that includes hair. (ii) In contrast to mesh-based models it can be trained on merely rigidly aligned scans, without requiring difficult non-rigid registration. (iii) We design a novel architecture to decouple the shape model into an implicit reference shape and a deformation of this reference shape. With that, dense correspondences between shapes can be learned implicitly. (iv) This architecture allows us to semantically disentangle the geometry and color components, as color is learned in the reference space. Geometry is further disentangled as identity, expressions, and hairstyle, while color is disentangled as identity and hairstyle components. We show the merits of i3DMM using ablation studies, comparisons to state-of-the-art models, and applications such as semantic head editing and texture transfer. We will make our model publicly available.


title: Online Search with Maximum Clearance

abstract: We study the setting in which a mobile agent must locate a hidden target in a bounded or unbounded environment, with no information about the hider's position. In particular, we consider online search, in which the performance of the search strategy is evaluated by its worst case competitive ratio. We introduce a multi-criteria search problem in which the searcher has a budget on its allotted search time, and the objective is to design strategies that are competitively efficient, respect the budget, and maximize the total searched ground. We give analytically optimal strategies for the line and the star environments, and efficient heuristics for general networks.


title: A Backward SDE Method for Uncertainty Quantification in Deep Learning

abstract: We develop a probabilistic machine learning method, which formulates a class of stochastic neural networks by a stochastic optimal control problem. An efficient stochastic gradient descent algorithm is introduced under the stochastic maximum principle framework. Numerical experiments for applications of stochastic neural networks are carried out to validate the effectiveness of our methodology.


title: Towards Combating Pandemic-related Misinformation in Social Media

abstract: Conventional preventive measures during pandemic include social distancing and lockdown. Such measures in the time of social media brought about a new set of challenges - vulnerability to the toxic impact of online misinformation is high. A case in point is the prevailing COVID-19; as the virus propagates, so does the associated misinformation and fake news about it leading to infodemic. Since the outbreak, there has been a surge of studies investigating various aspects of the pandemic. Of interest to this chapter include studies centring on datasets from online social media platforms where the bulk of the public discourse happen. Consequently, the main goal is to support the fight against negative infodemic by (1) contributing a diverse set of curated relevant datasets (2) recommending relevant areas to study using the datasets (3) discussion on how relevant datasets, strategies and state-of-the-art IT tools can be leveraged in managing the pandemic.


title: Demography of galactic technosignatures

abstract: Probabilistic arguments about the existence of technological life beyond Earth traditionally refer to the Drake equation to draw possible estimates of the number of technologically advanced civilizations releasing, either intentionally or not, electromagnetic emissions in the Milky Way. Here, we introduce other indicators than Drake's number $N_D$ to develop a demography of artificial emissions populating the Galaxy. We focus on three main categories of statistically independent signals (isotropic, narrow beams, and rotating beacons) to calculate the average number $N_G$ of emission processes present in the Galaxy and the average number of them crossing Earth, $\bar{k}$, which is a quantity amenable to statistical estimation from direct observations. We show that $\bar{k}$ coincides with $N_D$ only for isotropic emissions, while $\bar{k}$ can be orders of magnitude smaller than $N_D$ in the case of highly directional signals. We further show that while $N_D$ gives the number of emissions being released at the present time, $N_G$ considers also the signals from no longer active emitters but whose emissions still occupy the Galaxy. We find that as long as the average longevity of the emissions is shorter than about $10^5$ yr, $N_G$ is fully determined by the rate of emissions alone, in contrast to $N_D$ and $\bar{k}$ which depend also on the emission longevity. Finally, using analytic formulas of $N_G$, $N_D$, and $\bar{k}$ determined for each type of emission processes here considered, we provide a comprehensive overview of the values these quantities can possibly achieve as functions of the emission birthrates, longevities, and directionality.


title: Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles

abstract: The ability to guarantee safety and progress for all vehicles is vital to the success of the autonomous vehicle industry. We present a framework for designing autonomous vehicle behavior in a way that is safe and guarantees progress for all agents. In this paper, we first introduce a new game paradigm which we term the quasi-simultaneous game. We then define an agent protocol that all agents must use to make decisions in this quasi-simultaneous game setting. According to the protocol, agents first select an intended action using a behavioral profile. Then, the protocol defines whether an agent has precedence to take its intended action or must take a sub-optimal action. The protocol ensures safety under all traffic conditions and liveness for all agents under `sparse' traffic conditions. We provide proofs of correctness of the protocol and validate our results in simulation.


title: Random quantum graphs

abstract: We prove a number of results to the effect that generic quantum graphs (defined via operator systems as in the work of Duan-Severini-Winter / Weaver) have few symmetries: for a Zariski-dense open set of tuples $(X_1,\cdots,X_d)$ of traceless self-adjoint operators in the $n\times n$ matrix algebra the corresponding operator system has trivial automorphism group, in the largest possible range for the parameters: $2\le d\le n^2-3$. Moreover, the automorphism group is generically abelian in the larger parameter range $1\le d\le n^2-2$. This then implies that for those respective parameters the corresponding random-quantum-graph model built on the GUE ensembles of $X_i$'s (mimicking the Erd\H{o}s-R\'{e}nyi $G(n,p)$ model) has trivial/abelian automorphism group almost surely.


title: Batch Normalization with Enhanced Linear Transformation

abstract: Batch normalization (BN) is a fundamental unit in modern deep networks, in which a linear transformation module was designed for improving BN's flexibility of fitting complex data distributions. In this paper, we demonstrate properly enhancing this linear transformation module can effectively improve the ability of BN. Specifically, rather than using a single neuron, we propose to additionally consider each neuron's neighborhood for calculating the outputs of the linear transformation. Our method, named BNET, can be implemented with 2-3 lines of code in most deep learning libraries. Despite the simplicity, BNET brings consistent performance gains over a wide range of backbones and visual benchmarks. Moreover, we verify that BNET accelerates the convergence of network training and enhances spatial information by assigning the important neurons with larger weights accordingly. The code is available at https://github.com/yuhuixu1993/BNET.


title: Stability in quadratic variation, with applications

abstract: We show that non continuous Dirichlet processes, defined as in \cite{NonCont} are closed under a wide family of locally Lipschitz continuous maps (similar to the time-homogeneous variants of the maps considered in \cite{Low}) thus extending Theorem 2.1. from that paper. We provide an It\^o formula for these transforms and apply it to study of how $[f(X^n)-f(X)]\to 0$ when $X^n\to X$ (in some appropriate sense) for certain Dirichlet processes $\{X^n\}_n$, $X$ and certain locally Lipschitz continuous maps. We also consider how $[f_n(X^n)-f(X)]\to 0$ for $C^1$ maps $\{f_n\}_n$, $f$ when $f_n'\to f'$ uniformly on compacts. For applications we give examples of jump removal and stability of integrators.


title: Geometric parametrization of $SO(D+1)$ phase space of all dimensional loop quantum gravity

abstract: To clarify the geometric information encoded in the $SO(D+1)$ spin-network states for the higher dimensional loop quantum gravity, we generalize the twisted-geometry parametrization of the $SU(2)$ phase space for $(1+3)$ dimensional loop quantum gravity to that of the $SO(D+1)$ phase space for the all-dimensional case. The Poisson structure in terms of the twisted geometric variables suggests a new gauge reduction procedure, with respect to the discretized Gaussian and simplicity constraints governing the kinematics of the theory. Endowed with the geometric meaning via the parametrization, our reduction procedure serves to identify proper gauge freedom associated with the anomalous discretized simplicity constraints and subsequently leads to the desired classical state space of the (twisted) discrete ADM data.


title: Brownian motion can feel the shape of a drum

abstract: We study the scenery reconstruction problem on the $d$-dimensional torus, proving that a criterion on Fourier coefficients obtained by Matzinger and Lember (2006) for discrete cycles applies also in continuous spaces. In particular, with the right drift, Brownian motion can be used to reconstruct any scenery. To this end, we prove an injectivity property of an infinite Vandermonde matrix.


title: Conjecture $\mathcal{O}$ holds for some Horospherical Varieties of Picard Rank 1

abstract: Property $\mathcal{O}$ for an arbitrary complex, Fano manifold $X$, is a statement about the eigenvalues of the linear operator obtained from the quantum multiplication of the anticanonical class of $X$. Conjecture $\mathcal{O}$ is a conjecture that Property $\mathcal{O}$ holds for any Fano variety. Pasquier listed the smooth non-homogeneous horospherical varieties of Picard rank 1 into five classes. Conjecture $\mathcal{O}$ has already been shown to hold for the odd symplectic Grassmannians which is one of these classes. We will show that Conjecture $\mathcal{O}$ holds for two more classes and an example in a third class of Pasquier's list. The theory of Perron-Frobenius reduces our proofs to be graph-theoretic in nature.


title: Inter-slice Context Residual Learning for 3D Medical Image Segmentation

abstract: Automated and accurate 3D medical image segmentation plays an essential role in assisting medical professionals to evaluate disease progresses and make fast therapeutic schedules. Although deep convolutional neural networks (DCNNs) have widely applied to this task, the accuracy of these models still need to be further improved mainly due to their limited ability to 3D context perception. In this paper, we propose the 3D context residual network (ConResNet) for the accurate segmentation of 3D medical images. This model consists of an encoder, a segmentation decoder, and a context residual decoder. We design the context residual module and use it to bridge both decoders at each scale. Each context residual module contains both context residual mapping and context attention mapping, the formal aims to explicitly learn the inter-slice context information and the latter uses such context as a kind of attention to boost the segmentation accuracy. We evaluated this model on the MICCAI 2018 Brain Tumor Segmentation (BraTS) dataset and NIH Pancreas Segmentation (Pancreas-CT) dataset. Our results not only demonstrate the effectiveness of the proposed 3D context residual learning scheme but also indicate that the proposed ConResNet is more accurate than six top-ranking methods in brain tumor segmentation and seven top-ranking methods in pancreas segmentation. Code is available at https://git.io/ConResNet


title: The hard-core model on planar lattices: the disk-packing problem and high-density phases

abstract: We study dense packings of disks and related Gibbs distributions representing high-density phases in the hard-core model on unit triangular, honeycomb and square lattices. The model is characterized by a Euclidean exclusion distance $D>0$ and a value of fugacity $u>0$. We use the Pirogov-Sinai theory to study the Gibbs distributions for a general $D$ when $u$ is large: $u>u_0(D)$. For infinite sequences of values $D$ we describe a complete high-density phase diagram: it exhibits a multitude of co-existing pure phases, and their number grows as $O(D^2)$. For the remaining values of $D$, except for those with sliding, the number of co-existing pure phases is still of the form $E(D)\geq O(D^2)$; however, the exact identification of the pure phases requires an additional analysis. Such an analysis is performed for a number of typical examples, which involves computer-assisted proofs. Consequently, for all values $D>0$ where sliding does not occur, we establish the existence of a phase transition. The crucial steps in the study are (i) the identification of periodic ground states and (ii) the verification of the Peierls bound. This is done by using connections with algebraic number theory. In particular, a complete list of so-called sliding values of $D$ has been specified. As a by-product, we solve the disk-packing problem on the lattices under consideration. The number and structure of maximally-dense packings depend on the disk-diameter $D$, unlike the case of $\mathbb{R}^2$.


title: Analysing the Epoch of Reionization with three-point correlation functions and machine learning techniques

abstract: Three-point and high-order clustering statistics of the high-redshift 21cm signal contain valuable information about the Epoch of Reionization. We present 3PCF-Fast, an optimised code for estimating the three-point correlation function of 3D pixelised data such as the outputs from numerical and semi-numerical simulations. After testing 3PCF-Fast on data with known analytic three-point correlation function, we use machine learning techniques to recover the mean bubble size and global ionisation fraction from correlations in the outputs of the publicly available 21cmFAST code. We assume that foregrounds have been perfectly removed and negligible instrumental noise. Using ionisation fraction data, our best MLP model recovers the mean bubble size with a median prediction error of around 10%, or from the 21cm differential brightness temperature with median prediction error of around 14%. A further two MLP models recover the global ionisation fraction with median prediction errors of around 4% (using ionisation fraction data) or around 16% (using brightness temperature). Our results indicate that clustering in both the ionisation fraction field and the brightness temperature field encode useful information about the progress of the Epoch of Reionization in a complementary way to other summary statistics. Using clustering would be particularly useful in regimes where high signal-to-noise ratio prevents direct measurement of bubble size statistics. We compare the quality of MLP models using the power spectrum, and find that using the three-point correlation function outperforms the power spectrum at predicting both global ionisation fraction and mean bubble size.


title: Defect State Density and Orbital Localization in a-Si:H/c-Si Heterojunction and the Role of H

abstract: In this paper, we explore the effect of H and its bonding configurations on the defect state density and orbital localization of hydrogenated amorphous Si (a-Si:H)/crystalline Si (c-Si) heterostructures using density functional theory (DFT) studies of model interfaces between amorphous silicon (a- Si)/a-Si:H and c-Si. To model the atomic configuration of a-Si on c-Si, melting and quenching simulations were performed using classical molecular dynamics (MD). Different hydrogen contents were inserted into the a-Si in different bonding configurations followed by DFT relaxation to create the stable structures of a-Si:H representative of hydrogenated a-Si on crystalline Si surfaces. In contrast to crystalline heterojunctions (where the interface density is a maximum at the interface), we find that, in the most energetically stable configurations of H atoms, the defect state density is relatively low at the interface and maximum at the middle of a-Si layer. Our structural analysis shows that in these configurations, H atoms do not necessarily bond to dangling bonds or to interface atoms. However, they are able to significantly change the atomic structure of the heterostructure and consequently decrease the density of defect states and orbital localization at the a-Si layer and more significantly at the interface of a-Si/c-Si. The general form of the modeled defect state distribution demonstrates the passivating role of a-Si:H on c-Si substrates.


title: Adamastor: a New Low Latency and Scalable Decentralized Anonymous Payment System

abstract: This paper presents Adamastor, a new low latency and scalable decentralized anonymous payment system, which is an extension of Ring Confidential Transactions (RingCT) that is compatible with consensus algorithms that use Delegated Proof of Stake (DPoS) as a defense mechanism against Sybil attacks. Adamastor also includes a new Decoy Selection Algorithm (DSA) that can be of independent interest, called SimpleDSA, a crucial aspect of protocols that use ring signatures to anonymize the sender. SimpleDSA offers security against homogeneity attacks and chain analysis. Moreover, it enables the pruning of spent outputs, addressing the issue of perpetual output growth commonly associated with such schemes. Adamastor is implemented and evaluated using the Narwhal consensus algorithm, demonstrating significantly lower latency compared to Proof of Work based cryptocurrencies. Adamastor also exhibits ample scalability, making it suitable for a decentralized and anonymous payment network.


title: Positive enumerable functors

abstract: We study reductions well suited to compare structures and classes of structures with respect to properties based on enumeration reducibility. We introduce the notion of a positive enumerable functor and study the relationship with established reductions based on functors and alternative definitions.


title: Uniform convergence criterion for non-harmonic sine series

abstract: We show that for a nonnegative monotone sequence $\{c_k\}$ the condition $c_kk\to 0$ is sufficient for uniform convergence of the series $\sum_{k=1}^{\infty}c_k\sin k^{\alpha} x$ on any bounded set for $\alpha\in (0,2)$, and for an odd natural $\alpha$ it is sufficient for uniform convergence on the whole $\mathbb{R}$. Moreover, the latter assertion still holds if we replace $k^{\alpha}$ by any polynomial in odd powers with rational coefficients. On the other hand, in the case of an even $\alpha$ it is necessary that $\sum_{k=1}^{\infty}c_k<\infty$ for convergence of the mentioned series at the point $\pi/2$ or at the point $2\pi/3$. Consequently, we obtain uniform convergence criteria. Besides, the results for a natural $\alpha$ remain true for sequences from more general RBVS class.


title: A note on the Grover walk and the generalized Ihara zeta function of the one-dimensional integer lattice

abstract: Chinta, Jorgenson and Karlsson introduced a generalized version of the determinant formula for the Ihara zeta function associated to finite or infinite regular graphs. On the other hand, Konno and Sato obtained a formula of the characteristic polynomial of the Grover matrix by using the determinant expression for the second weighted zeta function of a finite graph. In this paper, we focus on a relationship between the Grover walk and the generalized Ihara zeta function. That is to say, we treat the generalized Ihara zeta function of the one-dimensional integer lattice as a limit of the Ihara zeta function of the cycle graph.


title: A Closer Look at the Tropical Cryptography

abstract: We examine two public key exchange protocols proposed recently by Grigoriev and Shpilrain (arXiv:1811.06386), which use tropical algebra. We introduce a fast attack on the first protocol, and we show that the second protocol cannot be implemented as described.


title: Towards Robust Partially Supervised Multi-Structure Medical Image Segmentation on Small-Scale Data

abstract: The data-driven nature of deep learning (DL) models for semantic segmentation requires a large number of pixel-level annotations. However, large-scale and fully labeled medical datasets are often unavailable for practical tasks. Recently, partially supervised methods have been proposed to utilize images with incomplete labels in the medical domain. To bridge the methodological gaps in partially supervised learning (PSL) under data scarcity, we propose Vicinal Labels Under Uncertainty (VLUU), a simple yet efficient framework utilizing the human structure similarity for partially supervised medical image segmentation. Motivated by multi-task learning and vicinal risk minimization, VLUU transforms the partially supervised problem into a fully supervised problem by generating vicinal labels. We systematically evaluate VLUU under the challenges of small-scale data, dataset shift, and class imbalance on two commonly used segmentation datasets for the tasks of chest organ segmentation and optic disc-and-cup segmentation. The experimental results show that VLUU can consistently outperform previous partially supervised models in these settings. Our research suggests a new research direction in label-efficient deep learning with partial supervision.