SearcharxivSearch

arXiv subjects

Shota Yamanaka

Publications and source records attributed to Shota Yamanaka.

16 recordsLinked to original sources

Augmented Lagrangian methods for convex optimization with priority constraints via an infeasibility control framework

We consider convex optimization problems with prioritized equality constraints, which may be infeasible. In many applications, such as network optimization and image reconstruction, it is often desirable to compute solutions that satisfy higher-priority constraints as much as possible even when no feasible solution exists. To address this issue, we introduce a new solution framework based on the notion of a hierarchically optimal shift, which captures the hierarchy among constraints by sequentially minimizing constraint violations according to their priorities. Based on this concept, we define a hierarchically optimal solution as an optimal solution of a suitably shifted problem, thereby providing a well-defined notion of optimality even in the absence of feasibility. Furthermore, we propose a novel augmented Lagrangian method equipped with a framework for infeasibility control. The core component is an infeasibility control problem, which generates a sequence of approximate shifts converging to the hierarchically optimal shift. This approach enables explicit and systematic handling of prioritized constraint violations, in contrast to existing methods that treat all constraints uniformly. Under suitable assumptions, we show that the generated sequence of shifts converges to the hierarchically optimal shift, and that any accumulation point of the primal iterates is a hierarchically optimal solution. Numerical experiments show that the proposed method achieves solutions consistent with the prescribed constraint hierarchy for both feasible and infeasible cases.

math.OC

An uncertainty model for positive-valued parameters with application to robust optimization

Many practical optimization problems involve uncertain parameters that are strictly positive. However, the most common uncertainty sets used in robust optimization are the box and the ellipsoidal sets, which may include non-positive values when the level of uncertainty is large. This can lead to overly conservative solutions or make the corresponding robust counterpart infeasible. To overcome this, in this paper, we propose a new uncertainty-set model that not only preserves positivity but is also computationally tractable. The proposed set uses a particular convex function that measures the variation of uncertain parameters from their nominal values. We can also write the dual reformulation of the associated robust problem. For the theoretical results, we show several properties of the proposed model, including analytical bounds that guide the choice of the uncertainty level, as well as a probabilistic guarantee result. To check the validity of our proposal, we consider photovoltaic-battery operation planning problems and support vector machines in the numerical experiments. For these problems, standard uncertainty models may lead to infeasibility of the robust counterpart, while the proposed uncertainty set gives a tractable dual reformulation.

math.OC

Blur Effects on User Performance in Target-Pointing Tasks

In projectors and head-mounted displays, an out-of-focus image appears blurred. Even when a display itself is in focus, computer operation may be hindered if the display is far from the user or if a user has poor visual acuity, because the user cannot see the screen clearly. In this study, we conducted an experiment in which participants performed a pointing task under blurred display conditions and investigated the relationship between blur strength and user performance. The results showed that movement time and error rate increased as blur became stronger, and that the effect of blur on movement time was larger when targets were smaller. We further showed that movement time can be estimated with high accuracy by a model that improves on Fitts' law. In a follow-up experiment to examine the applicability of this model, we adjusted target size for each participant and showed that the effect of blur level on movement time could be reduced. These findings suggest potential use in tools that adapt user interfaces to users' visual acuity.

cs.HC

Skewed Dual Normal Distribution Model: Predicting Touch Pointing Success Rates for Targets Near Screen Edges and Corners

Typical success-rate prediction models for tapping exclude targets near screen edges. However, design constraints often force such placements, and in scrollable user interfaces, any element can move close to the screen edges. In this work, we model how target-edge distance affects touch pointing accuracy. We propose the Skewed Dual Normal Distribution Model, which assumes the tap-coordinate distribution is skewed by a nearby edge. The results showed that as targets approached the edge, the distribution's peak shifted toward the edge, and its tail extended away. In contrast to prior reports, the success rate improved when the target touched the edge, suggesting a strategy of ``tapping the target together with the edge.'' Our model predicts success rates across a wide range of conditions, including edge-adjacent targets. Through three experiments of horizontal, vertical, and 2D pointing, we demonstrated the generalizability and utility of our proposed model.

cs.HC

Skewed Dual Normal Distribution Model: Predicting 1D Touch Pointing Success Rate for Targets Near Screen Edges

