title: ConMatch: Semi-Supervised Learning with Confidence-Guided Consistency Regularization

abstract: We present a novel semi-supervised learning framework that intelligently leverages the consistency regularization between the model's predictions from two strongly-augmented views of an image, weighted by a confidence of pseudo-label, dubbed ConMatch. While the latest semi-supervised learning methods use weakly- and strongly-augmented views of an image to define a directional consistency loss, how to define such direction for the consistency regularization between two strongly-augmented views remains unexplored. To account for this, we present novel confidence measures for pseudo-labels from strongly-augmented views by means of weakly-augmented view as an anchor in non-parametric and parametric approaches. Especially, in parametric approach, we present, for the first time, to learn the confidence of pseudo-label within the networks, which is learned with backbone model in an end-to-end manner. In addition, we also present a stage-wise training to boost the convergence of training. When incorporated in existing semi-supervised learners, ConMatch consistently boosts the performance. We conduct experiments to demonstrate the effectiveness of our ConMatch over the latest methods and provide extensive ablation studies. Code has been made publicly available at https://github.com/JiwonCocoder/ConMatch.


title: Strain-induced collapse of Landau Levels in real Weyl semimetals

abstract: The collapse of Landau levels under an electric field perpendicular to the magnetic field is one of the distinctive features of Dirac materials. So is the coupling of lattice deformations to the electronic degrees of freedom in the form of gauge fields which allows the formation of pseudo-Landau levels from strain. We analyze the collapse of Landau levels induced by strain on realistic Weyl semimetals hosting anisotropic, tilted Weyl cones in momentum space. We perform first-principles calculations, to establish the conditions on the external strain for the collapse of Landau levels in TaAs which can be experimentally accessed.


title: Constructing Well-bounded Operators not of type (B) on a Class of Inductive Limits

abstract: Well-bounded operators are linear operators on a Banach space $X$ that have an $AC[a,b]$ functional calculus for some interval $[a,b]$. A well-bounded operator is of type (B) if it can be written as an integral against a spectral family of projections, and this is always the case when $X$ is reflexive. There are many examples of well-bounded operators on non-reflexive spaces that are not of type (B), and it is open whether there is a non-reflexive Banach space upon which every well-bounded operator is of type (B). The spaces constructed by Pisier, which answered a conjecture of Grothendieck in the negative, have been suggested by Cheng and Doust as a candidate to answer this open problem. In this paper, it will be shown that on a class of Banach spaces containing these spaces, there is always a well-bounded operator not of type (B).


title: Prevailing charge order in overdoped cuprates beyond the superconducting dome

abstract: The extremely overdoped cuprates are generally considered to be Fermi liquid metals without exotic orders, whereas the underdoped cuprates harbor intertwined states. Contrary to this conventional wisdom, using Cu $L_3$ edge and O $K$ edge resonant x-ray scattering, we reveal a charge order (CO) in overdoped La$_{2-x}$Sr$_x$CuO$_4$ (0.35 $\leq$ x $\leq$ 0.6) beyond the superconducting dome. This CO has a periodicity of $\sim$ 6 lattice units with correlation lengths of $\sim 3 - 20$ lattice units. It shows similar in-plane momentum and polarization dependence and dispersive excitations as the CO of underdoped cuprates, but its maximum intensity differs along the c-direction and persists up to 300 K. This CO cannot be explained by either the Fermi surface instability or the doped Hubbard model and its origin remains to be understood. Our results suggest that CO is prevailing in the overdoped metallic regime and superconductivity emerges out of the CO phase upon decreasing hole carriers.


title: Physics-Informed Neural Network Method for Parabolic Differential Equations with Sharply Perturbed Initial Conditions

abstract: In this paper, we develop a physics-informed neural network (PINN) model for parabolic problems with a sharply perturbed initial condition. As an example of a parabolic problem, we consider the advection-dispersion equation (ADE) with a point (Gaussian) source initial condition. In the $d$-dimensional ADE, perturbations in the initial condition decay with time $t$ as $t^{-d/2}$, which can cause a large approximation error in the PINN solution. Localized large gradients in the ADE solution make the (common in PINN) Latin hypercube sampling of the equation's residual highly inefficient. Finally, the PINN solution of parabolic equations is sensitive to the choice of weights in the loss function. We propose a normalized form of ADE where the initial perturbation of the solution does not decrease in amplitude and demonstrate that this normalization significantly reduces the PINN approximation error. We propose criteria for weights in the loss function that produce a more accurate PINN solution than those obtained with the weights selected via other methods. Finally, we proposed an adaptive sampling scheme that significantly reduces the PINN solution error for the same number of the sampling (residual) points. We demonstrate the accuracy of the proposed PINN model for forward, inverse, and backward ADEs.


title: DualMotion: Global-to-Local Casual Motion Design for Character Animations

abstract: Animating 3D characters using motion capture data requires basic expertise and manual labor. To support the creativity of animation design and make it easier for common users, we present a sketch-based interface DualMotion, with rough sketches as input for designing daily-life animations of characters, such as walking and jumping.Our approach enables to combine global motions of lower limbs and the local motion of the upper limbs in a database by utilizing a two-stage design strategy. Users are allowed to design a motion by starting with drawing a rough trajectory of a body/lower limb movement in the global design stage. The upper limb motions are then designed by drawing several more relative motion trajectories in the local design stage. We conduct a user study and verify the effectiveness and convenience of the proposed system in creative activities.


title: A Novel Survey for Young Substellar Objects with the W band Filter.V. IC 348 and Barnard 5 in the Perseus Cloud

abstract: We report the discovery of substellar objects in the young star cluster IC 348 and the neighboring Barnard 5 dark cloud, both at the eastern end of the Perseus star-forming complex. The substellar candidates are selected using narrowband imaging, i.e., on and off photometric technique with a filter centered around the water absorption feature at 1.45 microns, a technique proven to be efficient in detecting water-bearing substellar objects. Our spectroscopic observations confirm three brown dwarfs in IC 348. In addition, the source WBIS 03492858+3258064, reported in this work, is the first confirmed brown dwarf discovered toward Barnard 5. Together with the young stellar population selected via near- and mid-infrared colors using the Two Micron All Sky Survey and the Wide-field Infrared Survey Explorer, we diagnose the relation between stellar versus substellar objects with the associated molecular clouds. Analyzed by Gaia EDR3 parallaxes and kinematics of the cloud members across the Perseus region, we propose the star formation scenario of the complex under influence of the nearby OB association.


title: Lost in the Shuffle: Testing Power in the Presence of Errorful Network Vertex Labels

abstract: Two-sample network hypothesis testing is an important inference task with applications across diverse fields such as medicine, neuroscience, and sociology. Many of these testing methodologies operate under the implicit assumption that the vertex correspondence across networks is a priori known. This assumption is often untrue, and the power of the subsequent test can degrade when there are misaligned/label-shuffled vertices across networks. This power loss due to shuffling is theoretically explored in the context of random dot product and stochastic block model networks for a pair of hypothesis tests based on Frobenius norm differences between estimated edge probability matrices or between adjacency matrices. The loss in testing power is further reinforced by numerous simulations and experiments, both in the stochastic block model and in the random dot product graph model, where the power loss across multiple recently proposed tests in the literature is considered. Lastly, the impact that shuffling can have in real-data testing is demonstrated in a pair of examples from neuroscience and from social network analysis.


title: Energy Minimization in RIS-Assisted UAV-Enabled Wireless Power Transfer Systems

abstract: Unmanned aerial vehicle (UAV)-enabled wireless power transfer (WPT) systems offer significant advantages in coverage and deployment flexibility, but suffer from endurance limitations due to the limited onboard energy. This paper proposes to improve the energy efficiency of UAV-enabled WPT systems with multiple ground sensors by utilizing reconfigurable intelligent surface (RIS). Specifically, the total energy consumption of the UAV is minimized, while meeting the energy requirement of each sensor. Firstly, we consider a fly-hover-broadcast (FHB) protocol, in which the UAV radiates radio frequency (RF) signals only at several hovering locations. The energy minimization problem is formulated to jointly optimize the UAV's trajectory, hovering time and the RIS's reflection coefficients. To solve this complex non-convex problem, we propose an efficient algorithm. Specifically, the successive convex approximation (SCA) framework is adopted to jointly optimize the UAV's trajectory and hovering time, in which a minorization-maximization (MM) algorithm that maximizes the minimum charged energy of all sensors is provided to update the reflection coefficients. Then, we investigate the general scenario in which the RF signals are radiated during the flight, aiming to minimize the total energy consumption of the UAV by jointly optimizing the UAV's trajectory, flight time and the RIS's reflection coefficients. By applying the path discretization (PD) protocol, the optimization problem is formulated with a finite number of variables. A high-quality solution for this more challenging problem is obtained. Finally, our simulation results demonstrate the effectiveness of the proposed algorithm and the benefits of RIS in energy saving.


title: HIPASS study of southern ultradiffuse galaxies and low surface brightness galaxies

abstract: We present results from an HI counterpart search using the HI Parkes All Sky Survey (HIPASS) for a sample of low surface brightness galaxies (LSBGs) and ultradiffuse galaxies (UDGs) identified from the Dark Energy Survey (DES). We aimed to establish the redshifts of the DES LSBGs to determine the UDG fraction and understand their properties. Out of 409 galaxies investigated, none were unambiguously detected in HI. Our study was significantly hampered by the high spectral rms of HIPASS and thus in this paper we do not make any strong conclusive claims but discuss the main trends and possible scenarios our results reflect. The overwhelming number of non-detections suggest that: (A) Either all the LSBGs in the groups, blue or red, have undergone environment aided pre-processing and are HI deficient or the majority of them are distant galaxies, beyond the HIPASS detection threshold. (B) The sample investigated is most likely dominated by galaxies with HI masses typical of dwarf galaxies. Had there been Milky Way (MW) size (R_e) galaxies in our sample, with proportionate HI content, they would have been detected, even with the limitations imposed by the HIPASS spectral quality. This leads us to infer that if some of the LSBGs have MW size optical diameters, their HI content is possibly in the dwarf range. More sensitive observations using the SKA precursors in future may resolve these questions.


title: Suppression of ferromagnetism governed by a critical lattice parameter in CeTiGe$\_3$ with hydrostatic pressure or V substitution

abstract: We combine structural and magnetic measurements to compare the different magnetic phase diagrams between the pressure and substitution studies in CeTiGe3. We report on the structural, magnetic, and electrical transport properties of single crystals of CeTi1-xVxGe3 (x = 0, 0.1, 0.2, 0.3, 0.4, 0.9, and 1), and of polycrystalline samples (x = 0.5, 0.6, 0.7, 0.8), as well as structural properties of CeTiGe3 under pressure up to 9 GPa. The ferromagnetic ordering in CeTiGe3 is suppressed with V doping in CeTi1-xVxGe3, and suggests a possible ferromagnetic quantum critical point near x = 0.45. We perform a detailed crystalline electric field (CEF) analysis, and the magnetic susceptibility data in pure CeTiGe3 and CeVGe3 can be well explained by the CEF model. The proposed CEF energy levels suggest that there is a gradual change of the ground state from 5/2 state in CeTiGe3 to 1/2 state in CeVGe3, and a suppression of CEF splitting energies near the quantum critical region. When hydrostatic pressure is used instead of chemical substitution, the quantum critical point is avoided by the appearance of magnetic phases above around 4.1 GPa. In the substitution study, the ferromagnetic and antiferromagnetic regions are well separated, whereas they touch in the pressure study. We observe a different trend in the temperature dependence of the resistivity maximum in both studies, suggesting that the CEF splitting energy is suppressed by V substitution but enhanced by pressure. We also observe different responses in lattice constants between the two studies, highlighting the fact that substitution effects cannot be reduced to chemical pressure effects only. Nevertheless, when the magnetic phase diagrams of both hydrostatic pressure and substitution are compared, we find a common critical lattice constant c = 5.78 A where the ferromagnetic ordering is suppressed in both studies.


title: On the Integral and Derivative Identities of Bivariate Fox H-Function: Application in Wireless System Performance Analysis

abstract: The present work proposes analytical solutions for the integral of bivariate Fox H-function in combination with algebraic, exponential, and complementary error functions. In addition, the work also presents the derivative identities with respect to function arguments. Further, the suitability of the proposed mathematical solutions is verified with reference to wireless communication environment, where a fading behaviour of the channel acquired the bivariate Fox H-function structure. Further more, asymptotic results for the outage probability and average symbol error probability are presented utilizing the origin probability density function based approach. The obtained results are free from complex analytical functions. At last, the analytical findings of the paper are compared with the numerical results and also with the Monte-Carlo simulation results to confirm their accuracy.


title: Learning Program Representations with a Tree-Structured Transformer

abstract: Learning vector representations for programs is a critical step in applying deep learning techniques for program understanding tasks. Various neural network models are proposed to learn from tree-structured program representations, e.g., abstract syntax tree (AST) and concrete syntax tree (CST). However, most neural architectures either fail to capture long-range dependencies which are ubiquitous in programs, or cannot learn effective representations for syntax tree nodes, making them incapable of performing the node-level prediction tasks, e.g., bug localization. In this paper, we propose Tree-Transformer, a novel recursive tree-structured neural network to learn the vector representations for source codes. We propose a multi-head attention mechanism to model the dependency between siblings and parent-children node pairs. Moreover, we propose a bi-directional propagation strategy to allow node information passing in two directions, bottom-up and top-down along trees. In this way, Tree-Transformer can learn the information of the node features as well as the global contextual information. The extensive experimental results show that our Tree-Transformer significantly outperforms the existing tree-based and graph-based program representation learning approaches in both the tree-level and node-level prediction tasks.


title: Ghost Aperture Synthesis Imaging with Computational Aberration Cancellation

abstract: Although optical aperture synthesis has been generally regarded as the only access to very large imager for over a century, the problem of phasing all the giant sub-apertures on the scale of wavelength is still prohibitive. Besides, the accompanied adaptive optics combatting the atmospheric turbulence is also bulky and complicated. We here propose a new paradigm aperture synthesis imager through turbulence, based on computational ghost imaging method. The complex aberrations on the signal path are computationally cancelled by introducing an optimum compensation phase on the reference path. With the advanced aberration cancellation, our imager is free from phasing and aberrations problem. The image degradation due to turbulence is also suppressed and even eliminated without any guide star or wavefront shaping device. Experimentally, diffraction-limited imaging is achieved under turbulence featuring transverse coherence length far less than the optical aperture of the system.


title: Visual Pursuit Control based on Gaussian Processes with Switched Motion Trajectories

abstract: This paper considers a scenario of pursuing a moving target that may switch behaviors due to external factors in a dynamic environment by motion estimation using visual sensors. First, we present an improved Visual Motion Observer with switched Gaussian Process models for an extended class of target motion profiles. We then propose a pursuit control law with an online method to estimate the switching behavior of the target by the GP model uncertainty. Next, we prove ultimate boundedness of the control and estimation errors for the switch in target behavior with high probability. Finally, a Digital Twin simulation demonstrates the effectiveness of the proposed switching estimation and control law to prove applicability to real world scenarios.


title: Pandemic Control, Game Theory and Machine Learning

abstract: Game theory has been an effective tool in the control of disease spread and in suggesting optimal policies at both individual and area levels. In this AMS Notices article, we focus on the decision-making development for the intervention of COVID-19, aiming to provide mathematical models and efficient machine learning methods, and justifications for related policies that have been implemented in the past and explain how the authorities' decisions affect their neighboring regions from a game theory viewpoint.


title: Giant thermoelectric power factor anisotropy in PtSb$_{1.4}$Sn$_{0.6}$

abstract: We report giant anisotropy in thermoelectric power factor ($S^2\sigma$) of marcasite structure-type PtSb$_{1.4}$Sn$_{0.6}$. PtSb$_{1.4}$Sn$_{0.6}$, synthesized using ambient pressure flux growth method upon mixing Sb and Sn on the same atomic site, is a new phase different from both PtSb$_2$ and PtSn$_2$ that crystallize in the cubic $Pa\bar{3}$ pyrite and $Fm\bar{3}m$ fluorite unit cell symmetry, respectively. Giant difference in $S^2\sigma$ for heat flow applied along different principal directions of the orthorhombic unit cell mostly stems from anisotropic Seebeck coefficients.


title: Short-range Crystalline Order-Tuned Conductivity in Cr$_2$Si$_2$Te$_6$ van der Waals Magnetic Crystals

abstract: Two-dimensional magnetic materials (2DMM) are significant for studies on the nature of 2D long range magnetic order but also for future spintronic devices. Of particular interest are 2DMM where spins can be manipulated by electrical conduction. Whereas Cr$_2$Si$_2$Te$_6$ exhibits magnetic order in few-layer crystals, its large band gap inhibits electronic conduction. Here we show that the defect-induced short-range crystal order in Cr$_2$Si$_2$Te$_6$ on the length scale below 0.6 nm induces substantially reduced band gap and robust semiconducting behavior down to 2 K that turns to metallic above 10 GPa. Our results will be helpful to design conducting state in 2DMM and call for spin-resolved measurement of the electronic structure in exfoliated ultrathin crystals.


title: Do we really need to recalibrate the CT system Configuration for every experiment?

abstract: Different technical and physical factors may affect the image quality reconstructed using a Computed Tomography system. We have developed and designed a 2D Gamma Computed Tomography set up to study the effect of some physical parameters. One must decide the number of detectors and set CT geometry parameters or configuration like the fan-beam angle and number of rotations. Usually, geometry parameters are determined based on the objects size. This study shows the influence of the density distribution of same-sized phantom or objects on CT geometry parameters. Due to limited space, industrial applications may not allow a CT system to move around the object (under investigation). On-spot customization of CT system configuration may be required according to similar situations. The same problem is experienced in medical science, material science, and many other fields in which the CT system is widely used for non-destructive imaging. The number of detectors in the scanning array is one major factor that optimizes a CT system. Of course, more detectors are desired for better resolution. Changing the number of detectors requires recalibration of CT geometry. A simulated work is presented to study the influence of the density distribution of same-sized objects and the number of detectors on CT system configuration. The same is verified experimentally also. A comparison between simulated and experimental results shows a good agreement.


title: Nasal irrigation delivery in three post-FESS models from a squeeze-bottle using CFD

abstract: Purpose: Nasal saline irrigation is highly recommended in patients following functional endoscopic sinus surgery (FESS) to aid the postoperative recovery. Post-FESS patients have significantly altered anatomy leading to markedly different flow dynamics from those found in pre-op or non-diseased airways, resulting in unknown flow dynamics. Methods: This work investigated how the liquid stream disperses through altered nasal cavities following surgery using Computational Fluid Dynamics (CFD). A realistic squeeze profile was determined from physical experiments with a 27-year-old male using a squeeze bottle with load sensors. The administration technique involved a head tilt of 45-degrees forward to represent a head position over a sink. After the irrigation event that lasted 4.5 s, the simulation continued for an additional 1.5 s, with the head orientation returning to an upright position. Results: The results demonstrated that a large maxillary sinus ostium on the right side allows saline penetration into this sinus. The increased volume of saline entering the maxillary sinus limits the saline volume available to the rest of the sinonasal cavity and reduces the surface coverage of the other paranasal sinuses. The average wall shear stress was higher on the right side than on the other side for two patients. The results also revealed that head position alters the sinuses saline residual, especially the frontal sinuses. Conclusion: While greater access to sinuses is achieved through FESS surgery, patients without a nasal septum limits posterior sinus penetration due to the liquid crossing over to the contralateral cavity and exiting the nasal cavity early.


title: Modeling road user response timing in naturalistic settings: a surprise-based framework