Typical success-rate prediction models for tapping exclude targets near screen edges; however, design constraints often force such placements. Additionally, in scrollable UIs any element can move close to an edge. In this work, we model how target--edge distance affects 1D touch pointing accuracy. We propose the Skewed Dual Normal Distribution Model, which assumes the tap coordinate distribution is skewed by a nearby edge. The results of two smartphone experiments showed that, as targets approached the edge, the distribution's peak shifted toward the edge and its tail extended away. In contrast to prior reports, the success rate improved when the target touched the edge, suggesting a strategy of ``tapping the target together with the edge.'' By accounting for skew, our model predicts success rates across a wide range of conditions, including edge-adjacent targets, thus extending coverage to the whole screen and informing UI design support tools.

cs.HC

Improving Data Quality via Pre-Task Participant Screening in Crowdsourced GUI Experiments

In crowdsourced user experiments that collect performance data from graphical user interface (GUI) interactions, some participants ignore instructions or act carelessly, threatening the validity of performance models. We investigate a pre-task screening method that requires simple GUI operations analogous to the main task and uses the resulting error as a continuous quality signal. Our pre-task is a brief image-resizing task in which workers match an on-screen card to a physical card; workers whose resizing error exceeds a threshold are excluded from the main experiment. The main task is a standardized pointing experiment with well-established models of movement time and error rate. Across mouse- and smartphone-based crowdsourced experiments, we show that reducing the proportion of workers exhibiting unexpected behavior and tightening the pre-task threshold systematically improve the goodness of fit and predictive accuracy of GUI performance models, demonstrating that brief pre-task screening can enhance data quality.

cs.HC

Normalizing Speed-accuracy Biases in 2D Pointing Tasks with Better Calculation of Effective Target Widths

For evaluations of 2D target selection using Fitts' law, ISO 9241-411 recommends using the effective target width (W_e) calculated using the univariate standard deviation of selection coordinates. Related research proposed using a bivariate standard deviation; however, the proposal was only tested using a single speed-accuracy bias condition, thus the assessment was limited. We compared the univariate and bivariate techniques in a 2D Fitts' law experiment using three speed-accuracy biases and 346 crowdworkers. Calculating W_e using the univariate standard deviation yielded higher model correlations across all bias conditions and produced more stable throughput among the biases. The findings were also consistent in cases using randomly sampled subsets of the participant data. We recommend that future research should calculate W_e using the univariate standard deviation for fair performance evaluations. Also, we found trivial effects when using nominal or effective amplitude and using different perspectives of the task axis.

cs.HC

A Tool for Estimating Success Rates of Raycasting-Based Object Selection in Virtual Reality

As XR devices become widespread, 3D interaction has become commonplace, and UI developers are increasingly required to consider usability to deliver better user experiences. The HCI community has long studied target-pointing performance, and research on 3D environments has progressed substantially. However, for practitioners to directly leverage research findings in UI improvements, practical tools are needed. To bridge this gap between research and development in VR systems, we propose a system that estimates object selection success rates within a development tool (Unity). In this paper, we validate the underlying theory, describe the tool's functions, and report feedback from VR developers who tried the tool to assess its usefulness.

cs.HC

Tappy Plugin for Figma: Predicting Tap Success Rates of User-Interface Elements under Development for Smartphones