abstract: There is currently no established method for evaluating human response timing across a range of naturalistic traffic conflict types. Traditional notions derived from controlled experiments, such as perception-response time, fail to account for the situation-dependency of human responses and offer no clear way to define the stimulus in many common traffic conflict scenarios. As a result, they are not well suited for application in naturalistic settings. Our main contribution is the development of a novel framework for measuring and modeling response times in naturalistic traffic conflicts applicable to automated driving systems as well as other traffic safety domains. The framework suggests that response timing must be understood relative to the subject's current (prior) belief and is always embedded in, and dependent on, the dynamically evolving situation. The response process is modeled as a belief update process driven by perceived violations to this prior belief, that is, by surprising stimuli. The framework resolves two key limitations with traditional notions of response time when applied in naturalistic scenarios: (1) The strong situation-dependence of response timing and (2) how to unambiguously define the stimulus. Resolving these issues is a challenge that must be addressed by any response timing model intended to be applied in naturalistic traffic conflicts. We show how the framework can be implemented by means of a relatively simple heuristic model fit to naturalistic human response data from real crashes and near crashes from the SHRP2 dataset and discuss how it is, in principle, generalizable to any traffic conflict scenario. We also discuss how the response timing framework can be implemented computationally based on evidence accumulation enhanced by machine learning-based generative models and the information-theoretic concept of surprise.


title: Converging tetrahedron method calculations for the nondissipative parts of spectral functions

abstract: Many physical quantities in solid-state physics are calculated from k-space summation. For spectral functions, the frequency-dependent factor can be decomposed into the energy-conserving delta function part and the nondissipative principal value part. A very useful scheme for this k-space summation is the tetrahedron method. Tetrahedron methods have been widely used to calculate the summation of the energy-conserving delta function part such as the imaginary part of the dielectric function. On the other hand, the corresponding tetrahedron method for the nondissipative part such as the real part of the dielectric function has not been used much. In this paper, we address the technical difficulties in the tetrahedron method for the nondissipative part and present an easy-to-implement, stable method to overcome those difficulties. We demonstrate our method by calculating the static and dynamical spin Hall conductivity of platinum. Our method can be widely applied to calculate linear static or dynamical conductivity, self-energy of an electron, and electric polarizability, to name a few.


title: Corrector estimates and numerical simulations of a system of diffusion-reaction-dissolution-precipitation model in a porous medium

abstract: A system of diffusion-reaction equations coupled with a dissolution-precipitation model is discussed. We start by introducing a microscale model together with its homogenized version. In the present paper, we first derive the corrector result to justify the obtained theoretical results. Furthermore, we perform the numerical computations to compare the outcome of the effective model with the original heterogeneous microscale model.


title: Rethinking the Performance of ISAC System: From Efficiency and Utility Perspectives

abstract: Integrated sensing and communications (ISAC) is an essential technology for the 6G communication system, which enables the conventional wireless communication network capable of sensing targets around. The shared use of pilots is a promising strategy to achieve ISAC. It brings a trade-off between communication and sensing, which is still unclear under the imperfect channel estimation condition. To provide some insights, the trade-off between ergodic capacity with imperfect channel estimation and ergodic Cramer-Rao bound (CRB) of range sensing is investigated. Firstly, the closedform expressions of ergodic capacity and ergodic range CRB are derived, which are associated with the number of pilots. Secondly, two novel metrics named efficiency and utility are firstly proposed to evaluate the joint performance of capacity and range sensing error. Specifically, efficiency is used to evaluate the achievable capacity per unit of the sensing error, and utility is designed to evaluate the utilization degree of ISAC. Moreover, an algorithm of pilot length optimization is designed to achieve the best efficiency. Finally, simulation results are given to verify the accuracy of analytical results, and provide some insights on designing the slot structure.


title: Generating Synthetic Clinical Data that Capture Class Imbalanced Distributions with Generative Adversarial Networks: Example using Antiretroviral Therapy for HIV

abstract: Clinical data usually cannot be freely distributed due to their highly confidential nature and this hampers the development of machine learning in the healthcare domain. One way to mitigate this problem is by generating realistic synthetic datasets using generative adversarial networks (GANs). However, GANs are known to suffer from mode collapse thus creating outputs of low diversity. This lowers the quality of the synthetic healthcare data, and may cause it to omit patients of minority demographics or neglect less common clinical practices. In this paper, we extend the classic GAN setup with an additional variational autoencoder (VAE) and include an external memory to replay latent features observed from the real samples to the GAN generator. Using antiretroviral therapy for human immunodeficiency virus (ART for HIV) as a case study, we show that our extended setup overcomes mode collapse and generates a synthetic dataset that accurately describes severely imbalanced class distributions commonly found in real-world clinical variables. In addition, we demonstrate that our synthetic dataset is associated with a very low patient disclosure risk, and that it retains a high level of utility from the ground truth dataset to support the development of downstream machine learning algorithms.


title: Categorifying computable reducibilities

abstract: This paper presents categorical formulations of Turing, Medvedev, Muchnik, and Weihrauch reducibilities in Computability Theory, utilizing Lawvere doctrines. While the first notions lend themselves to a smooth categorical presentation, essentially dualizing the traditional notion of realizability doctrines, Weihrauch reducibility and its extensions for represented and multi-represented spaces require a thorough investigation and the formulation of a new appropriate extension of the category of assemblies as a foundation for the respective doctrine. Our abstract analysis of these concepts highlights a shared characteristic among all these reducibilities. Specifically, we demonstrate that all these doctrines stemming from computability concepts can be proven to be instances of completions of quantifiers for doctrines, analogous to what occurs for doctrines for realizability. As a corollary of these results, we will be formally able to compare Weihrauch reducibility with the dialectica doctrine constructed from a doctrine representing Turing degrees.


title: Sobolev-Lorentz spaces with an application to the inhomogeneous biharmonic NLS equation

abstract: We consider the Cauchy problem for the inhomogeneous biharmonic nonlinear Schr\"{o}dinger (IBNLS) equation \[iu_{t} +\Delta^{2} u=\lambda |x|^{-b}|u|^{\sigma}u,\;u(0)=u_{0} \in H^{s} (\mathbb R^{d}),\] where $\lambda\in \mathbb R$, $d\in \mathbb N$, $0\le s<\min\left\{2+\frac{d}{2},d\right\}$, $0<b<\min \left\{4,\; d-s,\; 2+\frac{d}{2}-s \right\}$ and $0<\sigma\le \sigma_{c}(s)$ with $\sigma<\infty$. Here $\sigma_{c}(s)=\frac{8-2b}{d-2s}$ if $s<\frac{d}{2}$, and $\sigma_{c}(s)=\infty$ if $s\ge \frac{d}{2}$. First, we give some remarks on Sobolev-Lorentz spaces and extend the chain rule under Lorentz norms for the fractional Laplacian $(-\Delta)^{s/2}$ with $s\in (0,1]$ established by [Discrete Contin. Dyn. Syst. 41 (2021) 5409-5437] to any $s>0$. Applying this estimate and the contraction mapping principle based on Strichartz estimates in Lorentz spaces, we then establish the local well-posedness in $H^{s}$ for the IBNLS equation in both of subcritical case $\sigma<\sigma_{c}(s)$ and critical case $\sigma=\sigma_{c}(s)$. We also prove that the IBNLS equation is globally well-posed in $H^{s}$, if the initial data is sufficiently small and $\frac{8-2b}{d}\le \sigma\le \sigma_{c}(s)$ with $\sigma<\infty$.


title: Dust Temperature and Emission of FirstLight Simulated Galaxies at Cosmic Dawn

abstract: We study the behavior of dust temperature and its infrared emission of FirstLight1 simulated galaxies at the redshift of 6 and 8, by using POLARIS2 as a Monte Carlo photon transport simulator. To calculate the dust temperature ($T_{dust}$) of the Interstellar medium (ISM) of galaxies, POLARIS requires three essential parameters as an input - (1) The physical characteristics of galaxies such as the spatial distribution of stars and dust, which are taken from FirstLight galaxies. (2) The intrinsic properties of dust grains that are derived from theDiscrete Dipole Approximation Code (DDSCAT) model. (3) The optical properties of star-particles are in the form of their spectral energy distributions (SEDs) which are extracted from the Binary Population and Spectral Synthesis (BPASS) model. Our simulations produced the 3D maps of the equilibrium dust temperature along with the sight-line infrared emission maps of galaxies. Our results show the importance of excess heating of dust by the Cosmic Microwave Background (CMB) radiations at high redshifts that results in increased Mid and Far infrared (M-FIR) dust emission. The different evaluations of dust temperature models relate diversely to the optical and intrinsic properties of galaxies


title: A Two-Phase Paradigm for Joint Entity-Relation Extraction

abstract: An exhaustive study has been conducted to investigate span-based models for the joint entity and relation extraction task. However, these models sample a large number of negative entities and negative relations during the model training, which are essential but result in grossly imbalanced data distributions and in turn cause suboptimal model performance. In order to address the above issues, we propose a two-phase paradigm for the span-based joint entity and relation extraction, which involves classifying the entities and relations in the first phase, and predicting the types of these entities and relations in the second phase. The two-phase paradigm enables our model to significantly reduce the data distribution gap, including the gap between negative entities and other entities, as well as the gap between negative relations and other relations. In addition, we make the first attempt at combining entity type and entity distance as global features, which has proven effective, especially for the relation extraction. Experimental results on several datasets demonstrate that the spanbased joint extraction model augmented with the two-phase paradigm and the global features consistently outperforms previous state-of-the-art span-based models for the joint extraction task, establishing a new standard benchmark. Qualitative and quantitative analyses further validate the effectiveness the proposed paradigm and the global features.


title: Study of $B_c^+$ meson decays to charmonia plus multihadron final states

abstract: Four decay modes of the $B_c^+$ meson into a $J/\psi$ meson and multiple charged kaons or pions are studied using proton-proton collision data, collected with the~LHCb detector at centre-of-mass energies of 7, 8, and 13~TeV and corresponding to an integrated luminosity of $9$~fb$^{-1}$. The decay $B_c^+\to J/\psi K^+ K^- \pi^+ \pi^+ \pi^-$ is observed for the first time, and evidence for the $B_c^+\to J/\psi 4\pi^+ 3\pi^-$ decay is found. The decay $B_c^+\to J/\psi 3\pi^+ 2\pi^-$ is observedand and the previous observation of the $B_c^+\to\psi(2S) \pi^+ \pi^+ \pi^-$ decay is confirmed using the $\psi(2S) \to J/\psi \pi^+ \pi^-$ decay mode. Ratios of the branching fractions of these four $B_c^+$ decay channels are measured.


title: Domain-Specific Risk Minimization for Out-of-Distribution Generalization

abstract: Recent domain generalization (DG) approaches typically use the hypothesis learned on source domains for inference on the unseen target domain. However, such a hypothesis can be arbitrarily far from the optimal one for the target domain, induced by a gap termed ``adaptivity gap''. Without exploiting the domain information from the unseen test samples, adaptivity gap estimation and minimization are intractable, which hinders us to robustify a model to any unknown distribution. In this paper, we first establish a generalization bound that explicitly considers the adaptivity gap. Our bound motivates two strategies to reduce the gap: the first one is ensembling multiple classifiers to enrich the hypothesis space, then we propose effective gap estimation methods for guiding the selection of a better hypothesis for the target. The other method is minimizing the gap directly by adapting model parameters using online target samples. We thus propose \textbf{Domain-specific Risk Minimization (DRM)}. During training, DRM models the distributions of different source domains separately; for inference, DRM performs online model steering using the source hypothesis for each arriving target sample. Extensive experiments demonstrate the effectiveness of the proposed DRM for domain generalization with the following advantages: 1) it significantly outperforms competitive baselines on different distributional shift settings; 2) it achieves either comparable or superior accuracies on all source domains compared to vanilla empirical risk minimization; 3) it remains simple and efficient during training, and 4) it is complementary to invariant learning approaches.


title: Private, Efficient, and Accurate: Protecting Models Trained by Multi-party Learning with Differential Privacy

abstract: Secure multi-party computation-based machine learning, referred to as MPL, has become an important technology to utilize data from multiple parties with privacy preservation. While MPL provides rigorous security guarantees for the computation process, the models trained by MPL are still vulnerable to attacks that solely depend on access to the models. Differential privacy could help to defend against such attacks. However, the accuracy loss brought by differential privacy and the huge communication overhead of secure multi-party computation protocols make it highly challenging to balance the 3-way trade-off between privacy, efficiency, and accuracy. In this paper, we are motivated to resolve the above issue by proposing a solution, referred to as PEA (Private, Efficient, Accurate), which consists of a secure DPSGD protocol and two optimization methods. First, we propose a secure DPSGD protocol to enforce DPSGD in secret sharing-based MPL frameworks. Second, to reduce the accuracy loss led by differential privacy noise and the huge communication overhead of MPL, we propose two optimization methods for the training process of MPL: (1) the data-independent feature extraction method, which aims to simplify the trained model structure; (2) the local data-based global model initialization method, which aims to speed up the convergence of the model training. We implement PEA in two open-source MPL frameworks: TF-Encrypted and Queqiao. The experimental results on various datasets demonstrate the efficiency and effectiveness of PEA. E.g. when ${\epsilon}$ = 2, we can train a differentially private classification model with an accuracy of 88% for CIFAR-10 within 7 minutes under the LAN setting. This result significantly outperforms the one from CryptGPU, one SOTA MPL framework: it costs more than 16 hours to train a non-private deep neural network model on CIFAR-10 with the same accuracy.


title: The GaN yellow-luminescence-related surface state and its interaction with air

abstract: Yellow luminescence (YL) is probably the longest and most studied defect-related luminescence band in GaN, yet its electronic structure or chemical identity remain unclear. Most of the theoretical work so far has attributed the feature to bulk defects, whereas spectroscopic studies have suggested a surface origin. Here, we apply deep level spectroscopy using sub-bandgap surface photovoltage that provides the energy distribution of the surface charge density. Comparison of surface charge spectra obtained under identical conditions before and after various surface treatments reveals the dynamics of the surface charge density. Further comparison with spectra of the entire state obtained using photoluminescence shows how the charge density stored in YL-related defects is eliminated upon a mild anneal in vacuum. This suggests that the YL-related defect involves a certain molecule adsorbed on the GaN surface, possibly in a complex with an intrinsic surface defect. The observed interaction with air strongly indicates that the YL-related deep level is a surface state.


title: Enhancing Diffusion-Based Image Synthesis with Robust Classifier Guidance

abstract: Denoising diffusion probabilistic models (DDPMs) are a recent family of generative models that achieve state-of-the-art results. In order to obtain class-conditional generation, it was suggested to guide the diffusion process by gradients from a time-dependent classifier. While the idea is theoretically sound, deep learning-based classifiers are infamously susceptible to gradient-based adversarial attacks. Therefore, while traditional classifiers may achieve good accuracy scores, their gradients are possibly unreliable and might hinder the improvement of the generation results. Recent work discovered that adversarially robust classifiers exhibit gradients that are aligned with human perception, and these could better guide a generative process towards semantically meaningful images. We utilize this observation by defining and training a time-dependent adversarially robust classifier and use it as guidance for a generative diffusion model. In experiments on the highly challenging and diverse ImageNet dataset, our scheme introduces significantly more intelligible intermediate gradients, better alignment with theoretical findings, as well as improved generation results under several evaluation metrics. Furthermore, we conduct an opinion survey whose findings indicate that human raters prefer our method's results.


title: On Promotion and Quasi-tangled Labelings of Posets

abstract: In 2022, Defant and Kravitz introduced extended promotion (denoted $\partial$), a map that acts on the set of labelings of a poset. Extended promotion is a generalization of Sch\"{u}tzenberger's promotion operator, a well-studied map that permutes the set of linear extensions of a poset. It is known that if $L$ is a labeling of an $n$-element poset $P$, then $\partial^{n-1}(L)$ is a linear extension. This allows us to regard $\partial$ as a sorting operator on the set of all labelings of $P$, where we think of the linear extensions of $P$ as the labelings which have been sorted. The labelings requiring $n-1$ applications of $\partial$ to be sorted are called tangled; the labelings requiring $n-2$ applications are called quasi-tangled. In addition to computing the sizes of the fibers of promotion for rooted tree posets, we count the quasi-tangled labelings of a relatively large class of posets called inflated rooted trees with deflated leaves. Given an $n$-element poset with a unique minimal element with the property that the minimal element has exactly one parent, it follows from the aforementioned enumeration that this poset has $2(n-1)!-(n-2)!$ quasi-tangled labelings. Using similar methods, we outline an algorithmic approach to enumerating the labelings requiring $n-k-1$ applications to be sorted for any fixed $k\in\{1,\ldots,n-2\}$. We also make partial progress towards proving a conjecture of Defant and Kravitz on the maximum possible number of tangled labelings of an $n$-element poset.


title: On an Application of Generative Adversarial Networks on Remaining Lifetime Estimation

abstract: A major problem of structural health monitoring (SHM) has been the prognosis of damage and the definition of the remaining useful life of a structure. Both tasks depend on many parameters, many of which are often uncertain. Many models have been developed for the aforementioned tasks but they have been either deterministic or stochastic with the ability to take into account only a restricted amount of past states of the structure. In the current work, a generative model is proposed in order to make predictions about the damage evolution of structures. The model is able to perform in a population-based SHM (PBSHM) framework, to take into account many past states of the damaged structure, to incorporate uncertainties in the modelling process and to generate potential damage evolution outcomes according to data acquired from a structure. The algorithm is tested on a simulated damage evolution example and the results reveal that it is able to provide quite confident predictions about the remaining useful life of structures within a population.


title: SDA-SNE: Spatial Discontinuity-Aware Surface Normal Estimation via Multi-Directional Dynamic Programming

abstract: The state-of-the-art (SoTA) surface normal estimators (SNEs) generally translate depth images into surface normal maps in an end-to-end fashion. Although such SNEs have greatly minimized the trade-off between efficiency and accuracy, their performance on spatial discontinuities, e.g., edges and ridges, is still unsatisfactory. To address this issue, this paper first introduces a novel multi-directional dynamic programming strategy to adaptively determine inliers (co-planar 3D points) by minimizing a (path) smoothness energy. The depth gradients can then be refined iteratively using a novel recursive polynomial interpolation algorithm, which helps yield more reasonable surface normals. Our introduced spatial discontinuity-aware (SDA) depth gradient refinement strategy is compatible with any depth-to-normal SNEs. Our proposed SDA-SNE achieves much greater performance than all other SoTA approaches, especially near/on spatial discontinuities. We further evaluate the performance of SDA-SNE with respect to different iterations, and the results suggest that it converges fast after only a few iterations. This ensures its high efficiency in various robotics and computer vision applications requiring real-time performance. Additional experiments on the datasets with different extents of random noise further validate our SDA-SNE's robustness and environmental adaptability. Our source code, demo video, and supplementary material are publicly available at mias.group/SDA-SNE.


title: Optimal One-pass Nonparametric Estimation Under Memory Constraint

abstract: For nonparametric regression in the streaming setting, where data constantly flow in and require real-time analysis, a main challenge is that data are cleared from the computer system once processed due to limited computer memory and storage. We tackle the challenge by proposing a novel one-pass estimator based on penalized orthogonal basis expansions and developing a general framework to study the interplay between statistical efficiency and memory consumption of estimators. We show that, the proposed estimator is statistically optimal under memory constraint, and has asymptotically minimal memory footprints among all one-pass estimators of the same estimation quality. Numerical studies demonstrate that the proposed one-pass estimator is nearly as efficient as its non-streaming counterpart that has access to all historical data.


title: Effect of confinement on flow around a rotating elliptic cylinder in laminar flow regime

abstract: The flow phenomena around a rotating elliptic cylinder in a channel is studied numerically. The value of the confinement parameter \beta is varied as \frac{1}{k}, where k = 2, 4, 6, and 8 respectively, to demonstrate the vortex-shedding patterns around the cylinder in the downstream wake. The non-dimensional rotation rate \alpha takes up 0.5, 1, and 2 as its value. Additionally, the Reynolds number (\textit{Re}) based on the cylinder diameter is taken to be 50, 100, and 150 respectively. A parametric study is performed to explain the changes in drag coefficient \textit{(C_{D})}, lift coefficient \textit{(C_{L})}, and moment coefficient \textit{(C_{M})} with variations of \beta, \alpha, and \textit{Re}. The Fast-Fourier transform (FFT) of the time-periodic lift signals is presented to understand the shedding frequency characteristics, and the \textit{C_{M}} values are analyzed for cases of autorotation. Despite the introduction of significant confinement and cylinder rotation, complete suppression of vortex shedding is not observed for the considered parameter space. Autorotation is observed and becomes prominent with decrease in non-dimensional rotation rate and increase in confinement and Reynolds number.