Tapping buttons and hyperlinks on smartphones is a fundamental operation, but users sometimes fail to tap user-interface (UI) elements. Such mistakes degrade usability, and thus it is important for designers to configure UI elements so that users can accurately select them. To support designers in setting a UI element with an intended tap success rate, we developed a plugin for Figma, which is modern software for developing webpages and applications for smartphones, based on our previously launched web-based application, Tappy. This plugin converts the size of a UI element from pixels to mm and then computes the tap success rates based on the Dual Gaussian Distribution Model. We have made this plugin freely available to external users, so readers can install the Tappy plugin for Figma by visiting its installation page (https://www.figma.com/community/plugin/1425006564066437139/tappy) or from their desktop Figma software.

cs.HC

Tappy: Predicting Tap Accuracy of User-Interface Elements by Reverse-Engineering Webpage Structures

Selecting a UI element is a fundamental operation on webpages, and the ease of tapping a target object has a significant impact on usability. It is thus important to analyze existing UIs in order to design better ones. However, tools proposed in previous studies cannot identify whether an element is tappable on modern webpages. In this study, we developed Tappy that can identify tappable UI elements on webpages and estimate the tap-success rate based on the element size. Our interviews of professional designers and engineers showed that Tappy helped discussions of UI design on the basis of its quantitative metric. Furthermore, we have launched this tool to be freely available to external users, so readers can access Tappy by visiting the website (https://tappy.yahoo.co.jp).

cs.HC

Single-tap Latency Reduction with Single- or Double- tap Prediction

Touch surfaces are widely utilized for smartphones, tablet PCs, and laptops (touchpad), and single and double taps are the most basic and common operations on them. The detection of single or double taps causes the single-tap latency problem, which creates a bottleneck in terms of the sensitivity of touch inputs. To reduce the single-tap latency, we propose a novel machine-learning-based tap prediction method called PredicTaps. Our method predicts whether a detected tap is a single tap or the first contact of a double tap without having to wait for the hundreds of milliseconds conventionally required. We present three evaluations and one user evaluation that demonstrate its broad applicability and usability for various tap situations on two form factors (touchpad and smartphone). The results showed PredicTaps reduces the single-tap latency from 150-500 ms to 12 ms on laptops and to 17.6 ms on smartphones without reducing usability.

cs.HC

Error-rate Prediction for Mouse-based Rectangular-target Pointing with no Knowledge of Movement Angles

In rectangular-target pointing, movement angles towards targets are known to affect error rates. When designers determine target sizes, however, they would not know the frequencies of cursor-approaching directions for each target. Thus, assuming that there are unbiasedly various angles, we derived models to predict error rates depending only on the target width and height. We conducted two crowdsourced experiments: a cyclic pointing task with a predefined movement angle and a multi-directional pointing task. The shuffle-split cross-validation with 60% training data showed R^2 > 0.81, MAE < 1.3%, and RMSE < 2.1%, suggesting good prediction accuracy even for predicting untested target sizes when designers newly set UI elements.

cs.HC

Interaction Design of Dwell Selection Toward Gaze-based AR/VR Interaction

In this paper, we first position the current dwell selection among gaze-based interactions and its advantages against head-gaze selection, which is the mainstream interface for HMDs. Next, we show how dwell selection and head-gaze selection are used in an actual interaction situation. By comparing these two selection methods, we describe the potential of dwell selection as an essential AR/VR interaction.

cs.HC

Computing Touch-Point Ambiguity on Mobile Touchscreens for Modeling Target Selection Times

Finger-Fitts law (FFitts law) is a model to predict touch-pointing times, modified from Fitts' law. It considers the absolute touch-point precision, or a finger tremor factor sigma_a, to decrease the admissible target area and thus increase the task difficulty. Among choices such as running an independent task or performing parameter optimization, there is no consensus on the best methodology to measure sigma_a. This inconsistency could be detrimental to HCI studies such as pointing technique evaluations and user group comparisons. By integrating the results of our 1D and 2D touch-pointing experiments and reanalyses of previous studies' data, we examined the advantages and disadvantages of each approach to compute sigma_a. We found that the parameter optimization method is a suboptimal choice for predicting the performance.

cs.HC

Duality of optimization problems with gauge functions

Recently, Yamanaka and Yamashita proposed the so-called positively homogeneous optimization problem, which includes many important problems, such as the absolute-value and the gauge optimizations. They presented a closed form of the dual formulation for the problem, and showed weak duality and the equivalence to the Lagrangian dual under some conditions. In this work, we focus on a special positively homogeneous optimization problem, whose objective function and constraints consist of some gauge and linear functions. We prove not only weak duality but also strong duality. We also study necessary and sufficient optimality conditions associated to the problem. Moreover, we give sufficient conditions under which we can recover a primal solution from a Karush-Kuhn-Tucker point of the dual formulation. Finally, we discuss how to extend the above results to general convex optimization problems by considering the so-called perspective functions.

math.OC

Duality of nonconvex optimization with positively homogeneous functions

We consider an optimization problem with positively homogeneous functions in its objective and constraint functions. Examples of such positively homogeneous functions include the absolute value function and the $p$-norm function, where $p$ is a positive real number. The problem, which is not necessarily convex, extends the absolute value optimization proposed in [O. L. Mangasarian, Absolute value programming, Computational Optimization and Applications 36 (2007) pp. 43-53]. In this work, we propose a dual formulation that, differently from the Lagrangian dual approach, has a closed-form and some interesting properties. In particular, we discuss the relation between the Lagrangian duality and the one proposed here, and give some sufficient conditions under which these dual problems coincide. Finally, we show that some well-known problems, e.g., sum of norms optimization and the group Lasso-type optimization problems, can be reformulated as positively homogeneous optimization problems.

math.OC