title: Approximation Algorithms for Envy-Free Cake Division with Connected Pieces

abstract: Cake cutting is a classic model for studying fair division of a heterogeneous, divisible resource among agents with individual preferences. Addressing cake division under a typical requirement that each agent must receive a connected piece of the cake, we develop approximation algorithms for finding envy-free (fair) cake divisions. In particular, this work improves the state-of-the-art additive approximation bound for this fundamental problem. Our results hold for general cake division instances in which the agents' valuations satisfy basic assumptions and are normalized (to have value $1$ for the cake). Furthermore, the developed algorithms execute in polynomial time under the standard Robertson-Webb query model. Prior work has shown that one can efficiently compute a cake division (with connected pieces) in which the additive envy of any agent is at most $1/3$. An efficient algorithm is also known for finding connected cake divisions that are (almost) $1/2$-multiplicatively envy-free. Improving the additive approximation guarantee and maintaining the multiplicative one, we develop a polynomial-time algorithm that computes a connected cake division that is both $\left(\frac{1}{4} +o(1) \right)$-additively envy-free and $\left(\frac{1}{2} - o(1) \right)$-multiplicatively envy-free. Our algorithm is based on the ideas of interval growing and envy-cycle-elimination. In addition, we study cake division instances in which the number of distinct valuations across the agents is parametrically bounded. We show that such cake division instances admit a fully polynomial-time approximation scheme for connected envy-free cake division.


title: Understanding the Implementation of Technical Measures in the Process of Data Privacy Compliance: A Qualitative Study

abstract: Modern privacy regulations, such as the General Data Protection Regulation (GDPR), address privacy in software systems in a technologically agnostic way by mentioning general "technical measures" for data privacy compliance rather than dictating how these should be implemented. An understanding of the concept of technical measures and how exactly these can be handled in practice, however, is not trivial due to its interdisciplinary nature and the necessary technical-legal interactions. We aim to investigate how the concept of technical measures for data privacy compliance is understood in practice as well as the technical-legal interaction intrinsic to the process of implementing those technical measures. We follow a research design that is 1) exploratory in nature, 2) qualitative, and 3) interview-based, with 16 selected privacy professionals in the technical and legal domains. Our results suggest that there is no clear mutual understanding and commonly accepted approach to handling technical measures. Both technical and legal roles are involved in the implementation of such measures. While they still often operate in separate spheres, a predominant opinion amongst the interviewees is to promote more interdisciplinary collaboration. Our empirical findings confirm the need for better interaction between legal and engineering teams when implementing technical measures for data privacy. We posit that interdisciplinary collaboration is paramount to a more complete understanding of technical measures, which currently lacks a mutually accepted notion. Yet, as strongly suggested by our results, there is still a lack of systematic approaches to such interaction. Therefore, the results strengthen our confidence in the need for further investigations into the technical-legal dynamic of data privacy compliance.


title: RRWaveNet: A Compact End-to-End Multi-Scale Residual CNN for Robust PPG Respiratory Rate Estimation

abstract: Respiratory rate (RR) is an important biomarker as RR changes can reflect severe medical events such as heart disease, lung disease, and sleep disorders. Unfortunately, standard manual RR counting is prone to human error and cannot be performed continuously. This study proposes a method for continuously estimating RR, RRWaveNet. The method is a compact end-to-end deep learning model which does not require feature engineering and can use low-cost raw photoplethysmography (PPG) as input signal. RRWaveNet was tested subject-independently and compared to baseline in four datasets (BIDMC, CapnoBase, WESAD, and SensAI) and using three window sizes (16, 32, and 64 seconds). RRWaveNet outperformed current state-of-the-art methods with mean absolute errors at optimal window size of 1.66 \pm 1.01, 1.59 \pm 1.08, 1.92 \pm 0.96 and 1.23 \pm 0.61 breaths per minute for each dataset. In remote monitoring settings, such as in the WESAD and SensAI datasets, we apply transfer learning to improve the performance using two other ICU datasets as pretraining datasets, reducing the MAE by up to 21$\%$. This shows that this model allows accurate and practical estimation of RR on affordable and wearable devices. Our study also shows feasibility of remote RR monitoring in the context of telemedicine and at home.


title: Identifying incoherent mixing effects in the coherent two-dimensional photocurrent excitation spectra of semiconductors

abstract: We have previously demonstrated that in the context of two-dimensional (2D) coherent electronic spectroscopy measured by phase modulation and phase-sensitive detection, an \emph{incoherent} nonlinear response, due to pairs of photoexcitations produced via linear excitation pathways, contribute to the measured signal as unexpected background [Gr\'egoire et al., J.\ Chem.\ Phys. \textbf{147}, 114201 (2017)]. Here, we simulate the effect of such incoherent population mixing in the photocurrent signal collected from a GaAs solar cell by acting externally on the transimpedance amplifier circuit used for phase-sensitive detection, and we identify an effective strategy to recognize the presence of incoherent population mixing in 2D data. While we find that incoherent mixing is reflected by cross-talk between the linear amplitude at the two time-delay variables in the four-pulse excitation sequence, we do not observe any strict phase correlations between the coherent and incoherent contributions, as expected from modelling of a simple system.


title: On the implementation of an ETSI MEC using open source solutions

abstract: For autonomous vehicles to be fully aware of its environment, it needs to collect data consistently from other vehicles and Road Side Units (RSU) in the surroundings. This heavy exchange increases latency and cybersecurity threats. This paper introduces Multi-Access Edge Computing (MEC), a 5G specification, as a promising solution to this significant issue. It proposes the adoption of a MEC platform, at the autonomous car premises capable of providing the environment required for running vehicular MEC applications, therefore reducing latency and decentralizing data treatment. For that purpose, the standard established by the European Telecommunications Standards Institute (ETSI) for the MEC framework is adopted. This work introduces few open-source solutions while analyzing how strongly it respects the ETSI standard, and it supports mobility in a Cooperative, Connected, and Automated Mobility (CCAM) context. It also recommends possible MEC security solutions.


title: Tree species classification from hyperspectral data using graph-regularized neural networks

abstract: We propose a novel graph-regularized neural network (GRNN) algorithm for tree species classification. The proposed algorithm encompasses superpixel-based segmentation for graph construction, a pixel-wise neural network classifier, and the label propagation technique to generate an accurate and realistic (emulating tree crowns) classification map on a sparsely annotated data set. GRNN outperforms several state-of-the-art techniques not only for the standard Indian Pines HSI but also achieves a high classification accuracy (approx. 92%) on a new HSI data set collected over the heterogeneous forests of French Guiana (FG) when less than 1% of the pixels are labeled. We further show that GRNN is competitive with the state-of-the-art semi-supervised methods and exhibits a small deviation in accuracy for different numbers of training samples and over repeated trials with randomly sampled labeled pixels for training.


title: Einstein-Klein-Gordon spacetimes in the harmonic near-Minkowski regime

abstract: We study the initial value problem for the Einstein-Klein-Gordon system and establish the global nonlinear stability of massive matter in the near-Minkowski regime when the initial geometry is a perturbation of an asymptotically flat, spacelike hypersurface in Minkowski spacetime and the metric enjoys the harmonic decay 1/r (in term of a suitable distance function r at spatial infinity). Our analysis encompasses matter fields that have small energy norm and solely enjoys a slow decay at spacelike infinity. Our proof is based on the Euclidean-hyperboloidal foliation method recently introduced by the authors, and distinguishes between the decay along asymptotically hyperbolic slices and the decay along asymptotically Euclidean slices. We carefully analyze the decay of metric component at the harmonic level 1/r, especially the metric component in the direction of the light cone. In presence of such a slow-decaying matter field, we establish a global existence theory for the Einstein equations expressed as a coupled system of nonlinear wave and Klein-Gordon equations.


title: Enhancing Targeted Attack Transferability via Diversified Weight Pruning

abstract: Malicious attackers can generate targeted adversarial examples by imposing tiny noises, forcing neural networks to produce specific incorrect outputs. With cross-model transferability, network models remain vulnerable even in black-box settings. Recent studies have shown the effectiveness of ensemble-based methods in generating transferable adversarial examples. To further enhance transferability, model augmentation methods aim to produce more networks participating in the ensemble. However, existing model augmentation methods are only proven effective in untargeted attacks. In this work, we propose Diversified Weight Pruning (DWP), a novel model augmentation technique for generating transferable targeted attacks. DWP leverages the weight pruning method commonly used in model compression. Compared with prior work, DWP protects necessary connections and ensures the diversity of the pruned models simultaneously, which we show are crucial for targeted transferability. Experiments on the ImageNet-compatible dataset under various and more challenging scenarios confirm the effectiveness: transferring to adversarially trained models, Non-CNN architectures, and Google Cloud Vision. The results show that our proposed DWP improves the targeted attack success rates with up to $10.1$%, $6.6$%, and $7.0$% on the combination of state-of-the-art methods, respectively. The source code will be made available after acceptance.


title: Mere Contrastive Learning for Cross-Domain Sentiment Analysis

abstract: Cross-domain sentiment analysis aims to predict the sentiment of texts in the target domain using the model trained on the source domain to cope with the scarcity of labeled data. Previous studies are mostly cross-entropy-based methods for the task, which suffer from instability and poor generalization. In this paper, we explore contrastive learning on the cross-domain sentiment analysis task. We propose a modified contrastive objective with in-batch negative samples so that the sentence representations from the same class will be pushed close while those from the different classes become further apart in the latent space. Experiments on two widely used datasets show that our model can achieve state-of-the-art performance in both cross-domain and multi-domain sentiment analysis tasks. Meanwhile, visualizations demonstrate the effectiveness of transferring knowledge learned in the source domain to the target domain and the adversarial test verifies the robustness of our model.


title: Small Tuning Parameter Selection for the Debiased Lasso

abstract: In this study, we investigate the bias and variance properties of the debiased Lasso in linear regression when the tuning parameter of the node-wise Lasso is selected to be smaller than in previous studies. We consider the case where the number of covariates $p$ is bounded by a constant multiple of the sample size $n$. First, we show that the bias of the debiased Lasso can be reduced without diverging the asymptotic variance by setting the order of the tuning parameter to $1/\sqrt{n}$.This implies that the debiased Lasso has asymptotic normality provided that the number of nonzero coefficients $s_0$ satisfies $s_0=o(\sqrt{n/\log p})$, whereas previous studies require $s_0 =o(\sqrt{n}/\log p)$ if no sparsity assumption is imposed on the precision matrix. Second, we propose a data-driven tuning parameter selection procedure for the node-wise Lasso that is consistent with our theoretical results. Simulation studies show that our procedure yields confidence intervals with good coverage properties in various settings. We also present a real economic data example to demonstrate the efficacy of our selection procedure.


title: Role of strain on the stability of B, C, N, and O in Iron

abstract: The preference for the occupation of solute atoms like B, C, N, and O at various sites in iron is generally explained by the size of the solute and the volume available for the solute atoms to occupy. Such an explanation based on the size of solute atoms and available space at the occupation site assumes that distortion alone dictates the stability of solute atoms. Using first-principles density functional theory (DFT), we separately calculate the distortion energy (DE) and electronic binding energy (EBE) of solute atoms in iron. We show that electronic binding dictates the relative stability of O rather than distortion. In contrast, the relative stability of B, C, and N is dictated by the distortion it exerts on iron atoms. Contribution to the relative stability of B atoms is dictated mostly by distortion. It suggests that B could occupy a large volume region like grain boundaries. The same agrees with experiments indicating B segregates at grain boundaries and planar defects. Such conclusions could not have been drawn from the formation energy calculation, which shows that B is stable at the substitution site.


title: Communication-Efficient Decentralized Online Continuous DR-Submodular Maximization

abstract: Maximizing a monotone submodular function is a fundamental task in machine learning, economics, and statistics. In this paper, we present two communication-efficient decentralized online algorithms for the monotone continuous DR-submodular maximization problem, both of which reduce the number of per-function gradient evaluations and per-round communication complexity from $T^{3/2}$ to $1$. The first one, One-shot Decentralized Meta-Frank-Wolfe (Mono-DMFW), achieves a $(1-1/e)$-regret bound of $O(T^{4/5})$. As far as we know, this is the first one-shot and projection-free decentralized online algorithm for monotone continuous DR-submodular maximization. Next, inspired by the non-oblivious boosting function \citep{zhang2022boosting}, we propose the Decentralized Online Boosting Gradient Ascent (DOBGA) algorithm, which attains a $(1-1/e)$-regret of $O(\sqrt{T})$. To the best of our knowledge, this is the first result to obtain the optimal $O(\sqrt{T})$ against a $(1-1/e)$-approximation with only one gradient inquiry for each local objective function per step. Finally, various experimental results confirm the effectiveness of the proposed methods.


title: Quantum Mechanics in Phase Space: An introduction

abstract: Informal collection of lecture notes introducing quantum mechanics in phase space and basic Gaussian quantum mechanics.


title: Numerical modeling of CuSbSe2-based dual-heterojunction thin film solar cell with CGS back surface layer

abstract: Ternary chalcostibite copper antimony selenide (CuSbSe2) is a promising absorber material for next generation thin film solar cells due to the non-toxic nature, earth-abundance, low-cost fabrication technique, optimum bandgap and high optical absorption coefficient of CuSbSe2. Conventional single heterojunction CuSbSe2 solar cells suffer from high recombination rate at the interfaces and the presence of a Schottky barrier at the back contact, which limit their power conversion efficiencies (PCEs). In this study, we propose a dual-heterojunction n-ZnSe/p-CuSbSe2/p+-CGS solar cell, having copper gallium selenide (CGS) as the back surface field (BSF) layer. The BSF layer absorbs longer wavelength photons through a tail-states-assisted (TSA) two-step upconversion process, leading to enhanced conversion efficiency. Numerical simulations were carried out using SCAPS-1D to investigate the performance of the proposed solar cell with respect to absorber layer thickness, doping concentrations and defect densities. The simulation results exhibit PCE as high as 43.77% for the dual-heterojunction solar cell as compared to 27.74% for the single heterojunction n-ZnSe/p-CuSbSe2 counterpart. The dual-heterojunction structure has, therefore, the potential to approach the Shockley-Queisser (SQ) detailed balance limit and can lead to extremely high PCEs in emerging thin film solar cells.


title: Technologies for advanced X-ray mirror fabrication

abstract: X-ray mirror fabrication for astronomy is challenging; this is due to the Wolter I optical geometry and the tight tolerances on roughness and form error to enable accurate and efficient X-ray reflection. The performance of an X-ray mirror, and ultimately that of the telescope, is linked to the processes and technologies used to create it. The goal of this chapter is to provider the reader with an overview of the different technologies and processes used to create the mirrors for X-ray telescopes. The objective is to present this diverse field in the framework of the manufacturing methodologies (subtractive, formative, fabricative & additive) and how these methodologies influence the telescope attributes (angular resolution and effective area). The emphasis is placed upon processes and technologies employed in recent X-ray space telescopes and those that are being actively investigated for future missions such as Athena and concepts such as Lynx. Speculative processes and technologies relating to Industry 4.0 are introduced to imagine how X-ray mirror fabrication may develop in the future.


title: A posteriori error estimates for discontinuous Galerkin methods on polygonal and polyhedral meshes

abstract: We present a new residual-type energy-norm a posteriori error analysis for interior penalty discontinuous Galerkin (dG) methods for linear elliptic problems. The new error bounds are also applicable to dG methods on meshes consisting of elements with very general polygonal/polyhedral shapes. The case of simplicial and/or box-type elements is included in the analysis as a special case. In particular, for the upper bounds, an arbitrary number of very small faces are allowed on each polygonal/polyhedral element, as long as certain mild shape regularity assumptions are satisfied. As a corollary, the present analysis generalizes known a posteriori error bounds for dG methods, allowing in particular for meshes with an arbitrary number of irregular hanging nodes per element. The proof hinges on a new conforming recovery strategy in conjunction with a Helmholtz decomposition formula. The resulting a posteriori error bound involves jumps on the tangential derivatives along elemental faces. Local lower bounds are also proven for a number of practical cases. Numerical experiments are also presented, highlighting the practical value of the derived a posteriori error bounds as error estimators.


title: Steering Action-aware Adaptive Cruise Control for Teleoperated Driving

abstract: In this paper, a steering action-aware Adaptive Cruise Control (ACC) approach for teleoperated road vehicles is proposed. In order to keep the vehicle in a safe state, the ACC approach can override the human operator's velocity control commands. The safe state is defined as a state from which the vehicle can be stopped safely, no matter which steering actions are applied by the operator. This is achieved by first sampling various potential future trajectories. In a second stage, assuming the trajectory with the highest risk, a safe and comfortable velocity profile is optimized. This yields a safe velocity control command for the vehicle. In simulations, the characteristics of the approach are compared to a Model Predictive Control-based approach that is capable of overriding both, the commanded steering angle as well as the velocity. Furthermore, in teleoperation experiments with a 1:10-scale vehicle testbed, it is demonstrated that the proposed ACC approach keeps the vehicle safe, even if the control commands from the operator would have resulted in a collision.


title: Incidental Data: Observation of Privacy Compromising Data on Social Media Platforms

abstract: Social media plays an important role for a vast majority in one's internet life. Likewise, sharing, publishing and posting content through social media became nearly effortless. This unleashes new threats as unintentionally shared information may be used against oneself or beloved ones. With open source intelligence data and methods, we show how unindented published data can be revealed and further analyze possibilities that can potentially compromise one's privacy. This is backed up by a popular view from interviewed experts from various fields of expertise. We were able to show that only 2 hours of manually fetching data are sufficient in order to unveil private personal information that was not intended to be published by the person. Two distinctive methods are described with several approaches. From our results, we were able to describe a thirteen-step awareness guideline and proposed a change of law within Austrian legislation. Our work has shown that awareness among persons on social media needs to be raised. Critically reflecting on our work has revealed several ethical implications that made countermeasures necessary; however, it can be assumed that criminals do not do that.


title: Intention estimation from gaze and motion features for human-robot shared-control object manipulation

abstract: Shared control can help in teleoperated object manipulation by assisting with the execution of the user's intention. To this end, robust and prompt intention estimation is needed, which relies on behavioral observations. Here, an intention estimation framework is presented, which uses natural gaze and motion features to predict the current action and the target object. The system is trained and tested in a simulated environment with pick and place sequences produced in a relatively cluttered scene and with both hands, with possible hand-over to the other hand. Validation is conducted across different users and hands, achieving good accuracy and earliness of prediction. An analysis of the predictive power of single features shows the predominance of the grasping trigger and the gaze features in the early identification of the current action. In the current framework, the same probabilistic model can be used for the two hands working in parallel and independently, while a rule-based model is proposed to identify the resulting bimanual action. Finally, limitations and perspectives of this approach to more complex, full-bimanual manipulations are discussed.


title: Reverse Engineering of Integrated Circuits: Tools and Techniques

abstract: Consumer and defense systems demanded design and manufacturing of electronics with increased performance, compared to their predecessors. As such systems became ubiquitous in a plethora of domains, their application surface increased, thus making them a target for adversaries. Hence, with improved performance the aspect of security demanded even more attention of the designers. The research community is rife with extensive details of attacks that target the confidential design details by exploiting vulnerabilities. The adversary could target the physical design of a semiconductor chip or break a cryptographic algorithm by extracting the secret keys, using attacks that will be discussed in this thesis. This thesis focuses on presenting a brief overview of IC reverse engineering attack and attacks targeting cryptographic systems. Further, the thesis presents my contributions to the defenses for the discussed attacks. The globalization of the Integrated Circuit (IC) supply chain has rendered the advantage of low-cost and high-performance ICs in the market for the end users. But this has also made the design vulnerable to over production, IP Piracy, reverse engineering attacks and hardware malware during the manufacturing and post manufacturing process. Logic locking schemes have been proposed in the past to overcome the design trust issues but the new state-of-the-art attacks such as SAT has proven a larger threat. This work highlights the reverse engineering attack and a proposed hardened platform along with its framework.


title: A Survey on Open Information Extraction from Rule-based Model to Large Language Model

abstract: Open Information Extraction (OpenIE) represents a crucial NLP task aimed at deriving structured information from unstructured text, unrestricted by relation type or domain. This survey paper provides an overview of OpenIE technologies spanning from 2007 to 2024, emphasizing a chronological perspective absent in prior surveys. It examines the evolution of task settings in OpenIE to align with the advances in recent technologies. The paper categorizes OpenIE approaches into rule-based, neural, and pre-trained large language models, discussing each within a chronological framework. Additionally, it highlights prevalent datasets and evaluation metrics currently in use. Building on this extensive review, the paper outlines potential future directions in terms of datasets, information sources, output formats, methodologies, and evaluation metrics.


title: Prescribed Chern scalar curvatures on compact Hermitian manifolds with negative Gauduchon degree

abstract: In this paper, we investigate the problem of prescribing Chern scalar curvatures on compact Hermitian manifolds with negative Gauduchon degree. By studying the convergence of the associated geometric flow, we obtain some existence results when the candidate curvature function is nonzero and nonpositive. Furthermore, we also consider the case that the candidate curvature function is sign-changing, and establish some existence and nonexistence results.


title: Embeddable of one-vertex graph with rotations into torus

abstract: We are interested in finding combinatorial criteria for embedding graphs into torus and using them in the embedding check algorithm. It is a well-known fact that any connected graph can be reduced to a one-vertex graph with loops and is homotopy equivalent to such a graph. If a connected graph has intersection of some edges, then some loops of one-vertex graph will also intersect. Therefore the problem of embedding graphs into some surface is equivalent to the question of embedding one-vertex graph in given surface. This paper considers a graph with rotations or rotation system called hieroglyph. The equivalence of four conditions is proved: (1) embedding hieroglyph into torus; (2) the absence of forbidden subgraphs in a hieroglyph; (3) some condition for the graph of loops; (4) the existence of a reduction of hieroglyph to one of the list of hieroglyphs. We also prove the existence of an algorithm with complexity $O(n)$ that recognizes embedding hieroglyph into torus.


title: Matrix Quantile Factor Model

abstract: This paper introduces a matrix quantile factor model for matrix-valued data with a low-rank structure. We estimate the row and column factor spaces via minimizing the empirical check loss function over all panels. We show the estimates converge at rate $1/\min\{\sqrt{p_1p_2}, \sqrt{p_2T},$ $\sqrt{p_1T}\}$ in average Frobenius norm, where $p_1$, $p_2$ and $T$ are the row dimensionality, column dimensionality and length of the matrix sequence. This rate is faster than that of the quantile estimates via ``flattening" the matrix model into a large vector model. Smoothed estimates are given and their central limit theorems are derived under some mild condition. We provide three consistent criteria to determine the pair of row and column factor numbers. Extensive simulation studies and an empirical study justify our theory.


title: The integrated radio spectrum of G2.4$+$1.4

abstract: The Galactic source G2.4$+$1.4 is an optical and radio nebula containing an extreme Wolf--Rayet star. At one time this source was regarded as a supernova remnant, because of its apparent non-thermal radio spectrum, although this was based on limited observations. Subsequent observations instead supported a flat, optically thin thermal radio spectrum for G2.4$+$1.4, and it was identified as a photoionized, mass-loss bubble, not a supernova remnant. Recently, however, it has been claimed that this source has a non-thermal integrated radio spectrum. I discuss the integrated radio flux densities available for G2.4$+$1.4 from a variety of surveys, and show that it has a flat spectrum at gigahertz frequencies (with a spectral index $\alpha$ of $0.02 \pm 0.08$, where flux density $S$ scales with frequency $\nu$ as $S \propto \nu^{-\alpha}$).


title: Search for $C\!P$ violation and measurement of branching fractions and decay asymmetry parameters for $\Lambda_c^+\to\Lambda h^+$ and $\Lambda_c^+\to\Sigma^{0} h^+$ ($h\!=\!K,\,\pi$)

abstract: We report a study of $\Lambda_c^+\to\Lambda h^+$ and $\Lambda_c^+\to\Sigma^{0} h^+$ ($h\!=\!K,\,\pi$) decays based on a data sample of 980~${\rm fb}^{-1}$ collected with the Belle detector at the KEKB energy-asymmetric $e^+e^-$ collider. The first results of direct $C\!P$ asymmetry in two-body singly Cabibbo-suppressed (SCS) decays of charmed baryons are measured, $A_{C\!P}^{\rm{dir}}(\Lambda_c^+\to\Lambda K^+)\!=\!+0.021\pm0.026\pm0.001$ and $A_{C\!P}^{\rm{dir}}(\Lambda_c^+\to\Sigma^0K^+)\!=\!+0.025\pm0.054\pm0.004$. We also make the most precise measurement of the decay asymmetry parameters ($\alpha$) for the four modes of interest and search for $C\!P$ violation via the $\alpha$-induced $C\!P$ asymmetry ($A_{C\!P}^{\alpha}$). We measure $A_{C\!P}^{\alpha}(\Lambda_c^+\to\Lambda K^+)\!=\!{-0.023\pm0.086\pm0.071}$ and $A_{C\!P}^{\alpha}(\Lambda_c^+\to\Sigma^0K^+)\!=\!{+0.08\pm 0.35\pm 0.14}$, which are the first $A_{C\!P}^{\alpha}$ results for SCS decays of charmed baryons. We search for $\Lambda$-hyperon $C\!P$ violation in $\Lambda_c^+\to(\Lambda,\,\Sigma^0)\pi^+$ and find $A_{C\!P}^{\alpha}(\Lambda\to p\pi^{-})\!=\!{+0.013\pm0.007\pm0.011}$. This is the first time that hyperon $C\!P$ violation has been measured via Cabibbo-favored charm decays. No evidence of baryon $C\!P$ violation is found. We also obtain the most precise branching fractions for two SCS $\Lambda_c^+$ decays, $\mathcal{B}(\Lambda_c^+\to\Lambda K^+)\!=\!(6.57\pm0.17\pm0.11\pm0.35)\times10^{-4}$ and $\mathcal{B}(\Lambda_c^+\to\Sigma^0K^+)\!=\!(3.58\pm0.19\pm0.06\pm0.19)\times10^{-4}$. The first uncertainties are statistical and the second systematic, while the third uncertainties come from the uncertainties on the world average branching fractions of $\Lambda_c^+\to(\Lambda,\,\Sigma^0)\pi^+$.


title: KuaiRand: An Unbiased Sequential Recommendation Dataset with Randomly Exposed Videos

abstract: Recommender systems deployed in real-world applications can have inherent exposure bias, which leads to the biased logged data plaguing the researchers. A fundamental way to address this thorny problem is to collect users' interactions on randomly expose items, i.e., the missing-at-random data. A few works have asked certain users to rate or select randomly recommended items, e.g., Yahoo!, Coat, and OpenBandit. However, these datasets are either too small in size or lack key information, such as unique user ID or the features of users/items. In this work, we present KuaiRand, an unbiased sequential recommendation dataset containing millions of intervened interactions on randomly exposed videos, collected from the video-sharing mobile App, Kuaishou. Different from existing datasets, KuaiRand records 12 kinds of user feedback signals (e.g., click, like, and view time) on randomly exposed videos inserted in the recommendation feeds in two weeks. To facilitate model learning, we further collect rich features of users and items as well as users' behavior history. By releasing this dataset, we enable the research of advanced debiasing large-scale recommendation scenarios for the first time. Also, with its distinctive features, KuaiRand can support various other research directions such as interactive recommendation, long sequential behavior modeling, and multi-task learning. The dataset and its news will be available at https://kuairand.com.


title: Resisting Adversarial Attacks in Deep Neural Networks using Diverse Decision Boundaries

abstract: The security of deep learning (DL) systems is an extremely important field of study as they are being deployed in several applications due to their ever-improving performance to solve challenging tasks. Despite overwhelming promises, the deep learning systems are vulnerable to crafted adversarial examples, which may be imperceptible to the human eye, but can lead the model to misclassify. Protections against adversarial perturbations on ensemble-based techniques have either been shown to be vulnerable to stronger adversaries or shown to lack an end-to-end evaluation. In this paper, we attempt to develop a new ensemble-based solution that constructs defender models with diverse decision boundaries with respect to the original model. The ensemble of classifiers constructed by (1) transformation of the input by a method called Split-and-Shuffle, and (2) restricting the significant features by a method called Contrast-Significant-Features are shown to result in diverse gradients with respect to adversarial attacks, which reduces the chance of transferring adversarial examples from the original to the defender model targeting the same class. We present extensive experimentations using standard image classification datasets, namely MNIST, CIFAR-10 and CIFAR-100 against state-of-the-art adversarial attacks to demonstrate the robustness of the proposed ensemble-based defense. We also evaluate the robustness in the presence of a stronger adversary targeting all the models within the ensemble simultaneously. Results for the overall false positives and false negatives have been furnished to estimate the overall performance of the proposed methodology.


title: Goodness of fit tests for Rayleigh distribution

abstract: We develop a new goodness fit test for Rayleigh distribution for complete as well as right censored data. We use U-Statistic theory to derive the test statistic. First we develop a test for complete data and then discuss, how right censored observations can be incorporated in the testing procedure. The asymptotic properties of the test statistics in both uncensored and censored cases are studied in detail. Extensive Monte Carlo simulation studies are carried out to validate the performance of the proposed tests. We illustrate the procedures using real data sets. We also provide, a goodness of fit test for standard Rayleigh distribution based on jackknife empirical likelihood.


title: Classical, quantum and event-by-event simulation of a Stern-Gerlach experiment with neutrons

abstract: We present a comprehensive simulation study of the Newtonian and quantum model of a Stern-Gerlach experiment with cold neutrons.By solving Newton's equation of motion and the time-dependent Pauli equation, for a wide range of uniform magnetic field strengths, we scrutinize the role of the latter for drawing the conclusion that the magnetic moment of the neutron is quantized. We then demonstrate that a marginal modification of the Newtonian model suffices to construct, without invoking any concept of quantum theory, an event-based subquantum model that eliminates the shortcomings of the classical model and yields results that are in qualitative agreement with experiment and quantum theory. In this event-by-event model, the intrinsic angular momentum can take any value on the sphere, yet, for a sufficiently strong uniform magnetic field, the particle beam splits in two, exactly as in experiment and in concert with quantum theory.


title: The families Seiberg-Witten invariants of smooth families of K\"ahler surfaces

abstract: We consider a generalisation of the Seiberg-Witten invariant to the families Seiberg-Witten invariants of a smooth family of 4-manifolds with fibres diffeomorphic to a 4-manifold $X$. Of particular interest is the special case when the family has a smoothly varying K\"ahler structure. We obtain a general computation of the invariants when $b_1=0$ in terms of characteristic classes of some vector bundles corresponding to the cohomology groups of holomorphic line bundles of the family. Finally, we apply the formula to some examples of K\"ahler families where some more further explicit computations can be made. We consider a family of $\mathbb{CP}^2$'s obtained from the projectivisation of a rank 3 complex vector bundle, a family of $\mathbb{CP}^1\times\mathbb{CP}^1$'s obtained as the fibre product of the projectivisation of two rank 2 complex vector bundles and a family with fibres being the blowup of a K\"ahler surface at a point known as the universal blowup family.


title: Improved Distributed Algorithms for the Lov\'asz Local Lemma and Edge Coloring

abstract: The Lov\'asz Local Lemma is a classic result in probability theory that is often used to prove the existence of combinatorial objects via the probabilistic method. In its simplest form, it states that if we have $n$ `bad events', each of which occurs with probability at most $p$ and is independent of all but $d$ other events, then under certain criteria on $p$ and $d$, all of the bad events can be avoided with positive probability. While the original proof was existential, there has been much study on the algorithmic Lov\'asz Local Lemma: that is, designing an algorithm which finds an assignment of the underlying random variables such that all the bad events are indeed avoided. Notably, the celebrated result of Moser and Tardos [JACM '10] also implied an efficient distributed algorithm for the problem, running in $O(\log^2 n)$ rounds. For instances with low $d$, this was improved to $O(d^2+\log^{O(1)}\log n)$ by Fischer and Ghaffari [DISC '17], a result that has proven highly important in distributed complexity theory (Chang and Pettie [SICOMP '19]). We give an improved algorithm for the Lov\'asz Local Lemma, providing a trade-off between the strength of the criterion relating $p$ and $d$, and the distributed round complexity. In particular, in the same regime as Fischer and Ghaffari's algorithm, we improve the round complexity to $O(\frac{d}{\log d}+\log^{O(1)}\log n)$. At the other end of the trade-off, we obtain a $\log^{O(1)}\log n$ round complexity for a substantially wider regime than previously known. As our main application, we also give the first $\log^{O(1)}\log n$-round distributed algorithm for the problem of $\Delta+o(\Delta)$-edge coloring a graph of maximum degree $\Delta$. This is an almost exponential improvement over previous results: no prior $\log^{o(1)} n$-round algorithm was known even for $2\Delta-2$-edge coloring.


title: Precise late-time asymptotics of scalar field in the interior of a subextreme Kerr black hole and its application in Strong Cosmic Censorship conjecture

abstract: In this work, we compute the precise late-time asymptotics for the scalar field in the interior of a non-static subextreme Kerr black hole, based on recent progress on deriving its precise asymptotics in the Kerr exterior region. This provides a new proof of the generic $H^1_{\text{loc}}$-inextendibility of the Kerr Cauchy horizon against scalar perturbations that is first shown by Luk--Sbierski (J. Func. Anal., 2016). The analogous results in Reissner--Nordstr\"{o}m spacetimes are also discussed.


title: Explicit convex hull description of bivariate quadratic sets with indicator variables

abstract: We consider the nonconvex set $\mathcal S_n = \{(x,X,z): X = x x^T, \; x (1-z) =0,\; x \geq 0,\; z \in \{0,1\}^n\}$, which is closely related to the feasible region of several difficult nonconvex optimization problems such as the best subset selection and constrained portfolio optimization. Utilizing ideas from convex analysis and disjunctive programming, we obtain an explicit description for the closure of the convex hull of $\mathcal S_2$ in the space of original variables. In order to generate valid inequalities corresponding to supporting hyperplanes of the convex hull of $\mathcal S_2$, we present a simple separation algorithm that can be incorporated in branch-and-cut based solvers to enhance the quality of existing relaxations.


title: Muon $g-2$ with $SU(2)_L$ multiplets

abstract: We propose a simple model to obtain sizable muon anomalous magnetic dipole moment (muon $g-2$) introducing several $SU(2)_L$ multiplet fields without any additional symmetries. The neutrino mass matrix is simply induced via type-II seesaw scenario in terms of $SU(2)_L$ triplet Higgs with $U(1)_Y$ hypercharge 1. In addition, we introduce an $SU(2)_L$ quartet vector fermion with $1/2$ hypercharge and scalar with $3/2$ hypercharge. The quartet fermion plays a crucial role in explaining muon $g-2$ causing the chiral flip inside a loop diagram with mixing between triplet and quartet scalar bosons via the standard model Higgs. We show numerical analysis and search for allowed region in our parameter space, and demonstrate the collider physics.


title: Adaptive Pulse Compression for Sidelobes Reduction in Stretch Processing based MIMO Radars

abstract: Multiple-Input Multiple-Output (MIMO) radars provide various advantages as compared to conventional radars. Among these advantages, improved angular diversity feature is being explored for future fully autonomous vehicles. Improved angular diversity requires use of orthogonal waveforms at transmit as well as receive sides. This orthogonality between waveforms is critical as the cross-correlation between signals can inhibit the detection of weaker targets due to sidelobes of stronger targets. This paper investigates the Reiterative Minimum Mean Squared Error (RMMSE) mismatch filter design for range sidelobes reduction for a Slow-Time Phase-Coded (ST-PC) Frequency Modulated Continuous Wave (FMCW) MIMO radar. Initially, the performance degradation of RMMSE filter is analyzed for improperly decoded received pulses. It is then shown mathematically that proper decoding of received pulses requires phase compensation related to any phase distortions caused due to doppler and spatial locations of targets. To cater for these phase distortions, it is proposed to re-adjust the traditional order of operations in radar signal processing to doppler, angle and range. Additionally, it is also proposed to incorporate sidelobes decoherence for further suppression of sidelobes. This is achieved by modification of the structured covariance matrix of baseline single-input RMMSE mismatch filter. The modified structured covariance matrix is proposed to include the range estimates corresponding to each transmitter. These proposed modifications provide additional sidelobes suppression while it also provides additional fidelity for target peaks. The proposed approach is demonstrated through simulations as well as field experiments. Superior performance in terms of range sidelobes suppression is observed when compared with baseline RMMSE and traditional Hanning windowed range response.


title: Musika! Fast Infinite Waveform Music Generation

abstract: Fast and user-controllable music generation could enable novel ways of composing or performing music. However, state-of-the-art music generation systems require large amounts of data and computational resources for training, and are slow at inference. This makes them impractical for real-time interactive use. In this work, we introduce Musika, a music generation system that can be trained on hundreds of hours of music using a single consumer GPU, and that allows for much faster than real-time generation of music of arbitrary length on a consumer CPU. We achieve this by first learning a compact invertible representation of spectrogram magnitudes and phases with adversarial autoencoders, then training a Generative Adversarial Network (GAN) on this representation for a particular music domain. A latent coordinate system enables generating arbitrarily long sequences of excerpts in parallel, while a global context vector allows the music to remain stylistically coherent through time. We perform quantitative evaluations to assess the quality of the generated samples and showcase options for user control in piano and techno music generation. We release the source code and pretrained autoencoder weights at github.com/marcoppasini/musika, such that a GAN can be trained on a new music domain with a single GPU in a matter of hours.


title: Deep Neural Network Approximation of Invariant Functions through Dynamical Systems

abstract: We study the approximation of functions which are invariant with respect to certain permutations of the input indices using flow maps of dynamical systems. Such invariant functions includes the much studied translation-invariant ones involving image tasks, but also encompasses many permutation-invariant functions that finds emerging applications in science and engineering. We prove sufficient conditions for universal approximation of these functions by a controlled equivariant dynamical system, which can be viewed as a general abstraction of deep residual networks with symmetry constraints. These results not only imply the universal approximation for a variety of commonly employed neural network architectures for symmetric function approximation, but also guide the design of architectures with approximation guarantees for applications involving new symmetry requirements.


title: Robinson consistency in many-sorted hybrid first-order logics

abstract: In this paper we prove a Robinson consistency theorem for a class of many-sorted hybrid logics as a consequence of an Omitting Types Theorem. An important corollary of this result is an interpolation theorem.


title: Customizable Hub Labeling: Properties and Algorithms

abstract: Hub Labeling (HL) is one of the state-of-the-art preprocessing-based techniques for route planning in road networks. It is a special incarnation of distance labeling, and it is well-studied in both theory and practice. The core concept of HL is to associate a label with each vertex, which consists of a subset of all vertices and respective shortest path information, such that the shortest path distance between any two vertices can be derived from considering the intersection of their labels. HL provides excellent query times but requires a time-consuming preprocessing phase. Therefore, in case of edge cost changes, rerunning the whole preprocessing is not viable. Inspired by the concept of Customizable Route Planning, we hence propose in this paper a Customizable Hub Labeling variant for which the edge costs in the network do not need to be known at construction time. These labels can then be used with any edge costs after conducting a so called customization phase. We study the theoretical properties of Customizable Hub Labelings, provide an $\mathcal{O}(\log^2 n)$-approximation algorithm for the average label size, and propose efficient customization algorithms.


title: On the Classification of Codes over Non-Unital Ring of Order 4

abstract: In the last 60 years coding theory has been studied a lot over finite fields $\mathbb{F}_q$ or commutative rings $\mathcal{R}$ with unity. Although in $1993$, a study on the classification of the rings (not necessarily commutative or ring with unity) of order $p^2$ had been presented, the construction of codes over non-commutative rings or non-commutative non-unital rings surfaced merely two years ago. In this letter, we extend the diverse research on exploring the codes over the non-commutative and non-unital ring $E= \langle 2a=2b=0, a^2=a, b^2=b, ab=a, ba=b \rangle$ by presenting the classification of optimal and nice codes of length $n\leq7$ over $E$, along-with respective weight enumerators and complete weight enumerators.